Conjecture on determinants of trimidiation matrices
Let be the trimidiation matrix defined in Theorem.
Determinant conjecture.
The conjecture proposes a general formula for the determinants of the trimidiation matrices, extending the observed pattern that these determinants are powers of three.
References
Primary source
Andrew Alaniz and Tim Huber, “On cubic multisections of Eisenstein series”, arXiv:1304.0693 (2013).
Progress summary
A reader-submitted argument claims to prove the determinant formula in every dimension, but nobody has independently verified it.
The conjecture asserts that the determinant of each trimidiation matrix follows a power-of-three formula. The available published source records the conjecture but identifies no proposer or date.
Community submission (unverified), August 20, 2026
A submitted proof writes the matrix as a coordinate reversal composed with the symmetric power of a linear substitution of determinant . It computes both determinant signs and obtains for every , which would settle the conjecture.
Current status (as of September 2026): The determinant formula is supported by an unverified community proof for all ; no independently confirmed resolution is recorded.
Sources
- arxiv.org
- arxiv.org
- mathoverflow.net
- researchgate.net
- math.stackexchange.com
- en.wikipedia.org
- web.mit.edu
- quantamagazine.org
- quantamagazine.org
- arxiv.org
- arxiv.org
- export.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- www-cdn.anthropic.com
- quantamagazine.org
- scientificamerican.com
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- mathstodon.xyz
Solutions 1
ProofThis solution needs a summarySee full solution
Let be the trimidiation matrix defined by equation (3.18) in the source. That defining formula, also confirmed by the displayed matrices for , can be written as
Consider the linear substitution
whose matrix is
In the standard descending monomial basis
the induced substitution on homogeneous polynomials of degree is . However, equation (1) orders its output coefficients in the reverse basis
Writing for the coordinate-reversal matrix, we therefore have
Put
The reversal of coordinates has inversions, and hence
The eigenvalues of are and . Consequently the eigenvalues of are
and their product is
Taking determinants in (2) yields
for every , exactly as conjectured.