Take and the Fourier transform convention . Write the scalar polynomial as , with homogeneous of degree . The principal symbol of the constant-coefficient linear partial differential operator is . It is an elliptic differential operator exactly when
Complex coefficients are allowed, but the frequency is real.
By compactness of the unit sphere, . Homogeneity gives , whereas the lower-degree terms are bounded by for . The triangle inequality then gives the high-frequency lower bound for an elliptic polynomial:
for sufficiently large . Thus
The Japanese bracket is . If , a nonzero constant satisfies the same assertion directly.
For real , the Sobolev space is the tempered distribution space
One may include in the squared norm for this Fourier transform normalization; it does not change the space. The Local Sobolev space is
where multiplication of a distribution by a smooth function is followed by extension by zero.
If is a compactly supported distribution, choose a cutoff function equal to one near its compact support. The finite order of a distribution gives an integer and a bound
for a fixed compact set . This also makes a tempered distribution. Its Fourier transform of a compactly supported distribution is the smooth function
The Leibniz rule gives the last estimate, and parameter differentiation under the finite-order pairing proves smoothness of this Fourier transform. Therefore the negative Sobolev regularity of a compactly supported distribution is
Indeed is integrable precisely when . This proves the claimed existence of a sufficiently negative Sobolev space index.
We use three elementary Sobolev space facts: differentiation of order maps continuously into ; for ; and Sobolev multiplication by a smooth cutoff is bounded on for every real . The first two follow directly from the frequency weights. For the third, multiplication of a distribution by a smooth function becomes convolution with the rapidly decaying , and
together with Young's convolution inequality gives the bound. These facts apply after localization as well.
The high-frequency lower bound for an elliptic polynomial gives a useful global implication. If and , split its Fourier transform into and . The low-frequency part is controlled by , while the high-frequency part is controlled by . Thus, for arbitrary real ,
The conclusion that is obtained directly by integrating these frequency bounds; it is not an assumption made to state the estimate.
For the cutoff bootstrap for local elliptic regularity, fix . A cutoff function equal to one near makes a compactly supported distribution after multiplication, so the preceding negative-index argument gives for some finite . Suppose inductively that . For any test function ,
The Leibniz rule shows that this commutator has order at most , with smooth functions as coefficients, all with compact support:
A second cutoff function equal to one near lets us apply the stated Sobolev space bounds to every term. Hence , while . For , the global estimate yields
This holds for every such , so it improves the Local Sobolev space index by one until is reached. A finite number of iterations starting at proves
Since was arbitrary, the conclusion holds throughout . For , division by the nonzero constant proves it immediately. This is the asserted elliptic regularity, proved without assuming an initial nonnegative Sobolev space index.
A first-order example on is the first-order Cauchy-Riemann operator
It is an elliptic differential operator with complex coefficients. In one real variable, is already a first-order elliptic differential operator.
There is no scalar elliptic differential operator of odd order in three variables. If its order were odd, its principal symbol would satisfy on . Regard the continuous map
The Borsuk-Ulam theorem gives for some . Oddness then gives , contradicting ellipticity. This is the odd-order obstruction for scalar elliptic operators in at least three dimensions; restricting to a three-dimensional subspace proves the higher-dimensional case too. For real coefficients alone, the same obstruction follows from the intermediate value theorem along a path between antipodal points.
The scalar qualification matters. An elliptic system of differential equations can be first order in three variables: with the Pauli matrices, the matrix symbol satisfies and is invertible for . This does not contradict the scalar polynomial obstruction.
During the field region the exact time-evolution operator is
Using the stated Pauli matrix exponential with ,
Only the term connects the two eigenstates. Thus
Expanding this expression for recovers part (i).
Using the Pauli matrices,
Conjugation by one Pauli matrix preserves its parallel Bloch component and reverses the other two. Therefore
Take and . Initially the two masses are in the product state
The branch-dependent Newtonian gravitational potential energy is . Under the stated approximation, only the branch acquires an appreciable relative phase, so after time ,
The determinant of its two-by-two coefficient matrix is , which is nonzero unless is a multiple of . Thus the state generally has Schmidt rank two: the branch-dependent gravitational phase creates gravitationally induced entanglement.
An entanglement witness has a bound obeyed by every separable quantum state and violated by at least one entangled state. For a product state with Bloch vectors and ,
by the Cauchy-Schwarz inequality. Convexity gives the same bound for every separable mixed state. Consequently certifies entanglement; in conventional operator form, one of has negative expectation whenever the absolute-value criterion is violated.
For the state above, direct use of the Pauli matrices gives
With the supplied values,
which is close to . Hence , and to the nearest integer
This is the operating principle of the Bose--Marletto--Vedral experiment.
Write and . Then
Thus is unchanged. It is the spin-one-half singlet state, so joint rotations leave it invariant. Equivalently, direct use of the Pauli matrices shows
It is therefore an eigenstate of every Cartesian component of the combined spin, with eigenvalue zero.
For the displayed boost,
At rest,
For , the Pauli matrix identity gives
Taking the positive matrix square roots,
as required.
In the Weyl representation of the gamma matrices,
A Lorentz transformation acts as with . In this basis a boost is block diagonal and gives and .
For boosts, the two exponentials cancel in ; for rotations, the unitary rotation and its inverse cancel. Hence this bilinear is a Lorentz scalar. The Pauli matrices obey the identity
shows that acquires the right-handed boost matrix and the usual rotation matrix, so it is right-handed.
In the CP1 spinor representation,
where the are Pauli matrices. The transformation leaves unchanged. For ,
with in the special orthogonal group , so induces .
A rotationally invariant first-order term is the Ferromagnetic Wess–Zumino term
Under the phase redundancy it changes as . The change is a total derivative, so the action has the required invariance.
Normalize the stated Pauli matrices as
The factor changes only the overall normalization at fixed . In the spin-one Cartesian basis, the associated periodic uniform matrix product state is
This is the Pauli-matrix representation of the Affleck--Kennedy--Lieb--Tasaki state.
The Pauli matrix multiplication law
shows that products on two neighboring sites span all of , so the tensor is an injective matrix product state after blocking two sites. More geometrically, its two-site image is the scalar plus antisymmetric subspace of , namely the total-spin and sectors. By the Two-site support of the Pauli-matrix Affleck--Kennedy--Lieb--Tasaki tensor, the missing subspace is the five-dimensional symmetric traceless sector.
Let be the orthogonal projection onto that sector. The parent Hamiltonian of a matrix product state is
Each term annihilates , so this is a frustration-free quantum Hamiltonian and the MPS is a ground state. Writing and using the eigenvalues in the three total-spin sectors gives the explicit projector
This is the Affleck--Kennedy--Lieb--Tasaki parent Hamiltonian. Injectivity implies that its periodic ground state is unique for every sufficiently long chain.
The special unitary group is . Differentiating these equations at the identity shows that its Lie algebra is
For , the Pauli-matrix identity gives
so the structure constants in this basis are .
The Pauli-Lubanski pseudovector and the spinor Lorentz transformation give
Combining this with part iii and the Pauli matrix identity cancels the term containing . In these conventions,
Simultaneously reversing the convention for reverses the final sign, but the proportionality to is invariant and is what the next part needs.
Contracting the result of part (c) with the Pauli matrix gives
Thus the form the Schwinger boson representation of the commutation relations. The second Pauli matrix gives
and therefore
On the energy level , the total occupation is . The states form the spin- irreducible representation. Every component of its angular momentum generator has eigenvalues
Since , the possible orbital angular momenta are
There are distinct values, exactly matching the degeneracy found in part (a); hence each occurs once. Restoring multiplies every by .
Pauli correlator Created 2026-09-28 Updated 2026-10-07
The identity follows because the identity matrix and the three Pauli matrices form an orthogonal basis of two-by-two matrices under the trace inner product. It rewrites a spin-vector bilinear square as a scalar four-fermion expression, with the Grassmann signs supplied when fields are reordered. This is the algebra behind a spin-vector Hubbard–Stratonovich decoupling.
Pauli X eigenstate Created 2026-09-24 Updated 2026-09-24
The Pauli eigenstates are with eigenvalues .
Pauli X gate Created 2026-09-24 Updated 2026-09-28
The Pauli gate interchanges and .
Pauli Y gate 2026-09-28
The Pauli gate is and maps to and to .
Pauli Z gate Created 2026-09-24 Updated 2026-09-24
The Pauli gate fixes and maps to .