Pith. sign in

REVIEW 1 major objections 2 minor 1 cited by

Two determinant evaluations resolve the p≡1 mod 4 case of one Sun conjecture on Legendre symbol matrices and give an exact modular refinement for the other.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-30 18:27 UTC pith:DWCDS6N5

load-bearing objection This paper gives explicit determinant formulas that settle the p≡1 mod 4 case of Sun conjecture 4.8(i) and a uniform mod-p congruence refining 4.10(i). the 1 major comments →

arxiv 2605.19517 v3 pith:DWCDS6N5 submitted 2026-05-19 math.NT

Two determinant evaluations in Sun's conjectures involving Legendre symbols

Yaoran Yang , Yutong Zhang This is my paper
classification math.NT
keywords Legendre symboldeterminant evaluationSun conjecturesChapman matrixVsemirnov factorisationhalf-systemcongruence modulo pnumber theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves explicit formulas for two determinants whose entries are built from the Legendre symbol. For the first, when p is congruent to 1 modulo 4, the determinant of the four-indeterminate matrix H equals the Legendre symbol (2/p) times the difference b'_p minus a'_p, together with a closed 2-by-2 expression for the inverse applied to the all-ones vector and the symbol vector. This settles the corresponding part of Conjecture 4.8(i) by reducing to the inverse of an adjacent minor via factorisation of Chapman's matrix. The second result supplies a uniform exact congruence modulo p for the determinant appearing in Conjecture 4.10(i); the congruence holds for every ordered half-system (up to sign) and every pair u, v in the prime field, and specialises to the asserted square class.

Core claim

We prove that det H = leg(2/p)(b'_p - a'_p) and that U^T H^{-1} U equals the displayed 2-by-2 matrix whose entries involve leg(2/p) and the ratio (b'_p - a'_p - 1)/(b'_p - a'_p), thereby resolving the p≡1 mod 4 part of Conjecture 4.8(i). The proof proceeds from Vsemirnov's factorisation of Chapman's matrix followed by an adjacent cofactor calculation. Separately, the determinant underlying Conjecture 4.10(i) satisfies an exact congruence modulo p that is valid for any ordered half-system modulo sign and for all u, v in F_p; its standard specialisation recovers the asserted square class, which is also a consequence of Sun's earlier evaluation of T(d,p).

What carries the argument

The four-indeterminate matrix H built from Legendre symbols, reduced via Vsemirnov's factorisation of Chapman's matrix to a four-entry inverse package for the adjacent minor [χ(j-k+1)]_{0≤j,k<(p-1)/2}.

Load-bearing premise

Vsemirnov's factorisation of Chapman's matrix applies directly to the four-indeterminate matrix and the adjacent cofactor calculation produces the claimed four-entry inverse package without extra correction terms.

What would settle it

Explicit computation, for a small prime p ≡ 1 mod 4 such as p = 5 or p = 13, of the four-indeterminate determinant and direct comparison against the stated formula leg(2/p)(b'_p - a'_p) together with the displayed 2-by-2 inverse matrix.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The p≡1 mod 4 part of Conjecture 4.8(i) is resolved by the explicit value det H = leg(2/p)(b'_p - a'_p) and the accompanying 2-by-2 matrix for U^T H^{-1} U.
  • The determinant in Conjecture 4.10(i) obeys a uniform exact congruence modulo p for any ordered half-system (modulo sign) and every u, v in F_p.
  • Standard specialisation of the second congruence recovers the asserted square class of the determinant.
  • The half-system independence (up to sign) of the second congruence supplies a refinement beyond the square-class statement alone.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The exact half-system refinement may permit uniform statements in other conjectures that involve matrices of character values.
  • Because the square-class claim follows both from this congruence and from Sun's earlier T(d,p) evaluation, the two approaches are consistent on that coarser statement.
  • The cofactor technique used here could be tested on other low-rank extensions of the same Legendre-symbol matrices.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The manuscript proves two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first resolves the p≡1 mod 4 part of Conjecture 4.8(i) by reducing det H for the four-indeterminate matrix H=[χ(j-k+1)]_{0≤j,k<(p-1)/2} to the explicit formula det H=(2/p)(b'_p - a'_p) together with the 2×2 matrix U^T H^{-1} U, where U=(1,η) and η_j=χ(j); the proof invokes Vsemirnov's factorisation of Chapman's matrix followed by cofactor expansion. The second result supplies a uniform exact congruence modulo p for the determinant underlying Conjecture 4.10(i), valid for any ordered half-system (modulo sign) and all u,v∈F_p, whose standard specialisation recovers the asserted square class.

Significance. If the derivations hold, the results furnish explicit closed-form evaluations and a uniform modular congruence that resolve previously conjectural statements, thereby advancing the study of Legendre-symbol matrices. The explicit 2×2 inverse package and the half-system refinement constitute concrete, falsifiable contributions that build directly on Vsemirnov's factorisation and Sun's earlier T(d,p) evaluation.

major comments (1)
  1. [Proof of first result (Vsemirnov factorisation + cofactor expansion)] The central step of the first result (abstract and the section containing the proof of the four-indeterminate evaluation) rests on extending Vsemirnov's factorisation of the determinate Chapman matrix directly to the four-indeterminate H and then performing an adjacent cofactor calculation that is asserted to produce precisely the claimed four-entry package without extra correction terms. The manuscript must supply an explicit verification that the indeterminate extension introduces no discrepancies altering the expressions involving (2/p), a'_p and b'_p.
minor comments (2)
  1. Clarify the precise definitions and ranges of the auxiliary quantities a'_p and b'_p at their first appearance, as they are used in the displayed formulas for det H and the inverse package.
  2. In the statement of the second result, make explicit the dependence (or independence) on the choice of ordered half-system so that the uniformity claim is immediately verifiable from the displayed congruence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and positive evaluation of the significance of the results. We address the single major comment below.

read point-by-point responses

  1. Referee: [Proof of first result (Vsemirnov factorisation + cofactor expansion)] The central step of the first result (abstract and the section containing the proof of the four-indeterminate evaluation) rests on extending Vsemirnov's factorisation of the determinate Chapman matrix directly to the four-indeterminate H and then performing an adjacent cofactor calculation that is asserted to produce precisely the claimed four-entry package without extra correction terms. The manuscript must supply an explicit verification that the indeterminate extension introduces no discrepancies altering the expressions involving (2/p), a'_p and b'_p.

    Authors: We agree that making the extension explicit would improve clarity. Vsemirnov's factorisation is an identity in the ring of polynomials over the indeterminates, and the four-indeterminate matrix H is obtained by the same substitution pattern as the original Chapman matrix; the cofactor expansion therefore carries over verbatim with no additional correction terms. Nevertheless, to address the request directly we will insert a short verification paragraph immediately after the statement of the factorisation, confirming by direct comparison of the (1,1) and (1,2) minors that the factors (2/p), a'_p and b'_p remain unaltered. This addition will be included in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations independent of inputs

full rationale

The paper derives explicit determinant formulas and modular congruences for matrices of Legendre symbols by applying Vsemirnov's external factorisation of Chapman's matrix plus direct cofactor extraction to obtain the four-entry inverse package, and by establishing a uniform congruence valid for arbitrary ordered half-systems. These steps produce new explicit expressions (det H and the 2x2 matrix) and refinements that do not reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the acknowledgment that the square-class case follows from Sun's prior T(d,p) is presented as background, with the paper's contribution being the independent half-system refinement. No self-citation chains or ansatz smuggling appear in the load-bearing steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proofs rest on standard properties of the Legendre symbol and on one cited external factorisation; no new free parameters or postulated entities are introduced.

axioms (2)
  • standard math Legendre symbol is completely multiplicative: χ(ab) = χ(a)χ(b) for a,b not divisible by p, and χ(-1) = (-1)^{(p-1)/2}
    Used to define matrix entries and to simplify the determinant expressions.
  • domain assumption Vsemirnov's factorisation of Chapman's matrix holds
    Invoked explicitly to reduce the four-indeterminate determinant to the adjacent minor.

pith-pipeline@v0.9.1-grok · 5788 in / 1409 out tokens · 55970 ms · 2026-06-30T18:27:37.461726+00:00 · methodology

0 comments
read the original abstract

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the \(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 \([\chi(j-k+1)]_{0\le j,k<(p-1)/2}\). The core evaluation is \[ \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=(\mathbf1,\eta)\) and \(\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 \(p\) for the determinant underlying Sun's Conjecture 4.10(i), valid for any ordered half-system modulo sign and all \(u,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)\); the contribution here is an exact and half-system refinement.

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Pfaffian Proof and Generalization of a Conjecture of Sun Zhiwei

    math.NT 2026-07 unverdicted novelty 6.0

    Proves D_a(0)=0 iff p≡3 mod 4 and χ(a n!)=1, gives Pfaffian-square factorizations of the determinants for p≡3 mod 4, and settles Sun's conjecture when a=n!.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    B. C. Berndt, R. J. Evans and K. S. Williams,Gauss and Jacobi Sums, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, New York, 1998

    work page 1998

  2. [2]

    Carlitz,Some cyclotomic matrices, Acta Arith.5(1959), no

    L. Carlitz,Some cyclotomic matrices, Acta Arith.5(1959), no. 3, 293–308; doi:10.4064/aa-5-3-293-308

    work page doi:10.4064/aa-5-3-293-308 1959

  3. [3]

    Chaliha and G

    R. Chaliha and G. Kalita,On some conjectural determinants of Sun involving residues, preprint, arXiv:2407.07085, 2024

    work page arXiv 2024

  4. [4]

    Chapman,Determinants of Legendre symbol matrices, Acta Arith.115(2004), no

    R. Chapman,Determinants of Legendre symbol matrices, Acta Arith.115(2004), no. 3, 231–244; doi:10.4064/aa115-3-4

    work page doi:10.4064/aa115-3-4 2004

  5. [5]

    and Mei, Z

    D. Grinberg, Z.-W. Sun and L. Zhao,Proof of three conjectures on determinants related to quadratic residues, Linear Multilinear Algebra70(2022), no. 19, 3734–3746; doi:10.1080/03081087.2020.1853021

    work page doi:10.1080/03081087.2020.1853021 2022

  6. [6]

    Krattenthaler,Advanced determinant calculus, Séminaire Lotharingien de Combinatoire42(1999), Article B42q, 67 pp

    C. Krattenthaler,Advanced determinant calculus, Séminaire Lotharingien de Combinatoire42(1999), Article B42q, 67 pp

    work page 1999

  7. [7]

    Krattenthaler,Advanced determinant calculus: a complement, Linear Algebra Appl.411(2005), 68–166; doi:10.1016/j.laa.2005.06.042

    C. Krattenthaler,Advanced determinant calculus: a complement, Linear Algebra Appl.411(2005), 68–166; doi:10.1016/j.laa.2005.06.042

    work page doi:10.1016/j.laa.2005.06.042 2005

  8. [8]

    D. H. Lehmer,On certain character matrices, Pacific J. Math.6(1956), no. 3, 491–499; doi:10.2140/pjm.1956.6.491

    work page doi:10.2140/pjm.1956.6.491 1956

  9. [9]

    Liu, Z.-W

    K. Liu, Z.-W. Sun and L.-Y. Wang,On a determinant involving linear combinations of Legendre symbols, preprint, arXiv:2408.07034v3, 2024

    work page internal anchor Pith review arXiv 2024

  10. [10]

    Ren and Z.-W

    C.-K. Ren and Z.-W. Sun,On some determinants arising from quadratic residues, Bull. Iran. Math. Soc. 51(2025), no. 4, Article No. 59; doi:10.1007/s41980-025-00982-4

    work page doi:10.1007/s41980-025-00982-4 2025

  11. [11]

    Sun,On some determinants with Legendre symbol entries, Finite Fields Appl.56(2019), 285–307; doi:10.1016/j.ffa.2018.12.004

    Z.-W. Sun,On some determinants with Legendre symbol entries, Finite Fields Appl.56(2019), 285–307; doi:10.1016/j.ffa.2018.12.004

    work page doi:10.1016/j.ffa.2018.12.004 2019

  12. [12]

    Sun,Problems and results on determinants involving Legendre symbols, Bull

    Z.-W. Sun,Problems and results on determinants involving Legendre symbols, Bull. Math. Soc. Sci. Math. Roumanie, in press; arXiv:2405.03626v8, 2024

    work page arXiv 2024

  13. [13]

    evil determinant

    M. Vsemirnov,On the evaluation of R. Chapman’s “evil determinant”, Linear Algebra Appl.436(2012), no. 11, 4101–4106; doi:10.1016/j.laa.2011.08.039

    work page doi:10.1016/j.laa.2011.08.039 2012

  14. [14]

    evil determinant

    M. Vsemirnov,On R. Chapman’s “evil determinant”: casep≡1 ( mod 4), Acta Arith.159(2013), no. 4, 331–344; doi:10.4064/aa159-4-3

    work page doi:10.4064/aa159-4-3 2013

  15. [15]

    Wang and Z.-W

    H. Wang and Z.-W. Sun,On certain determinants and related Legendre symbols, Bull. Malays. Math. Sci. Soc.47(2024), no. 2, Article No. 58; doi:10.1007/s40840-024-01650-2

    work page doi:10.1007/s40840-024-01650-2 2024

  16. [16]

    Wang and H.-L

    L.-Y. Wang and H.-L. Wu,On certain determinants involving Legendre symbols, Ramanujan J.58(2022), no. 1, 43–56; doi:10.1007/s11139-021-00472-1

    work page doi:10.1007/s11139-021-00472-1 2022

  17. [17]

    evil determinant

    L.-Y. Wang, H.-L. Wu and H.-X. Ni,On a generalization of R. Chapman’s “evil determinant”, Rev. Real Acad. Cienc. Exactas Fís. Nat. Ser. A-Mat.120(2026), no. 2, Article No. 43; doi:10.1007/s13398-026-01832-6

    work page doi:10.1007/s13398-026-01832-6 2026

  18. [18]

    Wu,Determinants concerning Legendre symbols, Comptes Rendus Math.359(2021), no

    H.-L. Wu,Determinants concerning Legendre symbols, Comptes Rendus Math.359(2021), no. 6, 651–655; doi:10.5802/crmath.205. School of Mathematics, Sichuan University, Chengdu, 610065, China Email address:yangyaoran@stu.scu.edu.cn School of Mathematics, Sichuan University, Chengdu, 610065, China Email address:yutongzhang@stu.scu.edu.cn

    work page doi:10.5802/crmath.205 2021