arXiv++ Combinatorics

For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.

The Rota--Heron--Welsh conjecture (now a theorem of Adiprasito, Huh, and the author) asserts the log-concavity of the characteristic polynomial of matroids. We give an exposition of the Lorentzian polynomial proof following the work of Branden and Leake aimed at undergraduate and beginning graduate students.

Initiated by Mulmuley, Vazirani, and Vazirani (1987), many algebraic algorithms have been developed for matching and related problems. In this paper, we review basic facts and discuss possible improvements with the aid of fast computation of the characteristic polynomial of a matrix. In particular, we show that the so-called exact matching problem can be solved with high probability in asymptotically the same time order as matrix multiplication. We also discuss its extension to the linear matroid parity problem.

In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials.

We first obtain explicit upper bounds for the proportion of elements in a finite classical group G with a given characteristic polynomial. We use this to complete the proof that the proportion of elements of a finite classical group G which lie in a proper irreducible subgroup tends to 0 as the dimension of the natural module goes to infinity. This result is analogous to the result of Luczak and Pyber [15] that the proportion of elements of the symmetric group S_n which are contained in a proper transitive subgroup other than the alternating group goes to 0 as n goes to infinity. We also show that the probability that 3 random elements of SL(n,q) invariably generate goes to 0 as n goes to infinity.

Hypergraphs require higher-dimensional representations, which makes it more difficult to compute and interpret their spectral properties. This survey article uses the framework of hypermatrices to give an in-depth overview of the spectral theory of hypergraphs. Our focus in this article relies on the theoretical aspects of hypergraphs that help to ease the computational methods. Spectral theory hypergraphs, one of the most advanced fields of study, are constantly finding novel applications in various domains such as theoretical computer science, quantum physics, and theoretical chemistry, among many others. We start our journey by introducing hypergraphs, hypermatrices (tensors), resultants, and their properties. We outline some of the results used to determine the adjacency spectrum of hypergraphs and go over some of the groundbreaking findings in the development of the theory. On passing through a list of bounds for the spectral radius of uniform hypergraphs, we will have a look into the spectral versions of Turán-type problems in hypergraphs. Finally, in addition to the Estrada index of hypergraphs, some significant results related to the characteristic polynomial and its relationship with the matching polynomial are presented.

Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.

A uniform hypergraph is called a sunflower if all of its hyperedges intersect in the same set of vertices. In this paper, we determine the eigenvalues and spectral moments of a sunflower, thereby obtaining an explicit formula for its characteristic polynomial.

The characteristic polynomial and the spectrum of the lexicographic product of graphs $H[G]$, a specific instance of the generalized composition (also called $H$-join), are explicitly determined for arbitrary graphs $H$ and $G$, in terms of the eigenvalues of $G$ and an $H[G]$ associated matrix $\widetilde{\bf W}$, which relates $H$ with $G$. This study also establishes conditions under which a main eigenvalue of $G$ is a main or non-main eigenvalue of the matrix $\widetilde{\bf W}$, when the nullity of the graph $H$ is $η>0$. In such a case, we prove that every main eigenvalue of $G$ is an eigenvalue of $\widetilde{\bf W}$ with multiplicity at least $η$ which is non-main for $\bf \widetilde{W}$ if and only if $0$ is a non-main eigenvalue of $H$. Furthermore, the spectra of the lexicographic powers of arbitrary graphs $G$ are analysed by applying the obtained results.

Incidence-based generalizations of cycle covers, called contributors, extend the Harary-Sachs coefficient theorem for characteristic polynomials of the adjacency matrix of graphs. All minors of the Laplacian resulting from an integer matrix are characterized using their associated oriented hypergraph through a new minimal collection of contributors to produce the coefficients of the total-minor polynomial. We prove that the natural grouping of contributors via tail-equivalence is necessarily cancellative for any contributor family that reuses an edge. We then provide a new combinatorial proof on the non-0 isospectrality of the traditional characteristic polynomials of the Laplacian and its dual.

We primarily investigate the properties of characteristic polynomials of semimatroids. In particular, we provide a combinatorial interpretation of their coefficients, generalizing the Whitney's Broken Circuit Theorem. We also prove that the unsigned coefficients of the characteristic polynomial form a unimodal and log-concave sequence, extending the Rota-Heron-Welsh Conjecture to semimatroids. Furthermore, we present convolution identities for the multiplicative characteristic and Tutte polynomials of semimatroids using the Möbius conjugation. Finally, motivated by Kochol's work, we introduce assigning matroids to establish connections among semimatroids, hyperplane arrangements, and graph colorings, with a particular focus on their characteristic polynomials.

A recent result of Lofano and Paolini expresses the characteristic polynomial of a real hyperplane arrangement in terms of a projection statistic on the regions of the arrangement. We use this result to give an alternative proof for Greene and Zaslavsky's interpretation for the coefficients of the chromatic polynomial of a graph and further generalize this interpretation to signed graphs. We also show that this projection statistic has a nice combinatorial interpretation in the case of the braid arrangement, which generalizes to graphical arrangements of natural unit interval graphs.

Let $Σ$ be an $n$-vertex controllable or almost controllable signed bipartite graph, and let $Δ_Σ$ denote the discriminant of its characteristic polynomial $χ(Σ; x)$. We prove that if (\rmnum{1}) the integer $2^{ -\lfloor n/2 \rfloor }\sqrt{Δ_Σ}$ is squarefree, and (\rmnum{2}) the constant term (even $n$) or linear coefficient (odd $n$) of $χ(Σ; x)$ is $\pm 1$, then $Σ$ is determined by its generalized spectrum. This result extends a recent theorem of Ji, Wang, and Zhang [Electron. J. Combin. 32 (2025), \#P2.18], which established a similar criterion for signed trees with irreducible characteristic polynomials.

Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szegö and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.

Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.

Let $\mathcal{A}$ be an affine hyperplane arrangement, $L(\mathcal{A})$ its intersection poset, and $χ_{\mathcal{A}}(t)$ its characteristic polynomial. This paper aims to propose combinatorial structures for the factorization of $χ_{\mathcal{A}}(t)$. To this end, we introduce the notion of an ideal decomposition of $L(\mathcal{A})$ and use the Möbius algebra as a key tool to derive such a factorization. This concept provides a unified and substantial generalization of both the modular elements proposed by Stanley (1971) and the nice partitions proposed by Terao (1992). We also define modular ideals of $L(\mathcal{A})$, which yield a tensor decomposition of the Orlik-Solomon algebra of $\mathcal{A}$. We further show that every modular ideal can be realized as the intersection poset of some hyperplane arrangement.

Let $C_{l}$ be a cycle with length $l.$ The $r$-uniform hypercycle with length $l$ is obtained by adding $r-2$ new vertices in every edge of $C_{l},$ denoted by $C_l^{(r)}$. In this paper, we deduce some higher-order traces for the adjacent tensor of $C_l^{(r)}$ by BEST Theorem. Then we obtain higher-order spectral moments according to the relationship between eigenvalues of power hypergraphs and eigenvalues of signed graphs. Finally, the general expression of the characteristic polynomials of $C_l^{(r)}$ is given. Furthermore, by using this general expression, we present the characteristic polynomials of $C_5^{(r)}$ and $C_6^{(r)}$ as examples.

We show the convergence of the characteristic polynomial for random permutation matrices sampled from the generalized Ewens distribution. Under this distribution, the measure of a given permutation depends only on its cycle structure, according to certain weights assigned to each cycle length. The proof is based on uniform control of the characteristic polynomial using results from the singularity analysis of generating functions, together with the convergence of traces to explicit random variables expressed via a Poisson family. The limit function is the exponential of a Poisson series which has already appeared in the case of uniform permutation matrices. It is the Poisson analog of the Gaussian Holomorphic Chaos, related to the limit of characteristic polynomials for other matrix models such as Circular Ensembles, i.i.d. matrices, and Gaussian elliptic matrices.

Recently, Keating and the second author of this paper devised a heuristic for predicting asymptotic formulas for moments of the Riemann zeta-function $ζ(s)$. Their approach indicates how lower twisted moments of $ζ(s)$ may be used to evaluate higher moments. In this paper, we present a rigorous random matrix theory analogue of their heuristic. To do this, we develop a notion of "twisted moment" of characteristic polynomials of matrices in the unitary group $U(N)$, and we prove several identities involving Schur polynomials. Our results may be viewed as a proof of concept of the heuristic for $ζ(s)$.

The polynomial reconstruction problem, introduced by Cvetković in 1973, asks whether the characteristic polynomial $φ^G$ of a graph $G$ with at least $3$ vertices can be reconstructed from the polynomial deck $\{φ^{G \setminus i}\}_{i \in V(G)}$. In this work, we prove that $φ^G \pmod{4}$ can be reconstructed from the polynomial deck if the number of vertices in $G$ is even or if the rank of the walk matrix of $G$ over $\mathbb{F}_2$ is less than $\lceil n/2 \rceil$. We also prove that for every graph $G$, $φ^{\overline{G}}\pmod{4}$ can be computed from $φ^G\pmod{4}$, strengthening a recent result by Ji, Tang, Wang and Zhang. Finally, Hagos showed that the pair of characteristic polynomials $(φ^G, φ^{\overline{G}})$ is reconstructible from the generalized polynomial deck $\{(φ^{G \setminus i}, φ^{\overline{G} \setminus i})\}_{i \in V(G)}$. We also present an efficient version of this result that requires less information.