Put . The odd integer is an Euler pseudoprime to the coprime base when
where is the Jacobi symbol.
Let be the unit group of residue classes modulo , and partition it into the set of bases satisfying the displayed congruence and the set of Euler witnesses that do not. If , multiplication by maps injectively into : indeed, if and also lay in , then the multiplicativity of the Jacobi symbol would give
Cancelling the invertible congruence for would say that , a contradiction. Hence , so at least half of the coprime bases are witnesses.
It remains to construct one witness for every odd composite number . If is not squarefree, choose an odd prime number with . The Chinese remainder theorem gives a unit such that for the full power and modulo every other prime-power factor. The binomial theorem gives
Since , this is neither nor modulo , whereas the Jacobi symbol is always or . Thus is a witness.
If is squarefree and composite, choose distinct primes . By the Chinese remainder theorem, choose to be a quadratic nonresidue modulo and to satisfy modulo every other prime divisor of . Then , while , so the Euler congruence again fails. This proves the existence of an Euler witness for every odd composite integer.
The polynomial Runge theorem says that if is compact, is connected, and is holomorphic on a neighbourhood of , then for every there is a polynomial such that .
For an explicit approximation on the left semicircle , define
The two power-series expansions
produce this formula. The first is a geometric series whose ratio has modulus at most on . The second converges uniformly on the whole unit circle; the elementary bound shows that truncating it at gives a total error tending to zero even after summing over . Consequently uniformly on . This is an explicit polynomial approximation of the reciprocal on the left semicircle.
No such sequence exists on the punctured unit circle . If polynomials converged uniformly there, they would be Uniformly Cauchy. Continuity gives
so they would converge uniformly on the entire unit circle. The uniform limit theorem would force the value at the missing point to be , and hence the limit would be on the full circle. But the Cauchy integral theorem gives for every , while uniform convergence and contour integration would imply
a contradiction. This is the polynomial approximation obstruction on a punctured circle.
Use Shamir's secret sharing over the finite field . The Chair independently chooses from the uniform distribution on a finite set and forms the random polynomial
Choose distinct nonzero , with equal to the number of discs to be issued, and inscribe on disc .
Any discs give distinct values of a polynomial of degree at most . Their Vandermonde determinant is nonzero, so polynomial interpolation recovers uniquely and hence recovers the secret as .
Conversely, fix any observed discs and any candidate secret . Interpolating through those points and gives exactly one polynomial of degree at most . Thus every candidate is compatible with the observed discs in exactly the same number of ways. Because the coefficients were chosen uniformly, the conditional distribution of the secret is unchanged after seeing any discs. This proves the Perfect secrecy of Shamir's threshold scheme.
A context-free grammar is a quadruple consisting of a finite set of nonterminal symbols, a disjoint finite alphabet of terminal symbols, a start symbol , and a finite set of productions with and . A sentence is a terminal word over an alphabet with , and the generated formal language is .
The first language is context-free. For example, the productions
generate exactly : each recursive production adds two s to the left and two s to the right.
The language is not context-free. Suppose it had pumping length in the pumping lemma for context-free languages, and apply the lemma to . Write with , , and for every .
Let and be the respective numbers of s and s in . If , pumping with or destroys equality of the two block lengths. Hence a valid decomposition would require . Pumping with would then produce , where . But
so is not a square number. This contradiction proves the square-count language is not context-free.
Conditional independence makes the log-likelihood
A maximum-likelihood estimator is any . If the model has fitted real parameters, its Akaike information criterion is
For the normal linear model, the Gaussian likelihood gives
Maximization over gives the ordinary least squares estimator , and maximization over the variance gives
At this value the quadratic term in is . There are regression coefficients and one variance parameter, so substitution into the Akaike information criterion yields
The hat matrix is an orthogonal projection of rank , so is an orthogonal projection of rank . Because is a standard multivariate normal distribution vector, Cochran's theorem gives
Thus . Substituting this into the preceding formula gives the Distribution of the Akaike information criterion in a normal linear model:
Adding the three equations of the SIR model with waning immunity gives
Hence conservation of population holds: is an integral of motion.
At an endemic equilibrium, , so forces
The equation gives . The conservation law therefore yields
A positive endemic state exists exactly when , equivalently when the basic reproduction number exceeds one.
Eliminate to obtain the two-dimensional autonomous differential equation
Its Jacobian matrix at the endemic equilibrium is
Since ,
The trace-determinant stability criterion shows that both eigenvalues have negative real part. The Endemic equilibrium of the SIR model with waning immunity is therefore locally asymptotically stable.
For each nonzero period lattice point , the binomial series gives
Pairing with cancels every odd power. Hence the Laurent series of the Weierstrass elliptic function is
which is the stated coefficient formula.
Set
This is an elliptic function. Write and in the expansion from part (i). At a lattice point, the coefficient of in is , and its constant coefficient is ; there are no other singular terms. Every apparent pole is therefore a removable singularity, and extends to an entire elliptic function with value zero at the lattice points.
An entire elliptic function is bounded on a fundamental parallelogram and hence everywhere. By Liouville theorem it is constant, and its value at zero is zero. Thus , proving the Weierstrass elliptic differential equation
The repulsive force is , so the Hamiltonian is
The Hamilton's equations give and . Consequently
so the angular momentum is conserved. Moreover,
It follows that the Laplace-Runge-Lenz vector is conserved. By the Hamiltonian conservation law, these time derivatives are exactly and , so both Poisson brackets vanish.
The integrals of motion are the energy , the components of , and the components of , subject to
Taking the dot product of with gives
Therefore the polar equation of a repulsive inverse-square orbit is
where and . For a nonradial physical scattering orbit , the identity above gives , as expected for a hyperbolic Kepler orbit.
For equal internal degeneracy, the number density of an isotropic ultrarelativistic species is proportional to
With , compare the Fermi-Dirac distribution and Bose-Einstein distribution using
For , a change of variables in the second term gives the fermion-to-boson thermal integral ratio
Particle number has , so . The energy density contains one further factor , so it has and
The selective phase rotation multiplies the component parallel to by and fixes its orthogonal complement. Therefore
Conjugating the reflection operator by a unitary operator reflects about the conjugated state:
Thus one may take .
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.
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 an odd prime number , the Legendre symbol is
If , multiplicativity of the Legendre symbol gives
Both factors belong to , so they are equal. Thus .
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
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
A deterministic finite automaton is a tuple with finite state set , finite input alphabet , transition function , initial state , and accepting-state set . It accepts a word when the extended transition function of a deterministic finite automaton carries to a state in . A regular language is a language accepted by some deterministic finite automaton.
The pumping lemma for regular languages says that if a regular language is accepted by an automaton with states, every accepted word of length at least has a decomposition with , , and in the language for every . Indeed, among the states visited before and after the first symbols, two are equal by the pigeonhole principle. The intervening nonempty word labels a loop, which may be traversed any number of times without changing the final accepting state.
In base two, the powers of two have representations , so their language is the regular expression and is regular.
Suppose instead that their base-ten representations formed a regular language. Apply the pumping lemma to a sufficiently long decimal power of two , and put . Pumping gives decimal integers represented by , all powers of two. A direct place-value calculation shows that
for a constant independent of . The lengths, and hence the exponents in , tend to infinity. Dividing by gives
For large , the right side has absolute value less than one while the left side is an integer, so it must vanish. This would make a power of two equal to , impossible for by unique prime factorization. Thus the decimal powers of two are not a regular language.
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.
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
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.
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.
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
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.
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 .
Starting from , the first layer of Hadamard gates gives
The Boolean quantum oracle then gives
Using the Walsh-Hadamard transform identity
the final state is
When , the function is injective, so the states are distinct computational basis states and hence form an orthonormal set. Therefore, for arbitrary signs ,
In the final state, the second-register amplitude vector associated with outcome is
For injective , part (ii) says that its squared norm is . By the Born rule for a product-basis measurement, every is therefore observed with probability : the input register is uniformly distributed.
Now let and choose one representative from each pair . Since and
the unnormalized second-register amplitude for outcome is
If , every paired contribution cancels, so the probability is zero. If , every coefficient has magnitude two. The distinct pair values give orthogonal states, so the squared norm before the overall factor is . The probability is therefore
Thus one run samples uniformly from the strings in the orthogonal complement over the binary field , which is the sampling step in Simon's algorithm.
A class in set theory in the model is a collection
defined by a first-order formula with parameters . A set-theoretic class function is a definable class relation for which every input in its domain has exactly one output. Informally, the Axiom schema of replacement says that the image of any set under any such function class is again a set.
Define the class function by the natural-number recursion theorem,
Then , and Replacement applied to the set gives
as a set.
Call a set small when it injects into some . Every natural number is finite, and every member of is finite, so each injects into . Hence . The set itself injects into , and its hereditary members are natural numbers, so .
We next prove by mathematical induction. The case was just proved. If and , then , so inclusion injects into and makes small. Every set below in its transitive closure is already below and is small by the induction hypothesis. The set itself injects into . Thus every member of is small.
By Cantor theorem, , so the are distinct and injects into . Thus is small. Every other member of belongs to for some , and is small by the preceding paragraph. Therefore . This proves the finite-power-set hereditary-small construction.
The structure is not a model of ZF because it fails the Axiom of union. If were small, it would inject into some . But , since , so restriction would inject
Together with the singleton injection , the Cantor-Schröder-Bernstein theorem would produce a bijection, contradicting Cantor theorem. Hence is not small and therefore does not belong to . Since has no union inside the class, the Union axiom fails.
Turan theorem states that among all -vertex graphs containing no , the maximum number of edges is attained by the Turan 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.
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.
Let be the number of triangles in a graph. Count incidences in which the edge lies in the triangle . Every edge contributes at least one incidence by hypothesis, while every triangle contributes exactly three. Therefore
This is the edge-triangle incidence bound.
If the edge lies in no triangle, no vertex can be adjacent to both endpoints; hence the neighbourhoods satisfy .
Suppose . The two disjoint neighbourhoods then partition . If both were independent, every edge would run between these two parts, so would be bipartite and
contrary to . Thus at least one neighbourhood contains an edge, and that edge forms a triangle with or .
We now prove by induction on the Triangle lower bound one edge above the Mantel threshold: every graph on vertices with at least edges has at least triangles. Part (ii) is the base case. For , if every edge lies in a triangle, part (iii) gives
Otherwise choose an edge lying in no triangle and put . Deleting removes edges, so the graph has
If , induction gives at least triangles in , while the nonindependence proved above supplies a further triangle through or .
If , then . Induction first supplies a triangle in . Delete one edge of ; the remaining graph still has at least edges, so induction supplies triangles avoiding that edge. Together with , these give at least distinct triangles in .
Because is a finite Galois extension,
Suppose the irreducible quadratic became reducible over . It would then have a root , and would be a quadratic intermediate extension. By the Fundamental theorem of Galois theory, would be a subgroup of index two in and hence a normal subgroup by the index-two subgroup is normal result. But the Simplicity of alternating groups says that is simple, while this subgroup would be proper and nontrivial. This contradiction proves that remains irreducible in .
The eleventh cyclotomic field has
The cyclic group has exactly one subgroup of each order . The Galois correspondence therefore gives exactly four subfields:
The Quadratic Gaussian period in the eleventh cyclotomic field satisfies , while generates the maximal real subfield of the eleventh cyclotomic field. Every subgroup of the abelian Galois group is normal, so all four subfields are Galois over .
Each nontrivial proper subfield has prime degree, two or five. If , then , and the tower law forces . Thus every such element is a primitive element. The displayed and are the requested examples. Finally, itself is a primitive element for .
For subgroups and an -representation , Mackey restriction formula is
Frobenius reciprocity states
Applying these with gives
The identity double coset contributes one exactly when is irreducible, and every summand is a nonnegative integer. This proves Mackey irreducibility criterion: the induced representation is irreducible exactly when is irreducible and every nonidentity double-coset summand vanishes.
Now take , , and . Then
the subgroup fixing both and . Conjugation by fixes every element of this subgroup, so the two representations appearing in the corresponding Mackey summand are both . Their inner product is positive because this restriction is nonzero. Hence the Mackey irreducibility criterion fails whenever is irreducible. If is reducible, induction preserves its direct-sum decomposition, so the induced representation is again reducible. Therefore is never irreducible for .
The geometric realization of a simplicial complex consists of the filled triangle together with the two extra edges and . Thus the triangle on has only its boundary:
Figure 1.
The vertices, edges and faces of a simplicial complex
.
Articles were limited to the first 100 out of 256 total.

Articles by others on the same topic (0)

There are currently no matching articles.