arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2015-12-06
Twisted patterns in large subsets of $\mathbb{Z}^N$
Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $Γ< \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a Zariski connected semisimple group with no compact factors. Let $Y$ be any set and suppose that $Ψ: \mathbb{Z}^N \rightarrow Y$ is a $Γ$-invariant function. We prove that for every positive integer $m$, there exists a positive integer $k$ with the property that for every finite set $F \subset \mathbb{Z}^N$ with $|F| = m$, we have \[ Ψ(kF) \subset Ψ(E-b) \quad \textrm{for some $b \in E$}. \] Furthermore, if $E$ is an aperiodic Bohr$_o$-set, we can choose $k = 1$ and $b = 0$. As one of many applications of this result, we show that if $E_o \subset \mathbb{Z}$ has positive upper Banach density, then, for any integer $m$, there exists an integer $k$ with the property for \emph{every} finite set $F \subset \mathbb{Z}$, we can find $x,y,z \in E_o$ such that \[ k^2 F \subset \big\{ (u-x)^2 + (v-y)^2 - (w-z)^2 \, : \, u,v,w \in E_o \big\}. \] In particular, if $E_o \subset \mathbb{Z}$ is an aperiodic Bohr$_o$-set, then every integer can be written on the form $u^2 + v^2 - w^2$ for some $u,v,w \in E_o$. Our techniques use recent results by Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori.
2015-12-04
Random Tensor models: Combinatorics, Geometry, Quantum Gravity and Integrability
In this thesis manuscript we explore different facets of random tensor models. These models have been introduced to mimic the incredible successes of random matrix models in physics, mathematics and combinatorics. After giving a very short introduction to few aspects of random matrix models and recalling a physical motivation called Group Field Theory, we start exploring the world of random tensor models and its relation to geometry, quantum gravity and combinatorics. We first define these models in a natural way and discuss their geometry and combinatorics. After these first explorations we start generalizing random matrix methods to random tensors in order to describes the mathematical and physical properties of random tensor models, at least in some specific cases.
2015-12-03 v2
The shape of random tanglegrams
Published • View PublicationBIB
A tanglegram consists of two binary rooted trees with the same number of leaves and a perfect matching between the leaves of the trees. We show that the two halves of a random tanglegram essentially look like two independently chosen random plane binary trees. This fact is used to derive a number of results on the shape of random tanglegrams, including theorems on the number of cherries and generally occurrences of subtrees, the root branches, the number of automorphisms, and the height. For each of these, we obtain limiting probabilities or distributions. Finally, we investigate the number of matched cherries, for which the limiting distribution is identified as well.
2015-12-01
The Asymptotic Distribution of Symbols on Diagonals of Random Weighted Staircase Tableaux
Published • View PublicationBIB
Staircase tableaux are combinatorial objects that were first introduced due to a connection with the asymmetric simple exclusion process (ASEP) and Askey-Wilson polynomials. Since their introduction, staircase tableaux have been the object of study in many recent papers. Relevant to this paper, the distri- bution of parameters on the first diagonal was proven to be asymptotically normal. In that same paper, a conjecture was made that the other diagonals would be asymptotically Poisson. Since then, only the second and the third diagonal were proven to follow the conjecture. This paper builds upon those results to prove the conjecture for fixed k. In particular, we prove that the distribution of the number of alphas (betas) on the kth diagonal, k > 1, is asymptotically Poisson with parameter 1\2. In addition, we prove that symbols on the kth diagonal are asymptotically independent and thus, collectively follow the Poisson distribution with parameter 1.
2015-12-01 v2
Decomposing almost complete graphs by random trees
An old conjecture of Ringel states that every tree with $m$ edges decomposes the complete graph $K_{2m+1}$. The best known lower bound for the order of a complete graph which admits a decomposition by every given tree with $m$ edges is $O(m^3)$. We show that asymptotically almost surely a random tree with $m$ edges and $p=2m+1$ a prime decomposes $K_{2m+1}(r)$ for every $r\ge 2$, the graph obtained from the complete graph $K_{2m+1}$ by replacing each vertex by a coclique of order $r$. Based on this result we show, among other results, that a random tree with $m+1$ edges a.a.s. decomposes the compete graph $K_{6m+5}$ minus one edge.
2015-11-30 v2
Diameter of Ramanujan Graphs and Random Cayley Graphs
Published • View PublicationBIB
We study the diameter of LPS Ramanujan graphs $X_{p,q}$. We show that the diameter of the bipartite Ramanujan graphs is greater than $ (4/3)\log_{p}(n) +O(1)$ where $n$ is the number of vertices of $X_{p,q}$. We also construct an infinite family of $(p+1)$-regular LPS Ramanujan graphs $X_{p,m}$ such that the diameter of these graphs is greater than or equal to $ \lfloor (4/3)\log_{p}(n) \rfloor$. On the other hand, for any $k$-regular Ramanujan graph we show that the distance of only a tiny fraction of all pairs of vertices is greater than $(1+ε)\log_{k-1}(n)$. We also have some numerical experiments for LPS Ramanujan graphs and random Cayley graphs which suggest that the diameters are asymptotically $(4/3)\log_{k-1}(n)$ and $\log_{k-1}(n)$, respectively.
2015-11-30 v3
The Writhe of Permutations and Random Framed Knots
Published in Random Struct. Alg. 2016. 51: 121-142 • View PublicationBIB
We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution. This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.
2015-11-26 v3
Typical sumsets of linear codes
Published • View PublicationBIB
Given two identical linear codes $\mathcal C$ over $\mathbb F_q$ of length $n$, we independently pick one codeword from each codebook uniformly at random. A $\textit{sumset}$ is formed by adding these two codewords entry-wise as integer vectors and a sumset is called $\textit{typical}$, if the sum falls inside this set with high probability. We ask the question: how large is the typical sumset for most codes? In this paper we characterize the asymptotic size of such typical sumset. We show that when the rate $R$ of the linear code is below a certain threshold $D$, the typical sumset size is roughly $|\mathcal C|^2=2^{2nR}$ for most codes while when $R$ is above this threshold, most codes have a typical sumset whose size is roughly $|\mathcal C|\cdot 2^{nD}=2^{n(R+D)}$ due to the linear structure of the codes. The threshold $D$ depends solely on the alphabet size $q$ and takes value in $[1/2, \log \sqrt{e})$. More generally, we completely characterize the asymptotic size of typical sumsets of two nested linear codes $\mathcal C_1, \mathcal C_2$ with different rates. As an application of the result, we study the communication problem where the integer sum of two codewords is to be decoded through a general two-user multiple-access channel.
Almost All Regular Graphs are Normal
Published • View PublicationBIB
In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs of bounded maximum degree and sufficiently large odd girth (linear in the maximum degree) are normal. This implies that for every fixed $d$, random $d$-regular graphs are a.a.s. normal.
2015-11-24
On the maximum number of spanning copies of an orientation in a tournament
Published • View PublicationBIB
For an orientation $H$ with $n$ vertices, let $T(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex tournament. It is easily seen that $T(H) \ge n!/2^{e(H)}$ as the latter is the expected number of such copies in a random tournament. For $n$ odd, let $R(H)$ denote the maximum possible number of labeled copies of $H$ in an $n$-vertex regular tournament. Adler et al. proved that, in fact, for $H=C_n$ the directed Hamilton cycle, $T(C_n) \ge (e-o(1))n!/2^{n}$ and it was observed by Alon that already $R(C_n) \ge (e-o(1))n!/2^{n}$. Similar results hold for the directed Hamilton path $P_n$. In other words, for the Hamilton path and cycle, the lower bound derived from the expectation argument can be improved by a constant factor. In this paper we significantly extend these results and prove that they hold for a larger family of orientations $H$ which includes all bounded degree Eulerian orientations and all bounded degree balanced orientations, as well as many others. One corollary of our method is that for any $k$-regular orientation $H$ with $n$ vertices, $T(H) \ge (e^k-o(1))n!/2^{e(H)}$ and in fact, for $n$ odd, $R(H) \ge (e^k-o(1))n!/2^{e(H)}$.
2-Xor revisited: satisfiability and probabilities of functions
Published • View PublicationBIB
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a description of 2-Xor expressions as multigraphs and use classical methods of analytic combinatorics by expressing probabilities through coefficients of generating functions.
2015-11-24 v3
Random cyclic dynamical systems
Published in Advances in Applied Mathematics 83 (2017), 1-23 • View PublicationBIB
For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic points of f_r tends to 0 if r is irrational and to 1/q if r = p/q is rational with p and q coprime. These results are obtained via more refined statistics of f_r which we compute explicitly in terms of (generalized) Catalan numbers. The motivation for studying f_r comes from Vietoris-Rips complexes, a geometric construction used in computational topology. Our results determine how much one can expect to simplify the Vietoris-Rips complex of a random sample of the circle by removing dominated vertices.
2015-11-23
On the total $(k,r)$-domination number of random graphs
A subset $S$ of a vertex set of a graph $G$ is a total $(k,r)$-dominating set if every vertex $u \in V(G)$ is within distance $k$ of at least $r$ vertices in $S$. The minimum cardinality among all total $(k,r)$-dominating sets of $G$ is called the total $(k,r)$-domination number of $G$, denoted by $γ^{t}_{(k,r)}(G)$. We previously gave an upper bound on $γ^{t}_{(2,r)}(G(n,p))$ in random graphs with non-fixed $p \in (0,1)$. In this paper we generalize this result to give an upper bound on $γ^{t}_{(k,r)}(G(n,p))$ in random graphs with non-fixed $p \in (0,1)$ for $k\geq 3$ as well as present an upper bound on $γ^{t}_{(k,r)}(G)$ in graphs with large girth.
2015-11-19
Enumeration and Random Generation of Unlabeled Classes of Graphs: A Practical Study of Cycle Pointing and the Dissymmetry Theorem
Our work studies the enumeration and random generation of unlabeled combinatorial classes of unrooted graphs. While the technique of vertex pointing provides a straightforward procedure for analyzing a labeled class of unrooted graphs by first studying its rooted counterpart, the existence of nontrivial symmetries in the unlabeled case causes this technique to break down. Instead, techniques such as the dissymmetry theorem (of Otter) and cycle pointing (of Bodirsky et al.) have emerged in the unlabeled case, with the former providing an enumeration of the class and the latter providing both an enumeration and an unbiased sampler. In this work, we extend the power of the dissymmetry theorem by showing that it in fact provides a Boltzmann sampler for the class in question. We then present an exposition of the cycle pointing technique, with a focus on the enumeration and random generation of the underlying unpointed class. Finally, we apply cycle pointing to enumerate and implement samplers for the classes of distance-hereditary graphs and three-leaf power graphs.
2015-11-18 v2
Infinite excursions of rotor walks on regular trees
Published in The Electronic Journal of Combinatorics, Volume 24, Issue 2 (2017), Paper #P2.18 • Search Publication
A rotor configuration on a graph contains in every vertex an infinite ordered sequence of rotors, each is pointing to a neighbor of the vertex. After sampling a configuration according to some probability measure, a rotor walk is a deterministic process: at each step it chooses the next unused rotor in its current location, and uses it to jump to the neighboring vertex to which it points. Rotor walks capture many aspects of the expected behavior of simple random walks. However, this similarity breaks down for the property of having an infinite excursion. In this paper we study that question for natural random configuration models on regular trees. Our results suggest that in this context the rotor model behaves like the simple random walk unless it is not "close to" the standard rotor-router model.
2015-11-17 v7
Tight Asymptotic of Probability of singularity of n x n Random Matrix with Uniform Distributed \pm 1 Entries
We prove the conjecture about the probability that Pn of Bernulli +- 1 square matrix to be singular and asymptotic expansion of Pn.
2015-11-16 v2
Loop-Erased Random Surfaces
Loop-erased random walk and it's scaling limit, Schramm--Loewner evolution, have found numerous applications in mathematics and physics. We present a 2 dimensional analogue of LERW, the loop erased random surface. We do this by defining a 2 dimensional spanning tree and declaring that LERS should have the same relation to these 2 trees as LERW has to ordinary spanning trees. Furthermore we present numerical evidence that the growth rate for LERS on a $δ$ fine grid as $δ\to 0$ is $2.5269 \pm 0.0017$ and we hypothesize that it has an exact value of 48/19. This suggests the possibility of a fractal limiting object for LERS analogous to SLE for LERW.
2015-11-15 v2
Counting dense connected hypergraphs via the probabilistic method
Published in Random Structures and Algorithms 53 (2018), 185--220 • View PublicationBIB
In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]=\{1,2,\ldots,n\}$ with $m$ edges, whenever $n\to\infty$ and $n-1\le m=m(n)\le \binom{n}{2}$. We give an asymptotic formula for the number $C_r(n,m)$ of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges, whenever $r\ge 3$ is fixed and $m=m(n)$ with $m/n\to\infty$, i.e., the average degree tends to infinity. This complements recent results of Behrisch, Coja-Oghlan and Kang (the case $m=n/(r-1)+Θ(n)$) and the present authors (the case $m=n/(r-1)+o(n)$, i.e., `nullity' or `excess' $o(n)$). The proof is based on probabilistic methods, and in particular on a bivariate local limit theorem for the number of vertices and edges in the largest component of a certain random hypergraph. The arguments are much simpler than in the sparse case; in particular, we can use `smoothing' techniques to directly prove the local limit theorem, without needing to first prove a central limit theorem.
Mod-$φ$ convergence: Approximation of discrete measures and harmonic analysis on the torus
Published in Annales de l'Institut Fourier, Volume 70 (2020) no. 3, pp. 1115-1197 • View PublicationBIB
In this paper, we relate the framework of mod-$φ$ convergence to the construction of approximation schemes for lattice-distributed random variables. The point of view taken here is that of Fourier analysis in the Wiener algebra, allowing the computation of asymptotic equivalents in the local, Kolmogorov and total variation distances. By using signed measures instead of probability measures, we are able to construct better approximations of discrete lattice distributions than the standard Poisson approximation. This theory applies to various examples arising from combinatorics and number theory: number of cycles in (possibly coloured) permutations, number of prime divisors (possibly within different residue classes) of a random integer, number of irreducible factors of a random polynomial, etc. One advantage of the approach developed in this paper is that it allows us to deal with approximations in higher dimensions as well. In this setting, we can explicitly see the influence of the correlations between the components of the random vectors in our asymptotic formulas.
2015-11-06 v2
The core in random hypergraphs and local weak convergence
The degree of a vertex in a hypergraph is defined as the number of edges incident to it. In this paper we study the $k$-core, defined as the maximal induced subhypergraph of minimum degree $k$, of the random $r$-uniform hypergraph $H_r(n,p)$ for $r\geq 3$. We consider the case $k\geq 2$ and $p=d/n^{r-1}$ for which every vertex has fixed average degree $d>0$. We derive a multi-type branching process that describes the local structure of the $k$-core together with the mantle, i.e. the vertices outside the core.