For the dimensionless half-harmonic oscillator $-{\psi }^{\prime \prime }+x^2\psi =\lambda \psi$ on $x>0$ with $\psi (0)=0$, the trial family $x{e}^{-\alpha x}$, $\alpha >0$, is admissible for the Rayleigh-Ritz variational principle. The moments ${\int }_0^{\infty }{x}^n{e}^{-2\alpha x}dx=n!/(2\alpha {)}^{n+1}$ give norm squared $1/(4{\alpha }^3)$, derivative energy $1/(4\alpha )$, and potential energy $3/(4{\alpha }^5)$. Its Rayleigh quotient is ${\alpha }^2+3/{\alpha }^2$, minimized at $\alpha =3^{1/4}$. The resulting upper bound $2\sqrt{3}$ exceeds the exact lowest eigenvalue three; the exact ground-state shape is $x{e}^{-x^2/2}$.

For detector $k$, model the calibrated data as $d_k(t)=h_k(t;\theta )+n_k(t)$, with a shared source parameter vector $\theta$, separate detector responses, propagation delays and noise $n_k$. Under an independent stationary Gaussian process approximation with one-sided power spectral density $S_k(f)$, define the noise-weighted inner product and likelihood functionStrain power spectral density has units ${\mathrm{Hz}}^{-1}$; the displayed inner product is dimensionless when the Fourier transform integrates over seconds. A matched filter rewards agreement over the full evolving wave phase, weighting frequency bands by their noise. One conspicuous peak is insufficient: a candidate should also have the right distribution of signal across frequency bands and compatible projections in the network.

The parameter paper used coherent Bayesian inference, numerical relativity-informed inspiral–merger–ringdown models and explicit calibration uncertainties. It found a strong distance–inclination correlation; source-frame masses additionally require converting the detector-frame masses by a cosmological redshift.^[ref] Conceptually, multiply the likelihood function by a prior distribution to obtain a posterior distribution. Changes in waveform families, residual structure after subtraction, and checks with a generic transient reconstruction test parts of the modeling assumptions. Detection significance and parameter uncertainty answer different questions.

The modeled matched filter search found an arrival difference of about $7\mathrm{ms}$, within the roughly $10\mathrm{ms}$ intersite light travel time. Background events were obtained by shifting one detector's timestamps far beyond that time and repeating the coincidence analysis. The binary search bounded the false alarm rate below one event per $203000$ years. That is an empirically estimated background rate, not a probability that the source interpretation is false.^[ref]

The logic is to destroy a common astronomical arrival while retaining each instrument's real glitches. A Poisson distribution approximation would turn a background rate $r$ into $1-e^{-rT}$ for at least one equally strong noise event during live time $T$, only after accounting for the search's ranking and trials. Repeated time slides reuse data; their accumulated background duration is not an equally long series of independent new observations. Correlated disturbances also require separate controls because shifting timestamps can erase them along with a true signal.

The dedicated noise study inspected auxiliary channels and deliberately applied magnetic, acoustic and mechanical disturbances to measure their coupling into strain. For GW150914, checks included environmental coincidences, instrument state, and exclusion of an intentional hardware injection. It also examined potentially correlated global magnetic disturbances, which time slides alone cannot exclude.^[ref] The point of an injection test is quantitative: a quiet environmental monitor is informative only if its sensitivity and coupling bound the disturbance needed to explain the candidate.

Each LIGO instrument is a Michelson interferometer with approximately $4\mathrm{km}$ arms containing Fabry–Pérot interferometers. A stabilized $1064\mathrm{nm}$ laser illuminates suspended $40\mathrm{kg}$ fused-silica mirrors in vacuum. Four-stage suspensions and active isolation suppress ground motion; low-loss materials reduce thermal noise. Power recycling increases circulating power; signal recycling shapes the response to the gravitational wave.^[ref]

Why measure two perpendicular arms? In the long-wavelength limit, take a gravitational wave with plus polarization normally incident on ideal perpendicular arms. Its transverse-traceless tensor has $h_{xx}=h_{+}$ and $h_{yy}=-h_{+}$. Expanding each proper length to first order givesHere $h_{+}$ is dimensionless, whereas $\Delta L$ is a length. A stipulated $h_{+}=10^{-21}$ and $L=4000\mathrm{m}$ imply $\Delta L=4\times 10^{-18}\mathrm{m}$, with individual arm changes of opposite sign and magnitude $2\times 10^{-18}\mathrm{m}$. These are equivalent differential arm-length changes, not a photograph of mirrors moving against a rigid external ruler. The observable compares returning light phases; coordinate systems can distribute the description between mirror coordinates and light propagation.

For unit arm directions $\mathbf{u},\mathbf{v}$, define the detector tensor $D^{ij}=(u^i{u}^j-v^i{v}^j)/2$. If $e_{ij}^{+},e_{ij}^{\times }$ are the transverse polarization tensors, thenThe dimensionless factors $F_A$ encode sky direction and the polarization basis. Thus even identical sources can have different observed amplitudes and wave phases. Motion changing both arms equally cancels in this ideal differential observable, although real asymmetries can couple common disturbances into it.

Suspension supplies an inertial reference above its resonances. For example, a single ideal harmonic oscillator with support motion $y$ obeys $\ddot{x}+{\omega }_0^2(x-y)=0$. Its response at angular frequency $\omega$ is $x/y={\omega }_0^2/({\omega }_0^2-{\omega }^2)$, which decreases in magnitude as $({\omega }_0/\omega {)}^2$ well above resonance. The mirror follows slow support drift but approximately free motion in the high-frequency limit. Real multistage suspensions also require damping and alignment control; resonant frequencies are not regions of good isolation.

Rainer Weiss's 1972 report proposed suspended masses, multiple-pass optical delay lines, and a servo holding an interference fringe. Its noise analysis separately treats photon-counting fluctuations, laser frequency instability, mechanical thermal noise, radiation pressure and ground motion. Those delay lines should be distinguished from the resonant arm cavities of Advanced LIGO.^[ref]

A one-dimensional complex group representation acts on a one-dimensional complex vector space, and is equivalently a group homomorphism into the multiplicative group ${\mathbb{C}}^{\times }$. It is automatically an irreducible representation. Its character of a representation is its scalar value, a one-dimensional character. A change of basis cannot change those scalar values, so two such group representations are equivalent exactly when their homomorphisms agree. For a symmetric group $S_n$ with $n\ge 2$, all transpositions are conjugate, square to the identity and generate the group. Their common scalar image is therefore $1$ or $-1$, giving exactly the trivial representation and the sign representation.

For a complex finite-dimensional group representation, the displayed matrices give another group representation: taking inverses and taking the conjugate transpose each reverse multiplication order, so their composition preserves it. This operation is involutive. With the standard Hermitian inner product, an invariant vector subspace $W$ for $D^{♯}$ has orthogonal complement invariant for $D$, because $D(g{)}^{†}W=D^{♯}(g^{-1})W\subseteq W$. Thus $⟨w,D(g)v⟩=⟨D(g{)}^{†}w,v⟩=0$ for $v\in W^{\perp },w\in W$. It follows that $D^{♯}$ is an irreducible representation exactly when $D$ is. No finiteness assumption on the group or unitarity assumption on the group representation is needed.

Two finite-dimensional group representations $D,E$ over the same field are equivalent if there is one invertible linear map $S$ intertwining all their group actions, equivalently $E(g)=S^{-1}D(g)S$ for every $g$. The same change of basis must work simultaneously for all group elements. The cyclic property of the trace implies that equivalent representations have identical characters: $\mathrm{tr}(S^{-1}D(g)S)=\mathrm{tr}D(g)$. Consequently a difference at a single group element proves inequivalence. This implication does not need the group to be finite, and the reverse implication is not asserted for arbitrary groups or fields.

The odd integers form an abelian group under the displayed operation. The identity element is $-1$ and the inverse element of $a$ is $-a-2$. The bijection $a\mapsto (a+1)/2$ is a group isomorphism to $(\mathbb{Z},+)$, since it converts the shifted operation into addition. This illustrates how an unfamiliar identity and inverse can arise from ordinary addition by a change of coordinates.

Two subgroups give an exact factorization of a group when every element has a unique expression $h_1{h}_2$ with $h_i\in H_i$. Existence and trivial intersection are equivalent to this uniqueness: if $h_1{h}_2=k_1{k}_2$, then $k_1^{-1}{h}_1=k_2{h}_2^{-1}\in H_1\cap H_2$, so both sides are the identity. Conversely, an element $a$ in the intersection gives the two factorizations $a\cdot e=e\cdot a$, forcing $a=e$. For finite groups the multiplication map $H_1\times H_2\to G$ is therefore a bijection and $|G|=|H_1||H_2|$. It need not be a group homomorphism: an exact factorization is not automatically a direct product of groups. If $H_1$ is normal, it gives an internal semidirect product.

An inviscid uniform-density self-gravitating cylinder in vacuum, with no rotation or surface tension, has the displayed axisymmetric dispersion relation, where $\kappa =|k_z|R$. To derive it, let $W=\psi +\pi /\rho =ϵ{\Pi }_0{I}_0(kr)e^{i(kz-\omega t)}$. The linear kinematic boundary condition gives ${\Pi }_0={\omega }^2/[k{I}_0^{\prime }(\kappa )]$. The Lagrangian pressure perturbation vanishes on the moving free surface, giving $\pi (R)=2\pi G{\rho }^{2}R\eta$. Substitute the axisymmetric gravitational potential of a displaced cylindrical interface and use $I_0^{\prime }=I_1$ to obtain the relation. Its nonzero neutral root is ${\kappa }_c\simeq 1.0667$: wavelengths longer than $2\pi R/{\kappa }_c\simeq 5.89R$ have ${\omega }^2<0$ and grow. The fastest-growing mode has $\kappa \simeq 0.58$, so its wavelength is about $11R$. Negative ${\omega }^2$ must be interpreted through an imaginary frequency, not through a real oscillatory ansatz.

Consider an ideal uniform graphene sheet connected to an electron reservoir, with an insulated gate. Let $c_g>0$ be geometric capacitance per unit area, $e>0$ the elementary charge, and $V_0$ the neutral-point offset. Neglect temperature, trapped electric charge and spatial inhomogeneity. A change in gate voltage pays for both the electrostatic potential drop, $en/c_g$, and the change in the sheet's Fermi energy, $E_F/e$. Here $E_F$ is measured relative to the band crossing; it is negative for excess electron holes.

Combine this relation with the carrier density in a graphene cone. Write $u=|E_F|/e$, measured in volts, $V=|V_g-V_0|$, and $\alpha =e^3/[\pi (\hslash v_F{)}^2{c}_g]$. ThenThe positive root is unique because $u+\alpha u^2$ is strictly increasing for $u\ge 0$. The often useful geometric approximation $n\simeq c_g(V_g-V_0)/e$ neglects the Fermi energy term. It overestimates $|n|$ in this model, especially near neutrality where relatively few states are available.

For a deliberately chosen model with $c_g=0.010F/{\mathrm{m}}^2$, $v_F=10^{6}m/s$, $V_0=0$ and $V_g=1\mathrm{V}$, the formulas give $E_F\simeq 0.252\mathrm{eV}$ and $n\simeq 4.67\times 10^{12}\mathrm{c}{\mathrm{m}}^{-2}$. The purely geometric value would be $6.24\times 10^{12}\mathrm{c}{\mathrm{m}}^{-2}$. These are chosen-model predictions, not measurements of the historical devices. Numerical conversion uses the exact Planck constant and elementary charge.^[ref]

Andre Geim, Konstantin Novoselov and collaborators mechanically cleaved graphite, identified thin flakes, and fabricated multi-terminal Hall bars on oxidized silicon. A substrate gate changed the carrier density; longitudinal electrical resistance and the Hall coefficient supplied different checks. The 2004 report included one-, two- and three-layer devices and described a few-layer semimetal interpretation. Layer identification and electrical control were separate experimental achievements.^[ref]

The 2005 monolayer study used an optical microscope, electron microscopy and atomic force microscopy to select monolayers. It then measured Shubnikov-de Haas oscillations as temperature, gate voltage and magnetic field varied. Their damping inferred a density-dependent cyclotron effective mass; comparison with oscillation frequency tested a linear dispersion relation. A comparison with two-layer devices also distinguished their quantum Hall effect sequences. These are complementary tests of the monolayer model, rather than consequences of finding a thin-looking flake alone.^[ref]

Take a planar honeycomb lattice with two sites $A,B$ per primitive cell and one localized atomic orbital per site. In this explicitly idealized tight-binding model, all three nearest-neighbour hopping matrix elements are $-t$, with $t>0$; there is no on-site offset or further-neighbour hopping. Ignore electron interactions and treat physical spin as a separate degeneracy. Let the bond length be $b$, and choose the three vectors from an $A$ site to its neighbours asThe Bloch state amplitudes on $A,B$ form a two-component vector. A consistent phase convention gives the HamiltonianIts characteristic equation is $E^2=t^2|f{|}^2$, giving the two displayed energy bands. The two-component structure comes from the two sites, rather than two values of physical spin. This is a particularly small matrix model in which a crystal's geometry creates an unexpected low-energy law.

Historically, Philip Russell Wallace used a tight-binding model to investigate the electronic band structure of graphite in 1947. The material in that paper was layered graphite; the single-sheet model here isolates one simpler part of the problem.^[ref]

Consider the original two-dimensional exampleThe Hessian matrix is $A=\mathrm{diag}(1,9)$, a symmetric matrix and positive-definite matrix. Its eigenvectors are the coordinate directions, its eigenvalues are $1$ and $9$, and its Euclidean norm condition number is $9$. The unique global minimum is $x_{\ast }=0$, so the error $e_k=x_k-x_{\ast }$ equals $x_k$. The linear map $I-\eta A$, with $I$ the identity matrix, givesFor $\eta =1/5=0.2$, the two coordinate error multipliers are $0.8$ and $-0.8$. Consequently $x_1=(1.6,-0.8{)}^T$, $x_2=(1.28,0.64{)}^T$, and the second coordinate changes sign at every step while both shrink. The Euclidean norm of the error contracts by $0.8$ each step. The objective gap, which we call the quadratic energy, contracts by its square:The level sets of $f$ are ellipses. Oscillation across their narrow direction is compatible with strictly decreasing energy.

For $\eta =1/4=0.25$, the coordinate error multipliers become $0.75$ and $-1.25$, giving $x_1=(1.5,-1.25{)}^T$. The first coordinate still tends to zero, but the second alternates and grows. Direct substitution givesThus a larger positive step size can turn a strictly convex function into a divergent iteration. Energy and error are different quantities: coordinate errors carry signed multipliers, while each coordinate's contribution to energy carries the squared multiplier.

For the general quadratic form with linear termthe error obeys the same linear map $e_{k+1}=(I-\eta A)e_k$. The spectral theorem for real symmetric matrices supplies an orthonormal basis of eigenvectors $q_i$ with positive eigenvalues ${\lambda }_i$. Writing $e_0={\sum }_i{c}_i{q}_i$ gives the exact solution and energy identityTherefore convergence from every initial vector is equivalent toAt $\eta =2/{\lambda }_{\max }$, a nonzero error component along a largest-eigenvalue eigenvector flips sign without shrinking. Above that threshold it grows. A particular start can still converge if it has zero components in every unstable direction; the interval is the condition for all starts. If $\rho ={\max }_i|1-\eta {\lambda }_i|<1$, then $\Vert e_k{\Vert }_2\le {\rho }^k\Vert e_0{\Vert }_2$ and $E_k\le {\rho }^{2k}{E}_0$. These bounds follow by summing the squared components in the orthonormal basis.

The Golgi lumen is the enclosed interior of a Golgi cisterna, distinct from the surrounding cytosol.

The membrane-sidedness rule in secretory protein routing still applies within the Golgi apparatus. For a local worked example, stipulate a membrane protein with a carbohydrate chain exposed to Golgi lumen and a tail exposed to cytosol. An enzyme confined to Golgi lumen can contact that chain, but cannot directly contact the cytosolic tail without a boundary-crossing step. A change in which Golgi cisterna contains the protein need not turn the protein over. Thus chemical accessibility and cargo location are different questions: moving cargo onward preserves its membrane sides under the budding and fusion operations described in secretory protein routing.

Linearize the stated model about $\psi =0$ in a uniform magnetic field. The kinetic operator has the Landau level ground energy $\hslash |q|B/(2m_{\ast })$. Its cancellation with $\alpha <0$ givesThis is the bulk orbital field scale of this model; it excludes spin-polarization limits and uses the normal-state relation $B_{c2}={\mu }_0{H}_{c2}$. For the chosen $\xi =10\mathrm{nm}$, it is about $3.29\mathrm{T}$. With $\lambda =100\mathrm{nm}$, $\kappa =10$. Counting triangular cells at $B_{c2}$ would give $a/\xi =\sqrt{4\pi /\sqrt{3}}\simeq 2.69$, but it is the linearized field equation, rather than disks of an arbitrarily chosen core radius touching, that supplied the transition criterion.

The applied bulk magnetic field at which introducing a vortex first becomes favorable in the ideal equilibrium type-II problem. Surface barriers, sample shape and flux pinning can change the apparent entry field.

In the isotropic single-component model, $\kappa <1/\sqrt{2}$ gives the type-I regime and $\kappa >1/\sqrt{2}$ the type-II regime; the interface-energy distinction belongs to the model, rather than a purely geometric test of core overlap.^[ref]