arXiv++ Combinatorics

We prove a characteristic-polynomial shift formula for two-sided extensions of cyclically compatible deformations of the braid arrangement. For a nonnegative integer matrix $M=(m_{ij})$ with zero diagonal, let $\mathcal{A}_M$ be the arrangement \[ x_i-x_j=s,\qquad 1\le i<j\le n,\quad s\in[-m_{ij},m_{ji}]_{\mathbb{Z}}. \] Given $α,β\in\mathbb{N}^n$, define its two-sided extension $\mathcal{A}_M(α,β)$ by replacing this interval with \[ [-m_{ij}-α_i-β_j,\, m_{ji}+α_j+β_i]_{\mathbb{Z}}. \] Call $M$ cyclically compatible if all pairwise distinct $a,b,c$ with $1\le a,b,c\le n$ satisfy \[ m_{ac}\le m_{ab}+m_{bc}+1. \] Under this condition, for the reduced characteristic polynomial $\widetildeχ(\mathcal{A},t) =\dfrac{χ(\mathcal{A},t)}{t}$, we have \[ \widetildeχ(\mathcal{A}_M(α,β),t) = \widetildeχ(\mathcal{A}_M,t-|α|-|β|). \] The proof uses the finite-field method and a cyclic-gap enumeration formula. We also establish redistribution invariance, study weak-sum perturbations, and give applications to Shi, uniform interval, graphical, and Ferrers-type deformations.

In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.

We study how irreducible factors associated with main eigenvalues constrain the connected components of generalized cospectral mates. Let $M_G(x):=\prod_{λ {\rm main}}(x-λ)$ be the main polynomial of $G$, where the product is over the distinct main eigenvalues, and write $φ_G(x)=\prod_{i=1}^{r}f_i(x)^{m_i}$, where the $f_i$ are distinct monic irreducible polynomials over $\mathbb Q$. With $I_{\mathrm m}(G) :=\{\,i:f_i\mid M_G\,\}$, define $κ_{\mathrm m}(G):=\sum_{i\in I_{\mathrm m}(G)}m_i$. For a graph $X$, write $c(X)$ and $β(X)$ for its number of connected components and cycle rank, respectively. We prove that every graph $H$ with the same characteristic polynomial and main polynomial as $G$ satisfies $c(H)\leκ_{\mathrm m}(G)$. Consequently, if $T$ is a tree and $H$ is generalized cospectral with $T$, then $β(H)=c(H)-1 \le κ_{\mathrm m}(T)-1$. We develop the case $κ_{\mathrm m}(T)=2$ further. A disconnected generalized cospectral mate must be the union of a tree and a connected bipartite unicyclic graph, and its two component coronals are uniquely prescribed by the canonical partial-fraction decomposition of the coronal of $T$ with respect to the two irreducible main factors. Consequently, these factor coronals must be realizable as coronals of actual graph components; their Laurent coefficients must therefore be nonnegative integers satisfying low-order walk identities. These realizability conditions, supplemented by matching restrictions on the unicyclic component, yield effective tree-forcing obstructions. As an application, we show that the double star $D(2m,m+1)$ is determined by its generalized spectrum but not by its adjacency spectrum whenever $m\ge2$ and neither $m$ nor $2m+2$ is a perfect square. In particular, the double stars $D(8t+4,4t+3), t\ge0$, is an explicit infinite family of graphs that are DGS but not DS.

Let $q=p^k$, where $p$ is prime, and let $M$ be a finite matroid representable over ${\Bbb{F}}_q$. Write $χ_M(t)$ for its characteristic polynomial and $\mbox{decop}(M)$ for the least number of independent sets needed to cover its ground set. We prove that $χ_M(q)>0$ whenever $k\ge\mbox{decop}(M)$. Geometrically, the central hyperplanes determined by any representation of $M$ fail to cover the dual of the ambient vector space. The proof rests on the Frobenius-power ideals $(X_1^{p^s},\ldots,X_n^{p^s})$, $s\ge1$. Each is preserved by every linear change of coordinates, while nonmembership records the existence of a monomial whose exponent in every variable is bounded. This permits successive normalizations of several invertible systems of linear forms without losing the exponent bounds already obtained. The coefficient form of the Combinatorial Nullstellensatz then produces a common nowhere-zero point. Finally, we test the scope of the theorem. M.~J.~Moghaddamzadeh's unpublished conjecture predicts a stronger statement over prime fields. Projective geometries show that its direct analogue fails over proper extension fields, even under the same numerical inequality.

A \(\mathbb{T}\)-gain digraph is a directed graph with complex unit gains on its arcs, allowing for no restrictions on oppositely directed arcs. This framework unifies various graph types, such as signed graphs, mixed graphs, complex unit gain graphs, digraphs, and signed digraphs. The gain adjacency, Laplacian, and signless Laplacian matrices are generally non-Hermitian with complex spectra. We develop the spectral theory of these matrices, extending classical results from signed digraphs and complex unit-gain graphs. For the gain adjacency matrix, we establish determinant and characteristic polynomial formulas, characterize cycle balance through switching equivalence and cospectrality with the underlying digraph. We further bound the spectral radius in terms of the underlying digraph and its maximum out-degree, with equality characterized by $μ$-balance. As a consequence, we determine the spectra of $\mathbb{T}$-gain unicyclic digraphs. Moreover, we characterize cycle balance and antibalance for the Laplacian and signless Laplacian matrices, respectively, through the presence of a zero eigenvalue.

In this paper, we investigate the eigenvalues of character degree graphs, with particular emphasis on the arithmetic properties of their spectra. First, we study \((n-2)\)-regular character degree graphs of solvable groups and derive an explicit formula for their characteristic polynomials. We show that all their eigenvalues are rational and, consequently, that their splitting field is \(\mathbb{Q}\). We then consider supergraphs obtained by adding edges to these graphs and prove that the corresponding splitting field is a quadratic extension of \(\mathbb{Q}\). Next, using their structural decomposition, we examine a general class of Lewis graphs. For this class, we establish bounds on both the number of irrational eigenvalues and the degree of the associated splitting fields. Finally, we investigate prime character degree graphs of diameter \(3\), focusing on the arithmetic nature of their eigenvalues and the degree of their splitting fields.

We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices. Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.

A finite nonempty set $F\subset\mathbb{N}$ is Schreier if $\min F\ge |F|$. First, we prove a linear recurrence relation and compute initial counts for Schreier sets consisting of intervals. Two intervals of integers are separated if their union is not an interval. If $\mathcal J_{k,n}$ is the collection of Schreier sets that are the union of exactly $k$ separated intervals, then the sequence $(|\mathcal{J}_{k,n}|)_{n=1}^\infty$ satisfies the characteristic polynomial $p_k(x) = (x-1)^{2k+1}(x+1)^k$. Furthermore, we introduce the new concept of $k$-super-Schreier sets and let $\mathcal{S}_{k,n}$ denote the collection of $k$-super Schreier sets whose maximum is $n$. We show that the sequence $(|\mathcal{S}_{k,n}|)_{n=1}^\infty$ satisfies a Fibonacci-type recurrence with a remainder term expressible as a polynomial of $n$.

For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.

Consider the tree obtained by attaching a leaf to the third vertex of a path with n-1 vertices. In this note, we prove that the characteristic polynomial of this tree is irreducible when n belongs to certain arithmetic progressions modulo 30. As a result there are infinitely many pairwise non-isomorphic trees with an irreducible the characteristic polynomial. Our proof combines several number-theoretic arguments with a result of Gross, Hironaka, and McMullen [GHM09] concerning the cyclotomic factors of the Coxeter polynomials associated with the diagrams En. This resolves affirmatively a conjecture of Akbari, Kumar, Mohar and Pragada.

Let \(F\subseteq\binom{V}{q}\) be a \(q\)-uniform family on a finite vertex set \(V\). Write \(s_r(F)\) for the sum of the \(r\) largest eigenvalues of its simplicial up-Laplacian and \(d_F(v)\) for the degree of \(v\in V\). Then $D_r(F)=\sum_{v\in V}\min\{d_F(v),r\}$ is the \(r\)-th partial sum of the conjugate degree sequence of \(F\). The majorization assertion in the Duval--Reiner conjecture [Trans. Amer. Math. Soc., 2002] states that \(s_r(F)\le D_r(F)\) for every \(q\)-uniform family \(F\) and every \(r\ge1\). We disprove this assertion in two complementary senses: for every \(r\ge5\), there is a strict counterexample at index \(r\) in some uniformity, while every uniformity \(q\ge3\) admits a strict counterexample at some index \(r\ge5\). In contrast, we prove the universal inequality \(s_2(F)\le D_2(F)\) and classify all equality cases. The counterexamples are obtained from two \(3\)-uniform seeds with explicitly computed characteristic polynomials through defect-preserving ridge-whiskering and set-complement duality. For the second partial sum, core completion reduces the problem to the boundary matrix of a complete simplex, where Ky Fan variational and compression arguments yield both the inequality and its equality classification.

We investigate the combinatorial structure of the tropical characteristic polynomial of symmetric matrices using the tropical permanents of their principal submatrices. We establish new inequalities for the leading coefficients of the tropical characteristic polynomial, revealing concavity properties of the coefficient sequence and yielding necessary conditions for a sequence to arise as the coefficient sequence of the tropical characteristic polynomial of a symmetric matrix. These results provide a deeper understanding of the structure of tropical characteristic polynomials associated with symmetric matrices.

This paper develops a systematic method for determining particular solutions of the $k$th-order linear nonhomogeneous recurrence relation $$a_n + c_1 a_{n-1} + \cdots + c_k a_{n-k} = \sum_{j=1}^J p_j(n){r_j}^n$$ with $n \geq k$, $c_k \neq 0$, $r_j \neq 0$. Here each $p_j(n)$ is a polynomial. The main result is the following: for the characteristic polynomial $c(t)=t^k+c_1t^{k-1}+\cdots+c_k$, if $s_j$ denotes the multiplicity of $r_j$ as a root of $c(t)$ ($s_j=0$ when $r_j$ is not a root), then there exists a particular solution of the form $q_n=\sum_{j=1}^J b_j(n)n^{s_j}r_j^n$, where each $b_j(n)$ is a polynomial of the same degree as $p_j(n)$. This result parallels the method of undetermined coefficients for linear ODEs with constant coefficients and yields a systematic procedure for determining the form of particular solutions.

We study characteristic polynomials of arrangements obtained from the full $m$-Catalan arrangement by deleting hyperplanes indexed by graphs, digraphs, and gain-labeled digraphs. Zero-layer graph deletions give falling-factorial expansions with graphical Stirling coefficients. For a single deleted translated layer $x_i-x_j=l$, the coefficients are directed matching numbers when $1\le l\le\lfloor m/2\rfloor$, and directed path-cover numbers when $\lfloor m/2\rfloor<l\le m$. For simultaneous deletions in several translated layers, the coefficients are admissible sets of deleted gain-labeled arcs. In the case $l=m$, an inclusion-exclusion expansion yields a Lah-number identity relating path covers of a digraph and its complement. We also obtain an $m$-independent criterion for integer linear factorization, compact region-count formulas for a complete bipartite orientation after essentialization, and directed Ish-type applications.

The Bilu-Linial conjecture asserts that every $d$-regular graph admits a signing $σ$ such that the spectral radius of the signed adjacency matrix $A_σ$ satisfies $ρ(A_σ)\le 2\sqrt{d-1}$. Bilu and Linial also proved the weaker bound $O(\sqrt{d\log^3 d})$ for graphs of maximum degree $d$. Marcus, Spielman, and Srivastava confirmed the conjecture in the case of $d$-regular bipartite graphs. In this paper, we prove that every graph of maximum degree $d$ has a signing $σ$ such that $$ρ(A_σ)\le 2\sqrt{3(d-1)}.$$ This removes the polylogarithmic factor from the estimate of Bilu and Linial and gives an explicit $2\sqrt{3(d-1)}$ two-sided spectral bound. The proof builds on the method of interlacing polynomials introduced by Marcus, Spielman, and Srivastava, together with results on mixed characteristic polynomials established by Marcus, Spielman, and Srivastava and by Bownik.

We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.

We show that the polar degrees of the coordinate-wise inverse of a linear subspace $L \subseteq \mathbb{P}^n$ are given by the coefficients of a substitution of the reduced characteristic polynomial of the associated matroid $\mathrm{M}(L)$. Our proof connects the geometry of conormal varieties of reciprocal linear spaces to the combinatorial conormal fan of $\mathrm{M}(L)$. As a corollary, we settle two open conjectures regarding matroid discriminants.

We demonstrate several common techniques for proving linear recurrences from counting Schreier-type sets. These techniques include formula-based arguments, bijective proofs, mathematical induction, the inclusion-exclusion principle, and the characteristic polynomial method. As new contributions, we examine symmetric maximal Schreier sets, Schreier sets that contain a prescribed integer, and Schreier sets that avoid integers belonging to a fixed arithmetic progression. Along the way, we employ useful techniques for identifying meaningful patterns in data and establishing technical identities. The results presented here, together with the diverse proof techniques employed, are expected to serve as a valuable resource for undergraduate researchers interested in this area.

We introduce a partition-selection method to generalize the flow, chromatic, and Tutte polynomials of a graph by restricting the standard edge subgraph expansions to subgraphs given by prescribed connected vertex partitions. We establish similar deletion-contraction formulas and specialization relations for these polynomials, recovering all classical polynomial invariants when the selection is the set of all partitions. Next we study a relation between Jaeger et al.'s nonhomogeneous flows and a special class of partition-selected flow polynomials (called affine flow polynomials). Specifically, we give a geometric realization of nowhere-zero nonhomogeneous flows by restricting the edge-coordinate arrangement to affine flow spaces. The resulting characteristic polynomials coincide with Kochol's admissible assigning polynomials and with affine flow polynomials, which enumerate nowhere-zero nonhomogeneous flows over finite fields. To see the key role of the partition-selection framework, we further introduce boundary arrangements determined by the bond structure of a graph. Using the intersection posets of boundary arrangements, we obtain the classification of all restricted arrangements mentioned above, the comparison of unsigned coefficients of affine flow polynomials, and the decomposition formulas for affine flow polynomials.