Search arXivSearch

arXiv · 2509.17719

On the Enumeration of Symmetric Tridiagonal Matrices with prescribed Determinant over Commutative Finite Chain Rings

Abstract

Determinants of structured matrices play a fundamental role in both pure and applied mathematics, with wide-ranging applications in linear algebra, combinatorics, coding theory, and numerical analysis. In this work, the enumeration of symmetric tridiagonal matrices with prescribed determinant over finite fields and over commutative finite chain rings is developed. Using the recurrent formula for determinants, a recursive form of the numbers of singular and nonsingular symmetric tridiagonal matrices is derived, after which a uniform counting framework for any fixed determinant value is obtained. Over finite fields, quadratic-character techniques are employed. In odd dimensions, the enumeration is shown to be independent of the chosen nonzero determinant. Whereas, in even dimensions, it depends only on the quadratic residue/nonresidue class in the fields. For commutative finite chain rings, explicit formulas for nonsingular case are produced by lifting along the ideal chain and analyzing reduction to the residue field, yielding closed expressions in terms of the nilpotency index and the size of the residue fields. A layered enumeration has been developed for the study of symmetric tridiagonal matrices over commutative finite chain rings by stratifying determinants into ideal and punctured layers. Entry-wise reduction to quotient rings expresses each layer through zero-determinant counts on quotients, yielding formulas for prescribed determinants, including quadratic/non-quadratic residue factors, and a decomposition for the singular ones.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Edgar Martinez-Moro, Neennara Rodnit, Somphong Jitman. 2025-09-22. On the Enumeration of Symmetric Tridiagonal Matrices with prescribed Determinant over Commutative Finite Chain Rings. https://arxiv.org/abs/2509.17719

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA