random
7100 papers tagged with this keyword
Counting degree-constrained orientations
Published
• View Publication
• BIB
We study the enumeration of graph orientations under local degree constraints. Given a finite graph $G = (V, E)$ and a family of admissible sets $\{\mathsf P_v \subseteq \mathbb{Z} : v \in V\}$, let $\mathcal N (G; \prod_{v \in V} \mathsf P_v)$ denote the number of orientations in which the out-degree of each vertex $v$ lies in $P_v$. We prove a general duality formula expressing $\mathcal N(G; \prod_{v \in V} \mathsf P_v)$ as a signed sum over edge subsets, involving products of coefficient sums associated with $\{\mathsf P_v\}_{v \in V}$, from a family of polynomials. Our approach employs gauge transformations, a technique rooted in statistical physics and holographic algorithms. We also present a probabilistic derivation of the same identity, interpreting the orientation-generating polynomial as the expectation of a random polynomial product. As applications, we obtain explicit formulas for the number of even orientations and for mixed Eulerian-even orientations on general graphs. Our formula generalizes a result of Borbényi and Csikvári on Eulerian orientations of graphs.
Partial results for union-closed conjectures on the weighted cube
The celebrated union-closed conjecture is concerned with the cardinalities of various subsets of the Boolean $d$-cube. The cardinality of such a set is equivalent, up to a constant, to its measure under the uniform distribution, so we can pose more general conjectures by choosing a different probability distribution on the cube. In particular, for any sequence of probabilities $(p_i)_{i=1}^d$ we can consider the product of $d$ independent Bernoulli random variables, with success probabilities $p_i$. In this short note, we find a generalised form of Karpas' special case of the union-closed conjecture for families $\mathcal{F}$ with density at least half. We also generalise Knill's logarithmic lower bound.
Computation of dominant ideals
We consider the problem of determining whether a monomial ideal is dominant. This property is critical for determining for which monomial ideals the Taylor resolution is minimal. We first analyze dominant ideals with a fixed least common multiple of generators using combinatorial methods. Then, we adopt a probabilistic approach via the \er\ type model, examining both homogeneous and non-homogeneous cases. This model offers an efficient alternative to exhaustive enumeration, allowing the study of dominance through small random samples, even in high-dimensional settings.
Loose paths in random ordered hypergraphs
Published
• View Publication
• BIB
We consider the length of {\em ordered loose paths} in the random $r$-uniform hypergraph $H=H^{(r)}(n, p)$. A ordered loose path is a sequence of edges $E_1,E_2,\ldots,E_\ell$ where $\max\{j\in E_i\}=\min\{j\in E_{i+1}\}$ for $1\leq i<\ell$. We establish fairly tight bounds on the length of the longest ordered loose path in $H$ that hold with high probability.
Optimal Hardness of Online Algorithms for Large Independent Sets
We study the algorithmic problem of finding a large independent set in the Erd{ö}s-Rényi random graph $G(n,p)$. For constant $p$ and $b=1/(1-p)$, the largest independent set has size $2\log_b n$, while a simple greedy algorithm - revealing vertices sequentially and making decisions based only on previously seen vertices - finds an independent set of size $\log_b n$. In his seminal 1976 paper, Karp challenged to either improve this guarantee or establish its hardness. Decades later, this problem remains open - one of the most prominent algorithmic problems in the theory of random graphs.
In this paper, we establish that a broad class of online algorithms fails to find an independent set of size $(1+ε)\log_b n$ whp. This class includes Karp's algorithm as a special case, and extends it by allowing the algorithm to query exceptional edges, not yet "seen" by the algorithm. Our lower bound holds for $p\in [d/n,1-n^{-1/d}]$. In the dense regime (constant $p$), we also prove that our result is asymptotically tight with respect to the number of exceptional edges queried, by designing an online algorithm which beats the half-optimality threshold when the number of exceptional edges slightly exceeds our bound.
Our result provides evidence for the algorithmic hardness of Karp's problem, by supporting the conjectured optimality of the greedy algorithm and establishing it within the class of online algorithms. Our proof relies on a refined analysis of the geometric structure of large independent sets, establishing a variant of the Overlap Gap Property (OGP). While OGP has predominantly served as a barrier to stable algorithms, online algorithms are inherently unstable, necessitating new ideas. Our proof refines the OGP framework by incorporating several new ideas (including temporal interpolation paths and stopping-times) that we expect to be useful for other online models.
Generalized Natural Density $\DF(\mathfrak{F}_n)$ of Fibonacci Word
This paper explores profound generalizations of the Fibonacci sequence, delving into random Fibonacci sequences, $k$-Fibonacci words, and their combinatorial properties. We established that the $n$-th root of the absolute value of terms in a random Fibonacci sequence converges to $1.13198824\ldots$, a symmetry identity for sums involving Fibonacci words, $\sum_{n=1}^{b} \frac{(-1)^n F_a}{F_n F_{n+a}} = \sum_{n=1}^{a} \frac{(-1)^n F_b}{F_n F_{n+b}}$, and an infinite series identity linking Fibonacci terms to the golden ratio. These findings underscore the intricate interplay between number theory and combinatorics, illuminating the rich structure of Fibonacci-related sequences. We provide, according to this paper, new concepts of density of Fibonacci word.
Abstract simplicial complexes in {\tt Macaulay2}
Published
• View Publication
• BIB
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.
Expected Length of the Longest Common Subsequence of Multiple Strings
Published
• View Publication
• BIB
We study the generalized Chvátal-Sankoff constant $γ_{k,d}$, which represents the normalized expected length of the longest common subsequence (LCS) of $d$ independent uniformly random strings over an alphabet of size $k$. We derive asymptotically tight bounds for $γ_{2,d}$, establishing that $γ_{2,d} = \frac{1}{2} + Θ\left(\frac{1}{\sqrt{d}}\right)$. We also derive asymptotically near-optimal bounds on $γ_{k,d}$ for $d\ge Ω(\log k)$.
On the Asymptotics of the Connectivity Probability of Random Bipartite Graphs
In this paper, we analyze the exact asymptotic behavior of the connectivity probability in a random binomial bipartite graph $G(n,m,p)$ under various regimes of the edge probability $p=p(n)$. To determine this probability, a method based on the analysis of inhomogeneous random walks is proposed.
The speed of random walks on semigroups
We construct, for each real number $0\leq α\leq 1$, a random walk on a finitely generated semigroup whose speed exponent is $α$. We further show that the speed function of a random walk on a finitely generated semigroup can be arbitrarily slow, yet tending to infinity. These phenomena demonstrate a sharp contrast from the group-theoretic setting. On the other hand, we show that the distance of a random walk on a finitely generated semigroup from its starting position is infinitely often larger than a non-constant universal lower bound, excluding a certain degenerate case.
On the Asymptotics of the Connectivity Probability of Erdos-Renyi Graphs
In this paper, we investigate the exact asymptotic behavior of the connectivity probability in the Erdos-Renyi graph G(n,p), under different asymptotic assumptions on the edge probability p=p(n). We propose a novel approach based on the analysis of inhomogeneous random walks to derive this probability. We show that the problem of graph connectivity can be reduced to determining the probability that an inhomogeneous random walk with Poisson-distributed increments, conditioned to form a bridge, is actually an excursion
Counting independent sets in percolated graphs via the Ising model
Published
• View Publication
• BIB
Given a graph $G$, we form a random subgraph $G_p$ by including each edge of $G$ independently with probability $p$. We provide an asymptotic expansion of the expected number of independent sets in random subgraphs of regular bipartite graphs satisfying certain vertex-isoperimetric properties, extending the work of Kronenberg and Spinka on the percolated hypercube. Combining graph containers with the cluster expansion from statistical physics, we give an expansion of the partition function of the Ising model in certain range of the parameters. Among other applications, we obtain results for even tori of growing side-length. As a tool, we prove a refined container lemma for the Ising model, which mildly improves recent bounds of Jenssen, Malekshahian, and Park.
Shuffling via Transpositions
We consider a family of card shuffles of $n$ cards, where the allowed moves involve transpositions corresponding to the Jucys--Murphy elements of $\{S_m\}_{m \leq n}$. We diagonalize the transition matrix of these shuffles. As a special case, we consider the $k$-star transpositions shuffle, a natural interpolation between random transpositions and star transpositions. We proved that the $k$-star transpositions shuffle exhibits total variation cutoff at time $\frac{2n-(k+1)}{2(n-1)}n\log n$ with a window of $\frac{2n-(k+1)}{2(n-1)}n$. Furthermore, we prove that for the case where $k/n \rightarrow 0$ or $1$, this shuffle has the same limit profile as random transpositions, which has been fully determined by Teyssier.
Evolutionary Generation of Random Surreal Numbers for Benchmarking
Published in Genetic and Evolutionary Computation Conference (GECCO '25), July 14--18, 2025, Malaga
• View Publication
• BIB
There are many areas of scientific endeavour where large, complex datasets are needed for benchmarking. Evolutionary computing provides a means towards creating such sets. As a case study, we consider Conway's Surreal numbers. They have largely been treated as a theoretical construct, with little effort towards empirical study, at least in part because of the difficulty of working with all but the smallest numbers. To advance this status, we need efficient algorithms, and in order to develop such we need benchmark data sets of surreal numbers. In this paper, we present a method for generating ensembles of random surreal numbers to benchmark algorithms. The approach uses an evolutionary algorithm to create the benchmark datasets where we can analyse and control features of the resulting test sets. Ultimately, the process is designed to generate networks with defined properties, and we expect this to be useful for other types of network data.
A Method for Generating Connected Erdos-Renyi Random Graphs
Published
• View Publication
• BIB
We propose a novel exact algorithm for generating connected Erdos-Renyi random graphs $G(n,p)$. The method couples the graph exploration process to an inhomogeneous Poisson random walk, which yields an exact sampler that runs in $O(n)$ time in the sparse regime $p=c/n$. We also show how the method extends to the $G(n,M)$ model via an additional acceptance-rejection step.
Stochastic domination and lifts of random variables in percolation theory
Consider some matrix waiting for its coefficients to be written. For each column, sample independently one Bernoulli random variable of some parameter $p$. Seeing all this and possibly using extra randomness, Alice then chooses one spot in each column, in any way she wants. When the Bernoulli random variable of some column is equal to 1, the number 1 is written in the chosen spot. When the Bernoulli random variable of a column is 0, nothing is done on this column. We prove that, using extra randomness, it is possible for Bob to fill the empty spots with well chosen 0's and 1's so that the entries of the matrix are independent Bernoulli random variables of parameter $p$. We investigate various generalisations and variations of this problem, and use this result to revisit and generalise (nonstrict) monotonicity of the percolation threshold $p_c$ with respect to some sort of graph-quotienting, namely fibrations.
In a second part, which is independent of the first one, we revisit strict monotonicity of $p_c$ with respect to fibrations, a result that naturally requires more assumptions than its nonstrict counterpart. We reprove the bond-percolation case of the result of Martineau and Severo without resorting to essential enhancements, using couplings instead.
A Dense Neighborhood Lemma: Applications of Partial Concept Classes to Domination and Chromatic Number
Published
• View Publication
• BIB
In its Euclidean form, the Dense Neighborhood Lemma (DNL) asserts that if $V$ is a finite set of points of $\mathbb{R}^N$ such that for each $v \in V$ the ball $B(v,1)$ intersects $V$ on at least $δ|V|$ points, then for every $\varepsilon >0$, the points of $V$ can be covered with $f(δ,\varepsilon)$ balls $B(v,1+\varepsilon)$ with $v \in V$. DNL also applies to other metric spaces and to abstract set systems, where elements are compared pairwise with respect to (near) disjointness. In its strongest form, DNL provides an $\varepsilon$-clustering with size exponential in $\varepsilon^{-1}$, which amounts to a Regularity Lemma with 0/1 densities of some trigraph.
Trigraphs are graphs with additional red edges. They are natural instances of partial concept classes, introduced by Alon, Hanneke, Holzman and Moran [FOCS 2021]. This paper is mainly a combinatorial study of the generalization of Vapnik-Cervonenkis dimension to partial concept classes. The main point is to show how trigraphs can sometimes explain the success of random sampling even though the VC-dimension of the underlying graph is unbounded. All the results presented here are effective in the sense of computation: they primarily rely on uniform sampling with the same success rate as in classical VC-dimension theory.
Among some applications of DNL, we show that $\left(\frac{3t-8}{3t-5}+\varepsilon\right)\cdot n$-regular $K_t$-free graphs have bounded chromatic number. Similarly, triangle-free graphs with minimum degree $n/3-n^{1-\varepsilon}$ have bounded chromatic number (this does not hold with $n/3-n^{1-o(1)}$). For tournaments, DNL implies that the domination number is bounded in terms of the fractional chromatic number. Also, $(1/2-\varepsilon)$-majority digraphs have bounded domination, independently of the number of voters.
Characteristic polynomial of generalized Ewens random permutations
We show the convergence of the characteristic polynomial for random permutation matrices sampled from the generalized Ewens distribution. Under this distribution, the measure of a given permutation depends only on its cycle structure, according to certain weights assigned to each cycle length. The proof is based on uniform control of the characteristic polynomial using results from the singularity analysis of generating functions, together with the convergence of traces to explicit random variables expressed via a Poisson family. The limit function is the exponential of a Poisson series which has already appeared in the case of uniform permutation matrices. It is the Poisson analog of the Gaussian Holomorphic Chaos, related to the limit of characteristic polynomials for other matrix models such as Circular Ensembles, i.i.d. matrices, and Gaussian elliptic matrices.
Random cliques in random graphs revisited
We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we derive a new upper bound on the number of $K_r$-factors in $G(n,p)$ above the threshold for such factors to appear.
We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when $p$ is constant and $r = r(n) \sim 2\log_{1/p}(n)$.
Double-jump phase transition for the reverse Littlewood--Offord problem
Published
• View Publication
• BIB
Erdős conjectured in 1945 that for any unit vectors $v_1, \dotsc, v_n$ in $\mathbb{R}^2$ and signs $\varepsilon_1, \dotsc, \varepsilon_n$ taken independently and uniformly in $\{-1,1\}$, the random Rademacher sum $σ= \varepsilon_1 v_1 + \dotsb + \varepsilon_n v_n$ satisfies $\|σ\|_2 \leq 1$ with probability $Ω(1/n)$. While this conjecture is false for even $n$, Beck has proved that $\|σ\|_2 \leq \sqrt{2}$ always holds with probability $Ω(1/n)$. Recently, He, Juškevičius, Narayanan, and Spiro conjectured that the Erdős' conjecture holds when $n$ is odd. We disprove this conjecture by exhibiting vectors $v_1, \dotsc, v_n$ for which $\|σ\|_2 \leq 1$ occurs with probability $O(1/n^{3/2})$. On the other hand, an approximated version of their conjecture holds: we show that we always have $\|σ\|_2 \leq 1 + δ$ with probability $Ω_δ(1/n)$, for all $δ> 0$. This shows that when $n$ is odd, the minimum probability that $\|σ\|_2 \leq r$ exhibits a double-jump phase transition at $r = 1$, as we can also show that $\|σ\|_2 \leq 1$ occurs with probability at least $Ω((1/2+μ)^n)$ for some $μ> 0$. Additionally, and using a different construction, we give a negative answer to a question of Beck and two other questions of He, Juškevičius, Narayanan, and Spiro, concerning the optimal constructions minimising the probability that $\|σ\|_2 \leq \sqrt{2}$. We also make some progress on the higher dimensional versions of these questions.