Ahmed Bou-Rabee

Portrait of Ahmed Bou-Rabee

Courant Institute

Department of Mathematics

Office: 1007 Warren Weaver Hall

Email: ahmedmb@gmail.com

I am an NSF Postdoctoral Fellow at the Courant Institute sponsored by Scott Armstrong. I began my fellowship at Cornell University sponsored by Lionel Levine. I received my PhD at the University of Chicago under the supervision of Charles K. Smart in June 2022. Previously, I received a B.S. in mathematics and an M.S. in statistics from Stanford University.

I am interested in probability and partial differential equations. Some topics I have worked on are quantitative stochastic homogenization, the Abelian sandpile, and Liouville quantum gravity.

I'm applying for academic jobs: here's my CV.

Random walk on sphere packings and Delaunay triangulations in arbitrary dimension Thumbnail

Random walk on sphere packings and Delaunay triangulations in arbitrary dimension

Ahmed Bou-Rabee with Ewain Gwynne.

(2024).

Random walks on graphs approximating Euclidean space are known to converge to Brownian motion. We introduce a family of graphs, orthogonal tiling graphs, flexible enough to approximate irregular manifolds in arbitrary dimension, for which we prove that the trace of random walk converges to the trace of Brownian motion. This family includes Voronoi tessellations of Gaussian multiplicative chaos in arbitrary dimension, and so our result implies a higher-dimensional generalization of Gwynne, Miller, and Sheffield (2022). Our proof proceeds by showing convergence of a finite volume scheme that induces a non-uniformly elliptic operator on the graph. One of our main contributions is an L2-L estimate for this operator. In the special case of 2D, our method also leads to a short proof of Gurel-Gurevich, Jerison, and Nachmias (2020), which in turn generalized earlier work by Dubejko (1999), Chelkak-Smirnov (2011), Skopenkov (2013), and Werness (2015). Orthogonal tiling graphs in 2D include isoradial graphs, which were used by Chelkak and Smirnov (2012) to establish the universality of critical Ising models. We believe orthogonal tiling graphs could help in studying this model and others in d > 2.
Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift Thumbnail

Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift

Ahmed Bou-Rabee with Scott Armstrong and Tuomo Kuusi.

(2024).

A Brownian particle advected by an incompressible vector field undergoes enhanced diffusion. The extent of this enhancement depends on the correlation structure of the field. Above a critical correlation threshold, the particle is superdiffusive, with mean squared displacement scaling algebraically in time (tα, α > 1). Below the threshold, diffusion is enhanced, but the particle retains the usual diffusive scaling (α = 1). In this paper, we consider the critical case and show that under the superdiffusive scaling of (√log(t)·t), in the long-time limit, the particle converges, in a quenched sense, to ordinary Brownian motion. This problem has been considered heuristically by physicists since at least 1983, where the (√log(t)·t) rate was predicted using heuristic renormalization group arguments. Our proof makes these renormalization group arguments rigorous using ideas from stochastic homogenization. To the best of our knowledge, this is the first critical, infinite-scale, random model that has been shown to homogenize. We hope to apply these ideas to other critical models with an infinite number of length scales. See this blog post for a more detailed summary.
Unique continuation on planar graphs Thumbnail

Unique continuation on planar graphs

Ahmed Bou-Rabee with Bill Cooperman and Shirshendu Ganguly.

(2023).

Bounded harmonic functions are constant. However, there are non-constant harmonic functions on Rd that are bounded on all but a tiny fraction of space (see, [Ch 3, Problems 158-160]). These functions have no immediate discrete analogue, and, it turns out, cannot exist on periodic planar graphs. We prove that for any periodic planar graph G, there exists a constant α(G) such that any discrete harmonic function which is bounded on a (1 - α(G))-density of the graph is constant. A key aspect of the argument is a new unique continuation result for periodic planar graphs. Our proof is based on the maximum principle and elementary geometric arguments. It generalizes and simplifies earlier work by Lev Buhovsky, Alexander Logunov, Eugenia Malinnikova, and Mikhail Sodin, who established this result on the square lattice using techniques specific to that setting. The ideas in Buhovsky-Logunov-Malinnikova-Sodin were later applied by Charles Smart and Jian Ding to establish localization near the edge for the Anderson-Bernoulli model on the square lattice. We are currently exploring the implications of our new proof technique to Anderson localization.
Rigidity of harmonic functions on the supercritical percolation cluster Thumbnail

Rigidity of harmonic functions on the supercritical percolation cluster

Ahmed Bou-Rabee with Bill Cooperman and Paul Dario.

Transactions of the American Mathematical Society (2024).

H. A. Heilbronn showed in 1949 that the dimension of the space of discrete harmonic polynomials on Zd coincides with that of Rd. This theorem holds for any periodic lattice and was recently extended by Scott Armstrong and Paul Dario to the supercritical percolation cluster, where their proof used the fact that, on large scales, the cluster resembles Rd. However, in models such as the Ising model, the Abelian sandpile, and Anderson localization, small-scale changes in the graph induce qualitatively distinct global behavior. Motivated by this, we prove three theorems on the supercritical cluster that do not hold on Zd. Using quantitative homogenization, we show the absence of Lipschitz harmonic functions, the absence of integer-valued harmonic functions with polynomial growth, and, in dimension 2, the absence of functions with integer-valued graph Laplacians decaying faster than 1/|x| at infinity. We expect these results and our techniques will help in understanding other models on the cluster. (The final section includes many conjectures and partial results regarding the Abelian sandpile on the cluster.)
Internal DLA on mated-CRT maps Thumbnail

Internal DLA on mated-CRT maps

Ahmed Bou-Rabee with Ewain Gwynne.

Annals of Probability (2024).

We prove the convergence of internal diffusion limited aggregation on a family of random planar maps, mated-CRT maps, to the LQG harmonic balls constructed in our previous work. The proof combines an idea of Hugo Duminil-Copin, Cyrille Lucas, Ariel Yadin, and Amir Yehudayoff together with inputs from LQG theory. Mated-CRT maps are currently the only random planar maps for which the convergence of random walk to Liouville Brownian motion has been established, and this fact plays a crucial role in our proof. It would be particularly interesting to determine the law governing the fluctuations around the limit shape.
Harmonic balls in Liouville quantum gravity Thumbnail

Harmonic balls in Liouville quantum gravity

Ahmed Bou-Rabee with Ewain Gwynne.

Proceedings of the London Mathematical Society (2024).

We prove the well-posedness of Hele-Shaw flow on Liouville Quantum Gravity (LQG) surfaces and then use this to construct LQG harmonic balls, domains that satisfy the mean value property on LQG surfaces. LQG harmonic balls are the conjectured scaling limit of internal diffusion-limited aggregation on random planar maps, and our results show that they are a novel mathematical object: they are not LQG metric balls and exhibit significant irregularity: we prove they are not Lipschitz domains, and the argument indicates they are not even non-tangentially accessible. There are many interesting properties of LQG harmonic balls to explore, such as their Hausdorff dimension and the structure of their induced geodesics.
Integer superharmonic matrices on the F-lattice Thumbnail

Integer superharmonic matrices on the F-lattice

Ahmed Bou-Rabee.

Advances in Mathematics 436: 109400 (2024).

The scaling limit of the Abelian sandpile is a fully nonlinear elliptic PDE with a delicate lattice dependence. This dependence is expressed through the quadratic growths of integer-valued, lattice-superharmonic functions (see Section 6 of this survey for an exposition). Lionel Levine, Wesley Pegden, and Charles Smart showed that these functions on Z2 are characterized by an Apollonian packing of the plane. While their proof was specific to Z2, with some effort it can likely be adapted to the triangular, hexagonal, and trihexagonal lattices, where the Apollonian packing is replaced by other circle packings (see these simulations by Pegden). However, the F-lattice presents a distinct situation. In this paper, I show that the set of integer superharmonic functions on the F-lattice is governed by a recursion involving rational points on a hyperbola. I conjecture that the objects describing the scaling limits of the Abelian sandpile on general, periodic graphs are Kleinian bugs.
Hamilton-Jacobi scaling limits of Pareto peeling in 2D Thumbnail

Hamilton-Jacobi scaling limits of Pareto peeling in 2D

Ahmed Bou-Rabee with Peter S. Morfe.

Probability Theory and Related Fields 188: 235-307 (2024).

Pareto peeling is an algorithm for sorting large amounts of multivariate data. For random initial data in 2D, we prove that Pareto peeling converges, in the large sample limit, to the viscosity solution of an explicit Hamilton-Jacobi equation. This resolves a question posed by Jeff Calder and complements earlier work by Jeff Calder and Charles Smart. While some of our theorems apply in arbitrary dimension, we now think that for d > 2 the process may not always converge.
A shape theorem for exploding sandpiles Thumbnail

A shape theorem for exploding sandpiles

Ahmed Bou-Rabee.

Annals of Applied Probability 34(1A): 714-742 (2022).

Some sandpiles explode: sites topple without stopping. I prove that random, exploding sandpiles have a limit shape. The proof uses ideas from my dimensional reduction paper to compare the dynamics of an exploding sandpile to a bootstrap percolation process. This project grew out of a question posed by Lionel Levine during an online topics class he ran during the COVID pandemic.
Dynamic dimensional reduction in the Abelian sandpile Thumbnail

Dynamic dimensional reduction in the Abelian sandpile

Ahmed Bou-Rabee.

Communications in Mathematical Physics 390: 933-958 (2022).

Dimensional reduction in sandpiles, the property that slices of higher-dimensional sandpiles correspond to lower-dimensional ones, has been conjectured since at least 1990. I prove an exact version of this conjecture. The key insight is that dimensional reduction is closely tied to a discrete parabolic regularity of the sandpile. The proof demonstrates that the "flow" of sandpile dynamics preserves certain derivative bounds, allowing dimensional reduction to occur.
Convergence of the random Abelian sandpile Thumbnail

Convergence of the random Abelian sandpile

Ahmed Bou-Rabee.

Annals of Probability 49(6): 3168-3196 (2021).

I show that the Abelian sandpile, started with a random initial configuration on any periodic lattice, approximates the solution of a deterministic, fully nonlinear elliptic PDE at large scales. The PDE is implicitly identified through the ergodic theorem, using ideas from non-divergence form stochastic homogenization. Although the exact form of the PDE remains unknown, it is definitively non-universal: it depends on the fine, local structure of both the initial lattice and randomness.
  • UCLA Mathematics Colloquium, January 9, 2025
  • Duke Probability Seminar, December 5, 2024
  • University of Chicago Mathematics Colloquium, November 18, 2024
  • University of Chicago Probability Seminar, October 4, 2024
  • Yale Analysis Seminar, September 26, 2024
  • IMSI, Two-Dimensional Random Geometry, July 8-12, 2024
  • Aalto University, Probabilistic Field Theories, June 17-19, 2024
  • MIT Analysis Seminar, April 16, 2024
  • NYU Probability Seminar, April 12, 2024
  • McGill University Probability Seminar, March 28, 2024
  • The Fields Institute, KPZ meets KPZ, March 4-8, 2024
  • Los Angeles Probability Forum, February 29, 2024
  • University of Hagen, Analysis Seminar, November 29, 2023
  • NYU Analysis Seminar, November 2, 2023
  • AMS 2023 Fall Eastern Sectional Meeting, Special Session, September 9, 2023
  • CIRM, Percolation and interactions, August 3, 2023
  • 43rd Conference on Stochastic Processes and their Applications, Invited Session, July 26, 2023
  • Percolation Today, April 4, 2023
  • University of British Columbia Probability Seminar, March 1, 2023
  • University of Victoria Dynamics and Probability Seminar, February 28, 2023
  • Institute for Advanced Study Probability Seminar, November 2, 2022
  • Penn/Temple Probability Seminar, November 1, 2022
  • Cornell Probability Seminar, October 24, 2022
  • Oberwolfach, Universality: Random Matrices, Random Geometry and SPDEs, June 4, 2022
  • Yale Analysis Seminar, March 3, 2022
  • University of Utah Stochastics Seminar, February 25, 2022
  • LU-NU-UMN Joint Probability Seminar, October 27, 2021
  • Bernoulli-IMS, Organized Session, July 22, 2021
  • Stanford Probability Seminar, May 10, 2021
  • UC Berkeley Probability Seminar, February 10, 2021
  • Cornell Math 7710 Guest Lecture, October 27, 2020
  • Cornell Probability Seminar, September 23, 2019
  • CCNY Mathematics Colloquium, September 19, 2019
  • New York University

    • In Fall 2024, I am teaching MATH-UA 325 Analysis.
    • In Fall 2023 and Spring 2024, I taught MATH-UA 120 Discrete Mathematics.
  • University of Chicago

    • In Spring 2022 and 2019, I was a teaching assistant for STAT 383 Measure-Theoretic Probability 2.
    • In Winter 2022, I was a teaching assistant for STAT 33910 Financial Statistics.
    • In Fall 2021, I was a teaching assistant for STAT 312 Stochastic Processes.
    • In Winter 2021, I was a teaching assistant for STAT 33910 Financial Statistics.
    • In Spring 2020, I was a teaching assistant for STAT 234 Statistical Models and Methods.
    • In Fall 2020, I was a teaching assistant for STAT 25150 Introduction to Mathematical Probability.
    • In Fall 2017 and 2018, I was a teaching assistant for STAT 312 Stochastic Processes.
    • In Winter and Spring 2017, I was a teaching assistant for STAT 220 Statistical Methods and Applications.
  • Chinese University of Hong Kong Shenzhen

  • Stanford