Source author record

Gady Kozma

Gady Kozma appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

38works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

38 published item(s)

preprint2022arXiv

What does a typical metric space look like?

The collection $\mathcal{M}_n$ of all metric spaces on $n$ points whose diameter is at most $2$ can naturally be viewed as a compact convex subset of $\mathbb{R}^{\binom{n}{2}}$, known as the metric polytope. In this paper, we study the metric polytope for large $n$ and show that it is close to the cube $[1,2]^{\binom{n}{2}} \subseteq \mathcal{M}_n$ in the following two senses. First, the volume of the polytope is not much larger than that of the cube, with the following quantitative estimates: \[ \left(\tfrac{1}{6}+o(1)\right)n^{3/2} \le \log \mathrm{Vol}(\mathcal{M}_n)\le O(n^{3/2}). \] Second, when sampling a metric space from $\mathcal{M}_n$ uniformly at random, the minimum distance is at least $1 - n^{-c}$ with high probability, for some $c > 0$. Our proof is based on entropy techniques. We discuss alternative approaches to estimating the volume of $\mathcal{M}_n$ using exchangeability, Szemerédi's regularity lemma, the hypergraph container method, and the Kővári--Sós--Turán theorem.

preprint2020arXiv

Upper bounds on the percolation correlation length

We study the size of the near-critical window for Bernoulli percolation on $\mathbb Z^d$. More precisely, we use a quantitative Grimmett-Marstrand theorem to prove that the correlation length, both below and above criticality, is bounded from above by $\exp(C/|p-p_c|^2)$. Improving on this bound would be a further step towards the conjecture that there is no infinite cluster at criticality on $\mathbb Z^d$ for every $d\ge2$.

preprint2016arXiv

Minimal growth harmonic functions on lamplighter groups

We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.

preprint2016arXiv

The mixing time of the giant component of a random graph

We show that the total variation mixing time of the simple random walk on the giant component of supercritical Erdos-Renyi graphs is log^2 n. This statement was only recently proved, independently, by Fountoulakis and Reed. Our proof follows from a structure result for these graphs which is interesting in its own right. We show that these graphs are "decorated expanders" - an expander glued to graphs whose size has constant expectation and exponential tail, and such that each vertex in the expander is glued to no more than a constant number of decorations.

preprint2015arXiv

Discrete curvature and abelian groups

We study a natural discrete Bochner-type inequality on graphs, and explore its merit as a notion of curvature in discrete spaces. An appealing feature of this discrete version seems to be that it is fairly straightforward to compute this notion of curvature parameter for several specific graphs of interest - particularly, abelian groups, slices of the hypercube, and the symmetric group under various sets of generators. We further develop this notion by deriving Buser-type inequalities (a la Ledoux), relating functional and isoperimetric constants associated with a graph. Our derivations provide a tight bound on the Cheeger constant (i.e., the edge-isoperimetric constant) in terms of the spectral gap, for graphs with nonnegative curvature, particularly, the class of abelian Cayley graphs - a result of independent interest.

preprint2015arXiv

Disorder, entropy and harmonic functions

We study harmonic functions on random environments with particular emphasis on the case of the infinite cluster of supercritical percolation on $\mathbb{Z}^d$. We prove that the vector space of harmonic functions growing at most linearly is $(d+1)$-dimensional almost surely. Further, there are no nonconstant sublinear harmonic functions (thus implying the uniqueness of the corrector). A main ingredient of the proof is a quantitative, annealed version of the Avez entropy argument. This also provides bounds on the derivative of the heat kernel, simplifying and generalizing existing results. The argument applies to many different environments; even reversibility is not necessary.

preprint2014arXiv

Central limit theorem for random walks in divergence-free random drift field: "H-minus-one" suffices

We prove central limit theorem under diffusive scaling for the displacement of a random walk on ${\mathbb Z}^d$ in stationary divergence-free random drift field, under the ${\mathcal H}_{-1}$-condition imposed on the drift field. The condition is equivalent to assuming that the stream tensor be stationary and square integrable. This improves the best existing result of Komorowski, Landim and Olla (2012), where it is assumed that the stream tensor be in ${\mathcal L}^{\max\{2+δ,d\}}$, with $δ>0$. Our proof relies on the relaxed sector condition of Horváth, Tóth and Vető (2012), and is technically rather simpler than existing earlier proofs of similar results by Oelschläger (1988) and Komorowski, Landim, Olla (2012).

preprint2012arXiv

Cycle structure of the interchange process and representation theory

Consider the process of random transpositions on the complete graph. We use representation theory to give an exact, simple formula for the expected number of cycles of size k at time t, in terms of an incomplete Beta function. Using this we show that the expected number of cycles of size k jumps from 0 to its equilibrium value, 1/k, at the time where the giant component of the associated random graph first exceeds k. Consequently we deduce a new and simple proof of Schramm's theorem on random transpositions, that giant cycles emerge at the same time as the giant component in the random graph. We also calculate the "window" for this transition and find that it is quite thin. Finally, we give a new proof of a result by the first author and Durrett that the random transposition process exhibits a certain slowdown transition. The proof makes use of a recent formula for the character decomposition of the number of cycles of a given size in a permutation, and the Frobenius formula for the character ratios.

preprint2012arXiv

Localization for Linearly Edge Reinforced Random Walks

We prove that the linearly edge reinforced random walk (LRRW) on any graph with bounded degrees is recurrent for sufficiently small initial weights. In contrast, we show that for non-amenable graphs the LRRW is transient for sufficiently large initial weights, thereby establishing a phase transition for the LRRW on non-amenable graphs. While we rely on the description of the LRRW as a mixture of Markov chains, the proof does not use the magic formula. We also derive analogous results for the vertex reinforced jump process.

preprint2012arXiv

The Phase Transition for Dyadic Tilings

A dyadic tile of order n is any rectangle obtained from the unit square by n successive bisections by horizontal or vertical cuts. Let each dyadic tile of order n be available with probability p, independently of the others. We prove that for p sufficiently close to 1, there exists a set of pairwise disjoint available tiles whose union is the unit square, with probability tending to 1 as n->infinity, as conjectured by Joel Spencer in 1999. In particular we prove that if p=7/8, such a tiling exists with probability at least 1-(3/4)^n. The proof involves a surprisingly delicate counting argument for sets of unavailable tiles that prevent tiling.

preprint2011arXiv

Ordering the representations of S_n using the interchange process

Inspired by Aldous' conjecture for the spectral gap of the interchange process and its recent resolution by Caputo, Liggett and Richthammer, we define an associated order on the irreducible representations of S_n. Aldous' conjecture is equivalent to certain representations being comparable in this order, and hence determining the "Aldous order" completely is a generalized question. We show a few additional entries in this order.

preprint2011arXiv

Singular distributions, dimension of support, and symmetry of Fourier transform

We study the "Fourier symmetry" of measures and distributions on the circle, in relation with the size of their supports. The main results of this paper are: (1) A one-side extension of Frostman's theorem, which connects the rate of decay of Fourier transform of a distribution with the Hausdorff dimension of the support; (2) A construction of compacts of "critical" size, which support distributions (even pseudo-functions) with anti-analytic part belonging to l^2. We also give examples of non-symmetry which may occur for measures with "small" support. A number of open questions are stated.

preprint2009arXiv

The Alexander-Orbach conjecture holds in high dimensions

We examine the incipient infinite cluster (IIC) of critical percolation in regimes where mean-field behavior has been established, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We find that random walk on the IIC exhibits anomalous diffusion with the spectral dimension d_s=4/3, that is, p_t(x,x)= t^{-2/3+o(1)}. This establishes a conjecture of Alexander and Orbach. En route we calculate the one-arm exponent with respect to the intrinsic distance.