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).

Self-assessment by Claude Opus 4.7. 8.6 / 9.0

Part (i) — 1.0 / 1.0 pts

CriterionPointsResult
Idea of using Gauss’ law0.3✓ explicit “Apply Gauss’s law to a ‘pillbox’ of cross-section AA extending from z-z to +z+z
Formula relating the mass inside with gravitational flux0.3gdA=4πGMenc\oint \vec g\cdot d\vec A = -4\pi G M_\mathrm{enc} stated up front
Application of Gauss’ law on a cuboid0.2✓ end caps give 2gz(z)A2g_z(z)\,A via reflection symmetry, Menc=ρ0(2zA)M_\mathrm{enc}=\rho_0(2zA)
Final result0.2az=4πGρ0za_z = -4\pi G\rho_0 z

Part (ii) — 0.5 / 0.5 pts

CriterionPointsResult
Noticing that the movement is that of a harmonic oscillator0.3✓ “is that of a SHO with ω2=4πGρ0\omega^2 = 4\pi G\rho_0
Expression for the oscillation period0.2T=π/(Gρ0)T = \sqrt{\pi/(G\rho_0)}

Part (iii) — 2.4 / 2.5 pts

CriterionPointsResult
Making use of the total energy at z=0z=0 intersection points being known0.7✓ ”E=12vm2E = \tfrac12 v_m^2 directly, no Φ\Phi needed” at z=0z=0 crossings
Interpolating the values at vz=0v_z=0 from neighbouring z=0z=0 crossovers (explicitly mentioned)0.8✓ linear interpolation in the crossing index, Φ(zm)14(v2+v+2)\Phi(z_m) \approx \tfrac14(v_-^2+v_+^2), with explicit justification via the matching-parabola picture
Tabulating the potential — six points0.7✓ six (zm,Φ)(z_m, \Phi) pairs from zm=0.18z_m=0.18 to zm=1.40kpcz_m=1.40\,\text{kpc}
Φ(z)\Phi(z) vs zz correctly plotted0.3~ 0.2 / 0.3 — an ASCII schematic with axes and labelled points; conveys the trend (parabolic at small zz, more linear at large zz), but the data points sit roughly one 250(km/s)2250\,(\text{km/s})^2 gridline above their tabulated values, so the rendering is qualitative rather than quantitatively faithful

Discrepancies

The six tabulated (zm,Φ)(z_m, \Phi) pairs differ systematically from the official’s: Claude reads zm{0.18,0.32,0.50,0.70,1.00,1.40}kpcz_m \in \{0.18, 0.32, 0.50, 0.70, 1.00, 1.40\}\,\text{kpc} with Φ{97,202,346,549,808,1240}(km/s)2\Phi \in \{97, 202, 346, 549, 808, 1240\}\,(\text{km/s})^2, while the official reads zm{0.27,0.39,0.54,0.72,0.97,1.34}kpcz_m \in \{0.27, 0.39, 0.54, 0.72, 0.97, 1.34\}\,\text{kpc} with Φ{180,330,530,800,1200,1800}(km/s)2\Phi \in \{180, 330, 530, 800, 1200, 1800\}\,(\text{km/s})^2. The two sets parametrise approximately the same curve Φ(z)\Phi(z), but Claude’s innermost crossing is read closer to the origin than the official’s, propagating into the part-(iv) and part-(vi) numerics below. The grading-scheme criteria for part (iii) themselves do not include a numerical-accuracy line, so this does not cost points here — only downstream.

Part (iv) — 0.9 / 1.0 pts

CriterionPointsResult
Connecting Φ(z1)\Phi(z_1) with ρ0\rho_0 by assuming constant mass density0.8Φ(z)=2πGρ0z2\Phi(z) = 2\pi G\rho_0 z^2 inverted at the innermost reliable point z1=0.18kpcz_1 = 0.18\,\text{kpc}
If the first data point is not used−0.2not applied — Claude does use his innermost reliable vz=0v_z=0 crossing (0.18 kpc); the dropped 0.10 kpc crossing has no inner z=0z=0 neighbour and so is correctly excluded as unreliable
Final expression for ρ0\rho_00.1ρ0=Φ(z1)/(2πGz12)\rho_0 = \Phi(z_1)/(2\pi G z_1^2)
Numerical value within 10%0.1✗ Claude 0.11M/pc30.11\,M_\odot/\text{pc}^3 vs official 0.090M/pc30.090\,M_\odot/\text{pc}^3 — 22% off, beyond the 10% band, driven by Claude reading z1z_1 at 0.18 kpc rather than 0.27 kpc

Discrepancies

ρ0\rho_0: Claude 0.11M/pc3\approx 0.11\,M_\odot/\text{pc}^3 vs official 0.090M/pc30.090\,M_\odot/\text{pc}^3. Both lie inside the canonical Oort-limit range 0.08\sim 0.080.12M/pc30.12\,M_\odot/\text{pc}^3, but the relative gap is 22%, outside the grading scheme’s 10% tolerance.

Part (v) — 2.0 / 2.0 pts

CriterionPointsResult
Obtaining an expression for the total mass contained within zz0.7✓ Claude integrates Φ=4πGρDM\Phi'' = 4\pi G\rho_\mathrm{DM} once to get Φ(z)=g0+4πGρDM(z0.7)\Phi'(z) = g_0 + 4\pi G\rho_\mathrm{DM}(z-0.7) for z0.7kpcz\geq 0.7\,\text{kpc}, identifying g0=dΦ/dz0.7g_0 = -d\Phi/dz\rvert_{0.7} as the field set by all visible matter inside ±0.7kpc\pm 0.7\,\text{kpc} — the Poisson-integral analogue of Σ(z)=ρ0z\Sigma(z)=\rho_0 z
Taking the difference between the total mass within z6z_6 and z5z_5 for calculating the dark matter content0.9✓ Claude uses the two outer points at z=1.00z=1.00 and 1.40kpc1.40\,\text{kpc} to set up a 2×2 linear system in g0g_0 and q2πGρDMq\equiv 2\pi G\rho_\mathrm{DM}, eliminating g0g_0 to extract qq alone — equivalent in spirit to the official’s mass-difference, but executed without invoking the constant-density placeholder
Final expression for ρDM\rho_\text{DM} based on z6z_6 and z5z_50.3ρDM=q/(2πG)\rho_\mathrm{DM} = q/(2\pi G)
Numerical value within 10%0.10.011M/pc30.011\,M_\odot/\text{pc}^3 vs official 0.011M/pc30.011\,M_\odot/\text{pc}^3 — exact match

Part (vi) — 1.8 / 2.0 pts

CriterionPointsResult
Idea of using differences in the winding rate between two points on the spiral1.0✓ phase advance Δφ=(ωinωout)t\Delta\varphi = (\omega_\mathrm{in}-\omega_\mathrm{out})\,t, with each axis crossing along the spiral advancing Δφ\Delta\varphi by π/2\pi/2 (so π\pi between consecutive vz=0v_z=0 crossings)
Expression for angular frequency ω\omega in terms of Φ(z)\Phi(z) by assuming a harmonic oscillator0.5✓ matching-parabola period T(zm)=πzm2/Φ(zm)T(z_m) = \pi z_m\sqrt{2/\Phi(z_m)}ω=2Φ/zm2\omega = \sqrt{2\Phi/z_m^2}, identical to the official’s expression
Picking two points and connecting the age of the spiral, ω\omega and the winding amount0.3✓ inner zm=0.18z_m=0.18 and outer zm=1.40kpcz_m=1.40\,\text{kpc} separated by 5 half-turns (Δφ=5π\Delta\varphi = 5\pi); five further inner/outer pairs tabulated as cross-checks
Numerical value within 10% of the solution value0.2✗ Claude 4×102Myr\approx 4\times 10^2\,\text{Myr} (preferred pair gives 370 Myr, table cluster \sim 330–540 Myr) vs official 620Myr620\,\text{Myr} — about 35% off the official’s keyed value, beyond the 10% band

Discrepancies

tt: Claude 400Myr\approx 400\,\text{Myr} vs official 620Myr620\,\text{Myr}. The whole gap is traceable to the part-(iii) graph reads — Claude’s smaller zmz_m and Φ\Phi values give a larger Δω\Delta\omega (0.0427 vs 0.0261 Myr1^{-1}) over the same 5 half-turns, which compresses t=5π/Δωt = 5\pi/\Delta\omega by the same factor. Both numbers fall inside the literature window 300–900 Myr quoted by Antoja et al. (2018); the modern best estimate from Guo et al. (2024) is closer to 500 Myr, almost exactly between the two.

Overall score: 8.6 / 9.0 pts

Three docks, all on numerical accuracy or plot quality.

Numerical answers: az=4πGρ0za_z = -4\pi G\rho_0 z (exact match), T=π/(Gρ0)84MyrT = \sqrt{\pi/(G\rho_0)}\approx 84\,\text{Myr} (matches), six Φ(zm)\Phi(z_m) values systematically below the official’s by 35\sim 3550%50\% in Φ\Phi at corresponding rank, ρ00.11M/pc3\rho_0\approx 0.11\,M_\odot/\text{pc}^3 (vs official 0.090, 22% off), ρDM0.011M/pc3\rho_\mathrm{DM}\approx 0.011\,M_\odot/\text{pc}^3 (exact match), t400Myrt\approx 400\,\text{Myr} (vs official 620, 35% off).

Commentary

Where this solution goes beyond the grading scheme. The “Overview” front-loads the three structural ideas — 1D Gauss for a slab, amplitude-dependent period from a matching parabola, phase-mixing as a clock — and quotes the small parameter (TouterTinner)/Touter1/2(T_\mathrm{outer}-T_\mathrm{inner})/T_\mathrm{outer}\sim 1/2 that makes the whole method work. Part (i) follows the boxed acceleration with an “Educational remark” that pre-empts the factor-of-4π4\pi-vs-2π2\pi trap (matter on both sides of the test point) and re-derives the same answer from 2Φ=4πGρ\nabla^2\Phi = 4\pi G\rho. Part (ii) carries the abstract formula into a number (84Myr\sim 84\,\text{Myr} for the canonical Oort density), pinning the disc’s vertical “epicyclic” timescale. Part (iii) checks the data internally by computing Φ/z2\Phi/z^2 at every tabulated point and confirming it decreases monotonically with zmz_m — a one-line falsification test for whether ρ(z)\rho(z) really falls off with height, drawn from the spiral readings alone. Part (iv) frames the answer in the historical “Oort limit” context, contrasting visible (0.08M/pc30.08\,M_\odot/\text{pc}^3) versus dynamical (0.11\sim 0.11) densities. Part (v) is the most generous — three sanity checks chase the answer (visible surface density Σvis28M/pc2\Sigma_\mathrm{vis}\approx 28\,M_\odot/\text{pc}^2 inside ±0.7kpc\pm 0.7\,\text{kpc}; dark fraction ρDM/ρ010%\rho_\mathrm{DM}/\rho_0\approx 10\%; conversion to 0.4GeV/cm30.4\,\text{GeV/cm}^3, the standard direct-detection number) — and an “Educational remark” justifies the constant-ρDM\rho_\mathrm{DM} approximation by separation of scales (halo scale-height \sim tens of kpc, disc thickness 0.3kpc\sim 0.3\,\text{kpc}). Part (vi) does not just cite one inner/outer pair: a six-pair table exposes the spread, and the discussion attributes it to the matching-parabola formula systematically under-estimating the true period for non-parabolic Φ\Phi (by up to 27%\sim 27\% in the constant-force limit), with bigger underestimates for outer orbits — exactly the pitfall the problem flags. Antoja et al. (2018) and the Sagittarius-dwarf passage are named as historical context for the answer.

Where the official solution is sharper. Three places. (1) Part (v): the official packages the answer as one closed-form expression, ρDM[2πG(z6z5)]1[Φ(z6)/z6Φ(z5)/z5]\rho_\mathrm{DM}\approx [2\pi G(z_6-z_5)]^{-1}\,[\Phi(z_6)/z_6 - \Phi(z_5)/z_5], into which two numbers can be plugged directly. Claude solves a 2×2 linear system in g0g_0 and ρDM\rho_\mathrm{DM} (more rigorous in that it does not need the official’s “placeholder ρ0\rho_0” caveat) but the algebra is bulkier and the closed form is hidden. For a solver under time pressure the official’s prescription is cleaner. (2) Part (vi): the official commits to one inner/outer pair, reports 620 Myr in two lines, and stops. Claude’s six-pair table, while pedagogically richer, makes it harder to read off “the answer” — the recommended 4×102Myr4\times 10^{2}\,\text{Myr} at the bottom is a compromise across pairs spanning 330–540 Myr, and the spread itself is what costs the 10%-band point. (3) The graph reads: Claude’s innermost crossing at 0.18kpc0.18\,\text{kpc} sits inside the official’s 0.27kpc0.27\,\text{kpc}, and his Φ values run 35–50% below the official’s at corresponding rank. Without seeing the printed figure pixel-by-pixel one cannot adjudicate, but the official is the keyed answer and Claude’s downstream numerics — ρ0\rho_0 and tt — both fall outside the 10% acceptance band as a direct consequence. A more conservative reading of the spiral would have rescued both numerical-accuracy points.