Problem Set
NBPhO 2025
8. Phase Spiral 9 pts
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).
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:
- Gauss’s law in 1D. For a horizontally infinite, mirror-symmetric mass distribution , the only field component is vertical, and Poisson’s equation collapses to . The vertical force is therefore set entirely by the enclosed surface mass between the midplane and .
- Anharmonic oscillator with amplitude-dependent period. Because falls with , 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 , replace by with , giving
- Phase mixing and the spiral. Stars perturbed at the same time but with different periods drift apart in phase. After time , the phase difference between two stars is , which the spiral reads off directly: each crossing of an axis advances the spiral phase by . This both gives at the turning points (where energy equals ) and times the perturbation.
A small parameter that tells you why the phase-spiral method works at all is the fractional spread of periods,
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 Gyr timescale.
A useful unit conversion throughout:
Combined with , all numerical work below stays in kpc, km/s, 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 -component, , with by reflection symmetry. Apply Gauss’s law to a “pillbox” of cross-section extending from to :
The end caps contribute (using by symmetry), and . Hence
The acceleration grows linearly with 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 : in 1D with const, (taking ). The factor , rather than 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 is that of a SHO with
so a star released from rest at executes with
Notice that is independent of the amplitude — a feature special to a strictly harmonic potential. As soon as varies with , the period acquires an amplitude dependence, and that is what produces the spiral in part (iii).
Numerical value
For the canonical local density ,
This vertical “epicyclic” period is the standard timescale for a star bobbing through the disc in the Solar neighbourhood.
Part (iii) — Reading from the phase spiral
Method
Each star moves on a closed orbit in the plane satisfying conservation of energy,
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 :
- At a crossing of at : that star is at its turning point, so . We learn if we know .
- At a crossing of at : directly, no needed.
The trick is that the two kinds of crossings interleave along the spiral. So we can read off the crossings (where it is unambiguous), then linearly interpolate along the spiral to a neighbouring crossing, and finally identify that interpolated value with .
Concretely, label the crossings consecutively along the spiral as (alternating type). For each crossing at , the two adjacent crossings have and . Linear interpolation of in the crossing index gives
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):
| order | type | value | |
|---|---|---|---|
| 0 | — | ||
| 1 | |||
| 2 | — | ||
| 3 | |||
| 4 | — | ||
| 5 | |||
| 6 | — | ||
| 7 | |||
| 8 | — | ||
| 9 | |||
| 10 | — | ||
| 11 | |||
| 12 | — | ||
| 13 |
(Readings are quantized to the nearest gridline; their precision sets the dominant uncertainty in everything that follows.)
Computing
Apply to each crossing whose two neighbours are known:
(The innermost crossing at has no inner neighbour — the spiral simply ends — so it is dropped as unreliable.)
Plot
A schematic of 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 (constant-density region) and bends toward a roughly linear regime at large (where the slab acts like a thin sheet, ). Quantifying this transition is exactly the next two parts.
Educational remark
A natural worry is that linear interpolation of 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: is the local “matching ”, and on the assumption decreases with it should decrease monotonically with . Computing:
indeed monotonically decreasing from to . 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 , the potential is parabolic,
so any single measurement inside that region directly yields . Using the most reliable inner point at :
Computing the denominator: , so
Cross-check
A useful sanity check — almost circular but worthwhile — is that part (ii)‘s formula gives the corresponding period:
which matches the period one would extract from the innermost spiral orbits (, computed in part (vi) below). The two routes agree, as they must.
Educational remark
The number is the so-called Oort limit, the dynamically-determined total mass density at the Solar position. Star counts give the visible density at ; the small () 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 , the problem instructs us to take . Poisson’s equation then integrates twice:
where is the field at the boundary (sourced by all the visible matter inside ). Two unknowns, and , demand two equations from the data; use the two outer measurements at and :
where in .
Eliminating : from the first, . Substituting,
so and
Convert to :
Sanity checks
- . Comparing with for a thin disc: , in the right ballpark for the Solar-neighbourhood visible surface density inside .
- . Of the total matter near the midplane, roughly is baryons (gas + stars) and is dark matter, consistent with independent disc-dynamics estimates.
- , 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 ” constant for ” exploits a clean separation of scales: dark-matter haloes have scale-heights of tens of kpc, while the stellar disc thickness is . Within , 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 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 , so its phase today is
Two stars at different amplitudes therefore differ in phase by
without any modular ambiguity if we count windings, which is exactly what the spiral lets us do: each axis crossing along the spiral advances by , equivalently between consecutive crossings.
Periods from the matching parabola
Using the values from part (iii) and , then converting via :
| [kpc] | [Myr] | [Myr] | |
|---|---|---|---|
| 0.18 | 97 | 79.4 | 0.0791 |
| 0.32 | 202 | 97.8 | 0.0643 |
| 0.50 | 346 | 116.7 | 0.0539 |
| 0.70 | 549 | 129.8 | 0.0484 |
| 1.00 | 808 | 152.8 | 0.0411 |
| 1.40 | 1240 | 172.7 | 0.0364 |
Solving for
Pick the two amplitudes that are best-determined and most widely separated in . Between the crossings at and , the spiral makes 5 half-turns (counting consecutive crossings on alternating sides), so
Equating to :
Cross-checks with other pairs
The same procedure with different pairs gives:
| inner | outer | half-turns | [Myr] |
|---|---|---|---|
| 0.18 | 1.00 | 4 | 330 |
| 0.32 | 1.00 | 3 | 406 |
| 0.32 | 1.40 | 4 | 451 |
| 0.50 | 1.00 | 2 | 491 |
| 0.50 | 1.40 | 3 | 539 |
The values cluster around but spread by a factor of , signalling that the matching-parabola formula and our crossing readings together have uncertainty. A reasonable compromise:
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 ), and the under-estimate is largest for the most anharmonic — i.e. outermost — orbits. So pairs that include tend to overestimate . The original Antoja et al. (2018) analysis, using the full nonlinear period, narrowed the answer to the range –, with subsequent refinements (including Guo et al. 2024) settling near .
Summary of results
| Part | Answer |
|---|---|
| (i) | |
| (ii) | for |
| (iii) | in |
| (iv) | |
| (v) | |
| (vi) |