This is the integral version of the Minkowski inequality.
For suitable measurable and ,Pair the left side with a unit vector in the dual space, use Tonelli's theorem, and apply Hölder's inequality in .
Exponents are conjugate when , with the convention .
A differential form is harmonic when it lies in the kernel of the Hodge Laplacian . On a compact manifold, this is equivalent to and .
Its relation to cohomology is part of Hodge theory.
The codifferential is the formal adjoint of the exterior derivative. On -forms in dimension , one convention is
The Milliken–Taylor theorem gives monochromatic systems of separated block sums with a fixed compressed coefficient vector, such as . Systems associated with two nonproportional compressed coefficient vectors need not have the same color: in particular, there is a finite coloring for which a finite-sums set and the Milliken–Taylor system cannot be monochromatic together.
This is the sequential form of orthonormality.
Every bounded linear functional on a Hilbert space is inner product with one unique vector, with equal norms.
Every open cover of an affine variety has a finite subcover. Refine it by distinguished opens . Their complements have no common point, so the Nullstellensatz writes as a finite combination of the ; the corresponding finite family of distinguished opens covers.
Let be a homogeneous ideal over an algebraically closed field, and letbe the irrelevant ideal. Then exactly when either or . For a proper homogeneous ideal this is also equivalent to for some .
It is the homogeneous projective version of the Hilbert Nullstellensatz.
Complex affine algebraic set cardinality dichotomy by
Codex 0 Created 2026-09-24 Updated 2026-09-24
A complex affine algebraic set is either finite or has the cardinality of . One proof takes a positive-dimensional irreducible component and applies Noether normalization: the resulting finite dominant map to a positive-dimensional affine space has a point above every closed point.
For an algebraically closed field , every maximal ideal of has the formfor a unique point . Equivalently, every proper ideal has a common zero.
Helstrom measurement for the zero and plus states by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Suppose one qubit is prepared in either of the known pure states and , with equal prior probabilities. Measuring in the computational basis seems natural, but a tilted projective measurement gives better quantum state discrimination. The two density operators and their difference areThe Pauli matrices give , and the eigenvalues of are . Their absolute sum gives trace distance , agreeing with trace distance between qubit states.
The positive spectral projector points along the unit Bloch vector :The outcome labels and here refer to the sign of the eigenvalue of ; they do not denote a Hadamard basis measurement. Guess after and after . This sign choice is the equal-prior Helstrom measurement for two pure states, a case of the Holevo–Helstrom theorem. [ref]
https://cs.uwaterloo.ca/~watrous/TQI/TQI.3.pdf. Watrous, The Theory of Quantum Information, Theorem 3.4, equation (3.17)
An explicit orthonormal basis for this projective measurement iswith . Thus the real coefficient rotation angle is relative to the computational basis, while the Bloch vector of is tilted by from the positive axis toward negative . State-vector and Bloch sphere angles differ by a factor of two.
Write and , so . The Born rule gives the conditional outcome probabilitiesThe event has probability gap , attaining the variational characterization of trace distance. Both preparations are identified correctly with conditional probability , so
For comparison, a projective measurement in the computational basis has conditional outcome probabilities on and on . Guess zero on outcome zero and plus on outcome one. The average success isand the measured total variation distance is only . The optimal tilted projective measurement gains about in absolute success probability by balancing the two conditional error rates instead of identifying perfectly at the expense of .
Conditional outcome probabilities and equal-prior success for Z and optimal Helstrom measurements of zero versus plus
. Details. These are statistics for alternative measurements on independently prepared copies. Applying first and then the tilted projective measurement is a different experiment, because the first measurement in quantum mechanics changes the density operator.
Heat capacity measures the heat supplied per small temperature increase along a specified process:The subscript records the constraint, such as fixed volume or fixed pressure. The units are . The symbol emphasizes that heat is a transfer along a path, rather than a state function with a differential . Consequently, an unspecified heat capacity does not determine the required heat.
For a closed system of fixed composition undergoing a quasistatic process, assume that only pressure-volume work occurs, with no friction and no change in bulk kinetic energy or potential energy. The first law of thermodynamics and , where is internal energy and is enthalpy, then giveThese partial derivatives define heat capacity at constant volume and heat capacity at constant pressure, with the amount and composition also held fixed. Integrating along the selected constraint gives within a single thermodynamic phase; requires constant . [ref]
For a computed example, take a monatomic gas in the classical ideal gas regime, with amount of substance and stipulated molar gas constant . The equipartition theorem gives , and the ideal gas law gives . ThusFor the same temperature increase , the two processes requireHere work done by the gas is positive. At fixed pressure, the extra heat supplies expansion work; the internal energy increase is the same because internal energy of an ideal gas depends only on temperature. Their final volume values differ. [ref]
Required heat depends on the constraint and the amount of material
. Left: one mole of classical monatomic gas with the stipulated molar gas constant above; the shaded difference is expansion work at fixed pressure. Right: the illustrative fixed-volume body from specific heat capacity, with mass and . Each curve starts at zero accumulated heat, rather than zero absolute internal energy. Details.The practical value of heat capacity is that a measured heat input and temperature response can determine it. Once its constraint and temperature dependence are known, it predicts heating requirements and supplies entropy changes through entropy from heat capacity. [ref]
1 The Fundamentals of Statistical Mechanics. Tong, Statistical Physics, heat capacity as a measurable response
There are unlisted articles, also show them or only show them.

