Let be the nearest-point projection,
It is continuous. The map has a fixed point by the Brouwer fixed-point theorem.
If , the identity can hold only with , because the projection of a point outside lies on its boundary. If , the hypothesis gives , so and again . Thus has a fixed point.
For an odd prime , the Legendre symbol is
Euler criterion states that
The Gauss lemma says that, for , if of the least positive residues of
lie in , then
To prove it, replace every residue above by its negative. The resulting absolute residues are distinct up to sign and therefore form a permutation of
Multiplying the congruences gives
Cancel the nonzero factorial and apply Euler's criterion.
For , the residues are . The number above is
whose parity gives the second supplementary law for quadratic reciprocity
Consequently, for odd primes,
The congruence is also soluble for .
Use the construction in part (c) for the marked-state phase reflection in each Grover search algorithm iteration. Every such reflection costs one query to ; the identity-oracle circuit, Hadamard gates, and are independent of .
Starting from , after iterations the success probability is
by the Grover rotation angle. Choose an integer
Then differs from by at most , so
For every sufficiently large this is greater than , while
Thus measuring the search register determines the faulty input with the required constant success probability using oracle queries.
The known circuit from part (b) lets us apply without querying the faulty oracle. Their composition satisfies
Because , only the last answer qubit is flipped in the exceptional case.
Prepare the answer register as
Since , quantum phase kickback gives, for an arbitrary search-register state,
The answer register is unchanged and factors out. The induced operation on the first register is therefore
This is the marked-state phase oracle from a single faulty identity-oracle query.
Use controlled-NOT gates in parallel. For each , the th input qubit is the control and the th output-register qubit is the target. Their combined action is
which is exactly
Let
where is the Hadamard gate. For a computational-basis string , define the phase reflection
Thus changes the sign of , while changes the sign of the marked state.
Conjugating by reflects in the hyperplane perpendicular to , so
is the Grover diffusion operator, the reflection about . The Grover iteration operator
is the product of two reflections. It acts as a rotation through in the plane spanned by the marked state and the normalized uniform superposition of unmarked states, where
It is the identity up to sign on the orthogonal complement of that plane.
For the Gaussian approximation,
The extra term reflects the subleading error made by centring the linear approximation at the deterministic fixed point. It is smaller than by relative order , so the exact steady-state condition from part (a) is recovered at leading order. A higher-order expansion shifts the mean and restores the moment balance more accurately.
The approximation is reliable when
Thus one needs : births must support a large typical population, with jumps of one or two individuals small compared with the population scale.
The deterministic drift vanishes at the positive stable point
When is large, fluctuations sample only a narrow range around it, so the linear noise approximation replaces
The resulting Ornstein-Uhlenbeck stationary density is the stated normal distribution with
and
Taylor-expand the gain terms:
and, writing ,
After cancellation of the loss terms, the second-order Kramers-Moyal expansion is
Hence the constant-birth pair-annihilation process has
Probability enters state through a birth from or a pair-death event from , and leaves through either event at state . Thus the Kramers-Moyal master equation is
with probabilities and impossible transition rates taken as zero outside the nonnegative states.
A birth changes by , while a death event changes it by . Applying these increments to the first moment gives
Consequently every steady state must satisfy
The language in (ii) is context-free. The grammar
generates exactly
The recursive uses of the first rule match the numbers of 's and 's, while independently generates any even number of 's.
A context-free grammar is a quadruple consisting of finite nonterminal and terminal alphabets, a set of productions with one nonterminal on the left, and a start symbol . A context-free language is a language generated by such a grammar.
The pumping lemma for context-free languages says that there is a pumping length such that every in the language with can be written
with , , and in the language for every integer .
The language in (i) is not context-free. If it were, pump
The substring , having length at most , cannot meet both the - and -blocks. If pumping changes the number of 's or 's, those two counts cease to agree. If it changes neither, it changes the number of 's while the outer counts remain , so the middle count ceases to be . Every permitted decomposition therefore fails, contradicting the pumping lemma.
Fix a shift that is not an eigenvalue of . Inverse iteration computes
and may use as the eigenvalue estimate.
For a real symmetric matrix, suppose that one eigenvalue is uniquely closest to and that has a nonzero component in its eigenspace. Since the iteration is the power method applied to , the normalized vectors converge, up to sign, to an eigenvector for . If is the second-closest eigenvalue to the shift, the asymptotic direction-error ratio is
Thus a shift close to the desired eigenvalue gives rapid convergence. The Rayleigh quotients converge to and, for a simple eigenvalue, their errors are of second order in the vector error. This is convergence of fixed-shift inverse iteration.
An orthonormal eigenbasis is
The starting vector has the orthogonal decomposition
Hence its component in the dominant eigenspace is exactly zero. Normalizing gives
Since the two remaining eigenvectors are orthogonal,
Therefore
The limit is not the leading eigenvalue because the nonorthogonality assumption in part (a) fails. On the active spectrum of the power method, the leading eigenvalue is and the next is ; indeed
in agreement with the squared spectral-ratio estimate.

There are unlisted articles, also show them or only show them.