random
6952 papers tagged with this keyword
Polyhedral Aspects of Maxoids
The conditional independence (CI) relation of a distribution in a max-linear Bayesian network depends on its weight matrix through the $C^\ast$-separation criterion. These CI~models, which we call maxoids, are compositional graphoids which are in general not representable by Gaussian random variables. We prove that every maxoid can be obtained from a transitively closed weighted DAG and show that the stratification of generic weight matrices by their maxoids yields a polyhedral~fan. We also use this connection to polyhedral geometry to develop an algorithm for solving the conditional independence implication problem for maxoids.
Partial sampling of a random spanning tree
We investigate the distributions of subtrees connecting several vertices in the spanning trees of the complete graphs and their asymptotics.
Reduced Random Walks in the Hyperbolic Plane$\hspace{1pt}!\hspace{-3.8pt}?$
We study Lam's reduced random walk in a hyperbolic triangle group, which we view as a random walk in the upper half-plane. We prove that this walk converges almost surely to a point on the extended real line. We devote special attention to the reduced random walk in $PGL_2(\mathbb{Z})$ (i.e., the $(2,3,\infty)$ triangle group). In this case, we provide an explicit formula for the cumulative distribution function of the limit. This formula is written in terms of the interrobang function, a new function $!\hspace{-3.8pt}?\colon[0,1]\to\mathbb{R}$ that shares several of the remarkable analytic and arithmetic properties of Minkowski's question-mark function.
The dimension of sparse and co-sparse random graph orders
A random graph order is a partial order obtained from a random graph on $[n]$ by taking the transitive closure of the adjacency relation. The dimension of the random graph orders from random bipartite graphs $B(n,n,p)$ and from $G(n,p)$ were previously studied when $p=Ω(\log n/n)$ and when $p$ is not too close to 1. There is a conjectured phase transition in the sparse range at $p=1/n$. In this paper, we investigate this conjectured phase transition and estimate the dimension of the partial orders arising from $B(n,n,p)$ and $G(n,p)$ when $p=O(1/n)$. For the random bipartite order, we additionally estimate its dimension in the co-sparse regime, thereby closing all previously open ranges of $p$. Finally, we establish a general upper bound on the dimension of partial orders based on their decompositions into suborders, a result that is of independent interest.
New bounds on the modularity of $G(n,p)$
Modularity is a parameter indicating the presence of community structure in the graph. Nowadays it lies at the core of widely used clustering algorithms. We study the modularity of the most classical random graph, binomial $G(n,p)$. In 2020 McDiarmid and Skerman proved, taking advantage of the spectral graph theory and a specific subgraph construction by Coja-Oghlan from 2007, that there exists a constant $b$ such that with high probability the modularity of $G(n,p)$ is at most $b/\sqrt{np}$. The obtained constant $b$ is very big and not easily computable. We improve upon this result showing that a constant under $3$ may be derived here. Interesting is the fact that it might be obtained by basic probabilistic tools. We also address the lower bound on the modularity of $G(n,p)$ and improve the results of McDiarmid and Skerman from 2020 using estimates of bisections of random graphs derived by Dembo, Montanari, and Sen in 2017.
Bisections of graphs under degree constraints
In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part.
Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erdős, Thomassen, and Kühn-Osthus, while additionally satisfying the bisection requirement.
A universal threshold for geometric embeddings of trees
A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $ζ: V\to X$ such that $\|ζ(v)-ζ(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $Δ\geqslant 3$, and let $N$ be sufficiently large in terms of $Δ$. Every $N$--vertex tree of maximal degree at most $Δ$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.
Convergence Laws for Extensions of First-Order Logic with Averaging
For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with constant edge probability, where the probabilities of first-order sentences converge to 0 or 1. In other cases, such as certain ``sparse random graph'' models, the probabilities of sentences converge, although not necessarily to 0 or 1. In this work we deal with extensions of first-order logic with aggregate operators, variations of averaging. These logics will consist of real-valued terms, and we allow arbitrary Lipschitz functions to be used as ``connectives''. We show that some of the well-known convergence laws extend to this setting.
Goldbach Conjecture: Violation Probability and Generalization to Prime-like Distributions
Due to the distribution of primes among integers, we establish an upper bound for the probability $\mathbb{P}_n$ that the Goldbach conjecture fails. Assuming the conjecture holds true for all even number less than $2N$, we prove this probability is less than $e^{-N^α}$, where $ α= 1 - \frac{2\ln\ln N}{\ln N}$.
For large $N$, this probability becomes vanishingly small, effectively precluding the existence of counterexamples in practice. If $N =4 \times 10^{18}$, the probability of a counterexample is less than $e^{-10^{15}}$. Our approach fundamentally depends on the distributional properties of primes rather than their primality per se. This perspective enables a natural generalization of the conjecture to non-prime subsets of integers that exhibit similar distributional characteristics. As a concrete example, we construct new subsets by applying random $\pm 1$ shifts to primes, which preserve the essential prime-like distributional properties. Computational verification confirms that this generalized Goldbach conjecture holds for all even integers up to $2 \times 10^{8}$ within these modified subsets.
Limiting spectral laws for sparse random circulant matrices
Fix a positive integer $d$ and let $(G_n)_{n\geq1}$ be a sequence of finite abelian groups with orders tending to infinity. For each $n \geq 1$, let $C_n$ be a uniformly random $G_n$-circulant matrix with entries in $\{0,1\}$ and exactly $d$ ones in each row/column. We show that the empirical spectral distribution of $C_n$ converges weakly in expectation to a probability measure $μ$ on $\mathbb{C}$ if and only if the distribution of the order of a uniform random element of $G_n$ converges weakly to a probability measure $ρ$ on $\mathbb{N}^*$, the one-point compactification of the natural numbers. Furthermore, we show that convergence in expectation can be strengthened to convergence in probability if and only if $ρ$ is a Dirac mass $δ_m$. In this case, $μ$ is the $d$-fold convolution of the uniform distribution on the $m$-th roots of unity if $m\in\mathbb{N}$ or the unit circle if $m = \infty$. We also establish that, under further natural assumptions, the determinant of $C_n$ is $\pm\exp((c_{m,d}+o(1))|G_n|)$ with high probability, where $c_{m,d}$ is a constant depending only on $m$ and $d$.
Burning some myths on privacy properties of social networks against active attacks
This work focuses on showing some arguments addressed to dismantle the extended idea about that social networks completely lacks of privacy properties. We consider the so-called active attacks to the privacy of social networks and the counterpart $(k,\ell)$-anonymity measure, which is used to quantify the privacy satisfied by a social network against active attacks. To this end, we make use of the graph theoretical concept of $k$-metric antidimensional graphs for which the case $k=1$ represents those graphs achieving the worst scenario in privacy whilst considering the $(k,\ell)$-anonymity measure.
As a product of our investigation, we present a large number of computational results stating that social networks might not be as insecure as one often thinks. In particular, we develop a large number of experiments on random graphs which show that the number of $1$-metric antidimensional graphs is indeed ridiculously small with respect to the total number of graphs that can be considered. Moreover, we search on several real networks in order to check if they are $1$-metric antidimensional, and obtain that none of them are such. Along the way, we show some theoretical studies on the mathematical properties of the $k$-metric antidimensional graphs for any suitable $k\ge 1$. In addition, we also describe some operations on graphs that are $1$-metric antidimensional so that they get embedded into another larger graphs that are not such, in order to obscure their privacy properties against active attacks.
Counting degree-constrained orientations
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
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}
{\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
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.