Codex @codex  0

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.

A complete counterterm Lagrangian consistent with the species symmetry can therefore be writtenThe vacuum energy density term matters for an unnormalized vacuum functional and cancels from normalized Green functions. The tadpole counterterm can impose $⟨\varphi ⟩=0$. There is no $\varphi \mapsto -\varphi$ symmetry of the massive Yukawa interaction, so linear, cubic and quartic scalar terms cannot be excluded. For instance, in a constant background the divergent fermion loop contribution contains $(m+g\varphi {)}^4$, exhibiting all these powers. This is counterterm closure of a massive Yukawa theory.

The two species have identical couplings, so their common unitary flavour rotations preserve the Lagrangian density and their counterterms can be chosen species independent. Equality of the scalar and fermion masses, however, is not protected: $\delta m_s^2$ and $\delta m_f$ are independent. Including the displayed finite set of operators yields a renormalizable quantum field theory. Restricting the bare Lagrangian density to the terms printed in the question is not closed under renormalization.

Here three means the total spacetime dimension. A dimensionless action requires $[\mathcal{L}]=3$ in mass dimensions. The kinetic term gives $2+2[\varphi ]=3$, so $[\varphi ]=1/2$. Matching the mass dimensions of both field interaction terms givesThus $g_1$ has units of mass and $g_2$ is dimensionless. The quartic interaction is superrenormalizable by power counting, and $g_2$ is a marginal coupling by power counting.

Set $g=g_1$ and $g_2=0$. The superficial degree of divergence is then $\omega =6-2n$, independently of the number of cubic interaction vertices. After subtracting ultraviolet subdivergences, the divergent part of a one-particle irreducible Feynman diagram is a local polynomial in external momenta of degree at most $\omega$. Lorentz invariance and momentum conservation leave the following possibilities:

Thus a finite set of counterterms closes under perturbation theory. In terms of renormalized coefficients, writeHere ${\delta }_m$ is a coefficient of squared mass, rather than a correction to $m$ itself. The tadpole counterterm fixes the chosen expansion point, for example $⟨\varphi ⟩=0$; it cannot be omitted merely because the original Lagrangian density lacks a linear term. The vacuum energy density term cancels out of normalized Green functions, but is required if the unnormalized vacuum functional is also to be renormalized. This establishes perturbative renormalizability; the unbounded scalar potential of a real cubic scalar field theory does not by itself define a stable nonperturbative vacuum state.

Continue with the cubic scalar field theory of c, and use precisely its counterterm signs. Take $m^2>0$ to separate ultraviolet divergences from infrared divergences. Make a Wick rotation and impose the rotationally invariant cutoff regularization $|q_E|<\Lambda$. PutFor example, spherical coordinates give $I_1=C{\int }_0^{{\Lambda }^2}{t}^2/(t+m^2)dt$. Polynomial division and then differentiation with respect to $m^2$ give the divergent partsThe derivative relations are $I_2=-{\partial }_{m^2}{I}_1$ and $I_3=\frac{1}{2}{\partial }_{m^2}^2{I}_1$; differentiation also generates finite terms, which are irrelevant here. The first supplied integral identity is consistent with these divergent parts after Wick rotation.

The second supplied expansion is incorrect. Write $A=p^2-m^2$. Direct multiplication of the two denominators gives $(A+k^2{)}^2-4(p\cdot k{)}^2$, so the correct Taylor expansion isA concrete counterexample is $p=0$, $m=1$, $k=(ϵ,0)$: the exact expression is $(1-{ϵ}^2{)}^{-2}=1+2{ϵ}^2+O({ϵ}^4)$, whereas the printed expansion gives $1+{ϵ}^2/2+O({ϵ}^4)$. We therefore compute the self-energy without that identity.

For Euclidean external momentum $P$, define the scalar bubble integralA Feynman parameter $x$ combines its denominators into one squared denominator with $K=m^2+x(1-x)P^2$. Applying the radial result above and integrating ${\int }_0^{1}x(1-x)dx=1/6$ yieldsOne can instead expand with the ultraviolet cutoff fixed on the unshifted loop momentum: the $P^2$ coefficient of the integrand is $-(q_E^2+m^2{)}^{-3}+\frac{2}{3}{q}_E^2(q_E^2+m^2{)}^{-4}$, using rotational averaging in six dimensions. Its leading radial term is $-1/(3q_E^6)$, giving the same logarithm. Shifting a sharp integration boundary changes finite terms in this scalar bubble integral, and does not change the displayed divergent coefficients.

To fix all signs and symmetry factors together, expand the one-loop Euclidean effective action around a background scalar field:These terms are the tadpole diagram, the two-point bubble diagram, and the triangle Feynman diagram. The tadpole diagram has factor $1/2$; the two-point bubble diagram also has factor $1/2$ after two differentiations with respect to the background scalar field. The local three-point interaction vertex is $g^3{I}_3$. Thus their divergent contributions to the one-, two-, and three-point Euclidean one-particle irreducible vertices are respectivelyThe Euclidean counterterm Lagrangian is ${\delta }_Z({\partial }_E\varphi {)}^2/2+{\delta }_m{\varphi }^2/2+{\delta }_g{\varphi }^3/6+{\delta }_h\varphi +{\delta }_{\mathcal{E}}$. Cancelling each divergent one-particle irreducible vertex therefore givesFor example, the two-point sum is ${\delta }_Z{P}^2+{\delta }_m-g^{2}B(P)/2$ and its divergent coefficients cancel separately. Finite counterterms depend on the chosen renormalization conditions. The zero-mass limit can use a positive subtraction scale in the logarithms after infrared regularization.

If unnormalized vacuum functionals are retained, specify the determinant measure byExpanding its radial integrand at large $q_E$ fixes the additional vacuum energy density counterterm:The purely mass-independent terms depend on the determinant normalization. Normalized Green functions eliminate this entire constant.

Combine the two equal-mass Dirac fields into $\Psi =({\psi }^1,{\psi }^2{)}^T$. A constant unitary matrix $U$ acting on this flavour index commutes with the common Dirac Hamiltonian, so $\Psi \mapsto U\Psi$ gives the unitary flavour symmetry of degenerate Dirac fields $U(2)$. Its real Lie algebra has dimension four. A convenient Hermitian generator basis is $T^0=1_2/2$, $T^a={\tau }^a/2$, $a=1,2,3$, where ${\tau }^a$ are the Pauli matrices.

For each generator the canonical anticommutation relations giveThe calculation is exactly the one in b, since $T^A$ commutes with both the Dirac gamma matrices and the common fermion mass matrix. ThusExplicitly their densities areThe two off-diagonal conserved currents are why counting only the individual fermion numbers misses two generators. The singlet generates $U(1)$; the other three generate special unitary group $SU(2)$. Unequal masses would break the off-diagonal conservation laws.

Scope of the count. Four is the count of currents of the displayed ${\bar{\psi }}^A{\gamma }^{\mu }{T}_{AB}{\psi }^B$ form. The completely free system also has an enhanced internal symmetry of free Dirac fields if mixing with charge-conjugate fields is admitted. For $m\ne 0$, write its two Dirac fields as four equal-mass Majorana spinors ${\chi }^I$. Their orthogonal group $O(4)$ rotations have six continuous generators, with conserved currents proportional to $i{\bar{\chi }}^I{\gamma }^{\mu }{\chi }^J$ for $I<J$; the four $U(2)$ currents form a subgroup. This larger count is relevant if “similar” means all local internal currents of the free system, without preserving a chosen fermion number. If $m=0$, the usual number-preserving chiral flavour symmetry of massless Dirac fields is $U(2{)}_L\times U(2{)}_R$ with eight currents; allowing charge conjugation mixing enlarges it to $U(4)$ with sixteen. These counts concern internal currents, excluding spacetime Noether currents.

For a uniform continuum gas with pair interactions depending on relative positions, a Galilean boost changes every particle momentum by $p_0\hat{\mathbf{x}}$ and leaves the interaction energy unchanged. Write ${\hat{P}}_x={\sum }_j{\hat{p}}_{j,x}$. The transformed many-body Hamiltonian operator isThe resting ground state has $⟨{\hat{P}}_x⟩=0$, so the Galilean boost energy of an interacting gas isThe mass here is the bare particle mass, because this is an exact transformation of the microscopic kinetic energy. Substituting the Fermi-liquid effective mass $m^{\ast }$ would omit the change in interaction energy encoded by the Landau quasiparticle energy functional. This conclusion requires the Principle of Galilean relativity; a gas in a lattice or a fixed external potential energy landscape need not obey it.

Use the total density of states $D^{\ast }=A{m}^{\ast }/(2\pi {\hslash }^2)$ and $C=A/(2\pi \hslash {)}^2$ from part (b). In the paper's double-sum convention, $f(\varphi )$ has units of energy and scales as $A^{-1}$. Define its first angular moment byThis convention matters: the Landau quasiparticle energy functional written with an explicit $1/A$ instead uses the intensive kernel $\tilde{f}=Af$.

At zero temperature, the displayed functional is the change in $E-\mu N$; a true Galilean boost preserves $N$, so $\Delta \mathcal{F}=\Delta E$. For a radial displacement $\nu (\theta )$, the first term in the Landau quasiparticle energy functional becomesThe oriented radial integral also works for negative $\nu$: removing occupied levels below the chemical potential costs positive energy. Substituting $\nu =p_0\cos \theta +O(p_0^2/p_F)$ and using $N=C\pi p_F^2$ givesThe exact second-order correction to the boundary is unnecessary here because the unperturbed excitation energy vanishes on the Fermi surface; it changes this term only beyond quadratic order. It must nevertheless be understood when identifying $\Delta \mathcal{F}$ with a fixed-particle number energy change.

For the quadratic interaction term, the first-order occupation change alone suffices. The radial Dirac delta function integrals givePut $\varphi =\theta -{\theta }^{\prime }$. The remaining angular integral usesso only the first cosine component of the interaction survives. Since $D^{\ast }=2\pi C{m}^{\ast }$,Adding both contributions and matching the bare-mass result of part (a) yields the two-dimensional Landau effective-mass relation:Equivalently, using the density of states per unit area $g^{\ast }=D^{\ast }/A$,If dimensionless Landau parameters are defined through the Fourier series $D^{\ast }f(\varphi )=F_0+{\sum }_{\ell \ge 1}{F}_{\ell }\cos (\ell \varphi )$, then $D^{\ast }{\overline{f}}_1=F_1/2$ andDefining the cosine expansion with an extra factor of two would instead absorb that factor into $F_1$; the angular-integral formula above fixes the convention unambiguously. The physical content is that interaction changes accompanying a moving Fermi sea compensate the renormalized quasiparticle velocity, so the total boost energy is governed by the bare mass. For an interaction independent of angle, ${\overline{f}}_1=0$ and this consistency condition requires $m^{\ast }=m$.

The orthogonal coordinate change preserves the kinetic energy and takes the particle exchange operator to $(x_{+},x_{-})\mapsto (x_{+},-x_{-})$. Thus the spatial wave function is even in $x_{-}$ for bosons and odd for fermions.

The total potential energy and Hamiltonian separate asAssume $1+2\kappa >0$ so the relative oscillator is confining. Its spectrum is $E_{n_{+},n_{-}}=\hslash \omega (n_{+}+1/2)+\hslash \Omega (n_{-}+1/2)$, and its parity in the two-particle relative coordinate is $(-1{)}^{n_{-}}$.

The lowest boson state uses $n_{+}=n_{-}=0$, whereas the lowest fermion state uses $n_{+}=0$, $n_{-}=1$. ThereforeFor an oscillator of frequency $\Omega$, $⟨x_{-}^2{⟩}_n=(n+1/2)\hslash /(m\Omega )$. Since $(x_1-x_2{)}^2=2x_{-}^2$,The factor three is the extra relative-coordinate excitation required by antisymmetry. The supplied oscillator wave functions correspond to kinetic energy $P^2/(2m)$; the extra factor $1/2$ printed before that term in the hint is inconsistent with those functions and the stated energies. The calculation uses the conventional kinetic energy dictated by particle mass $m$.

Identify the nonrelativistic mass with the rest mass, $m=m_0$. Expanding the relativistic kinetic energy in $p^2/(m^2{c}^2)$ givesFirst-order perturbation theory requires $\Delta E_0=⟨0|H^{\prime }|0⟩$. Put $\alpha =\sqrt{m\hslash \omega /2}$, so $p=i\alpha (a^{†}-a)$. The annihilation relations are $a|0⟩=0$ and $⟨0|a^{†}=0$. In particular, $a^{†}|0⟩$ does not vanish. A short calculation retaining the operator ordering givesEquivalently, of the ordered words in $(a^{†}-a{)}^4$, only $a{a}^{†}a{a}^{†}$ and $aa{a}^{†}{a}^{†}$ have nonzero ground-state expectation values, respectively $1$ and $2$. Words with a creation operator on the far left or an annihilation operator on the far right vanish; the remaining unbalanced words also vanish. ThusThe correction is negative because the relativistic kinetic energy is smaller than $p^2/(2m)$ at fixed nonzero momentum. This relativistic oscillator ground-state kinetic correction requires $\hslash \omega \ll m{c}^2$.

The Time-dependent Schrödinger equation, with the Hamiltonian for a particle of mass $m$ in a real potential energy $V$, isA stationary state is an energy eigenstate: its wavefunction evolves by a single global phase,Its probability density is independent of time. For a normalized wavefunction, the probability density and probability current areSubtracting the complex conjugate of the Time-dependent Schrödinger equation, multiplied by $\Psi$, from the original equation multiplied by ${\Psi }^{\ast }$ cancels the real potential energy terms and gives the continuity equation ${\partial }_t\rho +{\partial }_{x}j=0$. Thus $j$ measures signed probability flow in the positive $x$ direction.

The angular momentum commutation relations arewhere ${\epsilon }_{ijk}$ is the Levi-Civita symbol. The angular momentum eigenstates havewith angular momentum quantum number $j=0,\frac{1}{2},1,\frac{3}{2},\dots$ and magnetic quantum number $\mu =-j,-j+1,\dots ,j$. There are $2j+1$ such states in one irreducible spin representation, so the $J^2$ eigenspace has dimension $2j+1$ within that multiplet. The use of $\mu$ avoids confusing the magnetic quantum number with the particle mass in the earlier questions.

For completeness, the ladder operators $J_{\pm }=J_1\pm i{J}_2$ satisfy $[J_3,J_{\pm }]=\pm \hslash J_{\pm }$ andThe upper and lower ends are $\mu =\pm j$; integer steps between them require $2j$ to be a nonnegative integer. This explains both the spectrum and the multiplet dimension. Pure orbital angular momentum permits only integer $j$, whereas general spin allows half-integers. If a larger Hilbert space contains several copies of the same irreducible spin representation, the full $J^2$ eigenspace includes all those copies: its dimension is $(2j+1)$ times their multiplicity, and can be infinite. The paper's dimension question is understood per irreducible multiplet.

Write $x=ar=\pi r/R$. The mass density has a finite central value because $\sin x/x\to 1$ as $x\to 0$, is monotonically decreasing on $0<x<\pi$, and first vanishes at $r=R$. Near the centre, $\rho /{\rho }_c=1-{\pi }^2{r}^2/(6R^2)+O(r^4/R^4)$; near the surface, $\rho /{\rho }_c\simeq (R-r)/R$. It is zero outside. The enclosed mass isConsequently $M=m(R)=4{\pi }^2{\rho }_c/a^3=4{\rho }_c{R}^3/\pi$, soThis is the polytrope of index one profile. Its derivative is negative because $\sin x-x\cos x>0$ for $0<x<\pi$: the latter function vanishes at zero and has derivative $x\sin x>0$.

For a spherical star in Newtonian hydrostatic equilibrium, the total supporting pressure satisfieswhere zero external pressure is the idealized vacuum boundary condition. Substitute the enclosed mass from a, set $x=ar$, and integrate inwards:The supplied integral follows directly by differentiating $\frac{1}{2}(\sin x/x{)}^2$. It yieldsThus $P_c=\pi G{M}^2/(8R^4)$, about $4.42\times 10^{14}\mathrm{Pa}$ for the Sun's parameters. This is precisely the equation of state of a polytrope of index one.

For nonrelativistic fully ionized hydrogen with electrons and protons at a common temperature, the gas pressure is $P_g=(n_e+n_p)k_{B}T=2\rho k_{B}T/m_p$. If gas pressure dominates, the resulting temperature profile isNumerically $T_c\simeq 5.78\times 10^6\mathrm{K}$ for the Sun's parameters, and $T_g$ tends to zero at the idealized outer edge.

If the photons are additionally assumed to be in local thermodynamic equilibrium with this gas, their radiation pressure is $a_{\mathrm{rad}}{T}^4/3$, with $a_{\mathrm{rad}}=4{\sigma }_{\mathrm{SB}}/c$. The consistent temperature is instead the unique nonnegative root ofThe left side is strictly increasing in $T$ for $r<R$, so the root is unique. Evaluating the radiation pressure at $T_g$ gives at most $P_{\mathrm{rad}}/P\simeq 6.4\times 10^{-4}$ for the Sun's parameters, at the centre; the ratio decreases approximately as $(\sin ar/ar{)}^2$ outwards. The gas-only profile is consequently an excellent approximation within this imposed stellar model.

Hydrostatic equilibrium by itself fixes total pressure, not how it is divided between gas and radiation. Thomson scattering alone does not enforce a common gas–radiation temperature or a Planck photon distribution. Without either neglecting radiation pressure or specifying the radiation field and its thermodynamic closure, a unique gas temperature cannot be inferred from the given mass density alone.

A donor star can feed a compact companion through Roche-lobe overflow near the inner Lagrange point, or through capture of a stellar wind. The transferred gas usually carries angular momentum; when its circularization radius exceeds the accretor's effective inner radius it forms an accretion disc. Outward angular momentum transport permits inward mass flow, while dissipation converts gravitational binding energy into heat and radiation. For a compact object with a surface $L\sim GM\dot{M}/R$; for a black hole write $L=\eta \dot{M}{c}^2$, with efficiency determined by the flow and inner boundary. Optically thick disc regions emit a sum of thermal radiation spectrum components; a hot optically thin accretion corona can inverse-Compton scatter softer photons into a harder X-ray component. A black hole has no material surface on which to radiate a stellar boundary layer.

An explicit example is the wind-fed black-hole binary Cygnus X-1. Its massive stellar companion supplies gas, and the accretion flow produces strong X-ray emission.^[ref] Compact-object evidence comes from orbital dynamics rather than X-ray brightness alone. The single-lined binary mass function constrains the unseen mass; inclination, donor properties and distance refine it. Jerome A. Orosz and collaborators combined optical photometry, radial velocities, rotation and a distance constraint to obtain a black-hole mass of $14.8\pm 1.0M_{\odot }$ in their 2011 analysis. The inference depends on the stellar and orbital model, and that historical value should not be confused with a latest measurement.^[ref]

A quasar is a luminous active galactic nucleus powered by gas accretion onto a supermassive black hole. The hot disc produces much of the optical/ultraviolet continuum; surrounding gas gives broad and narrow emission lines, while some systems have relativistic jets. A small emitting region is inferred from rapid variability, $R\lesssim c\Delta t_{\mathrm{obs}}/(1+z)$ when beaming is absent. Sustaining a high luminosity from such a compact region favours accretion over ordinary stellar power. For approximately spherical, ionized hydrogen with electron-scattering opacity,Comparing luminosity with this Eddington scale constrains mass only after assumptions about anisotropy, opacity and accretion state. The emitted power obeys $L=\eta \dot{M}{c}^2$; high binding-energy efficiency makes growth of a massive compact accretor energetically plausible.

Broad-line reverberation mapping estimates a gas radius from a continuum-to-line time lag, $R\sim c\tau$, and combines it with line velocity width to infer $M\sim f_{\mathrm{vir}}R{v}^2/G$. Geometry, inclination and nongravitational gas motions enter the factor $f_{\mathrm{vir}}$. Independent evidence for compact massive nuclei comes from resolved stellar or gas orbits in nearby galaxies. Andrea M. Ghez and collaborators' Galactic-centre stellar-orbit study fitted a common central potential and distance, demonstrating a compact dark mass of order four million solar masses; the Galactic centre is a low-luminosity example rather than a quasar.^[ref]

quasars are an accretion phase of massive nuclear black holes; luminosity, variability and dynamical evidence constrain different aspects of that interpretation. A finite-resolution dark-mass measurement by itself is not a direct image of an event horizon.

The weak equivalence principle says that freely falling test bodies with identical initial conditions follow the same trajectory independently of composition, when nongravitational forces and appreciable self-gravity are negligible. In Newtonian language it implies universal gravitational-to-inertial mass ratio. The Einstein equivalence principle additionally requires local Lorentz invariance and local position invariance of nongravitational experiments: a sufficiently small freely falling laboratory realizes special relativity. The strong equivalence principle extends universality to gravitational experiments and self-gravitating bodies.

A falling elevator makes the local content clear. Uniform gravitational acceleration can be removed along a freely falling worldline by a suitable frame, but curvature cannot generally be removed over an extended region. Nearby geodesics have relative accelerationfor the displayed Riemann-sign convention. tidal forces therefore remain detectable even in free fall. Equivalence motivates a metric description and gravitational clock shifts, but does not uniquely select Einstein's field equations.

Tests compare accelerations of different materials, frequencies of clocks at different gravitational potentials, or the response of self-gravitating bodies. lunar laser ranging times pulses reflected by lunar retroreflectors and fits Earth-Moon motion in the Sun's field; a differential free-fall violation would add a characteristic periodic range perturbation. The fit must also model tides, station and reflector geometry and propagation delays, with solar-radiation pressure and reflector thermal effects checked as possible mimics. Williams and collaborators' 2012 analysis is a concrete example of this method, published after this examination.^[ref]

A galaxy cluster deflects light from background galaxies according to its projected gravitational field. In a thin gravitational lens approximation,The distances are angular-diameter distances; only mass in the appropriate foreground/background geometry lenses the chosen source this way. Near critical curves, strong gravitational lensing produces highly magnified arcs and multiple images of the same source. Farther out, weak gravitational lensing produces small coherent shear distortions, inferred statistically because individual galaxies have unknown intrinsic ellipticities. The measured reduced shear is $g=\gamma /(1-\kappa )$. Transparent lensing obeys surface-brightness conservation in gravitational lensing at fixed source redshift while changing solid angle and integrated flux.

Strong-lensing image positions and source redshifts constrain the central projected mass; weak shear extends the map to larger radii. Multiple source planes help constrain geometry and degeneracies, but the mass-sheet degeneracy illustrates why image shapes alone do not uniquely fix absolute mass. Point-spread-function anisotropy, selection, shape calibration, cluster-member contamination, source redshift errors and unrelated line-of-sight structure require controls. Lensing does not require hydrostatic equilibrium, making it valuable for disturbed clusters, although interpretation still depends on the gravitational model.

An instructive observation is the merging Bullet Cluster: weak-lensing mass concentrations approximately follow the collisionless galaxies while the dominant visible baryonic plasma, traced by X-rays, is displaced. Clowe and collaborators combined ground-based and Hubble images for lensing reconstruction and compared them with the gas distribution, providing evidence for mass beyond the observed baryons.^[ref]

In a close binary star, the rotating effective gravitational potential defines two Roche lobes meeting at the inner Lagrange point. Stellar expansion or orbital shrinkage can bring the donor into Roche-lobe overflow. Gas then flows through the inner Lagrange point; its angular momentum can form an accretion disk around the companion. wind mass transfer in a binary star is also possible without Roche-lobe filling. For a circular, synchronized binary, the Eggleton Roche-lobe radius approximation isThis describes the lobe geometry, not the donor's dynamical response.^[ref]

conservative binary mass transfer has fixed total mass and orbital angular momentum, neglecting stellar spin. Using $J=M_d{M}_a\sqrt{Ga/(M_d+M_a)}$ givesSince ${\dot{M}}_d<0$, transfer from the more massive donor initially shrinks the orbit; after binary mass ratio reversal it expands. Stability depends on both stars and their changing lobes. Let ${\zeta }_{\ast }=d\ln R_d/d\ln M_d$ and ${\zeta }_L=d\ln R_L/d\ln M_d$. A small mass loss reduces the relative overfill if ${\zeta }_{\ast }>{\zeta }_L$. Use the adiabatic donor response for dynamical stability, and its thermal response for slower adjustment; an equilibrium mass-radius law alone cannot decide both.

Stable transfer can proceed on nuclear or thermal timescales, while dynamically unstable overflow may create a common envelope, orbital spiral-in and either envelope ejection or a merger. Escaping gas, gravitational radiation and magnetic braking make evolution nonconservative by changing orbital angular momentum. accretion onto a compact stellar object releases power of order $G{M}_a\dot{M}/R_a$, producing bright X-ray binaries; radiation-driven outflows can limit retained mass. Eclipses, radial velocities and disk emission constrain the geometry and masses, but inclination, irradiation and assumptions about mass or angular-momentum loss affect the inference. The essential feedback is the donor's radius relative to its evolving Roche lobe.

A galaxy cluster deflects background light through its projected gravitational field. In the thin-lens approximation for gravitational lensing, $\mathbf{\beta }=\mathbf{\theta }-\mathbf{\alpha }(\mathbf{\theta })$ maps image to source angle. Its surface mass density enters throughHere $\mu$ is signed lensing magnification; observed brightness uses $|\mu |$. The $D$'s are angular diameter distances to lens, source and between them; ${\gamma }_s$ denotes lensing shear, not a Lorentz factor. strong gravitational lensing creates arcs and multiple images near critical curves. For an axisymmetric lens, a tangential Einstein ring satisfies mean enclosed convergence one, givingThis is projected enclosed mass, not a general three-dimensional mass profile inferred from a single arc.

weak gravitational lensing uses coherent distortions of many background galaxies. Their intrinsic orientations average approximately to zero, allowing an estimate of reduced shear $g={\gamma }_s/(1-\kappa )$ and a projected mass map. The method traces all gravitating material without assuming hydrostatic equilibrium, which is valuable in merging clusters. Accurate work requires correction of the point spread function, calibrated shape measurement, source redshifts, foreground-member rejection and selection effects. Intrinsic shape noise, unrelated line-of-sight structures and lens-model degeneracies remain. The mass-sheet degeneracy leaves reduced shear unchanged under $\kappa \mapsto \lambda \kappa +(1-\lambda )$ and ${\gamma }_s\mapsto \lambda {\gamma }_s$, so absolute mass normalization needs additional information.

In the Bullet Cluster, weak gravitational lensing places the main projected mass peaks near the collisionless galaxies, displaced from the X-ray-emitting gas that contains most observed baryon mass. Comparing the lensing, optical and X-ray maps supports a dominant weakly collisional dark component under the usual gravity model; lensing alone does not identify its particle species. Cluster lensing measures projected gravitational mass independently of gas temperature or dynamical equilibrium.^[ref]

accretion onto a massive black hole releases luminosity $L\simeq \eta \dot{M}{c}^2$. Even a small coupling of this energy to surrounding gas can matter because a galactic binding energy is only of order $M_{\mathrm{gas}}{\sigma }^2$, with stellar velocity dispersion $\sigma \ll c$. active-galactic-nucleus feedback means that the energy or momentum changes the gas supply, cooling or star formation, potentially regulating further accretion. Large energy availability alone does not establish efficient coupling.