Quasi-Minimal Connecting Orbits

• Quasi-Minimal Connecting Orbits are constructions that connect prescribed geometric or dynamical objects while satisfying theory-dependent minimality conditions in algebraic geometry, celestial mechanics, and more.
• They employ varied methodologies such as B-root subgroup actions, action minimization in the three-body problem, weak KAM theory, and Jacobian-free variational methods to establish minimal connections.
• These approaches highlight both analytic and numerical techniques to achieve minimal connecting mechanisms, clarifying theoretical distinctions and practical applications across several scientific domains.

Searching arXiv for the cited papers and closely related work on quasi-minimal/connecting orbits. “Quasi-minimal connecting orbits” denotes a family of constructions in which an orbit, path, or one-parameter flow connects prescribed geometric or dynamical objects while satisfying a minimality condition that depends on the ambient theory. In quasiaffine spherical geometry, the term is tied to moving from a $G$-orbit in the regular locus to a minimal covering orbit by means of $B$-normalized additive one-parameter subgroups (Avdeev et al., 10 Dec 2025). In celestial mechanics, it refers to an action minimizer connecting prescribed boundary configurations in the planar three-body problem (Kuang et al., 2016). In contact Hamiltonian dynamics, the relevant objects are weak KAM calibrated curves connecting Legendrian graphs (Jin et al., 2022). In high-dimensional computation of heteroclinic connections, “quasi-minimal” denotes a global minimizer of a residual cost functional up to numerical tolerance (Ashtari et al., 2023). The expression therefore identifies a recurring connection principle rather than a single invariant definition.

1. Terminological scope and structural motifs

Across the literature, the connected objects vary substantially. In the algebraic-geometric setting, an additive one-parameter subgroup is the image of a nontrivial homomorphism

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$

and a $B$-root subgroup is such a subgroup normalized by $B$ (Avdeev et al., 10 Dec 2025). In contact dynamics, a semi-infinite connecting orbit is a curve $\sigma:[0,+\infty)\to\Sigma$ with $\sigma(0)\in\Lambda_{u_0}$ and $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$ (Jin et al., 2022). In the Jacobian-free variational method, one works with a connecting curve $\gamma(s)$ and residual

$$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$

with cost

$B$0

(Ashtari et al., 2023). In prescribed-energy quasilinear systems, the admissible class imposes $B$1 together with asymptotic approach to two disjoint components $B$2 and $B$3 of a sublevel set (Isneri et al., 20 Jun 2026).

Setting	Connected objects	Minimality notion
Quasiaffine spherical varieties	A $B$4-orbit and a minimal covering $B$5-orbit	Orbit adjacency via a $B$6-root subgroup
Planar three-body problem	Collinear/binary-collision boundary and isosceles boundary	Action minimizer
Contact Hamiltonian systems	Legendrian graph $B$7 and equilibrium graph $B$8	Calibrated quasi-minimizer
Jacobian-free computation	Two equilibria $B$9	Global minimum of residual cost
Quasilinear conservative systems	$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$0 and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$1	Minimal $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$2-connection
Annular wells and maxima of $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$3	Boundary components or a maximum and an energy level	Minimal multiplicity two

This suggests that the term is not standardized across subfields. A common misconception is to read “quasi-minimal” uniformly as approximate numerical minimization. That interpretation is accurate for finite-resolution residual descent (Ashtari et al., 2023), but not for exact action minimizers in celestial mechanics (Kuang et al., 2016), calibrated curves in contact weak KAM theory (Jin et al., 2022), or orbit-connecting root-subgroup actions in spherical geometry (Avdeev et al., 10 Dec 2025).

2. Quasiaffine spherical varieties and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$4-root connectivity

Let $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$5 be a connected reductive algebraic group over an algebraically closed field of characteristic zero, with fixed Borel subgroup $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$6, unipotent radical $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$7, and maximal torus $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$8. An irreducible variety $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$9 is a quasiaffine spherical $B$0-variety if $B$1 carries a regular action of $B$2, is quasiaffine, and $B$3 has a dense open orbit in $B$4. Its regular locus is

$B$5

A $B$6-orbit $B$7 is minimal among those containing a given $B$8 in its closure when there is no strictly smaller $B$9-orbit strictly between $B$0 and $B$1 in the closure ordering (Avdeev et al., 10 Dec 2025).

The main theorem states that if $B$2 is a quasiaffine spherical $B$3-variety and $B$4 is any $B$5-orbit, then for any minimal $B$6-orbit $B$7 with

$B$8

there exists a $B$9-root subgroup

$\sigma:[0,+\infty)\to\Sigma$0

whose action carries at least one point of $\sigma:[0,+\infty)\to\Sigma$1 into the orbit $\sigma:[0,+\infty)\to\Sigma$2. Consequently, if $\sigma:[0,+\infty)\to\Sigma$3 is generated by $\sigma:[0,+\infty)\to\Sigma$4 and all $\sigma:[0,+\infty)\to\Sigma$5-root subgroups, then

$\sigma:[0,+\infty)\to\Sigma$6

so the regular locus is a single $\sigma:[0,+\infty)\to\Sigma$7-orbit (Avdeev et al., 10 Dec 2025).

The proof follows the outline of Shafarevich’s work on affine spherical varieties together with refinements from Knop’s local structure theorem. One embeds $\sigma:[0,+\infty)\to\Sigma$8 as an open subvariety of the affine $\sigma:[0,+\infty)\to\Sigma$9-variety $\sigma(0)\in\Lambda_{u_0}$0, chooses a $\sigma(0)\in\Lambda_{u_0}$1-semiinvariant function $\sigma(0)\in\Lambda_{u_0}$2, and studies the principal open set $\sigma(0)\in\Lambda_{u_0}$3. Knop’s theorem yields an $\sigma(0)\in\Lambda_{u_0}$4-stable closed subvariety $\sigma(0)\in\Lambda_{u_0}$5 such that

$\sigma(0)\in\Lambda_{u_0}$6

where $\sigma(0)\in\Lambda_{u_0}$7 is the stabilizer of the line $\sigma(0)\in\Lambda_{u_0}$8, $\sigma(0)\in\Lambda_{u_0}$9 is a Levi subgroup, and $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$0 is its unipotent radical. Under mild hypotheses, including $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$1, one obtains

$\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$2

and near $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$3 the variety becomes a homogeneous vector bundle

$\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$4

Because $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$5 is affine, the space $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$6 contains a nonzero $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$7-semiinvariant section $\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$8, and fiberwise translation

$\lim_{t\to+\infty}\dist(\sigma(t),\Lambda_{u_-})=0$9

defines the required regular $\gamma(s)$0-action. The action is then extended from $\gamma(s)$1 to all of $\gamma(s)$2 by multiplying the corresponding locally nilpotent derivation by a sufficiently high power of $\gamma(s)$3 (Avdeev et al., 10 Dec 2025).

In the affine toric case $\gamma(s)$4 and

$\gamma(s)$5

The $\gamma(s)$6-root subgroups are in bijection with the lattice edges of $\gamma(s)$7, and their action on characters is

$\gamma(s)$8

These connect every torus orbit to the next smaller orbit in the closure ordering. Avdeev–Zhgoon’s theorem generalizes that picture from toric varieties to spherical $\gamma(s)$9-varieties by replacing weight cones with colored fans and $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$0-roots with $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$1-root subgroups (Avdeev et al., 10 Dec 2025).

3. Action-minimizing connections in celestial mechanics

In the planar three-body problem with equal masses, the configuration space is

$$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$2

with $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$3 and $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$4. The Lagrangian action on $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$5 is

$$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$6

where

$$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$7

The boundary constraints impose a two-point free-boundary problem

$$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$8

where $$r(\gamma)\coloneqq f(\gamma(s))-\partial_s\gamma(s),$$9 is a collinear configuration on the $B$00-axis and $B$01 is an isosceles triangle symmetric about the $B$02-axis. By Marchal–Chenciner, interior collisions are ruled out; only boundary collisions remain (Kuang et al., 2016).

The resulting action minimizer

$B$03

is called a “quasi-minimal connecting orbit” between the collinear/binary-collision type boundary $B$04 and the isosceles boundary $B$05. The main theorem identifies $B$06 as either a segment of the Schubart orbit, with a $B$07–$B$08 binary collision at $B$09 and Euler collinear at $B$10, or a segment of the Broucke–Hénon orbit, which is collision-free (Kuang et al., 2016).

The identification uses a layered exclusion argument. Total collisions are ruled out by combining Gordon’s lower bound, which gives action at least $B$11 for paths with total collision, with a piecewise-defined test path $B$12 satisfying $B$13. A one-end free Kepler argument and blow-up analysis exclude binary collision at $B$14. At $B$15, only a $B$16–$B$17 collision can occur. Introducing Jacobi coordinates

$B$18

the reflection argument compares $B$19 with

$B$20

and uses the fact that the potential decreases strictly in the acute angle between $B$21 and $B$22 for fixed $B$23. If a $B$24–$B$25 collision occurs at $B$26 and the endpoint at $B$27 is Euler collinear, the motion is forced onto the $B$28-axis, yielding the $B$29-Schubart segment. If no collision occurs at $B$30, first-variation boundary conditions permit a $B$31 reflection-and-permutation extension to a period-$B$32 orbit with $B$33-symmetry, namely the Broucke–Hénon orbit. Numerical action values

$B$34

indicate that the global minimizer is the Schubart orbit (Kuang et al., 2016).

A related variational program in the planar equal-mass four-body problem studies action minimizers under order constraints connecting a “double isosceles” initial configuration to one of two “isosceles trapezoid” terminal configurations (Yan, 2017). The action is

$B$35

Using the level estimate method, the minimizers are shown to be collision-free for

$B$36

in the two families, respectively, and can be extended to periodic or quasi-periodic solutions. The extension uses first-variation identities and reflection-rotation formulas; if $B$37 is rational the orbit is periodic, and if irrational it is quasi-periodic (Yan, 2017). This provides a closely related class of minimal connecting trajectories governed by free-boundary variational principles.

4. Weak KAM and contact Hamiltonian connecting orbits

For contact Hamiltonian systems, the phase space is $B$38 with coordinates $B$39 and standard contact form

$B$40

Given $B$41, the contact Hamiltonian vector field $B$42 is characterized by the coordinate equations

$B$43

A Legendrian graph is the $B$44-jet of a $B$45 function $B$46,

$B$47

and if $B$48, then $B$49 is an equilibrium graph (Jin et al., 2022).

The variational framework is built from the Legendre transform

$B$50

under convexity and superlinearity in $B$51. The implicit backward and forward action functions are

$B$52

$B$53

These induce the semigroups

$B$54

Any fixed point $B$55 of $B$56 is a viscosity solution of

$B$57

(Jin et al., 2022).

If

$B$58

solves

$B$59

then any minimizer $B$60 for $B$61 lifts to a characteristic satisfying

$B$62

and $B$63 is called $B$64-calibrated. These calibrated curves are described as the “quasi-minimizers” sought by Aubry–Mather theory (Jin et al., 2022).

Two prototype existence results organize the theory. Under uniform convergence

$B$65

on $B$66, every point of $B$67 is $B$68-approximated by some finite-time $B$69-image of $B$70, and there exists $B$71 whose $B$72-limit lies in $B$73. Under the homotopy criterion, one assumes a $B$74 homotopy $B$75 from a strict super- or subsolution to $B$76; this again forces the same semigroup limit and yields a semi-infinite connecting orbit (Jin et al., 2022).

The resulting connecting orbit is $B$77 and real-analytic whenever $B$78 is so. On every finite subinterval it minimizes the contact action among curves with the same endpoints, since it is calibrated by the limiting weak KAM solution. Uniqueness generally fails; one often obtains a family of calibrated rays filling the projected Aubry set. Stability under small $B$79 perturbations of the initial graph persists when the homotopy conditions are preserved (Jin et al., 2022).

5. Jacobian-free variational computation of heteroclinic connections

For an autonomous ODE or PDE

$B$80

with equilibria $B$81 and $B$82 satisfying $B$83, a true heteroclinic orbit obeys

$B$84

Ashtari and Schneider replace shooting by a search over smooth connecting curves $B$85, where $B$86 is unrelated to the physical time $B$87, with

$B$88

A connecting orbit is one for which

$B$89

A “quasi-minimal” connecting orbit is any $B$90 for which the cost functional $B$91 has been driven to its global minimum, zero in theory, up to numerical tolerance (Ashtari et al., 2023).

The pointwise residual is

$B$92

and the cost is the $B$93 norm

$B$94

For spatio-temporal fields,

$B$95

A true connecting orbit has $B$96 and hence $B$97 (Ashtari et al., 2023).

Stationarity of $B$98 leads to adjoint Euler–Lagrange equations. Writing

$B$99

the condition is

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$00

with asymptotic boundary conditions

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$01

For the Kuramoto–Sivashinsky equation, the residual

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$02

has adjoint operator

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$03

Thus the stationary equation becomes

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$04

(Ashtari et al., 2023).

The numerical method uses rational Chebyshev collocation in the unbounded $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$05-direction,

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$06

with implicit endpoints at $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$07 and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$08, and Fourier discretization in space. At iteration $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$09, one computes

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$10

and advances in fictitious time by

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$11

Convergence is monitored with the arc-length weighted cost

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$12

and the computation is terminated once

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$13

If $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$14 stalls above tolerance as $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$15 are increased, the descent has settled in a local non-connecting minimum rather than the global one (Ashtari et al., 2023).

The method is Jacobian-free because it avoids assembling a Jacobian matrix of size $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$16; only $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$17 memory is required for $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$18, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$19, and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$20. Its robustness stems from deforming an entire curve rather than time-marching a chaotic trajectory, so there is no restriction on the dimension of the unstable manifold at the origin equilibrium and no exponential error amplification associated with direct shooting (Ashtari et al., 2023).

For the Kuramoto–Sivashinsky equation at $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$21, the equilibria are $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$22 and three nontrivial fixed points $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$23, with unstable manifolds of dimensions $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$24, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$25, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$26, and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$27. The reported discretization uses $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$28 Fourier modes, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$29 between $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$30 and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$31 rational-Chebyshev points, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$32–$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$33, and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$34. The method recovers at least one

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$35

orbit, together with two distinct $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$36 orbits, all to machine precision with

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$37

(Ashtari et al., 2023).

6. Prescribed-energy, homoclinic, and brake-type minimal connections

A broad variational framework for connecting orbits in quasilinear conservative systems studies

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$38

with kinetic $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$39-function

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$40

and energy

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$41

For fixed $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$42, one assumes that

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$43

splits into two nonempty, disjoint, closed, well-separated components

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$44

The action functional is

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$45

minimized over

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$46

Under the structural hypotheses on $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$47, the splitting condition $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$48, and the coercivity assumption $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$49, the direct method yields a minimizer $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$50 with $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$51 (Isneri et al., 20 Jun 2026).

Defining contact times

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$52

one restricts to $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$53, where $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$54. On $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$55, $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$56 satisfies the weak Euler–Lagrange equation

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$57

and a time-rescaling argument yields

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$58

Hence

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$59

almost everywhere on $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$60. Regularity arguments then show that $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$61 and is a classical minimal $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$62-connection (Isneri et al., 20 Jun 2026).

The global behavior is classified by the finiteness of $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$63 and $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$64. If both are infinite, one obtains an entire heteroclinic orbit. If exactly one is finite, reflection produces a homoclinic orbit. If both are finite, reflection at both endpoints followed by periodic extension yields a brake-type periodic solution of period

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$65

If either end-time is infinite, then $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$66 must be a critical value of $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$67; for regular values of $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$68, only brake-type orbits arise (Isneri et al., 20 Jun 2026).

Representative applications include double-well potentials, Duffing-type systems, and multiple pendulum potentials. In the multiple pendulum case, choosing different partitions of $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$69 into two well-separated subgroups produces infinitely many distinct minimal connections (Isneri et al., 20 Jun 2026).

A different use of the quasi-minimal label appears in geometric examples of Giambò–Giannoni–Piccione. They construct autonomous Lagrangian systems in $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$70 with exactly two homoclinics from a unique nondegenerate maximum of the potential energy, and Hamiltonian systems in an annular potential region with exactly two brake orbits connecting the two boundary components of the potential well (Giambò et al., 2014). The Lagrangian is

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$71

with equations

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$72

The construction uses an interior potential, an exterior potential obtained by an inverse Maupertuis procedure, and a $\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$73 matching across the unit sphere. In the annular case, brake orbits are characterized by

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$74

The corresponding Jacobi formulation employs

$\varphi\colon\mathbb G_a\longrightarrow\Aut(X),$75

These examples show that the general lower bound of “at least two” connecting orbits is sharp: one cannot force three or more in full generality without extra symmetry or topology (Giambò et al., 2014).

This suggests a final conceptual distinction. In (Isneri et al., 20 Jun 2026), minimality is variational and attached to a constrained action at prescribed energy; in (Giambò et al., 2014), “quasi-minimal” refers to minimal multiplicity of connecting orbits; in (Avdeev et al., 10 Dec 2025), it refers to adjacent-orbit connectivity in a closure poset; and in (Ashtari et al., 2023), it refers to numerical realization of a global minimum of a residual functional. The shared content is the existence of a connecting mechanism constrained by a minimality principle, but the nature of both “connection” and “minimality” is theory-dependent.