Cyclotomic Period Matrices
- Cyclotomic period matrices are square matrices built from cyclotomic data like Gauss sums, Jacobi sums, and cyclotomic numbers, capturing key arithmetic and geometric properties.
- They feature diagonalization via Vandermonde-type factorizations and reveal determinant criteria and spectral structure that distinguish finite-field and prime-power settings.
- These matrices have practical applications in constructing explicit abelian extensions, coding theory, and combinatorial design by linking character sums with hypergeometric functions.
to=arxiv_search 天天中彩票是不是.json code ауаҩы code: {"query":"(Wu et al., 2 Jul 2026) cyclotomic matrices Gauss periods character sums cyclic groups", "max_results": 5, "sort_by": "submittedDate"} to=arxiv_search 微信天天中彩票 全民彩票天天送json {"query":"(Wu et al., 2 Jul 2026) cyclotomic matrices Gauss periods character sums cyclic groups","max_results":5,"sort_by":"submittedDate"} Cyclotomic period matrices are square matrices whose entries are organized from cyclotomic data: Gauss sums over cyclic groups, Jacobi sums and multiplicative characters over finite fields, cyclotomic numbers, or, in a geometric setting, period integrals whose values lie in a cyclotomic field. In the recent literature, the phrase does not denote a single universal object; rather, it names a family of constructions linked by character-theoretic diagonalization, Vandermonde-type factorizations, Galois symmetry, and determinant formulas with arithmetic content (Wu et al., 2 Jul 2026, Wu et al., 2021, Wu et al., 24 Dec 2025, Ahmed et al., 2018, Tadokoro, 2012).
1. Definitions and scope
A central arithmetic model is the prime-power cyclotomic period matrix introduced for , with an odd prime power, , , and . Fix a generator of the character group . For each integer , define the Gauss sum
extended to zero on non-units . The associated 0 matrix is
1
This is the Wu–Wang cyclotomic period matrix built from Gauss sums over 2 (Wu et al., 2 Jul 2026).
A second family appears over finite fields. For 3 an odd prime power, a generator 4 of the full multiplicative-character group, and 5 the set of nonzero squares in 6, Wu–She–Wang define
7
together with
8
where 9 is the quadratic character (Wu et al., 2021). Closely related matrices in Wu–Pan are
0
and, when 1 and 2,
3
with 4 (Wu et al., 24 Dec 2025).
A third family packages cyclotomic numbers. For 5, 6, and cyclotomic numbers
7
Ahmed–Tanti–Hoque assemble the array 8 into 9 matrices 0 or 1, depending on the parity of 2 in 3 (Ahmed et al., 2018).
In algebraic geometry, the term “period matrix” has its classical analytic meaning. Tadokoro studies the hyperelliptic curve
4
constructs a symplectic basis of 5, and obtains a period matrix 6 whose entries lie in the cyclotomic field 7, 8 (Tadokoro, 2012). This establishes a geometric sense in which a period matrix is “cyclotomic.”
2. Prime-power Gauss-sum matrices and Gauss periods
For the matrix 9, the decisive auxiliary quantities are the Gauss periods. Choose a generator 0 of 1, write 2 with 3, and let 4 be the unique subgroup of order 5 in 6. The Gauss period of length 7 is
8
A reindexing argument gives
9
In matrix form,
0
where
1
This 2-decomposition is the structural core of the theory (Wu et al., 2 Jul 2026).
The Vandermonde-type factor 3 satisfies the orthogonality relation
4
Consequently,
5
These identities convert the arithmetic of Gauss periods into explicit linear-algebraic statements about 6 (Wu et al., 2 Jul 2026).
The determinant criterion is particularly sharp. If 7, then 8 contains the unique Sylow-9 subgroup of 0, one shows 1 for every 2, and hence 3. If 4, then none of the Gauss periods vanishes, 5 is invertible, and 6 is invertible. Writing
7
one obtains
8
Accordingly, 9 is singular if and only if 0 (Wu et al., 2 Jul 2026).
Concrete instances illustrate the formalism. For 1, 2, 3, one has 4, 5, 6, and
7
with rank 8 and determinant 9. For 0, 1, 2, 3, 4, none of the three Gauss periods 5 vanishes, and
6
3. Spectral structure and diagonalization
The matrix factorization 7 also determines the spectrum. Since 8, the matrix 9 is similar, up to signs and powers of 0, to the diagonal matrix 1. Its eigenvalues are exactly
2
up to an overall sign 3, and a full set of eigenvectors is given by the columns of 4. In particular,
5
while 6 when 7 (Wu et al., 2 Jul 2026).
A parallel eigenvector mechanism governs the finite-field matrices. For 8, Wu–She–Wang diagonalize using the 9 independent vectors
00
The 01-th eigenvalue is
02
which splits into two Jacobi sums and can then be rewritten as a difference or sum of finite-field 03-values. The determinant formula for 04 is the product of these eigenvalues (Wu et al., 2021).
Wu–Pan formulate the same phenomenon in terms of
05
for 06. The vectors 07 are eigenvectors of 08 with eigenvalues 09. When 10, the enlarged matrix 11 acquires two additional trivial eigenvectors, and its full spectrum is
12
A common misconception is to treat all singularity criteria as identical across these constructions. The cited works show otherwise. For 13, singularity is governed by the divisibility condition 14. For 15, one vanishing criterion is instead 16 together with 17. For the cyclotomic-number matrices of order 18, 19 is singular while 20 is non-singular in the cases analyzed. The shared diagonalization machinery does not force uniform determinant behavior.
4. Jacobi sums, finite-field hypergeometric functions, and determinant formulas
In the finite-field framework of Wu–She–Wang, the determinant 21 admits explicit formulas controlled by Jacobi sums and Greene’s hypergeometric functions. For characters 22 on 23,
24
and Greene’s finite-field binomial coefficient and hypergeometric function are defined by
25
26
A key identity is
27
which translates the eigenvalue sums into Jacobi-sum and hypergeometric expressions (Wu et al., 2021).
The principal arithmetic cases are as follows. If 28 and 29, then
30
If 31, then 32 is given by an explicit product of terms
33
with the minus sign when 34 and the plus sign when 35. If 36 and 37, then
38
and 39 is expressed as a product of differences of 40-values at 41. If 42 and 43, writing 44 and
45
one has
46
and 47 is expressed as a product of 48-values at 49 (Wu et al., 2021).
The determinant 50 of the matrix 51 also exhibits square-factorization phenomena. If 52, then there exists 53 such that
54
If 55, then there is 56 with
57
Moreover, if 58 is prime, then
59
for some 60, where 61 is the class number of 62. This confirms Zhi-Wei Sun’s 2019 conjecture on the explicit form of 63 (Wu et al., 2021).
Wu–Pan obtain a related pair of determinant formulas from Jacobi-sum products. Define
64
When 65, they show
66
When 67 and 68 is a nonsquare, they define
69
show 70, and prove
71
where 72 is the Frobenius trace on the elliptic curve 73. This yields the stated resolution of Sun’s 2019 conjecture (Wu et al., 24 Dec 2025).
5. Cyclotomic numbers of order 74 and block-circulant matrices
For 75, the cyclotomic numbers 76 and Jacobi sums 77 are related by the discrete Fourier identities
78
Thus, knowing all Jacobi sums is equivalent to knowing all cyclotomic numbers (Ahmed et al., 2018).
Ahmed–Tanti–Hoque then form the “odd-79 period matrix” 80 and “even-81 period matrix” 82 by
83
used when 84, and
85
used when 86. These matrices satisfy periodicity in both indices, and their structural symmetries depend on the parity of 87: 88
89
In particular, each of 90 and 91 is block-circulant of the form
92
where 93 are 94 circulant blocks (Ahmed et al., 2018).
The row-sum behavior and singularity properties are markedly different in the two parity regimes. The row sums of both 95 and 96 are all equal to 97. The matrix 98 has one zero row, hence 99, and in fact its minimal and characteristic polynomial is 00, so all eigenvalues of 01 vanish. By contrast, 02 is non-singular. For 03, one finds
04
and the characteristic polynomial factors into 05 distinct real eigenvalues (Ahmed et al., 2018).
This family emphasizes that “cyclotomic period matrix” may refer not to character sums directly but to the matrix obtained after the cyclotomic numbers themselves have been determined. The Fourier relation with Jacobi sums shows that this is not a separate theory so much as a different packaging of the same cyclotomic arithmetic.
6. Cyclotomic fields and geometric period matrices
The prime-power Gauss-period matrices have an intrinsic cyclotomic-field interpretation. The field 06 is Galois over 07 with cyclic Galois group isomorphic to 08. Inside it lies the unique intermediate subfield of degree 09, namely 10, and the periods 11 are exactly the Galois conjugates of the base period 12. Hence
13
is the minimal polynomial of the period, and the determinant formula for 14 links the size of the matrix to the arithmetic of the subfield 15 (Wu et al., 2 Jul 2026).
Tadokoro’s work exhibits a geometric incarnation of the same cyclotomic phenomenon. On the hyperelliptic curve
16
with 17, the deck transformation
18
has order 19. A basis of holomorphic differentials is
20
For the loops 21, the normalized periods satisfy
22
The raw 23- and 24-period matrices are then
25
with factorizations
26
where 27 is a classical Vandermonde matrix (Tadokoro, 2012).
Using Knuth’s formula for 28, Tadokoro derives the compact expression
29
and writes its entries explicitly in terms of elementary symmetric polynomials in 30. Every entry lies in 31. The Galois action 32 corresponds to simultaneously replacing each cycle 33 by 34, so the Galois group acts by permuting rows and columns of 35 (Tadokoro, 2012).
A useful conceptual distinction follows. In arithmetic papers such as Wu–Wang, Wu–She–Wang, and Wu–Pan, “cyclotomic period matrix” refers to a matrix whose entries are Gauss sums, characters, or cyclotomic numbers. In Tadokoro’s geometric setting, it refers to a genuine period matrix of a Riemann surface whose entries belong to a cyclotomic field. The shared adjective “cyclotomic” points to the governing root-of-unity structure, not to identical matrix definitions.
7. Applications, lineage, and conceptual significance
The prime-power theory of Wu–Wang places these matrices within the arithmetic of abelian extensions. The determinant formula and period decomposition are described as useful in constructing explicit integral bases in abelian extensions of 36, analyzing the weight distributions of certain cyclic codes, designing symmetric block designs via difference sets, and understanding circulant Hadamard matrices in combinatorial design theory (Wu et al., 2 Jul 2026). This suggests that cyclotomic period matrices function as an interface between explicit character-sum identities and structured linear algebra.
The finite-field determinant formulas have already been applied to conjectural problems. Wu–She–Wang confirm Sun’s 2019 conjecture on the explicit form of 37 by expressing the determinant as 38 times a square, up to a sign factor involving 39 in the prime case (Wu et al., 2021). Wu–Pan likewise resolve Sun’s 2019 conjecture by connecting 40 to the Frobenius trace 41 on the elliptic curve 42 and to the Jacobi-sum product 43 (Wu et al., 24 Dec 2025).
Historically, the recent prime-power results are positioned as extending older work on cyclotomic matrices. In particular, when 44, the Wu–Wang construction recovers and extends results of Carlitz and of Wu–Li–Wang–Yip on 45-th-order cyclotomic matrices; for 46, it gives the first systematic treatment of Gauss-sum matrices over the non-field ring 47 (Wu et al., 2 Jul 2026). The finite-field papers, by contrast, connect the subject to Greene’s hypergeometric formalism and to Jacobi-sum identities.
A final point of terminology is essential. “Cyclotomic period matrix” is best understood as a thematic label rather than a rigid standard definition. The common ingredients are roots of unity, multiplicative characters, character sums, Vandermonde or circulant structure, and Galois symmetry. The precise matrix depends on context: Gauss sums over 48, character evaluations over 49, cyclotomic numbers of order 50, or period integrals on a hyperelliptic curve. The literature therefore supports a plural reading of the subject: cyclotomic period matrices form a family of related constructions unified by cyclotomic arithmetic rather than by a single canonical model.