Let be a finite subgroup of and let be its exponent of a finite group. A finite abelian group contains an element whose order is its exponent: combine elements of maximal prime-power order across the primary components. Hence .
Every satisfies , so all elements are roots in the field of the nonzero polynomial . The Lagrange root bound over a field gives . Therefore , and the element of order generates . This proves that a finite subgroup of a field multiplicative group is cyclic.
We first derive the Erdős-Gallai path edge bound from part b. If an -vertex graph has no path of length , then
Induct on , component by component. A component with at most vertices satisfies the bound trivially. A larger connected component cannot have minimum degree at least by part b, so delete a vertex of degree less than and apply induction; the integer degree removed is at most , which preserves the bound.
Now set
and consider a red-blue colouring of . If there is no red , part a with gives
Consequently
The path edge bound forces a blue . Together with part c this proves the clique-path Ramsey number
Colour the vertices of in groups of size . Colour edges within groups blue and edges between groups red. The red graph is complete -partite, so it has no red . Every blue component has only vertices, so it has no path of length . Therefore
Let
be a longest path in . Every neighbour of either endpoint lies on . Suppose . Among the possible cut positions of the path, the sets
have total size greater than , so they intersect. The corresponding two edges close a cycle containing all vertices of .
If , connectivity supplies an edge from a vertex outside this cycle to a vertex on it. Breaking the cycle there and adjoining the outside vertex creates a path longer than , a contradiction. Hence
Since and , the long path from minimum degree gives . Thus contains .
We prove the Quadratic Turan edge bound by induction. The case is immediate. For , if contains no , the induction hypothesis for gives the stronger bound. Otherwise choose a copy of . Every vertex outside has at most neighbours in , since one adjacent to all of would complete a . Thus the number of edges having at least one endpoint in is at most
The graph is still -free, so induction on the number of vertices gives
This proves the stated form of Turan theorem.
The Axiom of foundation says that every nonempty set contains an with . The principle of epsilon induction says that if a formula is progressive,
then holds for every set.
Assume foundation and let be progressive. If failed for some , use separation to form the nonempty set of failures inside . Foundation supplies an -minimal failure . Every member of lies in the transitive closure and is not a failure, so progressiveness gives , a contradiction. Hence epsilon induction holds.
Conversely, assume epsilon induction and suppose a nonempty set has no -minimal member. Let
If every member of satisfies but , then , making an -minimal member of , contrary to the assumption. Thus is progressive. Epsilon induction says every set lies outside , contradicting that is nonempty. Foundation follows.
Fix a set and define by recursion on
The recursion theorem defines a function-class uniquely by : for each there is exactly one finite sequence satisfying the displayed recursion through stage . Thus is genuinely functional, and the Axiom schema of replacement applied to the set gives the set .
Now define
It contains every member of . If , then for some ; hence every belongs to
Thus is transitive. If is any transitive set containing every member of , induction gives for every , so . Therefore
is the transitive closure of .
After the first Hadamard gate and the controlled unitary gate, the state is
The final Hadamard gate gives
Hence the Hadamard test returns one with probability
If , then and the outcome is zero with certainty. If , then modulo and the outcome is one with certainty. The single measurement therefore distinguishes the two promised cases exactly.
Use three controlled-NOT gates with control-target directions
On computational-basis bits they act as
They therefore implement the Three-CNOT decomposition of the SWAP gate, and linearity proves the identity on every two-qubit state.
Use the inverse quantum circuit rule. Every gate in is self-inverse, so reverse their order. From left to right, the circuit for is:
1. a controlled-NOT with the lower qubit controlling the upper;
2. on the upper qubit and on the lower qubit;
3. a controlled-NOT with the upper qubit controlling the lower;
4. on the upper qubit.
This is the requested circuit description, with the two wires and control directions unchanged under each individual gate's adjoint.
Apply the gates from left to right. The first Hadamard gate and the first controlled-NOT gate produce the Bell state
The parallel gates then produce
The final controlled-NOT has the lower qubit as control; it interchanges and , whose amplitudes here are equal. Thus the output is
By quantum measurement in the computational basis, every basis outcome has probability equal to the squared modulus of its amplitude:
Neglect the decaying mode from part a. A mode that enters during matter domination grows in amplitude by
so its variance grows by . For , part b gives
For , the mode enters during radiation domination and is assumed not to grow significantly until equality. It then grows by . Since the equality mode satisfies
the post-equality variance growth is
Therefore the broken matter power spectrum from horizon entry is
Normalize and put . The cosmological horizon crossing condition is
For , matter domination gives , and therefore
For , radiation domination and continuity at equality give
Substitution in the crossing condition yields
These are the two branches of the horizon-crossing time across matter-radiation equality.
During matter domination,
The perturbation equation becomes
Substitution of the power law gives
whose roots are and . Hence the cosmic-time matter density modes give
Put . At the threshold of a Turing instability, the maximum of
touches zero. Hence
The second equation gives . Substitution in the first gives
Therefore
and
Since and , the linearization is
For a spatial Fourier mode of the perturbation, part a gives
Thus with the dispersion relation after fast-inhibitor elimination
Setting makes the inhibitor equation quasistatic:
Taking the spatial Fourier transform and using the Fourier transform of a derivative gives
Therefore the fast-inhibitor elimination in a reaction-diffusion system is

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