Let and describe unitary time evolution. For an ideal projective measurement with the Lüders rule, its unconditioned outcome probability is . After that outcome, the normalized state is . The Born rule probability of successful postselection is then . Multiplying gives the joint probability
Conditional probability therefore gives the Aharonov-Bergmann-Lebowitz rule:
The denominator must be positive; otherwise the selected subensemble does not occur. Define the forward-evolved ket and backward-evolved ket . The numerator becomes , which is unchanged by interchanging . Equivalently, with and ,
This expresses the boundary-state symmetry explicitly. It follows from the ordinary time-asymmetric preparation, Born rule, and state update; it does not posit an additional backward dynamical collapse.
Restore the post-selected vector omitted entirely from the TeX aid by reading the original PDF. Write and
Its norm is one because . For the uniform prestate and , put . The individual transition amplitudes are
In experiment , the complement amplitude is . Thus for every ,
The successful postselection rate in this experiment is .
In the fully resolved experiment , the ABL rule squares the individual amplitudes before summing. Their squared sum is , giving
These probabilities sum to one. For they reduce to a single certain outcome in either quantum measurement. For , the N-box pre- and post-selection paradox is that each separate binary question can be answered affirmatively with certainty, although the fully resolved quantum measurement cannot give all those outcomes at once.
There is no inconsistency. In , the unresolved complement preserves coherent cancellation between its basis contributions under the Lüders rule. In , those alternatives are resolved, so their squared amplitudes add instead. The different projective measurements disturb the state differently and have different postselection success rates. Merely merging the recorded outcomes afterwards does not reproduce . This is the context dependence of pre- and post-selected measurements; certainties in mutually alternative experiments do not describe simultaneous measurement-independent properties.
The GRW model takes a normalized wave function in . Between jumps it obeys the Schrodinger equation, , with the usual many-particle Hamiltonian operator, for example . Each particle has an independent Poisson process of collapse times with rate . Thus the total jump rate is , the mean wait is , and the jumping label is uniform on .
At a jump of particle , use the GRW localization operator
Its centre has probability density function . The post-jump quantum state is . The normalization is consistent because . The collapse times and labels have these state-independent rates; the centres depend on the wave function through the Born rule-like squared norm.
For precision about the stated spatial event, let . With , the GRW collapse-centre event probabilities are exactly
The last expression is defined only for . It includes the possibility that the next jump hits the same particle.
Write , and similarly . Put
with the same definitions for . The macroscopic separation and negligible packet tails make the two branches essentially orthogonal, so their interference contribution can be neglected. The first-event probability is therefore
The contribution is extremely small: its actual positions are within of , whereas centres in are within of , leaving a distance much larger than in the Gaussian. Packet-tail errors add to this Gaussian-tail error.
For the next-event calculation, two distinct labels have independent position densities within either product branch, giving factors . A repeated label instead gives , since both localization Gaussians multiply the same position variable. Consequently
These formulas, with , answer the spatial questions without an extra containment assumption. If the first event is dominated by the branch, they simplify to
Neglecting the term in this conditional expression requires it to be small relative to the retained first-event probability, not merely small in absolute value. The exact operator formulas above cover rare-event exceptions as well.
The intended GRW branch persistence versus geometric containment approximation is obtained if and contain essentially all the position mass of their corresponding branches. Then positions in have a Gaussian-centre margin of inside , so , while . This gives
For the Gaussian convention used here, the three-dimensional probability of a displacement exceeding is , an extremely small number. A first centre near also suppresses the branch relative to the branch by the very small ratio when the latter branch has appreciable weight. All particles are correlated with the same pointer alternative, so one localization selects the macroscopic branch even when the next particle label differs.
The literal PDF, however, only places the packet centres in ; it does not say that the packets themselves fit inside . Since it permits , the two numerical approximations just displayed do not follow for every allowed packet and region. For example, take all , let be a very small ball, and let be uniform on a ball of radius . Translate the other branch to a similarly small region at distance much larger than . Then
If these equal packet probabilities are denoted by and their repeated-label integral by , the next probability is
which approaches , not one, for large . Thus packet containment is needed for the stated near-region event to have the usual branch probabilities. The literal general answer is given by the integrals above.
The physical GRW amplification mechanism remains intact: with properly chosen macroscopic branch regions, spontaneous localization selects the alternatives with approximately the squared branch amplitudes and stabilizes the selected record, on a time scale . Gaussian tails are not exactly eliminated, so the persistence is approximate. The containment qualification concerns how the region is defined, rather than whether the dynamics selects a macroscopically separated branch.
The class uses polynomial-register real-arithmetic computation: its storage restriction counts real registers, without limiting their precision or the running time. Use the usual decision-model interpretation that computed real values may be compared with fixed thresholds, and that the fixed universal gate set's real constants are available. Without a way to test values, arithmetic instructions alone would not specify the intended decision model.
Let a BQP quantum circuit use qubits and gates. A matrix element can be evaluated by depth-first quantum circuit path summation:
Enumerate the intermediate -bit strings recursively. Store the current strings and loop positions, a partial product, and the partial sum at each depth. There are at most active levels, using registers or bits of loop information, not an exponentially long state vector. Each fixed-locality gate matrix element is computed from its few affected bits. Represent a complex number by two real registers; complex multiplication and addition require only real addition, subtraction and multiplication.
Recompute this amplitude separately for every final string whose output bit is one, accumulating the Born rule probability
The outer enumeration needs only another bits and a real accumulator. Arbitrarily large running time is allowed, so repeated recomputation is harmless. Compare with to distinguish the promised BQP cases. This proves using polynomial storage.
The printed probability hint omits the squares of the amplitude moduli. Summing their absolute values alone is not the Born rule and can exceed one. The corrected sum above is necessary for the containment proof. The argument is about the stated real-register model, rather than a claim that exponential-precision numbers are free in an ordinary bit-cost model.
Use the normalized eigenfunctions of the infinite square well,
The sine identity expands the initial wavefunction as
The normalization factor yields precisely these coefficients. By the Born rule, the energy measurement probabilities are for and for . Thus the energy expectation is
The two probabilities sum to one, also checking the wavefunction normalization.
The computational-basis projectors on the first qubit are
The Pauli Z gate acts as on the first subspace and on the second, so . By the Born rule, . Therefore the expectation determines the output probabilities:
The normalization supplies ; no product-state assumption is needed for this identity.
The sudden approximation keeps the wavefunction unchanged at the instant of switching: a finite step of potential creates no delta-function impulse in the Schrodinger equation. Just before switching the old ground state differs from the printed real wavefunction only by an overall phase, which does not affect probabilities.
Let , , be the new ground state. Its overlap with the initial state is, up to that phase,
Since , the Gaussian integral gives . The Born rule and the ground-state overlap after sudden oscillator displacement thus give
This is an overlap probability, not a claim that the original wavefunction instantaneously relaxes to the new ground state. It becomes one when .
The Born rule gives the probability of as the squared coefficient of the initial state in the energy eigenstate basis. Direct integration gives
The strict energy cutoff corresponds to , so only contribute. Both coefficients equal , and therefore
The discontinuous initial wavefunction is a legitimate normalized state for this spectral probability calculation, although it is not in the Hamiltonian's differentiability domain; finite mean energy is not required to compute this probability.
Let be the unique discrete logarithm of the measured value , so that . The fiber calculation gives exactly the pairs with , where . The initial amplitude of each pair is , so the Born rule assigns probability to this outcome.
After projective measurement and normalization, the first two quantum registers are in the coset state
The measured third quantum register factors as and may be omitted. There is no loss of coherence between the terms in this post-measurement state: the quantum measurement reveals the common function value, not an individual input pair.
Assume first . Define the orthonormal quantum states
and by . The relevant invariant subspace is the two-dimensional span of these quantum states, not the entire Hilbert space. The uniform quantum superposition is .
In the ordered orthonormal basis , the marked-state phase oracle is the reflection operator . Since , conjugation by the Walsh-Hadamard transform gives the Grover diffusion operator
It is the reflection in the line through . The product of these two reflection operators is a rotation matrix by toward the marked quantum state:
Thus the Born rule gives . Choose a nonnegative integer nearest to . Rounding changes the angle from by at most , so
Each Grover search algorithm iteration uses one marked-state phase oracle query; all other gates are known. A final quantum measurement in the computational basis therefore produces a uniformly chosen marked item, conditional on success, with probability better than one half when . This uses the supplied marked count to select the stopping time; an unknown needs an additional search schedule or counting procedure. If , no oracle query is needed; if , no marked item exists, so a successful search is impossible.
Label the measured vertex of the four-cycle by , its two neighbours by , and the opposite vertex by . The edges are . By the definition of a graph state,
All Controlled-Z gates commute. Conditioning on the computational basis value of vertex , the factors on edges and act on their other endpoints as and , since . The remaining edges form the three-vertex path :
The Born rule gives probability one half for either result. Normalizing proves
This is computational-basis measurement of a graph-state vertex: remove the measured vertex and apply a known Pauli Z gate byproduct to each neighbour. The chosen labels specify precisely which factors occur; any vertex of the square can serve as vertex by relabelling.
Taking along a coordinate axis gives . Taking for gives . Combining this anticommutator relation with the specified commutator gives
and contraction with proves
The operators for spin angular momentum, , satisfy and , identifying spin . The usual irreducible spin space is two-dimensional; the assumptions also allow repeated copies of it if no Hilbert-space dimension is specified.
Since is Hermitian and squares to , are Hermitian, , and . They are its spectral projectors. Write
Each nonzero term is a scalar multiple of a normalized eigenstate with eigenvalue . The Born rule gives, for normalized ,
If , expectation of gives . Taking yields .
The Born rule and probability current in one dimension give
Multiply the Time-dependent Schrodinger equation by , subtract its complex conjugate multiplied by , and rearrange to obtain the continuity equation .
For the stated superposition, the interference terms in are real and cancel from its imaginary part. Hence
independent of and .
Each of the four values
occurs for three of the twelve inputs. The corresponding basis states in the first register are orthogonal, so the Born rule gives
The angular momentum commutation relations imply
Thus has the same total-spin eigenvalue and magnetic quantum number . Its squared norm follows from
Choosing the conventional positive phases gives the spin ladder operator formula
For , in the ordered basis ,
Since ,
The incident state is the spin coherent state obtained by rotating through about the axis. Its amplitudes in the basis are
up to an irrelevant phase convention. The Born rule therefore gives
Inside the infinite square well, the stationary Schrodinger equation for unit mass is
Its normalized eigenstates and energies are
The general normalized time-dependent solution is
Immediately after removing the barrier, the normalized wavefunction is
Its Fourier sine series coefficients in the full-well basis are
They are
The Born rule therefore gives
A stationary state has the form
For a time-independent quantum observable , the global phases cancel in the expectation value:
It is therefore independent of time.
For the infinite square well,
The possible energy measurement results are
with respective Born rule probabilities and . Normalization gives .
At time ,
The required matrix elements are
Consequently
where the angular frequency is
Finally, , so
The spectral projector for outcome is
For , the Born rule gives
The Born rule says that the probability of a projective-measurement outcome is the squared norm of the state projected onto the corresponding eigenspace. The basis vectors in the state whose second qubit is one are
They are mutually orthogonal, so
The Born rule says that each probability is the squared norm of the corresponding ancilla component. Since the states are normalized,
Consequently