The convergents through one period areThe last one gives the negative Pell equation solutionTherefore
For , the number is negative real, so the proposed identity would forceContinuity 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. HenceOne 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, thenThis integer-valued function is continuous and hence constant. Thereforedoes not depend on the chosen lift.
Finally, takeThey 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 stateand a feedback function . One update outputs the oldest bit, shifts the state, and insertsThe initial fill is . It is a linear-feedback shift register whenfor 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 toreturns the connection polynomialEquivalently, the sequence obeysIndeed 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 formswhere 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.
In , the productions for giveConsequentlyIn , and generate and , while again givesSince , the two start productions generate exactlyThusEvery 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 isThe 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 isThe 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 givesEach 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 givesThusThis 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 writeSince , , , and , substitution into the mass-action equations givesandwhereThe factors of multiplying identify the complex concentrations as fast variables in a singular perturbation.
On times , the quasi-steady-state approximation setsThe second equation givesIn the first equation the terms then cancel, leavingSolving these two equations givesSince ,
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 symboldescribes 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 locallysubject 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 thatandare 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.
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 iswith the small-oscillation mass and stiffness matrices
The generalized eigenvalue problem for small oscillations isIts characteristic equation issoCorresponding 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 isDuring expansion, , and thereforeIf , then throughout the later expanding phaseMultiplying the Friedmann equation by givesThe right-hand side is negative oncewhich 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 equationThe curvature term in the first Friedmann equation also impliesWhile 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.
Letwhere is the Hadamard gate. For a computational-basis string , define the phase reflectionThus changes the sign of , while changes the sign of the marked state.
Conjugating by reflects in the hyperplane perpendicular to , sois the Grover diffusion operator, the reflection about . The Grover iteration operatoris 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, whereIt 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 iswhich is exactly
The known circuit from part (b) lets us apply without querying the faulty oracle. Their composition satisfiesBecause , only the last answer qubit is flipped in the exceptional case.
Prepare the answer register asSince , 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 thereforeThis 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 isby the Grover rotation angle. Choose an integerThen differs from by at most , soFor every sufficiently large this is greater than , whileThus measuring the search register determines the faulty input with the required constant success probability using oracle queries.
The Gauss lemma says that, for , if of the least positive residues oflie in , thenTo prove it, replace every residue above by its negative. The resulting absolute residues are distinct up to sign and therefore form a permutation ofMultiplying the congruences givesCancel the nonzero factorial and apply Euler's criterion.
For , the residues are . The number above iswhose parity gives the second supplementary law for quadratic reciprocityConsequently, for odd primes,The congruence is also soluble for .
Suppose only finitely many primes are congruent to modulo , and setThenIf an odd prime divides , then , so part (a) givesSince their product is modulo , at least one prime divisor is modulo to an odd power. Yet no listed divides , because givesThis produces a new prime congruent to modulo , a contradiction. HenceThis is the Euclid proof for infinitely many primes congruent to seven modulo eight.
Let and formFor 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. ThereforeSince for odd ,The prime contributes at most , because . Ifthen, for all sufficiently large , and hence
On the other hand, the product contains at least factors for large , and every one satisfiesonce is sufficiently large. ThusComparing the two estimates givesfor 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-maphas 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 mapis 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. DefineSimilarly, setThese 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, becauseHence , all , andfor both pure strategies. By linearity this holds for every mixed strategy . The same argument with givesfor 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 isHere all variables are centred and the noises are independent. Thereforeso regressing on has slope . Forwe haveThusWith the stated values, the slopes arematching 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.
Letbe the reaction Jacobian at the homogeneous equilibrium. Stability without diffusion givesFor a spatial Fourier mode with eigenvalue , the linearized matrix isIts trace is even more negative than , so instability occurs exactly when its determinant becomes negative. Put and . ThenThis 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 requireBut homogeneous stability requires . These inequalities are incompatible, so equal diffusivities cannot produce a Turing instability.
When , the linearized operator isFor a Fourier mode of wavenumber , its two growth rates areBoth 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.
Forwe haveso the homogeneous equilibrium is stable for . The Turing condition isWriting , equality at threshold isIts positive root isFor sufficiently close to the threshold the strict instability condition holds, whileThus 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 givesSubstitution into the kinetic energy makes all cross terms cancel:where
The pair separations areHence the gravitational potential energy iswhich is independent of . Thus is an ignorable coordinate andThe center of mass moves uniformly because the isolated system has no external force.
Finally, substituting the inverse coordinate transformation intoagain cancels every cross term and yieldsThis is the angular momentum decomposition in three-body Jacobi coordinates.
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 .
By well-founded recursion on membership, define the rank of a setInduction on this rank gives for every . Thusand consequentlyEvery 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 defineNo belongs to , and thereforeThe 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. TakeNeither 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 .
Chebyshev inequality states thatNow suppose . Monotonicity lets us use the largest allowed . Withthe supplied lower exponential estimate showsFor distinct vertices ,HenceandChebyshev 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. ThereforeChooseFor , the standard bound givesThe 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 withThe cyclotomic field is Galois over , andwhere 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 satisfiesNormality 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 , soThe tower law givesThus the degree is divisible by both and . Since they are coprime, it is divisible by . Combining divisibility with the upper bound givesEquivalently, finite extensions of coprime degrees are linearly disjoint field extensions.
Takeand let . Takethe affine group over a finite field, and let be its translation subgroup. Both normal subgroups have order , andThe groups are not isomorphic: is abelian, while is nonabelian.
Letthe 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 fieldof . 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. HenceThe automorphismsand, for ,satisfyThey generate all automorphisms, provingThis 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 saysApplying both with an irreducible character givesThe 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 . Writeso . 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 formwhere is a multiplicative character.
The Bruhat decomposition of SL2 over a finite field has two double cosets,and . Conjugation by inverts , soThe only nonidentity Mackey term vanishes exactly when these two one-dimensional characters differ. ConsequentlyThus 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 whenfor 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 withSince , the idealis integral, represents , and satisfiesHence 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 isEvery class is therefore represented by an integral ideal of norm at most seven.
The ramified prime ideals above two and three arewithNeither is principal, since the norm equationhas no integer solution. Their product is also nonprincipal, since has no solution. Thusare 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 asSincecomparison of norms, all equal to , confirms the factorization and givesThe 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. ThereforeThis 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 presentationThe orientation homomorphism sends both and to the nonzero element of . Its kernel is the index-two subgroupBy the classification of connected covering spaces, determines the orientation double cover of the Klein bottleChoosing torus generators along the two translation directions, we may takeThese 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, toThe intersection deformation retracts to a positive-height torus, and its map to has image preciselyThe orientation homomorphismis zero on this intersection, so it is compatible with the trivial homomorphism from to . The pushout property in van Kampen extends it to a surjectionThereforeThis is the Klein-bottle mapping-cylinder obstruction to simple connectivity.
The sequence is equicontinuous on when, for every , there is a such thatfor 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 setTakeInductively, if on , thenSince , 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
There are currently no matching articles.