WorksPhysics and Astronomy
Quasi-Localization of Short-Wavelength Perturbations in Softened Laplace-Lagrange Chains
Abstract
We examine the long-term evolution of localized eccentricity perturbations in a softened Laplace-Lagrange chain. The secular coupling between mass elements is long-ranged, suggesting that any disturbance imposed at a single radius should disperse rapidly across the chain. We show that this expectation fails once the secular interaction is regularized by a finite softening length : while broad eccentricity profiles propagate smoothly, as textbook secular theory anticipates, narrow profiles remain confined to their launching site for millions of secular periods. The origin of this quasi-localization lies in the dispersion relation of the softened chain. The group velocity of eccentricity waves collapses by orders of magnitude on spatial scales below the softening length, so that narrow perturbations project almost entirely onto a nearly flat sector of the band, where little differential precession is available to disperse them. Propagating the initial wavenumber spectrum through the dispersion relation reproduces the retained fraction of angular momentum deficit across the full range of perturbation widths with no adjustable parameters. The confined perturbation is flanked by an apsidally polarized (oppositely-aligned) response, which we show to be the real-space imprint of this spectral projection. The softening length therefore sets a dynamical scale below which eccentricity perturbations spread only on timescales far longer than the secular period.
Introduction
Over the past two decades, the prevailing picture of how solid material is organized within young circumstellar disks has undergone a substantial transformation. The classical view — in which solids are distributed nearly smoothly across a radially extended power-law profile ([33, 11]) — has yielded to one in which much of the planet-forming inventory is partitioned into discrete annular reservoirs. At extrasolar scales, this restructuring is most directly conveyed by high-resolution ALMA imagery of nearby protoplanetary nebulae, where dust continuum emission is consistently resolved into systems of narrow rings, gaps, and concentric arcs ([1, 2]). Closer to home, isotopic analyses of meteoritic samples have established that the inner Solar System hosted at least two persistently non-mixing reservoirs of solids — the so-called non-carbonaceous (NC) and carbonaceous (CC) dichotomy ([32, 14]) — whose inferred coexistence over a multi-Myr interval points to the presence of a long-lived dynamical barrier between adjacent radial zones. Moreover, the architecture of the terrestrial planets themselves — in particular, the small masses of Mars and Mercury relative to Venus and Earth — has long resisted a smooth-disk explanation, and is best reproduced by initial conditions in which terrestrial precursors are confined to a narrow annulus near ([10, 30, 12, 13, 7]). Taken together, these strands of evidence point to a planet formation environment whose elementary unit is a narrow ring rather than a continuous distribution.
This evolving picture brings with it a host of new dynamical questions. In what follows, we take up only one small facet of this broader landscape: how, within a disk whose mass is concentrated into discrete annuli, gravitational disturbances — and, more generally, the system’s angular momentum deficit (AMD; Laskar [15]) — are redistributed across radial scales — a question that must be answered before ring-chain secular models can be brought to bear on the longevity or interaction of the observed annular structures. Even this narrow question admits a useful conceptual decomposition.
At a broad level, gravitational dynamics in a many-body system splits naturally into two complementary channels. The granularity of the mass distribution supports discrete encounters whose cumulative effect drives standard two-body relaxation [6].
Although this channel is itself long-ranged – the net deflection is dominated by the accumulation of many weak, distant encounters, as reflected in the Coulomb logarithm – its defining signature lies elsewhere: encounters transpire between bodies at particular orbital phases, and the associated exchanges of energy diffuse the participants’ semi-major axes. The smooth component of the underlying potential, by contrast, mediates collective phenomena, in which large numbers of mass elements respond coherently to a self-consistent mean field. This decomposition is mirrored in plasma physics, where the dynamical hierarchy of a charged -body system is organized by the splitting between the collisional (Boltzmann) and collective (Vlasov) channels – a distinction drawn not by the range of the interaction, but by the collision term that granularity introduces.
In what follows, we focus exclusively on the collective channel: that is, on the smooth gravitational response of a chain of mutually-interacting eccentric annuli, in which the discreteness of individual particles is averaged over. Notably, the secular framework we employ is collisionless not by approximation but by construction: phase-averaging removes the mean anomalies from the problem at the outset, the conjugate actions – the semi-major axes – are correspondingly frozen, and the resulting model is the exactly symplectic Hamiltonian flow of a smooth averaged potential, containing no collision integral at any order. The resulting Hamiltonian therefore describes the evolution of an exactly orbit-averaged mean field, retaining only the collective response of the averaged gravitational potential. The residual discreteness of a finite collection of wires can, in principle, still drive a slow, phase-averaged redistribution of the angular momentum deficit in the manner of resonant relaxation [21]; within the linear Laplace–Lagrange theory adopted here, however, the dynamics are purely those of the collective response.
The canonical analytic framework for the collective dynamics of such ring chains is provided by secular perturbation theory, in which phase-averaging over orbital periods reduces each particle to a wire of mass distributed along a Keplerian ellipse, and the gravitational interaction between particles to that between mass-weighted closed curves [20]. The approach has a long and rich pedigree in celestial mechanics. Classical applications include the apse-aligned precession of the Uranian ring, where the role of self-gravity in maintaining a coherently-precessing narrow annulus was first proposed by Goldreich & Tremaine [8] and quantitatively resolved by Borderies et al. [5]; the dynamical assembly of the regular satellite systems of the giant planets from primordial debris disks [18]; and the secular evolution of the Kuiper belt under the gravitational influence of the giant planets, modeled as a system of softened mutually-interacting rings [9]. Closely related formulations of the same wire-based formalism have, in parallel, been used to study the secular dynamics of self-gravitating eccentric stellar disks around supermassive black holes [25, 26] and the vertical structure of self-gravitating debris disks [23]. Beyond its utility as a numerical tool, the secular-ring formalism admits a mathematical connection to the time-dependent Schrödinger equation [3, 17].
A central technical ingredient in any practical implementation of secular-ring theory is the manner in which the singular near-neighbor interaction is regularized. Adjacent wires whose semi-major axes differ by less than their physical thicknesses — whether interpreted as a vertical disk scale-height or velocity-dispersion floor — couple through coefficients that diverge as the inverse square of their fractional separation as the orbits approach exact crossing. The customary remedy is to introduce a softening parameter, hereafter denoted , that smoothly excises this singularity from the orbit-averaged potential, and this is the approach we shall adopt herein as well.
The key result of this paper can be stated compactly. Softening endows the secular interaction with a dominant coupling profile of finite radial width. The Fourier transform of this profile – the dispersion relation of the chain – accordingly develops a nearly flat short-wavelength sector, across which the group velocity of eccentricity disturbances collapses by orders of magnitude. Perturbations narrower than the softening length project almost entirely onto this flat sector and, with very little differential precession available to disperse them, persist as coherent, spatially confined structures for times exceeding the secular period by many orders of magnitude. The body of the paper establishes this chain of reasoning quantitatively, and tests its robustness against resolution, chain inhomogeneity, and the choice of softening prescription.
We remark that our results concern the softened secular formalism itself, not any particular disk. The confinement we document is a property of the regularized interaction operator; whether a real disk would preserve the same structure depends on processes absent from the present model. In practice, ring-chain secular calculations of the annular architectures described above will, if they resolve structure below the softening length, preserve that structure for times that can exceed the age of the system, and this persistence should not be mistaken for a dynamical prediction. The short-wavelength flattening of the secular band that underlies it has antecedents in the continuum theory of softened discs ([28, 9]); the contribution of the present work is the quantitative initial-value problem – how much of a perturbation is retained as a function of its width, why, for how long, and how the answers depend on the softening prescription.
The remainder of this paper is organized as follows. In Section 2, we describe the implementation of our softened Laplace–Lagrange model and derive the explicit form of the regularized secular coupling coefficients. Section 3 presents a series of semi-analytical experiments that probe the propagation of disturbances within the chain across a range of perturbation widths, identifies a regime of quasi-localization at short wavelengths, traces it to the dispersion relation of the softened chain, which renders the quasi-localization quantitative, and shows that the polarized morphology of the confined response follows from the same spectral structure. Section 4 summarizes our findings, and returns to the physical meaning of the softening parameter .
Softened Laplace–Lagrange Model
We consider a chain of coplanar, gravitating wires of mass orbiting a dominant central body of mass at semi-major axes . Each wire is described in terms of the complex eccentricity vector
where and are coordinates closely related to the standard Poincaré variables, and denotes the longitude of pericenter. Throughout the analysis, we restrict ourselves to the leading non-trivial order in eccentricity, so that the orbit-averaged Hamiltonian governing the long-term evolution of the chain takes the standard quadratic form
in which is the circular angular momentum of wire , and the matrix encapsulates the gravitational couplings, depending only on the masses and the semi-major axes (note that , so that the quadratic form is symmetric).
Treating and as independent variables in the complex-coordinate Hamiltonian sense (Strocchi [24]), with the -weighted bracket , the associated equations of motion are linear,
and admit a complete eigenmode decomposition with real eigenfrequencies , such that
where is the matrix of eigenvectors of . At its core, then, second-order Laplace–Lagrange theory reduces the long-term dynamics of an annulus of mutually-interacting wires to a linear-algebraic eigenvalue problem, with the entirety of the gravitational interaction encoded in the matrix .
Following the standard textbook derivation ([20]), the off-diagonal entries of encode pairwise coupling between distinct wires, while the diagonal entries collect the apsidal precession contributed by all other wires of the chain:
where is the Keplerian mean motion of the -th wire, , and when and unity otherwise. The dimensionless coefficients and are dictated entirely by the orbit-averaged geometry of the pair of interacting wires.
Softening of the Laplace Coefficients
In the unsoftened limit, the coefficients and are constructed from -derivatives of the classical Laplace coefficient , and both diverge as as (the Laplace coefficient itself diverges only logarithmically; its derivatives diverge algebraically). Because the phase-averaging procedure that underlies Laplace–Lagrange theory implicitly treats each wire as a continuous closed curve, the divergence at is unphysical: it reflects only the incidental fact that the bare gravitational potential between two coplanar Keplerian ellipses is unbounded at the instant of formal orbit crossing. In any physically motivated implementation, this singularity must be regularized by an external scale that captures the finite vertical thickness, internal velocity dispersion, or finite particle size of the system under consideration.
A range of softening prescriptions has been employed in the literature. Ward [31] introduced an effective “thickness” to capture the vertical extent of an axisymmetric disk; Tremaine [27] formulated softened secular dynamics for self-gravitating eccentric stellar disks around supermassive black holes; Hahn [9] adopted a softened Laplace–Lagrange theory in his treatment of the secular Kuiper belt; and Touma et al. [25] derived a Gauss-style softened secular Hamiltonian valid at arbitrary eccentricity and inclination. A useful synthesis and generalization of these approaches is provided by Sefilian & Rafikov [22], who clarified the relationship between several of the most commonly-employed softening prescriptions and discussed their suitability across a range of astrophysical settings.
The approach we adopt here is among the most direct: we retain the textbook expressions for and (Murray & Dermott [20]), written explicitly in terms of -derivatives of , and regularize the singularity by adding a Plummer-type softening parameter inside the integrand. Concretely, we replace the standard Laplace coefficient with the softened form
which reduces to the textbook expression in the limit; we use the upper-case symbol throughout to distinguish the softened coefficients from their classical counterparts. In this notation, the two secular coupling coefficients become
with the -derivatives of equation (6) evaluated analytically under the integral sign and the resulting trigonometric integrals computed by quadrature. Because is retained inside the radical, the integrand is everywhere bounded, including at .
Although the classical recursion identities relating higher-order Laplace coefficients to derivatives of do not carry over unchanged to the softened case, equivalent representations exist: Sefilian & Rafikov [22] express the same coefficients through softened Laplace coefficients of higher order (their Table 1) and provide closed forms in terms of complete elliptic integrals (their Appendix C3). Direct differentiation under the integral sign is therefore a matter of convenience rather than necessity, and we adopt it because it yields the explicit asymptotic forms of Appendix B directly. In the classification of Sefilian & Rafikov [22], equations (6)–(7) constitute the prescription of Tremaine [27]: they are the exact secular coefficients of the pairwise potential , softened by a fixed fraction of the instantaneous radius of the outer wire — equivalently, for radially non-overlapping orbits, of the larger of the two instantaneous radii (Sefilian & Rafikov [22], Table B1). The -function terms that Sefilian & Rafikov [22] find for this prescription in the continuum limit (their Section 6.1) arise from the kink of the softening function at coincident radii.
For pairs of distinct wires () they vanish identically, as those authors point out, but the kink itself survives as a cusp of the coefficients at small separation (Appendix B), and it is this cusp that sets the residual dispersion of § 3.2. Relatedly, the precession rates that this prescription yields for a continuous disc, when its coefficients are used uncorrected as they are here, do not converge to the razor-thin values as the softening is removed (Sefilian & Rafikov [22], Sections 3.1 and 6.1; the corrected continuum form of the instantaneous-maximum prescription in their Section 6.1 recovers the razor-thin limit once its distributional terms are included), whereas those of Hahn [9] do; this is immaterial for what follows, since the confinement we study is a finite-softening property of the operator and is reproduced under the latter prescription as well (Appendix § 8). We verify the correspondence against a direct orbit-average of the softened disturbing function in Appendix § 5, where all three quadratic coefficients of the pairwise interaction are recovered over two decades in the fractional separation for two softening families, and .
Numerical Setup
For definiteness, all of the semi-analytical experiments described in § 3 below adopt a single, fixed parameter set. The chain consists of wires distributed in geometric succession in semi-major axis,
with and a wire-spacing parameter , so that the chain spans the semi-major-axis range and the corresponding fractional radial extent of the annulus is . The softening is fixed at . The mass distribution along the chain is taken to be . Because the wire spacing is itself geometric, with , the wire mass per annular area at radius – the local surface density – evaluates to
The per-wire normalization is chosen so that the total mass of the annulus, , is small compared with the central body. Because the mass, mean motion, and coupling strength of this chain all vary with radius, we refer to it below as the graded chain, to distinguish it from the index-homogeneous idealization introduced in § 3.2.
Whereas can be motivated on physical grounds – as a disk aspect ratio or a velocity-dispersion floor – the wire spacing is a purely numerical parameter, and if the aim were to emulate the secular dynamics of a smooth disk, it would have to be chosen small enough for the chain’s precession rates to converge to their continuum values. Sefilian & Rafikov [22] (their Section 6.3 and Figure 9) find that faithful recovery of the smooth-disk precession rate requires a local spacing in terms of their softening parameter , so that the number of rings must scale as – for , a spacing of order , an order of magnitude finer than the adopted here. Our chain is therefore not a converged representation of a smooth disk in that sense. What the experiments below establish, however, is a property of the softened chain that is controlled by the ratio rather than by either parameter separately, so that as at fixed the fate of a perturbation of fixed physical width is dictated by whether it is wider or narrower than the softening length. This expectation is borne out directly: at fixed physical softening, the retained fraction of a perturbation of fixed physical width is constant to 2.4% across a factor of four in resolution, and a single-wire perturbation on the graded chain shows no measurable decay through at , 1000, and 2000 alike, whether the chains are compared in their own secular time or at fixed physical time – although, as discussed in Appendix § 8, a single-wire perturbation is a grid-scale rather than a fixed physical initial condition, so this establishes the absence of leakage at each resolution rather than the convergence of one fixed initial-value problem.
The corresponding secular timescale is set by the diagonal entries of the Laplace–Lagrange matrix, which scale schematically as , where is the mass of wires within roughly one softening length of the wire and is the typical softened coupling coefficient at those separations (equation (7)). Because the dimensionless coefficients depend only on and on the dimensionless ratio , the secular timescale of any wire obeys at fixed and . For the parameter set adopted here, direct diagonalization of yields a median eigenmode period orbital periods at , which serves as a convenient precession-based unit of time for the experiments described in § 3. We emphasize that is a clock rather than a transport rate: it measures the typical apsidal precession period of the chain’s modes, and is dominated by their common – dynamically inert, but physically real – precession. Where transport is at issue, the relevant scale is set instead by the group velocity (§ 3.2); for reference, the fastest wave packets the chain supports cross the full annulus in , so a confinement time of corresponds to crossing times of the mobile branch. As emphasized in that section, the absolute mass scale enters only through the timescale ; the eccentricity dynamics themselves are strictly scale-free.
Semi-Analytical Experiments
The semi-analytical experiments described in this section address a single question: how does an isolated, narrow eccentricity perturbation imposed at one location within the chain propagate through the remainder of the system over many secular periods? In every experiment, we initialize the chain by setting all longitudes of pericenter to a common value, for , and superimpose on the otherwise-circular state a localized Gaussian perturbation in the eccentricity profile,
centered on the central wire of the annulus (). The width , measured in units of wire index, is the single free parameter that we vary across experiments.
A useful observation at this stage is that the secular equations of motion (3) are linear and homogeneous in the eccentricity vector . As a consequence, any solution obtained for a given peak amplitude may be multiplied by an arbitrary constant factor without disturbing the equations themselves, and the relative morphology of the response everywhere in the chain is independent of the absolute amplitude of the initial perturbation. The dimensionless width accordingly remains the only free parameter of the initial condition.2
We note, further, that the confinement lifetimes quoted in § 3.2 pertain to this strict linear limit: at finite amplitude, fourth-order secular terms shift the mode frequencies by relative corrections that are quadratic in the eccentricity, with a coefficient that depends on the softening (for closely spaced softened wires, the relevant expansion parameter is the eccentricity difference measured in units of rather than the eccentricity itself), and these corrections can modify the coherence and confinement of a confined perturbation; we have not derived the corresponding timescale for this chain.
Eccentricity Propagation and the Emergence of Quasi-Localization
Evolving over many secular periods, we examine the temporal evolution of the chain under the family of Gaussian initial conditions, with the width swept across a range of physically interesting values. The principal results are summarized in Figure 1, which shows and along the chain at a sequence of eleven time snapshots between and . Because the linear secular evolution conserves the total AMD ( at the quadratic order retained here) while continually winding the apsidal phases, we display the eccentricity vector in a frame that co-rotates with the apsidal line of the central wire.

Figure 1. Time evolution of the complex eccentricity vector along the chain, for four Gaussian initial conditions of decreasing width . Each panel shows (solid) and (dashed) as functions of the ring index , evaluated in a frame co-rotating with the apsidal line of the central wire , where is the peak eccentricity of each panel’s initial condition, so that the central wire starts at unity in every panel. The pale background traces show 100 time snapshots uniformly distributed over the interval , while the darker overlaid curves correspond to integer-multiple snapshots at . The four panels correspond to (a) (width comparable to the softening length, ), (b) , (c) , and (d) a single-wire -function perturbation (). Panel (a) exhibits a smoothly-propagating, wave-like response that disperses across the chain, whereas panels (c) and (d) show that perturbations narrower than an intrinsic length scale of the chain do not propagate appreciably over the integration window, remaining trapped at the launching site.
More precisely, the quantity shown in Figure 1 is the de-rotated eccentricity vector , in which the global apsidal precession of the central wire has been absorbed into the frame; this rotation leaves the relative morphology of the response across the chain unchanged while removing the trivial overall winding. The four panels correspond to perturbation widths , , , and a single-wire -function ().
For the broadest perturbation considered, – a width that matches the softening length itself (Figure 1a) – the initial perturbation behaves precisely as one might anticipate from textbook secular theory. The angular momentum deficit deposited at propagates coherently outward through the chain, generating a smoothly-evolving wave-like structure whose pattern marches across the annulus over the course of a few secular periods. As the width of the imposed perturbation is reduced, however, the morphology of the response changes qualitatively. In Figure 1b, a perturbation of intermediate width () retains a clearly identifiable central peak in throughout the integration window, while only a fraction of the imposed AMD bleeds outward into the surrounding wires (with a corresponding small contribution to the chain-edge response, where reflection from the finite boundary becomes visible). By
(Figure 1c) the perturbation is essentially trapped at its launching site: a tall, persistent peak occupies the immediate neighborhood of , and only a faint wisp of and leaks into the surrounding chain. The trend culminates in the delta-function limit (Figure 1d), in which a single excited wire generates a spike that is essentially stationary on the chain over the full ten secular periods displayed – the AMD imposed at does not propagate appreciably outward over the integration window. We have confirmed that this behavior is not merely a short-time transient by extending the integration to , over which the localized morphology is preserved (see also Appendix § 7).
This behavior is, at first sight, surprising. The bare Laplace–Lagrange coupling is long-ranged: every wire of the chain is gravitationally coupled to every other through the matrix , and the short-wavelength limit – where the perturbation is concentrated on a single wire or a handful of wires – is precisely the regime in which the coupling between the excited wire and its immediate neighbors is strongest. One might therefore naively expect a delta-function perturbation to be the most efficiently conducting configuration of all: an injection of AMD at a single location should excite nearby wires within a single secular time and redistribute the perturbation across the chain. Figure 1 exhibits exactly the opposite trend: the more spatially concentrated the perturbation, the more reluctant it is to propagate. What is the physical origin of this quasi-localization – and which length scale, exactly, controls it?
The Dispersion Relation of the Softened Chain
To answer this question, consider an idealized homogeneous analogue of the chain of § 2.2: a system of equal-mass wires, , sharing a common mean motion , whose couplings depend on the inter-wire separation alone. In this limit, the Laplace–Lagrange matrix acquires constant diagonals,
where and , and the equations of motion (3) are solved exactly by plane waves. Substituting , with the wavenumber in radians per wire, collapses the matrix problem to a single line:
the familiar tight-binding form, in which the dispersion relation is nothing more than the Fourier cosine series of a row of the coupling matrix. The endpoints of the band correspond to the two extreme apsidal configurations the chain can adopt: to a chain-wide apsidally aligned state, and to alternating wire-to-wire anti-alignment. A localized wave packet of characteristic width carries spectral weight at wavenumbers , each component advancing at its own group velocity , the sign of which follows from the stationary-phase condition for the ansatz adopted above (throughout, we refer to as the spatial scale of a disturbance).
The sums in equation (12) are those of an infinite chain. We evaluate the couplings out to , beyond which they are numerically negligible – the pairwise coefficient decays exponentially once the fractional separation exceeds a few, so the sum terminates with no boundary discontinuity – and verify the result against Abel-regularized partial sums at the wires-per- level. (Naive truncation at , by contrast, produces spurious boundary ringing in of amplitude wires per , entirely absent here.) Three related constructions appear in this paper, differing in their treatment of the boundaries and, in the case of the graded chain, in the radial variation of mass and mean motion: the infinite homogeneous chain, whose dispersion relation is shown in Figure 2; the finite graded chain of § 2.2, on which the time evolutions of § 3.1 are carried out; and a finite periodic chain used below to propagate initial spectra exactly. For the periodic chain, each pairwise coupling is summed over all periodic images of the pair, with , which is equivalent to sampling the dispersion relation of the infinite chain at the ring’s wavenumbers ; the simpler alternative of evaluating each coupling at the shorter index separation across the periodic boundary, , leaves a slope discontinuity in the coupling profile at , whose consequences at the latest times we discuss below. We state which construction is in use wherever the distinction matters.

Figure 2. The dispersion relation of the softened Laplace–Lagrange chain, in the infinite homogeneous idealization of equations (11)–(12), with the Fourier sums carried to full convergence (see text). Panel (a): the coupling profile , normalized by its dense-limit plateau value : flat within one softening length, sign reversal at (dashed line), and reversion to the bare gravitational tail (dotted curve) beyond. Panel (b): the dispersion relation in apsidal cycles per . All structure is confined to a few : the precession rate peaks at , where passes through zero (the notch in panel c) before changing sign, and for the band is flat to a few parts in of its span. (The uniform offset of – the mean precession rate – depends on the total mass within the coupled range and is dynamically inert; only the -dependence of controls transport.) Panel (c): the magnitude of the group velocity: the collective branch collapses quasi-exponentially below the softening scale, giving way for to the algebraic floor of equation (13) (dotted line), imprinted by the residual cusp of the softened profile at small separations (Appendix B).
The structure of is fixed entirely by the shape of the coupling profile , shown in Figure 2(a). The asymptotic analysis of Appendix B endows this profile with a simple form: within one softening length of the source – separations – the coupling sits on a plateau of nearly uniform strength , while beyond it the profile changes sign (numerically, at wires for our parameters – that is, at on the nose) and decays along the weak unsoftened tail . In other words, once softening is accounted for, the dynamically dominant part of the secular interaction becomes effectively finite-ranged: a plateau of width , fringed by a much weaker algebraic tail of the opposite sign.
Two limits of the Fourier sum in equation (12) then do all of the work. At , the cosine factors add coherently, and collapses to the row sum of the matrix – where the near-cancellation derived in Appendix B annihilates the plateau contributions and leaves only a logarithmic residue. The cancellation has a simple meaning. When exactly, the pairwise secular energy in equation (2) reduces to , a function of the relative displacement of the two eccentricity vectors alone, as if the wires were joined by springs that resist relative displacement but are indifferent to a common shift. A chain-wide translation of the eccentricity vectors () stretches no spring, and the aligned end of the band retains only the sum over all separations of the small residual precession, of order per pair, that Appendix B derives; the alternating configuration at stretches every spring joining wires an odd number of sites apart maximally, while wires an even number of sites apart move together. The aligned/anti-aligned structure itself is not a consequence of softening – holds in the unsoftened limit too, and for a closely spaced pair it is the familiar decomposition of the secular dynamics into a conserved center-of-mass eccentricity vector and a uniformly precessing relative one ([34]) – but softening sets the magnitude and sign of the anti-aligned precession rate (Appendix B), and, more consequentially, the width of the plateau over which it is exerted. The collective structure of the band is thereby compressed into wavenumbers of order , where the precession rate peaks at , reaching apsidal cycles per for our parameters.
At the opposite extreme, , the factor executes many oscillations across the plateau, and the sum self-averages: the band is flat to a few parts in of its full span for , with every short-wavelength mode precessing at a nearly common rate. All of the dispersion in – and hence all of the chain’s capacity to transport an eccentricity signal – resides at wavenumbers of order , below a few times that value (Figure 2b). We note that the continuum counterpart of this flattening – the suppression of self-gravity at wavelengths below the disk thickness, which renders the precession rates of short slow modes nearly wavelength-independent – is a familiar feature of the dispersion relation for softened self-gravitating discs ([28, 9]), and is the direct analogue of the reduction factor by which finite velocity dispersion weakens the collective gravitational response of a warm stellar disc relative to its cold counterpart ([4]); the discrete chain realizes it in particularly transparent form.
The same result admits a simple physical interpretation. Softening introduces a finite spatial resolution into the secular interaction. Perturbations whose characteristic scales exceed the softening length remain dynamically distinguishable, and therefore precess at different rates – leading to phase mixing and dispersion. Once the spatial scale falls below the softening length, however, the interaction can no longer effectively distinguish progressively shorter structures: all sufficiently narrow perturbations produce nearly the same local pattern of relative displacements, and therefore precess at nearly the same rate. The resulting suppression of differential precession prevents phase mixing, allowing the initial perturbation to remain coherent over extraordinarily long times.
The group velocity extracted from this curve (Figure 2c) organizes the propagation documented in Figure 1. Its magnitude peaks at wires per for scales comparable to the softening length – the fastest signals the chain supports, crossing the full annulus in – and collapses quasi-exponentially toward smaller scales, with a measured e-folding scale of in . This is the discrete counterpart of the exponential factor that multiplies the self-gravity term in the WKB dispersion relation of a Plummer-softened disc, ((Tremaine 2001, eq. 14; see also Hahn 2003)), where is the physical radial wavenumber and the softening length. With and , the exponent is , and the maximum of at maps onto the peak at noted above. The group velocity, being the derivative of the exponentially suppressed term, inherits the same e-folding scale; it passes through zero at the peak of and changes sign beyond it, with a weaker lobe of opposite sign that dies away by several .
The collapse does not, however, proceed to zero. The softened interaction retains a residual non-smoothness at coincident guiding centers: expanding the pair coefficient at small fractional separation gives , the linear term being precisely the subleading coefficient derived in Appendix B, evaluated in the regime. Because the high- asymptotics of a Fourier series are controlled by the short-distance regularity of its kernel, this cusp imprints an algebraic floor on the group velocity,
an analytic prediction valid in the intermediate regime , where it matches the converged numerical curve to better than (Figure 2c); at the zone edge, lattice symmetry forces exactly, and the numerical curve turns down accordingly. At , a packet advances by one wire per . Transport at sub-softening scales is therefore suppressed algebraically rather than exponentially for the coupling profile adopted here – and we emphasize that both the magnitude of the floor and its algebraic form are properties of the adopted regularization and of the construction of the chain: under the vertical-thickness prescription of Hahn [9], as formulated by Sefilian & Rafikov [22], the short-wavelength band is flatter still and the confinement correspondingly longer-lived, so that the Plummer baseline adopted here is the conservative choice (Appendix § 8).
To convert the dispersion relation into a parameter-free interpretation of Figure 1, we evolve the wavenumber spectrum of each of the four initial conditions exactly through the band. The calculation is performed on a periodic homogeneous chain of wires, each carrying the mean wire mass of the graded chain, coupled through the image-summed couplings defined above (with the corresponding diagonal), so that the discrete Fourier transform diagonalizes the system exactly; each initial spectrum is advanced as , and the retained AMD is evaluated at in the same window ( wires) applied to the spectra. Because a finite chain retains a residual background even for a fully dispersed perturbation (the window captures a fraction of uniformly spread AMD), we quote both the raw retention and the background-corrected trapped fraction . The spectral calculation predicts , , , and (, , , ) for the single-wire, , , and initial conditions, respectively; the gradedchain experiments of Figure 1 yield , 0.91, 0.29, and 0.00 (, 0.924, 0.433, 0.199, the larger raw values reflecting the smaller chain, ).
The band structure of the homogeneous chain, with no adjustable parameters, thus reproduces the confinement hierarchy of all four panels to within six percentage points – the largest residual arising for , the crossover case, where the frequency grading and finite boundaries of the true chain contribute at the several-percent level.
The same calculation, extended to long times, supplies a reference lifetime for the trapped core. The late-time evolution is sensitive to how the long-range coupling is treated on a finite ring. If the coupling is simply truncated at the periodic separation , the slope discontinuity left in the coupling profile acts, on the ring’s wavenumber grid, as a spurious coupling of each wire to its antipode; at this term exceeds the physical frequency spacing of adjacent modes by a factor of several for the slowest modes, , which carry the late tail, and transfers them out of the retention window prematurely, while leaving the modes near that set the half-life nearly untouched. The image-summed coupling is free of this defect, and with it the results converge on successive doublings of from 8192 to 65 536 (Figure 3): between the two highest resolutions, 32 768 and 65 536, the half-life changes by 0.6% and the retained fraction at by 0.002 (across the full range of the latter rises from 0.10 to 0.11). Carrying the exact spectral evolution to , we find that the single-wire core retains half of its AMD out to , still retains 11% at , falls below a background-corrected retained fraction of 5% by , and reaches 3% at and zero to within at .

Figure 3. Long-time retention of a single-wire perturbation on the periodic homogeneous chain. Solid curves: background-corrected retained fraction within the window for rings of , 16384, 32 768, and 65 536 wires built with the image-summed coupling, which converge on successive doublings of . Gray dashed: the ring with the coupling truncated at , which reproduces the half-life but empties the window about twice too early through the spurious antipodal coupling discussed in the text. Dotted purple: the graded chain of Section 2.2 (), which plateaus and shows no measurable decay. Dash-dotted red: the Gaussian on the ring. Horizontal lines mark and .
The decay is ballistic rather than diffusive: a mode of wavenumber exits the retention window once exceeds the window half-width, and this escape model, fed by the floor of equation (13), reproduces the measured half-life to 3%; the slowest modes near the zone edge, where the lattice drives , outlive the power law, and the late-time tail of the dispersal is correspondingly slower. The trapped core is thus not permanent, but it is extraordinarily long-lived – its half-life exceeds the secular time by more than six orders of magnitude – and the survival time of any given initial condition is set by its spectral weight at high : the Gaussian, whose spectrum sits at smaller where the floor is higher, decays roughly forty times faster than the single wire (). These figures pertain to the periodic homogeneous idealization, and they are conservative: evolving the actual graded chain of Section 2.2
over the same intervals (with the global precession phase removed to preserve numerical accuracy), the retained fraction plateaus near 0.95 and exhibits no measurable decay through – the frequency inhomogeneity of the real chain localizes its eigenmodes (Appendix § 7), suppressing even the residual ballistic leakage, so that the graded chain tested here confines the perturbation for longer than the homogeneous half-life.
In this language, the answer to the question posed at the close of Section 3.1 takes its most intelligible form. The confinement documented there for is the statement that the perturbation’s spectral content resides almost entirely on the flat portion of the band, where the modes’ relative phases are nearly frozen and transport is suppressed by orders of magnitude; the crossover at occurs because then passes the knee of , which sits at because that is the reciprocal width of the coupling plateau. The apsidal polarization that surrounds a trapped wire is the real-space portrait of this spectral statement, as we show next (Section 3.3): the polarized configuration and the failure of the perturbation to propagate are not cause and effect, but two faces of the same nearly frozen superposition. The gradients of the true chain – of mean motion, mass, and coupling strength across the annulus – play no essential role in this account, a point we verify with a controlled experiment in Appendix § 7. The crossover is approximately universal: across chains spanning –, the retained fraction at within the window approximately collapses onto a single function of , with half of the imposed AMD retained at –, and at fixed physical the trapped fraction is independent of the grid resolution (Appendix § 8).
The nearly flat short-wavelength portion of the secular band invites comparison with flat-band lattice systems studied in condensed-matter and photonic physics. In geometrically frustrated lattices such as the Lieb and kagome lattices, destructive interference can produce exactly dispersionless bands and compact localized states – finite-support superpositions of degenerate Bloch waves that do not diffract ([16]) – and such states have been observed directly in photonic Lieb lattices ([29, 19]). The present chain is not an exact realization of this construction: it possesses a single band with a nearly flat short-wavelength sector, and its polarized excitation is neither strictly compact nor permanently stationary. Nevertheless, the same kinematic principle operates: the small frequency spread among the constituent modes strongly suppresses dephasing and transport, producing a long-lived, quasi-localized superposition, while the residual bandwidth ultimately allows it to disperse. Here, the band flattening arises not from lattice geometry, but from the softening-induced quenching of the collective gravitational response.
Apsidal Polarization
The confined response has a characteristic morphology, visible in Figure 1(c) and (d): the central peak is flanked by small negative excursions of the eccentricity vector in the frame co-rotating with the excited wire. These neighboring wires are mutually aligned but anti-aligned with respect to the center. We refer to this configuration as apsidally polarized. Its structure follows directly from the spectral decomposition underlying the confinement described in § 3.2.
In the homogeneous chain, a single-wire perturbation has equal Fourier amplitude at every wavenumber. Its long-wavelength content occupies the dispersive portion of the band, while most of its AMD resides in the nearly flat short-wavelength sector. The escaping component has a smooth central profile extending over many wires. Once this component has dispersed from the launching region, the retained disturbance resembles the original spike minus that broad central profile: a narrow positive peak flanked by negative wings. The anti-alignment is
therefore the spatial signature of removing the mobile part of the initial spectrum.
This interpretation can be tested directly. Removing from the single-wire initial condition the components with – where the cutoff is fixed in advance from the dispersion relation as the largest wavenumber at which a mode still leaves the retention window within , that is, evaluated on the outer flank beyond the second, opposite-sign lobe of , giving – removes of the initial AMD. The remaining profile already has negative wings with a depth of approximately of the central peak and a half-width of order wires. Figure 4 compares this projected initial condition with the evolved profiles at on both the periodic homogeneous chain and the graded chain of Figure 1(d). The agreement in wing depth, width, and sign structure shows that the spectral projection accounts for the polarized morphology without requiring radial gradients. The precise cutoff, and hence the width of the wings, depends on the retention window and elapsed time.

Figure 4. The polarized morphology as a spectral projection. Solid black: the single-wire initial condition with its escaping long-wavelength content () removed, at . Dashed red: the periodic homogeneous chain of § 3.2 evolved to . Dotted purple: the graded chain of Figure 1(d) at . All profiles are de-rotated and normalized to the central wire, whose peak lies far above the top of the plot; the vertical scale is chosen to resolve the anti-aligned wings, and the shaded band marks the retention window.
Confinement and apsidal polarization thus follow from the same spectral structure: the mobile components disperse, leaving a slowly evolving short-wavelength superposition. The polarized profile is what a narrow perturbation looks like once its mobile part has left.
Conclusion
The analysis presented in this paper rests on a single observation. Whether or not a perturbation imposed on a softened Laplace–Lagrange chain propagates outward across the system depends critically on its wavelength. Long-wavelength perturbations evolve in the manner anticipated by textbook secular theory, dispersing coherently across the chain as the angular momentum deficit imposed at the launching site spreads outward through the surrounding wires. Short-wavelength perturbations, by contrast, do not propagate appreciably: over the integration windows considered here they remain trapped near their launching site, surrounded by an apsidally polarized shell of oppositely-aligned wires (Figure 1). § 3.2 traces this dichotomy to the dispersion relation of the softened chain: the group velocity of eccentricity waves peaks for scales comparable to the softening length and collapses below it, so that a narrow perturbation is a superposition of modes with nearly frozen relative phases – and the polarized configuration that surrounds it is the real-space portrait of that superposition. The crossover between the two regimes unfolds gradually as the perturbation width is decreased; quasi-localization requires that the perturbation’s spatial scale be much smaller than the softening length itself, which in the discrete chain corresponds to a width wires. For the parameter set adopted in this paper (, ), the softening length spans wires, the polarized shell that surrounds a trapped wire extends over about 40% of that scale at – a diagnostic scale, set by the wavenumber at which the group velocity collapses and by the elapsed time – and confinement sets in for perturbations narrower still. At and within the window, half of the imposed AMD is retained for , consistent with the trend across Figure 1.
We propose that this behavior reflects the conceptual structure of the softening prescription itself. Softening is the procedure by which the inherent velocity dispersion of the constituent particles – or, equivalently, the finite physical thickness of the disk – is incorporated into the phase-averaged secular framework. Perturbations whose spatial extent is comparable to or smaller than the softening length therefore probe scales whose physical interpretation requires comparison with processes that the softened secular approximation omits.
A final remark concerns the relationship between the results presented here and the Schrödinger correspondence of the Laplace–Lagrange formalism [3, 17]. The continuum reduction of the secular eccentricity dynamics onto a wave equation is, by construction, a long-wavelength approximation: it assumes that the complex eccentricity field varies smoothly on scales large compared with the softening length, and once spatial scales approach or fall below , the derivative expansion underlying the wave equation ceases to be controlled. The flat-band quasi-localization identified in this work therefore marks the suppression of collective secular transport near the resolution scale of the softened theory. We emphasize that a real disk need not be dynamically inert on these scales: pressure, finite velocity dispersion, phase-dependent encounters, and other kinetic or collisional processes omitted from the present model may continue to redistribute AMD there. The quasi-localization thus delineates the short-wavelength boundary of the collective model, rather than an absolute barrier to transport.
For the concrete parameters adopted in this paper – an annulus of roughly 1.5 Mars masses near 1 au – the homogeneous-chain half-life of a single-wire perturbation corresponds to , a figure that scales inversely with the annulus mass, and the graded chain confines it still longer: within softened secular theory, sufficiently narrow sub-softening AMD structure can outlive the system itself. The practical lesson for models of the annular architectures of § 1 is accordingly one of caution: sub-softening structure in such calculations persists because the regularized collective theory transports it extremely slowly, and this by itself says nothing about whether such structure would be protected in nature.
We thank the anonymous referee for a constructive and careful report, and in particular for identifying the softening prescription to which our coefficients correspond. We are grateful to Tony Yap, Ian Brunton, Luke Handley, and Max Goldberg for insightful discussions. K.B. is grateful to the David and Lucile Packard Foundation, the Caltech Center for Comparative Planetary Evolution (3CPE), the National Science Foundation (grant number: AST 2408867), and NASA (Emerging Worlds grant number: 80NSSC26K0395) for their generous support.
Software: numpy, scipy, matplotlib
Verification of the Softened Coefficients against the Orbit-Averaged Disturbing Function
To confirm that the prescription embodied in equations (6)–(7) faithfully represents a definite softened secular interaction, we benchmark it against a brute-force orbit-average of the regularized disturbing function. Given a pair of wires at semi-major axes , with eccentricities and apsidal longitudes , we evaluate the doubly-averaged interaction
where is the instantaneous in-plane separation between the two wires and is the instantaneous radius of the outer wire, both expressed as functions of the mean anomalies and via the standard Keplerian relations. The -derivative construction of equation (7) rests on the fact that the pairwise potential, like the bare , is homogeneous of degree in the two orbital radii, so that its dependence on enters only through and an overall factor of . A softening term must scale with the radii in the same way if the construction is to remain exact, and among such choices, — a softening length that is a fixed fraction of the outer wire’s instantaneous radius — is the one for which the softened integrand reduces to , that is, to the coefficients of equation (6). For radially non-overlapping orbits, it coincides with the form tabulated by Sefilian & Rafikov [22] (their Table B1). The comparison below tests the form; at the smallest of the family the finite-difference eccentricity exceeds the fractional separation and the sampled orbits overlap radially, so a direct validation of the max form itself would require there. A constant softening length, , defines a different prescription. It agrees with equation (A1) for circular orbits, but its eccentricity derivatives differ, and the cross-coupling coefficient it generates departs from once approaches unity: by 12%, 84%, and 610% at , 1, and 3 along the family considered below. The self-coefficient, extracted at where identically, is insensitive to the distinction.
The integrals in equation (A1) are evaluated by direct summation on a uniform grid in the eccentric anomalies, with the Jacobian factors supplying the transformation of the mean-anomaly measure. Working in units in which , the orbit-averaged disturbing function admits the small-eccentricity expansion
where , is the circular background, and the ellipsis stands for higher powers of the eccentricities. Consistency of the softened prescription requires and ; the two self-coefficients coincide because the homogeneity noted above makes the outer wire’s expansion the mirror image of the inner wire’s, exactly as in the unsoftened theory (Murray & Dermott [20]). Choosing a finite-difference step in eccentricity — small enough that the truncation error of the finite differences is at most at every point of the sweep, and large enough to avoid loss of precision through cancellation — the three coefficients are isolated by centered differences of at a small set of sample points,
in which a negative eccentricity denotes an apsidal line advanced by . The centered second differences cancel the background and return the self-coefficients up to truncation, while the shift in flips the sign of the cross-harmonic alone.
We carry out the comparison along two one-parameter families, with and , sweeping logarithmically over two decades from to , on a grid in the eccentric anomalies that samples the closest-approach peak of the integrand by at least 30 points along its narrowest direction at every point of the sweep. The results are shown in Figure 5. Across the full sweep, the direct orbit-average and the analytic softened form agree in all three coefficients to better than at every point (and to better than in the two self-coefficients), the residual being the truncation error of the finite differences; the agreement reaches the level for , including the points at where the constant-softening prescription departs from by factors of several. The outer wire’s self-coefficient coincides with to the same precision as the inner wire’s, as the homogeneity of the potential requires (under a constant softening length, by contrast, the two self-coefficients differ by up to 12% over the same sweep). In the classical limit (tested at , ), all three stencils reduce to the textbook Laplace–Lagrange values and to better than . Softening reverses the signs of both coefficients relative to their unsoftened counterparts over the range shown (, ), and the figure plots their absolute values.

Figure 5. Verification of the softened coefficients against a direct orbit-average of the softened disturbing function, equation (A1). Thick semi-transparent purple curves: the analytic forms of equation (7) at ; thick semi-transparent red curves: the same quantities at . Thin black lines with dotted markers: the coefficients extracted from the brute-force orbit-average through the finite-difference combinations of equation (16). Left: the inner wire’s self-coupling, compared with ; center: the cross-coupling, compared with ; right: the outer wire’s self-coupling, also compared with . The analytic and direct evaluations agree to plotting precision over the full two decades in and both softening families, including where exceeds unity. Absolute values are plotted; both coefficients are sign-reversed relative to their unsoftened counterparts throughout the range shown.
Asymptotic Expansion of and for Small and
In this Appendix we derive the leading- and logarithmic-order asymptotic behaviors of the softened secular coefficients and in the joint limit and , with the natural regulator scale
The calculation proceeds by a matched-asymptotic argument: the orbit-averaged integrands defining and are sharply peaked at when , and we evaluate the local contribution exactly while leaving the (analytic, regular) outer contribution implicit through a matching constant. An alternative route to the same expansions is available through the closed-form expressions for the softened Laplace coefficients in terms of complete elliptic integrals [22 Appendix C3], whose expansions as the modulus approaches unity are standard. We retain the matched-asymptotic route because it exposes the origin of the singular and logarithmic terms individually, and because the subleading coefficient it produces is the one that controls the transport floor of § 3.2.
STARTING INTEGRANDS
Direct differentiation of the softened Laplace coefficient (6) yields the coefficients of equation (7) in the explicit form
where and .
LOCAL APPROXIMATION
Substituting into the definitions of and 3 gives
Expanding in the small- region where the integrands peak, we obtain
We work in the local region with ; the matching constant enters every logarithmic integral as and cancels against the outer contribution, leaving only the pieces in the final result. We retain the leading together with the correction: as we shall see, the latter contributes at the logarithmic order we are computing through its effect on the pieces of the two integrands.
BASIC LOCAL INTEGRALS
We define two families of local integrals on . The first are convergent in the limit and supply the power-law pieces:
The second are logarithmically divergent in and supply the pieces:
The third of these follows from , which reduces to , , and .
TO LOGARITHMIC ORDER
Substituting the local approximations into equation (B2) and expanding , the six monomials of the integrand contribute, term by term:
The first and third entries are logarithmic, with coefficients and on , while the remaining four are power-law. A further logarithmic contribution comes from the correction to in the last entry, , which is not negligible at this order. Expanding
and integrating term by term, the piece acquires the additional contribution
of the same logarithmic order as the leading pieces in equation (B8). The logarithmic coefficients therefore collect to
Before assembling the power-law pieces, we note that at the order of the subleading terms, the structure of the integrand must be retained as well: the prefactors carry and , and acquires the correction , each of which feeds the power-law integrals at relative order (for example, supplies the additional pieces ). Collecting all power-law contributions using , , from above,
one obtains, after dropping the matching constant and writing ,
where the leading structure arises from rewriting in terms of , and the subleading term collects the pieces through the identity .
TO LOGARITHMIC ORDER
The calculation for follows the same logic, with the additional complication that the factor multiplies each piece. The leading log contributions from the four monomials of equation (B3) accumulate as follows:
: yields , with corrections suppressed by . Log coefficient .
: at leading order in and , , with - and -suppressed log corrections. Log coefficient .
: yields at leading order, plus regular and -suppressed pieces. Log coefficient .
: yields , where the three terms come, respectively, from the leading piece, from the correction to , and from the correction to . Log coefficient .
The sum of the four logarithmic coefficients is
The power-law pieces aggregate, by the same routine as in – including the prefactor and -corrections retained there – into the exact mirror of the collection, giving
SUMMARY AND PHYSICAL CONTENT
Combining equations (B13) and (B15), the sum and difference take the compact forms
The leading and singularities of and are exactly antisymmetric and cancel identically in the sum that controls the precession rate of the chain-wide aligned configuration at the end of the band (§ 3.2). The logarithmic pieces, by contrast, are not antisymmetric: with coefficients and , they reinforce in the sum to give a non-vanishing logarithmic eigenfrequency for the aligned mode. Each of the coefficients in equation (B16) is reproduced by direct numerical quadrature to better than a percent – at for the logarithmic pieces, and along rays of fixed for the power-law terms.
A few limiting cases are instructive. At the leading piece gives and : the unsoftened form recovers the familiar divergence at , with now playing the role of the only regulator. At the leading piece reverses sign, giving and . The transition between these two regimes occurs at ; at exactly the leading piece vanishes and the subleading term takes over, reducing to .
The dynamical content of equation (B16) is that the apsidally aligned configuration – the end of the band of § 3.2, whose precession rate is set by for a single pair and by the sum of this quantity over all separations for the chain – is not an exact zero mode at finite softening: each pair contributes a small, non-vanishing precession rate of order , parametrically smaller than the anti-aligned rate by a factor of . This is the hierarchy visible in Figure 2(b): the structure of the band is concentrated at long wavelengths, while its aligned end retains only the logarithmic residue.
Eigenstructure of the Graded Chain, van Kampen Modes, and a Homogeneous Control Experiment
The dispersion relation of § 3.2 accounts for the confinement of narrow perturbations in terms of the nearly flat short-wavelength sector of an idealized homogeneous chain. For completeness, we document here the eigenstructure of the full Laplace–Lagrange matrix of the graded chain, relate its localized eigenmodes to the singular modes of the continuum problem, and present a control experiment that isolates the ingredients on which the quasi-localization actually depends. The frequency inhomogeneity of the graded chain localizes its eigenvectors, and we identify these localized eigenvectors with discretized van Kampen modes of the continuum problem, an identification supported numerically below. The confinement of a narrow perturbation does not require them – a periodic homogeneous chain, whose eigenmodes are extended Bloch waves, confines just as well – but the inhomogeneity plays a genuine secondary role in suppressing the slow long-time leakage that the homogeneous chain exhibits.
Diagonalizing A for the parameter set of § 2.2 and sorting the eigenmodes by their spatial center of mass, , yields the two-dimensional map shown in Figure 6(a). Its dominant feature is a sharply-defined diagonal stripe of high-amplitude (dark) pixels. The stripe is formed by the modes of the dense band: the roughly 90% of the eigenvalues that crowd into the narrow frequency interval corresponding to the flat sector of Figure 2(b), as distinct from the sparse, widely-spaced low- eigenvalues that realize the dispersive long-wavelength branch. Each dense-band mode contributes a spatially narrow column to the map, supported only in a small radial neighborhood of its center of mass, with a local profile that alternates in sign from wire to wire, as befits the short-wavelength end of the band (Figure 6b). Off the stripe, the few low- modes appear as fully extended vertical bands. To quantify the spatial extent of a mode we use its participation ratio,

Figure 6. Eigenstructure of the softened Laplace–Lagrange matrix A for the parameter set of § 2.2 (, , ). Panel (a): two-dimensional map of on a logarithmic color scale (high amplitude dark), with eigenmodes sorted by their spatial center of mass on the axis and ring index on the vertical axis. The dark diagonal stripe is formed by the compact eigenvectors of the dense band discussed in the text, each confined to a few wires about its center of mass. Panel (b): five representative members of the dense band, each shifted so that its peak lies at the center of the plot and labeled by its participation ratio (equation (33)). All five exhibit the alternating-sign envelope characteristic of the short-wavelength () end of the band.
which equals for a mode spread uniformly over the chain and 1 for one confined to a single wire. (We evaluate it on the eigenvectors of A; using the canonical amplitudes instead, which measure the distribution of a mode’s AMD, changes the values only at the percent level, since varies by 16% across the annulus.) The median participation ratio over the dense band is wires.
The compactness of these eigenvectors is genuine, but it is a property of the chain’s frequency inhomogeneity rather than of the band itself. In the graded chain, the site frequencies vary with radius through the gradients of mass and mean motion; in any finite chain with open boundaries, they vary additionally because the long-range tail of is truncated at the chain ends. In either case, the variation across the chain exceeds the intrinsic width of the nearly degenerate band by more than five orders of magnitude. The radial variation of the apsidal precession rates therefore localizes the modes of this nearly degenerate band. Each mode is concentrated near a wire whose diagonal precession rate closely matches its eigenfrequency, the two agreeing to better than at the mode’s amplitude peak. Diagonalizing the homogeneous control chain introduced below returns compact eigenvectors with median for this reason alone, whereas the same operator with its diagonal held constant at the bulk value – the idealization of equation (11) – yields extended, numerically sine-like modes with .
We identify these localized modes with the singular modes that Tremaine [28] encountered in the continuum slow-mode problem, whose numerical solution returns many singular (van Kampen) modes occupying the continuous portion of the eigenvalue spectrum. In the continuum, a mode of frequency is singular at the radius where coincides with the local precession rate, and the nearly degenerate band is a continuous spectrum; discretization replaces each singular mode by an eigenvector localized on the grid. The signature expected of this correspondence is that the width of the singular core is set by the grid rather than by the physics, and we have tested it by diagonalizing the graded chain at fixed physical softening (, fixed annulus and total mass) for , 1000, 2000, and 4000 (Table 1). The participation ratio of the dense-band modes remains at – wires throughout, so that the physical width of a mode’s core shrinks in proportion to the wire spacing (). Each mode also carries a low-amplitude smooth tail. To measure the extent of the full mode, core and tail together, we use its root-mean-square (RMS) extent,
| (wires) | core width/ | RMS extent/ | level spacing/span | |
| 500 | 2.19 | 0.044 | 0.65 | |
| 1000 | 2.16 | 0.022 | 0.64 | |
| 2000 | 2.09 | 0.010 | 0.63 | |
| 4000 | 2.08 | 0.005 | 0.63 |
Table 1. Resolution dependence of the dense-band eigenmodes of the graded chain at fixed physical softening (; annulus ; total mass ). is the median participation ratio over the dense band; the core width is ; the RMS extent is the standard deviation of the mode’s amplitude-squared distribution in semi-major axis (defined in the text), which includes its smooth tail; the level spacing is the median spacing of adjacent dense-band eigenvalues, in units of the band’s frequency span, which is the same to four figures at all .
with and – the standard deviation in semi-major axis of the mode’s amplitude-squared distribution, a quantity dominated by the tail, whereas the participation ratio is dominated by the core. The median RMS extent over the dense band stays fixed at , constant to 3% across the four resolutions. The median spacing between adjacent dense-band eigenvalues falls as , while the frequency limits of the band are unchanged to four significant figures. A core of vanishing physical width, a smooth part of fixed physical extent, and a discretized continuous spectrum are what discretized singular continuum modes would produce, and we regard the identification as well supported, although we have not formulated the continuum eigenproblem and established the correspondence formally. The confined states of § 3.1 are, in this sense, superpositions of these van Kampen-like modes; on the periodic homogeneous chain of § 3.2, the same confined states are superpositions of extended Bloch waves, which is the point of the control experiment below.
This identification also clarifies why eigenvector localization is not what confines a perturbation. To isolate what the confinement of Figure 1 does and does not require, we construct an index-homogeneous control chain: wires of equal mass , sharing a common mean motion, with couplings given by the same softened coefficients as in equation (11) – a function of inter-wire separation alone. This system possesses no radial grading of mass or mean motion; its only frequency inhomogeneity is the boundary-truncation potential discussed above. Evolving the same single-wire initial condition on both systems yields retention histories that are indistinguishable between the two: the fraction of the initial AMD retained within wires of the launching site is 98% at , and 97% at 100 , in both cases. Decisively, the periodic homogeneous chain of § 3.2, whose eigenmodes are exactly extended Bloch waves with no localization whatsoever, traps the single-wire perturbation just as efficiently. The nearly flat band is therefore sufficient to produce long-lived confinement, even when the individual eigenmodes are spatially extended. In the graded chain, localization of the eigenmodes further suppresses the slow leakage found in the homogeneous calculation (§ 3.2).
Universality and Prescription Dependence of the Confinement
The experiments of § 3 employ a single discretization, and . In this Appendix, we verify that the confinement they document is controlled by the dimensionless ratio – rather than by any feature of that particular grid – and that it survives the replacement of the softening prescription itself.
We first repeat the -sweep of Figure 1 on graded chains with , 50, 100, and 200 (at fixed ), measuring in each case the background-corrected trapped fraction within a window of half-width wires at , with evaluated per chain. Figure 7(a) shows the four curves against the rescaled width , together with parameter-free spectral predictions of the type constructed in § 3.2 for the two extreme cases. The crossover approximately collapses: half of the imposed AMD is retained at , 0.054, 0.050, and 0.037 for the four chains, and the spread among the chains remains below 0.06 throughout the crossover once the slow two-mode beat of the finite chain is averaged over. (For the widest case, , the retention window spans 40% of the chain, and the dispersed tail of the curve is contaminated by a coherent finite-size oscillation that is absent from the periodic spectral prediction; the collapse statement refers to the crossover itself, which is unaffected.)

Figure 7. Universality of the confinement. Panel (a): background-corrected trapped fraction at , measured within a window of half-width wires, as a function of the rescaled perturbation width , for graded chains with , 50, 100, and 200 (solid curves: single snapshot; faint dashed curves: averaged over the slow beat of the finite chain). Open symbols give the parameter-free spectral predictions for the two extreme chains. The crossover approximately collapses onto a single function, with half-retention at –; the non-collapsing excursions at for the largest windows are a finite-size effect discussed in the text. Panel (b): resolution study at fixed physical problem – , fixed radial extent, fixed physical perturbation width and retention window – for , 1000, and 2000: the trapped fraction is resolution-independent to 2.4%.
A sharper statement follows from holding the physical problem fixed and varying only the resolution (Figure 7b). Fixing , the radial extent , a Gaussian perturbation of physical width , and a retention window of physical half-width , we find , so that , 100, and 200. The trapped fraction at is , 0.256, and 0.261: constant to 2.4% across a factor of four in resolution. The confinement scale is the physical softening length, not the wire spacing – the phenomenon is not an artifact of the discretization.
The long-time confinement, which is the quantity most sensitive to the residual dispersion of the band, can be examined in the same way, with one qualification. Evolving the single-wire perturbation on the same three chains by exact eigendecomposition, the retained fraction settles onto a flat plateau by and remains there through at every resolution: over the interval –, the beat-averaged retained fraction varies by less than 0.02, 0.01, and 0.005 about constant levels of , 0.96, and 0.98 for , 1000, and 2000, with no trend, whereas the retained fraction of the periodic homogeneous chain, whose decay is ballistic with a slow late-time tail rather than exponential (§ 3.2), has fallen to by ( by and by ). The qualification is that a single excited wire is a grid-scale initial condition rather than a fixed physical one: the fraction of its AMD residing on the dispersive branch, which escapes at early times, is proportional to (measured: 7.6%, 5.0%, and 2.4%), which is why the plateau level rises with . The Gaussian of fixed physical width of panel (b), followed to the same times, retains a residual core of – at all three resolutions with no trend either, although the slow beat of the finite chain (amplitude ) limits how precisely its level can be compared across . Because the secular clock itself is converged – the median eigenperiod changes by and between and , (the median single-wire precession period by and ) – the same conclusions follow when the three chains are compared at fixed physical time rather than in units of their own .
Finally, because the coefficients of § 2 embody one particular regularization, we repeat the analysis under the vertical-thickness prescription of Hahn [9], which Sefilian & Rafikov [22] identify as one of only two commonly used softening models that converge exactly to the razor-thin secular dynamics in the limit of vanishing softening, and which provides a physically motivated description of a vertically extended disc. Concretely, with scale height , the coupling coefficients become and , where the are softened Laplace coefficients with softening (eqs. (7) and 14, and Table 1, of Sefilian & Rafikov [22]). Figure 8 compares the two prescriptions. The coupling coefficients agree with the bare interaction beyond the softening scale and differ only within it (panel a), and the dispersion relations are indistinguishable on the mobile long-wavelength branch, with peak group velocities agreeing to 5% (panel b). The short-wavelength sector flattens under both prescriptions – to $2\times 10^{-5}$ of the band span for the Plummer form, and a further factor of flatter for the thickness prescription – and the high- envelope of the group velocity is algebraic, , in both comparison chains as constructed here. What depends on the prescription is the magnitude of the floor and, with it, the lifetime, and here the construction of the comparison chain must be stated, because the floor is set by the behavior of the chain’s coupling at small separation. The homogeneous comparison chains of this Appendix are built from the AMD-symmetrized coupling of the graded chain. For wires of mass , the two one-sided Laplace–Lagrange couplings of a pair at radius ratio are (outer wire forced by inner) and (inner by outer), with evaluated at the inner wire, and the similarity transformation that renders symmetric maps both onto their geometric mean, , with and the sums carried to ; the ring coupling is summed over periodic images as in § 3.2. This kernel differs from the index-homogeneous kernel of the main text, , only by the smooth factor . Under this construction, the thickness-prescription floor at lies a factor of below the Plummer one, and the half-life of a single-wire perturbation lengthens by the same factor ( versus , converged on rings of up to $N=65536 wires; the latter differs from the of § 3.2 through the weighting). Part of this factor reflects the larger effective smoothing of the thickness regulator at like separations (): repeating the comparison at matched effective near-neighbor softening, , gives factors of in both the floor and the half-life, with the floor exponent unchanged. The numerical factors quoted above depend on the radial weighting used to construct the comparison chain and are not universal. Both tested softening prescriptions nevertheless produce a nearly flat short-wavelength sector and long-lived confinement.

Figure 8. Robustness to the softening prescription: the Plummer-in-the-integrand baseline of § 2 (blue) versus the vertical-thickness prescription of Hahn [9], as formulated by Sefilian & Rafikov [22], with (red). Panel (a): magnitude of the ring–ring coupling coefficient versus separation. The two prescriptions differ only within the softening scale and join the bare gravitational interaction beyond it; the notch in each curve marks its change of sign. Panel (b): group velocity of the homogeneous chain. The mobile long-wavelength branch is prescription-independent (peak speeds agree to 5%), and both prescriptions collapse to an algebraic floor scaling approximately as at short wavelength, with the thickness prescription lying a factor of lower at for the AMD-symmetrized chain kernel defined in the text ( at matched effective near-neighbor softening; the ratio depends on the symmetrization weighting, see text).
References
- [1]ALMA Partnership, Brogan, C. L., Pérez, L. M., et al. 2015, ApJL, 808, 1, L3. doi:10.1088/2041-8205/808/1/L3DOI
- [2]Andrews, S. M., Huang, J., Pérez, L. M., et al. 2018, ApJL, 869, 2, L41. doi:10.3847/2041-8213/aaf741DOI
- [3]Batygin, K. 2018, MNRAS, 475, 4, 5070. doi:10.1093/mnras/sty162DOI
- [4]Binney, J. & Tremaine, S. 2008, Galactic Dynamics: Second Edition (Princeton: Princeton Univ. Press)
- [5]Borderies, N., Goldreich, P., & Tremaine, S. 1983, AJ, 88, 1560. doi:10.1086/113446DOI
- [6]Chandrasekhar, S. 1942, Principles of Stellar Dynamics (Chicago: University of Chicago Press)
- [7]Goldberg, M., Nesvorný, D., & Morbidelli, A. 2026, AJ, 171, 130. doi:10.3847/1538-3881/ae3564DOI
- [8]Goldreich, P. & Tremaine, S. 1979, AJ, 84, 1638. doi:10.1086/112589
- [9]Hahn, J. M. 2003, ApJ, 595, 1, 531. doi:10.1086/377195DOI
- [10]Hansen, B. M. S. 2009, ApJ, 703, 1, 1131. doi:10.1088/0004-637X/703/1/1131DOI
- [11]Hayashi, C. 1981, Progress of Theoretical Physics Supplement, 70, 35. doi:10.1143/PTPS.70.35
- [12]Izidoro, A., Dasgupta, R., Raymond, S. N., et al. 2022, Nature Astronomy, 6, 357. doi:10.1038/s41550-021-01557-zDOI
- [13]Kambara, Y. & Kokubo, E. 2025, ApJ, 985, 71. doi:10.3847/1538-4357/adc999DOI
- [14]Kruijer, T. S., Burkhardt, C., Budde, G., et al. 2017, Proceedings of the National Academy of Sciences, 114, 26, 6712. doi:10.1073/pnas.1704461114
- [15]Laskar, J. 1997, A&A, 317, L75
- [16]Leykam, D., Andreanov, A., & Flach, S. 2018, Advances in Physics: X, 3, 1473052. doi:10.1080/23746149.2018.1473052
- [17]Melton, W. & Batygin, K. 2021, MNRAS, 502, 3, 3955. doi:10.1093/mnras/stab344DOI
- [18]Morbidelli, A., Tsiganis, K., Batygin, K., Crida, A., & Gomes, R. 2012, Icarus, 219, 2, 737. doi:10.1016/j.icarus.2012.03.025DOI
- [19]Mukherjee, S., Spracklen, A., Choudhury, D., et al. 2015, Physical Review Letters, 114, 245504. doi:10.1103/PhysRevLett.114.245504
- [20]Murray, C. D., & Dermott, S. F. 1999, Solar System Dynamics (Cambridge: Cambridge Univ. Press), doi:10.1017/CBO9781139174817DOI
- [21]Rauch, K. P. & Tremaine, S. 1996, New Astronomy, 1, 2, 149. doi:10.1016/S1384-1076(96)00012-7DOI
- [22]Sefilian, A. A. & Rafikov, R. R. 2019, MNRAS, 489, 3, 4176. doi:10.1093/mnras/stz2412DOI
- [23]Sefilian, A. A., Rafikov, R. R., & Wyatt, M. C. 2025, MNRAS, 543, 3, 3123. doi:10.1093/mnras/staf1655
- [24]Strocchi, F. 1966, Reviews of Modern Physics, 38, 1, 36. doi:10.1103/RevModPhys.38.36
- [25]Touma, J. R., Tremaine, S., & Kazandjian, M. V. 2009, MNRAS, 394, 2, 1085. doi:10.1111/j.1365-2966.2009.14409.xDOI
- [26]Touma, J., Tremaine, S., & Kazandjian, M. 2019, Physical Review Letters, 123, 2, 021103. doi:10.1103/PhysRevLett.123.021103
- [27]Tremaine, S. 1998, AJ, 116, 4, 2015. doi:10.1086/300567DOI
- [28]Tremaine, S. 2001, AJ, 121, 3, 1776. doi:10.1086/319398DOI
- [29]Vicencio, R. A., Cantillano, C., Morales-Inostroza, L., et al. 2015, Physical Review Letters, 114, 245503. doi:10.1103/PhysRevLett.114.245503
- [30]Walsh, K. J., Morbidelli, A., Raymond, S. N., et al. 2011, Nature, 475, 7355, 206. doi:10.1038/nature10201DOI
- [31]Ward, W. R. 1981, Icarus, 47, 2, 234. doi:10.1016/0019-1035(81)90169-XDOI
- [32]Warren, P. H. 2011, Earth and Planetary Science Letters, 311, 1-2, 93. doi:10.1016/j.epsl.2011.08.047
- [33]Weidenschilling, S. J. 1977, Ap&SS, 51, 1, 153. doi:10.1007/BF00642464DOI
- [34]Yang, Q. & Tamayo, D. 2024, ApJ, 968, 1, 20. doi:10.3847/1538-4357/ad3af1DOI