Symplectic ball packing in higher dimensions

Formal proof listed 1 paper September 23, 2026
What the paper claims, in its own words

Resolves the Siegel–Yao conjecture for arbitrary capacities in every dimension 2n≥62n\ge6. Finitely many closed symplectic balls of capacities R1,…,RkR_1,\ldots,R_k embed disjointly into an open ball of capacity R exactly when ∑iRin<Rn\sum_iR_i^n\lt R^n and Ri+Rj<RR_i+R_j\lt R for every distinct pair i, j.

The plain-language explainer for this entry is still coming.

The original paper