First appearance degree conjecture for standard circulant matrices

From papers

Let CnC_n be the nn-th order standard circulant matrix, and let m1(Cn)m_1(C_n) denote its first appearance degree. Let fix\operatorname{fix} be the fixed-point function associated with the identity matrix of order nn.

Standard-circulant first appearance degree conjecture. For n2n \geq 2,

m1(Cn)=m1(fix)=n1.m_1(C_n)=m_1(\operatorname{fix})=n-1.

This relationship has been verified for n10n \leq 10, but no general proof is supplied.

Progress summary

Open

The conjecture has been checked through ten dimensions but has no known general proof or counterexample.

The conjecture asserts that the standard circulant matrix and the fixed-point function first become nonzero at the same degree, namely n1n-1, for every n2n \geq 2. A December 2025 arXiv paper records this as Conjecture 3 and explicitly supplies no general proof.

Known results

  • The equality m1(Cn)=m1(fix)=n1m_1(C_n)=m_1(\operatorname{fix})=n-1 has been verified for n10n \leq 10.

December 2025 status

The latest relevant source restates the conjecture and a related formula for the first nonzero alternating power difference, but reports no proof, counterexample, or claimed solution. The broader scan found no independent progress.

Current status (as of August 2026): The conjecture is verified for n10n \leq 10, while the assertion for general n2n \geq 2 remains open.

Sources
Sources & referencesView supporting material

Primary source

Kenichi Takemura, “Alternating Power Difference and Matrix Symmetry: Closed-Form Formulas for the First Appearance Degree m_1”, arXiv:2512.18169 (2025).

Solutions 1

Proof

Write Tn1=n(n1)/2T_{n-1}=n(n-1)/2, and define

APDm(A)=σSnsgn(σ)(j=1nAj,σ(j))m.\operatorname{APD}_m(A) =\sum_{\sigma\in S_n}\operatorname{sgn}(\sigma) \left(\sum_{j=1}^nA_{j,\sigma(j)}\right)^m.

The determinant expansion gives the exponential generating function

m0APDm(A)zmm!=det(ezAij)1i,jn.\sum_{m\ge0}\operatorname{APD}_m(A)\frac{z^m}{m!} =\det\big(e^{zA_{ij}}\big)_{1\le i,j\le n}.

For the standard circulant

(Cn)ij=((i+j2)modn)+1,(C_n)_{ij}=((i+j-2)\bmod n)+1,

put y=ezy=e^z. Reversing rows 2,,n2,\ldots,n converts (y(Cn)ij)(y^{(C_n)_{ij}}) into the usual right-circulant with first row (y,y2,,yn)(y,y^2,\ldots,y^n), contributing the sign (1)(n1)(n2)/2(-1)^{(n-1)(n-2)/2}. If ω\omega is a primitive nn-th root of unity, its circulant eigenvalues are

j=0n1yj+1ωkj=y(1yn)1yωk(0k<n).\sum_{j=0}^{n-1}y^{j+1}\omega^{kj} =\frac{y(1-y^n)}{1-y\omega^k} \qquad(0\le k<n).

Since

k=0n1(1yωk)=1yn,\prod_{k=0}^{n-1}(1-y\omega^k)=1-y^n,

we obtain

m0APDm(Cn)zmm!=(1)(n1)(n2)/2enz(1enz)n1.\sum_{m\ge0}\operatorname{APD}_m(C_n)\frac{z^m}{m!} =(-1)^{(n-1)(n-2)/2}e^{nz}(1-e^{nz})^{n-1}.

This has a zero of exact order n1n-1 at z=0z=0. Therefore

m1(Cn)=n1,m_1(C_n)=n-1,

and its first nonzero coefficient is

APDn1(Cn)=(1)n(n1)/2nn1(n1)!=(1)Tn1nn2n!.\operatorname{APD}_{n-1}(C_n) =(-1)^{n(n-1)/2}n^{n-1}(n-1)! =(-1)^{T_{n-1}}n^{n-2}n!.

For the fixed-point statistic, the same determinant identity gives

m0APDm(fix)zmm!=det(Jn+(ez1)In)=(ez1)n1(ez+n1).\sum_{m\ge0}\operatorname{APD}_m(\operatorname{fix})\frac{z^m}{m!} =\det\big(J_n+(e^z-1)I_n\big) =(e^z-1)^{n-1}(e^z+n-1).

Consequently

m1(fix)=n1,APDn1(fix)=n!.m_1(\operatorname{fix})=n-1, \qquad \operatorname{APD}_{n-1}(\operatorname{fix})=n!.

This proves both asserted comparisons. More generally, the complete closed formula is

APDm(Cn)=(1)Tn1nm(n1)!{m+1n},\operatorname{APD}_m(C_n) =(-1)^{T_{n-1}}n^m(n-1)!\,{m+1\brace n},

where {m+1n}{m+1\brace n} denotes a Stirling number of the second kind.

0 endorsements
Shivam Patel ·