random
6952 papers tagged with this keyword
A note on the relation between two properties of random graphs
The $t$-e.c. and pseudo-random property are typical properties of random graphs. In this note, we study the gap between them which has not been studied well. As a main result, we give the first explicit construction of infinite families of t-e.c. graphs which are not families of best possible pseudo-random graphs.
Expected $f$-vector of the Poisson Zero Polytope and Random Convex Hulls in the Half-Sphere
We prove an explicit combinatorial formula for the expected number of faces of the zero polytope of the homogeneous and isotropic Poisson hyperplane tessellation in $\mathbb R^d$. The expected $f$-vector is expressed through the coefficients of the polynomial $$ (1+ (d-1)^2x^2) (1+(d-3)^2 x^2) (1+(d-5)^2 x^2) \ldots. $$ Also, we compute explicitly the expected $f$-vector and the expected volume of the spherical convex hull of $n$ random points sampled uniformly and independently from the $d$-dimensional half-sphere. In the case when $n=d+2$, we compute the probability that this spherical convex hull is a spherical simplex, thus solving an analogue of the Sylvester four-point problem on the half-sphere.
Random Simplicial Complexes, Duality and The Critical Dimension
In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complexes in the lower model are homologically approximated by a wedge of spheres of dimension equal the critical dimension. In this paper we study the Betti numbers in the upper model and introduce new notions of critical dimension and spread. We prove that (under certain conditions) an upper random simplicial complex is homologically approximated by a wedge of spheres of the critical dimension.
Hamiltonicity in random directed graphs is born resilient
Published in Combinator. Probab. Comp. 29 (2020) 900-942
• View Publication
• BIB
Let $\{D_M\}_{M\geq 0}$ be the $n$-vertex random directed graph process, where $D_0$ is the empty directed graph on $n$ vertices, and subsequent directed graphs in the sequence are obtained by the addition of a new directed edge uniformly at random. For each $\varepsilon>0$, we show that, almost surely, any directed graph $D_M$ with minimum in- and out-degree at least 1 is not only Hamiltonian (as shown by Frieze), but remains Hamiltonian when edges are removed, as long as at most $(1/2-\varepsilon)$ of both the in- and out-edges incident to each vertex are removed. We say such a directed graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $\varepsilon>0$, we show that, almost surely, each directed graph $D_M$ in the sequence is not $(1/2+\varepsilon)$-resiliently Hamiltonian.
This improves a result of Ferber, Nenadov, Noever, Peter and Škorić, who showed, for each $\varepsilon>0$, that the binomial random directed graph $D(n,p)$ is almost surely $(1/2-\varepsilon)$-resiliently Hamiltonian if $p=ω(\log^8n/n)$.
Simulated annealing approach to verify vertex adjacencies in the traveling salesperson polytope
Published
• View Publication
• BIB
We consider 1-skeletons of the symmetric and asymmetric traveling salesperson polytopes whose vertices are all possible Hamiltonian tours in the complete directed or undirected graph, and the edges are geometric edges or one-dimensional faces of the polytope. It is known that the question whether two vertices of the symmetric or asymmetric traveling salesperson polytopes are nonadjacent is NP-complete. A sufficient condition for nonadjacency can be formulated as a combinatorial problem: if from the edges of two Hamiltonian tours we can construct two complementary Hamiltonian tours, then the corresponding vertices of the traveling salesperson polytope are not adjacent. We consider a heuristic simulated annealing approach to solve this problem. It is based on finding a vertex-disjoint cycle cover and a perfect matching. The algorithm has a one-sided error: the answer "not adjacent" is always correct, and was tested on random and pyramidal Hamiltonian tours.
Random graphs with given vertex degrees and switchings
Random graphs with a given degree sequence are often constructed using the configuration model, which yields a random multigraph. We may adjust this multigraph by a sequence of switchings, eventually yielding a simple graph. We show that, assuming essentially a bounded second moment of the degree distribution, this construction with the simplest types of switchings yields a simple random graph with an almost uniform distribution, in the sense that the total variation distance is $o(1)$. This construction can be used to transfer results on distributional convergence from the configuration model multigraph to the uniform random simple graph with the given vertex degrees. As examples, we give a few applications to asymptotic normality. We show also a weaker result yielding contiguity when the maximum degree is too large for the main theorem to hold.
Self-Assembly of Geometric Space from Random Graphs
Published in Classical and Quantum Gravity, 2019
• View Publication
• BIB
We present a Euclidean quantum gravity model in which random graphs dynamically self-assemble into discrete manifold structures. Concretely, we consider a statistical model driven by a discretisation of the Euclidean Einstein-Hilbert action; contrary to previous approaches based on simplicial complexes and Regge calculus our discretisation is based on the Ollivier curvature, a coarse analogue of the manifold Ricci curvature defined for generic graphs. The Ollivier curvature is generally difficult to evaluate due to its definition in terms of optimal transport theory, but we present a new exact expression for the Ollivier curvature in a wide class of relevant graphs purely in terms of the numbers of short cycles at an edge. This result should be of independent intrinsic interest to network theorists. Action minimising configurations prove to be cubic complexes up to defects; there are indications that such defects are dynamically suppressed in the macroscopic limit. Closer examination of a defect free model shows that certain classical configurations have a geometric interpretation and discretely approximate vacuum solutions to the Euclidean Einstein-Hilbert action. Working in a configuration space where the geometric configurations are stable vacua of the theory, we obtain direct numerical evidence for the existence of a continuous phase transition; this makes the model a UV completion of Euclidean Einstein gravity. Notably, this phase transition implies an area-law for the entropy of emerging geometric space. Certain vacua of the theory can be interpreted as baby universes; we find that these configurations appear as stable vacua in a mean field approximation of our model, but are excluded dynamically whenever the action is exact indicating the dynamical stability of geometric space. The model is intended as a setting for subsequent studies of emergent time mechanisms.
Cutoff on Ramanujan complexes and classical groups
Published in Commentarii Mathematici Helvetici, 97(3):431-456, 2022
• View Publication
• BIB
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generators for the finite classical groups $\mathrm{PGL}_{n}(\mathbb{F}_{q})$ for which the associated Cayley graphs exhibit total-variation cutoff.
Hamilton cycles and perfect matchings in the KPKVB model
In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.
The chromatic number of random Borsuk graphs
Published in Random Struct Alg. 2020; 56: 838-850
• View Publication
• BIB
We study a model of random graph where vertices are $n$ i.i.d. uniform random points on the unit sphere $S^d$ in $\mathbb{R}^{d+1}$, and a pair of vertices is connected if the Euclidean distance between them is at least $2- ε$. We are interested in the chromatic number of this graph as $n$ tends to infinity.
It is not too hard to see that if $ε> 0$ is small and fixed, then the chromatic number is $d+2$ with high probability. We show that this holds even if $ε\to 0$ slowly enough. We quantify the rate at which $ε$ can tend to zero and still have the same chromatic number. The proof depends on combining topological methods (namely the Lyusternik--Schnirelman--Borsuk theorem) with geometric probability arguments. The rate we obtain is best possible, up to a constant factor --- if $ε\to 0$ faster than this, we show that the graph is $(d+1)$-colorable with high probability.
Loop-erased walks and random matrices
Published in J Stat Phys 177, 528--567 (2019)
• View Publication
• BIB
It is well known that there are close connections between non-intersecting processes in one dimension and random matrices, based on the reflection principle. There is a generalisation of the reflection principle for more general (e.g. planar) processes, due to S. Fomin, in which the non-intersection condition is replaced by a condition involving loop-erased paths. In the context of independent Brownian motions in suitable planar domains, this also has close connections to random matrices. An example of this was first observed by Sato and Katori (Phys. Rev. E, 83, 2011). We present further examples which give rise to various Cauchy-type ensembles. We also extend Fomin's identity to the affine setting and show that in this case, by considering independent Brownian motions in an annulus, one obtains a novel interpretation of the circular orthogonal ensemble.
The Acyclic Chromatic Index is Less than the Double of the Max Degree
The acyclic chromatic index of a graph $G$ is the least number of colors needed to properly color its edges so that none of its cycles is bichromatic. In this work, we show that $2Δ-1$ colors are sufficient to produce such a coloring, where $Δ$ is the maximum degree of the graph. In contrast with most extant randomized algorithmic approaches to the chromatic index, where the algorithms presuppose enough colors to guarantee properness deterministically and use randomness only to deal with the bichromatic cycles, our randomized, Moser-type algorithm produces a not necessarily proper random coloring, in a structured way, trying to avoid cycles whose edges of the same parity are homochromatic, and only when this goal is reached it checks for properness. It repeats until properness is attained.
Hamilton Cycles in Random Graphs: a bibliography
We provide an annotated bibliography for the study of Hamilton cycles in random graphs and hypergraphs.
On random multi-dimensional assignment problems
Published in Discrete Appl. Math. 287 (2020), 1-9
• Search Publication
We study random multidimensional assignment problems where the costs decompose into the sum of independent random variables. In particular, in three dimensions, we assume that the costs $W_{i,j,k}$ satisfy $W_{i,j,k}=a_{i,j}+b_{i,k}+c_{j,k}$ where the $a_{i,j},b_{i,k},c_{j,k}$ are independent exponential rate 1 random variables. Our objective is to minimize the total cost and we show that w.h.p. a simple greedy algorithm is a $(3+o(1))$-approximation. This is in contrast to the case where the $W_{i,j,k}$ are independent exponential rate 1 random variables. Here all that is known is an $n^{o(1)}$-approximation, due to Frieze and Sorkin.
A study on random permutation graphs
For a given permutation $π_n$ in $S_n$, a random permutation graph is formed by including an edge between two vertices $i$ and $j$ if and only if $(i - j) (π_n(i) - π_n (j)) < 0$. In this paper, we study various statistics of random permutation graphs. In particular, the degree of a given node, the number of nodes with a given degree, the number of isolated vertices, and the number of cliques are analyzed. Further, explicit formulas for the probabilities of having a given number of connected components and isolated vertices are obtained.
Four Deviations Suffice for Rank 1 Matrices
We prove a matrix discrepancy bound that strengthens the famous Kadison-Singer result of Marcus, Spielman, and Srivastava. Consider any independent scalar random variables $ξ_1, \ldots, ξ_n$ with finite support, e.g.
$\{ \pm 1 \}$ or $\{ 0,1 \}$-valued random variables, or some combination thereof. Let $u_1, \dots, u_n \in \mathbb{C}^m$ and $$ σ^2 = \left\| \sum_{i=1}^n \text{Var}[ ξ_i ] (u_i u_i^{*})^2 \right\|. $$ Then there exists a choice of outcomes $\varepsilon_1,\ldots,\varepsilon_n$ in the support of $ξ_1, \ldots, ξ_n$ s.t. $$ \left \|\sum_{i=1}^n \mathbb{E} [ ξ_i] u_i u_i^* - \sum_{i=1}^n \varepsilon_i u_i u_i^* \right \| \leq 4 σ. $$ A simple consequence of our result is an improvement of a Lyapunov-type theorem of Akemann and Weaver.
Constructions of Batch Codes via Finite Geometry
A primitive $k$-batch code encodes a string $x$ of length $n$ into string $y$ of length $N$, such that each multiset of $k$ symbols from $x$ has $k$ mutually disjoint recovering sets from $y$. We develop new explicit and random coding constructions of linear primitive batch codes based on finite geometry. In some parameter regimes, our proposed codes have lower redundancy than previously known batch codes.
Random Models of Idempotent Linear Maltsev Conditions. I. Idemprimality
We extend a well-known theorem of Murskiǐ to the probability space of finite models of a system $\mathcal{M}$ of identities of a strong idempotent linear Maltsev condition. We characterize the models of $\mathcal{M}$ in a way that can be easily turned into an algorithm for producing random finite models of $\mathcal{M}$, and we prove that under mild restrictions on $\mathcal{M}$, a random finite model of $\mathcal{M}$ is almost surely idemprimal. This implies that even if such an $\mathcal{M}$ is distinguishable from another idempotent linear Maltsev condition by a finite model $\mathbf{A}$ of $\mathcal{M}$, a random search for a finite model $\mathbf{A}$ of $\mathcal{M}$ with this property will almost surely fail.
V-monotone independence
We introduce and study a new notion of non-commutative independence, called V-monotone independence, which can be viewed as an extension of the monotone independence of Muraki. We investigate the combinatorics of mixed moments of V-monotone random variables and prove the central limit theorem. We obtain a combinatorial formula for the limit moments and we find the solution of the differential equation for the moment generating function in the implicit form.
Dismantlability, connectedness, and mixing in relational structures
The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a crucial role in many of those applications. For instance, in the decision CSPs, structural properties of the relational structures involved---like, for example, dismantlability---and their logical characterizations have been instrumental for determining the complexity and other properties of the problem. Topological properties of the solution set such as connectedness are related to the hardness of CSPs over random structures. Additionally, in approximate counting and statistical physics, where CSPs emerge in the form of spin systems, mixing properties and the uniqueness of Gibbs measures have been heavily exploited for approximating partition functions and free energy.
In spite of the great diversity of those features, there are some eerie similarities between them. These were observed and made more precise in the case of graph homomorphisms by Brightwell and Winkler, who showed that dismantlability of the target graph, connectedness of the set of homomorphisms, and good mixing properties of the corresponding spin system are all equivalent. In this paper we go a step further and demonstrate similar connections for arbitrary CSPs. This requires much deeper understanding of dismantling and the structure of the solution space in the case of relational structures, and new refined concepts of mixing introduced by Briceño. In addition, we develop properties related to the study of valid extensions of a given partially defined homomorphism, an approach that turns out to be novel even in the graph case. We also add to the mix the combinatorial property of finite duality and its logic counterpart, FO-definability, studied by Larose, Loten, and Tardif.