arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2025-05-18
Elementary symmetric polynomials under the fixed point measure
We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collection of $n$ non-negative real numbers $a_1, \dots, a_n \in \mathbb{R}_{\geq 0}$, we prove that \[ \frac{1}{n!} \sum_{π\in S_n} \left[\prod_{\{i:i=π(i)\}} a_i\right] \ge \frac{1}{\binom{n}{2}} \sum_{S \in\binom{[n]}{2}} \left[ \left(\prod_{\{i \in S\}} a_i \right)^{1/2}\right], \] and this bound is sharp. To prove this elementary inequality, we construct a collection of differential operators to set up a monotone flow that then allows us to establish the inequality.
2025-05-17 v2
Extending Pólya's random walker beyond probability I. Complex weights
Working in combinatorial model $\mathrm{W_{co}}(d)$, $d=1,2,\dots$, of Pólya's random walker in $\mathbb{Z}^d$, we prove two theorems on recurrence to a vertex. We obtain an effective version of the first theorem if $d=2$. Using a semi-formal approach to generating functions, we extend both theorems beyond probability to a more general model $\mathrm{W_{\mathbb{C}}}$ with complex weights. We relate models $\mathrm{W_{co}}(d)$ to standard models $\mathrm{W_{Ma}}(d)$ based on Markov chains. The follow-up article will treat non-Archimedean models $\mathrm{W_{fo}}(k)$ in which weights are formal power series in $\mathbb{C}[[x_1,x_2,\dots,x_k]]$.
2025-05-16 v2
A central limit theorem for a generalization of the Ewens measure to random tuples of commuting permutations
We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.
2025-05-16 v2
Distribution of the cokernels of determinantal row-sparse matrices
We study the distribution of the cokernels of random row-sparse integral matrices $A_n$ according to the determinantal measure from a structured matrix $B_n$ with a parameter $k_n \ge 3$. Under a mild assumption on the growth rate of $k_n$, we prove that the distribution of the $p$-Sylow subgroup of the cokernel of $A_n$ converges to that of Cohen--Lenstra for every prime $p$. Our result extends the work of A. Mészáros which established convergence to the Cohen--Lenstra distribution when $p \ge 5$ and $k_n=3$ for all positive integers $n$.
2025-05-14
On Alternating 6-Cycles in Edge-Coloured Graphs
In this short note, we use flag algebras to prove that the number of colour alternating 6-cycles in a red/blue colouring of a large clique is asymptotically maximized by a uniformly random colouring. This settles the first open case of a problem of Basit, Granet, Horsley, Kündgen and Staden.
2025-05-09
On Unique Neighborhoods in Bipartite and Expander Graphs
An undirected graph is said to have \emph{unique neighborhoods} if any two distinct nodes have also distinct sets of neighbors. In this way, the connections of a node to other nodes can characterize a node like an "identity", irrespectively of how nodes are named, as long as two nodes are distinguishable. We study the uniqueness of neighborhoods in (random) bipartite graphs, and expander graphs.
Constructing All Birthday 3 Games as Digraphs
Recently, Clow and McKay proved that the Digraph Placement ruleset is universal for normal play: for all normal play combinatorial games $X$, there is a Digraph Placement game $G$ with $G=X$. Clow and McKay also showed that the 22 game values born by day 2 correspond to Digraph Placement games with at most 4 vertices. This bound is best possible. We extend this work using a combination of exhaustive and random searches to demonstrate all 1474 values born by day 3 correspond to Digraph Placement games on at most 8 vertices. We provide a combinatorial proof that this bound is best possible. We conclude by giving improved bounds on the number of vertices required to construct all game values born by days 4 and 5.
2025-05-08 v2
On increasing sequences formed by points from a random finite subset of a hypercube
Consider $S$, a set of $n$ points chosen uniformly at random and independently from the unit hypercube of dimension $t>2$. Order $S$ by using the Cartesian product of the $t$ standard orders of $[0,1]$. We determine a constant $\bar x(t)<e$ such that, with probability $\ge 1-\exp(-Θ(\eps)n^{1/t})$, cardinality of a largest subset of comparable points is at most $(\bar x(t)+\eps)n^{1/t}$. The bound $\bar x(t)$ complements an explicit lower bound obtained by Bollobás and Winkler in 1982. Furthermore, we use Dilworth's theorem on partitions of a set into chains to prove that the cardinality of a largest antichain, i. e. a largest subset of incomparable points, is at least $(1-\eps) (n/e)^{1-1/t}$ with probability exponentially close to $1$.
Universality for transversal Hamilton cycles in random graphs
A tuple $(G_1,\dots,G_n)$ of graphs on the same vertex set of size $n$ is said to be Hamilton-universal if for every map $χ: [n]\to[n]$ there exists a Hamilton cycle whose $i$-th edge comes from $G_{χ(i)}$. Bowtell, Morris, Pehova and Staden proved an analog of Dirac's theorem in this setting, namely that if $δ(G_i)\geq (1/2+o(1))n$ then $(G_1,\dots,G_n)$ is Hamilton-universal. Combining McDiarmid's coupling and a colorful version of the Friedman-Pippenger tree embedding technique, we establish a similar result in the setting of sparse random graphs, showing that there exists $C$ such that if the $G_i$ are independent random graphs sampled from $G(n,p)$, where $p\geq C\log n/n$, then $(G_1,\dots,G_n)$ is Hamilton-universal with high probability.
2025-05-08 v2
Characterisation of Markov property on planar maps
We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance, showing that they are Boltzmann-type maps. Second, we provide a comprehensive characterization of random submaps, that we call stopping maps, satisfying the Markov property, demonstrating that they are not restricted to those obtained through a peeling procedure. Third, we introduce decorated metric planar maps in which edges are replaced by copies of random length intervals $[0,w_e]$, and the decorations are given by continuous functions on the edges. We define a probability measure on them that is the analogue of the Boltzmann map and show that it satisfies the Markov property even for sets that halt exploration mid-edge.
Nearly spanning cycle in the percolated hypercube
Let $Q^d$ be the $d$-dimensional binary hypercube. We form a random subgraph $Q^d_p\subseteq Q^d$ by retaining each edge of $Q^d$ independently with probability $p$. We show that, for every constant $\varepsilon>0$, there exists a constant $C=C(\varepsilon)>0$ such that, if $p\ge C/d$, then with high probability $Q^d_p$ contains a cycle of length at least $(1-\varepsilon)2^d$. This confirms a long-standing folklore conjecture, stated in particular by Condon, Espuny Díaz, Girão, Kühn, and Osthus [Hamiltonicity of random subgraphs of the hypercube, Mem. Amer. Math. Soc. 305 (2024), No. 1534].
Weighted Random Dot Product Graphs
Modeling of intricate relational patterns has become a cornerstone of contemporary statistical research and related data science fields. Networks, represented as graphs, offer a natural framework for this analysis. This paper extends the Random Dot Product Graph (RDPG) model to accommodate weighted graphs, markedly broadening the model's scope to scenarios where edges exhibit heterogeneous weight distributions. We propose a nonparametric weighted (W)RDPG model that assigns a sequence of latent positions to each node. Inner products of these nodal vectors specify the moments of their incident edge weights' distribution via moment-generating functions. In this way, and unlike prior art, the WRDPG can discriminate between weight distributions that share the same mean but differ in other higher-order moments. We derive statistical guarantees for an estimator of the nodal's latent positions adapted from the workhorse adjacency spectral embedding, establishing its consistency and asymptotic normality. We also contribute a generative framework that enables sampling of graphs that adhere to a (prescribed or data-fitted) WRDPG, facilitating, e.g., the analysis and testing of observed graph metrics using judicious reference distributions. The paper is organized to formalize the model's definition, the estimation (or nodal embedding) process and its guarantees, as well as the methodologies for generating weighted graphs, all complemented by illustrative and reproducible examples showcasing the WRDPG's effectiveness in various network analytic applications.
On the distribution of topological and spectral indices on random graphs
We perform a detailed statistical study of the distribution of topological and spectral indices on random graphs $G=(V,E)$ in a wide range of connectivity regimes. First, we consider degree-based topological indices (TIs), and focus on two classes of them: $X_Σ(G) = \sum_{uv \in E} f(d_u,d_v)$ and $X_Π(G) = \prod_{uv \in E} g(d_u,d_v)$, where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $f(x,y)$ and $g(x,y)$ are functions of the vertex degrees. Specifically, we apply $X_Σ(G)$ and $X_Π(G)$ on Erdös-Rényi graphs and random geometric graphs along the full transition from almost isolated vertices to mostly connected graphs. While we verify that $P(X_Σ(G))$ converges to a standard normal distribution, we show that $P( X_Π(G))$ converges to a log-normal distribution. In addition we also analyze Revan-degree-based indices and spectral indices (those defined from the eigenvalues and eigenvectors of the graph adjacency matrix). Indeed, for Revan-degree indices, we obtain results equivalent to those for standard degree-based TIs. Instead, for spectral indices, we report two distinct patterns: the distribution of indices defined only from eigenvalues approaches a normal distribution, while the distribution of those indices involving both eigenvalues and eigenvectors approaches a log-normal distribution.
2025-05-05
On the Spectral Expansion of Monotone Subsets of the Hypercube
We study the spectral gap of subgraphs of the hypercube induced by monotone subsets of vertices. For a monotone subset $A\subseteq\{0,1\}^{n}$ of density $μ(A)$, the previous best lower bound on the spectral gap, due to Cohen, was $γ\gtrsim μ(A)/n^{2}$, improving upon the earlier bound $γ\gtrsim μ(A)^{2}/n^{2}$ established by Ding and Mossel. In this paper, we prove the optimal lower bound $γ\gtrsim μ(A)/n$. As a corollary, we improve the mixing time upper bound of the random walk on constant-density monotone sets from $O(n^{3})$, as shown by Ding and Mossel, to $O(n^{2})$. Along the way, we develop two new inequalities that may be of independent interest: (1)~a directed $L^{2}$-Poincaré inequality on the hypercube, and (2)~an ``approximate'' FKG inequality for monotone sets.
2025-05-04
The inversion statistic in derangements and in other permutations with a prescribed number of fixed points
We study how the inversion statistic is influenced by fixed points in a permutation. %The expected number of inversions in a uniformly random permutation in $S_n$ is $\frac{n(n-1)}4$. For each $n\in\mathbb{N}$, and each $k\in\{0,1,\cdots, n\}$, let $P_n^{(k)}$ denote the uniform probability measure on the set of permutations in $S_n$ with exactly $k$ fixed points. We obtain an exact formula for the expected number of inversions under the measure $P_n^{(k)}$ as well as for $P_n^{(k)}(σ^{-1}_i<σ^{-1}_j)$, for $1\le i<j\le n$, the $P_n^{(k)}$-probability that the number $i$ precedes the number $j$. In particular, up to a super-exponentially small correction as $n\to\infty$, the expected number of inversions in a random derangement $(k=0)$ is $\frac16n+\frac1{12}$ more than the value $\frac{n(n-1)}4$ that one obtains for a uniformly random general permutation in $S_n$. On the other hand, up to a super-exponentially small correction, for $k\ge2$, the expected number of inversions in a random permutation with $k$ fixed points is $\frac{k-1}6n+\frac{k^2-k-1}{12}$ less than $\frac{n(n-1)}4$. In the borderline case, $k=1$, up to a super-exponentially small correction, the expected number of inversions in a random permutation with one fixed point is $\frac1{12}$ more than $\frac{n(n-1)}4$. The proofs make strategic and perhaps novel use of the Chinese restaurant construction for a uniformly random permutation.
2025-05-02 v2
Combinatorics of Even-Valent Graphs on Riemann Surfaces
Using connections to random matrix theory and orthogonal polynomials, we develop a framework for obtaining explicit closed-form formulae for the number, $\mathscr{N}_{g}(2ν,j)$, of connected $2ν$-valent labeled graphs with $j$ vertices that can be embedded on a compact Riemann surface of minimal genus $g$. We also derive formulae for their two-legged counterparts $\mathcal{N}_{g}(2ν,j)$. Our method recovers the known explicit results for graphs embedded on the plane and the torus, and extends them to all genera $g \geq 2$. In earlier work, Ercolani, Lega, and Tippings (2023) showed that $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ admit structural expressions as linear combinations of, respectively, $3g-2$ and $3g$ Gauss hypergeometric functions ${}_2F_1$, but with coefficients left undetermined. The framework developed here provides a systematic procedure to compute these coefficients, thereby turning the structural expressions into fully explicit formulae for $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ as functions of both $j$ and $ν$. Detailed results are given for $g=2,3,$ and $4$, and the framework extends naturally to all $g \geq 5$ with increasing computational effort. This closes the fixed genus combinatorics for even-valent graphs.
2025-04-30
The Metric Dimension of Sparse Random Graphs
In 2013, Bollobás, Mitsche, and Pralat at gave upper and lower bounds for the likely metric dimension of random Erdős-Rényi graphs $G(n,p)$ for a large range of expected degrees $d=pn$. However, their results only apply when $d \ge \log^5 n$, leaving open sparser random graphs with $d < \log^5 n$. Here we provide upper and lower bounds on the likely metric dimension of $G(n,p)$ from just above the connectivity transition, i.e., where $d=pn=c \log n$ for some $c > 1$, up to $d=\log^5 n$. Our lower bound technique is based on an entropic argument which is more general than the use of Suen's inequality by Bollobás, Mitsche, and Pralat, whereas our upper bound is similar to theirs.
Path Extendable Tournaments
A digraph $D$ is called \emph{path extendable} if for every nonhamiltonian (directed) path $P$ in $D$, there exists another path $P^\prime$ with the same initial and terminal vertices as $P$, and $V(P^\prime) = V (P)\cup \{w\}$ for a vertex $w \in V(D)\setminus V(P)$. Hence, path extendability implies paths of continuous lengths between every vertex pair. In earlier works of C. Thomassen and K. Zhang, it was shown that the condition of small $i(T)$ or positive $π_2(T)$ implies paths of continuous lengths between every vertex pair in a tournament $T$, where $i(T)$ is the irregularity of $T$ and $π_2(T)$ denotes for the minimum number of paths of length $2$ from $u$ to $v$ among all vertex pairs $\{u,v\}$. Motivated by these results, we study sufficient conditions in terms of $i(T)$ and $π_2(T)$ that guarantee a tournament $T$ is path extendable. We prove that (1) a tournament $T$ is path extendable if $i(T)< 2π_2(T)-(|T|+8)/6$, and (2) a tournament $T$ is path extendable if $π_2(T) > (7|T|-10)/36$. As an application, we deduce that almost all random tournaments are path extendable.
2025-04-30
Asymptotic diameter of preferential attachment model
We study the asymptotic diameter of the preferential attachment model $\operatorname{PA}\!_n^{(m,δ)}$ with parameters $m \ge 2$ and $δ> 0$. Building on the recent work \cite{VZ25}, we prove that the diameter of $G_n \sim \operatorname{PA}\!_n^{(m,δ)}$ is $(1+o(1))\log_νn$ with high probability, where $ν$ is the exponential growth rate of the local weak limit of $G_n$. Our result confirms the conjecture in \cite{VZ25} and closes the remaining gap in understanding the asymptotic diameter of preferential attachment graphs with general parameters $m \ge 1$ and $δ>-m$. Our proof follows a general recipe that relates the diameter of a random graph to its typical distance, which we expect to have applicability in a broader range of models.
2025-04-29 v2
Unimodality of the number of paths per length on polytopes: Examples, counter-examples, and central limit theorem
To solve a linear program, the simplex method follows a path in the graph of a polytope, on which a linear function increases. The length of this path is an key measure of the complexity of the simplex method. Numerous previous articles focused on the longest paths, or, following Borgwardt, computed the average length of a path for certain random polytopes. We detail more precisely how this length is distributed, i.e., how many paths of each length there are. It was conjectured by De Loera that the number of paths counted according to their length forms a unimodal sequence. We give examples (old and new) for which this holds; but we disprove this conjecture by constructing counterexamples for several classes of polytopes. However, De Loera is "statistically correct": We prove that the length of coherent paths on a random polytope (with vertices chosen uniformly on a sphere) admits a central limit theorem.