arXiv++ Combinatorics

We present a very simple algorithm for computing Pfaffians which uses no division operations. Essentially, it amounts to iterating matrix multiplication and truncation. Its complexity, for a $2n\times 2n$ matrix, is $O(nM(n))$, where $M(n)$ is the cost of matrix multiplication. In case of a sparse matrix, $M(n)$ is the cost of the dense-sparse matrix multiplication. The algorithm is an adaptation of the Bird algorithm for determinants. We show how to extract, with practically no additional work, the characteristic polynomial and the Pfaffian characteristic polynomial from these algorithms.

The $k$-power hypergraph $G^{(k)}$ is the $k$-uniform hypergraph that is obtained by adding $k-2$ new vertices to each edge of a graph $G$, for $k \geq 3$. A parity-closed walk in $G$ is a closed walk that uses each edge an even number of times. In an earlier paper, we determined the eigenvalues of the adjacency tensor of $G^{(k)}$ using the eigenvalues of signed subgraphs of $G$. Here, we express the entire spectrum (that is, we determine all multiplicities and the characteristic polynomial) of $G^{(k)}$ in terms of parity-closed walks of $G$. Moreover, we give an explicit expression for the multiplicity of the spectral radius of $G^{(k)}$. Our results are mainly obtained by exploiting the so-called trace formula to determine the spectral moments of $G^{(k)}$. As a side result, we show that the number of parity-closed walks of given length is the corresponding spectral moment averaged over all signed graphs with underlying graph $G$. We also extrapolate the characteristic polynomial of $G^{(k)}$ to $k=2$, thereby introducing a pseudo-characteristic function. Among other results, we show that this function is the geometric mean of the characteristic polynomials of all signed graphs on $G$ and characterize when it is a polynomial. This supplements a result by Godsil and Gutman that the arithmetic mean of the characteristic polynomials of all signed graphs on $G$ equals the matching polynomial of $G$.

Let $A$ and $B$ be complex numbers, and let $(w_n)_{n\ge0}$ be a sequence of complex numbers with $w_{n+1}=Aw_n-Bw_{n-1}$ for all $n=1,2,3,\ldots$. When $w_0=0$ and $w_1=1$, the sequence $(w_n)_{n\ge0}$ is just the Lucas sequence $(u_n(A,B))_{n\ge0}$. In this paper, we evaluate the determinants $$\det[w_{|j-k|}]_{1\le j,k\le n}\ \ \text{and}\ \ \det[w_{|j-k+1|}]_{1\le j,k\le n}.$$ In particular, we have $$\det[u_{|j-k|}(A,B)]_{1\le j,k\le n}=(-1)^{n-1}u_{n-1}(2A,(B+1)^2).$$ When $B=-1$ and $2\mid n$, we also determine the characteristic polynomial of the matrix $[w_{j+k}]_{0\le j,k\le n-1}$.

We introduce and study the lattice of generalized partitions, called weighted partitions. This lattice possesses similar properties of the lattice of partitions. By use of the pictorial representation of a weighted partition, the total number is given by the successive Stirling transforms of the Stirling number of the second kind. We construct an explicit $EL$-labeling on the lattice, which implies this lattice is $EL$-shellable and hence shellable. We compute the Möbius function and the characteristic polynomial by use of a pictorial representation of a maximal decreasing chain. Further, a maximal decreasing chain is shown to be bijective to a labeled rooted complete binary tree.

Let $F$ be a field and $M_n(F)$ the ring of $n \times n$ matrices over $F$. Given a subset $S$ of $M_n(F)$, the null ideal of $S$ is the set of all polynomials $f$ with coefficients from $M_n(F)$ such that $f(A) = 0$ for all $A \in S$. We say that $S$ is core if the null ideal of $S$ is a two-sided ideal of the polynomial ring $M_n(F)[x]$. We study sufficient conditions under which $S$ is core in the case where $S$ consists of $3 \times 3$ matrices, all of which share the same irreducible characteristic polynomial. In particular, we show that if $F$ is finite with $q$ elements and $|S| \geqslant q^3-q^2+1$, then $S$ is core. As a byproduct of our work, we obtain some results on block Vandermonde matrices, invertible matrix commutators, and graphs defined via an invertible difference relation.

This paper contains a description of a connection between the matching arrangement and the matching polyhedron. A bijection between regions of the matching arragement and LP-orientations of the matching polyhedron is constructed. This bijection allows to calculate the number of LP-orientations of the matching polyhedron with the characteristic polynomial of the matching arrangement.

Assumed to be undirected, simple, and connected are all of the graphs in this study, and adjacency matrix $A$ serves as the associated matrix. In this paper we show that it is possible to relate a creation sequence for a type of cographs (we call it $\mathcal{C}$-graphs). Those cographs can be defined by a finite sequence of natural numbers. Using that sequence we obtain the inertia of the cograph under consideration. An extended eigenvalue-free set from $(-1,0)$ to $\big{[}\frac{-1-\sqrt{2}}{2}, -1)\cup (-1, 0) \cup (0, \frac{-1+\sqrt{2}}{2}α_{min}\big{]}$, (where $α_{min}\geq1$ is the smallest integer of the creation sequence) is obtained for the cographs under consideration. Additionally, an exact formula is found for the characteristic polynomial.

We study the partial orders induced on Wachs and signed Wachs permutations by the Bruhat and weak orders of the symmetric and hyperoctahedral groups. We show that these orders are graded, determine their rank function, characterize their ordering and covering relations, and compute their characteristic polynomials, when partially ordered by Bruhat order, and determine their structure explicitly when partially ordered by right weak order.

The family of trees with palindromic characteristic polynomials is characterized. Large families of graphs with this property are found as well.

This paper gives the quantum walks determined by graph zeta functions. The result enables us to obtain the characteristic polynomial of the transition matrix of the quantum walk, and it determines the behavior of the quantum walk. We treat finite graphs allowing multi-edges and multi-loops.

We investigate the spectral properties of balanced trees and dendrimers, with a view toward unifying and improving the existing results. Here we find a semi-factorized formula for their characteristic polynomials. Afterwards, we determine their spectra via the aforementioned factors. In the end, we analyze the behavior of the energy of dendrimers and compute lower and upper bound approximations for it.

Cospectral graphs are a fascinating concept in graph theory, where two non-isomorphic graphs possess identical sets of eigenvalues. In this paper, we compute the $A_α$-characteristic polynomial of neighbour and non-neighbour splitting join, neighbour and non-neighbour shadow join, central vertex and edge join and duplicate join of two graphs. In addition, when $\graphene_1$ and $\graphene_2$ are regular, we compute the $A_α$-spectrum of these graphs. As an application, we construct non-regular, non-isomorphic graphs that are $A_α$-cospectral.

The power graph $P(Ω)$ of a group $Ω$ is a graph with the vertex set $Ω$ such that two distinct vertices form an edge if and only if one of them is an integral power of the other. In this article, we determine the power graph of the group $\mathcal{G} = \langle s,r \, : r^{2^kp} = s^2 = e,~ srs^{-1} = r^{2^{k-1}p-1}\rangle$. Further, we compute its characteristic polynomial for the adjacency, Laplacian, and signless Laplacian matrices associated with this power graph. In addition, we determine its spectrum, Laplacian spectrum, and Laplacian energy.

The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.

The paper addresses the problem of multi-agent communication in networks with regular directed ring structure. These can be viewed as hierarchical extensions of the classical cyclic pursuit topology. We show that the spectra of the corresponding Laplacian matrices allow exact localization on the complex plane. Furthermore, we derive a general form of the characteristic polynomial of such matrices, analyze the algebraic curves its roots belong to, and propose a way to obtain their closed-form equations. In combination with frequency domain consensus criteria for high-order SISO linear agents, these curves enable one to analyze the feasibility of consensus in networks with varying number of agents.

We consider matrices of the form $qD+A$, with $D$ being the diagonal matrix of degrees, $A$ being the adjacency matrix, and $q$ a fixed value. Given a graph $H$ and $B\subseteq V(G)$, which we call a coalescent pair $(H,B)$, we derive a formula for the characteristic polynomial where a copy of same rooted graph $G$ is attached by the root to \emph{each} vertex of $B$. Moreover, we establish if $(H_1,B_1)$ and $(H_2,B_2)$ are two coalescent pairs which are cospectral for any possible rooted graph $G$, then $(H_1,V(H_1)\setminus B_1)$ and $(H_2,V(H_2)\setminus B_2)$ will also always be cospectral for any possible rooted graph $G$.

This paper describes the expected characteristic polynomial of the commutator of randomly rotated matrices, in the context of the finite free probability theory initiated by Marcus, Spielman, and Srivastava. The key technical features are the use of Weingarten calculus to translate the random matrix problem into one of combinatorial representation theory, followed by some applications of the Goulden-Jackson immanant formula and the classical theory of permutation modules.

Kamiya, Takemura, and Terao initiated the theory of the characteristic quasi-polynomial of an integral arrangement, which is a function counting the elements in the complement of the arrangement modulo positive integers. They gave a period of the characteristic quasi-polynomial, called the LCM-period, and showed that the first constituent of the characteristic quasi-polynomial coincides with the characteristic polynomial of the corresponding hyperplane arrangement. Recently, Liu, Tran, and Yoshinaga showed that the last constituent of the characteristic quasi-polynomial coincides with the characteristic polynomial of the corresponding toric arrangement. In addition, by using the theory of toric arrangements, Higashitani, Tran, and Yoshinaga proved that the LCM-period is the minimum period of the characteristic quasi-polynomial. In this paper, we study an arrangements over a Dedekind domain such that every residue ring with a nonzero ideal is finite and give algebraic generalizations of the above results.

Let G be a graph of order $n$ with adjacency matrix $A(G)$ and diagonal matrix of degree $D(G)$. For every $α\in [0,1]$, Nikiforov \cite{VN17} defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$. In this paper we present the $A_α(G)$-characteristic polynomial when $G$ is obtained by coalescing two graphs, and if $G$ is a semi-regular bipartite graph we obtain the $A_α$-characteristic polynomial of the line graph associated to $G$. Moreover, if $G$ is a regular graph we exhibit the $A_α$-characteristic polynomial for the graphs obtained from some operations.

The walk matrix of an $n$-vertex graph $G$ with adjacency matrix $A$, denoted by $W(G)$, is $[e,Ae,\ldots,A^{n-1}e]$, where $e$ is the all-ones vector. Let $G\circ P_m$ be the rooted product of $G$ and a rooted path $P_m$ (taking an endvertex as the root), i.e., $G\circ P_m$ is a graph obtained from $G$ and $n$ copies of $P_m$ by identifying each vertex of $G$ with an endvertex of a copy of $P_m$. Mao-Liu-Wang (2015) and Mao-Wang (2022) proved that, for $m=2$ and $m\in\{3,4\}$, respectively$$\det W(G\circ P_m)=\pm a_0^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m,$$ where $a_0$ is the constant term of the characteristic polynomial of $G$. Furthermore, Mao-Wang (2022) conjectured that the formula holds for any $m\ge 2$. In this note, we verify this conjecture using the technique of Chebyshev polynomials.