alphaFeedback

WorksPhysics and Astronomy

Quasi-Localization of Short-Wavelength Perturbations in Softened Laplace-Lagrange Chains

AI contributions
Not recorded for this paper
View details

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 ∼1 au\sim1\,\mathrm{au} ([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 NN-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 ϵ\epsilon 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 β\beta, 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 β\beta.

Softened Laplace–Lagrange Model

We consider a chain of NN coplanar, gravitating wires of mass mjm_j orbiting a dominant central body of mass M⋆M_\star at semi-major axes aja_j. Each wire is described in terms of the complex eccentricity vector

zj=hj+ikj=ejeiϖj,(1)z_j = h_j + i k_j = e_j e^{i\varpi_j}, \tag*{(1)}

where hj=ejcos⁡ϖjh_j = e_j \cos\varpi_j and kj=ejsin⁡ϖjk_j = e_j \sin\varpi_j are coordinates closely related to the standard Poincaré variables, and ϖj\varpi_j 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

Hsec=12∑jΛjAjj∣zj∣2+∑j<kΛjAjkRe⁡(zjzk∗),(2)\mathcal{H}_{\mathrm{sec}} = \frac{1}{2} \sum_j \Lambda_j A_{jj} \lvert z_j \rvert^2 + \sum_{j<k} \Lambda_j A_{jk} \operatorname{Re}(z_j z_k^\ast), \tag*{(2)}

in which Λj≡mjnjaj2\Lambda_j \equiv m_j n_j a_j^2 is the circular angular momentum of wire jj, and the matrix A\mathbf{A} encapsulates the gravitational couplings, depending only on the masses and the semi-major axes (note that ΛjAjk=ΛkAkj\Lambda_j A_{jk} = \Lambda_k A_{kj}, so that the quadratic form is symmetric).

Treating zjz_j and zj∗z_j^\ast as independent variables in the complex-coordinate Hamiltonian sense (Strocchi [24]), with the Λ\Lambda-weighted bracket z˙j=(2i/Λj)∂Hsec/∂zj∗\dot{z}_j = (2i/\Lambda_j) \partial\mathcal{H}_{\mathrm{sec}}/\partial z_j^\ast, the associated equations of motion are linear,

dzjdt=i∑kAjkzk,(3)\frac{d z_j}{d t} = i \sum_k A_{jk} z_k, \tag*{(3)}

and admit a complete eigenmode decomposition with real eigenfrequencies {λn}\{\lambda_n\}, such that

zj(t)=∑nVjncneiλnt,cn=(V−1z(0))n,(4)\begin{aligned} z_j(t) &= \sum_n V_{jn} c_n e^{i\lambda_n t},\\ c_n &= \left(\mathbf{V}^{-1} z(0)\right)_n, \tag*{(4)} \end{aligned}

where V\mathbf{V} is the matrix of eigenvectors of A\mathbf{A}. 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 A\mathbf{A}.

Following the standard textbook derivation ([20]), the off-diagonal entries of A\mathbf{A} encode pairwise coupling between distinct wires, while the diagonal entries collect the apsidal precession contributed by all other wires of the chain:

Ajk=njmkM⋆αˉjkC2(αjk,β),j≠k,Ajj=nj∑k≠jmkM⋆αˉjkC1(αjk,β),(5)\begin{aligned} A_{jk} &= n_j \frac{m_k}{M_\star} \bar{\alpha}_{jk} C_2(\alpha_{jk},\beta), \qquad j \ne k,\\ A_{jj} &= n_j \sum_{k\ne j} \frac{m_k}{M_\star} \bar{\alpha}_{jk} C_1(\alpha_{jk},\beta), \tag*{(5)} \end{aligned}

where nj=GM⋆/aj3n_j = \sqrt{G M_\star/a_j^3} is the Keplerian mean motion of the jj-th wire, αjk=min⁡(aj,ak)/max⁡(aj,ak)\alpha_{jk} = \min(a_j,a_k)/\max(a_j,a_k), and αˉjk=aj/ak\bar{\alpha}_{jk} = a_j/a_k when aj<aka_j < a_k and unity otherwise. The dimensionless coefficients C1C_1 and C2C_2 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 C1C_1 and C2C_2 are constructed from α\alpha-derivatives of the classical Laplace coefficient b1/2(m)(α)b_{1/2}^{(m)}(\alpha), and both diverge as (1−α)−2(1-\alpha)^{-2} as α→1\alpha\to1 (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 α=1\alpha= 1 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 C1C_1 and C2C_2 (Murray & Dermott [20]), written explicitly in terms of α\alpha-derivatives of b1/2(m)(α)b_{1/2}^{(m)}(\alpha), and regularize the singularity by adding a Plummer-type softening parameter β\beta inside the integrand. Concretely, we replace the standard Laplace coefficient with the softened form

B1/2(m)(α,β)=2π∫0πcos⁡(mψ) dψ(1+α2+β2−2αcos⁡ψ)1/2(6)B_{1/2}^{(m)}(\alpha,\beta)=\frac{2}{\pi}\int_{0}^{\pi}\frac{\cos(m\psi)\,\mathrm{d}\psi}{\left(1+\alpha^2+\beta^2-2\alpha\cos\psi\right)^{1/2}} \tag*{(6)}

which reduces to the textbook expression b1/2(m)(α)b_{1/2}^{(m)}(\alpha) in the β→0\beta\to0 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

C1(α,β)=14[2α∂αB1/2(0)+α2∂α2B1/2(0)],C_1(\alpha,\beta)=\frac{1}{4}\left[2\alpha\partial_\alpha B_{1/2}^{(0)}+\alpha^2\partial_\alpha^2 B_{1/2}^{(0)}\right],
C2(α,β)=14[2B1/2(1)−2α∂αB1/2(1)−α2∂α2B1/2(1)](7)C_2(\alpha,\beta)=\frac{1}{4}\left[2B_{1/2}^{(1)}-2\alpha\partial_\alpha B_{1/2}^{(1)}-\alpha^2\partial_\alpha^2 B_{1/2}^{(1)}\right] \tag*{(7)}

with the α\alpha-derivatives of equation (6) evaluated analytically under the integral sign and the resulting trigonometric integrals computed by quadrature. Because β\beta is retained inside the radical, the integrand is everywhere bounded, including at α=1\alpha=1.

Although the classical recursion identities relating higher-order Laplace coefficients to derivatives of b1/2(0,1)b_{1/2}^{(0,1)} 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 Gm′/D2+β2r2Gm'/\sqrt{\mathcal{D}^2+\beta^2r^2}, softened by a fixed fraction β\beta of the instantaneous radius r′r' of the outer wire — equivalently, for radially non-overlapping orbits, of the larger of the two instantaneous radii (Sefilian & Rafikov [22], Table B1). The δ\delta-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 (α≠1\alpha\ne1) 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 λ\lambda for two softening families, β=10λ\beta=10\lambda and 100λ100\lambda.

Numerical Setup

For definiteness, all of the semi-analytical experiments described in § 3 below adopt a single, fixed parameter set. The chain consists of N=1000N=1000 wires distributed in geometric succession in semi-major axis,

aj=a0(1+λ)j,j=1,…,N,(8)a_j=a_0(1+\lambda)^j,\qquad j=1,\ldots,N, \tag*{(8)}

with a0=0.95a_0=0.95 and a wire-spacing parameter λ=10−4\lambda=10^{-4}, so that the chain spans the semi-major-axis range a∈[0.95,1.05]a\in[0.95,1.05] and the corresponding fractional radial extent of the annulus is Δa/a≃0.10\Delta a/a\simeq0.10. The softening is fixed at β=100λ=10−2\beta=100\lambda=10^{-2}. The mass distribution along the chain is taken to be mj=m0ajm_j=m_0a_j. Because the wire spacing is itself geometric, with Δaj≡aj+1−aj=λaj\Delta a_j\equiv a_{j+1}-a_j=\lambda a_j, the wire mass per annular area at radius aja_j – the local surface density – evaluates to

Σ(a)=mj2πajΔaj=m0aj2πaj(λaj)∝1a.(9)\Sigma(a)=\frac{m_j}{2\pi a_j\Delta a_j}=\frac{m_0a_j}{2\pi a_j(\lambda a_j)}\propto\frac{1}{a}. \tag*{(9)}

The per-wire normalization m0m_0 is chosen so that the total mass of the annulus, Mdisk≡∑j=1Nmj≃5×10−7M⋆M_{\mathrm{disk}}\equiv\sum_{j=1}^{N}m_j\simeq5\times10^{-7}M_{\star}, 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 β\beta 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 Δa/a≲0.1ς2\Delta a/a\lesssim0.1\varsigma^{2} in terms of their softening parameter ς\varsigma, so that the number of rings must scale as N≳10ς−2N\gtrsim10\varsigma^{-2} – for β=10−2\beta=10^{-2}, a spacing of order 10−510^{-5}, an order of magnitude finer than the λ=10−4\lambda=10^{-4} 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 β/λ\beta/\lambda rather than by either parameter separately, so that as λ→0\lambda\to0 at fixed β\beta 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 3×107Tsec3\times10^{7}T_{\mathrm{sec}} at N=500N=500, 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 ∣Ajj∣∼nj(Mdiskeff/M⋆)⟨C1⟩|A_{jj}|\sim n_j(M_{\mathrm{disk}}^{\mathrm{eff}}/M_{\star})\langle C_1\rangle, where MdiskeffM_{\mathrm{disk}}^{\mathrm{eff}} is the mass of wires within roughly one softening length of the jthj^{\mathrm{th}} wire and ⟨C1⟩\langle C_1\rangle is the typical softened coupling coefficient at those separations (equation (7)). Because the dimensionless coefficients C1,C2C_1,C_2 depend only on λ\lambda and on the dimensionless ratio β/λ\beta/\lambda, the secular timescale of any wire obeys Tsec/Torb∝M⋆/MdiskT_{\mathrm{sec}}/T_{\mathrm{orb}}\propto M_{\star}/M_{\mathrm{disk}} at fixed λ\lambda and β/λ\beta/\lambda. For the parameter set adopted here, direct diagonalization of A\mathbf{A} yields a median eigenmode period Tsec≡median⁡(2π/∣λn∣)≃2.9×104T_{\mathrm{sec}}\equiv\operatorname{median}(2\pi/|\lambda_n|)\simeq2.9\times10^{4} orbital periods at a=1a=1, which serves as a convenient precession-based unit of time for the experiments described in § 3. We emphasize that TsecT_{\mathrm{sec}} 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 ≃0.3Tsec\simeq0.3T_{\mathrm{sec}}, so a confinement time of 106Tsec10^{6}T_{\mathrm{sec}} corresponds to ∼3×106\sim3\times10^{6} crossing times of the mobile branch. As emphasized in that section, the absolute mass scale enters only through the timescale TsecT_{\mathrm{sec}}; 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, ϖj=0\varpi_j=0 for j=1,…,Nj=1,\ldots,N, and superimpose on the otherwise-circular state a localized Gaussian perturbation in the eccentricity profile,

ej(t=0)=epeakexp⁡[−(j−jc)22σ2],(10)e_j(t=0)=e_{\mathrm{peak}}\exp\left[-\frac{(j-j_c)^2}{2\sigma^2}\right], \tag*{(10)}

centered on the central wire of the annulus (jc=N/2j_c=N/2). The width σ\sigma, 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 z\mathbf{z}. As a consequence, any solution z(t)\mathbf{z}(t) obtained for a given peak amplitude epeake_{\mathrm{peak}} 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 σ\sigma 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 β\beta 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 zz over many secular periods, we examine the temporal evolution of the chain under the family of Gaussian initial conditions, with the width σ\sigma swept across a range of physically interesting values. The principal results are summarized in Figure 1, which shows Re⁡(zj)/epeak\operatorname{Re}(z_j)/e_{\rm peak} and Im⁡(zj)/epeak\operatorname{Im}(z_j)/e_{\rm peak} along the chain at a sequence of eleven time snapshots between t=0t=0 and t=10Tsect=10T_{\rm sec}. Because the linear secular evolution conserves the total AMD (12∑jΛj∣zj∣2\frac{1}{2}\sum_j\Lambda_j|z_j|^2 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.

Time evolution of the complex eccentricity vector along the chain

Figure 1. Time evolution of the complex eccentricity vector zj=hj+ikjz_j = h_j + i k_j along the chain, for four Gaussian initial conditions of decreasing width σ\sigma. Each panel shows Re⁡(zj)/epeak\operatorname{Re}(z_j)/e_{\mathrm{peak}} (solid) and Im⁡(zj)/epeak\operatorname{Im}(z_j)/e_{\mathrm{peak}} (dashed) as functions of the ring index jj, evaluated in a frame co-rotating with the apsidal line of the central wire jcj_c, where epeak≡∣zjc(0)∣e_{\mathrm{peak}} \equiv\lvert z_{j_c}(0)\rvert 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 t∈[0,10 Tsec]t \in[0, 10\,T_{\mathrm{sec}}], while the darker overlaid curves correspond to integer-multiple snapshots at t/Tsec=0,1,…,10t/T_{\mathrm{sec}} = 0, 1, \ldots, 10. The four panels correspond to (a) σ=100\sigma= 100 (width comparable to the softening length, β/λ\beta/\lambda), (b) σ=10\sigma= 10, (c) σ=1\sigma= 1, and (d) a single-wire δ\delta-function perturbation (σ→0\sigma\to0). 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 z~j(t)≡zj(t)e−iϖjc(t)\widetilde{z}_j(t)\equiv z_j(t)e^{-i\varpi_{j_c}(t)}, 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 σ=100\sigma=100, σ=10\sigma=10, σ=1\sigma=1, and a single-wire δ\delta-function (σ→0\sigma\rightarrow0).

For the broadest perturbation considered, σ=100=β/λ\sigma=100=\beta/\lambda – 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 jcj_c 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 (σ=10\sigma=10) retains a clearly identifiable central peak in Re⁡(z)\operatorname{Re}(z) 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

σ=1\sigma=1 (Figure 1c) the perturbation is essentially trapped at its launching site: a tall, persistent peak occupies the immediate neighborhood of jcj_c, and only a faint wisp of Re⁡(z)\operatorname{Re}(z) and Im⁡(z)\operatorname{Im}(z) 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 jcj_c 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 100Tsec100T_{\rm sec}, 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 AA, 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, mj=mˉm_j=\bar{m}, sharing a common mean motion nˉ\bar{n}, whose couplings depend on the inter-wire separation d=∣j−k∣d=|j-k| alone. In this limit, the Laplace–Lagrange matrix acquires constant diagonals,

Aj,j±d=ad=νC2(αd,β),Ajj=a0=2ν∑d=1∞C1(αd,β),(11)\begin{aligned} A_{j,j\pm d} &= a_d = \nu C_2(\alpha_d,\beta), \\ A_{jj} &= a_0 = 2\nu\sum_{d=1}^{\infty}C_1(\alpha_d,\beta), \tag*{(11)} \end{aligned}

where ν=nˉ mˉ/M⋆\nu=\bar{n}\,\bar{m}/M_\star and αd=(1+λ)−d\alpha_d=(1+\lambda)^{-d}, and the equations of motion (3) are solved exactly by plane waves. Substituting zj=exp⁡[i(kj+ωt)]z_j=\exp[i(kj+\omega t)], with k∈[0,π]k\in[0,\pi] the wavenumber in radians per wire, collapses the matrix problem to a single line:

ω(k)=a0+2∑d=1∞adcos⁡(kd),vg(k)≡−dωdk=2∑d=1∞d adsin⁡(kd),(12)\begin{aligned} \omega(k) &= a_0 + 2 \sum_{d=1}^{\infty} a_d \cos(kd),\\ v_g(k) &\equiv-\frac{d\omega}{dk} = 2 \sum_{d=1}^{\infty} d\,a_d \sin(kd), \tag*{(12)} \end{aligned}

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: k=0k = 0 to a chain-wide apsidally aligned state, and k=πk = \pi to alternating wire-to-wire anti-alignment. A localized wave packet of characteristic width σ\sigma carries spectral weight at wavenumbers k≲1/σk \lesssim1/\sigma, each component advancing at its own group velocity vg(k)v_g(k), the sign of which follows from the stationary-phase condition dj/dt=−dω/dkdj/dt = -d\omega/dk for the ansatz adopted above (throughout, we refer to k−1k^{-1} as the spatial scale of a disturbance).

The sums in equation (12) are those of an infinite chain. We evaluate the couplings out to d=1.5×105d = 1.5 \times10^5, beyond which they are numerically negligible – the pairwise coefficient decays exponentially once the fractional separation dλd\lambda exceeds a few, so the sum terminates with no boundary discontinuity – and verify the result against Abel-regularized partial sums at the 10−510^{-5} wires-per-TsecT_{\mathrm{sec}} level. (Naive truncation at d∼Nd \sim N, by contrast, produces spurious boundary ringing in vgv_g of amplitude ∼3/k\sim3/k wires per TsecT_{\mathrm{sec}}, 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, adring=∑ma∣d+mN∣a_d^{\mathrm{ring}} = \sum_m a_{\lvert d+mN\rvert} with d=∣j−k∣d = |j-k|, which is equivalent to sampling the dispersion relation of the infinite chain at the ring’s wavenumbers kn=2πn/Nk_n = 2\pi n/N; the simpler alternative of evaluating each coupling at the shorter index separation across the periodic boundary, djk=min⁡(∣j−k∣,N−∣j−k∣)d_{jk} = \min(|j-k|, N-|j-k|), leaves a slope discontinuity in the coupling profile at d=N/2d = N/2, whose consequences at the latest times we discuss below. We state which construction is in use wherever the distinction matters.

Dispersion relation of the softened Laplace–Lagrange chain

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 C2(αd,β)C_2(\alpha d,\beta), normalized by its dense-limit plateau value 1/(2πβ2)1/(2\pi\beta^2): flat within one softening length, sign reversal at d=β/λd=\beta/\lambda (dashed line), and reversion to the bare gravitational tail −(β/dλ)2-(\beta/d\lambda)^2 (dotted curve) beyond. Panel (b): the dispersion relation in apsidal cycles per TsecT_{\mathrm{sec}}. All structure is confined to k≲k\lesssim a few λ/β\lambda/\beta: the precession rate peaks at k≃λ/βk\simeq\lambda/\beta, where vgv_g passes through zero (the notch in panel c) before changing sign, and for k>0.5k>0.5 the band is flat to a few parts in 10510^5 of its span. (The uniform offset of ω\omega – the mean precession rate – depends on the total mass within the coupled range and is dynamically inert; only the kk-dependence of ω\omega controls transport.) Panel (c): the magnitude of the group velocity: the collective branch collapses quasi-exponentially below the softening scale, giving way for k≳0.3k\gtrsim0.3 to the algebraic floor of equation (13) (dotted line), imprinted by the residual ∣x∣|x| cusp of the softened profile at small separations (Appendix B).

The structure of ω(k)\omega(k) is fixed entirely by the shape of the coupling profile ada_d, 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 d≲β/λd \lesssim\beta/\lambda – the coupling sits on a plateau of nearly uniform strength +ν/(2πβ2)+\nu/(2\pi\beta^2), while beyond it the profile changes sign (numerically, at d=100d = 100 wires for our parameters – that is, at d=β/λd = \beta/\lambda on the nose) and decays along the weak unsoftened tail −ν/[2π(dλ)2]-\nu/[2\pi(d\lambda)^2]. In other words, once softening is accounted for, the dynamically dominant part of the secular interaction becomes effectively finite-ranged: a plateau of width β/λ\beta/\lambda, 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 k→0k \to0, the cosine factors add coherently, and ω(0)\omega(0) collapses to the row sum of the matrix – where the near-cancellation C1≃−C2C_1 \simeq-C_2 derived in Appendix B annihilates the O(1/β2)O(1/\beta^2) plateau contributions and leaves only a logarithmic residue. The cancellation has a simple meaning. When C1=−C2C_1 = -C_2 exactly, the pairwise secular energy in equation (2) reduces to Hjk∝C1∣zj−zk∣2\mathcal{H}_{jk} \propto C_1 |z_j-z_k|^2, 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 (k=0k = 0) stretches no spring, and the aligned end of the band retains only the sum over all separations of the small residual precession, of order νln⁡(1/ϵ)\nu\ln(1/\epsilon) per pair, that Appendix B derives; the alternating configuration at k=πk = \pi 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 – C1≃−C2C_1 \simeq-C_2 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 λ/β\lambda/\beta, where the precession rate peaks at k≃λ/βk \simeq\lambda/\beta, reaching ≃2.7\simeq2.7 apsidal cycles per TsecT_{\rm sec} for our parameters.

At the opposite extreme, k≫λ/βk \gg\lambda/\beta, the factor cos⁡(kd)\cos(kd) executes many oscillations across the plateau, and the sum self-averages: the band is flat to a few parts in 10510^5 of its full span for k>0.5k > 0.5, with every short-wavelength mode precessing at a nearly common rate. All of the dispersion in ω(k)\omega(k) – and hence all of the chain’s capacity to transport an eccentricity signal – resides at wavenumbers of order λ/β\lambda/\beta, 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 m=1m = 1 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 ≃3.4×103\simeq3.4 \times10^3 wires per TsecT_{\rm sec} for scales comparable to the softening length – the fastest signals the chain supports, crossing the full N=1000N = 1000 annulus in ∼0.3Tsec\sim0.3T_{\rm sec} – and collapses quasi-exponentially toward smaller scales, with a measured e-folding scale of ≃1.3λ/β\simeq1.3\lambda/\beta in kk. This is the discrete counterpart of the exponential factor e−∣q∣be^{-|q|b} that multiplies the self-gravity term in the WKB dispersion relation of a Plummer-softened disc, ω=ωˉ+(πGΣ/Ω)∣q∣e−∣q∣b\omega= \bar{\omega} + (\pi G\Sigma/\Omega)|q|e^{-|q|b} ((Tremaine 2001, eq. 14; see also Hahn 2003)), where qq is the physical radial wavenumber and bb the softening length. With q=k/(λa)q = k/(\lambda a) and b=βab = \beta a, the exponent is ∣q∣b=kβ/λ|q|b=k\beta/\lambda, and the maximum of ω\omega at ∣q∣=1/b|q|=1/b maps onto the peak at k=λ/βk=\lambda/\beta 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 ω\omega and changes sign beyond it, with a weaker lobe of opposite sign that dies away by k∼k\sim several λ/β\lambda/\beta.

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 xx gives C2(x,β)=C2(0,β)−54πβ2∣x∣+O(x2)C_2(x,\beta)=C_2(0,\beta)-\frac{5}{4\pi\beta^2}|x|+O(x^2), the linear term being precisely the subleading coefficient derived in Appendix B, evaluated in the λ≪β\lambda\ll\beta regime. Because the high-kk asymptotics of a Fourier series are controlled by the short-distance regularity of its kernel, this ∣x∣|x| cusp imprints an algebraic floor on the group velocity,

∣vg∣≃5νλπβ2k−3=1.47×10−4(krad wire−1)−3wiresTsec,(13)\begin{aligned} |v_g|\simeq\frac{5\nu\lambda}{\pi\beta^2}k^{-3} \\ &=1.47\times10^{-4}\left(\frac{k}{\mathrm{rad\ wire}^{-1}}\right)^{-3}\frac{\mathrm{wires}}{T_{\mathrm{sec}}}, \tag*{(13)} \end{aligned}

an analytic prediction valid in the intermediate regime λ/β≪k≪1\lambda/\beta\ll k\ll1, where it matches the converged numerical curve to better than 0.1%0.1\% (Figure 2c); at the zone edge, lattice symmetry forces vg(π)=0v_g(\pi)=0 exactly, and the numerical curve turns down accordingly. At k=1k=1, a packet advances by one wire per ∼7×103Tsec\sim7\times10^3T_{\mathrm{sec}}. 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 z~(k,0)\tilde z(k,0) of each of the four initial conditions exactly through the band. The calculation is performed on a periodic homogeneous chain of N=8192N=8192 wires, each carrying the mean wire mass of the graded chain, coupled through the image-summed couplings defined above (with the corresponding C1C_1 diagonal), so that the discrete Fourier transform diagonalizes the system exactly; each initial spectrum is advanced as z~(k,t)=z~(k,0)eiω(k)t\tilde z(k,t)=\tilde z(k,0)e^{i\omega(k)t}, and the retained AMD is evaluated at t=10Tsect=10T_{\mathrm{sec}} in the same ±β/λ\pm\beta/\lambda window (ω=201\omega=201 wires) applied to the spectra. Because a finite chain retains a residual background even for a fully dispersed perturbation (the window captures a fraction w/Nw/N of uniformly spread AMD), we quote both the raw retention RR and the background-corrected trapped fraction f=(R−w/N)/(1−w/N)f=(R-w/N)/(1-w/N). The spectral calculation predicts f=0.97f=0.97, 0.910.91, 0.230.23, and 0.000.00 (R=0.974R=0.974, 0.9090.909, 0.2520.252, 0.0230.023) for the single-wire, σ=1\sigma=1, σ=10\sigma=10, and σ=100\sigma=100 initial conditions, respectively; the gradedchain experiments of Figure 1 yield f=0.97f = 0.97, 0.91, 0.29, and 0.00 (R=0.978R = 0.978, 0.924, 0.433, 0.199, the larger raw values reflecting the smaller chain, w/N=0.201w/N = 0.201).

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 σ=10\sigma= 10, 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 d=N/2d = N/2, 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 N=8192N = 8192 this term exceeds the physical frequency spacing of adjacent modes by a factor of several for the slowest modes, k≳2.7k \gtrsim2.7, which carry the late tail, and transfers them out of the retention window prematurely, while leaving the modes near k∼1k \sim1 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 NN 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 3×107Tsec3 \times10^{7} T_{\mathrm{sec}} by 0.002 (across the full range of NN the latter rises from 0.10 to 0.11). Carrying the exact spectral evolution to 109Tsec10^{9} T_{\mathrm{sec}}, we find that the single-wire core retains half of its AMD out to t1/2≃2.7×106Tsect_{1/2} \simeq2.7 \times10^{6} T_{\mathrm{sec}}, still retains 11% at 3×107Tsec3 \times10^{7} T_{\mathrm{sec}}, falls below a background-corrected retained fraction of 5% by ∼6.5×107Tsec\sim6.5 \times10^{7} T_{\mathrm{sec}}, and reaches 3% at 10810^{8} and zero to within ±0.01\pm0.01 at 109Tsec10^{9} T_{\mathrm{sec}}.

Long-time retention of a single-wire perturbation on the periodic homogeneous chain

Figure 3. Long-time retention of a single-wire perturbation on the periodic homogeneous chain. Solid curves: background-corrected retained fraction ff within the ±β/λ\pm\beta/\lambda window for rings of N=8192N = 8192, 16384, 32 768, and 65 536 wires built with the image-summed coupling, which converge on successive doublings of NN. Gray dashed: the N=8192N = 8192 ring with the coupling truncated at d=N/2d = N/2, 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 (N=1000N = 1000), which plateaus and shows no measurable decay. Dash-dotted red: the σ=1\sigma= 1 Gaussian on the N=65536N = 65 536 ring. Horizontal lines mark f=1/2f = 1/2 and f=5%f = 5\%.

The decay is ballistic rather than diffusive: a mode of wavenumber kk exits the retention window once ∣vg(k)∣t|v_g(k)|t 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 vg→0v_g \to0, 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 kk: the σ=1\sigma= 1 Gaussian, whose spectrum sits at smaller kk where the floor is higher, decays roughly forty times faster than the single wire (t1/2≃7×104Tsect_{1/2} \simeq7 \times10^{4} T_{\mathrm{sec}}). 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 3×107Tsec3 \times10^{7} T_{\mathrm{sec}} – 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 σ≪β/λ\sigma\ll\beta/\lambda 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 σ∼β/λ\sigma\sim\beta/\lambda occurs because 1/σ1/\sigma then passes the knee of vg(k)v_g(k), which sits at k∼λ/βk \sim\lambda/\beta 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 β/λ=20\beta/\lambda= 20–200200, the retained fraction at t=10 Tsect = 10\,T_{\rm sec} within the ±β/λ\pm\beta/\lambda window approximately collapses onto a single function of σλ/β\sigma\lambda/\beta, with half of the imposed AMD retained at σλ/β≃0.04\sigma\lambda/\beta\simeq0.04–0.050.05, and at fixed physical β\beta 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 ∣k∣<kc|k| < k_c – where the cutoff is fixed in advance from the dispersion relation as the largest wavenumber at which a mode still leaves the ±β/λ\pm\beta/\lambda retention window within 10Tsec10T_{\rm sec}, that is, ∣vg(kc)∣10Tsec=β/λ|v_g(k_c)|10T_{\rm sec} = \beta/\lambda evaluated on the outer flank beyond the second, opposite-sign lobe of vgv_g, giving kc≃8λ/βk_c \simeq8\lambda/\beta – removes 2.6%2.6\% of the initial AMD. The remaining profile already has negative wings with a depth of approximately 2.6%2.6\% of the central peak and a half-width of order π/kc≃40\pi/k_c \simeq40 wires. Figure 4 compares this projected initial condition with the evolved profiles at t=10Tsect = 10T_{\rm sec} 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.

Polarized morphology as a spectral projection

Figure 4. The polarized morphology as a spectral projection. Solid black: the single-wire initial condition with its escaping long-wavelength content (∣k∣<kc=8λ/β|k| < k_c = 8\lambda/\beta) removed, at t=0t = 0. Dashed red: the periodic homogeneous chain of § 3.2 evolved to t=10Tsect = 10T_{\rm sec}. Dotted purple: the graded chain of Figure 1(d) at t=10Tsect = 10T_{\rm sec}. 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 ±β/λ\pm\beta/\lambda 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 σ\sigma 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 σ≪β/λ\sigma\ll\beta/\lambda wires. For the parameter set adopted in this paper (β=10−2\beta= 10^{-2}, λ=10−4\lambda= 10^{-4}), the softening length spans β/λ=100\beta/\lambda= 100 wires, the polarized shell that surrounds a trapped wire extends over about 40% of that scale at t=10Tsect = 10 T_{\mathrm{sec}} – 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 t=10Tsect = 10 T_{\mathrm{sec}} and within the ±β/λ\pm\beta/\lambda window, half of the imposed AMD is retained for σ≃0.05 β/λ\sigma\simeq0.05\,\beta/\lambda, 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 β\beta, 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 ≳8×1010 yr\gtrsim8 \times10^{10}\,\mathrm{yr}, 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 a<a′a<a', with eccentricities (e,e′)(e,e') and apsidal longitudes (ϖ,ϖ′)(\varpi,\varpi'), we evaluate the doubly-averaged interaction

⟨R⟩=1(2π)2∬Gm′ dM dM′D2+β2r′2,(14)\langle R\rangle=\frac{1}{(2\pi)^2}\iint\frac{Gm'\,\mathrm{d}M\,\mathrm{d}M'}{\sqrt{D^2+\beta^2r'^2}}, \tag*{(14)}

where D(M,M′;a,a′,e,e′,ϖ−ϖ′)\mathcal{D}(M,M';a,a',e,e',\varpi-\varpi') is the instantaneous in-plane separation between the two wires and r′r' is the instantaneous radius of the outer wire, both expressed as functions of the mean anomalies MM and M′M' via the standard Keplerian relations. The α\alpha-derivative construction of equation (7) rests on the fact that the pairwise potential, like the bare 1/∣r−r′∣1/|\mathbf{r}-\mathbf{r}'|, is homogeneous of degree −1-1 in the two orbital radii, so that its dependence on (a,a′)(a,a') enters only through α=a/a′\alpha=a/a' and an overall factor of 1/a′1/a'. A softening term must scale with the radii in the same way if the construction is to remain exact, and among such choices, β2r′2\beta^2r'^2 — 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 1+α2+β2−2αcos⁡ψ1+\alpha^2+\beta^2-2\alpha\cos\psi, that is, to the coefficients B1/2(m)(α,β)B_{1/2}^{(m)}(\alpha,\beta) of equation (6). For radially non-overlapping orbits, it coincides with the β2max⁡(r2,r′2)\beta^2\max(r^2,r'^2) form tabulated by Sefilian & Rafikov [22] (their Table B1). The comparison below tests the r′2r'^2 form; at the smallest λ\lambda of the β=100λ\beta=100\lambda 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 ϵ≪λ\epsilon\ll\lambda there. A constant softening length, β2a′2\beta^2a'^2, 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 C2C_2 once β\beta approaches unity: by 12%, 84%, and 610% at β=0.3\beta=0.3, 1, and 3 along the β=100λ\beta=100\lambda family considered below. The ee self-coefficient, extracted at e′=0e'=0 where r′=a′r'=a' 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 (1−ecos⁡E)(1−e′cos⁡E′)(1-e\cos E)(1-e'\cos E') supplying the transformation of the mean-anomaly measure. Working in units in which G=m′=a′=1G=m'=a'=1, the orbit-averaged disturbing function admits the small-eccentricity expansion

⟨R⟩(e,e′,Δϖ)=R0+Ae22+A′e′22+Bee′cos⁡Δϖ+⋯ ,(15)\langle R\rangle(e,e',\Delta\varpi)=R_0+A\frac{e^2}{2}+A'\frac{e'^2}{2}+Bee'\cos\Delta\varpi+\cdots, \tag*{(15)}

where Δϖ≡ϖ−ϖ′\Delta\varpi\equiv\varpi-\varpi', R0R_0 is the circular background, and the ellipsis stands for higher powers of the eccentricities. Consistency of the softened prescription requires A=A′=C1A=A'=C_1 and B=C2B=C_2; 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 ϵ=min⁡(10−3,β/30)\epsilon=\min(10^{-3},\beta/30) in eccentricity — small enough that the O(ϵ2/β2)O(\epsilon^2/\beta^2) truncation error of the finite differences is at most ∼10−3\sim10^{-3} 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 ⟨R⟩\langle R\rangle at a small set of sample points,

Adir=⟨R⟩(+ϵ,0,0)+⟨R⟩(−ϵ,0,0)−2⟨R⟩(0,0,0)ϵ2,A_{\mathrm{dir}}=\frac{\langle R\rangle(+\epsilon,0,0)+\langle R\rangle(-\epsilon,0,0)-2\langle R\rangle(0,0,0)}{\epsilon^2},
Adir′=⟨R⟩(0,+ϵ,0)+⟨R⟩(0,−ϵ,0)−2⟨R⟩(0,0,0)ϵ2,A'_{\mathrm{dir}}=\frac{\langle R\rangle(0,+\epsilon,0)+\langle R\rangle(0,-\epsilon,0)-2\langle R\rangle(0,0,0)}{\epsilon^2},
Bdir=⟨R⟩(ϵ,ϵ,0)−⟨R⟩(ϵ,ϵ,π)2ϵ2,(16)B_{\mathrm{dir}}=\frac{\langle R\rangle(\epsilon,\epsilon,0)-\langle R\rangle(\epsilon,\epsilon,\pi)}{2\epsilon^2}, \tag*{(16)}

in which a negative eccentricity denotes an apsidal line advanced by π\pi. The centered second differences cancel the background R0R_0 and return the self-coefficients up to O(ϵ2)O(\epsilon^2) truncation, while the π\pi shift in Δϖ\Delta\varpi flips the sign of the cross-harmonic alone.

We carry out the comparison along two one-parameter families, α=1/(1+λ)\alpha= 1/(1+\lambda) with β=10λ\beta= 10\lambda and β=100λ\beta= 100\lambda, sweeping λ\lambda logarithmically over two decades from 3×10−43 \times10^{-4} to 3×10−23 \times10^{-2}, on a 104×10410^4 \times10^4 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 1.6×10−31.6 \times10^{-3} at every point (and to better than 4×10−44 \times10^{-4} in the two self-coefficients), the residual being the truncation error of the finite differences; the agreement reaches the 10−510^{-5} level for λ≳3×10−3\lambda\gtrsim3 \times10^{-3}, including the points at β>1\beta> 1 where the constant-softening prescription departs from C2C_2 by factors of several. The outer wire’s e′2e'^2 self-coefficient coincides with C1C_1 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 β→0\beta\to0 (tested at λ=0.3\lambda= 0.3, β=10−6\beta= 10^{-6}), all three stencils reduce to the textbook Laplace–Lagrange values 14αb3/2(1)\frac{1}{4}\alpha b_{3/2}^{(1)} and −14αb3/2(2)-\frac{1}{4}\alpha b_{3/2}^{(2)} to better than 3×10−53 \times10^{-5}. Softening reverses the signs of both coefficients relative to their unsoftened counterparts over the range shown (C1<0C_1 < 0, C2>0C_2 > 0), and the figure plots their absolute values.

Verification plots of the softened coefficients

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 β=10λ\beta= 10\lambda; thick semi-transparent red curves: the same quantities at β=100λ\beta= 100\lambda. 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 e2e^2 self-coupling, compared with C1C_1; center: the ee′cos⁡(ϖ−ϖ′)ee'\cos(\varpi-\varpi') cross-coupling, compared with C2C_2; right: the outer wire’s e′2e'^2 self-coupling, also compared with C1C_1. The analytic and direct evaluations agree to plotting precision over the full two decades in λ\lambda and both softening families, including where β\beta exceeds unity. Absolute values are plotted; both coefficients are sign-reversed relative to their unsoftened counterparts throughout the range shown.

Asymptotic Expansion of C1C_1 and C2C_2 for Small λ\lambda and β\beta

In this Appendix we derive the leading- and logarithmic-order asymptotic behaviors of the softened secular coefficients C1C_1 and C2C_2 in the joint limit λ≪1\lambda\ll1 and β≪1\beta\ll1, with the natural regulator scale

ϵ2≡λ2+β2.(17)\epsilon^2 \equiv\lambda^2 + \beta^2. \tag*{(17)}

The calculation proceeds by a matched-asymptotic argument: the orbit-averaged integrands defining C1C_1 and C2C_2 are sharply peaked at ψ=0\psi= 0 when ϵ≪1\epsilon\ll1, 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

C1=12π∫0π[−αuD−3/2+34α2u2D−5/2−α2D−3/2] dψ,(18)C_1 = \frac{1}{2\pi}\int_0^\pi\left[-\alpha u D^{-3/2}+\frac{3}{4}\alpha^2u^2D^{-5/2}-\alpha^2D^{-3/2}\right]\,d\psi, \tag*{(18)}
C2=12π∫0πcos⁡ψ[2D−1/2+αuD−3/2−34α2u2D−5/2+α2D−3/2] dψ(19)C_2 = \frac{1}{2\pi}\int_0^\pi\cos\psi\left[2D^{-1/2}+\alpha uD^{-3/2}-\frac{3}{4}\alpha^2u^2D^{-5/2}+\alpha^2D^{-3/2}\right]\,d\psi \tag*{(19)}

where D≡1+α2+β2−2αcos⁡ψD \equiv1+\alpha^2+\beta^2-2\alpha\cos\psi and u≡2α−2cos⁡ψu\equiv2\alpha-2\cos\psi.

LOCAL APPROXIMATION

Substituting α=1−λ\alpha=1-\lambda into the definitions of DD and uu3 gives

D=λ2+β2+4(1−λ)sin⁡2(ψ/2),u=4sin⁡2(ψ/2)−2λ.(20)\begin{aligned} D&=\lambda^2+\beta^2+4(1-\lambda)\sin^2(\psi/2),\\ u&=4\sin^2(\psi/2)-2\lambda. \tag*{(20)} \end{aligned}

Expanding sin⁡2(ψ/2)=ψ2/4−ψ4/48+⋯\sin^2(\psi/2)=\psi^2/4-\psi^4/48+\cdots in the small-ψ\psi region where the integrands peak, we obtain

D≃ψ2+ε2−112ψ4+O(λψ2,ψ6),u≃ψ2−2λ+O(ψ4,λψ2).(21)\begin{aligned} D&\simeq\psi^2+\varepsilon^2-\frac{1}{12}\psi^4+O(\lambda\psi^2,\psi^6),\\ u&\simeq\psi^2-2\lambda+O(\psi^4,\lambda\psi^2). \tag*{(21)} \end{aligned}

We work in the local region ∣ψ∣<A|\psi|<A with ε≪A≪1\varepsilon\ll A\ll1; the matching constant AA enters every logarithmic integral as ln⁡(2A/ε)\ln(2A/\varepsilon) and cancels against the outer contribution, leaving only the ln⁡ε2=ln⁡(λ2+β2)\ln\varepsilon^2=\ln(\lambda^2+\beta^2) pieces in the final result. We retain the leading D≃ψ2+ε2D\simeq\psi^2+\varepsilon^2 together with the −ψ4/12-\psi^4/12 correction: as we shall see, the latter contributes at the logarithmic order we are computing through its effect on the α2D−3/2\alpha^2D^{-3/2} pieces of the two integrands.

BASIC LOCAL INTEGRALS

We define two families of local integrals on [0,A][0,A]. The first are convergent in the A→∞A\to\infty limit and supply the power-law ε−n\varepsilon^{-n} pieces:

Ia≡∫0Adψ(ψ2+ε2)3/2≃1ε2,Ib≡∫0Adψ(ψ2+ε2)5/2≃23ε4,Ic≡∫0Aψ2 dψ(ψ2+ε2)5/2≃13ε2.(22)\begin{aligned} I_a&\equiv\int_0^A\frac{d\psi}{(\psi^2+\varepsilon^2)^{3/2}}\simeq\frac{1}{\varepsilon^2},\\ I_b&\equiv\int_0^A\frac{d\psi}{(\psi^2+\varepsilon^2)^{5/2}}\simeq\frac{2}{3\varepsilon^4},\\ I_c&\equiv\int_0^A\frac{\psi^2\,d\psi}{(\psi^2+\varepsilon^2)^{5/2}}\simeq\frac{1}{3\varepsilon^2}. \tag*{(22)} \end{aligned}

The second are logarithmically divergent in AA and supply the ln⁡ε2\ln\varepsilon^2 pieces:

L1≡∫0Adψ(ψ2+ε2)1/2≃ln⁡(2A/ε),L3≡∫0Aψ2 dψ(ψ2+ε2)3/2≃ln⁡(2A/ε)−1,L5≡∫0Aψ4 dψ(ψ2+ε2)5/2≃ln⁡(2A/ε)−43.(23)\begin{aligned} L_1&\equiv\int_0^A\frac{d\psi}{(\psi^2+\varepsilon^2)^{1/2}}\simeq\ln(2A/\varepsilon),\\ L_3&\equiv\int_0^A\frac{\psi^2\,d\psi}{(\psi^2+\varepsilon^2)^{3/2}}\simeq\ln(2A/\varepsilon)-1,\\ L_5&\equiv\int_0^A\frac{\psi^4\,d\psi}{(\psi^2+\varepsilon^2)^{5/2}}\simeq\ln(2A/\varepsilon)-\frac{4}{3}. \tag*{(23)} \end{aligned}

The third of these follows from ψ4=(ψ2+ε2)2−2ε2(ψ2+ε2)+ε4\psi^4=(\psi^2+\varepsilon^2)^2-2\varepsilon^2(\psi^2+\varepsilon^2)+\varepsilon^4, which reduces L5L_5 to L1L_1, IaI_a, and IbI_b.

C1C_1 TO LOGARITHMIC ORDER

Substituting the local approximations into equation (B2) and expanding (ψ2−2λ)2=ψ4−4λψ2+4λ2(\psi^2-2\lambda)^2=\psi^4-4\lambda\psi^2+4\lambda^2, the six monomials of the integrand contribute, term by term:

−ψ2/D3/2→−L3,+2λ/D3/2→+2λIa,+34ψ4/D5/2→+34L5,−3λψ2/D5/2→−3λIc,+3λ2/D5/2→+3λ2Ib,−1/D3/2→−Ia.(24)\begin{aligned} -\psi^2/D^{3/2} &\to-L_3,\\ +2\lambda/D^{3/2} &\to+2\lambda I_a,\\ +\frac{3}{4}\psi^4/D^{5/2} &\to+\frac{3}{4}L_5,\\ -3\lambda\psi^2/D^{5/2} &\to-3\lambda I_c,\\ +3\lambda^2/D^{5/2} &\to+3\lambda^2 I_b,\\ -1/D^{3/2} &\to-I_a. \tag*{(24)} \end{aligned}

The first and third entries are logarithmic, with coefficients −1-1 and +3/4+3/4 on ln⁡(2A/ε)\ln(2A/\varepsilon), while the remaining four are power-law. A further logarithmic contribution comes from the −ψ4/12-\psi^4/12 correction to DD in the last entry, −α2/D3/2-\alpha^2/D^{3/2}, which is not negligible at this order. Expanding

D−3/2=D0−3/2[1+18ψ4D0+…],D0≡ψ2+ε2,(25)D^{-3/2}=D_0^{-3/2}\left[1+\frac{1}{8}\frac{\psi^4}{D_0}+\ldots\right],\qquad D_0\equiv\psi^2+\varepsilon^2, \tag*{(25)}

and integrating term by term, the −α2/D3/2-\alpha^2/D^{3/2} piece acquires the additional contribution

−18L5=−18ln⁡(2A/ε)+16,(26)-\frac{1}{8}L_5=-\frac{1}{8}\ln(2A/\varepsilon)+\frac{1}{6}, \tag*{(26)}

of the same logarithmic order as the leading pieces in equation (B8). The logarithmic coefficients therefore collect to

−1+34−18=−38onln⁡(2A/ε).(27)-1+\frac{3}{4}-\frac{1}{8}=-\frac{3}{8}\quad\text{on}\quad\ln(2A/\varepsilon). \tag*{(27)}

Before assembling the power-law pieces, we note that at the order of the subleading λ/ε2\lambda/\varepsilon^2 terms, the O(λ)O(\lambda) structure of the integrand must be retained as well: the prefactors carry α=1−λ\alpha=1-\lambda and α2=1−2λ\alpha^2=1-2\lambda, and DD acquires the correction −λψ2-\lambda\psi^2, each of which feeds the power-law integrals at relative order λ\lambda (for example, −α2D−3/2→−(1−2λ)D0−3/2[1+32λψ2/D0+…]-\alpha^2D^{-3/2}\to-(1-2\lambda)D_0^{-3/2}[1+\frac{3}{2}\lambda\psi^2/D_0+\ldots] supplies the additional pieces +2λIa−32λIc+2\lambda I_a-\frac{3}{2}\lambda I_c). Collecting all power-law contributions using IaI_a, IbI_b, IcI_c from above,

−1ε2+5λ2ε2+2λ2ε4−3λ3ε4,(28)-\frac{1}{\varepsilon^2}+\frac{5\lambda}{2\varepsilon^2}+\frac{2\lambda^2}{\varepsilon^4}-\frac{3\lambda^3}{\varepsilon^4}, \tag*{(28)}

one obtains, after dropping the ln⁡(2A)\ln(2A) matching constant and writing ln⁡ε=12ln⁡(λ2+β2)\ln\varepsilon=\frac{1}{2}\ln(\lambda^2+\beta^2),

C1(λ,β)≃λ2−β22π(λ2+β2)2+λ(5β2−λ2)4π(λ2+β2)2+332πln⁡(λ2+β2)+regular,(29)\begin{aligned} C_1(\lambda,\beta)&\simeq\frac{\lambda^2-\beta^2}{2\pi(\lambda^2+\beta^2)^2}+\frac{\lambda(5\beta^2-\lambda^2)}{4\pi(\lambda^2+\beta^2)^2}\\ &\quad+\frac{3}{32\pi}\ln(\lambda^2+\beta^2)+\text{regular}, \tag*{(29)} \end{aligned}

where the leading 1/ε41/\varepsilon^4 structure arises from rewriting 2λ2/ε4−1/ε22\lambda^2/\varepsilon^4-1/\varepsilon^2 in terms of λ2−β2=2λ2−ε2\lambda^2-\beta^2=2\lambda^2-\varepsilon^2, and the subleading term collects the O(λ)O(\lambda) pieces through the identity 5λ/(2ε2)−3λ3/ε4=λ(5β2−λ2)/(2ε4)5\lambda/(2\varepsilon^2)-3\lambda^3/\varepsilon^4=\lambda(5\beta^2-\lambda^2)/(2\varepsilon^4).

C2C_2 TO LOGARITHMIC ORDER

The calculation for C2C_2 follows the same logic, with the additional complication that the cos⁡ψ=1−ψ2/2+O(ψ4)\cos\psi=1-\psi^2/2+O(\psi^4) factor multiplies each piece. The leading log contributions from the four monomials of equation (B3) accumulate as follows:

  • 2cos⁡ψ/D1/22\cos\psi/D^{1/2}: yields +2L1+2L_1, with ψ2cos⁡ψ\psi^2\cos\psi corrections suppressed by ε2ln⁡ε\varepsilon^2\ln\varepsilon. Log coefficient +2+2.

  • cos⁡ψ⋅αψ/D3/2\cos\psi\cdot\alpha\psi/D^{3/2}: at leading order in λ\lambda and cos⁡ψ\cos\psi, ∫(ψ2−2λ)/D3/2 dψ=L3−2λIa\int(\psi^2-2\lambda)/D^{3/2}\,d\psi=L_3-2\lambda I_a, with cos⁡ψ\cos\psi- and λ\lambda-suppressed log corrections. Log coefficient +1+1.

  • 34cos⁡ψ⋅α2u2/D5/2\frac{3}{4}\cos\psi\cdot\alpha^{2}u^{2}/D^{5/2}: yields −34L5+3λIc−3λ2Ib-\frac{3}{4}L_{5}+3\lambda I_{c}-3\lambda^{2}I_{b} at leading order, plus regular ψ6/D5/2\psi^{6}/D^{5/2} and λ\lambda-suppressed pieces. Log coefficient −3/4-3/4.

  • cos⁡ψ⋅α2/D3/2\cos\psi\cdot\alpha^{2}/D^{3/2}: yields Ia−12L3+18L5I_{a}-\frac{1}{2}L_{3}+\frac{1}{8}L_{5}, where the three terms come, respectively, from the leading cos⁡ψ→1\cos\psi\to1 piece, from the −ψ2/2-\psi^{2}/2 correction to cos⁡ψ\cos\psi, and from the −ψ4/12-\psi^{4}/12 correction to DD. Log coefficient −12+18=−38-\frac{1}{2}+\frac{1}{8}=-\frac{3}{8}.

The sum of the four logarithmic coefficients is

+2+1−34−38=158onln⁡(2A/ε).(30)+2+1-\frac{3}{4}-\frac{3}{8}=\frac{15}{8}\quad\text{on}\quad\ln(2A/\varepsilon). \tag*{(30)}

The power-law pieces aggregate, by the same routine as in C1C_{1} – including the O(λ)\mathcal{O}(\lambda) prefactor and DD-corrections retained there – into the exact mirror of the C1C_{1} collection, giving

C2(λ,β)≃−λ2−β22π(λ2+β2)2−λ(5β2−λ2)4π(λ2+β2)2−1532πln⁡(λ2+β2)+regular.(31)C_{2}(\lambda,\beta)\simeq-\frac{\lambda^{2}-\beta^{2}}{2\pi(\lambda^{2}+\beta^{2})^{2}}-\frac{\lambda(5\beta^{2}-\lambda^{2})}{4\pi(\lambda^{2}+\beta^{2})^{2}} -\frac{15}{32\pi}\ln(\lambda^{2}+\beta^{2})+\text{regular}. \tag*{(31)}

SUMMARY AND PHYSICAL CONTENT

Combining equations (B13) and (B15), the sum and difference take the compact forms

C1+C2≃−38πln⁡(λ2+β2)+regular,C_{1}+C_{2}\simeq-\frac{3}{8\pi}\ln(\lambda^{2}+\beta^{2})+\text{regular},
C1−C2≃λ2−β2π(λ2+β2)2+λ(5β2−λ2)2π(λ2+β2)2+916πln⁡(λ2+β2)+regular.(32)C_{1}-C_{2}\simeq\frac{\lambda^{2}-\beta^{2}}{\pi(\lambda^{2}+\beta^{2})^{2}}+\frac{\lambda(5\beta^{2}-\lambda^{2})}{2\pi(\lambda^{2}+\beta^{2})^{2}} +\frac{9}{16\pi}\ln(\lambda^{2}+\beta^{2})+\text{regular}. \tag*{(32)}

The leading ε−4\varepsilon^{-4} and ε−2\varepsilon^{-2} singularities of C1C_{1} and C2C_{2} are exactly antisymmetric and cancel identically in the sum C1+C2C_{1}+C_{2} that controls the precession rate of the chain-wide aligned configuration at the k→0k\to0 end of the band (§ 3.2). The logarithmic pieces, by contrast, are not antisymmetric: with coefficients +3/(32π)+3/(32\pi) and −15/(32π)-15/(32\pi), 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 α=1\alpha=1 for the logarithmic pieces, and along rays of fixed λ/β\lambda/\beta for the power-law terms.

A few limiting cases are instructive. At β=0\beta=0 the leading piece gives C1≃+1/(2πλ2)C_{1}\simeq+1/(2\pi\lambda^{2}) and C2≃−1/(2πλ2)C_{2}\simeq-1/(2\pi\lambda^{2}): the unsoftened form recovers the familiar (1−α)−2(1-\alpha)^{-2} divergence at α→1\alpha\to1, with λ\lambda now playing the role of the only regulator. At λ=0\lambda=0 the leading piece reverses sign, giving C1≃−1/(2πβ2)C_{1}\simeq-1/(2\pi\beta^{2}) and C2≃+1/(2πβ2)C_{2}\simeq+1/(2\pi\beta^{2}). The transition between these two regimes occurs at λ∼β\lambda\sim\beta; at exactly λ=β\lambda=\beta the leading ε−4\varepsilon^{-4} piece vanishes and the subleading term takes over, reducing to ±1/(4πλ)\pm1/(4\pi\lambda).

The dynamical content of equation (B16) is that the apsidally aligned configuration – the k→0k\to0 end of the band of § 3.2, whose precession rate is set by ν(C1+C2)\nu(C_{1}+C_{2}) 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 νln⁡(1/ε)\nu\ln(1/\varepsilon), parametrically smaller than the anti-aligned rate ν(C1−C2)\nu(C_{1}-C_{2}) by a factor of ε2ln⁡(1/ε)\varepsilon^{2}\ln(1/\varepsilon). 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 A\mathbf{A} 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, jˉα=∑jj∣Vjα∣2\bar{j}_{\alpha} = \sum_j j |V_{j\alpha}|^2, 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-∣λn∣|\lambda_n| 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-∣λn∣|\lambda_n| modes appear as fully extended vertical bands. To quantify the spatial extent of a mode we use its participation ratio,

Eigenstructure of the softened Laplace–Lagrange matrix

Figure 6. Eigenstructure of the softened Laplace–Lagrange matrix A for the parameter set of § 2.2 (N=1000N = 1000, λ=10−4\lambda= 10^{-4}, β=100λ\beta= 100\lambda). Panel (a): two-dimensional map of ∣Vjα∣2|V_{j\alpha}|^2 on a logarithmic color scale (high amplitude dark), with eigenmodes sorted by their spatial center of mass on the α\alpha axis and ring index jj 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 PnP_n (equation (33)). All five exhibit the alternating-sign envelope characteristic of the short-wavelength (k≫λ/βk \gg\lambda/\beta) end of the band.

Pn=(∑jVjn2)2∑jVjn4,(33)P_n = \frac{\left(\sum_j V_{jn}^{2}\right)^2}{\sum_j V_{jn}^{4}}, \tag*{(33)}

which equals NN 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 ΛjVjn\sqrt{\Lambda_j}V_{jn} instead, which measure the distribution of a mode’s AMD, changes the values only at the percent level, since Λj\Lambda_j varies by 16% across the annulus.) The median participation ratio over the dense band is P≃2.2P \simeq2.2 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 AjjA_{jj} 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 +1/[2π(dλ)2]+1/[2\pi(d\lambda)^2] tail of C1C_1 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 AjjA_{jj} closely matches its eigenfrequency, the two agreeing to better than 10−410^{-4} at the mode’s amplitude peak. Diagonalizing the homogeneous control chain introduced below returns compact eigenvectors with median P≃4P \simeq4 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 P≃2N/3P \simeq2N/3.

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 ω\omega is singular at the radius where ω\omega 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 (β=10−2\beta= 10^{-2}, fixed annulus and total mass) for N=500N = 500, 1000, 2000, and 4000 (Table 1). The participation ratio of the dense-band modes remains at P≃2.1P \simeq2.1–2.22.2 wires throughout, so that the physical width of a mode’s core shrinks in proportion to the wire spacing (∝N−1.03\propto N^{-1.03}). 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,

NNPP (wires)core width/βa\beta aRMS extent/βa\beta alevel spacing/span
5002.190.0440.653.8×10−43.8 \times10^{-4}
10002.160.0220.641.7×10−41.7 \times10^{-4}
20002.090.0100.637.9×10−57.9 \times10^{-5}
40002.080.0050.633.8×10−53.8 \times10^{-5}

Table 1. Resolution dependence of the dense-band eigenmodes of the graded chain at fixed physical softening (β=10−2\beta= 10^{-2}; annulus [0.95,1.05][0.95, 1.05]; total mass 5×10−7M⋆5 \times10^{-7} M_{\star}). PP is the median participation ratio over the dense band; the core width is PλP\lambda; the RMS extent is the standard deviation wnw_n 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 NN.

wn=[∑j∣Vjn∣2(aj−aˉn)2]1/2w_n = \left[\sum_j |V_{jn}|^2(a_j-\bar{a}_n)^2\right]^{1/2}

with aˉn=∑j∣Vjn∣2aj\bar{a}_n = \sum_j |V_{jn}|^2 a_j and ∑j∣Vjn∣2=1\sum_j |V_{jn}|^2 = 1 – 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 0.0064a≃0.63βa0.0064a \simeq0.63\beta a, constant to 3% across the four resolutions. The median spacing between adjacent dense-band eigenvalues falls as N−1.10N^{-1.10}, 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: N=1000N = 1000 wires of equal mass mˉ=Mdisk/N\bar{m} = M_{\mathrm{disk}}/N, 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 ±β\pm\beta wires of the launching site is 98% at 10 Tsec10\,T_{\mathrm{sec}}, and 97% at 100 TsecT_{\mathrm{sec}}, 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, λ=10−4\lambda= 10^{-4} and β=100λ\beta= 100\lambda. In this Appendix, we verify that the confinement they document is controlled by the dimensionless ratio σλ/β\sigma\lambda/\beta – rather than by any feature of that particular grid – and that it survives the replacement of the softening prescription itself.

We first repeat the σ\sigma-sweep of Figure 1 on graded chains with β/λ=20\beta/\lambda= 20, 50, 100, and 200 (at fixed λ=10−4\lambda= 10^{-4}), measuring in each case the background-corrected trapped fraction ff within a window of half-width β/λ\beta/\lambda wires at t=10Tsect = 10T_{\mathrm{sec}}, with TsecT_{\mathrm{sec}} evaluated per chain. Figure 7(a) shows the four curves against the rescaled width x=σλ/βx = \sigma\lambda/\beta, 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 x=0.050x = 0.050, 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, β/λ=200\beta/\lambda= 200, 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.)

Universality of the confinement

Figure 7. Universality of the confinement. Panel (a): background-corrected trapped fraction ff at t=10Tsect = 10T_{\mathrm{sec}}, measured within a window of half-width β/λ\beta/\lambda wires, as a function of the rescaled perturbation width x=σλ/βx = \sigma\lambda/\beta, for graded chains with β/λ=20\beta/\lambda= 20, 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 x≃0.04x \simeq0.04–0.050.05; the non-collapsing excursions at x≳0.3x \gtrsim0.3 for the largest windows are a finite-size effect discussed in the text. Panel (b): resolution study at fixed physical problem – β=10−2\beta= 10^{-2}, fixed radial extent, fixed physical perturbation width and retention window – for N=500N = 500, 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 β=10−2\beta= 10^{-2}, the radial extent [0.95,1.05][0.95, 1.05], a Gaussian perturbation of physical width 10−310^{-3}, and a retention window of physical half-width 0.01=β0.01 = \beta, we find N∈{500,1000,2000}N \in\{500, 1000, 2000\}, so that β/λ≃50\beta/\lambda\simeq50, 100, and 200. The trapped fraction at 10Tsec10T_{\mathrm{sec}} is f=0.255f = 0.255, 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 102Tsec10^{2}T_{\mathrm{sec}} and remains there through 3×107Tsec3 \times10^{7}T_{\mathrm{sec}} at every resolution: over the interval 10610^{6}–3×107Tsec3 \times10^{7}T_{\mathrm{sec}}, the beat-averaged retained fraction varies by less than 0.02, 0.01, and 0.005 about constant levels of f≃0.93f \simeq0.93, 0.96, and 0.98 for N=500N = 500, 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 ≃11%\simeq11\% by 3×107Tsec3 \times10^{7}T_{\mathrm{sec}} (5%5\% by ∼6.5×107\sim6.5 \times10^{7} and 3%3\% by 108Tsec10^{8}T_{\mathrm{sec}}). 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 λ/β\lambda/\beta (measured: 7.6%, 5.0%, and 2.4%), which is why the plateau level rises with NN. The Gaussian of fixed physical width of panel (b), followed to the same times, retains a residual core of f≃0.1f\simeq0.1–0.20.2 at all three resolutions with no trend either, although the slow beat of the finite chain (amplitude ±0.09\pm0.09) limits how precisely its level can be compared across NN. Because the secular clock itself is converged – the median eigenperiod changes by +0.3%+0.3\% and −0.2%-0.2\% between N=1000N=1000 and N=500N=500, 20002000 (the median single-wire precession period 2π/∣Ajj∣2\pi/\lvert A_{jj}\rvert by +2.3%+2.3\% and −1.2%-1.2\%) – the same conclusions follow when the three chains are compared at fixed physical time rather than in units of their own TsecT_{\mathrm{sec}}.

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 H=βH=\beta, the coupling coefficients become C1=(α/4)[B3/2(0)−3αH2(2+H2)−1B5/2(0)]C_1=(\alpha/4)\left[B_{3/2}^{(0)}-3\alpha H^2(2+H^2)^{-1}B_{5/2}^{(0)}\right] and C2=−(α/4)[B3/2(1)−3αH2(2+H2)−1B5/2(1)]C_2=-(\alpha/4)\left[B_{3/2}^{(1)}-3\alpha H^2(2+H^2)^{-1}B_{5/2}^{(1)}\right], where the Bs(m)B_s^{(m)} are softened Laplace coefficients with softening ϵ2(α)=H2(1+α2)\epsilon^2(\alpha)=H^2(1+\alpha^2) (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 ∼19\sim19 flatter for the thickness prescription – and the high-kk envelope of the group velocity is algebraic, ∝k−3.15\propto k^{-3.15}, 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 mj∝ajm_j\propto a_j, the two one-sided Laplace–Lagrange couplings of a pair at radius ratio α\alpha are να3/2C2(α)\nu\alpha^{3/2}C_2(\alpha) (outer wire forced by inner) and νC2(α)\nu C_2(\alpha) (inner by outer), with ν=nm/M\nu=nm/M evaluated at the inner wire, and the similarity transformation Λk/ΛjAkj\sqrt{\Lambda_k/\Lambda_j}A_{kj} that renders AA symmetric maps both onto their geometric mean, ad=νad3/4C2(αd)a_d=\nu a_d^{3/4}C_2(\alpha_d), with a0=2ν∑dαd3/4C1(αd)a_0=2\nu\sum_d\alpha_d^{3/4}C_1(\alpha_d) and the sums carried to d=105d=10^5; the ring coupling is summed over periodic images as in § 3.2. This kernel differs from the index-homogeneous kernel of the main text, ad=νC2(αd)a_d=\nu C_2(\alpha_d), only by the smooth factor αd3/4\alpha_d^{3/4}. Under this construction, the thickness-prescription floor at k=1k=1 lies a factor of ≃26\simeq26 below the Plummer one, and the half-life of a single-wire perturbation lengthens by the same factor (5.4×1075.4\times10^7 versus 2.1×106 Tsec2.1\times10^6\,T_{\mathrm{sec}}, converged on rings of up to $N=65536 wires; the latter differs from the 2.7×106Tsec2.7 \times10^{6} T_{\mathrm{sec}} of § 3.2 through the α3/4\alpha^{3/4} weighting). Part of this factor reflects the larger effective smoothing of the thickness regulator at like separations (ε(α=1)=2H\varepsilon(\alpha=1)=\sqrt{2}H): repeating the comparison at matched effective near-neighbor softening, H=β/2H=\beta/\sqrt{2}, gives factors of ≃13\simeq13 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.

Magnitude of the ring–ring coupling coefficient and group velocity for two softening prescriptions

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 H=βH=\beta (red). Panel (a): magnitude of the ring–ring coupling coefficient C2C_2 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 k−3k^{-3} at short wavelength, with the thickness prescription lying a factor of ≃26\simeq26 lower at k=1k=1 for the AMD-symmetrized chain kernel defined in the text (≃13\simeq13 at matched effective near-neighbor softening; the ratio depends on the symmetrization weighting, see text).

References

  1. [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. [2]Andrews, S. M., Huang, J., Pérez, L. M., et al. 2018, ApJL, 869, 2, L41. doi:10.3847/2041-8213/aaf741DOI
  3. [3]Batygin, K. 2018, MNRAS, 475, 4, 5070. doi:10.1093/mnras/sty162DOI
  4. [4]Binney, J. & Tremaine, S. 2008, Galactic Dynamics: Second Edition (Princeton: Princeton Univ. Press)
  5. [5]Borderies, N., Goldreich, P., & Tremaine, S. 1983, AJ, 88, 1560. doi:10.1086/113446DOI
  6. [6]Chandrasekhar, S. 1942, Principles of Stellar Dynamics (Chicago: University of Chicago Press)
  7. [7]Goldberg, M., Nesvorný, D., & Morbidelli, A. 2026, AJ, 171, 130. doi:10.3847/1538-3881/ae3564DOI
  8. [8]Goldreich, P. & Tremaine, S. 1979, AJ, 84, 1638. doi:10.1086/112589
  9. [9]Hahn, J. M. 2003, ApJ, 595, 1, 531. doi:10.1086/377195DOI
  10. [10]Hansen, B. M. S. 2009, ApJ, 703, 1, 1131. doi:10.1088/0004-637X/703/1/1131DOI
  11. [11]Hayashi, C. 1981, Progress of Theoretical Physics Supplement, 70, 35. doi:10.1143/PTPS.70.35
  12. [12]Izidoro, A., Dasgupta, R., Raymond, S. N., et al. 2022, Nature Astronomy, 6, 357. doi:10.1038/s41550-021-01557-zDOI
  13. [13]Kambara, Y. & Kokubo, E. 2025, ApJ, 985, 71. doi:10.3847/1538-4357/adc999DOI
  14. [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. [15]Laskar, J. 1997, A&A, 317, L75
  16. [16]Leykam, D., Andreanov, A., & Flach, S. 2018, Advances in Physics: X, 3, 1473052. doi:10.1080/23746149.2018.1473052
  17. [17]Melton, W. & Batygin, K. 2021, MNRAS, 502, 3, 3955. doi:10.1093/mnras/stab344DOI
  18. [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. [19]Mukherjee, S., Spracklen, A., Choudhury, D., et al. 2015, Physical Review Letters, 114, 245504. doi:10.1103/PhysRevLett.114.245504
  20. [20]Murray, C. D., & Dermott, S. F. 1999, Solar System Dynamics (Cambridge: Cambridge Univ. Press), doi:10.1017/CBO9781139174817DOI
  21. [21]Rauch, K. P. & Tremaine, S. 1996, New Astronomy, 1, 2, 149. doi:10.1016/S1384-1076(96)00012-7DOI
  22. [22]Sefilian, A. A. & Rafikov, R. R. 2019, MNRAS, 489, 3, 4176. doi:10.1093/mnras/stz2412DOI
  23. [23]Sefilian, A. A., Rafikov, R. R., & Wyatt, M. C. 2025, MNRAS, 543, 3, 3123. doi:10.1093/mnras/staf1655
  24. [24]Strocchi, F. 1966, Reviews of Modern Physics, 38, 1, 36. doi:10.1103/RevModPhys.38.36
  25. [25]Touma, J. R., Tremaine, S., & Kazandjian, M. V. 2009, MNRAS, 394, 2, 1085. doi:10.1111/j.1365-2966.2009.14409.xDOI
  26. [26]Touma, J., Tremaine, S., & Kazandjian, M. 2019, Physical Review Letters, 123, 2, 021103. doi:10.1103/PhysRevLett.123.021103
  27. [27]Tremaine, S. 1998, AJ, 116, 4, 2015. doi:10.1086/300567DOI
  28. [28]Tremaine, S. 2001, AJ, 121, 3, 1776. doi:10.1086/319398DOI
  29. [29]Vicencio, R. A., Cantillano, C., Morales-Inostroza, L., et al. 2015, Physical Review Letters, 114, 245503. doi:10.1103/PhysRevLett.114.245503
  30. [30]Walsh, K. J., Morbidelli, A., Raymond, S. N., et al. 2011, Nature, 475, 7355, 206. doi:10.1038/nature10201DOI
  31. [31]Ward, W. R. 1981, Icarus, 47, 2, 234. doi:10.1016/0019-1035(81)90169-XDOI
  32. [32]Warren, P. H. 2011, Earth and Planetary Science Letters, 311, 1-2, 93. doi:10.1016/j.epsl.2011.08.047
  33. [33]Weidenschilling, S. J. 1977, Ap&SS, 51, 1, 153. doi:10.1007/BF00642464DOI
  34. [34]Yang, Q. & Tamayo, D. 2024, ApJ, 968, 1, 20. doi:10.3847/1538-4357/ad3af1DOI

Paper details

vlnc:W_zxw7pqaj
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Physics and Astronomy

Not recorded for this paper · View statement →

Looking for related papers…
Contents