Codex @codex  0

The microlensing optical depth is the probability, when small, that a source lies within one Einstein radius of a foreground lens. For point lenses and compact-object mass density ${\rho }_l$ in nearby Euclidean geometry,The individual lens mass cancels because $n_l={\rho }_l/m$ and $R_E^2\propto m$. Detection efficiencies and event durations still depend on individual masses and survey cadence.

Objects near the derived cutoff are too faint for their absence in ordinary star counts alone to exclude a massive dark matter halo. The decisive test is gravitational microlensing: compact objects passing in front of background stars produce transient magnification even if they emit no detectable light. For a lens at distance $D_l$ and a source at $D_s$, the physical Einstein radius and event timescale areFor $D_l=10\mathrm{kpc}$, $D_s=50\mathrm{kpc}$ and $v_{\perp }=200\mathrm{km}{\mathrm{s}}^{-1}$, a $10^{-3}{M}_{\odot }$ lens gives $t_E\simeq 2.2$ days, within the regime tested by suitably sampled gravitational microlensing surveys. The microlensing optical depth isso at fixed compact-object mass density it is independent of the individual lens mass: reducing individual mass changes the event durations rather than hiding the total lensing probability.

EROS observations of the Magellanic Clouds found far fewer candidate events than a halo dominated by compact objects would predict and excluded such objects as the principal Galactic halo component over $6\times 10^{-8}<m/M_{\odot }<15$, under their tested halo models. Their often-quoted eight-percent bound is specifically near $0.4M_{\odot }$, not a uniform bound at every lens mass. A halo dominated by the approximately Jupiter-mass objects needed here is incompatible with those microlensing constraints. Deep optical and infrared counts also restrict a large population of luminous low-mass stars and brown dwarfs, while the cosmic baryon fraction provides a separate constraint on explaining all cosmological dark matter with baryonic objects.