arXiv++ Combinatorics

The \emph{resistance matrix} of a simple connected graph $G$ is denoted by $R$, and is defined by $R =(r_{ij})$, where $r_{ij}$ is the resistance distance between the vertices $i$ and $j$ of $G$. In this paper, we consider the resistance matrix of weighted graph with edge weights being positive definite matrices of same size. We derive a formula for the determinant and the inverse of the resistance matrix. Then, we establish an interlacing inequality for the eigenvalues of resistance and Laplacian matrices. Using this interlacing inequality, we obtain the inertia of the resistance matrix.

These lecture notes are meant to accompany two lectures given at the CDM 2016 conference, about the Kadison-Singer Problem. They are meant to complement the survey by the same authors (along with Spielman) which appeared at the 2014 ICM. In the first part of this survey we will introduce the Kadison-Singer problem from two perspectives ($C^*$ algebras and spectral graph theory) and present some examples showing where the difficulties in solving it lie. In the second part we will develop the framework of interlacing families of polynomials, and show how it is used to solve the problem. None of the results are new, but we have added annotations and examples which we hope are of pedagogical value.

We introduce the concept of piecewise interlacing zeros for studying the relation of root distribution of two polynomials. The concept is pregnant with an idea of confirming the real-rootedness of polynomials in a sequence. Roughly speaking, one constructs a collection of disjoint intervals such that one may show by induction that consecutive polynomials have interlacing zeros over each of the intervals. We confirm the real-rootedness of some polynomials satisfying a recurrence with linear polynomial coefficients. This extends Gross et al.'s work where one of the polynomial coefficients is a constant.

We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that use the top $k$ coefficients to approximate the maximum root within a factor of $n^{1/k}$ and $1+O(\tfrac{\log n}{k})^2$ when $k\leq \log n$ and $k>\log n$ respectively. We also prove corresponding information-theoretic lower bounds of $n^{Ω(1/k)}$ and $1+Ω\left(\frac{\log \frac{2n}{k}}{k}\right)^2$, and show strong lower bounds for noisy version of the problem in which one is given access to approximate coefficients. This problem has applications in the context of the method of interlacing families of polynomials, which was used for proving the existence of Ramanujan graphs of all degrees, the solution of the Kadison-Singer problem, and bounding the integrality gap of the asymmetric traveling salesman problem. All of these involve computing the maximum root of certain real-rooted polynomials for which the top few coefficients are accessible in subexponential time. Our results yield an algorithm with the running time of $2^{\tilde O(\sqrt[3]n)}$ for all of them.

We study asymptotics of $q$-distributed random lozenge tilings of sawtooth domains (equivalently, of random interlacing integer arrays with fixed top row). Under the distribution we consider each tiling is weighted proportionally to $q^{\mathsf{vol}}$, where $\mathsf{vol}$ is the volume under the corresponding 3D stepped surface. We prove the following Interlacing Central Limit Theorem: as $q\rightarrow1$, the domain gets large, and the fixed top row approximates a given nonrandom profile, the vertical lozenges are distributed as the eigenvalues of a GUE random matrix and of its successive principal corners. Our results extend the GUE corners asymptotics for tilings of bounded polygonal domains previously known in the uniform (i.e., $q=1$) case. Even though $q$ goes to $1$, the presence of the $q$-weighting affects non-universal constants in our Central Limit Theorem.

It was observed by Bump et al. that Ehrhart polynomials in a special family exhibit properties similar to the Riemann ζ function. The construction was generalized by Matsui et al. to a larger family of reflexive polytopes coming from graphs. We prove several conjectures confirming when such polynomials have zeros on a certain line in the complex plane. Our main new method is to prove a stronger property called interlacing.

We study the asymptotics of the global fluctuations for the difference between two adjacent levels in the $β$--Jacobi corners process (multilevel and general $β$ extension of the classical Jacobi ensemble of random matrices). The limit is identified with the derivative of the $2d$ Gaussian Free Field. Our main tools are integral forms for the (Macdonald-type) difference operators originating from the shuffle algebra.

We adapt the arguments of Marcus, Spielman and Srivastava in their proof of the Kadison-Singer problem to prove improved paving estimates. Working with Anderson's paving formulation of Kadison-Singer instead of Weaver's vector balancing version, we show that the machinery of interlacing polyomials due to Marcus, Spielman and Srivastava works in this setting as well. The relevant expected characteristic polynomials turn out to be related to the so called "mixed determinants" that have been carefully studied by Borcea and Branden. This technique allows us to show that any projection with diagonal entries strictly less than $\frac{1}{4}$ can be two paved, matching recent results of Bownik, Casazza, Marcus and Speegle, though our estimates are asymptotically weaker. We also show that any projection with diagonal entries at most $\frac{1}{2}$ can be four paved, yielding improvements over currently known estimates. We also relate the problem of finding optimal paving estimates to bounding the root intervals of a natural one parameter deformation of the characteristic polynomial of a matrix that turns out to have some remarkable combinatorial properties.

In this paper, we mainly study the stability of iterated polynomials and linear transformations preserving the strong $q$-log-convexity of polynomials Let $[T_{n,k}]_{n,k\geq0}$ be an array of nonnegative numbers. We give some criteria for the linear transformation $$y_n(q)=\sum_{k=0}^nT_{n,k}x_k(q)$$ preserving the strong $q$-log-convexity (resp. log-convexity). As applications, we derive that some linear transformations (for instance, the Stirling transformations of two kinds, the Jacobi-Stirling transformations of two kinds, the Legendre-Stirling transformations of two kinds, the central factorial transformations, and so on) preserve the strong $q$-log-convexity (resp. log-convexity) in a unified manner. In particular, we confirm a conjecture of Lin and Zeng, and extend some results of Chen {\it et al.}, and Zhu for strong $q$-log-convexity of polynomials, and some results of Liu and Wang for transformations preserving the log-convexity. The stability property of iterated polynomials implies the $q$-log-convexity. By applying the method of interlacing of zeros, we also present two criteria for the stability of the iterated Sturm sequences and $q$-log-convexity of polynomials. As consequences, we get the stabilities of iterated Eulerian polynomials of type $A$ and $B$, and their $q$-analogs. In addition, we also prove that the generating functions of alternating runs of type $A$ and $B$, the longest alternating subsequence and up-down runs of permutations form a $q$-log-convex sequence, respectively.

Athanasiadis conjectured that, for every positive integer $r$, the local $h$-polynomial of the $r$th edgewise subdivision of any simplex has only real zeros. In this paper, based on the theory of interlacing polynomials, we prove that a family of polynomials related to the desired local $h$-polynomial is interlacing and hence confirm Athanasiadis' conjecture.

It is proved that for any finite connected graph $G$, there exists an orientation of $G$ such that the spectral radius of the corresponding Hermitian adjacency matrix is smaller or equal to the spectral radius of the universal cover of $G$ (with equality if and only if $G$ is a tree). This resolves a problem proposed by Mohar. The proof uses the method of interlacing families of polynomials that was developed by Marcus, Spielman, and Srivastava in their seminal work on the existence of infinite families of Ramanujan graphs.

Recently, Z. W. Sun put forward a series of conjectures on monotonicity of combinatorial sequences in the form of $\{z_n/z_{n-1}\}_{n=N}^\infty$ and $\{\sqrt[n+1]{z_{n+1}}/\sqrt[n]{z_n}\}_{n=N}^\infty$ for some positive integer $N$, where $\{z_n\}_{n=0}^\infty$ is a sequence of positive integers. Luca and Stănică, Hou et al., Chen et al., Sun and Yang proved some of them. In this paper, we give an affirmative answer to monotonicity of another new kind of number conjectured by Z. W. Sun via interlacing method for log-convexity and log-concavity of a sequence, and we also use the criterion for log-concavity of a sequence in the form of $\{\sqrt[n]{z_n}\}_{n=1}^\infty$ due to Xia.

Recently, Z. W. Sun introduced a new kind of numbers $S_n$ and also posed a conjecture on ratio monotonicity of combinatorial sequences related to $S_n$. In this paper, by investigating some arithmetic properties of $S_n$, we give an affirmative answer to his conjecture. Our methods are based on a newly established criterion and interlacing method for log-convexity, and also the criterion for ratio log-concavity of a sequence due to Chen, Guo and Wang.

We explain the relation between certain random tiling models and interacting particle systems belonging to the anisotropic KPZ (Kardar-Parisi-Zhang) universality class in 2+1-dimensions. The link between these two \emph{a priori} disjoint sets of models is a consequence of the presence of shuffling algorithms that generate random tilings under consideration. To see the precise connection, we represent both a random tiling and the corresponding particle system through a set of non-intersecting lines, whose dynamics is induced by the shuffling algorithm or the particle dynamics. The resulting class of measures on line ensembles also fits into the framework of the Schur processes.

Let $G$ be a finite connected graph, and let $ρ$ be the spectral radius of its universal cover. For example, if $G$ is $k$-regular then $ρ=2\sqrt{k-1}$. We show that for every $r$, there is an $r$-covering (a.k.a. an $r$-lift) of $G$ where all the new eigenvalues are bounded from above by $ρ$. It follows that a bipartite Ramanujan graph has a Ramanujan $r$-covering for every $r$. This generalizes the $r=2$ case due to Marcus, Spielman and Srivastava (2013). Every $r$-covering of $G$ corresponds to a labeling of the edges of $G$ by elements of the symmetric group $S_{r}$. We generalize this notion to labeling the edges by elements of various groups and present a broader scenario where Ramanujan coverings are guaranteed to exist. In particular, this shows the existence of richer families of bipartite Ramanujan graphs than was known before. Inspired by Marcus-Spielman-Srivastava, a crucial component of our proof is the existence of interlacing families of polynomials for complex reflection groups. The core argument of this component is taken from a recent paper of them (2015). Another important ingredient of our proof is a new generalization of the matching polynomial of a graph. We define the $r$-th matching polynomial of $G$ to be the average matching polynomial of all $r$-coverings of $G$. We show this polynomial shares many properties with the original matching polynomial. For example, it is real rooted with all its roots inside $\left[-ρ,ρ\right]$.

We prove that there exist bipartite Ramanujan graphs of every degree and every number of vertices. The proof is based on analyzing the expected characteristic polynomial of a union of random perfect matchings, and involves three ingredients: (1) a formula for the expected characteristic polynomial of the sum of a regular graph with a random permutation of another regular graph, (2) a proof that this expected polynomial is real rooted and that the family of polynomials considered in this sum is an interlacing family, and (3) strong bounds on the roots of the expected characteristic polynomial of a union of random perfect matchings, established using the framework of finite free convolutions we recently introduced.

The paper gives a thorough introduction to spectra of digraphs via its Hermitian adjacency matrix. This matrix is indexed by the vertices of the digraph, and the entry corresponding to an arc from $x$ to $y$ is equal to the complex unity $i$ (and its symmetric entry is $-i$) if the reverse arc $yx$ is not present. We also allow arcs in both directions and unoriented edges, in which case we use $1$ as the entry. This allows to use the definition also for mixed graphs. This matrix has many nice properties; it has real eigenvalues and the interlacing theorem holds for a digraph and its induced subdigraphs. Besides covering the basic properties, we discuss many differences from the properties of eigenvalues of undirected graphs and develop basic theory. The main novel results include the following. Several surprising facts are discovered about the spectral radius; some consequences of the interlacing property are obtained; operations that preserve the spectrum are discussed -- they give rise to an incredible number of cospectral digraphs; for every $0\leα\le\sqrt{3}$, all digraphs whose spectrum is contained in the interval $(-α,α)$ are determined.

We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions. Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem. Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem.

In this paper we present an explicit formula for the number of permutations with a given number of alternating descents. Moreover, we study the interlacing property of the real parts of the zeros of the generating polynomials of these numbers.

We introduce and study q-randomized Robinson-Schensted-Knuth (RSK) correspondences which interpolate between the classical (q=0) and geometric (q->1) RSK correspondences (the latter ones are sometimes also called tropical). For 0<q<1 our correspondences are randomized, i.e., the result of an insertion is a certain probability distribution on semistandard Young tableaux. Because of this randomness, we use the language of discrete time Markov dynamics on two-dimensional interlacing particle arrays (these arrays are in a natural bijection with semistandard tableaux). Our dynamics act nicely on a certain class of probability measures on arrays, namely, on q-Whittaker processes (which are t=0 versions of Macdonald processes). We present four Markov dynamics which for q=0 reduce to the classical row or column RSK correspondences applied to a random input matrix with independent geometric or Bernoulli entries. Our new two-dimensional discrete time dynamics generalize and extend several known constructions: (1) The discrete time q-TASEPs arise as one-dimensional marginals of our "column" dynamics. In a similar way, our "row" dynamics lead to discrete time q-PushTASEPs - new integrable particle systems in the Kardar-Parisi-Zhang universality class. We employ these new one-dimensional discrete time systems to establish a Fredholm determinantal formula for the two-sided continuous time q-PushASEP conjectured by Corwin-Petrov (2013). (2) In a certain Poisson-type limit (from discrete to continuous time), our two-dimensional dynamics reduce to the q-randomized column and row Robinson-Schensted correspondences introduced by O'Connell-Pei (2012) and Borodin-Petrov (2013), respectively. (3) In a scaling limit as q->1, two of our four dynamics on interlacing arrays turn into the geometric RSK correspondences associated with log-Gamma or strict-weak directed random polymers.