arXiv++ Combinatorics

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.

We present several Laplacian-type matrices associated with a loopless digraph $D$: the out-/in-degree Laplacians $\mathcal L_{\mathrm{out}},\mathcal L_{\mathrm{in}}$, the incidence Laplacian $\mathcal L_{\mathrm{inc}}=BB^{\mathsf T}$, and the symmetrized and skew-symmetrized variants $\mathcal S_{\mathrm{out}},\mathcal K_{\mathrm{out}}$. We show that $\mathcal L_{\mathrm{inc}}(D)$ coincides with the Laplacian of the underlying undirected multigraph, and we derive spectral and characteristic-polynomial relations under arc reversal and complementation (including a simplification for Eulerian digraphs for $\mathcal S_{\mathrm{out}}$). We demonstrate that the spectral radius of $\mathcal L_{\mathrm{out}}$ is bounded above by the order of the digraph and give a characterization in the equality case. We further obtain explicit formulas for joins and line digraphs, giving a general determinantal identity relating the out-degree Laplacian characteristic polynomials of a regular digraph and its line digraph.

We establish a convolution formula for the characteristic polynomial of a finite geometric semilattice $M$: \[ χ(M,st)=\sum_{X\in \underline{M}} s^{r-{\rm rk}_{\underline{M}}(X)}χ(\underline{M}^X,t)\,χ(M_{(X)},s), \] where $\underline{M}$ denotes the centralization of $M$, and $M_{(X)}$ denotes the localization at $X$. This generalizes a nice formula of Southerland, Southern, and Zhou, which is recovered at $s=1$. When specialized to hyperplane arrangements, the identity yields a new expansion closely related to Wang's convolution formula. We further provide a combinatorial interpretation of the convolution formula using the finite field method over $\mathbb{F}_{p^2}$ and $\mathbb{F}_p$.

We introduce modular inequalities for complements of plane curves, based on a Combinatorial Aomoto complex construction associated with the weak combinatorial type of a curve. We use this as a tool to investigate twisted Alexander polynomials, in particular to study the characteristic polynomial of the Milnor fiber associated to a projective plane curve, i.e. the classical Alexander polynomial. We give criteria for the non-triviality of the resonance in degree $1$, over a positive characteristic field, for curves with quasi fiber--type structure and we compute lower bounds for the multiplicities of some roots of twisted Alexander polynomials for this type of curves. We apply these results to theoretically compute the multiplicities of certain roots of twisted Alexander polynomials for fiber--type curves.

In this article we describe a new inductive approach to compute the chromatic polynomial of simple graphs and the characteristic polynomial of central hyperplane arrangements.

Our focus is upon {\it irreducible} nonnegative $n$-by-$n$ matrix realizations of nonnegatively realizable spectra or, equivalently, characteristic polynomials. After giving some general background, we make some useful new observations and show the existence of irreducible nonnegative realizations in some general cases. Then, we focus on $n<5$, where the NIEP is solved. Finally, we focus on the trace 0 case and, using graph theoretic methods, characterize nonnegative irreducible realizability among realizable polynomials. The closely related problem of positive realizations, for trace positive spectra, is also discussed.

For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.

We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.

The problem of characterizing graphs by their generalized spectra has received significant attention in recent years. This paper provides a complete proof of a conjecture proposed by Wang, Wang, and Zhu (European J. Combin., 2023), which asserts that the square-root polynomial of the invariant polynomial $Φ_p(G;x) \in \mathbb{F}_p[x]$ can replace its square-free part to yield a more effective criterion for a graph to be determined by its generalized spectrum (DGS). A key ingredient of our proof is a novel algebraic factorization: we show that the polynomial $Φ_p(G;x)$ is the product of the characteristic polynomials of the adjacency operator restricted to the left null space of the walk matrix and its radical, respectively. Based on this refined DGS-criterion, a broad family of DGS-graphs is constructed via rooted products, significantly generalizing the recent result of Wang, Shen, and Mao (Discrete Appl. Math., 2026).

We study the extremal energy problem for complex unit gain graphs whose underlying graph is the dumbbell graph $D_{r,s,\ell}$. An explicit expression of its characteristic polynomial is derived in terms of the matching polynomials of some of its subgraphs. This is used to build two methods to solve the problem in different parity cases. For the bipartite case, we establish a method by performing coefficient comparison. For the non-bipartite case, we directly analyze the integral kernels in an analog of Coulson's formula. The problems are solved for all parity cases except for the minimum energy problem when $r,s$ are odd and $\ell$ is odd. We present several counterexamples obtained from numerical experiments and leave this as an open problem.