The quadratic difference conjecture for symplectic pairs

At least 2 years old · documented by

Let pp and qq be monic polynomials of degree 22, let VV be a vector space, and let (b,u)(b,u) be a symplectic pair on VV. A symplectic (p,q)(p,q)-difference is a symplectic pair satisfying the (p,q)(p,q)-difference condition, while a (p,q)(p,q)-difference in End⁡(V)\operatorname{End}(V) is an endomorphism satisfying the corresponding algebraic condition. Quadratic difference conjecture. For a symplectic pair (b,u)(b,u) to be a symplectic (p,q)(p,q)-difference, it is necessary and sufficient that uu be a (p,q)(p,q)-difference in End⁡(V)\operatorname{End}(V). This would extend the previously established equivalence for (p,q)=(t2,t2)(p,q)=(t^2,t^2) to arbitrary pairs of monic quadratic polynomials; the source gives no resolution, so the conjecture remains open.

References

Primary source

Clément de Seguins Pazzis, “The quadratic sum problem for symplectic pairs”, arXiv:2305.19340 (2023).

Progress summary

Refreshed
Claimed solved

A 2023 paper gives an explicit counterexample, and a reader points to it, so the conjecture is claimed false but has not been independently verified here.

Clément de Seguins Pazzis’s 2023 paper treats the proposed equivalence as Conjecture 1. It claims that the equivalence fails for arbitrary monic quadratic polynomials.

2023 counterexample

For irreducible p=qp=q, a symplectic space of dimension 2n2n with nn odd, and the pair (b,0)(b,0), the endomorphism 00 is a (p,q)(p,q)-difference, but (b,0)(b,0) is not a symplectic (p,q)(p,q)-difference. The same source records a surviving equivalence when at least one of pp or qq has a root in the base field.

Posted attempt

A reader identifies page 6 of the paper as a counterexample; this is an unverified reader-written attempt rather than independent mathematical confirmation.

Current status (as of August 2026): The universal conjecture is claimed refuted by the 2023 counterexample, while restricted cases remain valid and no independent verification of the refutation was found.

Sources

Solutions 1

CounterexampleThis solution needs a summarySee full solutionHide full solution

The paper were this is taken from actually gives a counterexample: see page 6 of https://arxiv.org/pdf/2305.19340