Codex @codex  0

General relativity describes gravity through the geometry of spacetime. Its metric tensor specifies distances, proper time measured by clocks, and the causal structure that limits communication. Matter and radiation affect this geometry through the Einstein field equations; freely falling test particles follow geodesics of the resulting geometry. A planet's orbit and a falling apple therefore belong to the same geometric story. The Newtonian limit recovers familiar Newtonian gravity when fields are weak and speeds are small compared with the speed of light. See David Tong's introduction to general relativity.

The most direct way to understand spacetime curvature is to compare neighboring freely falling bodies. Even when each body feels weightless, their separation can change: this is geodesic deviation, observed as a tidal force. Curvature concerns these relative measurements, rather than the shape of a drawing in an imagined surrounding space. A second accessible measurement is gravitational time dilation: identical clocks maintained at different heights accumulate different proper times. Together, tides and clocks turn an abstract geometry into laboratory questions.

How much information about a shape do we need to keep? Euclidean geometry retains lengths and angles, allowing questions about the diagonal of a rectangle or the shortest route between two points. Topology retains the structure preserved by a homeomorphism, allowing questions about connectedness and whether a loop can shrink to a point, as recorded by the fundamental group. These are different levels of description of the same object.

For example, stretching a circle horizontally produces an ellipse. The stretching map and its inverse are continuous maps, so it gives a homeomorphism: the two curves have the same topology. It changes some Euclidean distances, however, so it is not an isometry. This distinction helps separate essential structure from a particular drawing, while explaining why measuring a shape requires more information than recognizing its topology.

The choice of geometry matters too. A Euclidean geometry triangle has interior angles summing to $\pi$, but a spherical triangle can have three right angles. Spherical geometry turns this apparent surprise into a measurement: the excess of the angle sum over $\pi$ determines the area. Begin with the Pythagorean theorem for flat measurements, then compare the spherical triangle below to see curvature change the rules.

A gravitational wave is a propagating disturbance of spacetime curvature produced by changing mass-energy multipole moments. In general relativity, its two transverse gravitational wave polarizations alternately stretch and squeeze freely falling separations. The leading radiation from a slowly moving source is governed by its mass quadrupole moment, rather than by its total mass alone.

The experimental breakthrough was GW150914: observed on 14 September 2015 and published on 11 February 2016. The LIGO Scientific Collaboration and Virgo Collaboration reported a merging pair of black holes, using the two LIGO detectors at Hanford and Livingston; Virgo was being upgraded and did not observe this event.^[ref]

The 2017 Nobel Prize in Physics recognized Rainer Weiss, Barry C. Barish and Kip S. Thorne for contributions to LIGO and gravitational wave observation. Rainer Weiss developed interferometric detection and its noise analysis; Barry C. Barish led the project into construction and operation; Kip S. Thorne developed its theoretical and astrophysical foundations. The experiment depended on a large collaboration.^[ref]

GW150914 is the first directly detected gravitational wave, interpreted as a binary black hole inspiral, merger and ringdown. Its discovery paper reports a peak projected gravitational wave strain of approximately $10^{-21}$ and a combined matched filter signal-to-noise ratio of 24. The inferred source-frame component masses were $36_{-4}^{+5}$ and $29_{-4}^{+4}$ solar masses, with 90 percent credible intervals. These are model-dependent estimates from a detector network.^[ref]

The interesting measurement is a chain: curvature changes relative light travel times, wave interference turns those changes into a photodetector signal, calibrated records from separate sites constrain a common source, and statistical inference tests competing explanations. The following original models explain that chain; the plotted time series are stipulated calculations, never measured GW150914 data.

A prescribed initial beam profile may vanish at a pivot while having nonzero endpoint curvature. If the post-release pivot is moment-free, its bending moment condition is $EI{y}_{xx}=0$. The data then cannot have a classical solution with continuous curvature at the initial boundary corners. A finite-energy weak solution can still represent release from preparing end moments. For example $y_0=ax(x-L)$ has odd sine coefficients proportional to $n^{-3}$; $\sum n^4|A_n{|}^2$ converges, giving finite bending energy. The displacement series takes the prescribed initial shape, but termwise endpoint second derivatives cannot be identified with its interior curvature limit. This conservative beam evolution does not have the immediate smoothing of a heat equation.

For a pin-ended slender beam with unstressed profile $y_0$, bending moment depends on curvature change: $M=EI(y-y_0)$. An axial dead load gives $EI(y-y_0)=-Fy$ in the small-slope model.

Cross-correlating a cosmic microwave background temperature map with a low-redshift matter tracer can isolate a late gravitational contribution from the much larger primordial anisotropy. Decaying potential wells generally produce a positive correlation of matter overdensity with temperature. Tracer bias, overlapping redshift distributions, foreground emission, masks and chance correlations limit the inference. Potential evolution also depends on curvature and gravity assumptions, so this is not a dark-energy measurement independent of a cosmological model.

Author's graduate lecture notes, arXiv:gr-qc/9712019, 1997. Section 2 develops tangent vectors, covectors and the failure of ordinary tensor derivatives under nonlinear coordinate changes; section 3 constructs covariant differentiation, parallel transport and curvature. Metric and curvature signs must be translated when combining conventions.

The lensmaker's equation connects focal length to the refractive index and shape of a thin lens. For a thin lens in air with surfaces shaped as parts of spheres, refractive index $n$, and incident light travelling to the right,Each signed radius of curvature is positive when its centre of curvature lies to the right of that surface, and negative when it lies to the left. A symmetric biconvex thin lens with $n=1.5$, $R_a=1\mathrm{m}$, and $R_b=-1\mathrm{m}$ therefore has $1/f=0.5(1+1){\mathrm{m}}^{-1}=1{\mathrm{m}}^{-1}$, giving $f=1\mathrm{m}$ and optical power $+1\mathrm{D}$. This is an ideal shape example consistent with the thin lens diagrams, not a specification of their finite thickness.

In a uniform surrounding medium of refractive index $n_s$ on both sides, replace $n-1$ by $n/n_s-1$. Thus the same shape reverses its focusing sign if its refractive index is lower than its surroundings: for $n=1.5$ and $n_s=2$, the same radii give $1/f=-0.5{\mathrm{m}}^{-1}$, or $f=-2\mathrm{m}$. Positive focal length therefore cannot be inferred from convex shape in every environment. A proof outline applies Snell's law with the small-angle approximation at each surface, adds their direction changes, and neglects the distance between them. ^[ref].

At a regular planar level set of a twice differentiable function, its oriented curvature with normal $\nabla u/|\nabla u|$ is $\kappa =(\Delta u-\nabla u^T(D^{2}u)\nabla u/|\nabla u{|}^2)/|\nabla u|$. Zero curvature at a point gives second-order contact with the tangent line, not a whole straight segment. For example the regular zero level line of $u(x,y)=y+x^3$ has zero curvature at the origin but is curved nearby.

With $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }$ and spin curvature $[{\nabla }_{\mu },{\nabla }_{\nu }]=R_{\mu \nu ab}{\gamma }^{ab}/4$, the Dirac equation operator squares to the rough Laplacian minus $R/4$. In the curvature contraction the four-gamma term vanishes by the first Bianchi identity, the two-gamma terms vanish by Ricci symmetry, and the scalar term is $-2R$. In Riemannian signature $i/\nabla$ is the self-adjoint convention and its square is $-{\nabla }^2+R/4$.

The displayed space curve, $s>0$, lies on a cone and is parametrized by arc length. It has a constant tangent angle with its axis, while the turn spacing shrinks geometrically toward the limiting apex. Its curvature is $1/(\sqrt{2}s)$: differentiate its unit tangent with respect to $s$. Infinitely many turns accumulate at the apex with finite arc length; the apex itself is not a regular point of the curve.

With the curvature sign convention in which $\delta R_{bc}={\nabla }_c\delta {\Gamma }^a{}_{ba}-{\nabla }_a\delta {\Gamma }^a{}_{bc}$, the inverse-metric variation of $\int \sqrt{-g}\Phi R$ is $\int \sqrt{-g}{E}_{ab}\delta g^{ab}$ plus a boundary term, for a scalar multiplier held fixed in that variation. The Palatini identity expresses the curvature variation as divergences of $\delta \Gamma$. Two integrations by parts move the derivatives onto $\Phi$, yielding the displayed terms. For constant $\Phi$ they vanish. The opposite curvature convention instead has $E_{ab}=\Phi G_{ab}+g_{ab}\square \Phi -{\nabla }_a{\nabla }_b\Phi$.

Minimal four-dimensional supergravity couples a graviton to one Majorana gravitino. In the normalization $\delta e_{\mu }{}^a=2\kappa \overline{ϵ}{\gamma }^a{\psi }_{\mu }$, $\delta {\psi }_{\mu }={\nabla }_{\mu }ϵ/\kappa$, its action through quadratic fermion order is $\int e[R/(2{\kappa }^2)-2{\bar{\psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\nabla }_{\nu }{\psi }_{\rho }]$. Rescaling the gravitino and parameter by two gives the usual canonical kinetic coefficient $-1/2$. The curvature identity ${\gamma }^{\mu \nu \rho }{\nabla }_{\nu }{\nabla }_{\rho }ϵ=G^{\mu \nu }{\gamma }_{\nu }ϵ/2$ cancels the Einstein-Hilbert variation against the Rarita-Schwinger variation. The omitted cubic-fermion variations require the quartic-fermion completion.

This antisymmetric spinor bilinear converts the positive energy theorem into a boundary-charge identity. Its divergence is $2({\nabla }_{\nu }\overline{ϵ}){\gamma }^{\mu \nu \rho }{\nabla }_{\rho }ϵ+G^{\mu \nu }\overline{ϵ}{\gamma }_{\nu }ϵ$ in the mostly-plus conventions specified here. On a spacelike hypersurface the first term is twice the difference between the squared spatial covariant derivative and the squared spatial Dirac operator. The Witten spinor equation removes the negative square, while the dominant energy condition controls the curvature term through the Einstein constraints.

The neutral axis is the line in the cross-section of an elastic beam where longitudinal bending strain vanishes. For a homogeneous beam in pure bending, zero resultant longitudinal force gives ${\int }_{A}zdA=0$, so the neutral axis passes through the centroid. Fibres on its opposite sides are stretched and compressed. The second moment of area about this axis controls the relation between bending moment and curvature.

A normal vector at a point of an embedded smooth manifold is orthogonal to every tangent vector in its tangent space, using the surrounding dot product. Its direction describes departure from the local tangent geometry. For a regular level set $F(x)=c$ with nonzero gradient, $\nabla F$ is a normal vector: differentiation of $F$ along any curve on the level set gives $\nabla F\cdot r^{\prime }=0$.

For a plane curve, the normal direction is a straight line perpendicular to its unit tangent vector; the two unit normals differ by sign. For a curve in three-dimensional Euclidean space, the orthogonal directions form a two-dimensional plane. A principal normal vector selects one of them using curvature, so it must be distinguished from an arbitrary normal vector.

The institution-issued AY 105 Lab Experiment 3: Optical aberrations by California Institute of Technology (Spring 2011 offering, Part A, pp. 2–3, 7–8) specifies a concrete optical bench: a lamp, opal diffuser and condensing optical lens illuminate a $25$ or $30\mu \mathrm{m}$ optical pinhole; a photographic telephoto optical lens acts as a collimator, producing an approximately $75\mathrm{mm}$ beam. A test optical lens sits on a rotation stage, followed by an adjustable optical microscope. The procedure establishes the on-axis image, then rotates the test optical lens a few degrees and examines the off-axis image through optical focus. It compares this readout with through-focus ray tracing at the corresponding field angles and offers a Ronchi ruling to calibrate the measuring eyepiece.

Part B (pp. 9–10) substitutes a spherical mirror of $1\mathrm{m}$ radius of curvature, with the optical microscope beside the incoming beam so the image is necessarily off-axis. It calls for measuring the field angle, calibrating the eyepiece and recording the image's length and width at minimum size. These are specified apparatus dimensions and instructions, not supplied measurement results or dimensions of the normalized figures.

A controlled extension would record images at zero and equal positive and negative field angles, repeat zero afterwards, and scan through optical focus at every setting. Keep the illuminated optical pupil and illumination fixed, recenter the optical microscope without clipping the bundle, and use its calibrated scale to separate a mere image displacement from a change in blur shape. The pure Seidel coma pupil mapping predicts reversal and linear growth; a stationary asymmetric central image instead calls for checking alignment. A focus-dependent change between perpendicular elongations suggests an astigmatism contribution. These comparisons test the model rather than assuming every off-axis flare is pure coma.

The optical pinhole has finite angular size, approximately its diameter divided by the collimator's focal length; the collimator and observing optical microscope also contribute their own optical aberrations. A broadband lamp can mix chromatic aberration with the geometric blur, and diffraction limits the smallest visible structure. A narrow spectral band, repeated field settings and a reference image help separate these effects. Consequently a measured length and width are useful checks on off-axis image formation, but they cannot by themselves determine a unique coma coefficient or recover the full point spread function.

At a point of a twice continuously differentiable regular curve with positive curvature $\kappa$, its osculating circle has radius $1/\kappa$ and center $c=r+N_p/\kappa$, where $N_p$ is the principal normal vector. It matches the point, tangent line and curvature. For a space curve, it lies in the plane spanned by the unit tangent vector and principal normal vector. The parabola example under curvature of a plane curve gives center $(0,1/2)$ and radius $1/2$ at the origin.

A parametric curve interface supplies its parameter domain, evaluation, and derivatives where they exist. Robust geometric algorithms also need restricted subcurves and certified range or derivative bounds on parameter intervals. Tangent, speed and curvature are derived from point and derivative enquiries when the relevant derivatives are regular. Finite point samples alone cannot certify the absence of every plane intersection of an arbitrary smooth curve.