English

Two determinant evaluations in Sun's conjectures involving Legendre symbols

Number Theory 2026-05-28 v3

Abstract

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the p1(mod4)p\equiv1\pmod4 part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry inverse package for the adjacent minor [χ(jk+1)]0j,k<(p1)/2[\chi(j-k+1)]_{0\le j,k<(p-1)/2}. The core evaluation is detH=\leg2p(bpap),UTH1U=(\leg2ppbpapbpap1bpap1bpap1), \det H=\leg{2}{p}(b'_p-a'_p),\qquad U^TH^{-1}U= \begin{pmatrix} \leg{2}{p}\dfrac{pb'_p-a'_p}{b'_p-a'_p}&1\\[2mm] \dfrac{b'_p-a'_p-1}{b'_p-a'_p}&1 \end{pmatrix}, where U=(1,η)U=(\mathbf1,\eta) and ηj=χ(j)\eta_j=\chi(j). The proof uses Vsemirnov's factorisation of Chapman's matrix and an adjacent cofactor calculation. The second result gives a uniform exact congruence modulo pp for the determinant underlying Sun's Conjecture 4.10(i), valid for any ordered half-system modulo sign and all u,vFpu,v\in\mathbb F_p. Its standard specialization recovers the asserted square class. The square-class assertion itself also follows from Sun's earlier evaluation of T(d,p)T(d,p); the contribution here is an exact and half-system refinement.

Keywords

Cite

@article{arxiv.2605.19517,
  title  = {Two determinant evaluations in Sun's conjectures involving Legendre symbols},
  author = {Yaoran Yang and Yutong Zhang},
  journal= {arXiv preprint arXiv:2605.19517},
  year   = {2026}
}