arXiv++ Combinatorics

An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.

Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.

Given the complement of a hyperplane arrangement, let $Γ$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $Γ$ in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gröbner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.

We develop some basic tools to work with representable matroids of bounded tree-width and use them to prove that, for any prime power $q$ and constant $k$, the characteristic polynomial of any loopless, $GF(q)$-representable matroid with tree-width $k$ has no real zero greater than $q^{k-1}$.

Tesler matrices are certain integral matrices counted by the Kostant partition function and have appeared recently in Haglund's study of diagonal harmonics. In 2014, Drew Armstrong defined a poset on such matrices and conjectured that the characteristic polynomial of this poset is a power of $(q-1)$. We use a method of Hallam and Sagan to prove a stronger version of this conjecture for posets of a certain class of generalized Tesler matrices. We also study bounds for the number of Tesler matrices and how they compare to the number of parking functions, the dimension of the space of diagonal harmonics.

We give a complete formula for the characteristic polynomial of hyperplane arrangements $\mathcal J_n$ consisting of the hyperplanes $x_i+x_j=1$, $x_k=0$, $x_l=1$, $ 1\leq i, j, k, l\leq n$. The formula is obtained by associating hyperplane arrangements with graphs, and then enumerating central graphs via generating functions for the number of bipartite graphs of given order, size and number of connected components.

We give a formula for computing the characteristic polynomial for certain hyperplane arrangements in terms of the number of bipartite graphs of given rank and cardinality.

An $n\times n$ sign pattern $S$, which is a matrix with entries $0,+,-$, is called spectrally arbitrary if any monic real polynomial of degree $n$ can be realized as a characteristic polynomial of a matrix obtained by replacing the non-zero elements of $S$ by numbers of the corresponding signs. A sign pattern $S$ is said to be a superpattern of those matrices that can be obtained from $S$ by replacing some of the non-zero entries by zeros. We develop a new technique that allows us to prove spectral arbitrariness of sign patterns for which the previously known "Nilpotent Jacobian" method does not work. Our approach leads us to solutions of numerous open problems known in the literature. In particular, we provide an example of a sign pattern $S$ and its superpattern $S'$ such that $S$ is spectrally arbitrary but $S'$ is not, disproving a conjecture proposed in 2000 by Drew, Johnson, Olesky, and van den Driessche.

An $n\times n$ zero pattern $S$, which is a matrix with entries $*$ and $0$, is called spectrally arbitrary with respect to a field $F$ if any monic polynomial $f$ of degree $n$ can be realized as the characteristic polynomial of a matrix obtained from $S$ by replacing the $*$'s with non-zero elements of $F$. We construct an $n\times n$ zero pattern that is spectrally arbitrary with respect to $\mathbb{C}$ and has $2n-1$ nonzero entries.

We propose a construction of de Bruijn sequences by the cycle joining method from linear feedback shift registers (LFSRs) with arbitrary characteristic polynomial $f(x)$. We study in detail the cycle structure of the set $Ω(f(x))$ that contains all sequences produced by a specific LFSR on distinct inputs and provide a fast way to find a state of each cycle. This leads to an efficient algorithm to find all conjugate pairs between any two cycles, yielding the adjacency graph. The approach is practical to generate a large class of de Bruijn sequences up to order $n \approx 20$. Many previously proposed constructions of de Bruijn sequences are shown to be special cases of our construction.

Let $M=(E,\mathcal B)$ be an $\mathbb F_q$-linear matroid; denote by ${\mathcal B}$ the family of its bases, $s(M;α)=\sum_{B\in\mathcal B}\prod_{e \in B} α_e$, where ${α_e\in \mathbb F_q}$. According to the Kontsevich conjecture stated in 1997, the number of nonzero values of $s(M;α)$ is a polynomial with respect to $q$ for all matroids. This conjecture was disproved by P. Brosnan and P. Belkale. In this paper we express the characteristic polynomial of the dual matroid $M^\perp$ in terms of the "correct" Kontsevich formula (for $\mathbb F_q$-linear matroids). This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier (and with the help of another technique). In addition, generalizing the correlation (announced by us earlier) that connects flow and chromatic polynomials, we define the characteristic polynomial of $M^\perp$ in two ways, namely, in terms of characteristic polynomials of $M/A$ and $M|_A$, respectively, $A\subseteq E$. The latter expressions are close to convolution-multiplication formulas established by V. Reiner and J. P. S. Kung.

It is shown how a connected graph and a tree with partially prescribed spectrum can be constructed. These constructions are based on a recent result of Salez that every totally real algebraic integer is an eigenvalue of a tree. Our result implies that for any (not necessarily connected) graph $G$, there is a tree $T$ such that the characteristic polynomial $P(G,x)$ of $G$ can divide the characteristic polynomial $P(T,x)$ of $T$, i.e., $P(G,x)$ is a divisor of $P(T,x)$.

Let $M$ be a mixed graph and $H(M)$ be its Hermitian-adjacency matrix. If we add every edge and arc in $M$ a Randić weight, then we can get a new weighted Hermitian-adjacency matrix. What are the properties of this new matrix? Motivated by this, we define the Hermitian-Randić matrix $R_{H}(M)=(r_{h})_{kl}$ of a mixed graph $M$, where $(r_{h})_{kl}=-(r_{h})_{lk}=\frac{\textbf{i}}{\sqrt{d_{k}d_{l}}}$ ($\textbf{i}=\sqrt{-1}$) if $(v_{k},v_{l})$ is an arc of $M$, $(r_{h})_{kl}=(r_{h})_{lk}=\frac{1}{\sqrt{d_{k}d_{l}}}$ if $v_{k}v_{l}$ is an undirected edge of $M$, and $(r_{h})_{kl}=0$ otherwise. In this paper, firstly, we compute the characteristic polynomial of the Hermitian-Randić matrix of a mixed graph. Furthermore, we give bounds to the Hermitian-Randić energy of a general mixed graph. Finally, we give some results about the Hermitian-Randić energy of mixed trees.

The (extended) Linial arrangement $\mathcal{L}_Φ^m$ is a certain finite truncation of the affine Weyl arrangement of a root system $Φ$ with a parameter $m$. Postnikov and Stanley conjectured that all roots of the characteristic polynomial of $\mathcal{L}_Φ^m$ have the same real part, and this has been proved for the root systems of classical types. In this paper we prove that the conjecture is true for exceptional root systems when the parameter $m$ is sufficiently large. The proof is based on representations of the characteristic quasi-polynomials in terms of Eulerian polynomials.

A foundational result in the theory of Lyndon words (words that are strictly earlier in lexicographic order than their cyclic permutations) is the Chen-Fox-Lyndon theorem which states that every word has a unique non-increasing decomposition into Lyndon words. This article extends this factorization theorem, obtaining the proportion of these decompositions that are strictly decreasing. This result is then used to count primitive pseudo orbits (sets of primitive periodic orbits) on q-nary graphs. As an application we obtain a diagonal approximation to the variance of the characteristic polynomial coefficients q-nary quantum graphs.

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.

An arc-weighted digraph is a pair $(D,ω)$ where $D$ is a digraph and $ω$ is an \emph{arc-weight function} that assigns\ to each arc $uv$ of $D$ a nonzero real number $ω(uv)$. Given an arc-weighted digraph $(D,ω)$ with vertices $v_{1},\ldots,v_{n}$, the weighted adjacency matrix of $(D,ω)$ is defined as the matrix $A(D,ω)=[a_{ij}]$ where $a_{ij}=ω(v_{i}v_{j})$, if $v_{i}v_{j}\ $an arc of $D$ and $0$ otherwise. Let $(D,ω)$ be a positive arc-weighted digraphs and assume that $D$ is loopless and symmetric. A skew-signing of $(D,ω)$ is an arc-weight function $ω^{\prime}$ such that $ω^{\prime}(uv)=\pm ω(uv)$ and $ω^{\prime}(uv)ω^{\prime}(vu)<0$ for every arc $uv$ of $D$. In this paper, we give necessary and sufficient conditions under which the characteristic polynomial of $A(D,ω^{\prime})$ is the same for every skew-signing $ω^{\prime}$ of $(D,ω)$. Our Main Theorem generalizes a result of Cavers et al (2012) about skew-adjacency matrices of graphs.

Let $S_n(\mathbb{Z})$ and $O_n(\mathbb{Q})$ denote the set of all $n\times n$ symmetric matrices over the ring of integers $\mathbb{Z}$ and the set of all $n\times n$ orthogonal matrices over the field of rational numbers $\mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $A\in {S_n(\mathbb{Z})}$. How can one find all rational orthogonal matrices $Q\in{O_n(\mathbb{Q})}$ such that $Q^TAQ\in {S_n(\mathbb{Z})}$, and in particular, when does $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ imply that $Q$ is \emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)? A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Δ_A=\pm \res(φ,φ')$ be \emph{the discriminant of matrix $A$}, where $\res(φ,φ')$ is \emph{the resultant} of the characteristic polynomial $φ$ of $A$ and its derivative $φ'$. We show that if $Δ_A$ is odd and square-free, then $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.

Given a field $F$, a scalar $λ\in F$ and a matrix $A\in F^{n\times n}$, the twisted centralizer code $C_F(A,λ):=\{B\in F^{n\times n}\mid AB-λBA=0\}$ is a linear code of length $n^2$. When $A$ is cyclic and $λ\ne0$ we prove that $\dim C_F(A,λ)=\mathrm{deg}(\gcd(c_A(t),λ^n c_A(λ^{-1}t)))$ where $c_A(t)$ denotes the characteristic polynomial of $A$. We also show how $C_F(A,λ)$ decomposes, and we estimate the probability that $C_F(A,λ)$ is nonzero when $|F|$ is finite. Finally, we prove $\dim C_F(A,λ)\leqslant n^2/2$ for $λ\not\in\{0,1\}$ and `almost all' matrices $A$.

We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements.