The spectral norm is the operator norm induced by the Euclidean norm:
The Pauli operators and act on different qubits, and each is a unitary operator. Their product is therefore unitary and preserves the norm of every vector. Hence
Let . The quantum Fourier transform modulo is the unitary operator
Its images form the Fourier basis.
Let on the input register and let on the target register. Both are fixed unitary operators independent of . Conjugating the query by the input shift gives
because the intermediate query is made at . Conjugating by target negation gives
since . Each construction uses exactly once.
Bloch theorem states that the energy eigenstates of a Hamiltonian invariant under translations by a Bravais lattice can be chosen as Bloch states
Indeed, the unitary operators commute with one another because , and they commute with by hypothesis. The simultaneous diagonalization theorem therefore lets us diagonalize all translations within each energy eigenspace. Their eigenvalues form a unitary character of the additive lattice:
Writing on a primitive basis gives . In position space, with , this implies . Hence is lattice-periodic. Adding a reciprocal lattice vector to leaves the character unchanged, so the crystal momentum lies in a Brillouin zone.
For
the equations give the reciprocal basis
The reciprocal lattice is triangular, so the first Brillouin zone is its Wigner-Seitz cell, a regular hexagon. Its six corners are
Reciprocal-lattice translations identify these corners in two classes of three. Representatives are
For example, , while the other equivalences follow by symmetry and reciprocal translations. This gives the requested sketch: a regular hexagon with the vertical edge from to at and alternating corner classes.
For the tight-binding model, introduce the normalized Bloch sum
Each hop by multiplies this state by . Thus the two-direction nearest-neighbour tight-binding dispersion is
Along the boundary edge from to , and , so
For , it rises from at either corner to at the midpoint; for the ordering reverses. Globally the two cosines in the first expression can simultaneously equal or , and therefore
Each orbital band contains two one-electron states per lattice site because an electron has two spin states. By band filling, a valency of one leaves this band half-filled and the material conducts, whereas a valency of two fills it. A filled band can be insulating only if it is separated from every empty band by a positive band gap.
The first band's maximum is . If the second band's minimum is , a gap exists precisely when . Consequently, among the nontrivial fillings described here,
For valency one the first band is partially filled. If , the bands overlap or touch, so even at valency two the overlapping energy bands prevent a band insulator.
For ,
The map defined by satisfies , so is a surjective isometry and hence a unitary operator.
If , then
For , this gives for every integer . When the positive tail is not square summable, when the negative tail is not square summable, and when neither tail is square summable unless . The case also forces every coordinate to vanish. Thus
The reverse triangle inequality gives, for every ,
Hence is bounded below whenever , so such do not belong to the approximate point spectrum.
Now let and define the unit vector
The equation fails only at the two endpoints, so
Therefore the bilateral shift operator has
In the Parity basis of a one-dimensional S-matrix, parity acts as . Parity invariance requires
and therefore
Independently, unitarity gives
Combining parity and unitarity leaves two phases,
For the symmetric double-delta potential, consider the odd channel on . Choose the asymptotic convention
and write for ; the sine enforces odd parity at the origin. Continuity and the delta potential derivative jump at give
Eliminating yields the Odd-parity S-matrix of a symmetric double-delta potential
Using rewrites this as the requested expression
For real , the two factors in the ratio are complex conjugates, directly confirming .
A bound state occurs at a pole , . Setting the denominator to zero gives
or
For , write . The right-hand side is increasing and concave, starts at zero with slope , and approaches , whereas the left-hand side is the straight line . A positive intersection therefore exists exactly when
This is the odd bound state of a symmetric double-delta potential; equality is its zero-energy threshold.
For , analytically continue the same pole equation into the lower half of the complex -plane. Put
It becomes
When , the lowest odd mode lies near the hard-wall value . Writing and expanding gives
so
In particular, the odd resonance of a strongly repulsive symmetric double-delta potential has
The negative imaginary part identifies a decaying scattering resonance. If
then, to leading nonzero order,
Its time-dependent amplitude is proportional to
so its survival probability decays as and its lifetime is
Physically, this is the lowest odd standing wave trapped for a long time between two strong repulsive barriers and leaking out by quantum tunnelling.
Conjugating the reflection operator by a unitary operator reflects about the conjugated state:
Thus one may take .
Introduce a quantum ancilla with basis and define
The completeness relation gives , so is an isometry and extends to a unitary operator on a sufficiently large system-plus-ancilla space. Prepare the ancilla in a fixed state, apply that unitary, and perform the projective measurement . Outcome has probability and leaves the system in the normalized state . By linearity the same holds for mixed states, implementing the generalized measurement.
Discarding the outcome of the complete projective measurement gives
For projectors, let and . Then the pinching identity is
The Concavity of Von Neumann entropy and its invariance under unitary operators imply
Equality holds exactly when every conjugate in the average is the same, equivalently
Thus equality holds when the input already has no coherence between distinct measurement subspaces.
The no-cloning theorem for two pure states states that, for distinct nonorthogonal states and , there is no unitary operator and fixed blank state such that
To derive this from state discrimination, let
and suppose such a cloner existed. Applying it repeatedly would produce copies. The inner product of the two possible -copy states has magnitude , so their optimal success probability under the Helstrom-Holevo bound would be
Already for ,
because implies . But cloning followed by the two-copy Helstrom measurement for two pure states would itself be a quantum procedure applied to the original single state, contradicting the optimal one-copy bound . Hence the assumed unitary cloner cannot exist.
Equivalently, clone-assisted asymptotic state discrimination would give , although two nonorthogonal states are not perfectly distinguishable. Thus the Helstrom--Holevo theorem implies the no-cloning theorem.
Let and define the map suggested by the variation-of-constants formula:
The strong continuity of the evolution family and the continuity of imply that maps into itself. Because is unitary and ,
Equip with the exponentially weighted supremum norm
This equivalent norm makes a Banach space. Using that is a globally Lipschitz function and that the unitary operator preserves the norm,
Choose . Then is a contraction mapping, so the Banach fixed-point theorem gives a unique fixed point . This fixed point is exactly the required mild solution of an abstract Cauchy problem:
The weighted-norm argument works on the whole prescribed finite interval, so no subdivision of is needed.
Put and . The Pauli operators are Hermitian and satisfy and , so
Thus is a unitary operator. For every Pauli operator , according as commutes or anticommutes with and , expansion of gives one of or , up to the phase that makes it Hermitian. It is therefore another Pauli operator, so normalizes the Pauli group and is a Clifford operation. Finally,
which is the normalized projection onto the eigenvalue- eigenspace of . Hence maps the eigenvalue- eigenspace of onto the eigenvalue- eigenspace of .
For hermitian with , its spectrum lies in . Continuous functional calculus therefore shows that is positive. Let
It commutes with , and
satisfies . Thus is unitary and
For positive trace-class covariance operators , their Procrustes distance between covariance operators is
where is the group of unitary operators on the real Hilbert space . Expanding the square gives the equivalent formula
For each fixed , right multiplication by is a bijection of , whose inverse is right multiplication by . Therefore permutes the displayed orthonormal basis of the tensor-product space. It is consequently a unitary operator, with
The spectral norm of an operator is the induced operator norm
Every Pauli X gate is unitary, so . The triangle inequality for the norm therefore gives
In fact equality holds, as the product of eigenvectors of the has eigenvalue under .
The HHL algorithm requires coherent, efficient and repeatable preparation of the normalized state , normally through a known preparation circuit and its inverse; possession of a single unknown physical specimen does not supply that access. The component of on any discarded or unresolved small-eigenvalue subspace must also be negligible. Here is a unitary operator, so it is invertible and all its singular values equal one, giving condition number .
Standard HHL is stated for a Hermitian matrix with an efficient sparse-access or block encoding oracle. A non-Hermitian can be embedded in the Hermitian block matrix
part (a) supplies efficient access to . With inverse-polynomial target precision, phase bits, and an efficient preparation oracle for , the runtime is . The output is the normalized quantum state proportional to the solution , rather than a classical list of all its amplitudes.
Let and let be its orthogonal projection. For , define
Because is unitary,
The displayed finite Hermitian matrix uses only finitely many matrix entries of , and its least eigenvalue can be approximated by an arithmetic algorithm in the SCI hierarchy.
As increases densely,
A unitary operator is normal, so the spectral theorem for normal operators on a separable Hilbert space identifies the limit as
The functions are continuous and decrease to a continuous function on the compact unit circle. The Dini theorem therefore gives uniform convergence there.
Take successively finer rational meshes around . From the finitely computed values of , retain the mesh minima in the comparison neighborhoods whose radii are ; equivalently, use the standard local-minimum construction for a decreasing approximation to a distance function. Call the resulting finite set . Uniform convergence and the shrinking mesh imply
in Hausdorff distance. Every operation at stage is finite and arithmetic, so is the required one-limit sequence.
There is no finite-stage certificate that the whole output has the correct Hausdorff error: the convergence of has no uniform computable rate over all unitary operators, and unseen matrix entries can still reveal a missing spectral component. A small computed residual can certify that an individual output point lies near the spectrum, but it cannot verify that covers all of . Thus the full finite-stage output is not verifiable without additional information.
Since , multiplication by modulo is a bijection of , with inverse multiplication by the modular inverse . Hence permutes the standard orthonormal basis. It preserves all inner products and satisfies
so is a unitary operator.
The number operator is self-adjoint. Also
after . Thus both exponents are anti-Hermitian and are unitary. Their product obeys
and likewise for creation operators. Both generators annihilate the vacuum, so the product leaves it invariant. Substitution in the free-field mode expansion yields
Hence implements parity with intrinsic parity .