Purely classical proof of the representation congruence

Prove the congruence \((r_f(pq)-r_g(pq))/32=(r_a(pq)-h(-pq))/16\equiv\Pi(p,q)\pmod 2\) using only composition and reciprocity of quadratic forms, thereby giving a purely classical explanation of the congruence.

Background

The paper establishes the congruence for primes pp and qq satisfying pq1(mod8)p\equiv q\equiv1\pmod 8 and (q/p)=1(q/p)=1 by identifying the normalized ternary quadratic-form representation defect with the Pfaffian of the Cassels pairing on the pure $2$-Selmer group of the congruent number curve Epq:y2=x3p2q2xE_{pq}:y^2=x^3-p^2q^2x. The resulting formula is (rf(pq)rg(pq))/32=(ra(pq)h(pq))/16Π(p,q)(mod2)(r_f(pq)-r_g(pq))/32=(r_a(pq)-h(-pq))/16\equiv\Pi(p,q)\pmod2.

The unresolved issue is whether this congruence can be derived without elliptic-curve descent and Cassels-pairing methods, relying instead solely on classical composition and reciprocity properties of quadratic forms. The paper notes that such a derivation would provide a purely classical interpretation of the congruence; it also suggests that the reciprocity constraints arising from the alternating Cassels pairing might be expressible through rational quartic and octic reciprocity.

References

We do not know a proof of eq:mod32-intro based only on composition and reciprocity of quadratic forms.

eq:mod32-intro:

rf(pq)rg(pq)32=ra(pq)h(pq)16Π(p,q)(mod2).\frac{r_f(pq)-r_g(pq)}{32} =\frac{r_a(pq)-h(-pq)}{16} \equiv\Pi(p,q)\pmod2.

Representation Defects and Cassels Pairings for Congruent Number Curves  (2609.03238 - Xu, 3 Sep 2026) in Section 5, final paragraph (following Corollary 5.2)