random
6952 papers tagged with this keyword
Hamiltonian decomposition and verifying vertex adjacency in 1-skeleton of the traveling salesperson polytope by variable neighborhood search
Published
• View Publication
• BIB
We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint Hamiltonian cycles. A sufficient condition for vertex adjacency in the 1-skeleton of the traveling salesperson polytope can be formulated as the Hamiltonian decomposition problem in a 4-regular multigraph. We introduce a heuristic general variable neighborhood search algorithm for this problem based on finding a vertex-disjoint cycle cover of the multigraph through reduction to perfect matching and several cycle merging operations. The algorithm has a one-sided error: the answer "not adjacent" is always correct, and was tested on random directed and undirected Hamiltonian cycles and on pyramidal tours.
Improved Analysis of Higher Order Random Walks and Applications
Published
• View Publication
• BIB
The motivation of this work is to extend the techniques of higher order random walks on simplicial complexes to analyze mixing times of Markov chains for combinatorial problems. Our main result is a sharp upper bound on the second eigenvalue of the down-up walk on a pure simplicial complex, in terms of the second eigenvalues of its links. We show some applications of this result in analyzing mixing times of Markov chains, including sampling independent sets of a graph and sampling common independent sets of two partition matroids.
Ramsey goodness of trees in random graphs
For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$. In 1977, Chvátal proved that for any integers $r,n,D \ge 2$, $K_N \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if and only if $N \ge rn+1$. We prove a random analogue of Chvátal's theorem for bounded degree trees, that is, we show that for each $r,D\ge 2$ there exist constants $C,C'>0$ such that if $p \ge C{n}^{-2/(r+2)}$ and $N \geq rn + C'/p$, then \[G(N,p) \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)\] with high probability as $n\to \infty$. The proof combines a stability argument with the embedding of trees in expander graphs. Furthermore, the proof of the stability result is based on a sparse random analogue of the Erdős--Sós conjecture for trees with linear size and bounded maximum degree, which may be of independent interest.
Random Uniform and Pure Random Simplicial Complexes
In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension $d$, generated by letting any subset of size $d+1$ of a set of $n$ vertices be a facet with probability $p$ and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of $d$ and $p$.
Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are evasive, hence proving that the well known Evasiveness conjecture is generically true for monotone boolean functions without symmetry assumptions.
Dynamical properties of simplicial systems and continued fraction algorithms
We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector.
We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it provides a unified proof of ergodicity for these classical examples as well as new results such as uniqueness of the measure of maximal entropy on a canonical suspension.
These objects also bring a new perspective to some fractal sets such as Rauzy gaskets. We show general explicit upper bound on Hausdorff dimensions of fractals described in this formalism as well as a construction of their measure of maximal entropy. This implies in particular that the Rauzy gasket in all dimensions has Hausdorff dimension strictly smaller than its ambient space, as well as sharper bounds on the dimension and an asymptotic result.
Sharp relations between volume growth, isoperimetry and escape probability in vertex-transitive graphs
We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius $r$ before returning to its starting point. In particular, this shows that if the ball of radius $r$ has size slightly greater than quadratic in $r$ then this probability is bounded from below. On the other hand, we show that if the ball of radius $r$ has volume slightly less than cubic in $r$ then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also imply the existence of a gap at $0$ for escape probabilities: there exists a universal constant $c>0$ such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least $c$ of escaping to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generalise our results to give a sharp finitary version of the characterisation of $p$-parabolic vertex-transitive graphs, prove a number of sharp isoperimetric inequalities for vertex-transitive graphs, and prove a locality result for the escape probability of the random walk on a vertex-transitive graph that can be seen as an analogue of Schramm's locality conjecture for the critical percolation probability.
Random Surfaces with Boundary
Published in Discrete & Computational Geometry, online, 2021
• View Publication
• BIB
A surface with boundary is randomly generated by gluing polygons along some of their sides. We show that its genus and number of boundary components asymptotically follow a bivariate normal distribution.
On the Sum of Ricci-Curvatures for Weighted Graphs
Published
• View Publication
• BIB
In this paper, we generalize Lin-Lu-Yau's Ricci curvature to weighted graphs and give a simple limit-free definition. We prove two extremal results on the sum of Ricci curvatures for weighted graph.
A weighted graph $G=(V,E,d)$ is an undirected graph $G=(V,E)$ associated with a distance function $d\colon E\to [0,\infty)$. By redefining the weights if possible, without loss of generality, we assume that the shortest weighted distance between $u$ and $v$ is exactly $d(u,v)$ for any edge $uv$. Now consider a random walk whose transitive probability from an vertex $u$ to its neighbor $v$ (a jump move along the edge $uv$) is proportional to $w_{uv}:=F(d(u,v))/d(u,v)$ for some given function $F(\bullet)$. We first generalize Lin-Lu-Yau's Ricci curvature definition to this weighted graph and give a simple limit-free representation of $κ(x, y)$ using a so called $\ast$-coupling functions. The total curvature $K(G)$ is defined to be the sum of Ricci curvatures over all edges of $G$. We proved the following theorems: if $F(\bullet)$ is a decreasing function, then $K(G)\geq 2|V| -2|E|$; if $F(\bullet)$ is an increasing function, then $K(G)\leq 2|V| -2|E|$. Both equalities hold if and only if $d$ is a constant function plus the girth is at least $6$.
In particular, these imply a Gauss-Bonnet theorem for (unweighted) graphs with girth at least $6$, where the graph Ricci curvature is defined geometrically in terms of optimal transport.
The probability of selecting $k$ edge-disjoint Hamilton cycles in the complete graph
Let $H_1,\dots,H_k$ be Hamilton cycles in $K_n$, chosen independently and uniformly at random. We show, for $k = o(n^{1/100})$, that the probability of $H_1,\dots,H_k$ being edge-disjoint is $(1+o(1))e^{-2\binom{k}{2}}$. This extends a corresponding estimate obtained by Robbins in the case $k=2$.
Stieltjes moment sequences for pattern-avoiding permutations
Published in The Electronic Journal of Combinatorics, 2020
• View Publication
• BIB
A small set of combinatorial sequences have coefficients that can be represented as moments of a nonnegative measure on $[0, \infty)$. Such sequences are known as Stieltjes moment sequences. This article focuses on some classical sequences in enumerative combinatorics, denoted $Av(\mathcal{P})$, and counting permutations of $\{1, 2, \ldots, n \}$ that avoid some given pattern $\mathcal{P}$. For increasing patterns $\mathcal{P}=(12\ldots k)$, we recall that the corresponding sequences, $Av(123\ldots k)$, are Stieltjes moment sequences, and we explicitly find the underlying density function, either exactly or numerically, by using the Stieltjes inversion formula as a fundamental tool. We show that the generating functions of the sequences $\, Av(1234)$ and $\, Av(12345)$ correspond, up to simple rational functions, to an order-one linear differential operator acting on a classical modular form given as a pullback of a Gaussian $\, _2F_1$ hypergeometric function, respectively to an order-two linear differential operator acting on the square of a classical modular form given as a pullback of a $\, _2F_1$ hypergeometric function. We demonstrate that the density function for the Stieltjes moment sequence $Av(123\ldots k)$ is closely, but non-trivially, related to the density attached to the distance traveled by a walk in the plane with $k-1$ unit steps in random directions. Finally, we study the challenging case of the $Av(1324)$ sequence and give compelling numerical evidence that this too is a Stieltjes moment sequence. Accepting this, we show how rigorous lower bounds on the growth constant of this sequence can be constructed, which are stronger than existing bounds. A further unproven assumption leads to even better bounds, which can be extrapolated to give an estimate of the (unknown) growth constant.
Computing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models
Published in J. Noncommut. Geom. 16 (2022), no. 4, pp. 1137-1178
• View Publication
• BIB
A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)= \mathrm{Tr} f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x)\to \infty$ as $ |x|\to\infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N \cdot \mathrm{tr}\, F+\textstyle\sum_i \mathrm{tr}\,A_i \cdot \mathrm{tr} \,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $N\times N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i $ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i $ and $B_i $ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.
Clustering and percolation on superpositions of Bernoulli random graphs
Published
• View Publication
• BIB
A simple but powerful network model with $n$ nodes and $m$ partly overlapping layers is generated as an overlay of independent random graphs $G_1,\dots,G_m$ with variable sizes and densities. The model is parameterised by a joint distribution $P_n$ of layer sizes and densities. When $m$ grows linearly and $P_n \to P$ as $n \to \infty$, the model generates sparse random graphs with a rich statistical structure, admitting a nonvanishing clustering coefficient together with a limiting degree distribution and clustering spectrum with tunable power-law exponents. Remarkably, the model admits parameter regimes in which bond percolation exhibits two phase transitions: the first related to the emergence of a giant connected component, and the second to the appearance of gigantic single-layer components.
Convergence of Eulerian triangulations
Published in Electron. J. Probab. 26: 1-48 (2021)
• View Publication
• BIB
We prove that properly rescaled large planar Eulerian triangulations converge to the Brownian map. This result requires more than a standard application of the methods that have been used to obtain the convergence of other families of planar maps to the Brownian map, as the natural distance for Eulerian triangulations is a canonical oriented pseudo-distance. To circumvent this difficulty, we adapt the layer decomposition method established by Curien and Le Gall, which yields asymptotic proportionality between three natural distances on planar Eulerian triangulations: the usual graph distance, the canonical oriented pseudo-distance, and the Riemannian metric. This notably gives the first mathematical proof of a convergence to the Brownian map for maps endowed with their Riemannian metric. Along the way, we also construct new models of infinite random maps, as local limits of large planar Eulerian triangulations.
Large rainbow cliques in randomly perturbed dense graphs
Published
• View Publication
• BIB
For two graphs $G$ and $H$, write $G \stackrel{\mathrm{rbw}}{\longrightarrow} H$ if $G$ has the property that every {\sl proper} colouring of its edges yields a {\sl rainbow} copy of $H$.
We study the thresholds for such so-called {\sl anti-Ramsey} properties in randomly perturbed dense graphs, which are unions of the form $G \cup \mathbb{G}(n,p)$, where $G$ is an $n$-vertex graph with edge-density at least $d$, and $d$ is a constant that does not depend on $n$.
Our results in this paper, combined with our results in a companion paper, determine the threshold for the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} K_s$ for every $s$. In this paper, we show that for $s \geq 9$ the threshold is $n^{-1/m_2(K_{\left\lceil s/2 \right\rceil})}$; in fact, our $1$-statement is a supersaturation result. This turns out to (almost) be the threshold for $s=8$ as well, but for every $4 \leq s \leq 7$, the threshold is lower; see our companion paper for more details.
In this paper, we also consider the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} C_{2\ell - 1}$, and show that the threshold for this property is $n^{-2}$ for every $\ell \geq 2$; in particular, it does not depend on the length of the cycle $C_{2\ell - 1}$. It is worth mentioning that for even cycles, or more generally for any fixed bipartite graph, no random edges are needed at all.
The probability that an operator is nilpotent
Published
• View Publication
• BIB
Choose a random linear operator on a vector space of finite cardinality N: then the probability that it is nilpotent is 1/N. This is a linear analogue of the fact that for a random self-map of a set of cardinality N, the probability that some iterate is constant is 1/N. The first result is due to Fine, Herstein and Hall, and the second is essentially Cayley's tree formula. We give a new proof of the result on nilpotents, analogous to Joyal's beautiful proof of Cayley's formula. It uses only general linear algebra and avoids calculation entirely.
Derandomized compressed sensing with nonuniform guarantees for $\ell_1$ recovery
Published
• View Publication
• BIB
We extend the techniques of Hügel, Rauhut and Strohmer (Found. Comput. Math., 2014) to show that for every $δ\in(0,1]$, there exists an explicit random $m\times N$ partial Fourier matrix $A$ with $m=s\operatorname{polylog}(N/ε)$ and entropy $s^δ\operatorname{polylog}(N/ε)$ such that for every $s$-sparse signal $x\in\mathbb{C}^N$, there exists an event of probability at least $1-ε$ over which $x$ is the unique minimizer of $\|z\|_1$ subject to $Az=Ax$. The bulk of our analysis uses tools from decoupling to estimate the extreme singular values of the submatrix of $A$ whose columns correspond to the support of $x$.
Ramsey theory and topological dynamics for first order theories
We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize them in terms of the appropriate dynamical properties of the theories in question (such as [extreme] amenability of a theory or some properties of the associated Ellis semigroups). Then we relate them to profiniteness and triviality of the Ellis groups of first order theories. In particular, we find various criteria for [pro]finiteness and for triviality of the Ellis group of a given theory from which we obtain wide classes of examples of theories with [pro]finite or trivial Ellis groups. As an initial motivation, we note that profiniteness of the Ellis group of a theory implies that the Kim-Pillay Galois group of this theory is also profinite, which in turn is equivalent to the equality of the Shelah and Kim-Pillay strong types. We also find several concrete examples illustrating the lack of implications between some fundamental properties. In the appendix, we give a full computation of the Ellis group of the theory of the random hypergraph with one binary and one 4-ary relation. This example shows that the assumption of NIP in the version of Newelski's conjecture for amenable theories (proved in [15]) cannot be dropped.
Random Čech complexes on $\mathbb{R}^d$: decrackling the noise with local scalings
We investigate the homology of an unbounded noisy sample on $\mathbb{R}^d$, under various assumptions on the sampling density. This investigation is based on previous results by Adler, Bobrowski, and Weinberger (\cite{crackle}), and Owada and Adler (\cite{topoCrackle}). There, it was found that unbounded noise generally introduces non-vanishing homology, a phenomenon called \textit{topological crackle}, unless the density has superexponential decay on $\mathbb{R}^d$. We show how some well-chosen \textit{non-trivial} variable bandwidth constructions can extend the class of densities where crackle doesn't occur to any light tail density with mild assumptions, what we call \textit{decrackling the noise}.
Distribution of tree parameters by martingale approach
Published
• View Publication
• BIB
For a uniform random labelled tree, we find the limiting distribution of tree parameters which are stable (in some sense) with respect to local perturbations of the tree structure. The proof is based on the martingale central limit theorem and the Aldous--Broder algorithm. In particular, our general result implies the asymptotic normality of the number of occurrences of any given small pattern and the asymptotic log-normality of the number of automorphisms.
On Littlewood-Offord theory for arbitrary distributions
Let $X_1,\ldots,X_n$ be independent identically distributed random vectors in $\mathbb{R}^d$. We consider upper bounds on $\max_x \mathbb{P}(a_1X_1+\cdots+a_nX_n=x)$ under various restrictions on $X_i$ and the weights $a_i$. When $\mathbb{P}(X_i=\pm 1) = \frac {1} {2}$, this corresponds to the classical Littlewood-Offord problem. We prove that in general for identically distributed random vectors and even values of $n$ the optimal choice for $(a_i)$ is $a_i=1$ for $i\leq \frac{n}{2}$ and $a_i=-1$ for $i > \frac {n} 2$, regardless of the distribution of $X_1$. Applying these results for Bernoulli random variables answers a recent question of Fox, Kwan and Sauermann.
Finally, we provide sharp bounds for concentration probabilities of sums of random vectors under the condition $\sup_{x}\mathbb{P}(X_i=x)\leq α$, where it turns out that the worst case scenario is provided by distributions on an arithmetic progression that are in some sense as close to the uniform distribution as possible. An important feature of this work is that unlike much of the literature on the subject we use neither methods of harmonic analysis nor those from extremal combinatorics.