random
7100 papers tagged with this keyword
Canonical partial ordering from min-cuts and quantum entanglement in random tensor networks
The \emph{max-flow min-cut theorem} has been recently used in the theory of random tensor networks in quantum information theory, where it is helpful for computing the behavior of important physical quantities, such as the entanglement entropy. In this paper, we extend the max-flow min-cut theorem to a relation among different \emph{partial orders} on the set of vertices of a network and introduce a new partial order for the vertices based on the \emph{min-cut structure} of the network. We apply the extended max-flow min-cut theorem to random tensor networks and find that the \emph{finite correction} to the entanglement Rényi entropy arising from the degeneracy of the min-cuts is given by the number of \emph{order morphisms} from the min-cut partial order to the partial order induced by non-crossing partitions on the symmetric group. Moreover, we show that the number of order morphisms corresponds to moments of a graph-dependent measure which generalizes the free Bessel law in some special cases in free probability theory.
Approximate Itai-Zehavi conjecture for random graphs
A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.
Evasive Random Walks and the Clairvoyant Demon
Published in Random Structures & Algorithms, vol. 20 no. 2 (2002), pp. 239-248
• View Publication
• BIB
A pair of random walks $(R,S)$ on the vertices of a graph $G$ is {\it successful} if two tokens can be scheduled (moving only one token at a time) to travel along $R$ and $S$ without colliding. We consider questions related to P. Winkler's {\it clairvoyant demon problem}, which asks whether for random walks $R$ and $S$ on $G$, $Pr[\ (R,S) \mbox{ is successful }] >0$. We introduce the notion of an {\it evasive} walk on $G$: a walk $S$ so that for a random walk $R$ on $G$, $Pr[\ (R,S) \mbox{ is successful }]>0$. We characterize graphs $G$ having evasive walks, giving explicit constructions on such $G$. On a cycle, we show that with high probability the tokens must collide quickly. Finally we consider two variants of the problem for which, under certain assumptions on the graph $G$, we provide algorithms that schedule $(R,S)$ successfully with positive probability.
RSB bounds on the maximum cut
In the context of random regular graphs, the size of the maximum cut is probably the second most studied graph parameter after the independence ratio. Zdeborová and Boettcher used the cavity method, a non-rigorous statistical physics technique, to predict one-step replica symmetry breaking (1-RSB) formulas. Coja-Ohglan et al. confirmed these predictions as rigorous upper bounds using the interpolation method. While these upper bounds were not expected to be exact, they may be very close to the true values.
In this paper, we establish 2-RSB upper bounds and fine-tune their parameters to beat the aforementioned 1-RSB bounds.
Hamilton cycles in regular graphs perturbed by a random 2-factor
In this paper, we prove that for each $d \geq 2$, the union of a $d$-regular graph with a uniformly random $2$-factor on the same vertex set is Hamiltonian with high probability. This resolves a conjecture by Draganić and Keevash for all values of $d$.
An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods
We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work.
Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula.
The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.
The number of possibilities for random dating
Published in Journal of Combinatorial Theory, Series A, vol. 115 (2008), pp. 1265-1271
• View Publication
• BIB
Let $G$ be a regular graph and $H$ a subgraph on the same vertex set. We give surprisingly compact formulas for the number of copies of $H$ one expects to find in a random subgraph of $G$.
On likelihood of a Condorcet winner for uniformly random and independent voter preferences
We study a mathematical model of voting contest with $m$ voters and $n$ candidates, with each voter ranking the candidates in order of preference, without ties. A Condorcet winner is a candidate who gets more than $m/2$ votes in pairwise contest with every other candidate. An ``impartial culture'' setting is the case when each voter chooses his/her candidate preference list uniformly at random from all $n!$ preferences, and does it independently of all other voters. For impartial culture case, Robert May and Lisa Sauermann showed that when $m=2k-1$ is fixed ($k=2$ and $k>2$ respectively), and $n$ grows indefinitely, the probability of a Condorcet winner is small, of order $n^{-(k-1)/k}$. We show if $m, n\to\infty$ and $m\gg n^4$, then for each fixed $\ell$ the probability of a Condercet winner is at most of order $n^{-\ell} + n^2/m^{1/2}$, thus converges to zero.
Entropic additive energy and entropy inequalities for sums and products
Published
• View Publication
• BIB
Following a growing number of studies that, over the past 15 years, have established entropy inequalities via ideas and tools from additive combinatorics, in this work we obtain a number of new bounds for the differential entropy of sums, products, and sum-product combinations of continuous random variables. Partly motivated by recent work by Goh on the discrete entropic version of the notion of "additive energy", we introduce the additive energy of pairs of continuous random variables and prove various versions of the statement that "the additive energy is large if and only if the entropy of the sum is small", along with a version of the Balog-Szemerédi-Gowers theorem for differential entropy. Then, motivated in part by recent work by Máthé and O'Regan, we establish a series of new differential entropy inequalities for products and sum-product combinations of continuous random variables. In particular, we prove a new, general, ring Plünnecke-Ruzsa entropy inequality. We briefly return to the case of discrete entropy and provide a characterization of discrete random variables with "large doubling", analogous to Tao's Freiman-type inverse sumset theory for the case of small doubling. Finally, we consider the natural entropic analog of the Erdös-Szemerédi sum-product phenomenon for integer-valued random variables. We show that, if it does hold, then the range of parameters for which it does would necessarily be significantly more restricted than its anticipated combinatorial counterpart.
Expanders in Models of Social Networks
Published
• View Publication
• BIB
A common model for social networks are Geometric Inhomogeneous Random Graphs (GIRGs), in which vertices draw a random position in some latent geometric space, and the probability of two vertices forming an edge depends on their geometric distance. The geometry may be modelled in two ways: either two points are defined as close if they are similar in all dimensions, or they are defined as close if they are similar in some dimensions. The first option is mathematically more natural since it can be described by metrics. However, the second option is arguably the better model for social networks if the different dimensions represent features like profession, kinship, or interests. In such cases, nodes already form bonds if they align in some, but not all dimensions. For the first option, it is known that the resulting networks are poor expanders. We study the second option in the form of Minimum-Component Distance GIRGs, and find that those behave the opposite way for dimension $d\ge 2$, and that they have strong expanding properties. More precisely, for a suitable constant $C>0$, the subgraph induced by vertices of (expected) degree at least $(\log n)^C$ forms an expander. Moreover, we study how the expansion factor of the resulting subgraph depends on the choice of $C$, and show that this expansion factor is $ω(1)$ except for sets that already take up a constant fraction of the vertices. This has far-reaching consequences, since many algorithms and mixing processes are fast on expander graphs.
The Hamilton cycle space of random graphs
The cycle space of a graph $G$, denoted $C(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $C_n(G)$ denotes the subspace of $C(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. A classical result in the theory of random graphs asserts that for $G \sim \mathbb{G}(n,p)$, asymptotically almost surely the necessary condition $δ(G) \geq 2$ is also sufficient to ensure Hamiltonicity. Resolving a problem of Christoph, Nenadov, and Petrova, we augment this result by proving that for $G \sim \mathbb{G}(n,p)$, with $n$ being odd, asymptotically almost surely the condition $δ(G) \geq 3$ (observed to be necessary by Heinig) is also sufficient for ensuring $C_n(G) = C(G)$. That is, not only does $G$ typically have a Hamilton cycle, but its Hamilton cycles are typically rich enough to span its cycle space.
The longest increasing subsequence of Brownian separable permutons
We establish a scaling limit result for the length $\operatorname{LIS}(σ_n)$ of the longest increasing subsequence of a permutation $σ_n$ of size $n$ sampled from the Brownian separable permuton $\boldsymbolμ_p$ of parameter $p\in(0,1)$, which is the universal limit of pattern-avoiding permutations. Specifically, we prove that \[\frac{\operatorname{LIS}(σ_n)}{n^α}\;\underset{n\to\infty}{\overset{\mathrm{a.s.}}{\longrightarrow}}\; X,\] where $α=α(p)$ is the unique solution in the interval $(1/2,1)$ to the equation \[\frac{1}{4^{\frac{1}{2α}}\sqrtπ}\,\frac{Γ\big(\tfrac{1}{2}-\tfrac{1}{2α}\big)}{Γ\big(1-\tfrac{1}{2α}\big)}=\frac{p}{p-1},\] and $X=X(p)$ is a non-deterministic and a.s. positive and finite random variable, which is a measurable function of the Brownian separable permuton. Notably, the exponent $α(p)$ is an increasing continuous function of $p$ with $α(0^+)=1/2$, $α(1^-)=1$ and $α(1/2)\approx0.815226$, which corresponds to the permuton limit of uniform separable permutations. We prove analogous results for the size of the largest clique of a graph sampled from the Brownian cographon of parameter $p\in(0,1)$.
Detection and Reconstruction of a Random Hypergraph from Noisy Graph Projection
Published
• View Publication
• BIB
For a $d$-uniform random hypergraph on $n$ vertices in which hyperedges are included i.i.d.\ so that the average degree in the hypergraph is $n^{δ+o(1)}$, the projection of such a hypergraph is a graph on the same $n$ vertices where an edge connects two vertices if and only if they belong to a same hyperedge. In this work, we study the inference problem where the observation is a \emph{noisy} version of the graph projection where each edge in the projection is kept with probability $p=n^{-1+α+o(1)}$ and each edge not in the projection is added with probability $q=n^{-1+β+o(1)}$. For all constant $d$, we establish sharp thresholds for both detection (distinguishing the noisy projection from an Erdős-Rényi random graph with edge density $q$) and reconstruction (estimating the original hypergraph). Notably, our results reveal a \emph{detection-reconstruction gap} phenomenon in this problem. Our work also answers a problem raised in \cite{BGPY25+}.
Cycle lengths in the percolated hypercube
Let $Q^d_p$ be the random subgraph of the $d$-dimensional binary hypercube obtained after edge-percolation with probability $p$. It was shown recently by the authors that, for every $\varepsilon > 0$, there is some $c = c(\varepsilon)>0$ such that, if $pd\ge c$, then typically $Q^d_p$ contains a cycle of length at least $(1-\varepsilon)2^d$. We strengthen this result to show that, under the same assumptions, typically $Q^d_p$ contains cycles of all even lengths between $4$ and $(1-\varepsilon)2^d$.
Discrete Poincaré inequalities and universal approximators for random graphs
Nonlinear Poincaré inequalities are indispensable tools in the study of dimension reduction and low-distortion embeddings of graphs into metric spaces, and have found remarkable algorithmic applications. A basic open problem, posed by Jon Kleinberg (2013), asks whether the optimal nonlinear Poincaré constant for maps between two independent $3$-regular random graphs is dimension-free, i.e., independent of vertex-set sizes. We give a complete and affirmative resolution to Kleinberg's problem, also allowing for arbitrary graph degrees. As a corollary, we obtain a stochastic construction of $O(1)\text{-universal}$ approximators for random graphs, answering a question of Mendel and Naor.
On the Existence and Uniqueness of Symmetric Structures Generating Complete Ordered Pairs
This work introduces a new class of symmetric matrix structures, called harmonic structures, which enable the generation of all possible directed transitions $(x_i, x_{i+1})$ over a set of $n$ symbols, without internal repetitions. Unlike other combinatorial constructions, these structures are defined solely by the relative positions of the elements, not their concrete values. Two structures are considered equivalent if one can be obtained from the other through row permutation and/or global relabeling. Under this notion, it is shown that for $n=4$ there exists a single non-trivial structure, and for $n=6$ there are exactly two non-equivalent ones. Harmonic matrices are constructed using specially designed permutators whose properties guarantee symmetry and complete coverage. Their internal hierarchy, extensibility, and rarity within the space of permutations are analyzed. Furthermore, it is demonstrated how these matrices can be used to generate valid Sudoku boards deterministically, without random methods or post-validation. These properties open new perspectives in combinatorics, algorithm design, and systems based on positional encoding. Notably, these permutators enable the construction of harmonic matrices for arbitrary even values of $n$, ensuring the universal scalability of the method.
The large $N$ factorization does not hold for arbitrary multi-trace observables in random tensors
Published
• View Publication
• BIB
We consider real tensors of order $D$, that is $D$-dimensional arrays of real numbers $T_{a^1a^2 \dots a^D}$, where each index $a^c$ can take $N$ values. The tensor entries $T_{a^1a^2 \dots a^D}$ have no symmetry properties under permutations of the indices. The invariant polynomials built out of the tensor entries are called trace invariants.
We prove that for a Gaussian random tensor with $D\ge 3$ indices (that is such that the entries $T_{a^1a^2 \dots a^D}$ are independent identically distributed Gaussian random variables) the cumulant, or connected expectation, of a product of trace invariants is not always suppressed in scaling in $N$ with respect to the product of the expectations of the individual invariants. Said otherwise, not all the multi-trace expectations factor at large $N$ in terms of the single-trace ones and the Gaussian scaling is not subadditive on the connected components. This is in stark contrast to the $D=2$ case of random matrices in which the multi-trace expectations always factor at large $N$. The best one can do for $D\ge 3$ is to identify restricted families of invariants for which the large $N$ factorization holds and we check that this indeed happens when restricting to the family of melonic observables, the dominant family in the large $N$ limit.
The VC-dimension of random subsets of finite groups
Published
• View Publication
• BIB
For a random subset of a finite group $G$ of cardinality $N$, we consider the VC-dimension of the family of its translates (equivalently the VC-dimension of a random Cayley graph) and prove a law of large numbers as $N\rightarrow\infty$. This answers a question of McDonald--Sahay--Wyman.
The homology torsion growth of determinantal hypertrees
Fix a dimension $d\ge 2$, and let $T_n$ be a random $d$-dimensional determinantal hypertree on $n$ vertices. We prove that \[\frac{\log|H_{d-1}(T_n,\mathbb{Z})|}{n\choose {d}}\] converges in probability to a constant $c_d$, which satisfies
\[\frac{1}2 \log\left(\frac{d+1}e\right)\le c_d\le \frac{1}2 \log\left(d+1\right) .\]
Characteristic Imsets for Cyclic Linear Causal Models and the Chickering Ideal
Two directed graphs are called covariance equivalent if they induce the same set of covariance matrices, up to a Lebesgue measure zero set, on the random variables of their associated linear structural equation models. For acyclic graphs, covariance equivalence is characterized both structurally, via essential graphs and characteristic imsets, and transformationally, through sequences of covered edge flips. However, when cycles are allowed, only a transformational characterization of covariance equivalence has been discovered. We consider a linear map whose fibers correspond to the sets of graphs with identical characteristic imset vectors, and study the toric ideal associated to its integer matrix. Using properties of this ideal we show that directed graphs with the same characteristic imset vectors are covariance equivalent. In applications, imsets form a smaller search space for solving causal discovery via greedy search.