A Riemannian Variational and Spectral Framework for High-Dimensional Sphere Packing: Barrier-Dynamics Reconciliation, Periodic Rigidity, and Discrete-Time Guarantees
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914056444575744 |
|---|---|
| author | Alpay, Faruk Alakkad, Hamdi |
| author_facet | Alpay, Faruk Alakkad, Hamdi |
| contents | We develop a unified framework that reconciles a barrier based geometric model of periodic sphere packings with a provably convergent discrete time dynamics. First, we introduce a C2 interior barrier U_nu that is compatible with a strict feasibility safeguard and has a Lipschitz gradient on the iterates domain. Second, we correct and formalize the discrete update and give explicit step size and damping rules. Third, we prove barrier to KKT consistency and state an interior variant clarifying the role of the quadratic term. Fourth, we show that strict prestress stability implies periodic infinitesimal rigidity of the contact framework. Fifth, we establish a Lyapunov energy descent principle, an energy nonexpansive feasibility projection (including a joint x and lattice basis B variant), and local linear convergence for the Spectral Projected Interior Trajectory (Spit) method. We also provide practical Hessian vector formulas to estimate smoothness and curvature, minimal schematic illustrations, and a short reproducibility stub. The emphasis is on rigorous assumptions and proofs; empirical evaluation is deferred. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_21066 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Riemannian Variational and Spectral Framework for High-Dimensional Sphere Packing: Barrier-Dynamics Reconciliation, Periodic Rigidity, and Discrete-Time Guarantees Alpay, Faruk Alakkad, Hamdi Optimization and Control Metric Geometry 52C17, 90C26, 90C51, 05C50, 65K10 G.1.6; G.2.2; F.2.1 We develop a unified framework that reconciles a barrier based geometric model of periodic sphere packings with a provably convergent discrete time dynamics. First, we introduce a C2 interior barrier U_nu that is compatible with a strict feasibility safeguard and has a Lipschitz gradient on the iterates domain. Second, we correct and formalize the discrete update and give explicit step size and damping rules. Third, we prove barrier to KKT consistency and state an interior variant clarifying the role of the quadratic term. Fourth, we show that strict prestress stability implies periodic infinitesimal rigidity of the contact framework. Fifth, we establish a Lyapunov energy descent principle, an energy nonexpansive feasibility projection (including a joint x and lattice basis B variant), and local linear convergence for the Spectral Projected Interior Trajectory (Spit) method. We also provide practical Hessian vector formulas to estimate smoothness and curvature, minimal schematic illustrations, and a short reproducibility stub. The emphasis is on rigorous assumptions and proofs; empirical evaluation is deferred. |
| title | A Riemannian Variational and Spectral Framework for High-Dimensional Sphere Packing: Barrier-Dynamics Reconciliation, Periodic Rigidity, and Discrete-Time Guarantees |
| topic | Optimization and Control Metric Geometry 52C17, 90C26, 90C51, 05C50, 65K10 G.1.6; G.2.2; F.2.1 |
| url | https://arxiv.org/abs/2509.21066 |