Alice uses conjugate-basis steering of a Bell pair. Write the desired orthonormal basis for Bob as and . Entrywise complex conjugation in the computational basis gives Alice's orthonormal basis
For either in Bob's chosen orthonormal basis, the corresponding unnormalized conditional quantum state is
Its squared norm is . Thus Alice measures in the complex-conjugate basis, obtaining the required Bob pure states with probability each. Averaging over Alice's undisclosed outcome leaves Bob's density matrix equal to , consistent with the no-communication theorem.
Initialize one qubit in , then apply a Hadamard gate, a T gate, and a Hadamard gate, in that temporal order. Defining the Pauli X eigenstates , the successive quantum states are
We prove the one-query constancy obstruction for phase oracles while allowing arbitrary quantum ancillas. By purification of a density operator, the quantum state immediately before the sole query can be taken as
The ancilla vectors need not be normalized or orthogonal. Classical randomness and earlier quantum measurements can be included in additional ancillas; allowing access to these systems only gives the proposed algorithm more power.
For the zero constant function, the phase oracle is , leaving unchanged. For each , consider the Boolean function that is one at and zero elsewhere. Since , it is nonconstant, and its phase oracle produces
Any later fixed unitary transformation preserves these inner products. An arbitrary final quantum measurement cannot distinguish the constant output from each nonconstant output with certainty unless they are orthogonal, by perfect discrimination of pure states requires orthogonality. Explicitly, an accepting POVM effect would satisfy and , forcing .
Therefore exact classification requires for every . Summing gives
which contradicts . Thus one query cannot decide constancy with certainty. The other constant function gives , differing only by a global phase, so it does not change the argument. For comparison, permits ; the impossibility arises from demanding the test work for every nonconstant Boolean function.
A bipartite pure state is entangled exactly when it is not a product state: there are no normalized quantum states such that
Equivalently, its Schmidt rank exceeds one, or either reduced density matrix is a mixed state. This definition concerns quantum entanglement across the specified division into systems and .
The sign factor separates as . Consequently the quantum state factors into a tensor product of quantum systems:
It is a product state, so it is not entangled.
Combine the hypothetical protocol with superdense coding. Before a message is chosen, Alice and Bob share a further Bell pair , with at Alice and at Bob, in addition to any resources needed for the hypothetical quantum teleportation protocol. To encode two classical bits , Alice applies the Pauli gates , preparing
The four choices are the four mutually orthogonal Bell states. Alice now uses the hypothetical protocol to teleport to Bob using only one classical bit. Its assumed preservation of the joint quantum state gives Bob both and in
Bob performs a Bell-basis measurement. Explicitly, a controlled-NOT gate , followed by a Hadamard gate on , gives
A computational-basis measurement therefore recovers both message bits with certainty after only one transmitted classical bit. The initial Bell pairs are shared before the message is chosen and carry no message themselves. This proves the classical communication lower bound for exact qubit teleportation: a perfect protocol preserving an external reference needs at least two transmitted classical bits.
Write the arbitrary initial pure state as
The reference vectors need not be normalized or orthogonal. By linearity, the same quantum teleportation calculation, with the identity operator on , gives the post-gate quantum state
Thus each outcome still has probability . Bob's Pauli gate correction leaves the normalized joint quantum state
All operations act trivially on , so the result is independent of its holder or location. This establishes teleportation as an identity channel on a reference, preserving quantum entanglement with the untouched reference. Since every corrected branch is the same, discarding the classical outcomes also leaves the required joint density matrix.
Alice holds the input qubit in and her half of a shared Bell pair ; Bob holds . Alice applies a controlled-NOT gate , then a Hadamard gate on . In the system order , the initial quantum state is
After these two quantum gates, direct expansion yields the quantum teleportation identity
Alice performs computational-basis measurements on , and sends the two classical bits to Bob. Each outcome has probability , independently of the input pure state. Bob applies the indicated Pauli gates: first , then , so his total correction is . In every branch,
This proves exact quantum teleportation using one Bell pair and two classical bits. Alice's original qubit has been measured; the protocol transfers the quantum state without leaving her another copy.
Let the sample area be , set the band touching energy to zero, and write . Assume one electronic valley in each energy band with two spin states. The near-edge parabolic dispersions are
Under periodic boundary conditions, each spin occupies reciprocal-space area . Counting the quantum states inside a circle gives
Its derivative is the constant two-dimensional free-electron density of states. Defining , the signed-energy density of states is
The total electronic density of states is therefore on either side of zero, not at every signed energy. If instead one counts positive-energy excitations, the electron and hole species each have density of states , giving when summed. A common additional valley degeneracy multiplies all these quantities by that factor. The effective mass approximation assumes thermally sampled energies remain within the near-edge regions of both energy bands.
For , the Taylor expansions needed in the exact energy density are
Substitution yields
Therefore
Here Big O notation describes the neglected small-coupling terms, and the logarithm is natural. The nonanalytic term comes from the formerly degenerate quantum states near the Brillouin zone boundary; a uniform nondegenerate perturbation theory expansion of the integrand would fail there. This is the same mechanism as the Peierls energy gain.
For a long chain of length with periodic boundary conditions, each spin has quantum states in a wavenumber interval . Including two spin states, a full energy band contains electrons. The state counting in a Bloch band therefore gives the energy density
The integral of is . For , the even square-root integral is
For example, this follows by setting , applying the supplied antiderivative, and evaluating both endpoints; the lower-end logarithm contributes . Hence
The continuous zero-coupling limit is . This agrees with directly integrating the one-dimensional free electron model up to at two electrons per unit cell.
Write for bitwise exclusive or. Both quantum registers begin in . After the first Hadamard transform their joint quantum state is
The quantum oracle maps each component to . By linearity, the required quantum state is therefore
The different first-register computational-basis states are orthogonal, so there are orthogonal joint components of squared probability amplitude , even though some second-register values coincide. Thus the displayed quantum state is normalized.
An observed value must lie in the image of . Choose either preimage . The two-to-one function promise and imply that its preimages are exactly and . A computational-basis measurement of the second quantum register projects the joint quantum state onto the unnormalized vector
By the Born rule, . Dividing by its square root gives the conditional first-register pure state
Choosing the other preimage merely interchanges the two summands. The result is a Simon coset state, retaining quantum coherence between the two inputs that share the measured function value. Outcomes outside the image have probability zero and hence no conditional state to normalize.
Apply the Hadamard transform to the conditional quantum state from c. Since modulo two, its output is
If , the two probability amplitudes cancel by destructive quantum interference. If , they add, giving
Thus every observed string obeys . This Simon Fourier sampling is uniform on the -dimensional vector subspace over the two-element field. Indeed, the nonzero linear functional has a kernel of dimension by the rank-nullity theorem. The distribution does not depend on , so measuring or discarding the second quantum register gives the same statistics for the first.
Let be the coefficient of . The partial trace contracts the repeated index of the discarded qubit:
For the first qubit, each diagonal entry is and the upper off-diagonal entry is . For the second qubit, the diagonal entries are and , while the upper off-diagonal entry is . Thus the two reduced density matrices, each in computational basis order , are
Both have eigenvalues and trace one, so both are mixed states even though the joint quantum state is pure. Their different eigenvectors are visible in the useful rewrite
Absorbing the minus sign into one local basis vector makes this a Schmidt decomposition with nonnegative coefficients. It also checks both partial traces and exhibits the entanglement responsible for the mixed local descriptions.
Use the conventional phase gate in computational basis order . The single-qubit Hadamard gate and the successive quantum states are
The final Hadamard gate recombines the two components, giving
The leading factor in the last expression is a global phase. The Born rule therefore yields
At the output is certainly zero, whereas at it is certainly one. The phase gate changes no intermediate outcome probabilities; the final Hadamard gate converts a relative quantum phase into an observable quantum interference fringe.
Write . The Cauchy-Schwarz inequality gives because the two environment states are normalized. Immediately after the interaction, the joint quantum state is
Applying the last Hadamard gate gives
Since the environment is unobserved, the Born rule uses the squared norm of the environment-valued coefficient of :
Thus the Hadamard interference with environment overlap formula is
The plus sign follows from the explicitly chosen phase gate and the order of the inner product. Equivalently, before the last Hadamard gate the partial trace over the environment gives
The complex environment overlap in qubit dephasing both reduces the quantum coherence by and adds a relative quantum phase . Orthogonal environment states have and give for every . If , the quantum interference fringe has full contrast and is only shifted; the qubit has not become mixed. For , is immaterial.
Moving the interaction to between the first Hadamard gate and the phase gate gives
the identical joint quantum state. Therefore the expression is unchanged. This is the commutation of computational-basis dephasing and phase gates; it uses the specified population-preserving interaction with the same environment states, rather than an arbitrary model of quantum decoherence.
While the sequence is remembered, the conditional quantum state is the known pure endpoint , so its Bloch vector is one of the six Pauli vertices. Partial forgetting leaves a probability distribution over possible endpoints, giving
Hence the vector lies in the stabilizer octahedron. The mixing describes lost classical information, not a different unitary evolution of the physical qubit.
Under complete unbiased uncertainty over the six endpoints, , the opposite vectors cancel and
This is the maximally mixed state at the center. Mere loss of the particular sequence does not mathematically force uniform probabilities: a known biased distribution of endpoint states would leave its corresponding noncentral mixture. The central conclusion uses the unbiased randomization implicit in complete forgetting in this setting.
Let the unknown input qubit be , with . Alice holds , Bob holds , and the shared Bell pair is . All three-qubit strings below use the order . Initially,
The Bell-basis teleportation identity gives
Thus a perfect Bell state analyzer on Alice's two qubits identifies the Pauli operator affecting Bob's quantum state.
To display the intermediate three-qubit states explicitly, realize that Bell-basis measurement by a controlled-NOT gate , a Hadamard gate on , and two computational-basis measurements. After the controlled-NOT gate,
After the Hadamard gate,
Measuring gives with probability for each outcome, independently of . Conditional on that result, the normalized three-qubit post-measurement state is
If the Bell state analyzer is instead regarded as an ideal direct projective measurement preserving the measured qubits, replace here by the corresponding Bell state; Bob's factor is identical. A destructive optical analyzer records the same label but absorbs Alice's photons.
Alice sends the two classical bits to Bob. During transmission the above conditional three-qubit state is unchanged. Bob then applies the inverse Pauli operator :
The final conditional three-qubit state is therefore . The protocol transmits two classical bits per teleported qubit, consuming one shared Bell pair. Without Alice's record Bob averages over four Pauli operators and has density matrix , so quantum teleportation respects the no-communication theorem. Alice's input has been measured and is no longer an independent copy, consistent with the no-cloning theorem.
For teleportation with an ambiguous Bell-state phase label, write . The Bell-basis measurement outcomes and each occur with probability . In either case a correct guess gives Bob , while the wrong guess differs by the Pauli Z gate and gives . The other two Bell states are identified correctly. Since Alice guesses each ambiguous label with probability , the overall wrong-correction probability is . Averaging over the actual quantum measurement outcome and her guess gives the phase-flip channel
Conditional only on an ambiguous analyzer result, the output is ; that conditional channel has weight in the displayed unconditional result. There is no rejection of those rounds.
Use the teleportation fidelity for a pure state target, namely the squared quantum fidelity
This compares the input with the resulting mixed state; averaging state vectors before forming a density matrix would give a different, incorrect answer. Direct substitution gives
Thus the maximum is , attained by and up to a global phase, because these are eigenstates of the Pauli Z gate. The minimum is , attained by every equal-weight quantum superposition
on the equator of the Bloch sphere. The unsquared quantum fidelity is if that alternative convention is used. No average over different input quantum states is needed for the requested state-dependent answer.