Mathematics Problem Archive
Three-dimensional sphere packing from a planar height function
v1.3 research notesLet $G$ be a planar graph circle-packed in $\mathbb{R}^2$ and let $f:V(G)\to\mathbb{Z}$ change by at most one across every edge. Add from each vertex ...
Random-walk displacement on circle-packed doubling graphs
v1.3 research notesIn the circle-packed planar-doubling setting of Section 7, prove that the expected distance of simple random walk from its root at time $t$ is at most...
Percolation threshold of fast-growing planar triangulations
v1.3 research notesLet $G$ be a planar triangulation with uniform volume growth faster than quadratic. Must $p_c(G)<1$? More strongly, is $p_c(G)=1/2$?...
No critical infinite cluster on transitive graphs
v1.3 research notesFor every infinite vertex-transitive graph $G$, prove that Bernoulli percolation has no infinite cluster at criticality, i.e. $\theta_G(p_c(G))=0$....
Half-plane percolation for invariant FKG processes
v1.3 research notesLet $X$ be a finite-energy, translation-invariant percolation process on $\mathbb{Z}^2$ satisfying the FKG inequality. If $X$ percolates almost surely...
Binary trees in critical clusters of regular planar triangulations
v1.3 research notesLet $H_k$ be a $k$-regular planar triangulation. At the critical percolation parameter for the event that an open cluster contains a full infinite bin...
Invariant finite-energy percolation with internal threshold one
v1.3 research notesDoes there exist an automorphism-invariant finite-energy percolation subgraph $X$ of $\mathbb{Z}^d$ that percolates almost surely but whose own Bernou...
Uniqueness of percolation on graphs roughly isometric to lattices
v1.3 research notesProve that Bernoulli percolation has at most one infinite cluster on every bounded-degree graph roughly isometric to $\mathbb{Z}^d$....
Cheeger constant and the percolation nonuniqueness phase
v1.3 research notesFor every infinite vertex-transitive graph $G$, prove that $p_c(G)<p_u(G)$ if and only if $h(G)>0$....
Rough-isometry invariance of percolation nonuniqueness
v1.3 research notesFor bounded-degree graphs, prove that the property $p_c<p_u$ is invariant under rough isometry....
Multiplicative connection bounds above criticality
v1.3 research notesFor which $p$ does there exist $C<\infty$ such that, for any vertices $x,y$ and any $z$ on a geodesic from $x$ to $y$, $$\mathbb{P}_p(x\leftrightarrow...
Ends of transient branching random walk
v1.3 research notesProve that a transient simple branching random walk on any vertex-transitive graph has infinitely many ends....
Percolation nonuniqueness on products with the line
v1.3 research notesIf $G$ is strongly amenable, can Bernoulli percolation on $G\times\mathbb{Z}$ have infinitely many infinite clusters throughout a nondegenerate interv...
Infinite-cluster intersections with vertical fibers
v1.3 research notesLet $G$ be an infinite graph with $p_c(G)=1$. For Bernoulli percolation on $G\times\mathbb{Z}$, must every infinite cluster intersect each fiber $\{v\...
From a large percolation component to a giant component on expanders
v1.3 research notesLet $G$ be a bounded-degree expander and suppose some vertex $v$ satisfies $$\mathbb{P}_{1/2}\!\left(\operatorname{diam}(K_v)>\tfrac12\operatorname{di...
Critical one-dimensional long-range percolation geometry
v1.3 research notesIn one-dimensional long-range percolation with edge probabilities proportional to $\beta|i-j|^{-2}$, study the distance exponent $\theta(\beta)$ defin...
Nonintersecting couplings of random walks in dimensions three and four
v1.3 research notesCan two simple random walks on $\mathbb{Z}^3$ or $\mathbb{Z}^4$, started at vertices at graph distance $10$, be coupled so that their paths are disjoi...
Liouville property of infinite Ramanujan graphs
v1.3 research notesProve that no infinite connected Ramanujan graph is Liouville; equivalently, every such graph admits a nonconstant bounded harmonic function....
Liouville property under rough isometry to nonamenable Cayley graphs
v1.3 research notesProve that every bounded-degree graph roughly isometric to a nonamenable Cayley graph is non-Liouville....
Liouville extensions by an isometric integer action
v1.3 research notesSuppose $\mathbb{Z}$ acts on a graph $G$ by isometries, the quotient $H=G/\mathbb{Z}$ is Liouville, and simple random walk on $G$ visits every transla...
Half-density percolation on transient disk triangulations
v1.3 research notesLet $G$ be the one-skeleton of a bounded-degree triangulation of an open disk. If $G$ is transient, prove that Bernoulli site percolation with paramet...
Crossings in random square tilings
v1.3 research notesTile the unit square by finitely or countably many squares of varying sizes, with at most three squares meeting at a corner, and color the squares ind...
Critical probability of polynomial-growth disk triangulations
v1.3 research notesLet $G$ be a bounded-degree triangulation of an open disk with polynomial volume growth. Prove that its Bernoulli site-percolation critical probabilit...
Recurrence versus half-density percolation in disk triangulations
v1.3 research notesLet $G$ be the one-skeleton of a bounded-degree recurrent triangulation of an open disk. Prove that Bernoulli site percolation with parameter $1/2$ ha...
Infinitely many clusters at half density on transient disk triangulations
v1.3 research notesLet $G$ be the one-skeleton of a bounded-degree transient triangulation of an open disk. Prove that Bernoulli site percolation with parameter $1/2$ ha...
High-intensity hyperbolic Voronoi crossing limits
v1.3 research notesIn the Poincaré disk, sample a Poisson process of intensity $\lambda$ with respect to hyperbolic area, form its Voronoi tessellation, and color cells ...
Recurrence under square-root separation limits
v1.3 research notesLet $(G_k)$ be a locally convergent sequence of bounded-degree graphs, each having separation profile of order at most the square root of the subgraph...
Limit shape in Poisson–Voronoi metrics over $\ell_p$ planes
v1.3 research notesConstruct the Poisson–Voronoi tessellation of the plane equipped with an $\ell_p$ metric and give the cells their adjacency graph metric. What is the ...
Near-critical percolation limit shapes
v1.3 research notesDelete each edge of the square lattice independently with probability $q<1/2$, condition the origin to lie in the infinite component, and let $K_q$ be...
Resistance bounds for finite vertex-transitive graphs
v1.3 research notesProve that there is a universal constant $C$ such that every finite connected vertex-transitive graph $G$ of degree $d$ satisfies $$R_{\mathrm{eff}}(u...
Closest finite vertex-transitive graph to the round sphere
v1.3 research notesAmong all finite connected vertex-transitive graphs rescaled by their diameters, which one minimizes Gromov–Hausdorff distance to the round sphere $S^...
Finite graphs whose every ball is an expander
v1.3 research notesDoes there exist a family $(G_n)$ of finite $d$-regular graphs with $|G_n|\to\infty$ and a constant $h>0$ such that every induced metric ball in every...
Local metric homogeneity forcing periodic triangulations
v1.3 research notesLet the Euclidean plane or hyperbolic plane have a triangulation whose triangles have diameter at most $r$. Suppose that for every pair of radius-$r$ ...
Nerve graphs of Euclidean sphere packings
v1.3 research notesCharacterize the graphs that occur as tangency, or nerve, graphs of sphere packings with disjoint interiors in $\mathbb{R}^d$....
Accumulation points of packings of $\mathbb{Z}^3$
v1.3 research notesProve that every sphere packing in $\mathbb{R}^3$ whose tangency graph is $\mathbb{Z}^3$ has at most one accumulation point in the one-point compactif...
Time constant in a recursive series-parallel first-passage model
v1.3 research notesLet $D_n$ be the source-to-sink first-passage distance in the recursively substituted hierarchical graph whose distances satisfy $D_n\stackrel d=D_{n-...
Fluctuations in recursive hierarchical first-passage percolation
v1.3 research notesFor the hierarchical first-passage distances $D_n$ satisfying $D_n\stackrel d=D_{n-1}+\min(D'_{n-1},D''_{n-1})$, determine concentration around the me...
External DLA growth exponent on a hierarchical graph
v1.3 research notesOn the three-branch hierarchical graph $G_n$ described in Section 9.3, launch external-DLA particles from the sink until a particle settles at the sin...
Scaling of distances in a random hierarchical graph
v1.3 research notesIn the random hierarchical graph obtained by repeatedly replacing a uniformly chosen edge by the fixed three-edge pattern of Section 9.4, let $D_n$ be...
Distance exponent of random series-parallel graphs
v1.3 research notesStart from one edge and at each stage replace every edge independently by two edges in series with probability $p$ or two edges in parallel with proba...
Rotation-, translation-, scale-, and Markov-invariant random tilings
v1.3 research notesDoes there exist a mixing random tiling of the Euclidean plane whose law is invariant under rotations and translations, is stationary under a local cl...
Foliations of Euclidean space by Brownian paths
v1.3 research notesFor which dimensions $d$ can $\mathbb{R}^d$ be partitioned into pairwise disjoint curves, each of which has the law or geometric regularity of a Brown...
Fluctuations and efficient algorithms in first-passage percolation
v1.3 research notesFor i.i.d. first-passage percolation on $\mathbb{Z}^2$, prove or disprove that boundary fluctuations have a Tracy–Widom limit and that the variance of...
Absence of bigeodesics in first-passage percolation
v1.3 research notesProve that natural i.i.d. first-passage-percolation models on $\mathbb{Z}^d$, including exponential edge lengths, almost surely contain no two-sided i...
Mutually avoiding competing random walks
v1.3 research notesRun two walks with a common clock on $\mathbb{Z}^d$, each choosing uniformly among neighbors not previously visited by the other walk. Prove that in $...
Hyperbolic local limits of random high-genus quadrangulations
v1.3 research notesTake a uniform quadrangulation with $N$ faces conditioned to have genus $CN$, where $0<C<1/4$. Prove that its rooted local limit is the stochastic hyp...
Resistance growth on the UIPT
v1.3 research notesDetermine the almost-sure asymptotic growth rate of the effective resistance from the root to graph-distance $r$ in the uniform infinite planar triang...
Critical percolation on distributional planar limits
v1.3 research notesLet $G$ be a distributional local limit of finite planar graphs. Prove that $p_c^{\mathrm{site}}(G)\ge1/2$ almost surely and that there is no infinite...
Geodesics in Gaussian-free-field random metrics
v1.3 research notesOn the $n\times n$ grid with a Gaussian free field with no boundary conditions, give every vertex length equal to the exponential of the field. If $\g...
Noise sensitivity under the Schaeffer bijection
v1.3 research notesGenerate a quadrangulation from $2n$ bits using the Schaeffer bijection and independently resample each bit with probability $\varepsilon$. Determine ...