For unknown normalization constants, use self-normalized importance sampling with :
Under the same support condition, and . Moreover , by Cauchy-Schwarz inequality and the supplied . The strong law of large numbers applies to numerator and denominator sample averages. Their ratio tends almost surely, hence in probability, to . If a finite sample happens to give zero denominator, it can be assigned an arbitrary value; this does not affect the eventual almost sure limit. The ratio estimator is generally biased at finite .
Differentiability at means that there is a linear map with
This map is the total derivative . In the Frobenius norm, , by the Cauchy-Schwarz inequality applied to matrix entries. Expanding with the order of all factors preserved gives
The remainder after the terms linear in has norm at most . Hence
For , the Neumann series converges absolutely in the finite-dimensional space of matrices. Multiplying its partial sums by and passing to the limit shows that it is . Its remainder after has norm at most , proving the required expansion.
If is an invertible matrix and , then is an invertible matrix. Thus the general linear group is an open subset of the matrix space. The preceding expansion also gives
Apply the chain rule to , using the cubic total derivative at and this total derivative of inversion:
The three terms generally cannot be combined by commuting and .
For a single species both panels of the figure in c contribute, now with . They are the -channel annihilation and -channel scalar exchange, where the Mandelstam variables are , , and . Fix the external-state order consistently with c. The exchange of identical external fermionic operators gives a relative minus sign:
Changing the convention for ordering all external states can change the overall sign, but not this relative fermionic sign.
The exchange must include crossing symmetry the associated external spinors, as well as continuing the four-momenta. It interchanges and , leaves fixed, and interchanges the two spinor pairings. Hence the analytically continued invariant scattering amplitude is antisymmetric:
The first relation is understood with consistently chosen spinor crossing phases. It is not a substitution of negative-energy arguments into the original positive-energy spinors without changing external states.
Without repeating the spin sum calculation, c fixes the square of the first diagram. Crossing symmetry fixes the second by . Consequently the strongest immediate inference is
The interference function is not determined by the separate diagram squares. In particular adding the two squares and dropping interference is unjustified. The Cauchy-Schwarz inequality applied to the arrays of spin amplitudes also gives on the physical scattering region.
For completeness, its value can be checked with one contracted trace, without another diagram calculation. The cross product is
The relative minus in the invariant scattering amplitude gives . Thus the fully evaluated result, beyond the symmetry inference alone, is
Every term respects the inferred symmetry. In the massless limit the interference numerator reduces to , which is nonzero at a generic scattering angle.
For a normalized state and a self-adjoint operator, the expectation value and dispersion are
Use the physics convention that the inner product is conjugate-linear in its first argument, and assume the displayed products and second moments are defined. Self-adjointness gives , so the expectation is real. Moreover
It vanishes exactly when is an eigenstate, with eigenvalue its expectation.
The product rule gives and , hence on their common differentiable domain. For general operators, put . Then
The Cauchy-Schwarz inequality yields
Apply this to centered position and momentum operators, whose commutator is unchanged. Their squared norms are the variances, giving
Equality requires both proportionality in Cauchy-Schwarz and a purely imaginary inner product. Thus for real means ,
with real . Solving this first-order equation gives
Normalizability on the real line forces . Writing , all normalized equality states are therefore
They have and . A nonconstant quadratic phase would increase the product, so the full family here has a real positive Gaussian width and only a linear spatial phase.
Set , and . The self-adjointness of implies
The Cauchy-Schwarz inequality followed by gives
Both inequalities must be equalities. The exact conditions are and are linearly dependent, and . Equivalently, equality holds if either vector is zero; when both are nonzero it holds precisely when
The zero-vector cases matter: they saturate the inequality but cannot all be expressed by solving for as a multiple of . The real-part condition can also be written , using the anticommutator. This is the uncentered second-moment commutator inequality.
Let be the ice mass for which the stated drag coefficients are defined, and . With stationary water, the steady horizontal ice equations are
The linear system gives
For fixed wind speed , the Cauchy-Schwarz inequality minimizes this component when
Thus the wind must blow towards a direction east of south by in the northern hemisphere, west of south in the southern hemisphere, and due south at the equator. This compensates the Coriolis force; at the optimum and the ice moves due south. If the drag coefficients are per unit mass, replace by the corresponding total drag rate. “Blows towards” avoids the opposite convention used when naming winds by their origin.
For every , is a continuous square-integrable vector martingale. Its norm is a submartingale, so the Doob L2 maximal inequality and the estimate from part (c) give
The Cauchy-Schwarz inequality now shows
By Tonelli's theorem, the random sum of these suprema is finite almost surely. Therefore the telescoping series converges absolutely and uniformly on outside one null event. Its limit is continuous and agrees at each fixed time with the limit from part (c). Taking the intersection of the probability-one events for integer provides a single version on the whole half-line. Hence
This also gives the requested pointwise almost-sure convergence of the full sequence.
The initial value can first be subtracted: it is -measurable and has the same integrability under both measures, since the density has conditional expectation one on . Put . Since , the Itô product rule and the quadratic covariation identity give
This is a local P-martingale. Stop at increasing bounded levels; the resulting products with are true martingales, since they are local martingales dominated at stopping times by a constant times the uniformly integrable density process. Part (c) then shows that the stopped processes are Q-martingales. Consequently
The unqualified true-martingale assertion printed in this part needs an additional integrability hypothesis. One sufficient version is a square-integrable P-martingale . Indeed by boundedness of , and the covariation bound gives
The Doob L2 maximal inequality, , and Cauchy-Schwarz inequality therefore give . Its local martingale identities pass to the limit, making it a true Q-martingale. This is Girsanov compensation with square-integrable input.
Here is a counterexample to the broader printed assertion. On , take , so and . Put and
Under P, has density , so . Independence of future Brownian increments proves is a continuous true P-martingale. Under Q, is Brownian and the density of is multiplied by , so . The compensated process after is
The future Q-Brownian increment is independent of and has positive finite expected absolute value. Thus for every , so it cannot be a true martingale. This proves that Bounded Girsanov drift does not preserve true martingales under compensation.
For the requested application, the Brownian driver does satisfy the needed conditions. To distinguish the state from the density-driving integral, call the state . Set ; the stated coefficient bounds make this integrand bounded. Applying the local result to gives
It is a continuous local Q-martingale with quadratic variation . The Lévy characterization of Brownian motion therefore makes it a Q-Brownian motion. Substituting into the original state equation gives
The Brownian driver after the change is ; writing it as again in the last printed equation amounts to renaming that driver.
Take an orthonormal basis and insert its completeness relation:
No normalization or orthogonality of is required. This is the trace of a rank-one operator; in a Hilbert space the sum converges by the Cauchy-Schwarz inequality.
Interpret the two displayed exchange components as belonging to the common nearest-neighbour sum with coefficient . Write and, for , . The source explicitly fixes but does not separately constrain in this question; keeping covers either field direction.
For classical vectors of length , define . The Cauchy-Schwarz inequality gives , and . Each term is therefore bounded below, so
Uniform alignment along the field saturates every bound:
Equality requires all planar vectors to be parallel with length , and the nonzero field then fixes their direction. At , every uniformly oriented vector in the plane is a classical ground state:
A nonuniform configuration cannot improve these simultaneously saturated bond bounds, including on the periodic ring.
The constraint is a compact set, so the continuous objective attains both extrema by the extreme value theorem. Use Lagrange multipliers with :
Since the second component makes , the two equations give , or . Substitution into the constraint yields
with matching signs. The objective values are therefore
The constraint gradient never vanishes on the ellipse, so these are all the possible extrema. As a direct check, set , ; then and the Cauchy-Schwarz inequality gives , with equality at the same points.
If , the objective is zero at every feasible point, so every point of the ellipsoid is a minimizer. Suppose now . A minimum cannot be interior: a sufficiently small step in direction would remain feasible and decrease the objective. The boundary is active.
For
stationarity gives . A positive-definite symmetric matrix is invertible, and the minimizing sign has . Enforcing the boundary gives
For global optimality, use the inner product . The Cauchy-Schwarz inequality gives
The proposed point attains the negative of this bound. Thus the minimum is , and equality in the Cauchy-Schwarz inequality, together with the sign and boundary conditions, makes this minimizer unique when .
Put , and . The chain rule yields
For every nonzero vector , the Cauchy-Schwarz inequality gives
Thus the Hessian is a positive-definite matrix everywhere. The Hessian criterion for convexity implies that is strictly convex on . Its unique global minimum is at , where .
Multiply the complex Fourier series by and integrate over one period. Fourier orthogonality removes every term except the one with index , giving
For general square-integrable functions, this is an orthogonal projection onto the corresponding Fourier mode. It remains valid when the expansion converges only in L2 space: integrate finite Fourier partial sums first, then pass to the limit using the Cauchy-Schwarz inequality. No unjustified pointwise exchange of an infinite series and an integral is needed.
The Pearson correlation coefficient is the covariance divided by the product of the standard deviations. For real random variables with finite, strictly positive variances,
It is the expected value of the product of the two centered variables after dividing each by its standard deviation. The Cauchy-Schwarz inequality gives . This removes measurement units, while retaining the direction and strength of the linear relationship. Constant random variables have zero standard deviation, so their Pearson correlation coefficient is undefined.
For the covariance model , with independently uniform on , the calculation gives
The positive correlation is less than one because the independent term introduces extra variation. For the correlation is . Both examples appear in the covariance diagram.
For nonzero real , the correlation of and is . Positive rescaling and added offsets therefore leave the correlation unchanged; reversing one scale reverses its sign. Equality means that one random variable is an affine function of the other almost surely, with a nonzero slope of the corresponding sign. This is the equality condition in the Cauchy-Schwarz inequality, and includes perfect positive correlation.
Zero correlation says that the centered variables are orthogonal in their square-integrable inner product. It permits nonlinear statistical dependence, as the example in uncorrelated random variables demonstrates. More generally, a correlation is a statement about a joint probability distribution; identifying effects of interventions is the separate task of causal inference. This distinction keeps an observed association from being mistaken for a demonstrated mechanism.
An early source for standardized association is Francis Galton's 1888 paper “Co-relations and their Measurement, chiefly from Anthropometric Data”. He compared stature and forearm measurements and changed each measurement to units of its own variability so the two regression directions could be compared. His scale used probable error, so it should not be identified word for word with the modern standard deviation formula above. [ref].
If for every , then the Cauchy-Schwarz inequality gives
Consequently preserves half of the estimate's lower bound.
The Cauchy-Schwarz inequality for the Hilbert-Schmidt inner product gives for -dimensional unitary operators. Equality holds exactly when . When absolute gate phase matters, use the phase-sensitive Hilbert-Schmidt distance instead.
Photon bunching 2026-10-18
Photon bunching is enhanced near-coincident detection relative to an appropriate independent-count reference. It need not require nonclassical light. In a classical intensity model with nonnegative instantaneous light intensity , ideal detection with a conditional Poisson distribution gives
A fluctuating intensity therefore bunches counts. For a stationary classical intensity with finite second moment, the Cauchy-Schwarz inequality further gives . A zero-delay correlation smaller than one at a later delay cannot be explained by this model.
Choose angularly separated unit segments in a bounded Kakeya set, and let sum the indicators of their Kakeya tubes. Then . Two tubes at angular separation intersect in area at most , so summing each harmonic angular row gives . The Cauchy-Schwarz inequality on their union proves the displayed neighborhood lower bound. Since , both planar Minkowski dimensions equal two.
A Hermitian form is positive semidefinite when for every vector. It need not define an inner product, because a nonzero vector may have zero squared norm. The Cauchy-Schwarz inequality still holds: applying nonnegativity to and minimizing the quadratic expression in gives when ; when , varying forces . Thus its zero-norm vectors are exactly the radical of a Hermitian form. Quotienting this radical of a Hermitian form gives a positive inner product; taking its Hilbert space completion then gives a Hilbert space. This is the final positivity step in the Gupta-Bleuler null-state quotient.