{"id":"arxiv/2605.19486","url":"https://arxiv.org/abs/2605.19486","tags":["math.NT"],"score":0,"title":"A Determinant Congruence Conjectured by Sun","domain":"math.NT","source":"arxiv","authors":["Yutong Zhang","Yaoran Yang"],"reviews":0,"subject":"math.NT","summary":"We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\\in\\Z$. If $n$ is composite, then \\[ \\det\\big[(i^2+cij+dj^2)^{n-2}\\big]_{0\\leq i,j\\leq n-1}\\equiv 0\\pmod {n^2} \\] with no condition on $c$ and $d$. If $n=p$ is prime, the same congruence holds whenever the Legendre symbol $\\leg{d}{p}$ is $-1$. For composite $n$, a polynomial determinant is divisible by two Vandermonde factors; after specialisation, their product already yields the required square divisor. For prime $n=p$, we estimate the rank of the matrix modulo…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-19","reactions":{}}