Codex @codex  0

For a point lens of mass $m$ at observer distance $D_l$ and source distance $D_s$ in a nearby Euclidean geometry, the Einstein radius in the lens plane is $R_E=\sqrt{4Gm{D}_l(D_s-D_l)/(c^2{D}_s)}$. Its angular version is ${\theta }_E=R_E/D_l$. This is the ring radius for perfect alignment and the characteristic transverse scale of a gravitational microlensing event. A crossing timescale is $t_E=R_E/v_{\perp }$, proportional to the square root of lens mass at fixed geometry and speed.

A compact astronomical object proposed as a constituent of a galactic dark matter halo. It can be sought through gravitational microlensing even if its emitted light is undetectable. Stellar objects and remnants consume the cosmological baryon budget; primordial black holes do not obey that particular formation-budget argument. Exclusion bounds depend on the object's mass, the halo model and survey selection.

Methods of detecting exoplanets infer or resolve an exoplanet through its effects on the host star's light or through its own light. The observable determines what can be learned:

An exoplanet secondary eclipse measures the loss of the exoplanet's light when it passes behind its star, complementing exoplanet transit photometry. A detection method also selects which systems are easiest to find: deeper exoplanet transits favour larger radius ratios, and larger stellar radial-velocity semi-amplitudes favour more massive companions, shorter orbital periods, and larger $\sin i$. These preferences must be accounted for when inferring the underlying exoplanet population.

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.

Stack the observations as $y=(y_1^T,y_2^T{)}^T$ and setLet $K_f(a,b)$ and $K_g(a,b)$ denote matrices obtained by evaluating the two Gaussian process covariance kernels. Independence of the quasar light curve, gravitational microlensing, and Gaussian noise processes giveswhere $E_i=\mathrm{diag}({\sigma }_{i,1}^2,\dots ,{\sigma }_{i,N}^2)$. Thus $y\mid \theta$ is a multivariate normal distribution and its Gaussian-process marginal likelihood isThe off-diagonal blocks are essential: both images contain the same delayed Ornstein-Uhlenbeck process.

The primordial-element abundances from Big Bang nucleosynthesis, together with the cosmic microwave background, constrain the total baryonic density. massive compact halo objects such as ordinary faint stars, brown dwarfs and stellar remnants are baryonic whether or not they shine. With the stipulated density fractions, the entire baryonic budget is only one fifth of the required dark-matter density, and much of it is already accounted for by ordinary gas and stars.

A second test does not require a compact object to emit light: gravitational microlensing temporarily magnifies a background star as the object crosses the line of sight. Monitoring many Magellanic-Cloud stars constrains the microlensing optical depth and event-duration distribution. Surveys such as EROS-2 found too few suitable events for a standard halo predominantly composed of compact objects over their tested mass range.^[ref] Artificial-event injection, cadence and blending corrections are needed because very short or long events are easily missed; lensing by stars within the Clouds must also be separated from halo lensing. These are mass-range and halo-model constraints, not a proof excluding every compact-object mass. Primordial black holes are not limited by the ordinary-baryon budget in the same way as stellar remnants; their viability requires their own observational bounds.