Showing 1–50 of 105 results for author: Kozma, G

A reduction of the $θ(p_c) = 0$ problem to a conjectured inequality

Authors: Gady Kozma, Shahaf Nitzan

Abstract: We conjecture a new correlation-like inequality for percolation probabilities and support our conjecture with numerical evidence and a few special cases which we prove. This inequality, if true, implies that there is no percolation at criticality on the Euclidean lattice, for any dimension bigger than one. We conjecture a new correlation-like inequality for percolation probabilities and support our conjecture with numerical evidence and a few special cases which we prove. This inequality, if true, implies that there is no percolation at criticality on the Euclidean lattice, for any dimension bigger than one. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 38 pages, 4 figures

Vertex-removal stability and the least positive value of harmonic measures

Authors: Zhenhao Cai, Gady Kozma, Eviatar B. Procaccia, Yuan Zhang

Abstract: We prove that for $\mathbb{Z}^d$ ($d\ge 2$), the vertex-removal stability of harmonic measures (i.e. it is feasible to remove some vertex while changing the harmonic measure by a bounded factor) holds if and only if $d=2$. The proof mainly relies on geometric arguments, with a surprising use of the discrete Klein bottle. Moreover, a direct application of this stability verifies a conjecture of Cal… ▽ More We prove that for $\mathbb{Z}^d$ ($d\ge 2$), the vertex-removal stability of harmonic measures (i.e. it is feasible to remove some vertex while changing the harmonic measure by a bounded factor) holds if and only if $d=2$. The proof mainly relies on geometric arguments, with a surprising use of the discrete Klein bottle. Moreover, a direct application of this stability verifies a conjecture of Calvert, Ganguly and Hammond [9] for the exponential decay of the least positive value of harmonic measures on $\mathbb{Z}^2$. Furthermore, the analogue of this conjecture for $\mathbb{Z}^d$ with $d\ge 3$ is also proved in this paper, despite vertex-removal stability no longer holding. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 34 pages, 9 figures

On the Aldous-Caputo Spectral Gap Conjecture for Hypergraphs

Authors: Gil Alon, Gady Kozma, Doron Puder

Abstract: In their celebrated paper (arXiv:0906.1238), Caputo, Liggett and Richthammer proved Aldous' conjecture and showed that for an arbitrary finite graph, the spectral gap of the interchange process is equal to the spectral gap of the underlying random walk. A crucial ingredient in the proof was the Octopus Inequality - a certain inequality of operators in the group ring $\mathbb{R}[S_n]$ of the symmet… ▽ More In their celebrated paper (arXiv:0906.1238), Caputo, Liggett and Richthammer proved Aldous' conjecture and showed that for an arbitrary finite graph, the spectral gap of the interchange process is equal to the spectral gap of the underlying random walk. A crucial ingredient in the proof was the Octopus Inequality - a certain inequality of operators in the group ring $\mathbb{R}[S_n]$ of the symmetric group. Here we generalize the Octopus Inequality and apply it to generalize the Caputo-Liggett-Richthammer Theorem to certain hypergraphs, proving some cases of a conjecture of Caputo. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: 32 pages + 9 pages of Appendix containing code in SageMath

MSC Class: 20c30 (Primary) 05c81; 05c65; 20B30; 05c50; 60b15; 60j10; 60k35(Secondary)

Lipschitz harmonic functions on vertex-transitive graphs

Authors: Gideon Amir, Guy Blachar, Maria Gerasimova, Gady Kozma

Abstract: We prove that every locally finite vertex-transitive graph $G$ admits a non-constant Lipschitz harmonic function. We prove that every locally finite vertex-transitive graph $G$ admits a non-constant Lipschitz harmonic function. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 5 pages

MSC Class: 31C05; 05C63; 43A07; 05E18

Irreducibility of Littlewood polynomials of special degrees

Authors: Lior Bary-Soroker, David Hokken, Gady Kozma, Bjorn Poonen

Abstract: Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$ goes to infinity. We prove unconditionally that $$\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.$$ Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$ goes to infinity. We prove unconditionally that $$\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.$$ △ Less

Submitted 6 January, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 4 pages; added case where n+1 goes through powers of 2; minor corrections

MSC Class: 11R09

Homeomorphisms and Fourier expansion

Authors: Gady Kozma, Alexander Olevskii

Abstract: We survey our recent result that for every continuous function there is an absolutely continuous homeomorphism such that the composition has a uniformly converging Fourier expansion. We mention the history of the problem, orginally stated by Luzin, and some details of the proof. We survey our recent result that for every continuous function there is an absolutely continuous homeomorphism such that the composition has a uniformly converging Fourier expansion. We mention the history of the problem, orginally stated by Luzin, and some details of the proof. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Comments: An extended abstract of a talk given by A. Olevskii in the 44th Summer Symposium in Real Analysis, Paris, 2022. 10 pages

Probabilistic Laws on Infinite Groups

Authors: Gideon Amir, Guy Blachar, Maria Gerasimova, Gady Kozma

Abstract: We study the probability that certain laws are satisfied on infinite groups, focusing on elements sampled by random walks. For several group laws, including the metabelian one, we construct examples of infinite groups for which the law holds with high probability, but the group does not satisfy the law virtually. On the other hand, we show that if an infinite group satisfies the law $x^2=1$ with p… ▽ More We study the probability that certain laws are satisfied on infinite groups, focusing on elements sampled by random walks. For several group laws, including the metabelian one, we construct examples of infinite groups for which the law holds with high probability, but the group does not satisfy the law virtually. On the other hand, we show that if an infinite group satisfies the law $x^2=1$ with positive probability, then it is virtually abelian. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 39 pages,1 figure

MSC Class: 20P05; 20F69; 20F65; 60B15; 20E22

The number of tiles of $\mathbb{Z}^d$

Authors: Itai Benjamini, Gady Kozma, Elad Tzalik

Abstract: It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$. It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Fire retainment on Cayley graphs

Authors: Gideon Amir, Rangel Baldasso, Maria Gerasimova, Gady Kozma

Abstract: We study the fire-retaining problem on groups, a quasi-isometry invariant introduced by Martínez-Pedroza and Prytula [8], related to the firefighter problem. We prove that any Cayley graph with degree-$d$ polynomial growth does not satisfy $\{f(n)\}$-retainment, for any $f(n) = o(n^{d-2})$, matching the upper bound given for the firefighter problem for these graphs. In the exponential growth regim… ▽ More We study the fire-retaining problem on groups, a quasi-isometry invariant introduced by Martínez-Pedroza and Prytula [8], related to the firefighter problem. We prove that any Cayley graph with degree-$d$ polynomial growth does not satisfy $\{f(n)\}$-retainment, for any $f(n) = o(n^{d-2})$, matching the upper bound given for the firefighter problem for these graphs. In the exponential growth regime we prove general lower bounds for direct products and wreath products. These bounds are tight, and show that for exponential-growth groups a wide variety of behaviors is possible. In particular, we construct, for any $d\geq 1$, groups that satisfy $\{n^{d}\}$-retainment but not $o(n^d)$-retainment, as well as groups that do not satisfy sub-exponential retainment. △ Less

Submitted 7 October, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: 15 pages, 1 figure

MSC Class: 05C63; 05C57; 20F65; 05C10

Journal ref: Discrete Mathematics Discrete Mathematics, Volume 346, Issue 1, January 2023, 113176

Luzin's problem on Fourier convergence and homeomorphisms

Authors: Gady Kozma, Alexander Olevskii

Abstract: We show that for every continuous function there exists an absolutely continuous homeomorphism of the circle such that the Fourier series of the composition converges uniformly. This resolves a problem set by N. N. Luzin. We show that for every continuous function there exists an absolutely continuous homeomorphism of the circle such that the Fourier series of the composition converges uniformly. This resolves a problem set by N. N. Luzin. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Comments: 55 pages, 2 figures

A set with no Riesz basis of exponentials

Authors: Gady Kozma, Shahaf Nitzan, Alexander Olevskii

Abstract: We show that there exists a bounded subset of R such that no system of exponentials can be a Riesz basis for the corresponding Hilbert space. An additional result gives a lower bound for the Riesz constant of any putative Riesz basis of the two dimensional disk. We show that there exists a bounded subset of R such that no system of exponentials can be a Riesz basis for the corresponding Hilbert space. An additional result gives a lower bound for the Riesz constant of any putative Riesz basis of the two dimensional disk. △ Less

Submitted 5 October, 2021; originally announced October 2021.

Comments: 8 pages

Lower tails via relative entropy

Authors: Gady Kozma, Wojciech Samotij

Abstract: We show that the naive mean-field approximation correctly predicts the leading term of the logarithmic lower tail probabilities for the number of copies of a given subgraph in $G(n,p)$ and of arithmetic progressions of a given length in random subsets of the integers in the entire range of densities where the mean-field approximation is viable. Our main technical result provides sufficient condi… ▽ More We show that the naive mean-field approximation correctly predicts the leading term of the logarithmic lower tail probabilities for the number of copies of a given subgraph in $G(n,p)$ and of arithmetic progressions of a given length in random subsets of the integers in the entire range of densities where the mean-field approximation is viable. Our main technical result provides sufficient conditions on the maximum degrees of a uniform hypergraph $\mathcal{H}$ that guarantee that the logarithmic lower tail probabilities for the number of edges induced by a binomial random subset of the vertices of $\mathcal{H}$ can be well-approximated by considering only product distributions. This may be interpreted as a weak, probabilistic version of the hypergraph container lemma that is applicable to all sparser-than-average (and not only independent) sets. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: 30 pages

What does a typical metric space look like?

Authors: Gady Kozma, Tom Meyerovitch, Ron Peled, Wojciech Samotij

Abstract: 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 o… ▽ More 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. △ Less

Submitted 29 May, 2022; v1 submitted 4 April, 2021; originally announced April 2021.

Comments: 64 pages, 2 figures. v2: Swapped Sections 5 and 6 and added a reader's guide

Sensitivity of mixing times of Cayley graphs

Authors: Jonathan Hermon, Gady Kozma

Abstract: We show that the total variation mixing time is not quasi-isometry invariant, even for Cayley graphs. Namely, we construct a sequence of pairs of Cayley graphs with maps between them that twist the metric in a bounded way, while the ratio of the two mixing times goes to infinity. The Cayley graphs serving as an example have unbounded degrees. For non-transitive graphs we construct bounded degree… ▽ More We show that the total variation mixing time is not quasi-isometry invariant, even for Cayley graphs. Namely, we construct a sequence of pairs of Cayley graphs with maps between them that twist the metric in a bounded way, while the ratio of the two mixing times goes to infinity. The Cayley graphs serving as an example have unbounded degrees. For non-transitive graphs we construct bounded degree graphs for which the mixing time from the worst starting point for one graph is asymptotically smaller than the mixing time from the best starting point of the random walk on a network obtained by increasing some of the edge weights from 1 to $1+o(1)$. △ Less

Submitted 2 May, 2023; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 33 pages, 2 figure. In this version we improved the presentation

MSC Class: 60J10; 60J27; 05C81 (Primary); 60K35 (Secondary)

Irreducibility of random polynomials: general measures

Authors: Lior Bary-Soroker, Dimitris Koukoulopoulos, Gady Kozma

Abstract: Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that te… ▽ More Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that tends to 1 as $n\to\infty$. Furthermore, in certain cases, we show that a random polynomial $f(x)$ with $f(0)\neq0$ is irreducible with probability tending to 1 as $n\to\infty$. In particular, this is the case if $μ$ is the uniform measure on a set of at least 35 consecutive integers, or on a subset of $[-H,H]\cap\mathbb{Z}$ of cardinality $\ge H^{4/5}(\log H)^2$ with $H$ sufficiently large. In addition, in all of these settings, we show that the Galois group of $f(x)$ is either $\mathcal{A}_n$ or $\mathcal{S}_n$ with high probability. Finally, when $μ$ is the uniform measure on a finite arithmetic progression of at least two elements, we prove a random polynomial $f(x)$ as above is irreducible with probability $\geδ$ for some constant $δ=δ(μ)>0$. In fact, if the arithmetic progression has step 1, we prove the stronger result that the Galois group of $f(x)$ is $\mathcal{A}_n$ or $\mathcal{S}_n$ with probability $\geδ$. △ Less

Submitted 2 June, 2023; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 65 pages. Minor corrections. Final version, to apper in Inventiones Mathematicae

MSC Class: Primary: 11R09; 12E05; 11N25; 11T55. Secondary: 05A05; 20B30

The firefighter problem on polynomial and intermediate growth groups

Authors: Gideon Amir, Rangel Baldasso, Gady Kozma

Abstract: We prove that any Cayley graph $G$ with degree $d$ polynomial growth does not satisfy $\{f(n)\}$-containment for any $f=o(n^{d-2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d-2}$ firefighters are enough, answering and strengthening a conjecture of Develin and Hartke. We also prove that intermediate growth Cayley graphs do not satisf… ▽ More We prove that any Cayley graph $G$ with degree $d$ polynomial growth does not satisfy $\{f(n)\}$-containment for any $f=o(n^{d-2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d-2}$ firefighters are enough, answering and strengthening a conjecture of Develin and Hartke. We also prove that intermediate growth Cayley graphs do not satisfy polynomial containment, and give explicit lower bounds depending on the growth rate of the group. These bounds can be further improved when more geometric information is available, such as for Grigorchuk's group. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Comments: 5 pages

MSC Class: 05C63; 05C57 05C63; 05C57 20F65; 05c63; 05c57; 05C10

Journal ref: Discrete Mathematics Volume 343, Issue 11, November 2020, 112077

Power-law decay of weights and recurrence of the two-dimensional VRJP

Authors: Gady Kozma, Ron Peled

Abstract: The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We prove that, for any initial bias, the weights sampled from the magic formula on a two-dimensional graph decay at least at a power-law rate. Via arguments of Sabot a… ▽ More The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We prove that, for any initial bias, the weights sampled from the magic formula on a two-dimensional graph decay at least at a power-law rate. Via arguments of Sabot and Zeng, the result implies that the VRJP is recurrent in two dimensions for any initial bias. △ Less

Submitted 14 May, 2021; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 20 pages. Minor clarifications and improvements

MSC Class: Primary 60K37; 60K35; Secondary 81T25; 81T60

Upper bounds on the percolation correlation length

Authors: Hugo Duminil-Copin, Gady Kozma, Vincent Tassion

Abstract: 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… ▽ More 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$. △ Less

Submitted 6 February, 2020; v1 submitted 8 February, 2019; originally announced February 2019.

Comments: 21 pages, 2 figures

MSC Class: 60K35 (primary); 68Q87 (secondary)

Comparing with octopi

Authors: Gil Alon, Gady Kozma

Abstract: Operator inequalities with a geometric flavour have been successful in studying mixing of random walks and quantum mechanics. We suggest a new way to extract such inequalities using the octopus inequality of Caputo, Liggett and Richthammer. Operator inequalities with a geometric flavour have been successful in studying mixing of random walks and quantum mechanics. We suggest a new way to extract such inequalities using the octopus inequality of Caputo, Liggett and Richthammer. △ Less

Submitted 26 November, 2018; originally announced November 2018.

Comments: 21 pages

The mean-field quantum Heisenberg ferromagnet via representation theory

Authors: Gil Alon, Gady Kozma

Abstract: We use representation theory to write a formula for the magnetisation of the quantum Heisenberg ferromagnet. The core new result is a spectral decomposition of the function $α_k 2^{α_1+\dotsb+α_n}$ where $α_k$ is the number of cycles of length k of a permutation. In the mean-field case, we simplify the formula further, arriving at a closed-form expression for the magnetisation, which allows to ana… ▽ More We use representation theory to write a formula for the magnetisation of the quantum Heisenberg ferromagnet. The core new result is a spectral decomposition of the function $α_k 2^{α_1+\dotsb+α_n}$ where $α_k$ is the number of cycles of length k of a permutation. In the mean-field case, we simplify the formula further, arriving at a closed-form expression for the magnetisation, which allows to analyse the phase transition. △ Less

Submitted 26 November, 2018; originally announced November 2018.

Comments: 30 pages

Arithmetic progressions in the trace of Brownian motion in space

Authors: Itai Benjamini, Gady Kozma

Abstract: It is shown that the trace of $3$ dimensional Brownian motion contains arithmetic progressions of length $5$ and no arithmetic progressions of length $6$ a.s. It is shown that the trace of $3$ dimensional Brownian motion contains arithmetic progressions of length $5$ and no arithmetic progressions of length $6$ a.s. △ Less

Submitted 29 April, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Linear representations of random groups

Authors: Gady Kozma, Alexander Lubotzky

Abstract: We show that for a fixed k, Gromov random groups with any positive density have no non-trivial degree-k representations over any field, a.a.s. This is especially interesting in light of the results of Agol, Ollivier and Wise that when the density is less than 1/6 such groups have a faithful linear representation over the rationals, a.a.s. We show that for a fixed k, Gromov random groups with any positive density have no non-trivial degree-k representations over any field, a.a.s. This is especially interesting in light of the results of Agol, Ollivier and Wise that when the density is less than 1/6 such groups have a faithful linear representation over the rationals, a.a.s. △ Less

Submitted 2 October, 2018; originally announced October 2018.

Comments: 10 pages

Supplement to the article "irreducible polynomials with bounded height"

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: We show that the determinant of a random matrix is unlikely to be a square. We show that the determinant of a random matrix is unlikely to be a square. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 7 pages

Cantor uniqueness and multiplicity along subsequences

Authors: Gady Kozma, Alexander Olevskii

Abstract: We construct a trigonometric series converging to zero everywhere on a subsequence, with coefficients tending to zero. We show that any such series must satisfy that the subsequence is very sparse, and that the support of the related distribution is quite large. We construct a trigonometric series converging to zero everywhere on a subsequence, with coefficients tending to zero. We show that any such series must satisfy that the subsequence is very sparse, and that the support of the related distribution is quite large. △ Less

Submitted 23 October, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

Comments: 23 pages. New version has small improvements to presentation and references. To appear in Algebra and Analysis

Two comments on balls in vertex transitive graphs

Authors: Itai Benjamini, Gady Kozma

Abstract: We observe that a ball of radius $1$ in the grandfather graph can not be realized as a ball of radius $1$ in a finite vertex transitive graph. We remark on when a ball in a finite vertex transitive graph appears as a ball in an infinite vertex transitive graph. We observe that a ball of radius $1$ in the grandfather graph can not be realized as a ball of radius $1$ in a finite vertex transitive graph. We remark on when a ball in a finite vertex transitive graph appears as a ball in an infinite vertex transitive graph. △ Less

Submitted 13 March, 2018; v1 submitted 10 March, 2018; originally announced March 2018.

Comments: The main result appeared already in arXiv:1411.6534

Every exponential group supports a positive harmonic function

Authors: Gideon Amir, Gady Kozma

Abstract: We prove that all groups of exponential growth support non-constant positive harmonic functions. In fact, out results hold in the more general case of strongly connected, finitely supported Markov chains invariant under some transitive group of automorphisms for which the directed balls grow exponentially. We prove that all groups of exponential growth support non-constant positive harmonic functions. In fact, out results hold in the more general case of strongly connected, finitely supported Markov chains invariant under some transitive group of automorphisms for which the directed balls grow exponentially. △ Less

Submitted 20 May, 2018; v1 submitted 31 October, 2017; originally announced November 2017.

Comments: 5 pages

Irreducible polynomials of bounded height

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: The goal of this paper is to prove that a random polynomial with i.i.d. random coefficients taking values uniformly in $\{1,\ldots, 210\}$ is irreducible with probability tending to $1$ as the degree tends to infinity. Moreover, we prove that the Galois group of the random polynomial contains the alternating group, again with probability tending to $1$. The goal of this paper is to prove that a random polynomial with i.i.d. random coefficients taking values uniformly in $\{1,\ldots, 210\}$ is irreducible with probability tending to $1$ as the degree tends to infinity. Moreover, we prove that the Galois group of the random polynomial contains the alternating group, again with probability tending to $1$. △ Less

Submitted 8 August, 2019; v1 submitted 14 October, 2017; originally announced October 2017.

Comments: Some revisions

MSC Class: 11R09; 12E05

Journal ref: Duke Math. J. 169, no. 4 (2020), 579-598

Internal Diffusion-Limited aggregation with uniform starting points

Authors: Itai Benjamini, Hugo Duminil-Copin, Gady Kozma, Cyrille Lucas

Abstract: We study internal diffusion-limited aggregation with random starting points on Z^d. In this model, each new particle starts from a vertex chosen uniformly at random on the existing aggregate. We prove that the limiting shape of the aggregate is a Euclidean ball. We study internal diffusion-limited aggregation with random starting points on Z^d. In this model, each new particle starts from a vertex chosen uniformly at random on the existing aggregate. We prove that the limiting shape of the aggregate is a Euclidean ball. △ Less

Submitted 6 October, 2021; v1 submitted 11 July, 2017; originally announced July 2017.

Comments: Corrected the proof of lemma 3.1 and a few typos

Central Limit Theorem for Random Walks in Doubly Stochastic Random Environment: $\mathcal{H}_{-1}$ Suffices

Authors: Gady Kozma, Bálint Tóth

Abstract: We prove a central limit theorem under diffusive scaling for the displacement of a random walk on ${\mathbb Z}^d$ in stationary and ergodic doubly stochastic random environment, under the $\mathcal{H}_{-1}$-condition imposed on the drift field. The condition is equivalent to assuming that the stream tensor of the drift field be stationary and square integrable. This improves the best existing resu… ▽ More We prove a central limit theorem under diffusive scaling for the displacement of a random walk on ${\mathbb Z}^d$ in stationary and ergodic doubly stochastic random environment, under the $\mathcal{H}_{-1}$-condition imposed on the drift field. The condition is equivalent to assuming that the stream tensor of the drift field 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 is in $\mathcal{L}^{\max\{2+δ, d\}}$, with $δ>0$. Our proof relies on an extension of the \emph{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 and Olla (2012) △ Less

Submitted 22 February, 2017; originally announced February 2017.

Comments: This is an extended version of arxiv:1411.4171. The setup is generalised from constant symmetric part and divergence-free drift field to general doubly-stochastic random environment. The paper is accepted for publication in the Annals of Probability. Length: 41 pages

MSC Class: 60F05; 60G99; 60K37

Uniqueness of the infinite noodle

Authors: Nicolas Curien, Gady Kozma, Vladas Sidoravicius, Laurent Tournier

Abstract: Consider the graph obtained by superposition of an independent pair of uniform infinite non-crossing perfect matchings of the set of integers. We prove that this graph contains at most one infinite path. Several motivations are discussed. Consider the graph obtained by superposition of an independent pair of uniform infinite non-crossing perfect matchings of the set of integers. We prove that this graph contains at most one infinite path. Several motivations are discussed. △ Less

Submitted 23 January, 2017; v1 submitted 4 January, 2017; originally announced January 2017.

Comments: 14 pages, 10 figures; phrasing of conjecture corrected

Continuous vs discrete spins in the hyperbolic plane

Authors: Itai Benjamini, Gady Kozma

Abstract: We study the $O(n)$ model on graphs quasi-isometric to the hyperbolic plane, with free boundary conditions. We observe that the pair correlations decay exponentially with distance, for all temperatures, if and only if $n>1$. We study the $O(n)$ model on graphs quasi-isometric to the hyperbolic plane, with free boundary conditions. We observe that the pair correlations decay exponentially with distance, for all temperatures, if and only if $n>1$. △ Less

Submitted 16 June, 2017; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 4 pages. New version strengthens the result a little and adds references to all necessary background material. To appear in Journal of Statistical Physics

Brochette percolation

Authors: Hugo Duminil-Copin, Marcelo R. Hilario, Gady Kozma, Vladas Sidoravicius

Abstract: We study bond percolation on the square lattice with one-dimensional inhomogeneities. Inhomogeneities are introduced in the following way: A vertical column on the square lattice is the set of vertical edges that project to the same vertex on $\mathbb{Z}$. Select vertical columns at random independently with a given positive probability. Keep (respectively remove) vertical edges in the selected co… ▽ More We study bond percolation on the square lattice with one-dimensional inhomogeneities. Inhomogeneities are introduced in the following way: A vertical column on the square lattice is the set of vertical edges that project to the same vertex on $\mathbb{Z}$. Select vertical columns at random independently with a given positive probability. Keep (respectively remove) vertical edges in the selected columns, with probability $p$, (respectively $1-p$). All horizontal edges and vertical edges lying in unselected columns are kept (respectively removed) with probability $q$, (respectively $1-q$). We show that, if $p > p_c(\mathbb{Z}^2)$ (the critical point for homogeneous Bernoulli bond percolation) then $q$ can be taken strictly smaller then $p_c(\mathbb{Z}^2)$ in such a way that the probability that the origin percolates is still positive. △ Less

Submitted 20 April, 2017; v1 submitted 17 August, 2016; originally announced August 2016.

Comments: 16 pages

Minimal growth harmonic functions on lamplighter groups

Authors: Itai Benjamini, Hugo Duminil-Copin, Gady Kozma, Ariel Yadin

Abstract: 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… ▽ More 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. △ Less

Submitted 4 July, 2016; originally announced July 2016.

Groups with minimal harmonic functions as small as you like (With an appendix by Nicolas Matte Bon)

Authors: Gideon Amir, Gady Kozma

Abstract: For any order of growth $f(n)=o(\log n)$ we construct a finitely-generated group $G$ and a set of generators $S$ such that the Cayley graph of $G$ with respect to $S$ supports a harmonic function with growth $f$ but does not support any harmonic function with slower growth. The construction uses permutational wreath products in which the base group is defined via its properly chosen Schreier graph… ▽ More For any order of growth $f(n)=o(\log n)$ we construct a finitely-generated group $G$ and a set of generators $S$ such that the Cayley graph of $G$ with respect to $S$ supports a harmonic function with growth $f$ but does not support any harmonic function with slower growth. The construction uses permutational wreath products in which the base group is defined via its properly chosen Schreier graph. △ Less

Submitted 5 February, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: 20+7 pages, 4 figures. This version includes an appendix by Nicolas Matte Bon

MSC Class: 31C05; 20E08; 20F65; 05C81

Is a bivariate polynomial with plus minus 1 coefficients irreducible? Very likely!

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability. We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability. △ Less

Submitted 19 April, 2016; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: Fixed another gap in the proof. To appear in the International Journal of Number Theory

MSC Class: 11C08

Lace expansion for dummies

Authors: Erwin Bolthausen, Remco van der Hofstad, Gady Kozma

Abstract: We show Green's function asymptotic upper bound for the two-point function of weakly self-avoiding walk in dimension bigger than 4, revisiting a classic problem. Our proof relies on Banach algebras to analyse the lace-expansion fixed point equation and is simpler than previous approaches in that it avoids Fourier transforms. We show Green's function asymptotic upper bound for the two-point function of weakly self-avoiding walk in dimension bigger than 4, revisiting a classic problem. Our proof relies on Banach algebras to analyse the lace-expansion fixed point equation and is simpler than previous approaches in that it avoids Fourier transforms. △ Less

Submitted 26 April, 2016; v1 submitted 4 December, 2015; originally announced December 2015.

Comments: Full proof in just 14 pages. New version corrects a few glitches

Random Walk in Changing Environment

Authors: Gideon Amir, Itai Benjamini, Ori Gurel-Gurevich, Gady Kozma

Abstract: In this paper we introduce the notion of Random Walk in Changing Environment - a random walk in which each step is performed in a different graph on the same set of vertices, or more generally, a weighted random walk on the same vertex and edge sets but with different (possibly 0) weights in each step. This is a very wide class of RW, which includes some well known types of RW as special cases (e.… ▽ More In this paper we introduce the notion of Random Walk in Changing Environment - a random walk in which each step is performed in a different graph on the same set of vertices, or more generally, a weighted random walk on the same vertex and edge sets but with different (possibly 0) weights in each step. This is a very wide class of RW, which includes some well known types of RW as special cases (e.g. reinforced RW, true SAW). We define and explore various possible properties of such walks, and provide criteria for recurrence and transience when the underlying graph is $\mathbb{N}$ or a tree. We provide an example of such a process on $\mathbb{Z}^2$ where conductances can only change from $1$ to $2$ (once for each edge) but nevertheless the walk is transient, and conjecture that such behaviour cannot happen when the weights are chosen in advance, that is, do not depend on the location of the RW. △ Less

Submitted 4 July, 2017; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: 22 pages, revised the open questions regarding continuous time, acknowledgments and references. Typo fixed in example 3.6 3rd version: includes new proof of the transience of the MAW on Z^2, with the old proof moved to the appendix. Also includes minor fixes

Combining Riesz bases in $R^d$

Authors: Gady Kozma, Shahaf Nitzan

Abstract: We prove that every finite union of rectangles in $R^d$ admits a Riesz basis of exponentials. We prove that every finite union of rectangles in $R^d$ admits a Riesz basis of exponentials. △ Less

Submitted 21 January, 2015; originally announced January 2015.

Comments: 14 pages

The Toom Interface Via Coupling

Authors: Nick Crawford, Gady Kozma, Wojciech de Roeck

Abstract: We consider a one dimensional interacting particle system which describes the effective interface dynamics of the two dimensional Toom model at low temperature and noise. We prove a number of basic properties of this model. First we consider the dynamics on a half open finite interval $[1, N)$, bounding the mixing time from above by $2N$. Then we consider the model defined on the integers. Due to… ▽ More We consider a one dimensional interacting particle system which describes the effective interface dynamics of the two dimensional Toom model at low temperature and noise. We prove a number of basic properties of this model. First we consider the dynamics on a half open finite interval $[1, N)$, bounding the mixing time from above by $2N$. Then we consider the model defined on the integers. Due to infinite range interaction, this is a non-Feller process that we can define starting from product Bernoulli measures with density $p \in (0, 1)$, but not from arbitrary measures. We show, under a modest technical condition, that the only possible invariant measures are those product Bernoulli measures. We further show that the unique stationary measure on $[-k, \infty)$ converges weakly to a product Bernoulli measure on $\mathbb{Z}$ as $k \rightarrow \infty$. △ Less

Submitted 13 January, 2018; v1 submitted 20 January, 2015; originally announced January 2015.

Comments: Version 3, 49 pages, Exposition cleaned up, Figures added

MSC Class: 60-xx; 82-xx

Discrete curvature and abelian groups

Authors: Bo'az Klartag, Gady Kozma, Peter Ralli, Prasad Tetali

Abstract: 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 vario… ▽ More 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. △ Less

Submitted 23 October, 2015; v1 submitted 2 January, 2015; originally announced January 2015.

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

Authors: Gady Kozma, Bálint Tóth

Abstract: 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… ▽ More 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). △ Less

Submitted 15 November, 2014; originally announced November 2014.

Comments: 33 pages

MSC Class: 60F05; 60G99; 60K37

Divisibility and Laws in Finite Simple Groups

Authors: Gady Kozma, Andreas Thom

Abstract: We provide new bounds for the divisibility function of the free group F_2 and construct short laws for the symmetric groups Sym(n). The construction is random and relies on the classification of the finite simple groups. We also give bounds on the length of laws for finite simple groups of Lie type. We provide new bounds for the divisibility function of the free group F_2 and construct short laws for the symmetric groups Sym(n). The construction is random and relies on the classification of the finite simple groups. We also give bounds on the length of laws for finite simple groups of Lie type. △ Less

Submitted 20 May, 2014; v1 submitted 10 March, 2014; originally announced March 2014.

Comments: 20 pages, no figures; v3 completely rewritten with new co-author and new results

Vertex-reinforced random walk on Z with sub-square-root weights is recurrent

Authors: Jun Chen, Gady Kozma

Abstract: We prove that vertex-reinforced random walk on the integers with weight of order k to the power alpha, for alpha in [0, 1/2), is recurrent. This confirms a conjecture of Volkov for alpha<1/2. The conjecture for alpha in [1/2, 1) remains open. We prove that vertex-reinforced random walk on the integers with weight of order k to the power alpha, for alpha in [0, 1/2), is recurrent. This confirms a conjecture of Volkov for alpha<1/2. The conjecture for alpha in [1/2, 1) remains open. △ Less

Submitted 17 June, 2016; v1 submitted 6 January, 2014; originally announced January 2014.

Comments: 4 pages. Minor omission fixed

Excited random walk with periodic cookies

Authors: Gady Kozma, Tal Orenshtein, Igor Shinkar

Abstract: In this paper we consider an excited random walk on $\mathbb{Z}$ in identically piled periodic environment. This is a discrete time process on $\mathbb{Z}$ defined by parameters $(p_1,\dots p_M) \in [0,1]^M$ for some positive integer $M$, where the walker upon the $i$-th visit to $z \in \mathbb{Z}$ moves to $z+1$ with probability $p_{i\pmod M}$, and moves to $z-1$ with probability… ▽ More In this paper we consider an excited random walk on $\mathbb{Z}$ in identically piled periodic environment. This is a discrete time process on $\mathbb{Z}$ defined by parameters $(p_1,\dots p_M) \in [0,1]^M$ for some positive integer $M$, where the walker upon the $i$-th visit to $z \in \mathbb{Z}$ moves to $z+1$ with probability $p_{i\pmod M}$, and moves to $z-1$ with probability $1-p_{i \pmod M}$. We give an explicit formula in terms of the parameters $(p_1,\dots,p_M)$ which determines whether the walk is recurrent, transient to the left, or transient to the right. In particular, in the case that $\frac{1}{M}\sum_{i=1}^{M}p_{i}=\frac {1}{2}$ all behaviors are possible, and may depend on the order of the $p_i$. Our framework allows us to reprove some known results on ERW with no additional effort. △ Less

Submitted 20 December, 2014; v1 submitted 28 November, 2013; originally announced November 2013.

Comments: 31 pages, no figures. Incorporating several corrections

Journal ref: Annales de l'Institut Henri Poincaré - Probabilités et Statistiques 2016, Vol. 52, No. 3, 1023-1049

Lower bound for the escape probability in the Lorentz Mirror Model on the lattice

Authors: Gady Kozma, Vladas Sidoravicius

Abstract: We show that in the Lorentz mirror model, at any density of mirrors, the probability of a particle starting at the origin to reach distance n is at least 1/(2n+1). We show that in the Lorentz mirror model, at any density of mirrors, the probability of a particle starting at the origin to reach distance n is at least 1/(2n+1). △ Less

Submitted 28 November, 2013; originally announced November 2013.

Comments: 2 pages. Really, just 2 pages

One-dimensional long-range Diffusion Limited Aggregation II: the transient case

Authors: Gideon Amir, Omer Angel, Gady Kozma

Abstract: We examine diffusion-limited aggregation for a one-dimensional random walk with long jumps. We achieve upper and lower bounds on the growth rate of the aggregate as a function of the number of moments a single step of the walk has. In this paper we handle the case of transient walks. We examine diffusion-limited aggregation for a one-dimensional random walk with long jumps. We achieve upper and lower bounds on the growth rate of the aggregate as a function of the number of moments a single step of the walk has. In this paper we handle the case of transient walks. △ Less

Submitted 19 June, 2013; originally announced June 2013.

Comments: 30 pages, 3 phase transitions

Counting bats

Authors: Itai Benjamini, Gady Kozma

Abstract: We demonstrate an algorithm that reconstructs the number of walkers in an unknown graph from observations of their returns to a fixed point. We demonstrate an algorithm that reconstructs the number of walkers in an unknown graph from observations of their returns to a fixed point. △ Less

Submitted 10 April, 2013; originally announced April 2013.

Comments: 7 pages, 3 bats

Percolation of finite clusters and infinite surfaces

Authors: Geoffrey R. Grimmett, Alexander E. Holroyd, Gady Kozma

Abstract: Two related issues are explored for bond percolation on the d-dimensional cubic lattice (with d > 2) and its dual plaquette process. Firstly, for what values of the parameter p does the complement of the infinite open cluster possess an infinite component? The corresponding critical point p_fin satisfies p_fin >= p_c, and strict inequality is proved when either d is sufficiently large, or d >= 7 a… ▽ More Two related issues are explored for bond percolation on the d-dimensional cubic lattice (with d > 2) and its dual plaquette process. Firstly, for what values of the parameter p does the complement of the infinite open cluster possess an infinite component? The corresponding critical point p_fin satisfies p_fin >= p_c, and strict inequality is proved when either d is sufficiently large, or d >= 7 and the model is sufficiently spread out. It is not known whether d >= 3 suffices. Secondly, for what p does there exist an infinite dual surface of plaquettes? The associated critical point p_surf satisfies p_surf >= p_fin. △ Less

Submitted 16 October, 2013; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: v2: Minor revisions. To appear in the Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 60K35; 82B43

Journal ref: Math. Proc. Camb. Phil. Soc. 156 (2014) 263-279

Seven-dimensional forest fires

Authors: Daniel Ahlberg, Hugo Duminil-Copin, Gady Kozma, Vladas Sidoravicius

Abstract: We show that in high dimensional Bernoulli percolation, removing from a thin infinite cluster a much thinner infinite cluster leaves an infinite component. This observation has implications for the van den Berg-Brouwer forest fire process, also known as self-destructive percolation, for dimension high enough. We show that in high dimensional Bernoulli percolation, removing from a thin infinite cluster a much thinner infinite cluster leaves an infinite component. This observation has implications for the van den Berg-Brouwer forest fire process, also known as self-destructive percolation, for dimension high enough. △ Less

Submitted 3 July, 2015; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: 8 pages

MSC Class: 60K35

Journal ref: Ann. Inst. H. Poincaré Probab. Statist. Volume 51, Number 3 (2015), 862-866

Singular distributions and symmetry of the spectrum

Authors: Gady Kozma, Alexander Olevskii

Abstract: This is a survey of the "Fourier symmetry" of measures and distributions on the circle in relation with the size of their support. Mostly it is based on our paper arxiv:1004.3631 and a talk given by the second author in the 2012 Abel symposium. This is a survey of the "Fourier symmetry" of measures and distributions on the circle in relation with the size of their support. Mostly it is based on our paper arxiv:1004.3631 and a talk given by the second author in the 2012 Abel symposium. △ Less

Submitted 11 January, 2013; originally announced January 2013.

Comments: 7 pages