arXiv Science⌕ Search

arXiv · 2610.31036

Reflection symmetry in the equal-mass $1+N$ coorbital problem for $5\leq N\leq8$

Abstract

We study reflection symmetry in the equal-mass Newtonian \(1+N\) coorbital problem for \(N=5,6,7,8\). We prove that every collision-free solution of the angular central-configuration equations has a reflection axis. As a consequence, every non-coalescent limit of planar central configurations consisting of one dominant mass and \(N\) equal small masses is reflection-symmetric about a line through the dominant body. Our proof combines analytic arguments with rigorous computer-assisted verification. For each possible reflection, we introduce variables that measure the deviation from that reflection and vanish exactly when the configuration has that symmetry. The central-configuration equations yield a symmetric matrix equation in these variables. Concavity of the force derivative and estimates of the resulting quadratic forms reduce the symmetry problem to finitely many rigorously verified inequalities. Although the details depend on \(N\), the same general method applies in all four cases. We also obtain, as a separate result, the complete three-class classification for \(N=5\), up to the natural equivalences.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xiaoxiang Huangfu, Zijian Meng. 2026-10-22. Reflection symmetry in the equal-mass $1+N$ coorbital problem for $5\leq N\leq8$. https://arxiv.org/abs/2610.31036

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

First Families of Regular Polygons and their Mutations

Every regular N-gon defines a canonical family of regular polygons which are conforming to the bounds of the 'star polygons' determined by N. These star polygons are formed from truncated extended edges of the N-gon and the intersection points ('star' points) determine the parameters of the family. The First Family Theorem (FFT) shows how each star[k] point defines a matching S[k] 'tile' and the GeneralizedFFT shows how every S[k] can generate their own families with an S[k+1] on the left and (if space permits) an S[k'] on the right where k' = N/2-k for N even. If such an S[k]-S[k'] pair exists it will be called a 'dual' pair and share an edge. When N is even the S[1] tile and N will form a dual pair since N = S[N/2-1]. When the outer-billiards map Tau is introduced in Section 4 the singularity set W will generate two manifolds +W and -W depending on whether N is clockwise or ccw so the relationship between +W and -W depends on how N is related to its mirror image T(N) where T is a horizontal reflection. But N is 'chiral' so no rotation by multiples of 2Pi/N can overlay T(N) on N. This means that +W and -W are distinct and W is their 'union'. But any mapping of +W and -W to W cannot be smooth because their polarities are distinct and we assert that the S[k] dual tiles are the 'resonances' of this mapping. Indeed every dual S[k]-S[k'] pair will be split between +W and -W regions so their shared edge defines the boundaries of invariant regions. The Invariance Conjecture of Appendix II says that that every dual S[k] pair with at least k or k' co-prime with N will survive in W and the number of such pairs is the algebraic complexity C(N) = EulerPhi(N)/2 so every regular N-gon will have C(N) distinct dual pairs and hence C(N)-1 invariant regions. The boundaries of these regions are separatrices which act as eigenstates in a matching Hamiltonian composed of C(N) twist maps.

math.DS↗

Restricted variational principle for Lyapunov exponents of typical one-step cocycles

In this paper, we study the multifractal formalism for Lyapunov exponents of typical one-step cocycles. We establish a variational relation between the Legendre transform of topological pressure of the generalized singular value function and measure-theoretic entropies. As a consequence, we show that the restricted variational principle of Lyapunov exponents holds for typical one-step cocycles. Furthermore, we prove a variational principle formula for the generalized singular value function.

math.DS↗

Conditioned stochastic stability of equilibrium states on uniformly hyperbolic sets

We establish the conditioned stochastic stability of equilibrium states for Hölder potentials on uniformly hyperbolic sets. While standard stochastic stability characterises measures on attractors, we analyse the statistics of transient dynamics on non-attracting sets by conditioning small random perturbations of the dynamics to not escape from our regions of interest. We prove that as the noise intensity vanishes, the quasi-ergodic measure of the $e^ϕ$-weighted process generated by $\e$-small random perturbations of the deterministic dynamics converges to the unique equilibrium state associated with the potential $ϕ- \log \left|\det \left. D T\right|_{E^u}\right|$. The results are obtained via perturbative spectral analysis of transfer operators acting on anisotropic Banach spaces and topological hyperbolic dynamics arguments. Furthermore, we extend this framework globally to Axiom A diffeomorphisms with multiple basic sets using dynamical filtrations. This work provides a rigorous characterisation of natural measures on uniformly hyperbolic repellers, which are fundamental in the context of transient chaos. Our results have been formalised in Lean~4.

math.DS↗