A hole that says mass times time
Assumes Stellar streams, Dark matter and Impulse approximation.
Cold dark matter predicts, unavoidably, that a galaxy’s halo is lumpy. Structure forms from the bottom up, small haloes merge into large ones, and the survivors orbit inside as subhaloes. Above about a billion solar masses those subhaloes hold stars and are visible as satellite galaxies, each with a dispersion that says how much mass is not light in it. Below it they hold nothing that emits, and there are supposed to be thousands of them.
How many is the question the whole exercise exists to answer, and the disagreement is old. Simulations of a Milky-Way-sized halo produce hundreds of subhaloes above ten million solar masses inside thirty kiloparsecs; the count of satellite galaxies is a few dozen. That gap has been closed from the visible end — deeper surveys keep finding fainter satellites, and the physics of how star formation shuts off in a small halo keeps improving — but closing it from the visible end can never rule out the alternative, which is that the small haloes are not there because dark matter is not cold. A warm particle erases structure below a mass set by how far it streamed before it slowed down, and the erasure is sharp. Distinguishing the two needs a count of objects that contain no stars at all.
A thin stellar stream is the only instrument anyone has found for detecting an object that emits nothing, is not massive enough to lens, and is not dense enough to be found by its own gravity. The stream is dynamically cold — its stars share an orbit to within a few kilometres a second — so a perturbation of a few kilometres a second is not a small correction to it. It is everything.
The rest of this essay is about how much of that one combination can be taken apart, and the answer is: about half of it.
The mechanism, and why nothing collides
The first rung of this anchor established the stream as an object: stars leaking through the two Lagrange saddles of a dissolving cluster, each carrying a small energy offset, spreading along a track that is not the progenitor’s orbit. What follows here happens to that track.
A subhalo passing at a few kiloparsecs never touches a star. What it does is deliver an impulse — the deflection obtained by integrating the force along the path the star would have followed anyway — and the component of that impulse along the stream is what matters, because the stream is a one-dimensional object and motion across it is quickly forgotten.
The magnitudes involved are worth stating because they are so small. A ten-million solar-mass subhalo passing at one kiloparsec with a relative speed of two hundred kilometres a second delivers a kick of about 0.4 kilometres a second — a tenth of the escape speed from a globular cluster, a thousandth of the orbital speed. Over four billion years that translates into an along-stream drift of about 1.7 kiloparsecs, because a stream is a marker moving at a fixed rate and four billion years is a long lever. The detectability of the encounter has almost nothing to do with the size of the kick and almost everything to do with the coldness of what it is applied to and the length of time it has had.
The sign is worth dwelling on because it is the one part of the mechanism that is genuinely counter-intuitive, and getting it backwards draws a caustic where the gap belongs. Two reversals nearly cancel: the impulse points toward the perturber’s track, and the response of an orbit to added energy is to slow down. The survivor of that near-cancellation is a stretching, not a compression.
Why the depth is a Jacobian
The closed form in the first figure is not fitted and it is not an approximation to a simulation. It is a change of variables.
Stars are conserved, so the density after the map is the density before, divided by the map’s own stretching factor. At the encounter point the stretching factor is
because the derivative of at the origin is . The depth is the reciprocal of that. It is exact for as long as the map remains one-to-one, which is until the stream folds — and a folded stream produces caustics rather than a gap, which is a different figure and a different observational signature.
That derivation is why the depth carries and the width carries : the first is a derivative at a point and the second is the scale over which the derivative changes.
One combination, and what it costs
The map that opens the gap is
and reading it is the whole of the difficulty. The mass and the elapsed time appear only as their product. There is no operation on the density that separates them.
The elapsed time is not observable. A stream is a few billion years old, the encounter happened at some point during that, and nothing about the gap says when. So the honest statement of what a gap measures is a product with a factor of several in it before any other uncertainty is considered.
What the width does break
Depth is not the only observable. The gap has a width too, and the width scales differently.
Rescale the along-stream coordinate by the impact parameter and the map above becomes independent of altogether: the profile is one shape, stretched horizontally in proportion to how far away the perturber passed. So the width gives the impact parameter directly, once the depth has fixed the combination.
So two observables give two combinations: the impact parameter, cleanly, and the product of mass and time. Three unknowns, two equations, and the missing one is the epoch.
That is not the end of the matter, because a real stream is perturbed more than once, and the encounters have different epochs. The distribution of gap widths and depths along a long stream, taken together, does constrain the joint distribution of masses and times — but as a population, statistically, and under an assumed history for the stream. No individual gap yields a mass.
The other things that make gaps
Even granted a perfectly measured gap, attributing it to a dark subhalo requires that nothing else in the galaxy makes one, and several things do.
Giant molecular clouds. A cloud of a few million solar masses is exactly the mass range in question, is entirely capable of passing a stream, and is not dark. For a stream on an orbit that crosses the disc — most of them do — the encounter rate with clouds is comparable to or larger than the rate with subhaloes at the same mass, because although the clouds are confined to a thin layer they are far more numerous within it. The two are distinguishable only statistically, by where along the orbit the encounters happened, and the statistics need more streams than are known.
The bar. A rotating bar drives resonances that heat and structure a stream on scales of kiloparsecs, and the effect grows for streams on orbits that reach into the inner galaxy. It produces density variations that are periodic in a way an encounter is not, which is a discriminator, but only for a stream long enough to show the periodicity. Palomar 5’s stream is about twenty kiloparsecs long and its orbit reaches within eight kiloparsecs of the centre, so it is exactly the case where the bar matters and the periodicity is barely resolvable.
Spiral arms. Transient and recurrent, of the right amplitude, and the least well characterised of the three.
The progenitor itself. Stars leave a cluster in bursts at each pericentre passage, and the epicyclic motion of the escaping stars produces alternating overdensities near the release point. These are periodic, they are strongest near the progenitor, and they are the reason the first claimed gap detections concentrated on the parts of streams furthest from where the cluster used to be. Their spacing is set by the ratio of the epicyclic frequency to the orbital one, so it is a property of the host potential rather than of the stream — which makes it predictable, and therefore removable, in a way the other three are not.
The halo itself, if it is not smooth. A halo assembled from mergers retains large-scale structure — shells, sheets, the debris of earlier accretions — on scales far larger than a subhalo and with no particular symmetry. That contribution is not a gap-maker so much as a slowly varying background, and it is the hardest of all to characterise, because a galaxy measured from inside it gives no external view of its own halo’s lumpiness.
The list is not a set of caveats appended to a result. It is the reason the field has moved from counting gaps to modelling the whole density field of a stream with every known perturber included, and comparing the residual — which is a much weaker constraint and a much more honest one.
What is actually measured
The observation is a count of stars. A stream is identified as an overdensity in position, proper motion and colour–magnitude space; its members are selected by a cut in all three; and the density along it is a histogram of those members.
Every step of that leaks into the answer. A selection cut that varies along the stream — because the survey’s depth varies, or because a foreground cloud of dust sits across part of it, or because the stream crosses a region of higher stellar density — produces density variations that are indistinguishable from gaps in the counts. The Palomar 5 stream, the best-studied case, has had gaps claimed, disputed, attributed to the bar, and re-attributed to the selection function, in that order.
Two streams carry most of the weight and they are worth naming, because two is a small number for a statistical argument. Palomar 5 is the long tail of a dissolving globular cluster on an orbit that reaches into the inner galaxy — bright, well populated, and exposed to every confuser in the list above. GD-1 is longer, thinner, and further out, so it is much less exposed to the disc, and its progenitor is gone entirely, which removes the epicyclic problem and removes the baseline with it. GD-1 shows a pronounced underdensity and an accompanying spur of stars offset from the track, which is the signature an encounter should produce and which no confuser predicts as naturally. It is the single most-cited piece of evidence for a dark subhalo, and it is one feature in one stream.
The proper-motion data that made both of these measurable are recent. Selecting stream members by their motion rather than only by their position and colour cuts the foreground contamination by more than an order of magnitude, and it is the reason the field went from arguing about whether streams have structure to arguing about what causes it.
There is a second measurement problem underneath the first, and it is about what a stream is made of. A stream’s intrinsic density profile depends on how its progenitor dissolved — a cluster boiling itself away loses stars at a rate that depends on its own internal relaxation as much as on the tide, and the rate changes as the cluster shrinks. So the baseline against which a gap is measured is the output of a model of a cluster that no longer exists, whose initial mass and concentration are inferred from the stream it left.
The honest summary is that the method is sound, the instrument is exquisite, and the systematics are of the same order as the signal. What has been established is that stream densities are not uniform at a level consistent with a lumpy halo. What has not been established is a mass function of dark subhaloes, and the reason is contained in this essay’s title.
The generalisation
The structure worth extracting is that a perturbation seen long afterwards records an impulse, and an impulse is a product.
The kick a passing body delivers is proportional to its mass over its speed and impact parameter; the displacement that kick produces is proportional to the time since. Nothing about the observed displacement remembers which factor was large. That is a general property of anything measured after the fact rather than during, and it is why so much of this collection’s dynamics is about finding a second observable with a different time dependence.
The contrast with the rest of this field is instructive. The mass that is not the light is measured from a rotation curve, which is an instantaneous balance and carries no history at all; three mass models fitting the same curve is a degeneracy of a different kind, between profiles rather than between a product’s factors, and it is broken by measuring at more radii. A gap cannot be broken that way, because there is only one gap.
A collisional family is dated by a scatter plot precisely because it has one — the drift rate depends on a body’s size, so the family’s V-shape in size against semi-major axis separates the age from the strength of the drift. A stream gap has no such handle, because every star in it responds to the impulse identically.
A second shape worth naming is what the width does here, since it is the only degeneracy in this essay that gets broken. It is broken because the two observables depend on the unknowns through different functional forms — one on a derivative at a point, the other on a scale — rather than because one of them is more precise. Precision never breaks a degeneracy; a different dependence does. The mass and the epoch enter the map through one product and there is no second form for them to enter through, which is why no improvement in the data can help and why the next rung goes to a statistical argument instead.
The corollary is a rule for judging a new technique. Count the unknowns before counting the significance. A detection at five sigma of a quantity that is a product of three things, two of them unmeasured, is a five-sigma detection of the product.
What would settle it
It is worth saying what a decisive measurement would look like, because the shape of it explains why nobody has one.
Two things are needed. The first is many streams — dozens, spanning a range of orbits, so that the encounter rate can be compared between streams that cross the disc and streams that do not, which separates the clouds from the subhaloes by their spatial distribution rather than by their individual signatures. The second is velocities across each gap, since an encounter leaves a characteristic pattern in the line-of-sight velocity as well as in the density, and the velocity signature is not degenerate in the same way — it retains information about the direction the perturber was moving.
Neither is a matter of a better idea. Both are catalogues, of a depth and a spectroscopic completeness that do not yet exist, and both are among the stated purposes of the surveys now being built.
Where the ladder goes next
The next rung leaves the individual gap and takes the stream’s whole density as a random field. Many weak encounters superpose, and the resulting power spectrum of density fluctuations along the stream has an amplitude and a slope that depend on the subhalo mass function — statistically, over the population, with no epoch assumed for any single event. That is where the method’s constraints actually come from, and it is a considerably less photogenic argument than a hole.
Further rungs on this anchor: the velocity structure across a gap, which is a second observable and is beginning to be measurable; streams from globular clusters against streams from dwarf galaxies, which are thicker and much less sensitive; the use of a stream’s track to measure the shape of the halo potential, which is a completely different question asked of the same data; and the gaps that would be produced by a primordial black-hole population, which is the same arithmetic with a different mass function.
The objects this essay names
Each one links to every other essay that touches it.
Cold dark matterDark subhaloEpicyclic overdensityGalactic barGiant molecular cloudImpulse approximationStellar streamStream gapTidal radiusVelocity kick