arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2025-03-12 v2
Star decompositions and independent sets in random regular graphs
A $k$-star decomposition of a graph is a partition of its edges into $k$-stars (i.e., $k$ edges with a common vertex). The paper studies the following problem: for what values of $k>d/2$ does the random $d$-regular graph have a $k$-star decomposition (asymptotically almost surely, provided that the number of edges is divisible by $k$)? Delcourt, Greenhill, Isaev, Lidický, and Postle proposed the following conjecture. It is easy to see that a $k$-star decomposition necessitates the existence of an independent set of density $1-d/(2k)$. So let $k^{\mathrm{ind}}_d$ be the largest $k$ for which the random $d$-regular graph a.a.s. contains an independent set of this density. Clearly, $k$-star decompositions cannot exist for $k>k^{\mathrm{ind}}_d$. The conjecture suggests that this is essentially the only restriction: there is a threshold $k^\star_d$ such that $k$-star decompositions exist if and only if $k \leq k^\star_d$, and it (basically) coincides with the other threshold, i.e., $k^\star_d \approx k^{\mathrm{ind}}_d$. We confirm this conjecture for sufficiently large $d$ by showing that a $k$-star decomposition exists if $d/2< k < k^{\mathrm{ind}}_d$. In fact, we prove the existence even if $k=k^{\mathrm{ind}}_d$ for degrees $d$ with asymptotic density $1$.
2025-03-11
Maximal entropy random walks and central Markov chains
We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.
Playing Sudoku on random 3-regular graphs
The Sudoku number $s(G)$ of graph $G$ with chromatic number $χ(G)$ is the smallest partial $χ(G)$-colouring of $G$ that determines a unique $χ(G)$-colouring of the entire graph. We show that the Sudoku number of the random $3$-regular graph $\mathcal{G}_{n,3}$ satisfies $s(\mathcal{G}_{n,3}) \leq (1+o(1))\frac{n}{3}$ asymptotically almost surely. We prove this by analyzing an algorithm which $3$-colours $\mathcal{G}_{n,3}$ in a way that produces many locally forced vertices, i.e., vertices which see two distinct colours among their neighbours. The intricacies of the algorithm present some challenges for the analysis, and to overcome these we use a non-standard application of Wormald's differential equations method that incorporates tools from finite Markov chains.
2025-03-10
A new density limit for unanimity in majority dynamics on random graphs
Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for tie-breaking. The dynamics achieves \textit{unanimity} if every vertex has the same color after finitely many days, and such color is said to \textit{win}. When $G$ is a $G(n,p)$ random graph, L. Tran and Vu (2019) found a codition in terms of $p$ and the initial difference $2Δ$ beteween the sizes of the Red and Blue camps, such that unanimity is achieved with probability arbitrarily close to 1. They showed that if $pΔ^2 \gg1 $, $pΔ\geq 100$, and $p\geq (1+\varepsilon) n^{-1}\log n$ for a positive constant $\varepsilon$, then unanimity occurs with probability $1 - o(1)$. If $p$ is not extremely small, namely $p > \log^{-1/16} n $, then Sah and Sawhney (2022) showed that the condition $pΔ^2 \gg 1$ is sufficient. If $n^{-1}\log^2 n \ll p \ll n^{-1/2}\log^{1/4} n$, we show that $p^{3/2}Δ\gg n^{-1/2}\log n$ is enough. Since this condition holds if $pΔ\geq 100$ for $p$ in this range, this is an improvement of Tran's and Vu's result. For the closely related problem of finding the optimal condition for $p$ to achieve unanimity when the initial coloring is chosen uniformly at random among all possible Red/Blue assignments, our result implies a new lower bound $p \gg n^{-2/3}\log^{2/3} n$, which improves upon the previous bound of $n^{-3/5}\log n$ by Chakraborti, Kim, Lee and T. Tran (2021).
2025-03-09 v2
Deterministically approximating the volume of a Kostka polytope
Published • View Publication • BIB
Polynomial-time deterministic approximation of volumes of polytopes, up to an approximation factor that grows at most sub-exponentially with the dimension, remains an open problem. Recent work on this question has focused on identifying interesting classes of polytopes for which such approximation algorithms can be obtained. In this paper, we focus on one such class of polytopes: the Kostka polytopes. The volumes of Kostka polytopes appear naturally in questions of random matrix theory, in the context of evaluating the probability density that a random Hermitian matrix with fixed spectrum $λ$ has a given diagonal $μ$ (the so-called randomized Schur-Horn problem): the corresponding Kostka polytope is denoted $\mathrm{GT}(λ, μ)$. We give a polynomial-time deterministic algorithm for approximating the volume of a ($Ω(n^2)$ dimensional) Kostka polytope $\mathrm{GT}(λ, μ)$ to within a multiplicative factor of $\exp(O(n\log n))$, when $λ$ is an integral partition with $n$ parts, with entries bounded above by a polynomial in $n$, and $μ$ is an integer vector lying in the interior of the permutohedron (i.e., convex hull of all permutations) of $λ$. The algorithm thus gives asymptotically correct estimates of the log-volume of Kostka polytopes corresponding to such $(λ, μ)$. Our approach is based on a partition function interpretation of a continuous analogue of Schur polynomials.
Defect and transference versions of the Alon-Frankl-Lovasz theorem
Published • View Publication • BIB
Confirming a conjecture of Erdős on the chromatic number of Kneser hypergraphs, Alon, Frankl and Lovász proved that in any $q$-colouring of the edges of the complete $r$-uniform hypergraph, there exists a monochromatic matching of size $\lfloor \frac{n+q-1}{r+q-1}\rfloor$. In this paper, we prove a transference version of this theorem. More precisely, for fixed $q$ and $r$, we show that with high probability, a monochromatic matching of approximately the same size exists in any $q$-colouring of a random hypergraph, already when the average degree is a sufficiently large constant. In fact, our main new result is a defect version of the Alon--Frankl--Lovász theorem for almost complete hypergraphs. From this, the transference version is obtained via a variant of the weak hypergraph regularity lemma. The proof of the defect version uses tools from extremal set theory developed in the study of the Erdős matching conjecture.
2025-03-07
The threshold for loose Hamilton cycles in random hypergraph
We show that w.h.p.\ the random $r$-uniform hypergraph $H_{n,m}$ contains a loose Hamilton cycle, provided $r\geq 3$ and $m\geq \frac{(1+ε)n\log n}{r}$, where $ε$ is an arbitrary positive constant. This is asymptotically best possible, as if $m\leq \frac{(1-ε)n\log n}{r}$ then w.h.p.\ $H_{n,m}$ contains isolated vertices.
2025-03-07 v2
Lonely passengers: a short proof
Published in Electron. Commun. Probab. 30 1 - 4, 2025 • View Publication • BIB
A fixed number of passengers independently board one of several buses uniformly at random. The lonely passenger problem is to prove that the probability of at least one passenger being the only one in their bus is increasing in the number of buses. It was solved in a strong form by Imre Péter Tóth, who proved stochastic dominance of the number of such passengers as the number of buses increases, but observed that, surprisingly, no short proof was known ``despite the efforts of several experts''. We give a very short proof of the weaker result. The proof of the strong form, using the same idea, is more involved but still relatively short.
2025-03-07 v3
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
We identify the size of the largest connected component in a subcritical inhomogeneous random graph with a kernel of preferential attachment type. The component is polynomial in the graph size with an explicitly given exponent, which is strictly larger than the exponent for the largest degree in the graph. This is in stark contrast to the behaviour of inhomogeneous random graphs with a kernel of rank one. Our proof uses local approximation by branching random walks going well beyond the weak local limit and novel results on subcritical killed branching random walks.
2025-03-06 v3
Maximum number of points in general position in a random subset of finite $3$-dimensional spaces
Published • View Publication • BIB
Let $α(\mathbb{F}_q^{d},p)$ be the maximum possible size of a point set in general position in the $p$-random subset of $\mathbb{F}_q^d$. In this note, we determine the order of magnitude of $α(\mathbb{F}_q^{3},p)$ up to a polylogarithmic factor by proving a balanced supersaturation result for the sets of $4$ points in the same plane.
2025-03-05
Distribution of the sum of reciprocal parts for distinct parts partitions
Published • View Publication • BIB
Given an integer partition of $n$ into distinct parts, the sum of the reciprocal parts is an example of an egyptian fraction. We study this statistic under the uniform measure on distinct parts partitions of $n$ and prove that, as $n \to \infty$, the sum of reciprocal parts is distributed away from its mean like a random harmonic sum.
2025-03-04 v2
New centrality measure: ksi-centrality
We introduce new centrality measures, called ksi-centrality and normalized ksi-centrality measure the importance of a node up to the importance of its neighbors. First, we show that normalized ksi-centrality can be rewritten in terms of the Laplacian matrix such that its expression is similar to the local clustering coefficient. After that we introduce average normalized ksi-coefficient and show that for a random Erdos-Renyi graph it is almost the same as average clustering coefficient. It also shows behavior similar to the clustering coefficient for the Windmill and Wheel graphs. Finally, we show that the distributions of ksi centrality and normalized ksi centrality distinguish networks based on real data from artificial networks, including the Watts-Strogatz, Barabasi-Albert and Boccaletti-Hwang-Latora small-world networks. Furthermore, we show the relationship between normalized ksi centrality and the average normalized ksi coefficient and the algebraic connectivity of the graph and the Chegeer number.
2025-03-04 v2
Random sampling of contingency tables and partitions: Two practical examples of the Burnside process
Published in Stat Comput 35, 181 (2025) • View Publication • BIB
This paper gives new, efficient algorithms for approximate uniform sampling of contingency tables and integer partitions. The algorithms use the Burnside process, a general algorithm for sampling a uniform orbit of a finite group acting on a finite set. We show that a technique called `lumping' can be used to derive efficient implementations of the Burnside process. For both contingency tables and partitions, the lumped processes have far lower per step complexity than the original Markov chains. We also define a second Markov chain for partitions called the reflected Burnside process. The reflected Burnside process maintains the computational advantages of the lumped process but empirically converges to the uniform distribution much more rapidly. By using the reflected Burnside process we can easily sample uniform partitions of size $10^{10}$.
Statistics for random representations of Lie algebras
In this paper we investigate how a typical, large-dimensional representation looks for a complex Lie algebra. In particular, we study the family $\mathfrak{sl}_{r+1}(\mathbb{C})$ of Lie algebras for $r \geq 2$ and derive asymptotic probability distributions for the multiplicity of small irreducible representations, as well as the largest dimension, the largest height, and the total number of irreducible representations appearing in the decomposition of a representation sampled uniformly from all representations with the same dimension. This provides a natural generalization to the similar statistical studies of integer partitions, which forms the case $r=1$ of our considerations and where one has a rich toolkit ranging from combinatorial methods to approaches utilizing the theory of modular forms. We perform our analysis by extending the statistical mechanics inspired approaches in the case of partitions to the infinite family here.
2025-03-03
A remark on the independence number of sparse random Cayley sum graphs
The Cayley sum graph $Γ_S$ of a set $S \subseteq \mathbb{Z}_n$ is defined on the vertex set $\mathbb{Z}_n$, with an edge between distinct $x, y \in \mathbb{Z}_n$ if $x + y \in S$. Campos, Dahia, and Marciano have recently shown that if $S$ is formed by taking each element in $\mathbb{Z}_n$ independently with probability $p$, for $p > (\log n)^{-1/80}$, then with high probability the largest independent set in $Γ_S$ is of size $$ (2 + o(1)) \log_{1/(1-p)}(n). $$ This extends a result of Green and Morris, who considered the case $p = 1/2$, and asymptotically matches the independence number of the binomial random graph $G(n,p)$. We improve the range of $p$ for which this holds to $p > (\log n)^{-1/3 + o(1)}$. The heavy lifting has been done by Campos, Dahia, and Marciano, and we show that their key lemma can be used a bit more efficiently.
2025-03-02 v2
$q$-deformation of random partitions, determinantal structure, and Riemann-Hilbert problem
Published in Math. Phys. Anal. Geom. 28 (2025) 38 • View Publication • BIB
We study $q$-deformation of probability measures on partitions, i.e., $q$-deformed random partitions. We in particular consider the $q$-Plancherel measure and show a determinantal formula for the correlation function using a $q$-deformation of the discrete Bessel kernel. We also investigate Riemann-Hilbert problems associated with the corresponding orthogonal polynomials and obtain $q$-Painlevé equations from the $q$-difference Lax formalism.
Graph factors and powers of Hamilton cycles in the budget-constrained random graph process
We consider the following budget-constrained random graph process introduced by Frieze, Krivelevich and Michaeli. A player, called Builder, is presented with $t$ distinct edges of $K_n$ one by one, chosen uniformly at random. Builder may purchase at most $b$ of these edges, and must (irrevocably) decide whether to purchase each edge as soon as it is offered. Builder's goal is to construct a graph which satisfies a certain property; we investigate the properties of containing different $F$-factors or powers of Hamilton cycles. We obtain general lower bounds on the budget $b$, as a function of $t$, required for Builder to obtain partial $F$-factors, for arbitrary $F$. These imply lower bounds for many distinct spanning structures, such as powers of Hamilton cycles. Notably, our results show that, if $t$ is close to the hitting time for a partial $F$-factor, then the budget $b$ cannot be substantially lower than $t$. These results give negative answers to questions of Frieze, Krivelevich and Michaeli. Conversely, we also exhibit a simple strategy for constructing (partial) $F$-factors, in particular showing that our general lower bound is tight up to constant factors. The ideas from this strategy can be exploited for other properties. As an example, we obtain an essentially optimal strategy for powers of Hamilton cycles. In order to formally prove that this strategy succeeds, we develop novel tools for analysing multi-stage strategies, which may be of general interest for studying other properties.
Connectivity for square percolation and coarse cubical rigidity in random right-angled Coxeter groups
Published • View Publication • BIB
We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups. We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
Published • View Publication • BIB
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
The Lovász number of random circulant graphs
Published • View Publication • BIB
This paper addresses the behavior of the Lovász number for dense random circulant graphs. The Lovász number is a well-known semidefinite programming upper bound on the independence number. Circulant graphs, an example of a Cayley graph, are highly structured vertex-transitive graphs on integers modulo $n$, where the connectivity of pairs of vertices depends only on the difference between their labels. While for random circulant graphs the asymptotics of fundamental quantities such as the clique and the chromatic number are well-understood, characterizing the exact behavior of the Lovász number remains open. In this work, we provide upper and lower bounds on the expected value of the Lovász number and show that it scales as the square root of the number of vertices, up to a log log factor. Our proof relies on a reduction of the semidefinite program formulation of the Lovász number to a linear program with random objective and constraints via diagonalization of the adjacency matrix of a circulant graph by the discrete Fourier transform (DFT). This leads to a problem about controlling the norms of vectors with sparse Fourier coefficients, which we study using results on the restricted isometry property of subsampled DFT matrices.