The simple continued fraction algorithm for begins with . Its complete quotients repeat after
Thus
The convergents through one period are
The last one gives the negative Pell equation solution
Therefore
For , the number is negative real, so the proposed identity would force
Continuity on the connected interval makes equal to one fixed odd multiple of there. For , the number is positive real, so must instead equal one fixed even multiple of . These two constants cannot agree, and their one-sided limits at therefore contradict continuity. The fact that removes the phase condition at that one point but does not repair the discontinuity.
Now let and put . This is a continuous path in the unit circle. The exponential map is a covering map, so the path lifting theorem supplies a continuous lift after one value of is chosen. Hence
One can obtain the same lift directly from the allowed special case: by uniform continuity, subdivide so that on each subinterval lies in the right half-plane, choose its continuous local argument there, and add a multiple of to match the preceding endpoint.
If and are two such phases, then
This integer-valued function is continuous and hence constant. Therefore
does not depend on the chosen lift.
For , the phase gives
For , the phase gives
Finally, take
They have the same two endpoints, but and . This endpoint discrepancy records the winding number of the closed path.
A general binary feedback shift register of length has state
and a feedback function . One update outputs the oldest bit, shifts the state, and inserts
The initial fill is . It is a linear-feedback shift register when
for fixed .
The Berlekamp-Massey algorithm reads an intercepted sequence from left to right while maintaining the shortest connection polynomial that reproduces the prefix. At each new symbol it computes the discrepancy between the observed bit and that predicted by the current recurrence. A zero discrepancy leaves the polynomial unchanged; a nonzero discrepancy adds a suitably shifted copy of the connection polynomial saved at the previous increase in linear complexity. After at least twice the unknown register length, it recovers the shortest recurrence, after which the entire keystream can be predicted.
Applying those discrepancy updates to
returns the connection polynomial
Equivalently, the sequence obeys
Indeed this predicts successively . No recurrence of length one or two fits the prefix, so its linear complexity is three.
A context-free grammar is in Chomsky normal form when every production has one of the forms
where are nonterminals and is a terminal. One may additionally allow when the empty word belongs to the language, usually with the restriction that the start symbol does not occur on a right-hand side.
An -production has the form . A unit production has the form for nonterminals .
In , the productions for give
Consequently
In , and generate and , while again gives
Since , the two start productions generate exactly
Thus
Every production of has the required binary-nonterminal or single-terminal form, so is the Chomsky-normal-form grammar for the nonempty part of .
Writing , , and , the fitted normal linear model is
The R formula lstat * age includes both main effects and their interaction term.
Three notable features are:
  • The fitted model is highly significant overall: its statistic is on degrees of freedom with . Its , however, means that about of the observed response variation remains unexplained, and the residual standard deviation is about house-value units.
  • At fixed age, the fitted slope with respect to lstat is
    The large negative main coefficient is strongly significant. The positive interaction is significant at the level (), indicating that this negative association becomes slightly weaker for older housing tracts.
  • The age main-effect estimate is essentially zero with , but it is the age effect specifically at and should not be interpreted separately from the significant interaction. The diagnostic plots also show curved residual structure, increasing spread, a heavy upper tail with observations 215, 372, and 373, and substantial influence from observation 215. These features cast doubt on linearity, constant variance, and Gaussian residual assumptions.
The first reaction is reversible, with reverse rate . Applying the law of mass action to each reaction gives
Each term has the sign dictated by whether the corresponding species is consumed or produced.
Adding the equations for the free enzyme and its two complexes gives
Thus
This conservation law says that the enzyme is neither created nor destroyed: each enzyme molecule is either free, bound in , or bound in .
Use enzyme conservation to write
Since , , , and , substitution into the mass-action equations gives
and
where
The factors of multiplying identify the complex concentrations as fast variables in a singular perturbation.
On times , the quasi-steady-state approximation sets
The second equation gives
In the first equation the terms then cancel, leaving
Solving these two equations gives
Since ,
At small substrate concentration this allosteric rate is quadratic, , so its graph leaves the origin with zero slope. At large it saturates at . A Michaelis-Menten equation also saturates, but its rate is linear near the origin. The allosteric curve is therefore more sigmoidal:
This is the quasi-steady rate law for a two-substrate allosteric enzyme.
The Papperitz symbol
describes the two-dimensional solution space of a second-order homogeneous Fuchsian differential equation on the Riemann sphere with exactly three regular singular points . Near , its two independent Frobenius behaviours are locally
subject to logarithmic modifications in resonant cases. The six characteristic exponents obey the Fuchs relation
For the Gauss hypergeometric equation, the exponents at infinity are and . Put . Transforming the Papperitz symbol from to shows that
and
are local solutions near , with respective leading behaviours and . When , these behaviours are distinct and the two solutions are linearly independent. They therefore form a basis of the solution space on any simply connected common domain with compatible branch choices.
The solution normalized at zero can be analytically continued into that domain. Since it solves the same second-order equation, it must be a constant linear combination of the basis at infinity:
The constants depend on and the branch convention, but not on . This is the hypergeometric connection formula at infinity.
Taking downward distance as positive, the Lagrangian is
At equilibrium the lower spring supports only the lower mass, while the upper spring supports both masses:
Hence
Let . The linear terms cancel by the equilibrium equations, and the quadratic Lagrangian is
with the small-oscillation mass and stiffness matrices
The generalized eigenvalue problem for small oscillations is
Its characteristic equation is
so
Corresponding displacement eigenvectors are
They are not orthogonal in the ordinary Euclidean inner product. They are orthogonal in the kinetic-energy, or mass-matrix, inner product:
This is mass-matrix orthogonality of normal modes.
The constant is the curvature radius of the closed spatial slices when ; at general scale factor their curvature radius is and their scalar curvature is .
The cosmological perfect-fluid continuity equation is
During expansion, , and therefore
If , then throughout the later expanding phase
Multiplying the Friedmann equation by gives
The right-hand side is negative once
which is impossible because . Thus the scale factor cannot grow without bound.
In fact the expanding phase ends in finite time. Combining the Friedmann and continuity equations yields the Friedmann acceleration equation
The curvature term in the first Friedmann equation also implies
While remains below the finite bound just found, is bounded above by a strictly negative constant. Hence reaches zero after finite time: the closed universe attains a maximum size and cannot expand forever. This is recollapse of a closed Friedmann universe with nonnegative pressure.
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.
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
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 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.
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 .
Suppose only finitely many primes are congruent to modulo , and set
Then
If an odd prime divides , then , so part (a) gives
Since their product is modulo , at least one prime divisor is modulo to an odd power. Yet no listed divides , because gives
This produces a new prime congruent to modulo , a contradiction. Hence
This is the Euclid proof for infinitely many primes congruent to seven modulo eight.
Let and form
For sufficiently large , every factor is positive and at most . Every odd prime divisor of makes a quadratic residue modulo , so part (a) gives or .
For an odd prime power , the congruence has at most two residue classes, because each root modulo is simple and lifts uniquely. Therefore
Since for odd ,
The prime contributes at most , because . If
then, for all sufficiently large , and hence
On the other hand, the product contains at least factors for large , and every one satisfies
once is sufficiently large. Thus
Comparing the two estimates gives
for every sufficiently large . This is the elementary logarithmic lower bound for primes in the quadratic-residue classes of two.
The Brouwer fixed-point theorem says that every continuous self-map of the closed unit disc has a fixed point.
A union of two disjoint closed discs does not have the fixed-point property. Define a map that is constant from the first component to a point in the second and constant from the second component to a point in the first. It is continuous because the components are disjoint and has no fixed point.
The open interval does not have the fixed-point property. The continuous self-map
has its only possible fixed point at the excluded endpoint .
The closed interval does have the fixed-point property. If , then and . The intermediate value theorem supplies with .
The annulus does not have the fixed-point property. The antipodal map
is a continuous self-map of the annulus and has no fixed point there.
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.
The set is a compact convex square. Define
Similarly, set
These formulae define a continuous self-map of . The square is homeomorphic to a closed disc, so the Brouwer fixed-point theorem gives a fixed point .
Let at that fixed point. From ,
If , every with has . This contradicts bilinearity, because
Hence , all , and
for both pure strategies. By linearity this holds for every mixed strategy . The same argument with gives
for every . Therefore
In game terms, and are the players' mixed strategies, and are their expected payoffs in a two-by-two bimatrix game. The inequalities say that neither player can improve unilaterally, so is a Nash equilibrium. This is the Brouwer proof of Nash equilibrium for a two-by-two game.
This is attenuation bias from classical measurement error, also called regression dilution. The latent predictor is , but and are noisy proxies. The noisier proxy produces a slope closer to zero.
For a regression with an intercept, the population slope is
Here all variables are centred and the noises are independent. Therefore
so regressing on has slope . For
we have
Thus
With the stated values, the slopes are
matching the simulation.
Under this independent additive measurement-error model, the magnitude of the -on- slope is generally smaller than the magnitude of the -on- slope whenever . Increasing does not change the population slope, because response noise contributes neither to nor to . It increases residual variance and the sampling variability of the estimate; with one million observations, doubling it should leave the displayed slope close to while increasing its standard error.
Let
be the reaction Jacobian at the homogeneous equilibrium. Stability without diffusion gives
For a spatial Fourier mode with eigenvalue , the linearized matrix is
Its trace is even more negative than , so instability occurs exactly when its determinant becomes negative. Put and . Then
This upward-opening quadratic is negative for some exactly when its minimum occurs at positive and lies below zero:
The second strict inequality implies the first when written with a positive square root, so the two-species diffusion-driven instability criterion becomes
If , the condition would require
But homogeneous stability requires . These inequalities are incompatible, so equal diffusivities cannot produce a Turing instability.
When , the linearized operator is
For a Fourier mode of wavenumber , its two growth rates are
Both homogeneous growth rates have negative real part, and subtracting the nonnegative scalar moves them farther into the left half-plane. Thus no spatial mode can become unstable. This is the impossibility of a two-species Turing instability at equal diffusivities.
For
we have
so the homogeneous equilibrium is stable for . The Turing condition is
Writing , equality at threshold is
Its positive root is
For sufficiently close to the threshold the strict instability condition holds, while
Thus unequal diffusivities are necessary, but their ratio can be arbitrarily close to one when the stable reaction matrix is itself arbitrarily close to marginal stability. This is the near-unity diffusivity ratio for a Turing instability.
The gravitational three-body Lagrangian is
Put and . Solving the definitions of the Jacobi coordinates for three particles gives
Substitution into the kinetic energy makes all cross terms cancel:
where
The pair separations are
Hence the gravitational potential energy is
which is independent of . Thus is an ignorable coordinate and
The center of mass moves uniformly because the isolated system has no external force.
Finally, substituting the inverse coordinate transformation into
again cancels every cross term and yields
This is the angular momentum decomposition in three-body Jacobi coordinates.
The Von Neumann hierarchy is defined by transfinite recursion:
for a limit ordinal .
We prove by transfinite induction that every is a transitive set. The claim is immediate for . If is transitive and , then , so . Transitivity also gives , hence . At a limit stage, if , then for some , so .
Transitivity implies . Induction and unions at limit stages then give
By well-founded recursion on membership, define the rank of a set
Induction on this rank gives for every . Thus
and consequently
Every set therefore occurs at some level of the hierarchy.
A relation on a set is well-founded when every nonempty subset of has an -minimal element. It is extensional when distinct elements have distinct predecessor sets:
The Mostowski collapse theorem states that every well-founded extensional relation on a set is uniquely isomorphic to membership on a transitive set; the collapse is recursively
For the requested example, let and define
No belongs to , and therefore
The map is an isomorphism from membership on to membership on the von Neumann ordinal , so the Mostowski collapse is . On the other hand, already has rank , and hence the rank of is greater than .
For statement (i), suppose is isomorphic to with transitive. Membership is well-founded by the axiom of foundation. It is extensional on because transitivity ensures that the predecessors in of an element are exactly the elements of , and the axiom of extensionality distinguishes different sets. Both properties are preserved by isomorphism. Thus (i) is always true.
Statement (ii) is always true even when is not transitive. Given a nonempty subset , the Axiom of foundation supplies with . Thus no member of is a member of , so is minimal for membership restricted to . An isomorphic relation is therefore well-founded.
Statement (iii) can fail because a nontransitive ambient set can omit the elements that distinguish two of its members. Take
Neither element of has an element that also lies in : the second contains , which is omitted. Their predecessor sets for membership restricted to are therefore both empty, although the two elements are distinct. Hence this restricted membership relation, and any isomorphic relation, is not extensional.
In the Erdős-Rényi model , the vertex set is and every one of the possible edges is present independently with probability .
Let count isolated vertices. If , the union bound gives
Thus .
Chebyshev inequality states that
Now suppose . Monotonicity lets us use the largest allowed . With
the supplied lower exponential estimate shows
For distinct vertices ,
Hence
and
Chebyshev with gives , so .
For connectivity, the lower-threshold result is immediate because a connected graph has no isolated vertex:
For the upper threshold, if a graph is disconnected it has a component with vertex set of some size . In particular, every one of the edges from to its complement is absent. Therefore
Choose
For , the standard bound gives
The sum of these terms tends to zero. For , use and :
Thus above the threshold. Together,
This is the connectivity threshold in the Erdős-Rényi model.
By Dirichlet theorem on primes in arithmetic progressions, choose a prime with
The cyclotomic field is Galois over , and
where the last group is cyclic because the multiplicative group of a finite field is cyclic.
The cyclic group has a unique subgroup of order . By the Galois correspondence, its fixed field satisfies
Normality follows because lies in an abelian group. Thus every occurs as the Galois group of a finite extension of . This is the cyclic Galois extension of the rational numbers of every finite degree.
The products with and span the field compositum over , so
The tower law gives
Thus the degree is divisible by both and . Since they are coprime, it is divisible by . Combining divisibility with the upper bound gives
Equivalently, finite extensions of coprime degrees are linearly disjoint field extensions.
Take
and let . Take
the affine group over a finite field, and let be its translation subgroup. Both normal subgroups have order , and
The groups are not isomorphic: is abelian, while is nonabelian.
For , let
Then . The fixed field of its subgroup of order three is its unique quadratic subfield,
Let
the splitting field of . Its Galois group is . The normal subgroup fixes the quadratic discriminant field, so
Now let . Part (a), with , supplies a cyclic Galois extension with group . For , take the splitting field
of . The prime is unramified in , so at every prime ideal above its valuation is one. It cannot therefore be a th power in the cyclotomic field. Hence
The automorphisms
and, for ,
satisfy
They generate all automorphisms, proving
This is the affine Galois group of the splitting field of x to the p minus two.
The Mackey restriction formula says, for an -representation ,
Frobenius reciprocity says
Applying both with an irreducible character gives
The identity double coset contributes one, and all terms are nonnegative integers. Therefore Mackey irreducibility criterion says that is irreducible exactly when every term belonging to a nonidentity double coset is zero.
Now take . Write
so . For , commutators of with generate , because conjugation sends to and one can choose . Every degree-one character of is therefore trivial on and has the form
where is a multiplicative character.
The Bruhat decomposition of SL2 over a finite field has two double cosets,
and . Conjugation by inverts , so
The only nonidentity Mackey term vanishes exactly when these two one-dimensional characters differ. Consequently
Thus the trivial character is excluded, as is the unique quadratic character when is odd. All other degree-one characters of induce irreducibly; the induced representations have degree . This is the irreducible principal series of finite SL2.
Two nonzero fractional ideals of are in the same ideal class when
for some , equivalently when is principal. Multiplication is well defined on classes:
The identity is , the inverse of is , and commutativity comes from ideal multiplication. Nonzero fractional ideals are invertible because is a Dedekind domain. Thus these classes form the abelian ideal class group .
For finiteness, begin with a nonzero integral ideal . By hypothesis choose with
Since , the ideal
is integral, represents , and satisfies
Hence every class has an integral representative of bounded norm. There are only finitely many integral ideals of bounded norm, so is finite. This is the bounded-norm ideal representatives argument.
Now take . Since ,
The imaginary-quadratic Minkowski bound for ideal classes is
Every class is therefore represented by an integral ideal of norm at most seven.
The ramified prime ideals above two and three are
with
Neither is principal, since the norm equation
has no integer solution. Their product is also nonprincipal, since has no solution. Thus
are four distinct classes, all of order at most two.
The prime five is inert, so it contributes no ideal of norm five. The prime seven splits as
Since
comparison of norms, all equal to , confirms the factorization and gives
The conjugate prime has the inverse class, which is the same because this class has order two. Ideals of norms four and six yield respectively the principal class and . The Minkowski bound now shows that the four displayed classes exhaust the group. Therefore
This is the Ideal class group of Q of square root of minus thirty-three.
Cut the square model of the Klein bottle along the midline parallel to the pair of sides whose identification reverses orientation. Each half becomes a Möbius band, and the two new boundary circles are identified. If and are the core loops of these two bands, each boundary travels twice around its core. The Seifert-van Kampen theorem therefore gives
Writing and converts this into the standard Klein-bottle presentation
The orientation homomorphism sends both and to the nonzero element of . Its kernel is the index-two subgroup
By the classification of connected covering spaces, determines the orientation double cover of the Klein bottle
Choosing torus generators along the two translation directions, we may take
These commute: the standard relation says that conjugates to , so centralizes .
The space is the mapping cylinder of with its unused end omitted. Sliding to gives a deformation retraction of onto the bottom quotient . Hence
Finally suppose is open and homeomorphic to , and identify the bottom copy of inside . This is compact and therefore closed in the Hausdorff space . Apply van Kampen, in its groupoid form if intersections are disconnected, to
The intersection deformation retracts to a positive-height torus, and its map to has image precisely
The orientation homomorphism
is zero on this intersection, so it is compatible with the trivial homomorphism from to . The pushout property in van Kampen extends it to a surjection
Therefore
This is the Klein-bottle mapping-cylinder obstruction to simple connectivity.
The sequence is equicontinuous on when, for every , there is a such that
for every . The Arzela-Ascoli theorem says that a uniformly bounded equicontinuous sequence of continuous real-valued functions on a compact interval has a uniformly convergent subsequence.
Choose and set
Take
Inductively, if on , then
Since , every iterate is bounded by . Moreover,
Thus is uniformly bounded and uniformly Lipschitz, hence equicontinuous, on .
Articles were limited to the first 100 out of 245 total.

Articles by others on the same topic (0)

There are currently no matching articles.