Conjecture on determinants of trimidiation matrices

At least 12 years old · documented by

Let Bd\mathcal{B}_{d} be the trimidiation matrix defined in Theorem.

Determinant conjecture.

det⁡Bn=3n(n+1)/2.\det \mathcal{B}_{n}=3^{n(n+1)/2}.

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

Refreshed
Claimed solved

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 −3-3. It computes both determinant signs and obtains det⁡Bd=3d(d+1)/2\det B_d=3^{d(d+1)/2} for every d≥0d\ge0, which would settle the conjecture.

Current status (as of September 2026): The determinant formula is supported by an unverified community proof for all d≥0d\ge0; no independently confirmed resolution is recorded.

Sources

Solutions 1

ProofThis solution needs a summarySee full solutionHide full solution

Let BdB_d be the trimidiation matrix defined by equation (3.18) in the source. That defining formula, also confirmed by the displayed matrices for d=1,2,3d=1,2,3, can be written as

(Bd)r,j=[arcd−r](a+2c)d−j(a−c)j,0≤r,j≤d.(1)(B_d)_{r,j} = [a^r c^{d-r}] (a+2c)^{d-j}(a-c)^j, \qquad 0\le r,j\le d. \tag{1}

Consider the linear substitution

x⟼a+2c,y⟼a−c,x\longmapsto a+2c,\qquad y\longmapsto a-c,

whose matrix is

T=(112−1),det⁡T=−3.T= \begin{pmatrix} 1&1\\ 2&-1 \end{pmatrix}, \qquad \det T=-3.

In the standard descending monomial basis

(ad,ad−1c,…,cd),(a^d,a^{d-1}c,\ldots,c^d),

the induced substitution on homogeneous polynomials of degree dd is Sym⁡d(T)\operatorname{Sym}^d(T). However, equation (1) orders its output coefficients in the reverse basis

(cd,acd−1,…,ad).(c^d,ac^{d-1},\ldots,a^d).

Writing JdJ_d for the coordinate-reversal matrix, we therefore have

Bd=JdSym⁡d(T).(2)B_d=J_d\operatorname{Sym}^d(T). \tag{2}

Put

h=(d+12)=d(d+1)2.h=\binom{d+1}{2}=\frac{d(d+1)}2.

The reversal of d+1d+1 coordinates has hh inversions, and hence

det⁡Jd=(−1)h.\det J_d=(-1)^h.

The eigenvalues of TT are 3\sqrt3 and −3-\sqrt3. Consequently the eigenvalues of Sym⁡d(T)\operatorname{Sym}^d(T) are

(3)d−j(−3)j,j=0,…,d,(\sqrt3)^{d-j}(-\sqrt3)^j, \qquad j=0,\ldots,d,

and their product is

det⁡Sym⁡d(T)=(det⁡T)h=(−3)h.\det\operatorname{Sym}^d(T) = (\det T)^h = (-3)^h.

Taking determinants in (2) yields

det⁡Bd=(−1)h(−3)h=3d(d+1)/2\boxed{\det B_d=(-1)^h(-3)^h = 3^{d(d+1)/2}}

for every d≥0d\ge0, exactly as conjectured.