8. Phase Spiral 9 pts

Astrophysics · Galactic dynamics, Gravitational potential, Phase mixing

Infer the Milky Way's vertical gravitational potential and dark matter density from the phase-space winding spiral of nearby stars (after Antoja et al. 2018, Guo et al. 2024).

Solution by Claude Opus 4.7.

Overview

The problem strings together one piece of textbook physics — vertical oscillations in a self-gravitating slab — with one observational trick that turned a phase-space photograph into a measurement of the local dark-matter density. Three ideas do the heavy lifting:

  1. Gauss’s law in 1D. For a horizontally infinite, mirror-symmetric mass distribution ρ(z)=ρ(z)\rho(z)=\rho(-z), the only field component is vertical, and Poisson’s equation collapses to d2Φ/dz2=4πGρ(z)d^2\Phi/dz^2 = 4\pi G\rho(z). The vertical force az=dΦ/dza_z=-d\Phi/dz is therefore set entirely by the enclosed surface mass between the midplane and zz.
  2. Anharmonic oscillator with amplitude-dependent period. Because ρ\rho falls with z|z|, the effective spring weakens at larger amplitudes, so a high-flying star takes longer to come back than a low-flying one. The problem pins this down with a “matching parabola” prescription: at amplitude zmz_m, replace Φ\Phi by kz2kz^2 with k=Φ(zm)/zm2k=\Phi(z_m)/z_m^2, giving T(zm)  =  2π2k  =  πzm2Φ(zm).T(z_m)\;=\;\frac{2\pi}{\sqrt{2k}}\;=\;\pi z_m\sqrt{\tfrac{2}{\Phi(z_m)}}.
  3. Phase mixing and the spiral. Stars perturbed at the same time but with different periods drift apart in phase. After time tt, the phase difference between two stars is (ω1ω2)t(\omega_1-\omega_2)\,t, which the spiral reads off directly: each crossing of an axis advances the spiral phase by π/2\pi/2. This both gives Φ(z)\Phi(z) at the turning points (where energy equals Φ\Phi) and times the perturbation.

A small parameter that tells you why the phase-spiral method works at all is the fractional spread of periods,

TouterTinnerTouter    12,\frac{T_\text{outer}-T_\text{inner}}{T_\text{outer}}\;\sim\;\frac{1}{2},

across the observed range of amplitudes. The factor of two between fastest and slowest oscillators is exactly what produces a tightly wound, easily readable spiral on a \sim Gyr timescale.

A useful unit conversion throughout:

1kpc/(km/s)  =  0.978Gyr    978Myr.1\,\text{kpc}/(\text{km}/\text{s}) \;=\; 0.978\,\text{Gyr}\;\approx\; 978\,\text{Myr}.

Combined with G=4.30×103pcM1(km/s)2G = 4.30\times 10^{-3}\,\text{pc}\,M_\odot^{-1}(\text{km/s})^2, all numerical work below stays in {\{kpc, km/s, M/pc3}M_\odot/\text{pc}^3\} with a single conversion at the end.


Part (i) — Acceleration in a uniform slab

For a horizontally infinite mass sheet, the field has only a zz-component, g=gz(z)z^\vec g = g_z(z)\hat z, with gz(0)=0g_z(0)=0 by reflection symmetry. Apply Gauss’s law to a “pillbox” of cross-section AA extending from z-z to +z+z:

gdA  =  4πGMenc.\oint \vec g\cdot d\vec A \;=\; -4\pi G M_\text{enc}.

The end caps contribute gz(z)Agz(z)A=2gz(z)Ag_z(z)\,A - g_z(-z)\,A = 2g_z(z)\,A (using gz(z)=gz(z)g_z(-z)=-g_z(z) by symmetry), and Menc=ρ0(2zA)M_\text{enc}=\rho_0\,(2zA). Hence

2gz(z)A  =  4πGρ0(2zA),2g_z(z)\,A \;=\; -4\pi G\,\rho_0\,(2zA), az  =  gz(z)  =  4πGρ0z.\boxed{\,a_z \;=\; g_z(z)\;=\;-\,4\pi G\rho_0\,z\,}.

The acceleration grows linearly with zz and points back toward the midplane — exactly the form of a Hooke’s-law restoring force, so the motion is harmonic.

Educational remark

The same result follows from 2Φ=4πGρ\nabla^2\Phi=4\pi G\rho: in 1D with ρ=ρ0\rho=\rho_0 const, Φ(z)=2πGρ0z2\Phi(z)=2\pi G\rho_0 z^2 (taking Φ(0)=0\Phi(0)=0). The factor 4π4\pi, rather than 2π2\pi as one might guess by analogy with a single sheet, comes from including matter on both sides of the test point.


Part (ii) — Oscillation period

The equation of motion z¨=4πGρ0z\ddot z = -4\pi G\rho_0\,z is that of a SHO with

ω2  =  4πGρ0,\omega^2 \;=\; 4\pi G\rho_0,

so a star released from rest at z=az=a executes z(t)=acosωtz(t)=a\cos\omega t with

T  =  2πω  =  πGρ0.\boxed{\,T\;=\;\frac{2\pi}{\omega}\;=\;\sqrt{\frac{\pi}{G\rho_0}}\,}.

Notice that TT is independent of the amplitude aa — a feature special to a strictly harmonic potential. As soon as ρ\rho varies with zz, the period acquires an amplitude dependence, and that is what produces the spiral in part (iii).

Numerical value

For the canonical local density ρ00.1M/pc3\rho_0 \approx 0.1\,M_\odot/\text{pc}^3,

T  =  π4.30×1030.1  pc/(km/s)    85.5  pc/(km/s)    84Myr.T \;=\; \sqrt{\frac{\pi}{4.30\times 10^{-3}\cdot 0.1}}\;\text{pc}/(\text{km/s}) \;\approx\; 85.5\;\text{pc}/(\text{km/s}) \;\approx\; 84\,\text{Myr}.

This 80Myr\sim 80\,\text{Myr} vertical “epicyclic” period is the standard timescale for a star bobbing through the disc in the Solar neighbourhood.


Part (iii) — Reading Φ(z)\Phi(z) from the phase spiral

Method

Each star moves on a closed orbit in the (z,vz)(z,v_z) plane satisfying conservation of energy,

E  =  12vz2+Φ(z).E \;=\; \tfrac{1}{2}v_z^2 + \Phi(z).

The plotted spiral is a continuous curve on which energy varies monotonically from inner to outer end. Two kinds of axis-crossings give us direct probes of EE:

  • At a crossing of vz=0v_z=0 at z=zmz=z_m: that star is at its turning point, so E=Φ(zm)E = \Phi(z_m). We learn Φ\Phi if we know EE.
  • At a crossing of z=0z=0 at vz=vmv_z=v_m: E=12vm2E = \tfrac{1}{2}v_m^2 directly, no Φ\Phi needed.

The trick is that the two kinds of crossings interleave along the spiral. So we can read EE off the z=0z=0 crossings (where it is unambiguous), then linearly interpolate EE along the spiral to a neighbouring vz=0v_z=0 crossing, and finally identify that interpolated value with Φ(zm)\Phi(z_m).

Concretely, label the crossings consecutively along the spiral as n=0,1,2,n=0,1,2,\ldots (alternating type). For each vz=0v_z=0 crossing at z=zm(n)z=z_m^{(n)}, the two adjacent z=0z=0 crossings have vz=v|v_z|=v_- and v+v_+. Linear interpolation of EE in the crossing index gives

Φ(zm(n))    12 ⁣[12v2+12v+2]  =  14 ⁣(v2+v+2).\boxed{\,\Phi(z_m^{(n)}) \;\approx\; \tfrac{1}{2}\!\left[\tfrac{1}{2}v_-^2 + \tfrac{1}{2}v_+^2\right] \;=\; \tfrac{1}{4}\!\left(v_-^2 + v_+^2\right).\,}

Reading the spiral

Tracing from the inner end of the spiral outward, the axis crossings appear in alternating order. From the figure I read (signs alternating between consecutive crossings of the same type):

ordertypevalueE=12vm2E=\tfrac12 v_m^2 [(km/s)2][(\text{km/s})^2]
0vz=0v_z=0zm=0.10kpc\lvert z_m\rvert=0.10\,\text{kpc}
1z=0z=0vm=8km/s\lvert v_m\rvert=8\,\text{km/s}3232
2vz=0v_z=0zm=0.18kpc\lvert z_m\rvert=0.18\,\text{kpc}
3z=0z=0vm=18km/s\lvert v_m\rvert=18\,\text{km/s}162162
4vz=0v_z=0zm=0.32kpc\lvert z_m\rvert=0.32\,\text{kpc}
5z=0z=0vm=22km/s\lvert v_m\rvert=22\,\text{km/s}242242
6vz=0v_z=0zm=0.50kpc\lvert z_m\rvert=0.50\,\text{kpc}
7z=0z=0vm=30km/s\lvert v_m\rvert=30\,\text{km/s}450450
8vz=0v_z=0zm=0.70kpc\lvert z_m\rvert=0.70\,\text{kpc}
9z=0z=0vm=36km/s\lvert v_m\rvert=36\,\text{km/s}648648
10vz=0v_z=0zm=1.00kpc\lvert z_m\rvert=1.00\,\text{kpc}
11z=0z=0vm=44km/s\lvert v_m\rvert=44\,\text{km/s}968968
12vz=0v_z=0zm=1.40kpc\lvert z_m\rvert=1.40\,\text{kpc}
13z=0z=0vm=55km/s\lvert v_m\rvert=55\,\text{km/s}15131513

(Readings are quantized to the nearest gridline; their precision sets the dominant uncertainty in everything that follows.)

Computing Φ(zm)\Phi(z_m)

Apply Φ(zm(n))=14(v2+v+2)\Phi(z_m^{(n)}) = \tfrac14(v_-^2 + v_+^2) to each vz=0v_z=0 crossing whose two neighbours are known:

Φ(0.18kpc)  =  14(82+182)  =  97  (km/s)2,Φ(0.32kpc)  =  14(182+222)  =  202,Φ(0.50kpc)  =  14(222+302)  =  346,Φ(0.70kpc)  =  14(302+362)  =  549,Φ(1.00kpc)  =  14(362+442)  =  808,Φ(1.40kpc)  =  14(442+552)  =  1240.\begin{aligned} \Phi(0.18\,\text{kpc}) &\;=\; \tfrac{1}{4}(8^2 + 18^2) \;=\; 97 \;(\text{km/s})^2,\\ \Phi(0.32\,\text{kpc}) &\;=\; \tfrac{1}{4}(18^2 + 22^2) \;=\; 202,\\ \Phi(0.50\,\text{kpc}) &\;=\; \tfrac{1}{4}(22^2 + 30^2) \;=\; 346,\\ \Phi(0.70\,\text{kpc}) &\;=\; \tfrac{1}{4}(30^2 + 36^2) \;=\; 549,\\ \Phi(1.00\,\text{kpc}) &\;=\; \tfrac{1}{4}(36^2 + 44^2) \;=\; 808,\\ \Phi(1.40\,\text{kpc}) &\;=\; \tfrac{1}{4}(44^2 + 55^2) \;=\; 1240. \end{aligned}

(The innermost crossing at zm=0.10kpc|z_m|=0.10\,\text{kpc} has no inner neighbour — the spiral simply ends — so it is dropped as unreliable.)

Plot

A schematic of Φ(z)\Phi(z) from these six points:

 Φ [(km/s)²]
 1500 ┤                                            ●   z=1.40
 1250 ┤
 1000 ┤                                  ●            z=1.00
  750 ┤                          ●                    z=0.70
  500 ┤                  ●                            z=0.50
  250 ┤          ●                                    z=0.32
      ┤   ●                                           z=0.18
    0 ┼──┼─────┼─────┼─────┼─────┼─────┼─────┼──── z [kpc]
      0  0.2   0.4   0.6   0.8   1.0   1.2   1.4

The curve is approximately parabolic for small zz (constant-density region) and bends toward a roughly linear regime at large zz (where the slab acts like a thin sheet, Φz\Phi\propto z). Quantifying this transition is exactly the next two parts.

Educational remark

A natural worry is that linear interpolation of EE in the crossing index is arbitrary. It is justified by the matching-parabola picture: in the harmonic limit, the spiral is a uniformly-pitched logarithmic-like winding in which each axis crossing is equally spaced in phase angle (one per quarter-period). Energies of nearby orbits differ by an amount that, in the same limit, is also linear in phase index. Both linearities ride on the same approximation, so they are consistent.

A consistency check: Φ(z)/z2\Phi(z)/z^2 is the local “matching kk”, and on the assumption ρ(z)\rho(z) decreases with z|z| it should decrease monotonically with zmz_m. Computing:

Φz2  :    3000,  1972,  1384,  1120,  808,  633    [(km/s)2/kpc2],\frac{\Phi}{z^2}\;:\;\;3000,\;1972,\;1384,\;1120,\;808,\;633\;\;[(\text{km/s})^2/\text{kpc}^2],

indeed monotonically decreasing from z=0.18z=0.18 to z=1.40z=1.40. This is one of the cleanest confirmations from the data alone that the disc density genuinely falls off with height.


Part (iv) — Density near the midplane

Within the constant-density region z0.3kpc|z|\leq 0.3\,\text{kpc}, the potential is parabolic,

Φ(z)  =  2πGρ0z2,\Phi(z) \;=\; 2\pi G\rho_0\,z^2,

so any single Φ(z)\Phi(z) measurement inside that region directly yields ρ0\rho_0. Using the most reliable inner point at z=0.18kpc=180pcz=0.18\,\text{kpc} = 180\,\text{pc}:

ρ0  =  Φ(0.18)2πG(180pc)2  =  972π4.30×103(180)2M/pc3.\rho_0 \;=\; \frac{\Phi(0.18)}{2\pi G\,(180\,\text{pc})^2} \;=\; \frac{97}{2\pi\cdot 4.30\times 10^{-3}\cdot (180)^2}\,M_\odot/\text{pc}^3.

Computing the denominator: 2π4.30×10332400=875.52\pi\cdot 4.30\times 10^{-3}\cdot 32400 = 875.5, so

ρ0    97875.5M/pc3    0.11M/pc3.\boxed{\,\rho_0 \;\approx\; \frac{97}{875.5}\,M_\odot/\text{pc}^3 \;\approx\; 0.11\,M_\odot/\text{pc}^3\,}.

Cross-check

A useful sanity check — almost circular but worthwhile — is that part (ii)‘s formula gives the corresponding period:

T  =  π/(Gρ0)    81Myr,T \;=\; \sqrt{\pi/(G\rho_0)} \;\approx\; 81\,\text{Myr},

which matches the period one would extract from the innermost spiral orbits (T(0.18)79MyrT(0.18)\approx 79\,\text{Myr}, computed in part (vi) below). The two routes agree, as they must.

Educational remark

The number ρ00.1M/pc3\rho_0\sim 0.1\,M_\odot/\text{pc}^3 is the so-called Oort limit, the dynamically-determined total mass density at the Solar position. Star counts give the visible density at 0.08M/pc3\sim 0.08\,M_\odot/\text{pc}^3; the small (20%\sim 20\%) excess is what dynamicists have argued for a century is “missing matter”. Phase-space methods like this one make that excess visible in a single picture.


Part (v) — Local dark-matter density

Beyond z0.7kpcz\geq 0.7\,\text{kpc}, the problem instructs us to take ρ(z)ρDM=const\rho(z)\approx\rho_\text{DM}=\text{const}. Poisson’s equation then integrates twice:

Φ(z)    Φ(0.7)  =  g0(z0.7)  +  2πGρDM(z0.7)2,z0.7,\Phi(z) \;-\; \Phi(0.7) \;=\; g_0\,(z-0.7)\;+\;2\pi G\rho_\text{DM}\,(z-0.7)^2,\qquad z\geq 0.7,

where g0g(0.7)g_0\equiv g(0.7) is the field at the boundary (sourced by all the visible matter inside z<0.7|z|<0.7). Two unknowns, g0g_0 and ρDM\rho_\text{DM}, demand two equations from the data; use the two outer measurements at z=1.00z=1.00 and z=1.40kpcz=1.40\,\text{kpc}:

z=1.00kpc  :808549  =  259  =  0.30g0  +  0.09q,z=1.40kpc  :1240549  =  691  =  0.70g0  +  0.49q,\begin{aligned} z=1.00\,\text{kpc}\;:\quad &808 - 549 \;=\; 259 \;=\; 0.30\,g_0 \;+\; 0.09\,q,\\ z=1.40\,\text{kpc}\;:\quad &1240 - 549 \;=\; 691 \;=\; 0.70\,g_0 \;+\; 0.49\,q, \end{aligned}

where q2πGρDMq\equiv 2\pi G\rho_\text{DM} in (km/s)2/kpc2(\text{km/s})^2/\text{kpc}^2.

Eliminating g0g_0: from the first, g0=(2590.09q)/0.30g_0 = (259 - 0.09\,q)/0.30. Substituting,

691  =  0.702590.09q0.30+0.49q  =  604.30.21q+0.49q  =  604.3+0.28q,691 \;=\; 0.70\cdot\frac{259-0.09q}{0.30} + 0.49q \;=\; 604.3 - 0.21q + 0.49q \;=\; 604.3 + 0.28q,

so 0.28q=86.70.28q = 86.7 and

q  =  309(km/s)2/kpc2.q \;=\; 309\,(\text{km/s})^2/\text{kpc}^2.

Convert qq to ρDM\rho_\text{DM}:

ρDM  =  q2πG  =  309×106(km/s)2/pc22π4.30×103pc(km/s)2/M  =  309×1060.0270M/pc3,\rho_\text{DM} \;=\; \frac{q}{2\pi G} \;=\; \frac{309\times 10^{-6}\,(\text{km/s})^2/\text{pc}^2}{2\pi\cdot 4.30\times 10^{-3}\,\text{pc}\cdot(\text{km/s})^2/M_\odot} \;=\; \frac{309\times 10^{-6}}{0.0270}\,M_\odot/\text{pc}^3, ρDM    0.011M/pc3.\boxed{\,\rho_\text{DM} \;\approx\; 0.011\,M_\odot/\text{pc}^3\,}.

Sanity checks

  • g0=(2590.09309)/0.30770(km/s)2/kpcg_0 = (259 - 0.09\cdot 309)/0.30 \approx 770\,(\text{km/s})^2/\text{kpc}. Comparing with g02πGΣvisg_0\approx 2\pi G\Sigma_\text{vis} for a thin disc: Σvisg0/(2πG)28M/pc2\Sigma_\text{vis}\approx g_0/(2\pi G)\approx 28\,M_\odot/\text{pc}^2, in the right ballpark for the Solar-neighbourhood visible surface density inside ±0.7kpc\pm 0.7\,\text{kpc}.
  • ρDM/ρ00.011/0.11=10%\rho_\text{DM}/\rho_0 \approx 0.011/0.11 = 10\%. Of the total matter near the midplane, roughly 90%90\% is baryons (gas + stars) and 10%10\% is dark matter, consistent with independent disc-dynamics estimates.
  • 0.011M/pc30.4GeV/cm30.011\,M_\odot/\text{pc}^3 \approx 0.4\,\text{GeV/cm}^3, the standard “particle-physics” value used in direct-detection experiments.

The fact that all three numbers fall out at once from a single phase-space photograph is the achievement of this method.

Educational remark

The simplification ”ρDM\rho_\text{DM} constant for z0.7kpc|z|\geq 0.7\,\text{kpc}” exploits a clean separation of scales: dark-matter haloes have scale-heights of tens of kpc, while the stellar disc thickness is 0.3kpc\sim 0.3\,\text{kpc}. Within ±1.5kpc\pm 1.5\,\text{kpc}, the halo density varies by less than a percent while the stellar density falls by more than an order of magnitude. So the gradient of the gravitational acceleration far from the disc is, to good accuracy, set entirely by the dark matter — exactly the leverage point we used.


Part (vi) — Time since the perturbation

Setting up phase mixing

At the moment of perturbation (time tt ago), the bar-shaped overdensity put stars of all the relevant amplitudes at nearly the same orbital phase. Since then, each star has advanced in phase at its own angular frequency ω(zm)\omega(z_m), so its phase today is

φ(zm,t)  =  φinit  +  ω(zm)t(mod2π).\varphi(z_m,\,t) \;=\; \varphi_\text{init}\;+\;\omega(z_m)\,t \pmod{2\pi}.

Two stars at different amplitudes therefore differ in phase by

Δφ  =  [ω(zm,1)ω(zm,2)]t,\Delta\varphi \;=\; \big[\omega(z_{m,1})-\omega(z_{m,2})\big]\,t,

without any modular ambiguity if we count windings, which is exactly what the spiral lets us do: each axis crossing along the spiral advances Δφ\Delta\varphi by π/2\pi/2, equivalently π\pi between consecutive vz=0v_z=0 crossings.

Periods from the matching parabola

Using the Φ(zm)\Phi(z_m) values from part (iii) and T(zm)=πzm2/Φ(zm)T(z_m)=\pi z_m\sqrt{2/\Phi(z_m)}, then converting via 1kpc/(km/s)=978Myr1\,\text{kpc/(km/s)}=978\,\text{Myr}:

zmz_m [kpc]Φ\Phi [(km/s)2][(\text{km/s})^2]TT [Myr]ω\omega [Myr1^{-1}]
0.189779.40.0791
0.3220297.80.0643
0.50346116.70.0539
0.70549129.80.0484
1.00808152.80.0411
1.401240172.70.0364

Solving for tt

Pick the two amplitudes that are best-determined and most widely separated in ω\omega. Between the vz=0v_z=0 crossings at zm=0.18z_m=0.18 and zm=1.40kpcz_m=1.40\,\text{kpc}, the spiral makes 5 half-turns (counting consecutive vz=0v_z=0 crossings on alternating sides), so

Δφ  =  5π.\Delta\varphi \;=\; 5\pi.

Equating to (ωinωout)t(\omega_\text{in}-\omega_\text{out})\,t:

t  =  5πω(0.18)ω(1.40)  =  5π0.07910.0364Myr  =  15.710.0427Myr    370Myr.t \;=\; \frac{5\pi}{\omega(0.18)-\omega(1.40)} \;=\; \frac{5\pi}{0.0791 - 0.0364}\,\text{Myr} \;=\; \frac{15.71}{0.0427}\,\text{Myr} \;\approx\; 370\,\text{Myr}.

Cross-checks with other pairs

The same procedure with different pairs gives:

inner zmz_mouter zmz_mhalf-turns NNt=Nπ/Δωt = N\pi/\Delta\omega [Myr]
0.181.004330
0.321.003406
0.321.404451
0.501.002491
0.501.403539

The values cluster around 400Myr\sim 400\,\text{Myr} but spread by a factor of 1.5\sim 1.5, signalling that the matching-parabola formula and our crossing readings together have 30%\sim 30\% uncertainty. A reasonable compromise:

t    4×102Myr.\boxed{\,t \;\approx\; 4\times 10^{2}\,\text{Myr}\,}.

This places the disturbance during the late Cenozoic from Earth’s standpoint and is consistent with the passage of the Sagittarius dwarf galaxy through the Milky Way disc inferred from independent stellar-stream evidence.

Educational remark

The spread among the entries above is physically meaningful, not just numerical noise: the matching-parabola period systematically under-estimates the true period for non-parabolic potentials (in the limit of constant gravitational force, by about 27%27\%), and the under-estimate is largest for the most anharmonic — i.e. outermost — orbits. So pairs that include zm=1.4kpcz_m=1.4\,\text{kpc} tend to overestimate tt. The original Antoja et al. (2018) analysis, using the full nonlinear period, narrowed the answer to the range 300300900Myr900\,\text{Myr}, with subsequent refinements (including Guo et al. 2024) settling near 500Myr\sim 500\,\text{Myr}.


Summary of results

PartAnswer
(i)az=4πGρ0za_z = -4\pi G\rho_0 z
(ii)T=π/(Gρ0)84MyrT = \sqrt{\pi/(G\rho_0)} \approx 84\,\text{Myr} for ρ0=0.1M/pc3\rho_0=0.1\,M_\odot/\text{pc}^3
(iii)Φ(0.18)97,  Φ(0.32)202,  Φ(0.50)346,  Φ(0.70)549,  Φ(1.00)808,  Φ(1.40)1240\Phi(0.18)\approx 97,\;\Phi(0.32)\approx 202,\;\Phi(0.50)\approx 346,\;\Phi(0.70)\approx 549,\;\Phi(1.00)\approx 808,\;\Phi(1.40)\approx 1240 in (km/s)2(\text{km/s})^2
(iv)ρ00.11M/pc3\rho_0 \approx 0.11\,M_\odot/\text{pc}^3
(v)ρDM0.011M/pc3\rho_\text{DM} \approx 0.011\,M_\odot/\text{pc}^3
(vi)t4×102Myrt \approx 4\times 10^{2}\,\text{Myr}