random
7100 papers tagged with this keyword
On the power of choice for Boolean functions
Published
• View Publication
• BIB
In this paper we consider a variant of the well-known Achlioptas process for graphs adapted to monotone Boolean functions. Fix a number of choices $r\in \mathbb N$ and a sequence of increasing functions $(f_n)_{n\ge 1}$ such that, for every $n\ge 1$, $f_n:\{0,1\}^n\mapsto \{0,1\}$. Given $n$ bits which are all initially equal to 0, at each step $r$ 0-bits are sampled uniformly at random and are proposed to an agent. Then, the agent selects one of the proposed bits and turns it from 0 to 1 with the goal to reach the preimage of 1 as quickly as possible. We nearly characterize the conditions under which an acceleration by a factor of $r(1+o(1))$ is possible, and underline the wide applicability of our results by giving examples from the fields of Boolean functions and graph theory.
The chromatic number of random lifts of complete graphs
An $n$-lift of a graph $G$ is a graph from which there is an $n$-to-$1$ covering map onto $G$. Amit, Linial, and Matou\v sek (2002) raised the question of whether the chromatic number of a random $n$-lift of $K_5$ is concentrated on a single value. We consider this problem for $G=K_{d+1}$, and show that for fixed $d\ge 3$ the chromatic number of a random lift of $K_d$ is (asymptotically almost surely) either $k$ or $k+1$, where $k$ is the smallest integer satisfying $d < 2k \log k$. Moreover, we show that, for roughly half of the values of $d$, the chromatic number is concentrated on $k$. The argument for the upper-bound on the chromatic number uses the small subgraph conditioning method, and it can be extended to random $n$-lifts of $G$, for any fixed $d$-regular graph $G$.
Counting colorings of triangle-free graphs
Published
• View Publication
• BIB
By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $Δ$-regular graphs. When $q = (1 + o(1)) Δ/\log Δ$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log Δ}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $χ(G) \leq (1 + o(1))Δ/\log Δ$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson).
Compact Redistricting Plans Have Many Spanning Trees
Published
• View Publication
• BIB
In the design and analysis of political redistricting maps, it is often useful to be able to sample from the space of all partitions of the graph of census blocks into connected subgraphs of equal population. There are influential Markov chain Monte Carlo methods for doing so that are based on sampling and splitting random spanning trees. Empirical evidence suggests that the distributions such algorithms sample from place higher weight on more "compact" redistricting plans, which is a practically useful and desirable property. In this paper, we confirm these observations analytically, establishing an inverse exponential relationship between the total length of the boundaries separating districts and the probability that such a map will be sampled. This result provides theoretical underpinnings for algorithms that are already making a significant real-world impact.
Punctured Low-Bias Codes Behave Like Random Linear Codes
Published
• View Publication
• BIB
Random linear codes are a workhorse in coding theory, and are used to show the existence of codes with the best known or even near-optimal trade-offs in many noise models. However, they have little structure besides linearity, and are not amenable to tractable error-correction algorithms.
In this work, we prove a general derandomization result applicable to random linear codes. Namely, in settings where the coding-theoretic property of interest is "local" (in the sense of forbidding certain bad configurations involving few vectors -- code distance and list-decodability being notable examples), one can replace random linear codes (RLCs) with a significantly derandomized variant with essentially no loss in parameters. Specifically, instead of randomly sampling coordinates of the (long) Hadamard code (which is an equivalent way to describe RLCs), one can randomly sample coordinates of any code with low bias. Over large alphabets, the low bias requirement can be weakened to just large distance. Furthermore, large distance suffices even with a small alphabet in order to match the current best known bounds for RLC list-decodability.
In particular, by virtue of our result, all current (and future) achievability bounds for list-decodability of random linear codes extend automatically to random puncturings of any low-bias (or large alphabet) "mother" code. We also show that our punctured codes emulate the behavior of RLCs on stochastic channels, thus giving a derandomization of RLCs in the context of achieving Shannon capacity as well. Thus, we have a randomness-efficient way to sample codes achieving capacity in both worst-case and stochastic settings that can further inherit algebraic or other algorithmically useful structural properties of the mother code.
Many nodal domains in random regular graphs
Published
• View Publication
• BIB
Let $G$ be a random $d$-regular graph. We prove that for every constant $α> 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-α$ has $Ω(n/$polylog$(n))$ nodal domains.
Stolarsky-Puebla index
We introduce a degree-based variable topological index inspired on the Stolarsky mean (known as the generalization of the logarithmic mean). We name this new index as the Stolarsky-Puebla index: $SP_α(G) = \sum_{uv \in E(G)} d_u$, if $d_u=d_v$, and $SP_α(G) = \sum_{uv \in E(G)} \left[\left( d_u^α-d_v^α\right)/\left( α(d_u-d_v\right)\right]^{1/(α-1)}$, otherwise. Here, $uv$ denotes the edge of the network $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R} \backslash \{0,1\}$. Indeed, for given values of $α$, the Stolarsky-Puebla index reproduces well-known topological indices such as the reciprocal Randic index, the first Zagreb index, and several mean Sombor indices. Moreover, we apply these indices to random networks and demonstrate that $\left< SP_α(G) \right>$, normalized to the order of the network, scale with the corresponding average degree $\left< d \right>$.
Excessive symmetry can preclude cutoff
Published
• View Publication
• BIB
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.
On average hitting time and Kemeny's constant for weighted trees
For a connected graph $G$, the average hitting time $α(G)$ and the Kemeny's constant $κ(G)$ are two similar quantities, both measuring the time for the random walk on $G$ to travel between two randomly chosen vertices. We prove that, among all weighted trees whose edge-weights form a fixed multiset, $α$ is maximized by a special type of "polarized" paths and is minimized by a unique weighted star graph. We also give a short proof of the fact that, among all simple trees of a fixed size, $κ$ is maximized by the path and is minimized by the star graph. Our proofs are based on the forest formulas for the average hitting time and the Kemeny's constant.
Walk/Zeta Correspondence for quantum and correlated random walks
Published in Yokohama Math. J. Vol.67, pp.125-152 (2021)
• Search Publication
In this paper, following the recent paper on Walk/Zeta Correspondence by the first author and his coworkers, we compute the zeta function for the three- and four-state quantum walk and correlated random walk, and the multi-state random walk on the one-dimensional torus by using the Fourier analysis. We deal with also the four-state quantum walk and correlated random walk on the two-dimensional torus. In addition, we introduce a new class of models determined by the generalized Grover matrix bridging the gap between the Grover matrix and the positive-support of the Grover matrix. Finally, we give a generalized version of the Konno-Sato theorem for the new class. As a corollary, we calculate the zeta function for the generalized Grover matrix on the d-dimensional torus.
Asymptotic Bounds for CO-irredundant and Irredundant Ramsey Numbers
Published
• View Publication
• BIB
A set of vertices $X\subseteq V$ in a simple graph $G(V,E)$ is irredundant (CO-irredundant) if each vertex $x\in X$ is either isolated in the induced subgraph $G[X]$ or else has a private neighbor $y\in V\setminus X$ ($y\in V$) that is adjacent to $x$ and to no other vertex of $X$. The irredundant Ramsey number $s(t_{1},\ldots,t_{l})$, CO-irredundant Ramsey number $s_{\operatorname{CO}}(t_{1},\ldots,t_{l})$, is the minimum $N$ such that every $l$-coloring of the edges of the complete graph $K_{N}$ on $N$ vertices has a monochromatic irredundant set, a monochromatic CO-irredundant set, of size $t_{i}$ for some $1\leq i\leq l$, respectively. In this paper, firstly, we establish a lower bound for the irredundant Ramsey number $s(t_{1},\ldots,t_{l})$ by a random and probabilistic method. Secondly, we improve an upper bound for $s(3,9)$ such that $24\leq s(3,9)\leq 26$. Thirdly, using Krivelevich's lemma, we establish an asymptotic lower bound for the $\operatorname{CO}$-irredundant Ramsey number $s_{\operatorname{CO}}(m,n)$.
On the chromatic number of graphons
We extend Bollobas' classical result on the chromatic number of a binomial random graph to the exchangeable random graph model $\mathcal{G}(n,W)$ defined by a graphon $W:[0,1]^2 \rightarrow [0,1]$, which is a symmetric measurable function. In the case when $W$ can be approximated by block graphons in $\mathcal{L}^{\infty}$-norm, we show that asymptotically optimal value of the number of colours required for $\mathcal{G}(n,W)$ is determined by colouring strategies that use a finite number of different types of colour classes. Furthermore, if $W$ is a block graphon with $k\times k$ blocks then $k$ types of colour classes are sufficient. We also show that if $W$ is block-increasing or block-Lipschitz then such colouring strategies that use $k$ types determine the chromatic number up to a multiplicative error of order $O(k^{-1})$.
The $n$-queens problem
The famous $n$-queens problem asks how many ways there are to place $n$ queens on an $n \times n$ chessboard so that no two queens can attack one another. The toroidal $n$-queens problem asks the same question where the board is considered on the surface of the torus and was asked by Pólya in 1918. Let $Q(n)$ denote the number of $n$-queens configurations on the classical board and $T(n)$ the number of toroidal $n$-queens configurations. Pólya showed that $T(n)>0$ if and only if $n \equiv 1,5 \mod 6$ and much more recently, in 2017, Luria showed that $T(n)\leq ((1+o(1))ne^{-3})^n$ and conjectured equality when $n \equiv 1,5 \mod 6$. Our main result is a proof of this conjecture, thus answering Pólya's question asymptotically. Furthermore, we also show that $Q(n)\geq((1+o(1))ne^{-3})^n$ for all $n$ sufficiently large, which was independently proved by Luria and Simkin. Combined with our main result and an upper bound of Luria, this completely settles a conjecture of Rivin, Vardi and Zimmmerman from 1994 regarding both $Q(n)$ and $T(n)$. Our proof combines a random greedy algorithm to count 'almost' configurations with a complex absorbing strategy that uses ideas from the recently developed methods of randomised algebraic construction and iterative absorption.
The interplay of different metrics for the construction of constant dimension codes
Published in Advances in Mathematics of Communications, 17(1):152--171, 2023
• View Publication
• BIB
A basic problem for constant dimension codes is to determine the maximum possible size $A_q(n,d;k)$ of a set of $k$-dimensional subspaces in $\mathbb{F}_q^n$, called codewords, such that the subspace distance satisfies $d_S(U,W):=2k-2\dim(U\cap W)\ge d$ for all pairs of different codewords $U$, $W$. Constant dimension codes have applications in e.g.\ random linear network coding, cryptography, and distributed storage. Bounds for $A_q(n,d;k)$ are the topic of many recent research papers. Providing a general framework we survey many of the latest constructions and show up the potential for further improvements. As examples we give improved constructions for the cases $A_q(10,4;5)$, $A_q(11,4;4)$, $A_q(12,6;6)$, and $A_q(15,4;4)$. We also derive general upper bounds for subcodes arising in those constructions.
On Characterization of Finite Geometric Distributive Lattices
A Lattice is a partially ordered set where both least upper bound and greatest lower bound of any pair of elements are unique and exist within the set. Kötter and Kschischang proved that codes in the linear lattice can be used for error and erasure-correction in random networks. Codes in the linear lattice have previously been shown to be special cases of codes in modular lattices. Two well known classifications of semimodular lattices are geometric and distributive lattices. Most of the frequently used coding spaces are examples of either or both. We have identified the unique criterion which makes a geometric lattice distributive, thus characterizing all finite geometric distributive lattices. Our characterization helps to prove a conjecture regarding the maximum size of a distributive sublattice of a finite geometric lattice and identify the maximal case. The Whitney numbers of the class of geometric distributive lattices are also calculated. We present a few other applications of this unique characterization to derive certain results regarding linearity and complements in the linear lattice.
Free Fermion Six Vertex Model: Symmetric Functions and Random Domino Tilings
Published
• View Publication
• BIB
Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$.
In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model.
We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.
Cycle saturation in random graphs
Published
• View Publication
• BIB
For a fixed graph $F,$ the minimum number of edges in an edge-maximal $F$-free subgraph of $G$ is called the $F$-saturation number. The asymptotics of the $F$-saturation number of the binomial random graph $G(n,p)$ for constant $p\in(0,1)$ is known for complete graphs $F=K_m$ and stars $F=K_{1,m}.$ This paper is devoted to the case when the pattern graph $F$ is a simple cycle $C_m.$ We prove that, for $m\geqslant 5,$ whp $\mathrm{sat}\left(G\left(n,p\right),C_m\right) = n+Θ\left(\frac{n}{\ln n}\right).$ Also we find $c=c(p)$ such that whp $\frac{3}{2}n(1+o(1))\leqslant\mathrm{sat}\left(G\left(n,p\right),C_4\right)\leqslant cn(1+o(1)).$ In particular, whp $\mathrm{sat}\left(G\left(n,\frac{1}{2}\right),C_4\right)\leqslant\frac{27}{14}n(1+o(1)).$
Ramsey simplicity of random graphs
Published in Combinator. Probab. Comp. 34 (2025) 298-320
• View Publication
• BIB
A graph $G$ is $q$-Ramsey for another graph $H$ if in any $q$-edge-colouring of $G$ there is a monochromatic copy of $H$, and the classic Ramsey problem asks for the minimum number of vertices in such a graph. This was broadened in the seminal work of Burr, Erdős, and Lovász to the investigation of other extremal parameters of Ramsey graphs, including the minimum degree.
It is not hard to see that if $G$ is minimally $q$-Ramsey for $H$ we must have $δ(G) \ge q(δ(H) - 1) + 1$, and we say that a graph $H$ is $q$-Ramsey simple if this bound can be attained. Grinshpun showed that this is typical of rather sparse graphs, proving that the random graph $G(n,p)$ is almost surely $2$-Ramsey simple when $\frac{\log n}{n} \ll p \ll n^{-2/3}$. In this paper, we explore this question further, asking for which pairs $p = p(n)$ and $q = q(n,p)$ we can expect $G(n,p)$ to be $q$-Ramsey simple. We resolve the problem for a wide range of values of $p$ and $q$; in particular, we uncover some interesting behaviour when $n^{-2/3} \ll p \ll n^{-1/2}$.
A Characterization of the Realizable Matoušek Unique Sink Orientations
The Matoušek LP-type problems were used by Matoušek to show that the Sharir-Welzl algorithm may require at least subexponential time. Later, Gärtner translated this result into the language of Unique Sink Orientations (USOs) and introduced the Matoušek USOs, the USOs equivalent to Matoušek's LP-type problems. He further showed that the Random Facet algorithm only requires quadratic time on the realizable subset of the Matoušek USOs, but without characterizing this subset. In this paper, we deliver this missing characterization and also provide concrete realizations for all realizable Matoušek USOs. Furthermore, we show that the realizable Matoušek USOs are exactly the orientations arising from simple extensions of cyclic-P-matroids.
Approximately counting independent sets in bipartite graphs via graph containers
Published
• View Publication
• BIB
By implementing algorithmic versions of Sapozhenko's graph container methods, we give new algorithms for approximating the number of independent sets in bipartite graphs. Our first algorithm applies to $d$-regular, bipartite graphs satisfying a weak expansion condition: when $d$ is constant, and the graph is a bipartite $Ω( \log^2 d/d)$-expander, we obtain an FPTAS for the number of independent sets. Previously such a result for $d>5$ was known only for graphs satisfying the much stronger expansion conditions of random bipartite graphs. The algorithm also applies to weighted independent sets: for a $d$-regular, bipartite $α$-expander, with $α>0$ fixed, we give an FPTAS for the hard-core model partition function at fugacity $λ=Ω(\log d / d^{1/4})$. Finally we present an algorithm that applies to all $d$-regular, bipartite graphs, runs in time $\exp\left( O\left( n \cdot \frac{ \log^3 d }{d } \right) \right)$, and outputs a $(1 + o(1))$-approximation to the number of independent sets.