Mathematics Problem Archive
Local-to-global covering rigidity for Cayley graphs
v1.3 research notesFor every Cayley graph $G$, does there exist $r=r(G)$ such that $G$ covers every graph whose radius-$r$ balls are all isomorphic to the radius-$r$ bal...
Minimum diameter realizing a prescribed local ball
v1.3 research notesFix a rooted radius-$r$ ball $B(o,r)$ that occurs as every radius-$r$ ball of some finite graph. What is the minimum diameter of a finite graph all of...
Large identical neighborhoods and vertex transitivity
v1.3 research notesLet $G$ be an $n$-vertex graph whose rooted balls of size $k$ are all isomorphic. If $k>n/2$, or if $k$ is within a fixed constant of $\operatorname{d...
Isoperimetric dimension and nontrivial percolation threshold
v1.3 research notesLet $G$ be an infinite bounded-degree graph. Prove that $\operatorname{I-dim}(G)>1$ implies $p_c(G)<1$. As a weaker target, prove the conclusion when ...
Exponential intersection tails for loop-erased random walk
v1.3 research notesDoes the law of loop-erased random walk on $\mathbb{Z}^d$ have the exponential intersection-tail property: for two independent sampled paths $\gamma_1...
Random lattice embeddings with exponential intersection tails
v1.3 research notesFor some $d\ge3$, is there a probability measure on embeddings of $\mathbb{Z}^2$ into $\mathbb{Z}^d$ having an analogue of the exponential intersectio...
Exponential intersection tails in three-dimensional slabs
v1.3 research notesFor a subset $S=\{(n,f(n),g(n)):n\in\mathbb{N}\}\subset\mathbb{Z}^3$, characterize the conditions on $f$ and $g$ under which $S$ supports a probabilit...
Self-avoiding loops on nonamenable transitive graphs
v1.3 research notesLet $G$ be vertex-transitive with positive Cheeger constant. If $\mu$ is the connective constant of self-avoiding walks and $\mu_{\mathrm{loops}}$ is ...
Locality of connective constants
v1.3 research notesProve that the connective constant $\mu(G)$ is continuous under local convergence of infinite vertex-transitive graphs....
Isoperimetric dimension and connective constants
v1.3 research notesProve that every graph $G$ with isoperimetric dimension greater than $1$ has self-avoiding-walk connective constant $\mu(G)>1$....
Linear finite models for locally finite transitive graphs
v1.3 research notesIf an infinite vertex-transitive graph is $f(r)$-sofic for some function $f$, must it be $cr$-sofic for a constant $c$? More uniformly, for fixed degr...
Circle-packing measure of uniform random triangulations
v1.3 research notesLet $T_n$ be a uniform triangulation of the sphere with $n$ faces, normalize its circle packing by its conformal barycenter, and let $\mu_{P T_n}$ be ...
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...
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...
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 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...
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...
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 $...
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 ...
Linear support of harmonic measure in recurrent planar triangulations
v1.3 research notesLet $G$ be a bounded-degree recurrent planar triangulation with a fixed root. Are there arbitrarily large $r$ and finite domains containing the radius...