arXiv++ Combinatorics

By using the Poisson formula for resultants and the variants of chip-firing game on graphs, we provide a combinatorial method for computing a class of of resultants, i.e. the characteristic polynomials of the adjacency tensors of starlike hypergraphs including hyperpaths and hyperstars,which are given recursively and explicitly.

We show that the mixed discriminant of $n$ positive semidefinite $n \times n$ real symmetric matrices can be approximated within a relative error $ε>0$ in quasi-polynomial $n^{O(\ln n -\ln ε)}$ time, provided the distance of each matrix to the identity matrix in the operator norm does not exceed some absolute constant $γ_0 >0$. We deduce a similar result for the mixed discriminant of doubly stochastic $n$-tuples of matrices from the Marcus - Spielman - Srivastava bound on the roots of the mixed characteristic polynomial. Finally, we construct a quasi-polynomial algorithm for approximating the sum of $m$-th powers of principal minors of a matrix, provided the operator norm of the matrix is strictly less than 1. As is shown by Gurvits, for $m=2$ the problem is $\#P$-hard and covers the problem of computing the mixed discriminant of positive semidefinite matrices of rank 2.

We show that a monic univariate polynomial over a field of characteristic zero, with $k$ distinct non-zero known roots, is determined by its $k$ proper leading coefficients by providing an explicit algorithm for computing the multiplicities of each root. We provide a version of the result and accompanying algorithm when the field is not algebraically closed by considering the minimal polynomials of the roots. Furthermore, we show how to perform the aforementioned algorithm in a numerically stable manner over $\mathbb{C}$, and then apply it to obtain new characteristic polynomials of hypergraphs.

We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements.

Our results can be viewed as applications of algebraic combinatorics in random matrix theory. These applications are motivated by the predictive power of random matrix theory for the statistical behavior of the celebrated Riemann $ζ$-function (and $L$-functions in general), which was discovered by Montgomery (with regard to zeros of $L$-functions) and by Keating and Snaith (with regard to values of $L$-functions). The first results revolve around a new operation on partitions, which we call overlap. We prove two overlap identities for so-called Littlewood-Schur functions. The first overlap identity represents the Littlewood-Schur function $LS _λ(X; Y)$ as a sum over subsets of $X$, while the second overlap identity essentially represents $LS_λ(X; Y)$ as a sum over pairs of partitions whose overlap equals $λ$. Both identities are derived by applying Laplace expansion to a determinantal formula for Littlewood-Schur functions due to Moens and Van der Jeugt. In addition, we give two visual characterizations for the set of all pairs of partitions whose overlap is equal to a partition $λ$. The second result is an asymptotic formula for averages of mixed ratios of characteristic polynomials over the unitary group, where mixed ratios are products of ratios and/or logarithmic derivatives. Our proof of this formula is a generalization of Bump and Gamburd's elegant combinatorial proof of Conrey, Forrester and Snaith's formula for averages of ratios of characteristic polynomials over the unitary group. The generalization relies on three combinatorial results, namely the first overlap identity, a new variant of the Murnaghan-Nakayama rule and an idea from vertex operator formalism. We conclude this thesis by explaining how this approach might lead to new number theoretic proofs.

We provide a combinatorial derivation of an asymptotic formula for averages of mixed ratios of characteristic polynomials over the unitary group, where mixed ratios are products of ratios and/or logarithmic derivatives. Our proof of this formula is a generalization of Bump and Gamburd's elegant combinatorial proof of Conrey, Forrester and Snaith's formula for averages of ratios of characteristic polynomials over the unitary group. One application of this formula is an asymptotic expression for sums over zeros of a random characteristic polynomial from the unitary group, which we call an explicit formula for eigenvalues in an analogy to what is called an explicit formula in the context of $L$-functions.

The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints.

With a main tool is signed graphs, we give a full description of the characteristic quasi-polynomials of ideals of classical root systems ($ABCD$) with respect to the integer and root lattices. As a result, we obtain a full description of the characteristic polynomials of the toric arrangements defined by these ideals. As an application, we provide a combinatorial verification to the fact that the characteristic polynomial of every ideal subarrangement factors over the dual partition of the ideal in the classical cases.

We investigate in this paper a generalization of Solomon-Terao formula for central equidimensional subspace arrangements. We introduce generalized Solomon-Terao functions based on the Hilbert-Poincaré series of the modules of multi-logarithmic forms and logarithmic multi-residues. We show that as in the case of hyperplane arrangements, these Solomon-Terao functions are polynomial. We then prove that if the Solomon-Terao polynomial of the modules of multi-residues satisfies a certain property, then this polynomial is related to the characteristic polynomial of the subspace arrangement. In particular, we prove that this generalized Solomon-Terao formula holds for any line arrangement of any codimension.

Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.

In a recent paper, we studied the interaction between the automorphism group of a graph and its Tutte polynomial. More precisely, we proved that certain symmetries of graphs are clearly reflected by their Tutte polynomials. The purpose of this paper is to extend this study to other graph polynomials. In particular, we prove that if a graph $G$ has a symmetry of prime order $p$, then its characteristic polynomial, with coefficients in the finite filed $\mathbb{F}_p$, is determined by the characteristic polynomial of its quotient graph $\overline G$. Similar results are also proved for some generalization of the Tutte polynomial.

This paper proposes seven combinatorial problems around formulas for the characteristic polynomial and the spectral numbers of a quasihomogeneous singularity. One of them is a new conjecture on the characteristic polynomial. It is an amendment to an old conjecture of Orlik on the integral monodromy of a quasihomogeneous singularity. The search for a combinatorial proof of the new conjecture led us to the seven purely combinatorial problems.

The connection zeta function of a finite abstract simplicial complex G is defined as zeta_L(s)=sum_x 1/lambda_x^s, where lambda_x are the eigenvalues of the connection Laplacian L defined by L(x,y)=1 if x and y intersect and 0 else. (I) As a consequence of the spectral formula chi(G)=sum_x (-1)^dim(x) = p(G)-n(G), where p(G) is the number of positive eigenvalues and n(G) is the number of negative eigenvalues of L, both the Euler characteristic chi(G)=zeta(0)-2 i zeta'(0)/pi as well as determinant det(L)=e^zeta'(0)/pi can be written in terms of zeta. (II) As a consequence of the generalized Cauchy-Binet formula for the coefficients of the characteristic polynomials of a product of matrices we show that for every one-dimensional simplicial complex G, the functional equation zeta(s)=zeta(-s) holds, where zeta(s) is the Zeta function of the positive definite squared connection operator L^2 of G. Equivalently, the spectrum sigma of the integer matrix L^2 for a 1-dimensional complex always satisfies the symmetry sigma = 1/sigma and the characteristic polynomial of L^2 is palindromic. The functional equation extends to products of one-dimensional complexes. (III) Explicit expressions for the spectrum of circular connection Laplacian lead to an explicit entire zeta function in the Barycentric limit. The situation is simpler than in the Hodge Laplacian H=D^2 case where no functional equation was available. In the connection Laplacian case, the limiting zeta function is a generalized hypergeometric function which for an integer s is given by an elliptic integral over the real elliptic curve w^2=(1+z)(1-z)(z^2-4z-1), which has the analytic involutive symmetry (z,w) to (1/z,w/z^2).

When doubly-affine matrices such as Latin and magic squares with a single non-zero eigenvalue are powered up they become constant matrices after a few steps. The process of compounding squares of orders m and n can then be used to generate an infinite series of such squares of orders mn. The Cayley-Hamilton theorem is used to understand this property, where their characteristic polynomials have just two terms.

Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if $C(\mathcal{A},\mathcal{B})\ne\{0\}$, then for each $i\in I$, the characteristic polynomials of $A_i$ and $B_i$ and share a nontrivial factor. We give an exact formula for $k=\dim(C(\mathcal{A},\mathcal{B}))$ and give upper and lower bounds. This generalizes previous work in this area. Finally we construct intertwining codes with large minimum distance when the field is not `too small'. We give examples of codes where $d=rs/k=1/R$ is large where the minimum distance, dimension, and rate of the linear code $C(\mathcal{A},\mathcal{B})$ by $d$, $k$, and $R=k/rs$, respectively.

Let $G$ be a graph with $n$ vertices, and let $A(G)$ and $D(G)$ denote respectively the adjacency matrix and the degree matrix of $G$. Define $$ A_α(G)=αD(G)+(1-α)A(G) $$ for any real $α\in [0,1]$. The $A_α$-characteristic polynomial of $G$ is defined to be $$ \det(xI_n-A_α(G))=\sum_jc_{αj}(G)x^{n-j}, $$ where $\det(*)$ denotes the determinant of $*$, and $I_n$ is the identity matrix of size $n$. The $A_α$-spectrum of $G$ consists of all roots of the $A_α$-characteristic polynomial of $G$. A graph $G$ is said to be determined by its $A_α$-spectrum if all graphs having the same $A_α$-spectrum as $G$ are isomorphic to $G$. In this paper, we first formulate the first four coefficients $c_{α0}(G)$, $c_{α1}(G)$, $c_{α2}(G)$ and $c_{α3}(G)$ of the $A_α$-characteristic polynomial of $G$. And then, we observe that $A_α$-spectra are much efficient for us to distinguish graphs, by enumerating the $A_α$-characteristic polynomials for all graphs on at most 10 vertices. To verify this observation, we characterize some graphs determined by their $A_α$-spectra.

Let $T$ be a tree on $n$ vertices with Laplacian $L_T$ and let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known for coefficients of the characteristic polynomial of $L_T$ as we go up the poset $GTS_n$. In this work, we generalize these inequalities to the $q$-Laplacian $L^q_T$ of $T$ and to the coefficients of all immanantal polynomials.

Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that $a$ and $b$ are strongly cospectral if, for each eigenspace $U$ of $A(X)$, the orthogonal projections of $e_a$ and $e_b$ are either equal or differ only in sign. We develop the basic theory of this concept and provide constructions of graphs with pairs of strongly cospectral vertices. Given a continuous quantum walk on on a graph, each vertex determines a curve in complex projective space. We derive results that show tht the closer these curves are, the more "similar" the corresponding vertices are.

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient and necessary condition for the deletion theorem in terms of characteristic polynomials. This gives a lot of corollaries including the existence of free filtrations. The proof is based on the result about the form of minimal generators of a logarithmic derivation module of a multiarrangement which satisfies the $b_2$-equality.

Let $G$ be a simple graph with $n$ vertices and let $$C(G;x)=\sum_{k=0}^n(-1)^{n-k}c(G,k)x^k$$ denote the Laplacian characteristic polynomial of $G$. Then if the size $|E(G)|$ is large compared to the maximum degree $Δ(G)$, Laplacian coefficients $c(G,k)$ are approximately normally distributed (by central and local limit theorems). We show that Laplacian coefficients of the paths, the cycles, the stars, the wheels and regular graphs of degree $d$ are approximately normally distributed respectively. We also point out that Laplacian coefficients of the complete graphs and the complete bipartite graphs are approximately Poisson distributed respectively.