The input is the Bell state , where . Acting on the first qubit reverses the signs of all three terms containing its Pauli matrices, so in computational basis order the output is
Its eigenvalues are : in particular, its expectation value in is . It therefore fails to be positive semidefinite, although its trace remains one. This single entangled state proves that the universal NOT gate is positive but not completely positive, so it cannot be a deterministic physical quantum channel on an arbitrary input.
Define the Hadamard basis states . The initial two Hadamard gates prepare . For one bracket, the two control branches give
Using the Pauli X gate , unitary conjugation by the Hadamard gate gives , so . Keeping every sign, the target states along the control-one branch, in the exact gate order, are
The last column also includes the final target Hadamard gate, which lies outside the bracket. Writing , applying the final top Hadamard gate gives the exact normalized two-qubit quantum state
Thus the complete outputs, in top-then-bottom computational basis order, are
For the first qubit, the Pauli matrix has expectation value by the Born rule. The two cases each have , while the and cases are deterministic. Equivalently, this Hadamard test measures
This explains the approximate quantum counting interpretation: repeated preparations estimate the expectation value, and hence . A single top-qubit computational-basis measurement need not identify .
For a normalized pure state, expand in an orthonormal basis of eigenvectors of the measured Hermitian operator. The Born rule assigns outcome the probability . Under the ideal projective measurement update, a nondegenerate outcome leaves , up to a global phase. The sum of the outcome probabilities is one, and the expectation value is ; a single trial reports one eigenvalue, not that average.
If , then
since . A nonzero eigenvector has positive squared norm, so is real. For two eigenvectors,
Thus : distinct eigenvalues have orthogonal eigenvectors.
The number operator is . The number state expansion gives by shifting the summation index; taking the adjoint gives . Thus the expectation value is
For the second moment, use :
Its expectation value in the coherent state is . Therefore
The variance equals the mean, exactly as for the Poisson distribution found in b. For the fractional standard deviation is , the usual photon shot noise scaling. For the vacuum state, both the mean photon number and its variance vanish; this does not imply zero optical quadrature fluctuations. At the fractional fluctuation is undefined.
For the normalized coherent state, and . The dimensionless electric field and magnetic field optical quadratures consequently have expectation values
The physical electric field and magnetic field strengths have the corresponding proportionality factors and mode functions. In free evolution replace by to recover the classical oscillation.
Expanding the squared operators cancels the and terms:
On the other hand, . Hence
The difference is the sum of the variances, not an extra mean field. Indeed , independent of . The commutator requires , and the coherent state attains equality. The residual two units are the vacuum fluctuations of the two optical quadratures.
For second-qubit inputs and , c gives control expectation values and . Preparing the maximally mixed state is equivalent to choosing these inputs independently with equal probability and discarding the choice. Linearity of the density operator evolution and quantum measurement probabilities therefore gives
Hence
The factor two is essential: the Hadamard test directly estimates the normalized trace. More generally, a target density operator gives . This argument never requires knowledge of the eigenvectors of .
The initial wavefunction has unit norm, since . On its nonzero half, with . A small domain qualification is important: the derivative jumps at zero, so the state is not in the operator domain of the Dirichlet Hamiltonian operator. Its finite energy expectation value is nevertheless defined by the quadratic form of a positive quantum Hamiltonian. The energy form of a half-well sine state gives
This is also the rigorous weak interpretation of the printed . Indeed the distributional second derivative is inside the well. The Dirac delta term pairs to zero because . One should not instead conclude that this state is an energy eigenstate from its equation on just the positive half.
Its coefficients in the full-well energy eigenstates are
For even , sine orthogonality gives and all other even coefficients zero. For , set and use . Product-to-sum integration then gives
Since these coefficients are , converges, confirming that the state has finite energy. With , the spectral expression is
The kinetic-energy quadratic form equals this spectral sum: expanding the weak derivative in the corresponding orthonormal cosine modes and using Parseval's identity gives . Equating it to the directly integrated value proves
In contrast, diverges, consistently showing why is not an ordinary square-integrable vector even though the energy expectation is finite.
For and a time-independent operator , differentiate its expectation value and use the Schrödinger equation and its adjoint. Moving across the inner product by integration by parts gives
Work with wavefunctions in the displayed operators' domains; the vanishing at infinity removes the associated boundary terms. This is the Ehrenfest theorem derived from time evolution.
The canonical commutation relation follows directly from differentiating : . Thus , while . It follows that
For the momentum equation, apply both products to a test wavefunction:
The kinetic term commutes with , so . Therefore
These are the classical equations from Ehrenfest theorem for position and momentum expectations; the force expectation need not equal the force evaluated at the expected position.
Write with . Normalization of the Gaussian wave packet gives , hence . The supplied Gaussian integral ratio then gives
The momentum operator obeys , and direct second differentiation gives . Taking the expectation value and substituting the first result gives
since . These are the second moments of a complex Gaussian wave packet.
For the solution in part (b), the trigonometric identity
gives, writing ,
Thus normalizability requires , and the exact expectation values are
Since ,
Their difference is the constant , so the mean energy stays constant despite exponential spreading in both observables.
The expectation value of an observable is the mean outcome of repeated measurements on identically prepared systems in the normalized state. For a self-adjoint it is real and equals . Assume the state belongs to the domains needed for the second moments and the commutator below, so all these quantities exist.
For real , positivity of the squared norm gives
The commutator expectation is purely imaginary, so this is a real quadratic in . If , its minimum is nonnegative exactly when its discriminant is nonpositive. If , nonnegativity for all real forces the linear coefficient to vanish, yielding the same conclusion. Thus
Replace the observables by their centred versions , . Their commutator is unchanged, and their second moments are the variances . Taking square roots gives the Robertson uncertainty principle
For the quantum harmonic oscillator, gives . The uncentred inequality above consequently gives . The arithmetic-geometric mean inequality now yields
This is a bound for every normalized state of finite oscillator energy, not just an eigenstate. It is attained by the centred Gaussian ground state, for which and the uncertainty product equals .
For a state in the domain of the operator, its expectation value is
For a normalized state the denominator is one. Use an orthonormal energy eigenstate basis, choosing orthogonal vectors within degenerate eigenspaces. Inserting an expansion into the time-dependent Schrödinger equation gives . Consequently
The phases preserve normalization. Projection onto a specified basis eigenstate gives probability , independent of time. If the measurement distinguishes only the energy and is degenerate, sum over all with .
Using orthonormality to eliminate all cross terms,
This is time independent whenever the expectation is defined. The time-independent Hamiltonian changes only relative phases, not the energy probabilities.
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions are
Thus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansion
The oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , where
Here tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordingly
count 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrum
Taking their difference and average yields
Every choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts are
The first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeys
and equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur at
Each charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The map
sends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle has
The gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,
have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , so
The four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion is
The canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion is
Here . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one gives
The first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, with
For Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalization
A Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, since
Summing over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold is
At equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
For a normalized wavefunction in the required operator domains and a self-adjoint operator , its expectation value and standard deviation are
Equivalently the squared uncertainty is , which is visibly nonnegative. Since the expectation value of a self-adjoint operator is real, expansion of the square and give
For a state not normalized to one, divide each defining expectation integral by before using this formula.
For the quantum harmonic oscillator, split the two expectation values into their variances and squared means:
The last two terms are nonnegative, so
Apply the arithmetic-geometric mean inequality to the two remaining nonnegative terms, then the Heisenberg uncertainty principle:
The argument applies to any normalized state with finite oscillator energy; the stated stationary state is a particular case. Equality requires zero position and momentum means, minimum quantum uncertainty, and balanced kinetic and potential contributions, as in the oscillator ground state.
For a time-independent Quantum Hamiltonian, a stationary state is an energy eigenstate. The Schrödinger equation separates its time dependence as
Its probability density is time independent. Linearity of the Schrödinger equation gives
Put . The operator for a time-independent observable is a Hermitian operator, so . Substituting the evolved wavefunction into the expectation value gives
and therefore, for a normalized state,
The normalization is automatic for orthogonal , in particular when : self-adjointness of gives . If the energies coincide, normalization of the individual eigenstates alone does not ensure normalization of their displayed sum; its squared norm is . For a nonzero sum not having unit norm, the physical expectation value is the displayed numerator divided by this squared norm. With orthonormal energy states, the stated formula holds in both the distinct and degenerate cases.
For a normalized state driven by the admissible control , maximize
Here is the specified Hermitian operator, the final time, and the dependence on is through the Schrödinger equation. The objective is real and is exactly the desired expectation value, so increasing it increases the requested observable. A control-resource penalty may be included when the admissible set does not already constrain field strength or fluence.
The deterministic law cannot be transplanted unchanged into measurement-based quantum feedback. Evaluating its state-dependent scalar requires knowledge of the current quantum state. In fact is the expectation value of a Hermitian observable, but that expectation cannot be obtained exactly from a single system without measurement backaction. Tomography uses many independently prepared copies, not a nondisturbing readout of one evolving state.
Continuous weak measurements can supply a noisy record and a conditional state estimate, but then the state follows stochastic measurement dynamics with additional disturbance and decoherence, rather than the closed unitary equation used in part (a). A new stochastic stability analysis is required. One may instead simulate the corrected Lyapunov quantum control from known initial data and apply its waveform as open-loop control, or learn a pulse across repeated experiments as in Question 3. Those procedures do not constitute real-time state feedback on a single quantum trajectory. The separate source error in part (a) remains: even ideal knowledge of the state would not make its printed overlap law monotone.
Fix a hidden variable in the deterministic local hidden-variable model, so that every is an integer. Let be the representative of modulo in . The terms in the chained modular Bell inequality alternate between the two parties. Before reduction their sum telescopes:
After reduction, the sum is a nonnegative integer congruent to modulo . For , the smallest possible such integer is . Thus for each hidden variable separately. Averaging over the setting-independent distribution gives
Here each expectation is the expectation value of the reduced random variable, not the residue of its expectation. Each term can be measured using one setting at each site. The proof uses their common deterministic assignments rather than any joint quantum measurement of incompatible local settings. Stochastic local hidden-variable theories satisfy the same bound: include their local random seeds in and average the resulting deterministic assignments.
The printed final coefficient in the definition of the average is typographically incomplete. The expectation used here is the usual , with final coefficient .
Distinct eigenvalues of the self-adjoint angular momentum operator imply . The given combination is not normalized: its squared norm is , which is always positive. Therefore its properly normalized expectation value is
It vanishes when . The first positive solution has , so
Normalization changes the value of the expectation value away from zero, but not its zero times.