First appearance degree conjecture for standard circulant matrices
First appearance degree conjecture for standard circulant matrices
Let be the -th order standard circulant matrix, and let denote its first appearance degree. Let be the fixed-point function associated with the identity matrix of order .
Standard-circulant first appearance degree conjecture. For ,
This relationship has been verified for , but no general proof is supplied.
Progress summary
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 , for every . A December 2025 arXiv paper records this as Conjecture 3 and explicitly supplies no general proof.
Known results
- The equality has been verified for .
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 , while the assertion for general 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
Sign in to submit a solution.
Write , and define
The determinant expansion gives the exponential generating function
For the standard circulant
put . Reversing rows converts into the usual right-circulant with first row , contributing the sign . If is a primitive -th root of unity, its circulant eigenvalues are
Since
we obtain
This has a zero of exact order at . Therefore
and its first nonzero coefficient is
For the fixed-point statistic, the same determinant identity gives
Consequently
This proves both asserted comparisons. More generally, the complete closed formula is
where denotes a Stirling number of the second kind.