arXiv++ Combinatorics

The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.

We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.

Let $V$ be a vector space of rectangular $n\times k$ matrices annihilating the Cullis' determinant. We show that $\dim(V) \le (n-1)k$, extending Dieudonn{é}'s result on the dimension of vector spaces of square matrices annihilating the ordinary determinant. Furthermore, for certain values of $n$ and $k$, we explicitly describe such vector spaces of maximal dimension. Namely, we establish that if $k$ is odd, $n \ge k + 2$ and $\dim(V) = (n-1)k$, then $V$ is equal to the space of all $n\times k$ matrices $X$ such that alternating row sum of $X$ is equal to zero. Our proofs rely on the following observations from the matroid theory that have an independent interest. First, we provide a notion of matroid corresponding to a given linear variety. Second, we prove that if the linear variety is transformed by projections and restrictions, then the behaviour of the corresponding matroid is expressed in the terms of matroid contraction and restriction. Third, we establish that if $M$ is a matroid, $I^*$ its coindependent set $M|S$ and its restriction on a set $S$, then the union of $I^*\setminus S$ with every cobase of $M|S$ is coindependent set of $M$.

We study polynomial families {f_n(x)}_{n>=0} over a commutative ring R encoded by triangular arrays of order m, via expansions of the form f_n(x)=sum_{b=0}^{floor(n/m)} lambda_1(n,b) x^{n-mb}, where lambda_1 is the direct kernel supported on 0<=b<=floor(n/m). Under a simple discrete orthogonality condition, we prove the existence and uniqueness of an inverse kernel lambda_3 (triangular of the same order) giving the inversion formula x^n = sum_{b=0}^{floor(n/m)} lambda_3(n,b) f_{n-mb}(x). This reindexing principle yields explicit change-of-basis relations between two families, including the case of distinct step sizes m_1 and m_2, with connection coefficients obtained from a universal triangular sum once lambda_3 is known. On the algebraic side, lambda_1 defines a lower Hessenberg matrix M_(n,k) (the algebraic expansion matrix) whose determinant governs inversion, providing closed determinantal expressions for lambda_3(n,k). We introduce a class of lambda-recursive sequences of order m, specified by a principal factor (p_n) and auxiliary factors (h_(n,k)), for which det(M_(n,k)) satisfies a recurrence enabling direct computation of inverse-kernel and basis-change coefficients. Classical families (e.g., Chebyshev, Legendre, Hermite, Laguerre, Fibonacci, Lucas) fit naturally into this framework, unifying their connection coefficients via the same triangular-array computations and supporting structured Clenshaw-type schemes and related applications.

The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes. Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.

In this article, we use Plücker relations in the Grassmannian $Gr(3,n)$ to give relations that hold amongst some of the entries of the Heronian frieze of order $n$. Furthermore, we make a connection between certain subfriezes of a Heronian frieze and Plücker friezes $P(3,n)$, and then show that some determinants of the matrices whose elements lie in those subfriezes are vanishing.

We obtain Hamel--Goulden-type ribbon decomposition determinantal formulas for flagged supersymmetric Schur functions. As an application, we derive corresponding new determinantal formulas dual refined canonical stable Grothendieck polynomials. These results generalize and produce a number of new determinantal formulas for these symmetric functions including Jacobi--Trudi and skew Giambelli-type determinants.

This paper is the first in the series of papers devoted to the explicit description of linear maps preserving the Cullis' determinant of rectangular matrices with entries belonging to an arbitrary ground field which is large enough. The Cullis' determinant is defined for every matrix of size $n\times k$, where $n \ge k \ge 1$ and is equal to the ordinary determinant if $n = k$. In this paper we solve the linear preserver problem for the Cullis' determinant for $k \ge 4, n \ge k + 2$ and $n + k$ is even. It appears that in this case all linear maps preserving the Cullis' determinant are non-singular and could be represented by two-sided matrix multiplication. Note that the cases where $n = k$ or $n = k + 1$ admit slightly different description allowing (sub)matrix transposition and were completely studied before: the case where $n = k$ is a classical linear preserver problem for the ordinary determinant and was solved by Frobenius; the complete characterisation for the case where $n = k + 1$ was obtained in the previous paper by the authors.

This paper is the second in the series of papers devoted to the explicit description of linear maps preserving the Cullis' determinant of rectangular matrices with entries belonging to an arbitrary ground field which is large enough. In this part we solve the linear preserver problem for the Cullis' determinant defined on the spaces of matrices of size $n\times k$ with $k \ge 4,\; n \ge k + 2$ and $n + k$ is odd. In comparison with the case when $n + k$ is even, in this case linear maps preserving the Cullis' determinant could be singular and are represented as a sum of two linear maps: first is two-sided matrix multiplication and second is any linear map whose image consists of matrices, all rows of which are equal.

We prove and generalize a conjecture of Johann Cigler on the Hankel determinants of convolution powers of Narayana polynomials. Our method follows a "guess-and-prove" strategy, relying on established techniques involving Hankel continued fractions. While the final forms of our theorems are given by simple closed expressions, the proofs require us to formulate and manage extremely large and intricate explicit expressions at intermediate stages. Most of the technically involved and lengthy formal verifications are carried out using a symbolic computation program, whose code is available on the author's personal webpage for independent verification. We emphasize that our program delivers rigorous symbolic proofs, rather than merely verifying the initial terms.

This paper is motivated by basic complexity and probability questions about permanents of random matrices over finite fields, and in particular, about properties separating the permanent and the determinant. Fix $q = p^m$ some power of an odd prime, and let $k \leq n$ both be growing. For a uniformly random $n \times k$ matrix $A$ over $\mathbb{F}_q$, we study the probability that all $k \times k$ submatrices of $A$ have zero permanent; namely that $A$ does not have full "permanental rank". When $k = n$, this is simply the probability that a random square matrix over $\mathbb{F}_q$ has zero permanent, which we do not understand. We believe that the probability in this case is $\frac{1}{q} + o(1)$, which would be in contrast to the case of the determinant, where the answer is $\frac{1}{q} + Ω_q(1)$. Our main result is that when $k$ is $O(\sqrt{n})$, the probability that a random $n \times k$ matrix does not have full permanental rank is essentially the same as the probability that the matrix has a $0$ column, namely $(1 +o(1)) \frac{k}{q^n}$. In contrast, for determinantal (standard) rank the analogous probability is $Θ(\frac{q^k}{q^n})$. At the core of our result are some basic linear algebraic properties of the permanent that distinguish it from the determinant.

Let $G$ be a connected graph with vertex set $\{v_1, v_2, \ldots, v_\mathbf{n}\}$. As a variant of the classical distance matrix, the \emph{exponential distance matrix} was introduced independently by Yan and Yeh, and by Bapat et al. For a nonzero indeterminate $q$, the exponential distance matrix $\mathscr{F} = (\mathscr{F}_{ij})_{\mathbf{n} \times \mathbf{n}}$ of $G$ is defined by $\mathscr{F}_{ij} = q^{d_{ij}},$ where $d_{ij}$ denotes the distance between vertices $v_i$ and $v_j$ in $G$. A connected graph is said to be a \emph{bi-block graph} if each of its blocks is a complete bipartite graph, possibly of varying bipartition sizes. In this paper, we obtain explicit expressions for the determinant, inverse, and cofactor sum of the exponential distance matrix of bi-block graphs. As a consequence, some known results concerning the exponential distance matrix and the $q$-Laplacian matrix are generalized.

We study the nullspace of the adjacency matrix of split graphs, whose vertex set can be partitioned into a clique and an independent set. We introduce the clique-kernel, a subspace that decides whether clique vertices lie in the support of a kernel eigenvector, and we prove that its dimension is at most one. This yields the formula $null(Sp) = null(R) + \dim(\mathrm{Cker}(Sp))$, which fully describes the nullity of a split graph in terms of the biadjacency submatrix $R$. We also analyze unbalanced split graphs through the concept of swing vertices and characterize the structure of their kernel supports. Furthermore, we study the behavior of the nullspace under Tyshkevich composition and derive a closed formula for the determinant. These results provide a unified algebraic framework for understanding when a split graph is singular and how its combinatorial structure determines its nullspace.

Given a finite poset $P$, its zeta matrix $\mathbf Z$ encode fundamental incidence-theoretic information about the order structure. In this paper we introduce and study the \emph{order-complement matrix} $\overline{\mathbf Z} = \mathbf J - \mathbf Z$, where $\mathbf J$ is the all-ones matrix. We prove a closed formula for its characteristic polynomial and for its determinant, showing that $\det(\overline{\mathbf Z}) = (-1)^n \tildeχ(P)$, where $n = |P|$ and $\tildeχ(P)$ is the reduced Euler characteristic of $P$. This provides a new, unexpectedly simple linear-algebraic expression for the Euler characteristic of a poset, complementing existing determinant formulas for matrices derived from incidence relations.

Sufficient conditions for a simple graph to be characterized up to isomorphism given its spectrum and the spectrum of its complement graph are known due to Wang and Xu. This note establishes a related sufficient condition in the presence of loops: if the walk matrix has square-free determinant, then the graph is characterized by its generalized spectrum. The proof includes a general result about symmetric integral matrices.

The cyclotomic matrix is commonly used to arrange cyclotomic numbers in a convenient format. A natural question is whether the structure of the matrix can reflect properties of these numbers. In this article, we examine cyclotomic numbers through their associated cyclotomic matrix and reveal an algebraic structure by relating it to a basis element of a Schur ring. This viewpoint leads to structural identities and reinterpretations of classical results. As an application, we investigate the power difference set problem and establish conditions expressed through cyclotomic matrices, including spectral and determinant characterizations.

The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed graph D(A), where the algebraic behavior of A is reflected in the combinatorial properties of D(A). In particular, the determinant and characteristic polynomial of A admit elegant formulations in terms of sign-weighted sums over linear subdigraphs of D(A), thereby providing a graphical interpretation of fundamental algebraic quantities. Building upon this correspondence, we establish a combinatorial proof of the trace Cayley-Hamilton theorem. This theorem furnishes explicit trace identities linking the coefficients of the characteristic polynomial of A with the traces of its successive powers.

Kontsevich's graphs from deformation quantisation allow encoding multi-vectors whose coefficients are differential-polynomial in components of Poisson brackets on finite-dimensional affine manifolds. The calculus of Kontsevich graphs can be made dimension-specific for the class of Nambu--Poisson brackets given by Jacobian determinants. Using the Kontsevich--Nambu micro-graphs in dimensions $d\geqslant 2$, we explore the open problem of (non)triviality for Kontsevich's tetrahedral graph cocycle action on the space of Nambu--Poisson brackets. We detect a conjecturally infinite new set of differential-polynomial identities for Jacobian determinants of arbitrary sizes $d\times d$.

We prove the bivariate Cayley-Hamilton theorem, a powerful generalization of the classical Cayley-Hamilton theorem. The bivariate Cayley-Hamilton theorem has three direct corollaries that are usually proved independently: The classical Cayley-Hamilton theorem, the Girard-Newton identities, and the fact that the determinant and every coefficient of the characteristic polynomial has polynomially sized algebraic branching programs (ABPs) over arbitrary commutative rings. This last fact could so far only be obtained from separate constructions, and now we get it as a direct consequence of this much more general statement. The statement of the bivariate Cayley-Hamilton theorem involves the gradient of the coefficient of the characteristic polynomial, which is a generalization of the adjugate matrix. Analyzing this gradient, we obtain another new ABP for the determinant and every coefficient of the characteristic polynomial. This ABP has one third the size and half the width compared to the current record-holder ABP constructed by Mahajan-Vinay in 1997. This is the first improvement on this problem for 28 years. Our ABP is built around algebraic identities involving the first order partial derivatives of the coefficients of the characteristic polynomial, and does not use the ad-hoc combinatorial concept of clow sequences. This answers the 26-year-old open question by Mahajan-Vinay from 1999 about the necessity of clow sequences. We prove all results in a combinatorial way that on a first sight looks similar to Mahajan-Vinay, but it is closer to Straubing's and Zeilberger's constructions.

We present identities for permutations with fixed points. The formulas are based on successive derivations or integrations of the determinant of a particular matrix.