On R. Chapman's "evil determinant": case p=1 (mod 4)

Maxim Vsemirnov

DOI: https://doi.org/10.48550/arXiv.1108.4031

2012-03-26

Abstract:For p=1 (mod 4), we prove the formula (conjectured by R. Chapman) for the determinant of the matrix C with C(i,j)=LegendreSymbol(j-i,p), i,j=0,...,(p-1)/2.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the determinant of a specific matrix. Specifically, for prime numbers \(p \equiv 1 \pmod{4}\), the author aims to prove a conjecture about the determinant of matrix \(C\) proposed by R. Chapman.

### Background and Problem Description

The matrix \(C\) is defined as follows:
\[ C_{ij} = \left( \frac{j - i}{p} \right), \quad 0 \leq i, j \leq n \]
where \(n=\frac{p - 1}{2}\), and \(\left( \frac{\cdot}{p} \right)\) represents the Legendre symbol.

R. Chapman proposed a conjecture: for \(p \equiv 1 \pmod{4}\), the determinant of matrix \(C\) can be expressed in terms of the fundamental unit \(\varepsilon\) and the class number \(h\) of the real quadratic field \(\mathbb{Q}(\sqrt{p})\). The specific form is:
\[ \det(C)=-a \]
where \(a + b\sqrt{p}=\begin{cases}\varepsilon^{h}&\text{if }p \equiv 1 \pmod{8},\\\varepsilon^{3h}&\text{if }p \equiv 5 \pmod{8}.\end{cases}\)

### Main Contributions of the Paper

In this paper, the author solves this problem through the following steps:

1. **Matrix Decomposition**: Decompose the matrix \(C\) into the product of several matrices.
2. **Calculation of Cauchy - type Determinants**: Find the general expressions of some parameterized Cauchy - type determinants and simplify them to specific cases.
3. **Dirichlet Class Number Formula**: Use the Dirichlet class number formula to relate the obtained determinant to the class number and fundamental unit of the real quadratic field.

### Conclusions

Finally, the author proves Chapman's conjecture and draws the following conclusions:
\[ \det(C)=-a \]
where \(a\) is an integer or a half - integer determined by \(\varepsilon\) and \(h\). In addition, it is also proved that for \(p \equiv 1 \pmod{4}\), the determinant \(\det(C)\) is always negative and even.

### Formula Summary

- \(n = \frac{p - 1}{2}\)
- \(C_{ij}=\left( \frac{j - i}{p} \right)\)
- \(\det(C)=-a\)
- \(a + b\sqrt{p}=\begin{cases}\varepsilon^{h}&\text{if }p \equiv 1 \pmod{8},\\\varepsilon^{3h}&\text{if }p \equiv 5 \pmod{8}.\end{cases}\)

Through these steps, the author successfully solves the "evil determinant" problem proposed by Chapman and verifies his conjecture.