arXiv++ Combinatorics

This paper solves the following problem about Hermitian matrices related to the theory of $2$-structures:\emph{ }Let $n$ be a positive integer and $k$ be an integer with $k\in \{3,\ldots,n-3\}$. Characterize the Hermitian matrices $A$ such that the characteristic polynomials of the $k\times k$ submatrices of $A$ are all equal. Such matrices are called $k$-spectrally monomorphic. A crucial step to obtain this characterization is proving that if a matrix $A$ is $k$-spectrally monomorphic then it is $l$-spectrally monomorphic for $l$ in $\{1,\ldots,min\{k, n-k\}\}$.

In this note we give various characterizations of random walks with possibly different steps that have relatively large discrepancy from the uniform distribution modulo a prime p, and use these results to study the distribution of the rank of random matrices over F_p and the equi-distribution behavior of normal vectors of random hyperplanes. We also study the probability that a random square matrix is eigenvalue-free, or when its characteristic polynomial is divisible by a given irreducible polynomial in the limit n to infinity in F_p. We show that these statistics are universal, extending results of Stong and Neumann-Praeger beyond the uniform model.

In this paper we describe a parallel algorithm for generating all non-isomorphic rank $3$ simple matroids with a given multiplicity vector. We apply our implementation in the HPC version of GAP to generate all rank $3$ simple matroids with at most $14$ atoms and a splitting characteristic polynomial. We have stored the resulting matroids alongside with various useful invariants in a publicly available, ArangoDB-powered database. As a byproduct we show that the smallest divisionally free rank $3$ arrangement which is not inductively free has $14$ hyperplanes and exists in all characteristics distinct from $2$ and $5$. Another database query proves that Terao's freeness conjecture is true for rank $3$ arrangements with $14$ hyperplanes in any characteristic.

In this paper, we study the characters of two classes of P-polynomial table algebras using tridiagonal matrices. To this end, we obtain some results about the eigen-structure of special tridiagonal matrices. We also find a recursive relation for the characteristic polynomial of the first intersection matrix of P-polynomial table algebras by means of LU factorization.

In this note, we show how to obtain a "characteristic power series" of graphons -- infinite limits of dense graphs -- as the limit of normalized reciprocal characteristic polynomials. This leads to a new characterization of graph quasi-randomness and another perspective on spectral theory for graphons, a complete description of the function in terms of the spectrum of the graphon as a self-adjoint kernel operator. Interestingly, while we apply a standard regularization to classical determinants, it is unclear how necessary this is.

In this note we give a combinatorial and non-computational proof of the asymptotics of the integer moments of the moments of the characteristic polynomials of Haar distributed unitary matrices as the size of the matrix goes to infinity. This is achieved by relating these quantities to a lattice point count problem. Our main result is a new explicit expression for the leading order coefficient in the asymptotic as a volume of a certain region involving continuous Gelfand-Tsetlin patterns with constraints.

The Laplacian matrix of a graph $G$ is denoted by $L(G)=D(G)-A(G)$, where $D(G)=diag(d(v_{1}),\ldots , d(v_{n}))$ is a diagonal matrix and $A(G)$ is the adjacency matrix of $G$. Let $G_1$ and $G_2$ be two graphs. A one-edge connection of two graphs $G_1$ and $G_2$ is a graph $G=G_1\odot_{uv} G_2$ with $V(G)=V(G_1)\cup V(G_2)$ and $E(G)= E(G_1)\cup E(G_2)\cup \{e=uv\}$, where $u\in V(G_1)$ and $v\in V(G_2)$. We investigate the multiplicity of the Laplacian eigenvalue $2$ of $G_1\odot_{uv} G_2$, while the unicyclic graphs $G_1$ and $G_2$ have $2$ among their Laplacian eigenvalues, by using their Laplacian characteristic polynomials. Some structural conditions ensuring the presence of the existence $2$ in the $G=G_1\odot_{uv} G_2$ where both $G_1$ and $G_2$ have $2$ as Laplacian eigenvalue, have been investigated, while, here we study the existence Laplacian eigenvalue $2$ in $G=G_1\odot_{uv} G_2$ where at most one of $G_1$ or $G_2$ has $2$ as Laplacian eigenvalue.

An arrangement of hyperplanes is a finite collection of hyperplanes in a real Euclidean space. To such a collection one associates the characteristic polynomial that encodes the combinatorics of intersections of the hyperplanes. Finding the characteristic polynomial of the Shi threshold and the Catalan threshold arrangements was an open problem in Stanley's list of problems in [1]. Seunghyun Seo solved both the problems by clever arguments using the finite field method in [3,4]. However, in his paper, he left open the problem of computing the characteristic polynomial of a broader class of threshold arrangements, the so-called "generalized threshold" arrangements whose defining set of hyperplanes is given by $x_i + x_j = -l,-l+1,...,m-1,m$ for $1 \le i < j \le n$ where $l,m \in \mathbb{N}$. In this paper, we present a method for computing the characteristic polynomial of this family of arrangements.

The set of all $\ell$-zero-sumfree subsets of $\mathbb{Z}/n\mathbb{Z}$ is a simplicial complex denoted by $Δ_{n,\ell}$ We create an algorithm via defining a set of integer partitions we call $(n,\ell)$-congruent partitions in order to compute this complex for moderately-sized parameters $n$ and $\ell$. We also theoretically determine $Δ_{n,\ell}$ for several infinite families of parameters, and compute the intersection lattices and the characteristic polynomials of the corresponding coordinate subspace arrangements.

Let $X$ be an infinite graph of bounded degree; e.g., the Cayley graph of a free product of finite groups. If $G$ is a finite graph covered by $X$, it is said to be $X$-Ramanujan if its second-largest eigenvalue $λ_2(G)$ is at most the spectral radius $ρ(X)$ of $X$, and more generally $k$-quasi-$X$-Ramanujan if $λ_k(G)$ is at most $ρ(X)$. In case $X$ is the infinite $Δ$-regular tree, this reduces to the well known notion of a finite $Δ$-regular graph being Ramanujan. Inspired by the Interlacing Polynomials method of Marcus, Spielman, and Srivastava, we show the existence of infinitely many $k$-quasi-$X$-Ramanujan graphs for a variety of infinite $X$. In particular, $X$ need not be a tree; our analysis is applicable whenever $X$ is what we call an additive product graph. This additive product is a new construction of an infinite graph $\mathsf{AddProd}(A_1, \dots, A_c)$ from finite 'atom' graphs $A_1, \dots, A_c$ over a common vertex set. It generalizes the notion of the free product graph $A_1 * \cdots * A_c$ when the atoms $A_j$ are vertex-transitive, and it generalizes the notion of the universal covering tree when the atoms $A_j$ are single-edge graphs. Key to our analysis is a new graph polynomial $α(A_1, \dots, A_c;x)$ that we call the additive characteristic polynomial. It generalizes the well known matching polynomial $μ(G;x)$ in case the atoms $A_j$ are the single edges of $G$, and it generalizes the $r$-characteristic polynomial introduced in [Ravichandran'16, Leake-Ravichandran'18]. We show that $α(A_1, \dots, A_c;x)$ is real-rooted, and all of its roots have magnitude at most $ρ(\mathsf{AddProd}(A_1, \dots, A_c))$. This last fact is proven by generalizing Godsil's notion of treelike walks on a graph $G$ to a notion of freelike walks on a collection of atoms $A_1, \dots, A_c$.

The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices. The transmission of a vertex $v_i$ in $G$ is the sum of the distances from $v_i$ to all other vertices and $T(G)$ is the diagonal matrix of transmissions of the vertices of the graph. The normalized distance Laplacian, $\mathcal{D}^{\mathcal {L}}(G)=I-T(G)^{-1/2}\mathcal{D}(G) T(G)^{-1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=I-D(G)^{-1/2}A(G)D(G)^{-1/2}$, where $D(G)$ is the diagonal matrix of degrees of the vertices of the graph and $A(G)$ is the adjacency matrix. Bounds on the spectral radius of $\mathcal{D}^{\mathcal {L}}$ and connections with the normalized Laplacian matrix are presented. Twin vertices are used to determine eigenvalues of the normalized distance Laplacian. The generalized distance characteristic polynomial is defined and its properties discussed. Finally, $\mathcal{D}^{\mathcal {L}}$-cospectrality is studied for all graphs on 10 and fewer vertices, providing evidence that the normalized distance Laplacian has fewer cospectral pairs than other matrices.

In this paper, we study simplicial hyperplane arrangements in real projective $3$-space. We give a necessary condition for the characteristic polynomial to have only real roots, valid also for non-simplicial arrangements. As application, we obtain combinatorial inequalities which are satisfied for arrangements with splitting polynomial. This allows us to prove that there are only finitely many different isomorphism classes of simply laced simplicial arrangements whose characteristic polynomials split over $\mathbb{R}$. We also provide an updated version of a catalogue published by Grünbaum and Shephard and review some conjectures of theirs.

Characteristic elements of the Tits algebra of a real hyperplane arrangement carry information about the characteristic polynomial. We present this notion and its basic properties, and apply it to derive various results about the characteristic polynomial of an arrangement, from Zaslavsky's formulas to more recent results of Kung and of Klivans and Swartz. We construct several examples of characteristic elements, including one in terms of intrinsic volumes of faces of the arrangement.

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has exactly one positive eigenvalue at any point on the positive orthant. This property can be seen as an analog of Hodge--Riemann relations for Lorentzian polynomials. Lorentzian polynomials are intimately connected to matroid theory and negative dependence properties. We show that matroids, and more generally M-convex sets, are characterized by the Lorentzian property, and develop a theory around Lorentzian polynomials. In particular, we provide a large class of linear operators that preserve the Lorentzian property and prove that Lorentzian measures enjoy several negative dependence properties. We also prove that the class of tropicalized Lorentzian polynomials coincides with the class of M-convex functions in the sense of discrete convex analysis. The tropical connection is used to produce Lorentzian polynomials from M-convex functions. We give two applications of the general theory. First, we prove that the homogenized multivariate Tutte polynomial of a matroid is Lorentzian whenever the parameter q satisfies $0 < q \le 1$. Consequences are proofs of the strongest Mason's conjecture from 1972 and negative dependence properties of the random cluster model model in statistical physics. Second, we prove that the multivariate characteristic polynomial of an M-matrix is Lorentzian. This refines a result of Holtz who proved that the coefficients of the characteristic polynomial of an M-matrix form an ultra log-concave sequence.

Let $G$ be a simple graph and $A(G)$ be the adjacency matrix of $G$. The matrix $S(G) = J -I -2A(G)$ is called the Seidel matrix of $G$, where $I$ is an identity matrix and $J$ is a square matrix all of whose entries are equal to 1. Clearly, if $G$ is a graph of order $n$ with no isolated vertex, then the Seidel matrix of $G$ is also the adjacency matrix of a signed complete graph $K_n$ whose negative edges induce $G$. In this paper, we study the Seidel eigenvalues of the complete multipartite graph $K_{n_1,\ldots,n_k}$ and investigate its Seidel characteristic polynomial. We show that if there are at least three parts of size $n_i$, for some $i=1,\ldots,k$, then $K_{n_1,\ldots,n_k}$ is determined, up to switching, by its Seidel spectrum.

Let $π=\{V_1,\dots,V_r\}$ be an equitable partition of the vertex set of a directed graph (digraph) $X$. It is well known that the characteristic polynomial $φ(X/π,x)$ of a quotient graph $X/π$ divides that of $X$, but the remainder part is not well investigated. In this paper, we define a deletion graph $X\backslashπ$ over an equitable partition $π$, which is a signed directed graph defined for a fixed set of deleting vertices $\{\bar{v}_i\in V_i, i=1,\cdots,r\}$, and give a similarity transformation exchanging the adjacency matrix $A(X)$ which is compatible with the equitable partition for a block triangular matrix whose diagonal blocks are the adjacency matrix of the quotient graph and the deletion graph. In fact, we show the result for more general matrices including adjacency matrix of graphs, and as corollaries, we show the followings: (i) a decomposition formula of the reciprocal of the Ihara-Bartholdi zeta function over an equitably partitioned undirected graph into the quotient graph part and the deletion graph part, and (ii) Chen and Chen's result ([CC17, Theorem 3.1]) on the Ihara-Bartholdi zeta functions on generalized join graphs, and (iii) Teranishi's result [Ter03, Theorem 3.3].

In this paper, we give a reduced formula of the characteristic polynomial of $k$-uniform hypergraphs with a pendant edge. And the explicit characteristic polynomial and all distinct eigenvalues of $k$-uniform hyperpath are given.

The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices, and the distance Laplacian matrix is $\mathcal{D}^L(G)=T(G)-\mathcal{D}(G)$, where $T(G)$ is the diagonal matrix of row sums of $\mathcal{D}(G)$. We establish several general methods for producing $\mathcal{D}^L$-cospectral graphs that can be used to construct infinite families. We provide examples showing that various properties are not preserved by $\mathcal{D}^L$-cospectrality, including examples of $\mathcal{D}^L$-cospectral strongly regular and circulant graphs. We establish that the absolute values of coefficients of the distance Laplacian characteristic polynomial are decreasing, i.e., $|δ^L_{1}|\geq \dots \geq |δ^L_{n}|$ where $δ^L_{k}$ is the coefficient of $x^k$.

Unlike in the case of Fibonacci and Lucas numbers, there is a paucity of literature dealing with summation identities involving the Padovan and Perrin numbers. In this paper, we derive various summation identities for these numbers, including binomial and double binomial identities. Our results derive from the rich algebraic properties exhibited by the zeros of the characteristic polynomial of the Padovan/Perrin sequence.

We generalize the Harary-Sachs theorem to $k$-uniform hypergraphs: the codegree-$d$ coefficient of the characteristic polynomial of a uniform hypergraph ${\cal H}$ can be expressed as a weighted sum of subgraph counts over certain multi-hypergraphs with $d$ edges. We include a detailed description of the aforementioned multi-hypergraphs and a formula for their corresponding weights.