random
7100 papers tagged with this keyword
Geometric Systems of Unbiased Representatives
Published
• View Publication
• BIB
Let $P$ be a set of points in $\mathbb{R}^d$, $B$ a bicoloring of $P$ and $\Oo$ a family of geometric objects (that is, intervals, boxes, balls, etc). An object from $\Oo$ is called balanced with respect to $B$ if it contains the same number of points from each color of $B$. For a collection $\B$ of bicolorings of $P$, a geometric system of unbiased representatives (G-SUR) is a subset $\Oo'\subseteq\Oo$ such that for any bicoloring $B$ of $\B$ there is an object in $\Oo'$ that is balanced with respect to $B$.
We study the problem of finding G-SURs. We obtain general bounds on the size of G-SURs consisting of intervals, size-restricted intervals, axis-parallel boxes and Euclidean balls. We show that the G-SUR problem is NP-hard even in the simple case of points on a line and interval ranges. Furthermore, we study a related problem on determining the size of the largest and smallest balanced intervals for points on the real line with a random distribution and coloring.
Our results are a natural extension to a geometric context of the work initiated by Balachandran et al. on arbitrary systems of unbiased representatives.
An Optimal Decentralized $(Δ+ 1)$-Coloring Algorithm
Consider the following simple coloring algorithm for a graph on $n$ vertices. Each vertex chooses a color from $\{1, \dotsc, Δ(G) + 1\}$ uniformly at random. While there exists a conflicted vertex choose one such vertex uniformly at random and recolor it with a randomly chosen color. This algorithm was introduced by Bhartia et al. [MOBIHOC'16] for channel selection in WIFI-networks. We show that this algorithm always converges to a proper coloring in expected $O(n \log Δ)$ steps, which is optimal and proves a conjecture of Chakrabarty and Supinski [SOSA'20].
The random 2-SAT partition function
Published
• View Publication
• BIB
We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.
Weighted Dyck paths for nonstationary queues
Published
• View Publication
• BIB
We consider a model for a queue in which only a fixed number $N$ of customers can join. Each customer joins the queue independently at an exponentially distributed time. Assuming further that the service times are independent and follow an exponential distribution, this system can be described as a two-dimensional Markov process on a finite triangular region $\mathfrak S$ of the square lattice. We interpret the resulting random walk on $\mathfrak S$ as a Dyck path that is weighted according to some state-dependent transition probabilities that are constant along one axis, but are rather general otherwise. We untangle the resulting intricate combinatorial structure by introducing appropriate generating functions that exploit the recursive structure of the model. This allows us to derive a fully explicit expression for the probability density function of the number of customers served in any busy period (equivalently, of the length of any excursion of the Dyck path above the diagonal) as a weighted sum with alternating sign over a certain subclass of Dyck paths, whose study is of independent interest.
Drawings of complete graphs in the projective plane
Published
• View Publication
• BIB
Hill's Conjecture states that the crossing number $\text{cr}(K_n)$ of the complete graph $K_n$ in the plane (equivalently, the sphere) is $\frac{1}{4}\lfloor\frac{n}{2}\rfloor\lfloor\frac{n-1}{2}\rfloor\lfloor\frac{n-2}{2}\rfloor\lfloor\frac{n-3}{2}\rfloor=n^4/64 + O(n^3)$. Moon proved that the expected number of crossings in a spherical drawing in which the points are randomly distributed and joined by geodesics is precisely $n^4/64+O(n^3)$, thus matching asymptotically the conjectured value of $\text{cr}(K_n)$. Let $\text{cr}_P(G)$ denote the crossing number of a graph $G$ in the projective plane. Recently, Elkies proved that the expected number of crossings in a naturally defined random projective plane drawing of $K_n$ is $(n^4/8π^2)+O(n^3)$. In analogy with the relation of Moon's result to Hill's conjecture, Elkies asked if $\lim_{n\to\infty} \text{cr}_P(K_n)/n^4=1/8π^2$. We construct drawings of $K_n$ in the projective plane that disprove this.
Limits of multiplicative inhomogeneous random graphs and Lévy trees: Limit theorems
Published
• View Publication
• BIB
We consider a natural model of inhomogeneous random graphs that extends the classical Erd\H os-Rényi graphs and shares a close connection with the multiplicative coalescence, as pointed out by Aldous [AOP 1997]. In this model, the vertices are assigned weights that govern their tendency to form edges. It is by looking at the asymptotic distributions of the masses (sum of the weights) of the connected components of these graphs that Aldous and Limic [EJP 1998] have identified the entrance boundary of the multiplicative coalescence, which is intimately related to the excursion lengths of certain Lévy-type processes. We, instead, look at the metric structure of these components and prove their Gromov-Hausdorff-Prokhorov convergence to a class of random compact measured metric spaces that have been introduced in a companion paper. Our asymptotic regimes relate directly to the general convergence condition appearing in the work of Aldous and Limic. Our techniques provide a unified approach for this general "critical" regime, and relies upon two key ingredients: an encoding of the graph by some Lévy process as well as an embedding of its connected components into Galton-Watson forests. This embedding transfers asymptotically into an embedding of the limit objects into a forest of Lévy trees, which allows us to give an explicit construction of the limit objects from the excursions of the Lévy-type process. The mains results combined with the ones in the other paper allow us to extend and complement several previous results that had been obtained via regime-specific proofs, for instance: the case of Erd\H os-Rényi random graphs obtained by Addario-Berry, Goldschmidt and B. [PTRF 2012], the asymptotic homogeneous case as studied by Bhamidi, Sen and Wang [PTRF 2017], or the power-law case as considered by Bhamidi, Sen and van der Hofstad [PTRF 2018].
The Genius Conjectures (via Bell Polynomials)
We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.
On discrete surfaces: Enumerative geometry, matrix models and universality classes via topological recursion
The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. Our problems have a powerful relatively recent tool in common, the so-called topological recursion (TR) introduced by Chekhov, Eynard and Orantin.
We call a map fully simple if it has non self-intersecting disjoint boundaries, and ordinary if such a restriction is not imposed. We study the combinatorial relation between fully simple and ordinary maps with the topology of a disk or a cylinder, which reproduces relations between moments and free cumulants established in the context of free probability. We propose a combinatorial interpretation of the exchange symplectic transformation of TR. We provide a matrix model interpretation for fully simple maps via the formal hermitian matrix model with external field and deduce a universal relation between generating series of fully simple and ordinary maps, which involves double monotone Hurwitz numbers. In particular, we obtain an ELSV-like formula for double $2$-orbifold strictly monotone Hurwitz numbers.
We consider ordinary maps endowed with an $O(\mathsf{n})$ loop model, which is a classical model in statistical physics, and determine which shapes are more likely to occur by looking at the nesting properties of the loops decorating the maps. We want to study the limiting objects when the number of vertices becomes arbitrarily large, which can be done by studying the generating series at dominant singularities. We analyze the nesting statistics in the $O(\mathsf{n})$ loop model on random maps of arbitrary topologies in the presence of large and small boundaries, relying on previous results for disks and cylinders and TR for this model. We study the generating series of maps which realize a fixed nesting graph and characterize their critical behavior in the dense and dilute phases.
Avoidance couplings on non-complete graphs
Published
• View Publication
• BIB
A coupling of random walkers on the same finite graph, who take turns sequentially, is said to be an avoidance coupling if the walkers never collide. Previous studies of these processes have focused almost exclusively on complete graphs, in particular how many walkers an avoidance coupling can include. For other graphs, apart from special cases, it has been unsettled whether even two non-colliding simple random walkers can be coupled. In this article, we construct such a coupling on (i) any $d$-regular graph avoiding a fixed subgraph depending on $d$; and (ii) any square-free graph with minimum degree at least three. A corollary of the first result is that a uniformly random regular graph on $n$ vertices admits an avoidance coupling with high probability.
Three lectures on random proper colorings of $\mathbb{Z}^d$
A proper $q$-coloring of a graph is an assignment of one of $q$ colors to each vertex of the graph so that adjacent vertices are colored differently. Sample uniformly among all proper $q$-colorings of a large discrete cube in the integer lattice $\mathbb{Z}^d$. Does the random coloring obtained exhibit any large-scale structure? Does it have fast decay of correlations? We discuss these questions and the way their answers depend on the dimension $d$ and the number of colors $q$. The questions are motivated by statistical physics (anti-ferromagnetic materials, square ice), combinatorics (proper colorings, independent sets) and the study of random Lipschitz functions on a lattice. The discussion introduces a diverse set of tools, useful for this purpose and for other problems, including spatial mixing, entropy and coupling methods, Gibbs measures and their classification and refined contour analysis.
Stable and Discriminative Topological Graph Analysis
We propose a novel method for topological analysis of unweighted graphs which is based on \textit{persistent homology}. The proposed method maps the input graph to a complete weighted graph where the weighting function maps each edge to a value indicating the degree to which it belongs to a clique. The persistent homology of this weighted graph is subsequently computed to give a topological representation describing the topological features of the input graph plus their significance.
A formal and experimental analysis of the proposed and existing methods for topological graph analysis is presented. Through this analysis, we find that the proposed method possesses the properties of being stable and performing accurate discrimination. Therefore this method can make accurate inferences regarding the topological features of a given graph. On the other hand, we find that the existing methods considered do not possess these properties making it difficult from them to make such inferences. These findings are experimentally demonstrated using a number of random and real world graphs.
Cycle type factorizations in $\mathrm{GL}_n \mathbb{F}_q$
Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the factorizations of permutations into products of $n$-cycles. We study the analogous problem in $\mathrm{GL}_n \mathbb{F}_q$ of enumerating factorizations into products of regular elliptic elements. More precisely, we define a notion of cycle type for $\mathrm{GL}_n \mathbb{F}_q$ and seek to enumerate the tuples of a fixed number of regular elliptic elements whose product has a given cycle type. In some special cases, we provide explicit formulas, using a standard character-theoretic technique due to Frobenius by introducing simplified formulas for the necessary character values. We also address, for large $q$, the problem of computing the probability that the product of a random tuple of regular elliptic elements has a given cycle type. We conclude with some results about the polynomiality of our enumerative formulas and some open problems.
On the number of alternating paths in random graphs
Published
• View Publication
• BIB
In the noisy channel model from coding theory, we wish to detect errors introduced during transmission by optimizing various parameters of the code. Bennett, Dudek, and LaForge framed a variation of this problem in the language of alternating paths in edge-colored complete bipartite graphs in 2016. Here, we extend this problem to the random graph $\mathbb{G}(n,p)$. We seek the alternating connectivity, $κ_{r,\ell}(G)$, which is the maximum $t$ such that there is an $r$-edge-coloring of $G$ such that any pair of vertices is connected by $t$ internally disjoint and alternating (i.e. no consecutive edges of the same color) paths of length $\ell$. We have three main results about how this parameter behaves in $\mathbb{G}(n,p)$ that basically cover all ranges of $p$: one for paths of length two, one for the dense case, and one for the sparse case. For paths of length two, we found that $κ_{r,\ell}(G)$ is essentially the codegree of a pair of vertices. For the dense case when $p$ is constant, we were able to achieve the natural upper bounds of minimum degree (minus some intersection) or the total number of disjoint paths between a pair of vertices. For the sparse case, we were able to find colorings that achieved the natural obstructions of minimum degree or (in a slightly less precise result) the total number of paths of a certain length in a graph. We broke up this sparse case into ranges of $p$ corresponding to when $\mathbb{G}(n,p)$ has diameter $k$ or $k+1$. We close with some remarks about a similar parameter and a generalization to pseudorandom graphs.
Distribution of missing differences in diffsets
Published
• View Publication
• BIB
Lazarev, Miller and O'Bryant investigated the distribution of $|S+S|$ for $S$ chosen uniformly at random from $\{0, 1, \dots, n-1\}$, and proved the existence of a divot at missing 7 sums (the probability of missing exactly 7 sums is less than missing 6 or missing 8 sums). We study related questions for $|S-S|$, and shows some divots from one end of the probability distribution, $P(|S-S|=k)$, as well as a peak at $k=4$ from the other end, $P(2n-1-|S-S|=k)$. A corollary of our results is an asymptotic bound for the number of complete rulers of length $n$.
The geometric Burge correspondence and the partition function of polymer replicas
Published in Sel. Math. New Ser. 27, #100 (2021)
• View Publication
• BIB
We construct a geometric lifting of the Burge correspondence as a composition of local birational maps on generic Young-diagram-shaped arrays. We establish its fundamental relation to the geometric Robinson-Schensted-Knuth correspondence and to the geometric Schützenberger involution. We also show a number of properties of the geometric Burge correspondence, specializing them to the case of symmetric input arrays. In particular, our construction shows that such a mapping is volume preserving in log-log variables. As an application, we consider a model of two polymer paths of given length constrained to have the same endpoint, known as polymer replica. We prove that the distribution of the polymer replica partition function in a log-gamma random environment is a Whittaker measure, and deduce the corresponding Whittaker integral identity. For a certain choice of the parameters, we notice a distributional identity between our model and the symmetric log-gamma polymer studied by O'Connell, Seppäläinen, and Zygouras (2014).
Counting directed acyclic and elementary digraphs
Directed acyclic graphs (DAGs) can be characterised as directed graphs whose strongly connected components are isolated vertices. Using this restriction on the strong components, we discover that when $m = cn$, where $m$ is the number of directed edges, $n$ is the number of vertices, and $c < 1$, the asymptotic probability that a random digraph is acyclic is an explicit function $p(c)$, such that $p(0) = 1$ and $p(1) = 0$. When $m = n(1 + μn^{-1/3})$, the asymptotic behaviour changes, and the probability that a digraph is acyclic becomes $n^{-1/3} C(μ)$, where $C(μ)$ is an explicit function of $μ$. Łuczak and Seierstad (2009, Random Structures & Algorithms, 35(3), 271--293) showed that, as $μ\to -\infty$, the strongly connected components of a random digraph with $n$ vertices and $m = n(1 + μn^{-1/3})$ directed edges are, with high probability, only isolated vertices and cycles. We call such digraphs elementary digraphs. We express the probability that a random digraph is elementary as a function of $μ$. Those results are obtained using techniques from analytic combinatorics, developed in particular to study random graphs.
The Eternal Game Chromatic Number of Random Graphs
Published in European Journal of Combinatorics 95 (2021) 103324
• Search Publication
The eternal graph colouring problem, recently introduced by Klostermeyer and Mendoza, is a version of the graph colouring game, where two players take turns properly colouring a graph. In this note, we study the eternal game chromatic number of random graphs. We show that with high probability $χ_{g}^{\infty}(G_{n,p}) = (\frac{p}{2} + o(1))n$ for odd $n$, and also for even $n$ when $p=\frac{1}{k}$ for some $k \in \mathbb{N}$. The upper bound applies for even $n$ and any other value of $p$ as well, but we conjecture in this case this upper bound is not sharp. Finally, we answer a question posed by Klostermeyer and Mendoza.
High dimensional expansion using zig-zag product
We wish to renew the discussion over recent combinatorial structures that are 3-uniform hypergraph expanders, viewing them in a more general perspective, shedding light on a previously unknown relation to the zig-zag product. We do so by introducing a new structure called triplet structure, that maintains the same local environment around each vertex. The structure is expected to yield, in some cases, a bounded family of hypergraph expanders whose 2-dimensional random walk converges. We have applied the results obtained here to several known constructions, obtaining a better expansion rate than previously known. Namely, we did so in the case of Conlon's construction and the $S=[1,1,0]$ construction by Chapman, Linal and Peled.
Optimal stopping for many connected components in a graph
Published in Random Structures & Algorithms 59 (2021), no. 2, 267-287
• View Publication
• BIB
We study a new optimal stopping problem: Let $G$ be a fixed graph with $n$ vertices which become active on-line in time, one by another, in a random order. The active part of $G$ is the subgraph induced by the active vertices. Find a stopping algorithm that maximizes the expected number of connected components of the active part of $G$. We prove that if $G$ is a $k$-tree, then there is no asymptotically better algorithm than `wait until $\frac{1}{k+1}$ fraction of vertices'. The maximum expected number of connected components equals to $$\left(\frac{k^k}{(k+1)^{k+1}}+o(1)\right)n.$$
Hypergroups and distance distributions of random walks on graphs
Published
• View Publication
• BIB
Wildberger's construction enables us to obtain a hypergroup from a special graph via random walks. We will give a probability theoretic interpretation to products on the hypergroup. The hypergroup can be identified with a commutative algebra whose basis is transition matrices. We will estimate the operator norm of such a transition matrix and clarify a relationship between their matrix products and random walks.