random
6952 papers tagged with this keyword
The structure of generic automorphisms of the random poset
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $ω$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.
On partial information retrieval: the unconstrained 100 prisoner problem
Published
• View Publication
• BIB
We consider a generalization of the classical 100 Prisoner problem and its variant, involving empty boxes, whereby winning probabilities for a team depend on the number of attempts, as well as on the number of winners. We call this the unconstrained 100 prisoner problem. After introducing the 3 main classes of strategies, we define a variety of `hybrid' strategies and quantify their winning-efficiency. Whenever analytic results are not available, we make use of Monte Carlo simulations to estimate with high accuracy the winning-probabilities. Based on the results obtained, we conjecture that all strategies, except for the strategy maximizing the winning probability of the classical (constrained) problem, converge to the random strategy under weak conditions on the number of players or empty boxes. We conclude by commenting on the possible applications of our results in understanding processes of information retrieval, such as ``memory'' in living organisms.
Asymptotics and statistics on Fishburn Matrices: dimension distribution and a conjecture of Stoimenow
Published
• View Publication
• BIB
We establish the asymptotic normality of the dimension of large-size random Fishburn matrices by a complex-analytic approach. The corresponding dual problem of size distribution under large dimension is also addressed and follows a quadratic type normal limit law. These results represent the first of their kind and solve two open questions raised in the combinatorial literature. They are presented in a general framework where the entries of the Fishburn matrices are not limited to binary or nonnegative integers. The analytic saddle-point approach we apply, based on a powerful transformation for $q$-series due to Andrews and Jelínek, is also useful in solving a conjecture of Stoimenow in Vassiliev invariants.
A triangle process on regular graphs
Published
• View Publication
• BIB
Switches are operations which make local changes to the edges of a graph, usually with the aim of preserving the vertex degrees. We study a restricted set of switches, called triangle switches. Each triangle switch creates or deletes at least one triangle. Triangle switches can be used to define Markov chains which generate graphs with a given degree sequence and with many more triangles (3-cycles) than is typical in a uniformly random graph with the same degrees. We show that the set of triangle switches connects the set of all $d$-regular graphs on $n$ vertices, for all $d\geq 3$. Hence, any Markov chain which assigns positive probability to all triangle switches is irreducible on these graphs. We also investigate this question for 2-regular graphs.
The adjacency matrices and the transition matrices related to random walks on graphs
Published
• View Publication
• BIB
A pointed graph $(Γ,v_0)$ induces a family of transition matrices in Wildberger's construction of a hermitian hypergroup via a random walk on $Γ$ starting from $v_0$. We will give a necessary condition for producing a hermitian hypergroup as we assume a weaker condition than the distance-regularity for $(Γ,v_0)$. The condition obtained in this paper connects the transition matrices and the adjacency matrices associated with $Γ$.
Hamilton cycles in weighted Erdős-Rényi graphs
Given a symmetric $n\times n$ matrix $P$ with $0 \le P(u, v)\le 1$, we define a random graph $G_{n, P}$ on $[n]$ by independently including any edge $\{u, v\}$ with probability $P(u, v)$. For $k\ge 1$ let $\mathcal{A}_k$ be the property of containing $\lfloor k/2 \rfloor$ Hamilton cycles, and one perfect matching if $k$ is odd, all edge-disjoint. With an eigenvalue condition on $P$, and conditions on its row sums, $G_{n, P}\in \mathcal{A}_k$ happens with high probability if and only if $G_{n, P}$ has minimum degree $k$ whp. We also provide a hitting time version. As a special case, the random graph process on pseudorandom $(n, d, μ)$-graphs with $μ\le d(d/n)^α$ for some constant $α> 0$ has property $\mathcal{A}_k$ as soon as it acquires minimum degree $k$ with high probability.
Arithmetic subsequences in a random ordering of an additive set
Published in Integers: Electronic Journal of Combinatorial Number Theory 21 (2021), #A89, 19 pp
• Search Publication
For a finite set $A$ of size $n$, an ordering is an injection from $\{1,2,\ldots,n\}$ to $A$. We present results concerning the asymptotic properties of the length $L_n$ of the longest arithmetic subsequence in a random ordering of an additive set $A$. In the torsion-free case where $A = [1,n]^d\subseteq {\bf Z}^d$, we prove that $L_n\sim 2d\log n/\log\log n$. We show that the case $A = {\bf Z}/n{\bf Z}$ behaves asymptotically like the torsion-free case with $d=1$, and then use this fact to compute the expected length of the longest arithmetic subsequence in a random ordering of an arbitrary finite abelian group. We also prove that the number of orderings of ${\bf Z}/n{\bf Z}$ without any arithmetic subsequence of length $3$ is $2^{n-1}$ when $n\geq 2$ is a power of $2$, and zero otherwise. We conclude with a concrete application to elementary $p$-groups and a discussion of possible noncommutative generalisations.
On weak twins and up-and-down sub-permutations
Published
• View Publication
• BIB
Two permutations $(x_1,\dots,x_w)$ and $(y_1,\dots,y_w)$ are weakly similar if $x_i<x_{i+1}$ if and only if $y_i<y_{i+1}$ for all $1\leqslant i \leqslant w$. Let $π$ be a permutation of the set $[n]=\{1,2,\dots, n\}$ and let $wt(π)$ denote the largest integer $w$ such that $π$ contains a pair of disjoint weakly similar sub-permutations (called weak twins) of length $w$. Finally, let $wt(n)$ denote the minimum of $wt(π)$ over all permutations $π$ of $[n]$. Clearly, $wt(n)\le n/2$. In this paper we show that $\tfrac n{12}\le wt(n)\le\tfrac n2-Ω(n^{1/3})$.
We also study a variant of this problem. Let us say that $π'=(π(i_1),...,π(i_j))$, $i_1<\cdots<i_j$, is an alternating (or up-and-down) sub-permutation of $π$ if $π(i_1)>π(i_2)<π(i_3)>...$ or $π(i_1)<π(i_2)>π(i_3)<...$. Let $Π_n$ be a random permutation selected uniformly from all $n!$ permutations of $[n]$. It is known that the length of a longest alternating permutation in $Π_n$ is asymptotically almost surely (a.a.s.) close to $2n/3$. We study the maximum length $α(n)$ of a pair of disjoint alternating sub-permutations in $Π_n$ and show that there are two constants $1/3<c_1<c_2<1/2$ such that a.a.s. $c_1n\le α(n)\le c_2n$.
In addition, we show that the alternating shape is the most popular among all permutations of a given length.
Recursive methods for some problems in coding and random permutations
Published
• View Publication
• BIB
In this paper, we study three applications of recursion to problems in coding and random permutations. First, we consider locally recoverable codes with partial locality and use recursion to estimate the minimum distance of such codes. Next we consider weighted lattice representative codes and use recursive subadditive techniques to obtain convergence of the minimum code size. Finally, we obtain a recursive relation involving cycle moments in random permutations and as an illustration, evaluate recursions for the mean and variance.
List-decodability with large radius for Reed-Solomon codes
Published
• View Publication
• BIB
List-decodability of Reed-Solomon codes has received a lot of attention, but the best-possible dependence between the parameters is still not well-understood. In this work, we focus on the case where the list-decoding radius is of the form $r=1-\varepsilon$ for $\varepsilon$ tending to zero. Our main result states that there exist Reed-Solomon codes with rate $Ω(\varepsilon)$ which are $(1-\varepsilon, O(1/\varepsilon))$-list-decodable, meaning that any Hamming ball of radius $1-\varepsilon$ contains at most $O(1/\varepsilon)$ codewords. This trade-off between rate and list-decoding radius is best-possible for any code with list size less than exponential in the block length.
By achieving this trade-off between rate and list-decoding radius we improve a recent result of Guo, Li, Shangguan, Tamo, and Wootters, and resolve the main motivating question of their work. Moreover, while their result requires the field to be exponentially large in the block length, we only need the field size to be polynomially large (and in fact, almost-linear suffices). We deduce our main result from a more general theorem, in which we prove good list-decodability properties of random puncturings of any given code with very large distance.
On some $q$-series identities related to a generalized divisor function and their implications
Published
• View Publication
• BIB
In this article, a $q$-series examined by Kluyver and Uchimura is generalized. This allows us to find generalization of the identities in the random acyclic digraph studied by Simon, Crippa, and Collenberg in 1993. As one of the corollaries of our main theorem, we get results of Dilcher and Andrews, Crippa, and Simon. This main theorem involves a surprising new generalization of the divisor function $σ_s(n)$, which we denote by $σ_{s,z}(n)$. Analytic properties of $σ_{s,z}(n)$ are also studied. As a special case of one of our theorem we obtain result from a recent paper of Bringmann and Jennings-Shaffer.
Recurrence of horizontal-vertical walks
Published in Ann. Inst. Henri Poincaré Probab. Stat. 59 (2023), 578--605
• View Publication
• BIB
Consider a nearest neighbor random walk on the two-dimensional integer lattice, where each vertex is initially labeled either `H' or `V', uniformly and independently. At each discrete time step, the walker resamples the label at its current location (changing `H' to `V' and `V' to `H' with probability $q$). Then, it takes a mean zero horizontal step if the new label is `H', and a mean zero vertical step if the new label is `V'. This model is a randomized version of the deterministic rotor walk, for which its recurrence (i.e., visiting every vertex infinitely often with probability 1) in two dimensions is still an open problem. We answer the analogous question for the the horizontal-vertical walk, by showing that the horizontal-vertical walk is recurrent for $q \in (\frac{1}{3},1]$.
Sampling Arborescences in Parallel
We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the exact number of arborescences can be computed by a determinant [Tut48], and sampling can be reduced to counting [JVV86, JS96]. However, the classic reduction from sampling to counting seems to be inherently sequential. This raises the question of designing efficient parallel algorithms for sampling. We show that sampling arborescences can be done in RNC.
For several well-studied combinatorial structures, counting can be reduced to the computation of a determinant, which is known to be in NC [Csa75]. These include arborescences, planar graph perfect matchings, Eulerian tours in digraphs, and determinantal point processes. However, not much is known about efficient parallel sampling of these structures. Our work is a step towards resolving this mystery.
A Characteristic Polynomial for The Transition Probability Matrix of A Correlated Random Walk on A Graph
Published
• View Publication
• BIB
We define a correlated random walk (CRW) induced from the time evolution matrix (the Grover matrix) of the Grover walk on a graph $G$, and present a formula for the characteristic polynomial of the transition probability matrix of this CRW by using a determinant expression for the generalized weighted zeta function of $G$. As applications, we give the spectrum of the transition probability matrices for the CRWs induced from the Grover matrices of regular graphs and semiregular bipartite graphs. Furthermore, we consider another type of the CRW on a graph.
K-core in percolated dense graph sequences
Published
• View Publication
• BIB
We determine the size of $k$-core in a large class of dense graph sequences. Let $G_n$ be a sequence of undirected, $n$-vertex graphs with edge weights $\{a^n_{i,j}\}_{i,j \in [n]}$ that converges to a kernel $W:[0,1]^2\to [0,+\infty)$ in the cut metric. Keeping an edge $(i,j)$ of $G_n$ with probability $\min \{ {a^n_{i,j}}/{n},1 \}$ independently, we obtain a sequence of random graphs $G_n(\frac{1}{n})$. Denote by $\mathcal{A}$ the property of a branching process that the initial particle has at least $k$ children, each of which has at least $k-1$ children, each of which has at least $k-1$ children, and so on. Using branching process and the theory of dense graph limits, under mild assumptions we obtain the size of $k$-core of random graphs $G_n(\frac{1}{n})$, \begin{align*} \text{size of $k$-core of } G_n\left(\frac{1}{n}\right) =n \mathbb{P}_{X^W}\left(\mathcal{A}\right) +o_p(n). \end{align*} Our result can also be used to obtain the threshold of appearance of a $k$-core of order $n$.
Proper permutations, Schubert geometry, and randomness
Published in J. Comb. 13 (2022), no. 4, 561-574
• View Publication
• BIB
We define and study proper permutations. Properness is a geometrically natural necessary criterion for a Schubert variety to be Levi-spherical. We prove the probability that a random permutation is proper goes to zero in the limit.
The random walk on upper triangular matrices over $\mathbb{Z}/m \mathbb{Z}$
Published
• View Publication
• BIB
We study a natural random walk on the $n \times n$ upper triangular matrices, with entries in $\mathbb{Z}/m \mathbb{Z}$, generated by steps which add or subtract a uniformly random row to the row above. We show that the mixing time of this random walk is $O(m^2n \log n+ n^2 m^{o(1)})$. This answers a question of Stong and of Arias-Castro, Diaconis, and Stanley.
Component Games on Random Graphs
Published
• View Publication
• BIB
In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appearance of a nonempty $(b+2)$-core in the graph.
For any integer $k$, the $k$-core of a graph is its largest subgraph of minimum degree at least $k$. Pittel, Spencer and Wormald showed in 1996 that for any $k\ge3$ there exists an explicitly defined constant $c_{k}$ such that $p=c_{k}/n$ is the threshold function for the appearance of the $k$-core in $G(n,p)$. More precisely, $G(n,c/n)$ has WHP a linear-size $k$-core when the constant $c>c_{k}$, and an empty $k$-core when $c<c_{k}$.
We show that for any positive constant $b$, when playing the $(1:b)$ component game on $G(n,c/n)$, Maker can WHP build a linear-size component if $c>c_{b+2}$, while Breaker can WHP prevent Maker from building larger than polylogarithmic-size components if $c<c_{b+2}$.
For Breaker's strategy, we prove a theorem which may be of independent interest. The standard algorithm for computing the $k$-core of any graph is to repeatedly delete ("peel") all vertices of degree less than $k$, as long as such vertices remain. When $G(n,c/n)$ for $c<c_{k}$, it was shown by Jiang, Mitzenmacher and Thaler that $\log_{k-1}\log n+Θ(1)$ peeling iterations are WHP necessary and sufficient to obtain the (empty) $k$-core of~$G$. Our theorem states that already after a constant number of iterations, $G$ is WHP shattered into pieces of polylogarithmic size.
Deviation probabilities for arithmetic progressions and irregular discrete structures
Published
• View Publication
• BIB
Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$-element subset $B$ of its vertex set. Focussing on the case that the degrees of vertices in $\mathcal{H}$ vary significantly we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the $\{1,\dots, N\}$. Furthermore, our main theorem allows us to deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$. In this setting our result on arithmetic progressions extends a result of Bhattacharya, Ganguly, Shao and Zhao \cite{BGSZ}. We also mention connections to related central limit theorems.
Orientation Ramsey thresholds for cycles and cliques
Published
• View Publication
• BIB
If $G$ is a graph and $\vec H$ is an oriented graph, we write $G\to \vec H$ to say that every orientation of the edges of $G$ contains $\vec H$ as a subdigraph. We consider the case in which $G=G(n,p)$, the binomial random graph. We determine the threshold $p_{\vec H}=p_{\vec H}(n)$ for the property $G(n,p)\to \vec H$ for the cases in which $\vec H$ is an acyclic orientation of a complete graph or of a cycle.