arXiv Science⌕ Search

arXiv · 2609.36524

Square matrices with integer eigenvalues under entry permutations

Abstract

We investigate the problem of which multisets of integer entries yield integer eigenvalues in every square matrix arrangement? Combining module reduction with a dyadic criterion for complete splitting of cubic polynomials, we first show that if the multiset has at least one zero entry, the only possibilities have either at most one nonzero entry or exactly two whose product is a perfect square. We then apply block embedding to extend it to higher dimensions, by obtaining a linear threshold on the number of zeros. For any multiset close to a nonzero constant, we use rank reduction to derive an exact criterion for one exceptional entry, thus yielding nonconstant examples in infinitely many dimensions, and to also derive an exact reduction for two distinct exceptional entries in dimension three. The general fully nonzero three-dimensional case remains open.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shuming Cheng, Siran Zhang. 2026-09-29. Square matrices with integer eigenvalues under entry permutations. https://arxiv.org/abs/2609.36524

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

KEEP EXPLORING

Related papers

Identities in differential perm algebras

Let $(P,\cdot,d)$ be a differential perm algebra over a field of characteristic zero, i.e. an associative algebra satisfying $(ab)c=(ba)c$ and equipped with a derivation $d$. We study polynomial identities in the algebras obtained by the derived operations \[ a\prec b=ab',\quad a\succ b=a'b,\quad a\blacklozenge b=ab'+ba',\quad a\bullet b=a'b+ab',\quad a\Diamond b=ab'-ba',\quad a\circ b=a'b-ab', \] where $a'=d(a)$. We first prove that any nontrivial differential polynomial identity that does not belong to the right annihilator of the free differential perm algebra implies a differential identity of the form $a_1'a_2'\cdots a_m'=0$ for some positive integer $m$. We then obtain explicit generating sets and determine the dimensions of the multilinear homogeneous components of the subalgebras of the free differential perm algebra generated by $X$ with respect to the products $\blacklozenge$ and $\bullet$. Finally, we construct perm-Witt type Lie and Leibniz algebras arising naturally from differential perm algebras.

math.RA↗

A parity obstruction to completeness of object cotorsion pairs

Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category always induces a complete cotorsion pair of objects. We show that it need not, even in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example is built from bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. The parity obstruction manifests itself as a non-split idempotent in the stable category. For cotorsion pairs of $t$-structure type, we give an object-wise splitting criterion for special approximations. In this setting, a criterion of Saor\'ın and Šťov\'ıček yields an affirmative answer whenever the stable category is idempotent complete.

math.RA↗

Quotient Morita Theory with Applications

We study equivalences between quotient categories of module categories associated with Gabriel topologies. We establish necessary and sufficient conditions for a Morita context to induce an equivalence between quotient categories and characterize such equivalences in terms of Morita contexts after passing to rings of quotients. Motivated by Artin--Zhang's noncommutative Serre theorem, we introduce a notion of ampleness relative to a Gabriel topology and use it to characterize quotient categories of finitely generated modules under suitable noetherian hypotheses. As an application, we establish a sufficient condition under which the noncommutative Auslander theorem holds for actions of finite-dimensional Hopf algebras on AS-regular algebras without assuming that the Hopf algebras are semisimple.

math.RA↗