Here and . By Mantel theorem, a triangle-free graph of this order has at most
edges, so contains a triangle in a graph.
If , then has four vertices and five of the six possible edges, so it is with one edge deleted. Exactly the two triangles containing neither both endpoints of the deleted edge remain. Hence contains two triangles.
Turan theorem states that among all -vertex graphs containing no , the maximum number of edges is attained by the Turán graph , the complete multipartite graph whose part sizes differ by at most one.
Here is the Zykov symmetrization proof. Start with an extremal -free graph. If nonadjacent vertices have different neighbourhoods, replace the lower-degree vertex by a clone of the higher-degree one: delete all its incident edges and join it to precisely the neighbours of the other vertex. This does not decrease the number of edges and cannot create a , because a clique using the clone corresponds to one using the original vertex. Repeating the operation, with the standard tie-breaking that merges equal-neighbourhood classes, produces a complete multipartite extremal graph. It has at most nonempty parts, since choosing one vertex from each part gives a clique.
If two part sizes satisfy , moving one vertex from the larger part to the smaller changes the number of cross-edges by
Thus an extremal partition has exactly parts whose sizes differ by at most one. This is and proves the theorem. For it is Mantel theorem: a triangle-free graph on vertices has at most edges.
The promise is Simon's problem. If , then implies , so is an injective function. If , then each value has exactly the two preimages and ; thus is two-to-one and is constant on the two-element cosets of .
Under the stated approximation the perturbation equation is
During radiation domination, , so and
Matter perturbations therefore have only logarithmic growth of matter perturbations during radiation domination.
In a curvature-dominated universe, , so and
The nondecaying mode is constant: curvature domination gives freezing of matter perturbations during curvature domination, rather than continued growth.
On long wavelengths the gradient term is negligible. The Friedmann equation implies
During matter domination, and , so the linear growth equation becomes
The power-law ansatz gives or . Since , the growing and decaying modes are
Expand the density contrast in Fourier modes, . In the static universe each mode satisfies
For there are sound waves
For , Jeans instability gives growing and decaying exponentials with rate . At the Jeans wavenumber the two solutions are constant and linear in time.
Each larva undergoes diffusion over its exponentially distributed lifetime of mean and deposits eggs at rate wherever it is found. The characteristic diffusion length before death is , which explains the exponential spatial decay. Integrating the remnant over space gives
This is also immediate physically: each of the larvae lives for mean time and therefore lays an expected eggs. The eggs remain as a stationary record because they neither die nor diffuse.
Because , the egg density is the accumulated deposition
It is convenient to use the Fourier transform. The larval equation gives
Applying the stated inverse-transform integral with gives the remnant density from diffusion with mortality and deposition
Removing the death term with gives the heat equation with initial data . The heat kernel therefore yields
For each fixed , the exponential mortality factor and diffusive prefactor show that as . Its spatial integral is , the expected number of surviving larvae.
Write . Choose a quadratic nonresidue . Multiplication by permutes , while multiplicativity of the Legendre symbol gives . Therefore
so the complete Legendre-symbol sum is zero.
Since and , the bijection reduces the next sum to . Count pairs satisfying . On one hand their number is
On the other hand , and every gives exactly one pair by , . There are therefore pairs, proving the quadratic Legendre-symbol correlation
For , the indicator that both and are quadratic residues is . Summing and using the two identities above gives the number of consecutive nonzero quadratic residues modulo an odd prime
Gauss lemma states that if and of the least positive residues of
exceed , then .
To prove it, replace each residue exceeding by its negative, obtaining numbers in . No two of them are equal modulo : such an equality would give , hence in the allowed range. They therefore permute , and multiplication gives
Cancel the nonzero factorial and apply Euler's criterion to obtain the lemma.
For , all least positive residues exceed . Hence the first supplementary law for quadratic reciprocity is
For an odd prime number , the Legendre symbol is
If , multiplicativity of the Legendre symbol gives
Both factors belong to , so they are equal. Thus .
Choose to prepare the uniform superposition, so the marked-state probability is . Apply the marked-state phase oracle , followed by the reflection about the prepared state. Part (iii) shows that this single Grover iteration produces . A projective measurement in the four-item basis therefore returns the marked element with probability one. This is exact Grover search on four entries.
For , put . After the first phase rotation the state is
Since , the requested state is
It is proportional to exactly when , hence when . The state is then , whose global phase has no physical effect.
Conjugating the reflection operator by a unitary operator reflects about the conjugated state:
Thus one may take .
The selective phase rotation multiplies the component parallel to by and fixes its orthogonal complement. Therefore

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