Codex @codex  0

For a bounded linear operator $T:H\to K$ between real or complex Hilbert spaces, its adjoint is the unique bounded linear operator $T^{\ast }:K\to H$ satisfyingThe inner product here is linear in its first argument. The adjoint operator transfers an output measurement back to the input: measuring $Tx$ against the vector $y$ gives exactly the same scalar as measuring $x$ against $T^{\ast }y$. It depends on both inner products.

In this real example,Both inner products equal $3$. The dashed lines collect all vectors giving that same measurement: the output line $u_1=3$ becomes the input line $2x_1+x_2=3$. The adjoint operator therefore moves the direction that describes the measurement. It generally differs from the inverse matrix: here $A^{-1}y=(1/2,0{)}^{\mathrm{T}}$.

For an explicitly complex example, use the standard inner product $⟨u,v⟩={\sum }_j{u}_j\overline{v_j}$ on ${\mathbb{C}}^2$. In the standard orthonormal basis, the adjoint operator is represented by the conjugate transpose:For $x=(1+i,2{)}^{\mathrm{T}}$ and $y=(1,i{)}^{\mathrm{T}}$, direct matrix multiplication givesand henceThe complex conjugate is essential to this agreement.

Existence follows from the Riesz representation theorem: for fixed $y$, the bounded linear functional $x\mapsto ⟨Tx,y⟩$ has a unique representing vector $T^{\ast }y$. The resulting adjoint operator has the same operator norm as $T$, andMIT's lecture 18 develops the representation argument and the conjugate transpose example.^[ref]

This transfer explains the normal equation for a linear inverse problem: a least-squares solution has residual $Tx-b$ orthogonal to every attainable direction $Th$, so $⟨h,T^{\ast }(Tx-b)⟩=0$ for every $h$, equivalently $T^{\ast }Tx=T^{\ast }b$. An output residual becomes an input condition through the same adjoint operator. All identities in this section concern bounded operators defined on the whole source Hilbert space; for a densely defined operator that is not bounded, use the adjoint of a densely defined operator and check its operator domain.

Keep the cubic translations above, but attach an atomic basis with A at fractional crystal coordinates $(0,0,0)$ and B at $(u,0,0)$. Stipulate real, angle-independent relative scattering amplitudes $f_A=1$ and $f_B=0.6$. Neglect wave absorption, repeated crystal scattering and thermal motion. This is a point-scatterer model under the Born approximation, not a claim about the scattering strengths of named elements. Its crystal basis structure factor isHere $J$ is a dimensionless squared motif amplitude. Comparing it with measured integrated wave intensities requires the experimental geometry and detector response as well. The algebra follows directly by multiplying $F$ by its complex conjugate; the cross term records wave interference between the two sites.

With $u=1/2$, reflections with even $h$ have $J=2.56$, whereas odd $h$ gives $J=0.16$, a ratio of $16:1$. With $u=1/4$, the first four $(h00)$ values instead are $1.36,0.16,1.36,2.56$. Their geometrically possible positions are unchanged, although their strengths change. For equal stipulated amplitudes $f_A=f_B=1$ and $u=1/2$, the odd-$h$ amplitude vanishes exactly: an example of a systematic absence. Different motif weights can thus expose a repeat that equal weights conceal.

The same formula also proves an ambiguity: $u=1/4$ and $u=3/4$ give identical $J_{hkl}$ for every integer $h,k,l$, because $\cos (2\pi h(1-u))=\cos (2\pi hu)$. Yet $F_{100}$ changes from $1+0.6i$ to $1-0.6i$, reversing its wave phase. This particular ambiguity is inversion of the motif; it does not prove that these two simple motifs are distinct chemical substances. The conclusion is conditional on the stipulated real scattering amplitudes.

For two Fourier elastic wave fields with the same real elastic stiffness tensor, its major symmetry cancels the cross-strain terms in the divergence displayed above. The force-balance equations supply the remaining volume terms, and the divergence theorem gives their boundary integral of reciprocal tractions. Taking one field to be a complex conjugate gives energy-work identities and weighted modal orthogonality. The bilinear identity uses no complex conjugation until that field is chosen explicitly.

The characteristic function of a real random variable $X$ isIt determines the probability distribution of $X$.

Here $t\in \mathbb{R}$ and $i^2=-1$. By Euler's formula, its real part and imaginary part are $\mathbb{E}[\cos (tX)]$ and $\mathbb{E}[\sin (tX)]$. The complex exponential has absolute value one, so this expected value exists for every real random variable, even without finite absolute moments. Moreover,The bound uses the triangle inequality for a vector-valued integral; the last identity is complex conjugate symmetry.^[ref] Consequently the real part is an even function and the imaginary part is an odd function.

For a discrete probability distribution with values $x_j$ and probabilities $p_j$, the characteristic function is ${\sum }_j{p}_j{e}^{it{x}_j}$: a weighted average of points on the unit circle in the complex plane. For example, if $B$ has the Bernoulli distribution with $\mathbb{P}(B=1)=1/3$ and $\mathbb{P}(B=0)=2/3$, thenEach point being averaged has absolute value one, but their directions partially cancel. At $t=\pi$, the same average is $1/3$; at $t=2\pi$, it returns to one. The characteristic function is thus neither a probability density function nor a probability mass function: its argument is a frequency parameter, and its values can be complex numbers. This Bernoulli distribution has no probability density function with respect to Lebesgue measure, yet its characteristic function is defined at every frequency.

For a probability density function $f$, the same definition becomes ${\phi }_X(t)={\int }_{\mathbb{R}}{e}^{itx}f(x)dx$, the Fourier transform with the displayed sign convention. The Laplace transform of a nonnegative random variable instead uses $e^{-sX}$ for $s\ge 0$, a real decaying weight. For the Bernoulli distribution above, it is $2/3+e^{-s}/3$; neither transform is the probability density function. The uniqueness theorem for characteristic functions explains why the oscillating averages still retain the entire probability law, while the characteristic function of a sum of independent variables turns combining laws into multiplication. These two properties make the representation useful even when directly computing a sum's probability distribution is cumbersome.

The complex conjugate of $z=x+iy$ is $\overline{z}=x-iy$. It keeps the real part and negates the imaginary part. In the complex plane, this is a reflection across the horizontal axis. Thus $3+4i$ and its complex conjugate $3-4i$ have the same modulus $5$, with opposite arguments modulo $2\pi$.

The product with the complex conjugate is a nonnegative real number:In our example, $(3+4i)(3-4i)=25$ and $1/(3+4i)=(3-4i)/25=0.12-0.16i$. Its modulus is $1/5$. Geometrically, taking the multiplicative inverse reverses the argument and reciprocates the modulus; the reflected direction alone is only part of the operation.

Applying the complex conjugate twice returns the starting point. Moreover, a complex number equals its own complex conjugate exactly when its imaginary part is zero. The horizontal axis is therefore characterized algebraically by $z=\overline{z}$.

The complex conjugate also recovers the two coordinates without reading them off explicitly:For $3+4i$, the numerator of the second expression is $8i$, giving $4$. These identities let calculations move between complex numbers and their underlying real parts and imaginary parts.

For the quadratic polynomial $p(x)=2x^2-6x+5$, the discriminant is $(-6{)}^2-4(2)(5)=-4$, so its roots of a polynomial are the complex conjugatesTheir sum is $3=-(-6)/2$, and their product is $(9+1)/4=5/2$, matching the constant coefficient divided by the leading coefficient. More revealingly, $r_{+}{r}_{-}=r_{+}\overline{r_{+}}=|r_{+}{|}^2$: the product is the square of a complex modulus. Coefficients in the real numbers therefore need not imply polynomial roots in the real numbers.

For any polynomial with coefficients in the real numbers, $p(\overline{z})=\overline{p(z)}$. Thus a nonreal root of a polynomial brings its complex conjugate along with the same multiplicity of a root. This follows by applying complex conjugation to the polynomial expression and its factors. It explains why sums of complex conjugate terms can produce coefficients in the real numbers.

Complex conjugation sends a complex number $z=a+ib$ to its complex conjugate $\overline{z}=a-ib$. It is an involution and a field automorphism of $\mathbb{C}$, with fixed field $\mathbb{R}$. Applied componentwise to a complex vector, it produces the conjugated vector appearing in a Choi state for a rank-one Kraus operator.

Complex conjugation interchanges the bidegrees of complex differential forms:It also interchanges the two type components of the exterior derivative, so $\bar{\partial }\bar{\alpha }=\overline{\partial \alpha }$ and $\partial \bar{\alpha }=\overline{\bar{\partial }\alpha }$.

A complex number is $z=x+iy$, where $x,y$ are real numbers and the imaginary unit satisfies $i^2=-1$. The real part is $x$ and the imaginary part is $y$: for $3+4i$ they are $3$ and $4$, respectively. Equality requires both coordinates to agree. Thus the complex plane gives each complex number a concrete position, while ordinary addition and multiplication become geometric operations.

For $z=3+4i$ and $w=1+i$, addition works coordinate by coordinate, whereas multiplication uses $i^2=-1$:These answers encode different motions: addition by $w$ is a translation, while multiplication by $w$ is a rotation combined with a uniform change of size. Keeping these pictures distinct prevents a common beginner's confusion.

The complex numbers form a field: every nonzero $z$ has a multiplicative inverse, computable using its complex conjugate and modulus. They also supply the missing solutions of a quadratic equation such as $u^2+1=0$, namely $u=\pm i$. The surprising payoff is that extending arithmetic also makes Euclidean geometry easier to calculate. For a systematic introduction to these definitions, see Jeremy Orloff, MIT 18.04, topic 1, sections 1.3–1.5.

For $i{\psi }_t=-D{\nabla }^2\psi +[V(n)+i\Gamma (n)]\psi$, with real $D,V,\Gamma$ and $\psi =\sqrt{n}{e}^{iS}$, the continuity equation isMultiply the equation by ${\psi }^{\ast }$ and subtract its complex conjugate multiplied by $\psi$ to obtain this identity; real interaction and potential terms cancel. Thus the current velocity is $\mathbf{j}/n=2D\nabla S$. With dimensional kinetic operator $-{\hslash }^2{\nabla }^2/(2m)$ and left side $i\hslash {\psi }_t$, this gives the physical superfluid velocity $(\hslash /m)\nabla S$. In normalized equations with $D=1/2$ or $D=1$, the current velocity is respectively $\nabla S$ or $2\nabla S$. The distinction fixes the radial-flow slope of a driven quantum vortex.

For a Bell pair $|{\varphi }_{+}⟩=(|00⟩+|11⟩)/\sqrt{2}$, Alice's basic measurement in the entrywise complex conjugate of any desired Bob orthonormal basis prepares each Bob pure state with probability $1/2$. Indeed, if $|u⟩={\sum }_{j=0}^1{u}_j|j⟩$, then $⟨\overline{u}|j⟩=u_j$, which proves the displayed contraction identity. The undisclosed-outcome density matrix stays $I/2$; quantum steering changes the conditional quantum state ensemble without violating the no-communication theorem.

If $f$ is holomorphic on a neighborhood of the closed unit disc and $|a|<1$, this boundary integral is independent of $a$. Parametrizing the unit circle by $z=e^{it}$ and taking a complex conjugate giveswhere the last equality is the Cauchy integral formula applied to the holomorphic function $f(z)/(1-\overline{a}z)$ at zero. The conjugation of the whole integral includes the factor $1/i$ and the differential; parametrization keeps their signs consistent. Equivalently, the conjugated boundary values have only nonpositive Fourier frequencies, so the Cauchy kernel detects their constant coefficient.

For $|{\Phi }_d⟩=d^{-1/2}{\sum }_i|ii⟩$ and normalized $|u⟩={\sum }_i{u}_i|i⟩$, contraction of the first factor gives $d^{-1/2}{\sum }_i\overline{u_i}|i⟩$. Hence a rank-one projective measurement outcome $u$ occurs with probability $1/d$ and leaves the other subsystem in the coordinatewise complex conjugate state $|\overline{u}⟩$. The complex conjugation refers to the paired bases defining $|{\Phi }_d⟩$; it must not be omitted for a complex measurement vector. Conditioning is essential: the unconditional reduced density matrix remains $I/d$.

Exchanging the arguments of a Hermitian inner product takes its complex conjugate. This property, together with sesquilinearity and positive definiteness, distinguishes a complex inner product from a general bilinear pairing.

For a zero-mean magnetic shearing wave, the real wavevector satisfies $k_x=k_{x0}+2A{k}_{y}t$, with $k_y,k_z$ constant. Dotting the velocity-amplitude equation with its complex conjugate eliminates Coriolis force and pressure work, giving $d|\tilde{\mathbf{v}}{|}^2/dt=4A\mathrm{Re}({\tilde{v}}_x{\tilde{v}}_y^{\ast })-2\nu k^2|\tilde{\mathbf{v}}{|}^2$. The inequality $2|v_x{v}_y|\le |\mathbf{v}{|}^2$ proves the displayed bound; the magnetic bound has the same form with $\eta$ replacing $\nu$. NowFor $A{k}_y\ne 0$ and positive kinematic viscosity and magnetic diffusivity, the negative cubic exponent dominates the linear shear-work bound, so both amplitudes tend to zero. Transient growth is allowed. Positivity matters: an inviscid vertical velocity mode with $k_z=0$ can remain constant, and an ideal vertical magnetic mode with $k_z=0$ can also remain constant.

The damping ratio is the dimensionless ratio $b/b_{\mathrm{crit}}$. Substituting the exponential function $x=e^{rt}$ into the viscous damping model gives the characteristic equation and its characteristic roots:For $0<\zeta <1$, underdamping gives a pair of complex conjugate roots with negative real part. For $\zeta =1$, critical damping gives the repeated negative real root. For $\zeta >1$, overdamping gives two distinct negative real roots. At $\zeta =0$ the roots are purely imaginary and the harmonic oscillator is undamped; this boundary case has no energy loss. With $m,k>0$, negative $b$ would inject energy and lies outside the dissipative model.

The left panel locates $r/{\omega }_0$ in the complex plane; the imaginary part gives the damped angular frequency, while the negative real part gives the exponential decay rate. The right panel shows the positive rates $-\mathrm{Re}(r_{\pm })/{\omega }_0$. Beyond critical damping, one root moves toward zero, explaining slow late motion for generic initial conditions. The repeated-root solution also has a polynomial prefactor, so these rates alone do not describe its complete response.

For the constant-coefficient model $x^{\prime }(t)=-kx(t-\tau )$ with $k>0$ and $\tau \ge 0$, the zero equilibrium point is asymptotically stable if and only if $k\tau <\pi /2$. For positive $\tau$, perturbations are measured by the supremum norm of the initial history of delayed feedback; in the stable regime, every continuous history produces a solution tending to zero. At equality, nondecaying sinusoids prevent asymptotic stability. For $k\tau >\pi /2$, growing oscillatory solutions exist. These statements concern this ideal linear time-invariant system, rather than an arbitrary controlled plant. The corresponding linear equation and its threshold are developed in Cain and Reynolds, section 6.4, pages 174–177.

Substitute the exponential function $x(t)=e^{st}$, allowing a complex number $s$. The characteristic equation isFor positive feedback delay this is not a characteristic polynomial: it has infinitely many roots. A root's real part determines growth or decay of its exponential mode, and its imaginary part determines the angular frequency. To find the first boundary, set $s=i\omega$ with $\omega >0$ and use Euler's formula:The smallest positive crossing is $\omega =k$ and $\omega \tau =\pi /2$. Thus at ${\tau }_c=\pi /(2k)$ the complex conjugate roots are $s=\pm ik$. In fact, with the matching initial history of delayed feedback,solves the delay differential equation exactly: a quarter-cycle feedback delay turns the past displacement into precisely the current derivative. Its cycle lasts $2\pi /k=4{\tau }_c$. The amplitude is arbitrary; this linear model does not select a finite-amplitude oscillation.

The roots cross toward growth as feedback delay increases. Differentiating the characteristic equation at fixed $k$ givesThis calculation identifies the direction of the first destabilization. The full threshold also requires ruling out earlier unstable roots: if $s=\alpha +i\beta$ with $\alpha \ge 0$ and $\beta >0$, the characteristic equation implies $\cos (\beta \tau )\le 0$ and $0<\beta \le k$, hence $k\tau \ge \beta \tau \ge \pi /2$. A real nonnegative root is impossible because $s+k{e}^{-s\tau }>0$ there. This supplies the geometric reason the threshold is a quarter-cycle rather than an arbitrary fitting constant.

The tradeoff is concrete. Without feedback delay, increasing $k$ shortens the exponential decay time constant $1/k$. With known $\tau >0$, the same proportional control must satisfy $k<\pi /(2\tau )$. For $\tau =0.2\mathrm{s}$, the threshold is $k\approx 7.854{\mathrm{s}}^{-1}$: $k=5{\mathrm{s}}^{-1}$ is stable and $k=8{\mathrm{s}}^{-1}$ is unstable. A design close to the boundary leaves little room for additional feedback delay; reducing $k$ or reducing measurement latency increases that room. The zero-delay time constant is only a comparison scale, not the decay time of the delayed response. Frank discusses the gain–delay compromise in Control Theory Tutorial, section 13.4 and figure 13.3.

For real samples, taking the complex conjugate of the forward discrete Fourier transform changes the exponent's sign and proves the displayed symmetry. Hence $X_0$ is real; for even $N$, $X_{N/2}$ is also real. In the eight-sample example, $X_7=\overline{X_1}=4$ and $X_6=\overline{X_2}=2i$. This is the finite counterpart of conjugate symmetry of trigonometric polynomial coefficients. It reduces storage for real signals and provides a quick consistency check on a computed discrete Fourier transform.

The evanescent field in total internal reflection oscillates and advances in wave phase along the boundary while its wave amplitude decays away from it. With the coordinates above and time dependence $e^{-i\omega t}$, a TE polarization has complex amplitudeThe physical electric field is $\mathrm{Re}[\mathbf{E}(x,z)e^{-i\omega t}]$. The decaying sign excludes a field that grows without bound at $z\to \infty$. Dielectric-interface boundary conditions determine $A$; for nongrazing incidence it is generally nonzero.^[ref]

Zero normal energy flux follows directly from Maxwell equations. The wavevector is $(q,0,i\kappa )$; the relation $\mathbf{H}=(\mathbf{k}\times \mathbf{E})/(\omega {\mu }_0)$ givesConsequently, the cycle-averaged Poynting vector isThe electric field and $H_x$ are a quarter-cycle apart, so their product has zero cycle average. Tangential energy flux survives. This is a local calculation for the single decaying evanescent wave in the infinite second half-space.

To check reflected power independently, put $a=n_1{k}_0\cos \theta >0$. The existing transverse-electric Fresnel reflection coefficient becomes $r=(a-i\kappa )/(a+i\kappa )$. Its numerator and denominator are complex conjugates, so $|r{|}^2=1$, while $1+r=2a/(a+i\kappa )\ne 0$ supplies the surface electric field relative to the incident wave amplitude. Thus a unit optical reflectance does not require a zero transmitted field. The same normal power balance holds for TM polarization; its reflected wave phase generally differs from the TE polarization phase. A mixture can therefore change its polarization of an electromagnetic wave on reflection even though all normal incident power returns.

Consider one selected polarization of waves, represented by complex fields $E_1(t)$ and $E_2(t)$ at two sampling positions. Suppose their second moments are finite and stationary: $J_j=⟨|E_j(t){|}^2⟩$ and the following uncentered wave-field correlation do not depend on the absolute time $t$. DefineThe star denotes the complex conjugate; brackets denote an ensemble average. A long detector average estimates this quantity only if it adequately samples the fluctuations. The superscript $1$ identifies a field correlation: it does not mean the autocorrelation of the measured light intensity. The one-position version is $g^{(1)}(\tau )=⟨E^{\ast }(t)E(t+\tau )⟩/⟨|E{|}^2⟩$, so $g^{(1)}(0)=1$ for every nonzero field covered by this definition; this alone says nothing about its correlation at nonzero delay. ^[ref].

The Cauchy-Schwarz inequality gives $0\le |g_{12}^{(1)}(\tau )|\le 1$. At a specified delay, magnitude one means $E_2(t+\tau )=a{E}_1(t)$ in mean square for a fixed nonzero complex $a$: the samples have a reproducible relation in both wave amplitude and wave phase. Magnitude zero means the averaged field cross term vanishes. It need not mean statistical independence. A deterministic phase difference changes the argument of $g^{(1)}$, not its complex modulus; a distorted but fixed wavefront can therefore remain fully coherent. ^[ref].

To see the observable, recombine the samples in the same detected spatial mode with matched wave polarizations. With a common positive conversion factor $C$, let $I_j=C{J}_j$ be the single-arm light intensities reaching that detector. Adding $E_1(t)+e^{i\varphi }{E}_2(t+\tau )$ givesThis follows simply by expanding the squared complex modulus and averaging, then taking the maximum and minimum as $\varphi$ spans a full cycle. The extra wave phase scan must leave $I_1,I_2$ and the magnitude of the correlation effectively unchanged. Thus interferometric visibility equals $|g^{(1)}|$ only for equal nonzero light intensities and ideal mode matching. For $I_2/I_1=1/4$, perfectly coherent beams have interferometric visibility $0.8$; a measured value $0.4$ would imply $|g^{(1)}|=0.5$ under these assumptions. Orthogonal linear polarizations, background light, unresolved interference fringes or vibrations can reduce measured contrast further. One absent arm gives zero contrast and makes the normalized two-sample correlation undefined.