• ### Cantor uniqueness and multiplicity along subsequences(1804.06902)

April 18, 2018 math.CA
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.
• ### Two comments on balls in vertex transitive graphs(1803.03805)

March 13, 2018 math.CO, math.GR
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.
• ### The Toom Interface Via Coupling(1501.04746)

Jan. 13, 2018 math-ph, math.MP, math.PR
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$.
• ### Irreducible polynomials of bounded height(1710.05165)

Aug. 8, 2019 math.PR, math.NT
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$.
• ### Internal Diffusion-Limited aggregation with uniform starting points(1707.03241)

July 11, 2017 math.PR
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.
• ### Random Walk in Changing Environment(1504.04870)

July 4, 2017 math.PR
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.
• ### Continuous vs discrete spins in the hyperbolic plane(1609.09040)

June 16, 2017 math.PR
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$.
• ### Brochette percolation(1608.04963)

April 20, 2017 math.PR
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.
• ### Central Limit Theorem for Random Walks in Doubly Stochastic Random Environment: $\mathcal{H}_{-1}$ Suffices(1702.06905)

Feb. 22, 2017 math.PR
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+\delta, d\}}$, with $\delta>0$. Our proof relies on an extension of the \emph{relaxed sector condition} of Horv\'ath, T\'oth and Vet\H{o} (2012) and is technically rather simpler than existing earlier proofs of similar results by Oelschl\"ager (1988) and Komorowski, Landim and Olla (2012)
• ### Groups with minimal harmonic functions as small as you like (With an appendix by Nicolas Matte Bon)(1605.07593)

Feb. 5, 2017 math.PR, math.GR
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.
• ### Uniqueness of the infinite noodle(1701.01083)

Jan. 23, 2017 math.PR
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.
• ### The mixing time of the giant component of a random graph(math/0610459)

July 31, 2016 math.CO, math.PR
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.
• ### Minimal growth harmonic functions on lamplighter groups(1607.00753)

July 4, 2016 math.PR, math.GR
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.
• ### Vertex-reinforced random walk on Z with sub-square-root weights is recurrent(1401.1036)

June 17, 2016 math.PR
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.
• ### Lace expansion for dummies(1512.01481)

April 26, 2016 math.PR
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.
• ### Is a bivariate polynomial with plus minus 1 coefficients irreducible? Very likely!(1602.06530)

April 19, 2016 math.NT
We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability.
• ### Disorder, entropy and harmonic functions(1111.4853)

Oct. 28, 2015 math.PR
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.
• ### Discrete curvature and abelian groups(1501.00516)

Oct. 23, 2015 math.CO
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.
• ### Seven-dimensional forest fires(1302.6872)

July 3, 2015 math.PR
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.
• ### Combining Riesz bases in $R^d$(1501.05257)

Jan. 21, 2015 math.CA
We prove that every finite union of rectangles in $R^d$ admits a Riesz basis of exponentials.
• ### Excited random walk with periodic cookies(1311.7439)

Dec. 20, 2014 math.PR
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.
• ### Central limit theorem for random walks in divergence-free random drift field: "H-minus-one" suffices(1411.4171)

Nov. 15, 2014 math.PR
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+\delta,d\}}$, with $\delta>0$. Our proof relies on the relaxed sector condition of Horv\'ath, T\'oth and Vet\H{o} (2012), and is technically rather simpler than existing earlier proofs of similar results by Oelschl\"ager (1988) and Komorowski, Landim, Olla (2012).
• ### Divisibility and Laws in Finite Simple Groups(1403.2324)

May 20, 2014 math.GR
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.
• ### Combining Riesz bases(1210.6383)

April 15, 2014 math.CA
We show that any finite union of intervals supports a Riesz basis of exponentials
• ### Lower bound for the escape probability in the Lorentz Mirror Model on the lattice(1311.7437)

Nov. 28, 2013 math.PR
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).