arXiv++ Combinatorics

Inspired by recent advances in notions of spectral approximation of digraphs [Ahm+20], we study spectral algorithms for finding periodic structures in digraphs via the spectrum of a class of rotated Laplacian matrices. This class of Laplacian matrices was previously studied by Lange, Liu, Peyerimhoff, and Post [Lan+15]. We consider a notion of periodicity ratio that generalizes the bipartiteness ratio of Trevisan [Tre09], and show that it is closely related to the spectrum of rotated Laplacian matrices. In particular, if the digraph is strongly connected and represents a Markov chain, this periodicity ratio for a given $p \in \mathbb{N}$ is a quantitative measure of how close this Markov chain is to having periodicity $p$. We propose and analyze a periodicity-ratio variant of the spectral algorithm by Louis, Raghavendra, Tetali and Vempala [Lou+12]. We show that the algorithm runs in randomized polynomial time and can find many nearly periodic components (i.e, components with small periodicity ratio). This also implies a new higher-order Cheeger-type inequality for periodicity in the spirit of that in [Lou+12; LOT14]. As part of our analysis, we prove a new theorem that upper bounds the probability that the largest magnitudes of two sequences of coordinate-wise correlated complex Gaussian random variables occur at different indices, which may be of independent interest. Previously, an analogous result was known only for real Gaussian random variables.

We consider real tensors of order $D$, that is $D$-dimensional arrays of real numbers $T_{a^1a^2 \dots a^D}$, where each index $a^c$ can take $N$ values. The tensor entries $T_{a^1a^2 \dots a^D}$ have no symmetry properties under permutations of the indices. The invariant polynomials built out of the tensor entries are called trace invariants. We prove that for a Gaussian random tensor with $D\ge 3$ indices (that is such that the entries $T_{a^1a^2 \dots a^D}$ are independent identically distributed Gaussian random variables) the cumulant, or connected expectation, of a product of trace invariants is not always suppressed in scaling in $N$ with respect to the product of the expectations of the individual invariants. Said otherwise, not all the multi-trace expectations factor at large $N$ in terms of the single-trace ones and the Gaussian scaling is not subadditive on the connected components. This is in stark contrast to the $D=2$ case of random matrices in which the multi-trace expectations always factor at large $N$. The best one can do for $D\ge 3$ is to identify restricted families of invariants for which the large $N$ factorization holds and we check that this indeed happens when restricting to the family of melonic observables, the dominant family in the large $N$ limit.

The conditional independence (CI) relation of a distribution in a max-linear Bayesian network depends on its weight matrix through the $C^\ast$-separation criterion. These CI~models, which we call maxoids, are compositional graphoids which are in general not representable by Gaussian random variables. We prove that every maxoid can be obtained from a transitively closed weighted DAG and show that the stratification of generic weight matrices by their maxoids yields a polyhedral~fan. We also use this connection to polyhedral geometry to develop an algorithm for solving the conditional independence implication problem for maxoids.

We present a randomized algorithm for estimating the permanent of an $M \times M$ real matrix $A$ up to an additive error. We do this by viewing the permanent $\mathrm{perm}(A)$ of $A$ as the expectation of a product of centered joint Gaussian random variables with a particular covariance matrix $C$. The algorithm outputs the empirical mean $S_{N}$ of this product after sampling $N$ times. Our algorithm runs in total time $O(M^{3} + M^{2}N + MN)$ with failure probability \begin{equation*} P(|S_{N}-\text{perm}(A)| > t) \leq \frac{3^{M}}{t^{2}N} \prod^{2M}_{i=1} C_{ii}. \end{equation*} In particular, we can estimate $\mathrm{perm}(A)$ to an additive error of $ε\bigg(\sqrt{3^{2M}\prod^{2M}_{i=1} C_{ii}}\bigg)$ in polynomial time. We compare to a previous procedure due to Gurvits. We discuss how to find a particular $C$ using a semidefinite program and a relation to the Max-Cut problem and cut-norms.

Fix $q\neq 1$, and sample $w\in S_n$ from the Mallows measure. We study the distribution of $C_i(w)$, the number of $i$-cycles, as $n$ grows large. When $q<1$, they are jointly Gaussian, and this more or less follows from known ideas, but the regime $q>1$ behaves quite differently. In particular, we show that the even cycles $C_{2i}(w)$ have a mean and variance of order $n$, and jointly converge to Gaussian random variables, while the odd cycles $C_{2i+1}(w)$ have a bounded mean and variance, and converge to $C_{2i+1}(w^{even})$ or $C_{2i+1}(w^{odd})$ for some explicit random permutations $w^{even}$ and $w^{odd}$, depending on whether $n$ is even or odd. An extension to a larger class of functions is also given. The proof utilizes a two-sided stationary regenerative process associated to Mallows permutations constructed by Gnedin and Olshanski, extending the ideas of Basu and Bhatnagar.

In this paper, a simplified second-order Gaussian Poincaré inequality for normal approximation of functionals over infinitely many Rademacher random variables is derived. It is based on a new bound for the Kolmogorov distance between a general Rademacher functional and a Gaussian random variable, which is established by means of the discrete Malliavin-Stein method and is of independent interest. As an application, the number of vertices with prescribed degree and the subgraph counting statistic in the Erdös-Rényi random graph are discussed. The number of vertices of fixed degree is also studied for percolation on the Hamming hypercube. Moreover, the number of isolated faces in the Linial-Meshulam-Wallach random $κ$-complex and infinite weighted 2-runs are treated.

For any tracial non-commutative probability space $(\mathcal{A}, \varphi)$, Cébron, Dahlqvist, and Male showed that one can always construct an enveloping traffic space $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ that extends the trace. This construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. In this article, we prove that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ admits a canonical free product decomposition $\mathcal{A} * \mathcal{A}^\intercal * Θ(\mathcal{G}(\mathcal{A}))$. In particular, $\mathcal{A}^\intercal$ is an anti-isomorphic copy of $\mathcal{A}$, and $Θ(\mathcal{G}(\mathcal{A}))$ is, up to degeneracy, a commutative algebra generated by Gaussian random variables with a covariance structure diagonalized by the graph operations. If $(\mathcal{A}, \varphi)$ itself is a free product, then we describe how this additional structure lifts into $(\mathcal{G}(\mathcal{A}), τ_\varphi)$. Here, we find a connection between free independence and classical independence opposite the usual direction. Up to degeneracy, we further show that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ is spanned by tree-like graph operations. Finally, we apply our results to the study of large (possibly dependent) random matrices. Our analysis relies on the combinatorics of cactus graphs and the resulting cactus-cumulant correspondence.

Let $f = \sum_{k=0}^n \varepsilon_k z^k$ be a random polynomial, where $\varepsilon_0,\ldots ,\varepsilon_n$ are iid standard Gaussian random variables, and let $ζ_1,\ldots,ζ_n$ denote the roots of $f$. We show that the point process determined by the magnitude of the roots $\{ 1-|ζ_1|,\ldots, 1-|ζ_n| \}$ tends to a Poisson point process at the scale $n^{-2}$ as $n\rightarrow \infty$. One consequence of this result is that it determines the magnitude of the closest root to the unit circle. In particular, we show that \[ \min_{k} ||ζ_k| - 1|n^2 \rightarrow \mathrm{Exp}(1/6),\] in distribution, where $\mathrm{Exp}(λ)$ denotes an exponential random variable of mean $λ^{-1}$. This resolves a conjecture of Shepp and Vanderbei from 1995 that was later studied by Konyagin and Schlag.

The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the biased measure $μ_{p}$ increases rapidly from 0 to 1 as $p$ increases. In this paper we present `robust' versions of the theorem, which assert that it holds also if the function is `almost' monotone, and admits a much weaker notion of symmetry. Unlike the original proof of the theorem which relies on hypercontractivity, our proof relies on a `regularity' lemma (of the class of Szemerédi's regularity lemma and its generalizations) and on the `invariance principle' of Mossel, O'Donnell, and Oleszkiewicz which allows (under certain conditions) replacing functions on the cube $\{0,1\}^{n}$ with functions on Gaussian random variables. The hypergraph removal lemma of Gowers (2007) and independently of Nagle, Rödl, Schacht, and Skokan (2006) says that if a $k$-uniform hypergraph on $n$ vertices contains few copies of a fixed hypergraph $H$, then it can be made $H$-free by removing few of its edges. While this settles the `hypergraph removal problem' in the case where $k$ and $H$ are fixed, the result is meaningless when $k$ is large (e.g. $k>\log\log\log n$). Using our robust version of the Friedgut-Kalai Theorem, we obtain a hypergraph removal lemma that holds for $k$ up to linear in $n$ for a large class of hypergraphs. These contain all the hypergraphs such that both their number of edges and the sizes of the intersections of pairs of their edges are upper bounded by some constant.

Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the vanishing ideals of Gaussian graphical models for generalized Markov chains. In the course of this investigation, we are led to consider three related stratifications, which come from the Schubert stratification of a flag variety. We provide some combinatorial results, including describing the stratifications using the language of rank arrays and enumerating the strata in each case.

Starting with a collection of $n$ oriented polygonal discs, with an even number $N$ of sides in total, we generate a random oriented surface by randomly matching the sides of discs and properly gluing them together. Encoding the surface in a random permutation $γ$ of $[N]$, we use the Fourier transform on $S_N$ to show that $γ$ is asymptotic to the permutation distributed uniformly on the alternating group $A_N$ ($A_N^c$ resp.) if $N-n$ and $N/2$ are of the same (opposite resp.) parity. We use this to prove a local central limit theorem for the number of vertices on the surface, whence for its Euler characteristic $χ$. We also show that with high probability the random surface consists of a single component, and thus has a well-defined genus $g=1-χ/2$, which is asymptotic to a Gaussian random variable, with mean $(N/2-n-\log N)/2$ and variance $(\log N)/2$.

We introduce a two-parameter deformation of the classical Bosonic, Fermionic, and Boltzmann Fock spaces that is a refinement of the $q$-Fock space of [BS91]. Starting with a real, separable Hilbert space $H$, we construct the $(q,t)$-Fock space and the corresponding creation and annihilation operators, $\{a_{q,t}(h)^\ast\}_{h\in H}$ and $\{a_{q,t}(h)\}_{h\in H}$, satifying the $(q,t)$-commutation relation $a_{q,t}(f)a_{q,t}(g)^\ast-q \,a_{q,t}(g)^\ast a_{q,t}(f)= <f,g>_{_H}\, t^{N},$ for $h,g\in H$, with $N$ denoting the number operator. Interpreting the bounded linear operators on the $(q,t)$-Fock space as non-commutative random variables, the analogue of the Gaussian random variable is given by the deformed field operator $s_{q,t}(h):=a_{q,t}(h)+a_{q,t}(h)^\ast$, for $h\in H$. The resulting refinement is particularly natural, as the moments of $s_{q,t}(h)$ are encoded by the joint statistics of crossings \emph{and nestings} in pair partitions. Furthermore, the orthogonal polynomial sequence associated with the normalized $(q,t)$-Gaussian $s_{q,t}$ is that of the $(q,t)$-Hermite orthogonal polynomials, a deformation of the $q$-Hermite sequence that is given by the recurrence $zH_n(z;q,t)=H_{n+1}(z;q,t)+[n]_{q,t}H_{n-1}(z;q,t),$ with $H_0(z;q,t)=1$, $H_1(z;q,t)=z$, and $[n]_{q,t}=\sum_{i=1}^n q^{i-1}t^{n-i}$. The $q=0<t$ specialization yields a new single-parameter deformation of the full Boltzmann Fock space of free probability. The probability measure associated with the corresponding deformed semicircular operator turns out to be encoded, in various forms, via the Rogers-Ramanujan continued fraction, the Rogers-Ramanujan identities, the $t$-Airy function, the $t$-Catalan numbers of Carlitz-Riordan, and the first-order statistics of the reduced Wigner process.

The $q$-commutation relations, formulated in the setting of the $q$-Fock space of Bożjeko and Speicher, interpolate between the classical commutation relations (CCR) and the classical anti-commutation relations (CAR) defined on the classical bosonic and fermionic Fock spaces, respectively. Interpreting the $q$-Fock space as an algebra of "random variables" exhibiting a specific commutativity structure, one can construct the so-called $q$-semicircular and $q$-circular operators acting as $q$-deformations of the classical Gaussian and complex Gaussian random variables, respectively. While the $q$-semicircular operator is generally well understood, many basic properties of the $q$-circular operator (in particular, a tractable expression for its norm) remain elusive. Inspired by the combinatorial approach to free probability, we revist the combinatorial formulations of these operators. We point out that a finite alternating-sum expression for $2n$-norm of the $q$-semicircular is available via generating functions of chord-crossing diagrams developed by Touchard in the 1950s and distilled by Riordan in 1974. Extending these norms as a function in $q$ onto the complex unit ball and taking the $n\to\infty$ limit, we recover the familiar expression for the norm of the $q$-semicircular and show that the convergence is uniform on the compact subsets of the unit ball. In contrast, the $2n$-norms of the $q$-circular are encoded by chord-crossing diagrams that are parity-reversing, which have not yet been characterized in the combinatorial literature. We derive certain combinatorial properties of these objects, including closed-form expressions for the number of such diagrams of any size with up to eleven crossings. These properties enable us to conclude that the $2n$-norms of the $q$-circular operator are significantly less well behaved than those of the $q$-semicircular operator.

We show that quaternionic Gaussian random variables satisfy a generalization of the Wick formula for computing the expected value of products in terms of a family of graphical enumeration problems. When applied to the quaternionic Wigner and Wishart families of random matrices the result gives the duality between moments of these families and the corresponding real Wigner and Wishart families.

Let $U$ be a matrix chosen randomly, with respect to Haar measure, from the unitary group $U(d).$ We express the moments of the trace of any submatrix of $U$ as a sum over partitions whose terms count certain standard and semistandard Young tableaux. Using this combinatorial interpretation, we obtain a simple closed form for the moments of an individual entry of a random unitary matrix and use this to deduce that the entries converge in moments to standard complex Gaussian random variables. In addition, we recover a well-known theorem of E. Rains which shows that the moments of the trace of a random unitary matrix enumerate permutations with restricted increasing subsequence length.

We continue the investigation of noncommutative cumulants. In this paper various characterizations of noncommutative Gaussian random variables are proved.