For an odd prime , the Legendre symbol isFor distinct odd primes and , quadratic reciprocity states that
The discriminant isThe discriminant criterion for a quadratic congruence modulo an odd prime therefore says that, for , a solution exists exactly whenThe quadratic character of minus three giveswhich equals precisely for . When , the polynomial isso it also has a solution. Hence
The classsatisfies for every prime. Thus a solution exists for every odd prime , regardless of its residue class modulo .
The cube roots of minus one modulo an odd prime are controlled byFor , the quadratic factor has roots exactly when its discriminant is a square, namely when . In that case there are three distinct roots; when , only remains. For ,so is again the unique root. Therefore
Every finite continued fraction is rational, since it is built from integers by finitely many additions and reciprocals. Conversely, if is rational in lowest terms, thenWhen , the next complete quotient is . Thus each step is an application of the Euclidean algorithm and replaces the denominator by a smaller nonnegative remainder. The process must terminate. This proves the termination criterion for a simple continued fraction.
For ,andFinally,so the complete quotients repeat. Hence the continued fraction of the square root of three is
A binary linear-feedback shift register of degree has a state
and recurrenceIts feedback polynomial is
and recurrenceIts feedback polynomial is
There are states, and the zero state is fixed. A nonzero periodic orbit therefore visits at most the other states, proving the period bound for a linear-feedback shift register.
For a maximal orbit with , the all-one state cannot itself be fixed. From that state the incoming bit is in . If an odd number of the were one, the incoming bit would be one and the all-one state would be fixed. Hence an even number of the are one; including the leading coefficient, the feedback polynomial has an odd number of nonzero coefficients. This is the feedback-polynomial parity condition for maximal period.
The given prefix has seven consecutive zeros followed by a one. Any register of degree at most seven would therefore enter the all-zero state before producing the final one, which is impossible. Degree eight is attained bywith initial state . It produces the next bit and has feedback polynomialThus this is the minimal linear-feedback shift register for the prefix 100000001.
A variable-based grammar is a tuplewhere and are disjoint finite sets of terminals and variables, , and each production has with at least one variable in .
Choose a new start variable . The concatenation grammar isIndeed, its derivations first produce a word from and a word from in their original order, so .
For the regular concatenation grammar, letThen defineIf and are regular, every nonterminal rule retained from is right-linear, and each replaced terminal rule is also right-linear. A regular derivation in uses exactly one terminal rule, at its final step; the replacement transfers control to , after which a word of is generated. Hence
LetBoth are regular grammars and their variable sets are disjoint. Their ordinary concatenation grammar adds a new ruleThis rule has two variables on its right-hand side, so it is not right-linear. Thus this is an explicit instance in which the concatenation grammar need not be regular.
TakeandThese are variable based and have disjoint variable sets. They satisfyIn , however, both terminal productions of are replaced:Consequently its only terminal derivation issoThis realizes the failure of the regular concatenation construction for a nonregular grammar: two different terminal productions introduce two copies of .
For a model with fitted parameters, the Akaike information criterion iswhere is the log-likelihood evaluated at the maximum-likelihood estimate.
In the normal linear model with known ,The maximum-likelihood estimator is the ordinary least-squares estimator, with fitted mean , whereSince only the components of are fitted,After multiplying by and discarding the model-independent constant, this is exactly Mallows Cp:
To compare it with prediction error, write and , where , the two errors are independent, and both have covariance . Since , is an orthogonal projection of rank , andThe cross term has zero expectation, soOn the other hand,Therefore the unbiased prediction-error identity for ordinary least squares gives
The population map isA positive equilibrium satisfiesand henceIt is strictly positive exactly whenThis is the nonzero equilibrium of the survival-augmented Ricker map.
Differentiate the map:At the positive equilibrium, , soThe fixed point stability for an iteration requires . Existence already makes the logarithm positive, so the upper inequality is automatic. The lower inequality givesCombining it with existence yields the stability interval of the survival-augmented Ricker equilibrium:
The Laplace integral method for a differential equation seeksDifferentiating under the integral and substituting intogivesSince , integration by parts yieldsIt is therefore enough to choose and so thatand the boundary term vanishes. Solving the first-order equation on givesTake to be the interval . Although has integrable endpoint singularities,vanishes at both endpoints, so the boundary term is zero. ThusAt , substituting givesThe normalization therefore sets . By the defining regularity and normalization of the modified Bessel function, this proves the real integral representation of the modified Bessel function I0:
The Jacobi identity for the Poisson bracket isFor quantities with no explicit time dependence,If and are conserved, the first two terms of the Jacobi identity vanish. Henceor, by antisymmetry,Thus the poisson bracket of conserved quantities is itself conserved.
For and ,The one-dimensional criterion for a canonical transformation therefore givesFor either value, the type-two generating function for a canonical transformationworks, because and ; when , the first equation is equivalent to . For every other , the Poisson bracket is not one and the map is not canonical.
For and ,The map is therefore canonical only forThen and . The type-one generating function for a canonical transformationgivesas required.
The potential slow-roll parameter isFrom the slow-roll approximation,ThereforeThus implies , consistently with potential-energy domination.
By definition,Using and the result of part (a),Reversing the limits yields the slow-roll e-fold count
For the natural inflation potential, write . Thenand the half-angle identity givesTherefore, on the stated rolling branch,
Substitution into part (b) givesSincethe e-fold count for the natural-inflation cosine potential is
Apply a Hadamard gate to Alice's qubit, followed by a controlled-NOT gate from Alice to Bob and another from Alice to Charlie:Thus this circuit gives the required quantum circuit preparation of a three-qubit GHZ state.
Let Alice's two bits be and Bob's bit be . Alice applieswhile Bob appliesThey then send their qubits to Charlie. Acting onthese operations produce, up to an irrelevant global phase,The complete encoding table iswhere a possible overall minus sign in the two cases has no observable effect.
Charlie performs a projective measurement in the eight-state GHZ basis. The sign or reveals . The basis index reveals according toHe therefore reconstructs Alice's two bits and Bob's one bit with certainty, which is the three-party dense coding with a GHZ state protocol.
Because , neither nor contains a factor . On the other hand, , so contains a factor ; andso it contains no second factor . ThereforeThis is the valuation of a near-central binomial coefficient.
It suffices first to prove the elementary primorial bound for positive integers , by strong induction. The case is immediate.
If , every prime with divides : the numerator contains , whereas the two copies of do not. Since these primes are distinct,The induction hypothesis and the binomial theorem give
If , part (b) shows that every prime divides . HenceThe two central coefficients of are equal, soand thereforeThis completes the induction. For real ,
Every prime in is at least . Consequently the primorial satisfiesCombining this with part (c) and taking logarithms givessoFor , the inequality impliesThus the prime-counting upper bound from a primorial estimate yieldsWe may take .
A subset of a metric space is a nowhere dense set whenEquivalently, every nonempty open set contains a nonempty open subset disjoint from .
The Baire category theorem says that if is a complete metric space and are open dense subsets of , then is dense in . Equivalently, no nonempty open subset of is a countable union of nowhere-dense sets.
To prove it, take a nonempty open set . Since is open and dense, there is a closed ballwith . Inductively, openness and density of allow us to chooseThe balls are nested, and for their centres satisfyThus is Cauchy and has a limit . Every closed ball contains the tail of the sequence, so it contains . HenceAs was arbitrary, the intersection is dense.
Let with the uniform norm. For rational numbers , let and be the sets of functions that are respectively nondecreasing and nonincreasing on .
Both sets are closed. For example, if and uniformly, then for in ,They also have empty interior. Given and , continuity lets us choose sufficiently close thatAdd a continuous triangular bump supported near , with , , and . Then , so the -ball about is not contained in . The analogous upward bump at deals with . Thus both sets are nowhere dense.
There are only countably many rational pairs , sois meagre. Completeness of and the Baire category theorem show that its complement is nonempty. Choose in that complement. If were monotone on an interval of positive length, that interval would contain a closed interval with rational endpoints, putting in one of the displayed sets. Hence is monotone on no interval of positive length, as described by the generic nowhere-monotone continuous function result.
For , putEach is closed, the hypothesis gives , and because a function that vanishes on an open set has derivative zero there.
The open setis dense. Indeed, inside any nonempty open interval choose a nondegenerate closed subinterval . The complete metric space is covered by the closed sets , so the Baire's theorem makes one of them contain a relative open interval, which lies in some .
On each connected component of , the function is one polynomial. To see this, any compact subinterval is covered by the increasing family . A finite subcover therefore gives for some , and on . Hence is polynomial on ; overlapping compact intervals force these polynomials to agree throughout .
Let . This closed set has no isolated points. Otherwise, on the two sides of an isolated point , would equal polynomials. Smoothness makes all their one-sided derivatives agree at , so the two polynomials are identical and extend across . Some derivative would then vanish on a neighborhood of , contrary to .
Suppose that is nonempty. It is complete andis a countable closed cover. A second application of Baire's theorem gives an index and an open interval such thatChoose and a bounded open interval centred at whose closure lies in .
Because has no isolated points, every is approached by distinct points of . Difference quotients first give , and induction gives
No component of meeting can cross , so it has an endpoint in . If its polynomial had degree , then its th derivative would approach a nonzero constant at that endpoint, contradicting the preceding display. Its degree is therefore less than , so also vanishes on the part of that component in . We conclude that throughout , which says and contradicts .
Thus is empty. The whole line is the single component of , and the argument above shows that is one polynomial on . This is the smooth function with a pointwise vanishing derivative theorem.
Let be the number of survivors among the patients in row . The fitted grouped-binomial logistic regression iswithSite A and nonmalignant tumours are the reference levels. There is no site-by-malignancy interaction, so the malignancy log-odds effect is assumed to be the same at all three sites. In the R call,
survive/total supplies the observed proportions and weights = total supplies the binomial denominators .The estimates maximize the grouped-binomial likelihood, numerically obtained by iteratively reweighted least squares. At the fitted probabilities, the estimated covariance matrix is the inverse observed information, approximatelyThe
Std. Error column is the square root of its diagonal. Each z value is Estimate/Std. Error, and the two-sided Wald test p-value isfor the null hypothesis that the corresponding coefficient is zero.Thus is the fitted log odds for a nonmalignant patient at site A. The site coefficients compare B and C with A, while compares malignant with nonmalignant tumours after adjustment for site. In odds-ratio form,At level , the B-versus-A contrast is not significant (), the C-versus-A contrast is not significant (), and malignancy has a significant negative association with survival (). The intercept test merely compares the baseline survival probability with .
The null deviance compares the intercept-only fit with the saturated model and has residual degrees of freedom. The residual deviance compares the four-parameter fitted model with the saturated model and has degrees of freedom. Finally, the Akaike information criterion is
Changing the reference level in a regression factor from A to B does not change the statistical model, fitted probabilities, likelihood, or deviance. If the first parametrization isthen the second isNumerically,
The A-versus-B test is the same test as the former B-versus-A test, with its sign reversed, so its p-value remains . The malignancy coefficient is unchanged in this additive model, so its p-value remains . The intercept now represents site B rather than site A, so its test changes.
The
siteC coefficient also changes meaning: in fit1 it tests C versus A, whereas in fit2 it tests C versus B. Its standard error and p-value therefore need not agree. The displayed tables show that C versus A is not significant (), while C versus B is significant (). There is no contradiction: these are different pairwise hypotheses.The reduced model
fit3 retains malignancy but omits both site indicators. The analysis of deviance for nested generalized linear models therefore testsagainst the additive model with a site effect. The likelihood-ratio statistic is the reduction in deviance,The full model adds two parameters, so under this is approximately . Sincebut is less than the quantile , the p-value is between and ; in fact, because has survival function ,We reject the no-site-effect null at the level and find evidence that survival differs by site after adjustment for malignancy.For a spatially homogeneous equilibrium of the Brusselator, the reaction terms obeyPositivity gives , and substitution into the first equation gives
The reaction Jacobian there issoThe linear stability analysis therefore makes the equilibrium asymptotically stable. It is a stable node whenand a stable focus when the reverse strict inequality holds. Since the upper-right entry of is positive and the lower-left entry is negative, focus trajectories rotate clockwise. Thus the local phase portrait consists of trajectories approaching the fixed point, either directly as a node or while spiralling clockwise as a focus.
If , both species have the same diffusion coefficient. For a perturbation proportional to , diffusion replaces by , shifting both reaction eigenvalues to the left by . Since the homogeneous equilibrium is already stable, every spatial mode remains stable.
For general , put . The mode matrix isIts trace iswhile its determinant isWith negative trace, instability occurs exactly when for some . The two-species diffusion-driven instability criterion says that this upward-opening quadratic has a negative minimum precisely whenEquivalently, the condition isThis is the Turing instability region.
At the first loss of stability, the minimum of just touches zero. The threshold condition from part (b) issoThe minimizing squared wavenumber isAt threshold, , and thereforeThus the Turing threshold of the Brusselator selects
The rotational kinetic energy and squared angular momentum are the torque-free rigid-body invariantsandDifferentiating the energy and inserting the Euler equations givesSimilarly,
Setting makes all three Euler equations stationary. The invariants then giveso the two rotations arewhere .
Linearize about , where is either of these values. Writing the transverse perturbations as givesConsequentlyThe transverse eigenvalues are thereforeone of which is positive. Both rotations are linearly unstable, which is the intermediate axis theorem.
Subtracting times the energy identity from the angular-momentum identity, under , givesCombining this withyieldsand
The second Euler equation now gives, after squaring or choosing one orientation of the orbit,Indeed, the factor in cancels the denominator from the product of the two preceding expressions.
For the plus sign, separation givesAfter choosing the time origin ,For example, a compatible choice of the other components isAs runs from to , the solution approaches the rotations and . It is the intermediate-axis separatrix, a heteroclinic trajectory that exhibits the instability found in part (b).
A class in set theory is a collectiondefined by a formula , with set parameters if these are allowed by the chosen convention. It is a set-class if there is an whose elements are exactly the members of . Otherwise it is a proper class.
Let be the class of all finite sets. It is proper. If were a set, then for every set the singleton would belong to , soThus would be a universal set. Separation applied to the property would then give the usual Russell contradiction.
Articles were limited to the first 100 out of 314 total.
Articles by others on the same topic
There are currently no matching articles.