random
6952 papers tagged with this keyword
Limit shapes of large skew Young tableaux and a modification of the TASEP process
We present a survey of points of view on the problem of the asymptotic shape of a path between two large Young diagrams, and introduce a modification of the TASEP process related to it. This representation allows to write explicitly the functional, counting the asymptotics of the number of Young tableau close to a given one, as well as to see the sine-process on the boundary shape of a large random Young diagram.
The Ising antiferromagnet and max cut on random regular graphs
Published
• View Publication
• BIB
The Ising antiferromagnet is an important statistical physics model with close connections to the {\sc Max Cut} problem. Combining spatial mixing arguments with the method of moments and the interpolation method, we pinpoint the replica symmetry breaking phase transition predicted by physicists. Additionally, we rigorously establish upper bounds on the {\sc Max Cut} of random regular graphs predicted by Zdeborová and Boettcher [Journal of Statistical Mechanics 2010]. As an application we prove that the information-theoretic threshold of the disassortative stochastic block model on random regular graphs coincides with the Kesten-Stigum bound.
Geometry of the minimal spanning tree in the heavy-tailed regime: new universality classes
Published
• View Publication
• BIB
A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [31,32,38,70] is as follows: for a large class of random graph models with degree exponent $τ\in (3,4)$, the distance between two typical points on the minimal spanning tree (MST) on the giant component in the supercritical regime scales like $n^{(τ-3)/(τ-1)}$. The aim of this paper is to make progress towards a proof of this conjecture.
We consider a supercritical inhomogeneous random graph model with degree exponent $τ\in(3, 4)$ that is closely related to Aldous's multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by $n^{-(τ-3)/(τ-1)}$, converges in distribution with respect to the Gromov-Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals $(τ-1)/(τ-3)$.
The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.
A Macaulay2 Package for Stanley Simplicial Poset Ideals
We give a description of a new Macaulay2 package called SimplicialPosets. This package provides functions for working with simplicial posets and calculating their generalized Stanley-Reisner ideals. For practical purposes, we also introduce of a new random model for a class of simplicial posets which generalizes existing models for random simplicial complexes such as the Kahle model.
The geometry of random tournaments
Published in Discrete Comput. Geom. 71, No. 4, 1343-1351 (2024)
• View Publication
• BIB
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these results that work for any graph using zonotopes from convex geometry. A zonotope is a linear image of a cube. Moon's Theorem follows by identifying elements of the cube with distributions and the linear map as the expectation operator. Our proof of Landau's Theorem combines zonotopal tilings with the theory of mixed subdivisions. We also show that any mean score sequence can be realized by a tournament that is random within a subforest, and deterministic otherwise.
Homomorphisms from the torus
Published
• View Publication
• BIB
We present a detailed probabilistic and structural analysis of the set of weighted homomorphisms from the discrete torus $\mathbb{Z}_m^n$, where $m$ is even, to any fixed graph: we show that the corresponding probability distribution on such homomorphisms is close to a distribution defined constructively as a certain random perturbation of some dominant phase. This has several consequences, including solutions (in a strong form) to conjectures of Engbers and Galvin and a conjecture of Kahn and Park. Special cases include sharp asymptotics for the number of independent sets and the number of proper $q$-colourings of $\mathbb{Z}_m^n$ (so in particular, the discrete hypercube). We give further applications to the study of height functions and (generalised) rank functions on the discrete hypercube and disprove a conjecture of Kahn and Lawrenz. For the proof we combine methods from statistical physics, entropy and graph containers and exploit isoperimetric and algebraic properties of the torus.
Semi-random process without replacement
Published in Journal of Combinatorics, Vol. 14, No. 2 (2023), pp. 167-196
• View Publication
• BIB
Semi-random processes involve an adaptive decision-maker, whose goal is to achieve some pre-determined objective in an online randomized environment. We introduce and study a semi-random multigraph process, which forms a no-replacement variant of the process that was introduced by Ben-Eliezer, Hefetz, Kronenberg, Parczyk, Shikhelman and Stojaković (2020). The process starts with an empty graph on the vertex set $[n]$. For every positive integers $q$ and $1\leq r\leq n$, in the $((q-1)n+r)$th round of the process, the decision-maker, called \emph{Builder}, is offered the vertex $π_q(r)$, where $π_1, π_2, \ldots$ is a sequence of permutations in $S_n$, chosen independently and uniformly at random. Builder then chooses an additional vertex (according to a strategy of his choice) and connects it by an edge to $π_q(r)$.
For several natural graph properties, such as $k$-connectivity, minimum degree at least $k$, and building a given spanning graph (labeled or unlabeled), we determine the typical number of rounds Builder needs in order to construct a graph having the desired property. Along the way we introduce and analyze an urn model which may also have independent interest.
Typical and Extremal Aspects of Friends-and-Strangers Graphs
Published
• View Publication
• BIB
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected; we address this problem from two different perspectives. First, we address the case of "typical" $X$ and $Y$ by proving that if $X$ and $Y$ are independent Erdős-Rényi random graphs with $n$ vertices and edge probability $p$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ with high probability is $p=n^{-1/2+o(1)}$. Second, we address the case of "extremal" $X$ and $Y$ by proving that the smallest minimum degree of the $n$-vertex graphs $X$ and $Y$ that guarantees the connectedness of $\mathsf{FS}(X,Y)$ is between $3n/5+O(1)$ and $9n/14+O(1)$. When $X$ and $Y$ are bipartite, a parity obstruction forces $\mathsf{FS}(X,Y)$ to be disconnected. In this bipartite setting, we prove analogous "typical" and "extremal" results concerning when $\mathsf{FS}(X,Y)$ has exactly $2$ connected components; for the extremal question, we obtain a nearly exact result.
Longest common subsequences between words of very unequal length
We consider the expected length of the longest common subsequence between two random words of lengths $n$ and $(1-\varepsilon)kn$ over $k$-symbol alphabet. It is well-known that this quantity is asymptotic to $γ_{k,\varepsilon} n$ for some constant $γ_{k,\varepsilon}$. We show that $γ_{k,\varepsilon}$ is of the order $1-c\varepsilon^2$ uniformly in $k$ and $\varepsilon$. In addition, for large $k$, we give evidence that $γ_{k,\varepsilon}$ approaches $1-\tfrac{1}{4}\varepsilon^2$, and prove a matching lower bound.
Explicit SoS lower bounds from high-dimensional expanders
Published in In Proc. 12th Innovations in Theoretical Computer Science (ITCS), volume 185 of LipiCS, pages 40:1-40:16, 2021
• View Publication
• BIB
We construct an explicit family of 3XOR instances which is hard for $O(\sqrt{\log n})$ levels of the Sum-of-Squares hierarchy. In contrast to earlier constructions, which involve a random component, our systems can be constructed explicitly in deterministic polynomial time.
Our construction is based on the high-dimensional expanders devised by Lubotzky, Samuels and Vishne, known as LSV complexes or Ramanujan complexes, and our analysis is based on two notions of expansion for these complexes: cosystolic expansion, and a local isoperimetric inequality due to Gromov.
Our construction offers an interesting contrast to the recent work of Alev, Jeronimo and the last author~(FOCS 2019). They showed that 3XOR instances in which the variables correspond to vertices in a high-dimensional expander are easy to solve. In contrast, in our instances the variables correspond to the edges of the complex.
Infinite p-adic random matrices and ergodic decomposition of p-adic Hua measures
Published
• View Publication
• BIB
Neretin constructed an analogue of the Hua measures on the infinite $p$-adic matrices $Mat\left(\mathbb{N},\mathbb{Q}_p\right)$. Bufetov and Qiu classified the ergodic measures on $Mat\left(\mathbb{N},\mathbb{Q}_p\right)$ that are invariant under the natural action of $GL(\infty,\mathbb{Z}_p)\times GL(\infty,\mathbb{Z}_p)$. In this paper we solve the problem of ergodic decomposition for the $p$-adic Hua measures introduced by Neretin. We prove that the probability measure governing the ergodic decomposition has an explicit expression which identifies it with a Hall-Littlewood measure on partitions. Our arguments involve certain Markov chains.
Quasi-cliques in inhomogeneous random graphs
Given a graph $G$ and a constant $γ\in [0,1]$, let $ω^{(γ)}(G)$ be the largest integer $r$ such that there exists an $r$-vertex subgraph of $G$ containing at least $γ\binom{r}{2}$ edges. It was recently shown that $ω^{(γ)}(G)$ is highly concentrated when $G$ is an Erdős-Rényi random graph (Balister, Bollobás, Sahasrabudhe, Veremyev, 2019). This paper provides a simple method to extend that result to a setting of inhomogeneous random graphs, showing that $ω^{(γ)}(G)$ remains concentrated on a small range of values even if $G$ is an inhomogeneous random graph. Furthermore, we give an explicit expression for $ω^{(γ)}(G)$ and show that it depends primarily on the largest edge probability of the graph $G$.
Lecture Notes on "Random Matrices"
This in an introduction to random matrix theory, giving an impression of some of the most important aspects of this modern subject. In particular, it covers the basic combinatorial and analytic theory around Wigner's semicircle law, featuring also concentration phenomena, and the Tracy-Widom distribution of the largest eigenvalue. The circular law and a discussion of Voiculescu's multivariate extension of the semicircle law, as an appetizer for free probability theory, also make an appearance.
The material here was presented in the winter term 2019/20 at Saarland University in 24 lectures of 90 minutes each. The lectures were recorded and can be found online at https://www.math.uni-sb.de/ag/speicher/web_video/index.html.
Asymptotic Degree of Random Monomial Ideals
Published
• View Publication
• BIB
One of the fundamental invariants connecting algebra and geometry is the degree of an ideal. In this paper we derive the probabilistic behavior of degree with respect to the versatile Erdős-Rényi-type model for random monomial ideals defined in \cite{rmi}. We study the staircase structure associated to a monomial ideal, and show that in the random case the shape of the staircase diagram is approximately hyperbolic, and this behavior is robust across several random models. Since the discrete volume under this staircase is related to the summatory higher-order divisor function studied in number theory, we use this connection and our control over the shape of the staircase diagram to derive the asymptotic degree of a random monomial ideal. Another way to compute the degree of a monomial ideal is with a standard pair decomposition. This paper derives bounds on the number of standard pairs of a random monomial ideal indexed by any subset of the ring variables. The standard pairs indexed by maximal subsets give a count of degree, as well as being a more nuanced invariant of the random monomial ideal.
Ollivier curvature of random geometric graphs converges to Ricci curvature of their Riemannian manifolds
Published in Discrete & Computational Geometry, v.70(3), p.671-712 , 2023
• View Publication
• BIB
Curvature is a fundamental geometric characteristic of smooth spaces. In recent years different notions of curvature have been developed for combinatorial discrete objects such as graphs. However, the connections between such discrete notions of curvature and their smooth counterparts remain lurking and moot. In particular, it is not rigorously known if any notion of graph curvature converges to any traditional notion of curvature of smooth space. Here we prove that in proper settings the Ollivier-Ricci curvature of random geometric graphs in Riemannian manifolds converges to the Ricci curvature of the manifold. This is the first rigorous result linking curvature of random graphs to curvature of smooth spaces. Our results hold for different notions of graph distances, including the rescaled shortest path distance, and for different graph densities. With the scaling of the average degree, as a function of the graph size, ranging from nearly logarithmic to nearly linear.
Threshold rates for properties of random codes
Published
• View Publication
• BIB
Suppose that $P$ is a property that may be satisfied by a random code $C \subset Σ^n$. For example, for some $p \in (0,1)$, ${P}$ might be the property that there exist three elements of $C$ that lie in some Hamming ball of radius $pn$. We say that $R^*$ is the threshold rate for ${P}$ if a random code of rate $R^* + ε$ is very likely to satisfy ${P}$, while a random code of rate $R^* - ε$ is very unlikely to satisfy ${P}$. While random codes are well-studied in coding theory, even the threshold rates for relatively simple properties like the one above are not well understood.
We characterize threshold rates for a rich class of properties. These properties, like the example above, are defined by the inclusion of specific sets of codewords which are also suitably "symmetric". For properties in this class, we show that the threshold rate is in fact equal to the lower bound that a simple first-moment calculation obtains. Our techniques not only pin down the threshold rate for the property ${P}$ above, they give sharp bounds on the threshold rate for list-recovery in several parameter regimes, as well as an efficient algorithm for estimating the threshold rates for list-recovery in general.
Random walks on generalized visible lattice points
We consider the proportion of generalized visible lattice points in the plane visited by random walkers. Our work concerns the visible lattice points in random walks in three aspects: (1) generalized visibility along curves; (2) one random walker visible from multiple watchpoints; (3) simultaneous visibility of multiple random walkers. Moreover, we found new phenomenon in the case of multiple random walkers: for visibility along a large class of curves and for any number of random walkers, the proportion of steps at which all random walkers are visible simultaneously is almost surely larger than a positive constant.
Connectedness matters: Construction and exact random sampling of connected graphs
Published
• View Publication
• BIB
We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non-trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge-switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale-free example, as well as on degree sequences of connected real-world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.
New upper bounds for trace reconstruction
Published
• View Publication
• BIB
We show that any $n$-bit string can be recovered with high probability from $\exp(\widetilde{O}(n^{1/5}))$ independent random subsequences.
Probabilistic analysis of algorithms for cost constrained minimum weighted combinatorial objects
Published in Oper. Res. Lett. 49 (2021), no. 3, 400-404
• View Publication
• BIB
We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polynomial time algorithms that produce asymptotically optimal solutions. For the spanning tree problem, we allow $r>1$, but for the assignment problem we can only analyse the case $r=1$.