The Parity Dual-Sphere Invariance Theorem: Constructive Multi-Sphere Packings Beyond Behrend's Bound for Arithmetic Progression-Free Sets

We introduce the Parity Dual-Sphere Invariance Theorem, establishing that the union of two concentric hyperspheres S(R^2) and S(R^2 + 1) in the integer lattice [0, b-1]^m contains no non-trivial three-term arithmetic progressions. The proof rests on a fundamental parity contradiction: any progression spanning both shells forces the midpoint difference norm squared to satisfy 2||x - y||^2 = 1, which has no solution in the integer lattice. By extending this invariance to an independent radius hypergraph, we formulate maximal multi-sphere families executed on an NVIDIA GeForce RTX 3090 GPU, achieving constructive densities +250% to +402.9% beyond Behrend's classic single-sphere lower bound with 100% certified absence of 3-APs.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-02
DOI
https://doi.org/10.5281/zenodo.23898175
Primary Topic
Limits and Structures in Graph Theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The Parity Dual-Sphere Invariance Theorem: Constructive Multi-Sphere Packings Beyond Behrend's Bound for Arithmetic Progression-Free Sets

Hussam Gad-Allah
Zenodo (CERN European Organization for Nuclear Research)
Limits and Structures in Graph Theory
preprint

The Parity Dual-Sphere Invariance Theorem: Constructive Multi-Sphere Packings Beyond Behrend's Bound for Arithmetic Progression-Free Sets

Hussam Gad-Allah
preprint en

Abstract

We introduce the Parity Dual-Sphere Invariance Theorem, establishing that the union of two concentric hyperspheres S(R^2) and S(R^2 + 1) in the integer lattice [0, b-1]^m contains no non-trivial three-term arithmetic progressions. The proof rests on a fundamental parity contradiction: any progression spanning both shells forces the midpoint difference norm squared to satisfy 2||x - y||^2 = 1, which has no solution in the integer lattice. By extending this invariance to an independent radius hypergraph, we formulate maximal multi-sphere families executed on an NVIDIA GeForce RTX 3090 GPU, achieving constructive densities +250% to +402.9% beyond Behrend's classic single-sphere lower bound with 100% certified absence of 3-APs.

Zenodo (CERN European Organization for Nuclear Research)
Cairo University (EG)
Limits and Structures in Graph Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
The Parity Dual-Sphere Invariance Theorem: Constructive Multi-Sphere Packings Beyond Behrend's Bound for Arithmetic Progression-Free Sets — Hussam Gad-Allah · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS