arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
Rainbow Hamiltonicity in uniformly coloured perturbed digraphs
Published in Combinator. Probab. Comp. 33 (2024) 624-642 • View PublicationBIB
We investigate the existence of a rainbow Hamilton cycle in a uniformly edge-coloured randomly perturbed digraph. We show that for every $δ\in (0,1)$ there exists $C = C(δ) > 0$ such that the following holds. Let $D_0$ be an $n$-vertex digraph with minimum semidegree at least $δn$ and suppose that each edge of the union of $D_0$ with the random digraph $D(n, p)$ on the same vertex set gets a colour in $[n]$ independently and uniformly at random. Then, with high probability, $D_0 \cup D(n, p)$ has a rainbow directed Hamilton cycle. This improves a result of Aigner-Horev and Hefetz (2021) who proved the same in the undirected setting when the edges are coloured uniformly in a set of $(1 + \varepsilon)n$ colours.
Factorization number and subgroup commutativity degree via spectral invariants
Published • View PublicationBIB
The factorization number $F_2(G)$ of a finite group $G$ is the number of all possible factorizations of $G=HK$ as product of its subgroups $H$ and $K$, while the subgroup commutativity degree $\mathrm{sd}(G)$ of $G$ is the probability of finding two commuting subgroups in $G$ at random. It is known that $\mathrm{sd}(G)$ can be expressed in terms of $F_2(G)$. Denoting by $\mathrm{L}(G)$ the subgroups lattice of $G$, the non--permutability graph of subgroups $Γ_{\mathrm{L}(G)}$ of $G$ is the graph with vertices in $\mathrm{L}(G) \setminus \mathfrak{C}_{\mathrm{L}(G)}(\mathrm{L}(G))$, where $\mathfrak{C}_{\mathrm{L}(G)}(\mathrm{L}(G))$ is the smallest sublattice of $\mathrm{L}(G)$ containing all permutable subgroups of $G$, and edges obtained by joining two vertices $X,Y$ such that $XY\neq YX$. The spectral properties of $Γ_{\mathrm{L}(G)}$ have been recently investigated in connection with $F_2(G)$ and $\mathrm{sd}(G)$. Here we show a new combinatorial formula, which allows us to express $F_2(G)$, and so $\mathrm{sd}(G)$, in terms of adjacency and Laplacian matrices of $Γ_{\mathrm{L}(G)}$.
Large deviations for the 3D dimer model
In 2000, Cohn, Kenyon and Propp studied uniformly random perfect matchings of large induced subgraphs of $\mathbb Z^2$ (a.k.a. dimer configurations or domino tilings) and developed a large deviation theory for the associated height functions. We establish similar results for large induced subgraphs of $\mathbb Z^3$. To formulate these results, recall that a perfect matching on a bipartite graph induces a flow that sends one unit of current from each even vertex to its odd partner. One can then subtract a "reference flow'' to obtain a divergence-free flow. We show that the flow induced by a uniformly random dimer configuration converges in law (when boundary conditions on a bounded $R \subset \mathbb R^3$ are controlled and the mesh size tends to zero) to the deterministic divergence-free flow $g$ on $R$ that maximizes $$\int_{R} \text{ent}(g(x)) \,dx$$ given the boundary data, where $\text{ent}(s)$ is the maximal specific entropy obtained by an ergodic Gibbs measure with mean current $s$. The function $\text{ent}$ is not known explicitly, but we prove that it is continuous and {\em strictly concave} on the octahedron $\mathcal O$ of possible mean currents (except on the edges of $\mathcal O$) which implies (under reasonable boundary conditions) that the maximizer is uniquely determined. We further establish two versions of a large deviation principle, using the integral above to quantify how exponentially unlikely the discrete random flows are to approximate other deterministic flows. The planar dimer model is mathematically rich and well-studied, but many of the most powerful tools do not seem readily adaptable to higher dimensions. Our analysis begins with a smaller set of tools, which include Hall's matching theorem, the ergodic theorem, non-intersecting-lattice-path formulations, and double-dimer cycle swaps.
Saturation numbers of bipartite graphs in random graphs
For a given graph $F$, the $F$-saturation number of a graph $G$, denoted by $ {sat}(G, F)$, is the minimum number of edges in an edge-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov determined $ {sat}({G}(n, p), K_r)$ asymptotically, where ${G}(n, p) $ denotes the Erdős-Rényi random graph and $ K_r$ is the complete graph on $r$ vertices. In this paper, among other results, we present an asymptotic upper bound on ${sat}({G}(n, p), F)$ for any bipartite graph $F$ and also an asymptotic lower bound on ${sat}({G}(n, p), F)$ for any complete bipartite graph $F$.
2023-04-14
Exact probabilities for three and four dice in the balanced uniform model of 3-sided dice
We determine the exact probabilities of the different isomorphism classes of tournaments that result from random sets of three and four independent dice drawn from the balanced uniform model of 3-sided dice.
2023-04-14 v2
On partial transposes of unitarily invariant random matrices
We compute the limit distribution of partial transposes (when both the number and the size of blocks tends to infinity) for a large class of ensembles of unitarily invariant random matrices. Furthermore, it is shown the asymptotic freeness relation between the ensembles of random matrices, their transposes and their left and right partial transposes.
2023-04-12
Graph Labelings Obtainable by Random Walks
We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that $\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}\binom{n+k}{k}=\binom{2n}{n}2^{-n}\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}$, thus confirming a conjecture of Bala.
Wiener Indices of Minuscule Lattices
The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.
Sampling planar tanglegrams and pairs of disjoint triangulations
A tanglegram consists of two rooted binary trees and a perfect matching between their leaves, and a planar tanglegram is one that admits a layout with no crossings. We show that the problem of generating planar tanglegrams uniformly at random reduces to the corresponding problem for irreducible planar tanglegram layouts, which are known to be in bijection with pairs of disjoint triangulations of a convex polygon. We extend the flip operation on a single triangulation to a flip operation on pairs of disjoint triangulations. Interestingly, the resulting flip graph is both connected and regular, and hence a random walk on this graph converges to the uniform distribution. We also show that the restriction of the flip graph to the pairs with a fixed triangulation in either coordinate is connected, and give diameter bounds that are near optimal. Our results furthermore yield new insight into the flip graph of triangulations of a convex $n$-gon with a geometric interpretation on the associahedron.
2023-04-10
A property on monochromatic copies of graphs containing a triangle
A graph $H$ is called common and respectively, strongly common if the number of monochromatic copies of $H$ in a 2-edge-coloring $φ$ of a large clique is asymptotically minimised by the random coloring with an equal proportion of each color and respectively, by the random coloring with the same proportion of each color as in $φ$. A well-known theorem of Jagger, {\v S}t'ov{\' i}{\v c}ek and Thomason states that every graph containing a $K_4$ is not common. Here we prove an analogous result that every graph containing a $K_3$ and with at least four edges is not strongly common.
2023-04-10
Coloring hypergraphs that are the union of nearly disjoint cliques
We consider the maximum chromatic number of hypergraphs consisting of cliques that have pairwise small intersections. Designs of the appropriate parameters produce optimal constructions, but these are known to exist only when the number of cliques is exponential in the clique size. We construct near designs where the number of cliques is polynomial in the clique size, and show that they have large chromatic number. The case when the cliques have pairwise intersections of size at most one seems particularly challenging. Here we give lower bounds by analyzing a random greedy hypergraph process. We also consider the related question of determining the maximum number of caps in a finite projective/affine plane and obtain nontrivial upper and lower bounds.
2023-04-09 v2
Concentration of Hitting Times in Erdös-Rényi graphs
We consider Erdős-Rényi graphs $G(n,p)$ for $0 < p < 1$ fixed and $n \rightarrow \infty$ and study the expected number of steps, $H_{wv}$, that a random walk started in $w$ needs to first arrive in $v$. A natural guess is that an Erdős-Rényi random graph is so homogeneous that it does not really distinguish between vertices and $H_{wv} = (1+o(1)) n$. Löwe-Terveer established a CLT for the Mean Starting Hitting Time suggesting $H_{w v} = n \pm \mathcal{O}(\sqrt{n})$. We prove the existence of a strong concentration phenomenon: $H_{w v}$ is given, up to a very small error of size $\lesssim \sqrt{\log{n}}/\sqrt{n}$, by an explicit simple formula involving only the total number of edges $|E|$, the degree of $v$ and the distance $d(v,w)$.
2023-04-08 v4
Universality of global asymptotics of Jack-deformed random Young diagrams at varying temperatures
Published in Ann. Probab. 54(1): 421-488, 2026 • View PublicationBIB
This paper establishes universal formulas describing the global asymptotics of two distinct discrete versions of $β$-ensembles in the high, low and fixed temperature regimes. Our results affirmatively answer a question posed by the second author and Śniady. We first introduce a special class of Jack measures on Young diagrams of arbitrary size, called the ``Jack--Thoma measures'', and prove the LLN and CLT in the three aforementioned limit regimes. In each case, we provide explicit formulas for polynomial observables of the limit shape and Gaussian fluctuations around the limit shape. These formulas have surprising positivity properties and are expressed as sums of weighted lattice paths. Second, we show that the previous formulas are universal: they also describe the limit shape and Gaussian fluctuations for the model of random Young diagrams of a fixed size derived from Jack characters with the approximate factorization property. Finally, in stark contrast with continuous $β$-ensembles, we show that the limit shapes at high and low temperatures of our random Young diagrams are one-sided infinite staircase shapes. For the Jack--Plancherel measure, we describe this shape explicitly by relating its local minima with the zeroes of Bessel functions.
2023-04-07 v2
Joint distribution of the cokernels of random $p$-adic matrices II
Published in Forum Math. 36 (2024), no. 4, 1119-1145 • View PublicationBIB
In this paper, we study the combinatorial relations between the cokernels $\text{cok}(A_n+px_iI_n)$ ($1 \le i \le m$) where $A_n$ is an $n \times n$ matrix over the ring of $p$-adic integers $\mathbb{Z}_p$, $I_n$ is the $n \times n$ identity matrix and $x_1, \cdots, x_m$ are elements of $ \mathbb{Z}_p$ whose reductions modulo $p$ are distinct. For a positive integer $m \le 4$ and given $x_1, \cdots, x_m \in \mathbb{Z}_p$, we determine the set of $m$-tuples of finitely generated $\mathbb{Z}_p$-modules $(H_1, \cdots, H_m)$ for which $(\text{cok}(A_n+px_1I_n), \cdots, \text{cok}(A_n+px_mI_n)) = (H_1, \cdots, H_m)$ for some matrix $A_n$. We also prove that if $A_n$ is an $n \times n$ Haar random matrix over $\mathbb{Z}_p$ for each positive integer $n$, then the joint distribution of $\text{cok}(A_n+px_iI_n)$ ($1 \le i \le m$) converges as $n \rightarrow \infty$.
2023-04-07 v2
The completion numbers of Hamiltonicity and pancyclicity in random graphs
Let $μ(G)$ denote the minimum number of edges whose addition to $G$ results in a Hamiltonian graph, and let $\hatμ(G)$ denote the minimum number of edges whose addition to $G$ results in a pancyclic graph. We study the distributions of $μ(G),\hatμ(G)$ in the context of binomial random graphs. Letting $d=d(n) := n\cdot p$, we prove that there exists a function $f:\mathbb{R}^+\to [0,1]$ of order $f(d) = \frac{1}{2}de^{-d}+e^{-d}+O(d^6e^{-3d})$ such that, if $G\sim G(n,p)$ with $20 \le d(n) \le 0.4 \log n$, then with high probability $μ(G)= (1+o(1))\cdot f(d)\cdot n$. Let $n_i(G)$ denote the number of degree $i$ vertices in $G$. A trivial lower bound on $μ(G)$ is given by the expression $n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. In the denser regime of random graphs, we show that if $np-\frac{1}{3}\log n - 2\log \log n \to \infty$ and $G\sim G(n,p)$ then, with high probability, $μ(G) = n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. For completion to pancyclicity, we show that if $G\sim G(n,p)$ and $np\ge 20$ then, with high probability, $\hatμ (G)=μ(G)$. Finally, we present a polynomial time algorithm such that, if $G\sim G(n,p)$ and $np\ge 20$, then, with high probability, the algorithm returns a set of edges of size $μ(G)$ whose addition to $G$ results in a pancyclic (and therefore also Hamiltonian) graph.
2023-04-06 v3
On the threshold for Szemerédi's theorem with random differences
Published in Electronic Journal of Combinatorics 31(4) (2024) • View PublicationBIB
Using recent developments on the theory of locally decodable codes, we prove that the critical size for Szemerédi's theorem with random differences is bounded from above by $N^{1-\frac{2}{k} + o(1)}$ for length-$k$ progressions. This gives polynomial improvements over the previous best bounds for all odd $k$.
2023-04-05 v2
On the average hitting times of Cay($Z_N,\{+1,+2\}$)
The exact formula for the average hitting time (HT, as an abbreviation) of simple random walks on Cay($Z_N,\{\pm1,\pm2\}$) was given by Y. Doi et al. [Discrete Applied Mathematics,313 (2022) 18-28]. Y. Doi et al. give a simple formula for the HT's of simple random walks on Cay($Z_N,\{\pm1,\pm2\}$) by using an elementary method. In this paper, using an elementary method also used by Y. Doi et al. [3], we give a simple formula for HT's of simple random walks on Cay($Z_N,\{+1,+2\}$).
Higher genus meanders and Masur-Veech volumes
A meander can be seen as a pair of transversally intersecting simple closed curves on a 2-sphere. We consider pairs of transversally intersecting simple closed curves on a closed oriented surface of arbitrary genus g. The number of such higher genus meanders admits exponential upper and lower bounds as the number of intersections grows. Fixing the number n of bigons in the complement to the union of the two curves, we compute the precise asymptotics of genus g meanders with at most 2N intersections and show that this asymptotics is polynomial in N as N tends to infinity. We obtain a similar result for the number of positively intersecting pairs of oriented simple closed curves on a surface of genus g. We also compute the asymptotic probability of getting a meander from a random braid on a surface of genus g-1 with two boundary components. In order to effectively count meanders we identify them with integer points represented by certain square-tiled surfaces in the moduli spaces of Abelian and quadratic differentials and make use of recent advances in the geometry of these moduli spaces combined with asymptotic properties of Witten-Kontsevich 2-correlators on moduli spaces of complex curves.
The $S_k$ shuffle block dynamics
Published • View PublicationBIB
We introduce and analyze the $S_k$ shuffle on $N$ cards, a natural generalization of the celebrated random adjacent transposition shuffle. In the $S_k$ shuffle, we choose uniformly at random a block of $k$ consecutive cards, and shuffle these cards according to a permutation chosen uniformly at random from the symmetric group on $k$ elements. We study the total-variation mixing time of the $S_k$ shuffle when the number of cards $N$ goes to infinity, allowing also $k=k(N)$ to grow with $N$. In particular, we show that the cutoff phenomenon occurs when $k=o(N^{\frac{1}{6}})$.
2023-04-04 v3
Coboundary and cosystolic expansion without dependence on dimension or degree
We give new bounds on the cosystolic expansion constants of several families of high dimensional expanders, and the known coboundary expansion constants of order complexes of homogeneous geometric lattices, including the spherical building of $SL_n(F_q)$. The improvement applies to the high dimensional expanders constructed by Lubotzky, Samuels and Vishne, and by Kaufman and Oppenheim. Our new expansion constants do not depend on the degree of the complex nor on its dimension, nor on the group of coefficients. This implies improved bounds on Gromov's topological overlap constant, and on Dinur and Meshulam's cover stability, which may have applications for agreement testing. In comparison, existing bounds decay exponentially with the ambient dimension (for spherical buildings) and in addition decay linearly with the degree (for all known bounded-degree high dimensional expanders). Our results are based on several new techniques: * We develop a new "color-restriction" technique which enables proving dimension-free expansion by restricting a multi-partite complex to small random subsets of its color classes. * We give a new "spectral" proof for Evra and Kaufman's local-to-global theorem, deriving better bounds and getting rid of the dependence on the degree. This theorem bounds the cosystolic expansion of a complex using coboundary expansion and spectral expansion of the links. * We derive absolute bounds on the coboundary expansion of the spherical building (and any order complex of a homogeneous geometric lattice) by constructing a novel family of very short cones.