arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2017-05-10
Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Published • View PublicationBIB
We study asymptotic lower and upper bounds for the sizes of constant dimension codes with respect to the subspace or injection distance, which is used in random linear network coding. In this context we review known upper bounds and show relations between them. A slightly improved version of the so-called linkage construction is presented which is e.g. used to construct constant dimension codes with subspace distance $d=4$, dimension $k=3$ of the codewords for all field sizes $q$, and sufficiently large dimensions $v$ of the ambient space, that exceed the MRD bound, for codes containing a lifted MRD code, by Etzion and Silberstein.
2017-05-09
Universality and Fourth Moment Theorem for homogeneous sums. Orthogonal polynomials and apolarity
The aim of the dissertation is threefold: the first two parts are devoted to explore the Fourth Moment Theorem and universality properties for homogeneous sums, while the last part approaches the classical theory of orthogonal polynomials via the invariant theory of binary forms. Specifically, Part I deals with the Lindberg method of influence functions in free probability spaces. By providing a general multidimensional invariance principle for homogeneous sums in freely independent variables, a class of universal laws for semicircular and free Poisson approximations will be derived that satisfies also the so-called Fourth Moment phenomenon. It is known that the fourth moment phenomenon for homogeneous sums applies, for instance, when X is Gaussian, Poisson, semicircular or free Poisson distributed. Is there a characterizing property enabling this phenomenon, or does it occur accidentally? The goal of Part II is the characterization of random variables X such that homogeneous sums based on i.i.d. copies of X verify the Fourth Moment Theorem, both for classical and free probability spaces. The main results will be the determination of a condition on the fourth cumulant of X that is sufficient for the Fourth Moment Theorem to hold. The optimality of such condition is also discussed. Part III has a purely algebraic flavour, and aims at recasting orthogonality of polynomials within the invariant theory of binary forms through the symbolic methods introduced by Kung and Rota. Then, by focusing on apolarity. a unifying representation for (generalized) sequences of orthogonal polynomials (in any number of variables) is achieved and explicit formulae for the moments of the random discriminants are derived. In this specific case of cumulants, a focus is presented within the combinatorial approach to stochastic integration in terms of diagonal measures.
2017-05-08
Quantum Chaos on random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$
Published • View PublicationBIB
We investigate the statistical behavior of the eigenvalues and diameter of random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ %and the Symmetric group $S_n$ as the prime number $p$ goes to infinity. We prove a density theorem for the number of exceptional eigenvalues of random Cayley graphs i.e. the eigenvalues with absolute value bigger than the optimal spectral bound. Our numerical results suggest that random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ and the explicit LPS Ramanujan projective graphs of $\mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ have optimal spectral gap and diameter as the prime number $p$ goes to infinity.
2017-05-04 v2
On the Approximate Asymptotic Statistical Independence of the Permanents of 0-1 Matrices
We consider the ensemble of n x n 0 - 1 matrices with all column and row sums equal r. We give this ensemble the uniform weighting to construct a measure E. We know from the work of Wanless and Pernici that E(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E(perm_{m_i}(A)) * (1+ O(1/n^4)) In this paper we prove E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^2)) where E_1 is the measure constructed on the ensemble of n x n 0 - 1 matrices with non-negative integer entries realized as the sum of r random permutation matrices. E_1 is often used as an "approximation" to E. We have computer evidence for E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^4)).
2017-05-02 v2
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published • View PublicationBIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.
2017-05-01 v2
Diffusion limited aggregation in the Boolean lattice
Published • View PublicationBIB
In the Diffusion Limited Aggregation (DLA) process on on $\mathbb{Z}^2$, or more generally $\mathbb{Z}^d$, particles aggregate to an initially occupied origin by arrivals on a random walk. The scaling limit of the result, empirically, is a fractal with dimension strictly less than $d$. Very little has been shown rigorously about the process, however. We study an analogous process on the Boolean lattice $\{0,1\}^n$, in which particles take random decreasing walks from $(1,\dots,1)$, and stick at the last vertex before they encounter an occupied site for the first time; the vertex $(0,\dots,0)$ is initially occupied. In this model, we can rigorously prove that lower levels of the lattice become full, and that the process ends by producing an isolated path of unbounded length reaching $(1,\dots,1)$.
2017-04-28 v3
Bulk Eigenvalue Correlation Statistics of Random Biregular Bipartite Graphs
This paper is the second chapter of three of the author's undergraduate thesis. In this paper, we consider the random matrix ensemble given by $(d_b, d_w)$-regular graphs on $M$ black vertices and $N$ white vertices, where $d_b \in [N^γ, N^{2/3 - γ}]$ for any $γ> 0$. We simultaneously prove that the bulk eigenvalue correlation statistics for both normalized adjacency matrices and their corresponding covariance matrices are stable for short times. Combined with an ergodicity analysis of the Dyson Brownian motion in another paper, this proves universality of bulk eigenvalue correlation statistics, matching normalized adjacency matrices with the GOE and the corresponding covariance matrices with the Gaussian Wishart Ensemble.
2017-04-27
A polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry
The paper develops a new technique to extract a characteristic subset from a random source that repeatedly samples from a set of elements. Here a characteristic subset is a set that when containing an element contains all elements that have the same probability. With this technique at hand the paper looks at the special case of the tournament isomorphism problem that stands in the way towards a polynomial-time algorithm for the graph isomorphism problem. Noting that there is a reduction from the automorphism (asymmetry) problem to the isomorphism problem, a reduction in the other direction is nevertheless not known and remains a thorny open problem. Applying the new technique, we develop a randomized polynomial-time Turing-reduction from the tournament isomorphism problem to the tournament automorphism problem. This is the first such reduction for any kind of combinatorial object not known to have a polynomial-time solvable isomorphism problem.
2017-04-27 v3
Expected Number of Distinct Subsequences in Randomly Generated Binary Strings
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (June 26, 2018) dmtcs:3287 • View PublicationBIB
When considering binary strings, it's natural to wonder how many distinct subsequences might exist in a given string. Given that there is an existing algorithm which provides a straightforward way to compute the number of distinct subsequences in a fixed string, we might next be interested in the expected number of distinct subsequences in random strings. This expected value is already known for random binary strings where each letter in the string is, independently, equally likely to be a 1 or a 0. We generalize this result to random strings where the letter 1 appears independently with probability $α\in [0,1]$. Also, we make some progress in the case of random strings from an arbitrary alphabet as well as when the string is generated by a two-state Markov chain.
2017-04-27
Local Marchenko-Pastur Law for Random Bipartite Graphs
This paper is the first chapter of three of the author's undergraduate thesis. We study the random matrix ensemble of covariance matrices arising from random $(d_b, d_w)$-regular bipartite graphs on a set of $M$ black vertices and $N$ white vertices, for $d_b \gg \log^4 N$. We simultaneously prove that the Green's functions of these covariance matrices and the adjacency matrices of the underlying graphs agree with the corresponding limiting law (e.g. Marchenko-Pastur law for covariance matrices) down to the optimal scale. This is an improvement from the previously known mesoscopic results. We obtain eigenvector delocalization for the covariance matrix ensemble as consequence, as well as a weak rigidity estimate.
2017-04-27 v2
The phase transition in bounded-size Achlioptas processes
Perhaps the best understood phase transition is that in the component structure of the uniform random graph process introduced by Erdős and Rényi around 1960. Since the model is so fundamental, it is very interesting to know which features of this phase transition are specific to the model, and which are `universal', at least within some larger class of processes (a `universality class'). Achlioptas process, a class of variants of the Erdős--Rényi process that are easy to define but difficult to analyze, have been extensively studied from this point of view. Here, settling a number of conjectures and open problems, we show that all `bounded-size' Achlioptas processes share (in a strong sense) all the key features of the Erdős--Rényi phase transition. We do not expect this to hold for Achlioptas processes in general.
2017-04-26 v2
Probabilistic Existence of Large Sets of Designs
Published • View PublicationBIB
A new probabilistic technique for establishing the existence of certain regular combinatorial structures has been recentlyintroduced by Kuperberg, Lovett, and Peled (STOC 2012). Using this technique, it can be shown that under certain conditions, a randomly chosen structure has the required properties of a $t$-$(n,k,λ)$ combinatorial design with tiny, yet positive, probability. The proof method of KLP is adapted to show the existence of large sets of designs and similar combinatorial structures as follows. We modify the random choice and the analysis to show that, under the same conditions, not only does a $t$-$(n,k,λ)$ design exist but, in fact, with positive probability there exists a large set of such designs -- that is, a partition of the set of $k$-subsets of $[n]$ into $t$-designs $t$-$(n,k,λ)$ designs. Specifically, using the probabilistic approach derived herein, we prove that for all sufficiently large $n$, large sets of $t$-$(n,k,λ)$ designs exist whenever $k > 12t$ and the necessary divisibility conditions are satisfied. This resolves the existence conjecture for large sets of designs for all $k > 12t$.
2017-04-25 v2
Complete diagrammatics of the single ring theorem
Published in Phys. Rev. E 96, 042149 (2017) • View PublicationBIB
Using diagrammatic techniques, we provide explicit functional relations between the cumulant generating functions for the biunitarily invariant ensembles in the limit of large size of matrices. The formalism allows to map two distinct areas of free random variables: Hermitian positive definite operators and non-normal R-diagonal operators. We also rederive the Haagerup-Larsen theorem and show how its recent extension to the eigenvector correlation function appears naturally within this approach.
2017-04-25 v2
List colourings of multipartite hypergraphs
Published • View PublicationBIB
Let $χ_l(G)$ denote the list chromatic number of the $r$-uniform hypergraph~$G$. Extending a result of Alon for graphs, Saxton and the second author used the method of containers to prove that, if $G$ is simple and $d$-regular, then $χ_l(G)\ge (1/(r-1)+o(1))\log_r d$. To see how close this inequality is to best possible, we examine $χ_l(G)$ when $G$ is a random $r$-partite hypergraph with $n$ vertices in each class. The value when $r=2$ was determined by Alon and Krivelevich, here we show that $χ_l(G)= (g(r,α)+o(1))\log_r d$ almost surely, where $d$ is the expected average degree of~$G$ and $α=\log_nd$. The function $g(r,α)$ is defined in terms of "preference orders" and can be determined fairly explicitly. This is enough to show that the container method gives an optimal lower bound on $χ_l(G)$ for $r=2$ and $r=3$, but, perhaps surprisingly, apparently not for $r\ge4$.
2017-04-24
Bootstrap percolation in random $k$-uniform hypergraphs
Published in Electronic Notes in Discrete Mathematics 49 (2015) 595-601 • View PublicationBIB
We investigate bootstrap percolation with infection threshold $r> 1$ on the binomial $k$-uniform random hypergraph $H_k(n,p)$ in the regime $n^{-1}\ll n^{k-2}p \ll n^{-1/r}$, when the initial set of infected vertices is chosen uniformly at random from all sets of given size. We establish a threshold such that if there are less vertices in the initial set of infected vertices, then whp only a few additional vertices become infected, while if the initial set of infected vertices exceeds the threshold then whp almost every vertex becomes infected. In addition, for $k=2$, we show that the probability of failure decreases exponentially.
2017-04-24
Random Čech Complexes on Riemannian Manifolds
Published • View PublicationBIB
In this paper we study the homology of a random Cech complex generated by a homogeneous Poisson process in a compact Riemannian manifold M. In particular, we focus on the phase transition for "homological connectivity" where the homology of the complex becomes isomorphic to that of M. The results presented in this paper are an important generalization of [7], from the flat torus to general compact Riemannian manifolds. In addition to proving the statements related to homological connectivity, the methods we develop in this paper can be used as a framework for translating results for random geometric graphs and complexes from the Euclidean setting into the more general Riemannian one.
The Competition of Roughness and Curvature in Area-Constrained Polymer Models
Published • View PublicationBIB
The competition between local Brownian roughness and global parabolic curvature experienced in many random interface models reflects an important aspect of the KPZ universality class. It may be summarised by an exponent triple $(1/2,1/3,2/3)$ representing local interface fluctuation, local roughness (or inward deviation) and convex hull facet length. The three effects arise, for example, in droplets in planar Ising models (Alexander, '01, Hammond, '11,'12). In this article, we offer a new perspective on this phenomenon. We consider directed last passage percolation model in the plane, a paradigmatic example in the KPZ universality class, and constrain the maximizing path under the additional requirement of enclosing an atypically large area. The interface suffers a constraint of parabolic curvature as before, but now its local structure is the KPZ fixed point polymer's rather than Brownian. The local interface fluctuation exponent is thus two-thirds rather than one-half. We prove that the facet lengths of the constrained path's convex hull are governed by an exponent of $3/4$, and inward deviation by an exponent of $1/2$. That is, the exponent triple is now $(2/3,1/2,3/4)$ in place of $(1/2,1/3,2/3)$. This phenomenon appears to be shared among various isoperimetrically extremal circuits in local randomness. Indeed, we formulate a conjecture to this effect concerning such circuits in supercritical percolation, whose Wulff-like first-order behaviour was recently established (Biskup, Louidor, Procaccia and Rosenthal, '12).
2017-04-21 v3
Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Published • View PublicationBIB
We show that by restricting the degrees of the vertices of a graph to an arbitrary set \( Δ\), the threshold point $ α(Δ) $ of the phase transition for a random graph with $ n $ vertices and $ m = α(Δ) n $ edges can be either accelerated (e.g., $ α(Δ) \approx 0.381 $ for $ Δ= \{0,1,4,5\} $) or postponed (e.g., $ α(\{ 2^0, 2^1, \cdots, 2^k, \cdots \}) \approx 0.795 $) compared to a classical Erdős--Rényi random graph with $ α(\mathbb Z_{\geq 0}) = \tfrac12 $. In particular, we prove that the probability of graph being nonplanar and the probability of having a complex component, goes from $ 0 $ to $ 1 $ as $ m $ passes $ α(Δ) n $. We investigate these probabilities and also different graph statistics inside the critical window of transition (diameter, longest path and circumference of a complex component).
2017-04-20
Subspace Designs based on Algebraic Function Fields
Published • View PublicationBIB
Subspace designs are a (large) collection of high-dimensional subspaces $\{H_i\}$ of $\F_q^m$ such that for any low-dimensional subspace $W$, only a small number of subspaces from the collection have non-trivial intersection with $W$; more precisely, the sum of dimensions of $W \cap H_i$ is at most some parameter $L$. The notion was put forth by Guruswami and Xing (STOC'13) with applications to list decoding variants of Reed-Solomon and algebraic-geometric codes, and later also used for explicit rank-metric codes with optimal list decoding radius. Guruswami and Kopparty (FOCS'13, Combinatorica'16) gave an explicit construction of subspace designs with near-optimal parameters. This construction was based on polynomials and has close connections to folded Reed-Solomon codes, and required large field size (specifically $q \ge m$). Forbes and Guruswami (RANDOM'15) used this construction to give explicit constant degree "dimension expanders" over large fields, and noted that subspace designs are a powerful tool in linear-algebraic pseudorandomness. Here, we construct subspace designs over any field, at the expense of a modest worsening of the bound $L$ on total intersection dimension. Our approach is based on a (non-trivial) extension of the polynomial-based construction to algebraic function fields, and instantiating the approach with cyclotomic function fields. Plugging in our new subspace designs in the construction of Forbes and Guruswami yields dimension expanders over $\F^n$ for any field $\F$, with logarithmic degree and expansion guarantee for subspaces of dimension $Ω(n/(\log \log n))$.
On the growth of a superlinear preferential attachment scheme
Published • View PublicationBIB
We consider an evolving preferential attachment random graph model where at discrete times a new node is attached to an old node, selected with probability proportional to a superlinear function of its degree. For such schemes, it is known that the graph evolution condenses, that is a.s. in the limit graph there will be a single random node with infinite degree, while all others have finite degree. In this note, we establish a.s. law of large numbers type limits and fluctuation results, as $n\uparrow\infty$, for the counts of the number of nodes with degree $k\geq 1$ at time $n\geq 1$. These limits rigorously verify and extend a physical picture of Krapivisky, Redner and Leyvraz (2000) on how the condensation arises with respect to the degree distribution.