For an odd prime , the Legendre symbol is
For distinct odd primes and , quadratic reciprocity states that
The discriminant is
The discriminant criterion for a quadratic congruence modulo an odd prime therefore says that, for , a solution exists exactly when
The quadratic character of minus three gives
which equals precisely for . When , the polynomial is
so it also has a solution. Hence
The class
satisfies 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 by
For , 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
Starting with , the continued-fraction algorithm sets
unless is already an integer. This gives
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, then
When , 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 ,
and
Finally,
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 recurrence
Its 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 by
with initial state . It produces the next bit and has feedback polynomial
Thus this is the minimal linear-feedback shift register for the prefix 100000001.
A variable-based grammar is a tuple
where 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 is
Indeed, its derivations first produce a word from and a word from in their original order, so .
For the regular concatenation grammar, let
Then define
If 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
Let
Both are regular grammars and their variable sets are disjoint. Their ordinary concatenation grammar adds a new rule
This 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.
Take
and
These are variable based and have disjoint variable sets. They satisfy
In , however, both terminal productions of are replaced:
Consequently its only terminal derivation is
so
This 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 is
where 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 , where
Since 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 , and
The cross term has zero expectation, so
On the other hand,
Therefore the unbiased prediction-error identity for ordinary least squares gives
The population map is
A positive equilibrium satisfies
and hence
It is strictly positive exactly when
This is the nonzero equilibrium of the survival-augmented Ricker map.
Differentiate the map:
At the positive equilibrium, , so
The fixed point stability for an iteration requires . Existence already makes the logarithm positive, so the upper inequality is automatic. The lower inequality gives
Combining it with existence yields the stability interval of the survival-augmented Ricker equilibrium:
The Laplace integral method for a differential equation seeks
Differentiating under the integral and substituting into
gives
Since , integration by parts yields
It is therefore enough to choose and so that
and the boundary term vanishes. Solving the first-order equation on gives
Take to be the interval . Although has integrable endpoint singularities,
vanishes at both endpoints, so the boundary term is zero. Thus
At , substituting gives
The 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 is
For quantities with no explicit time dependence,
If and are conserved, the first two terms of the Jacobi identity vanish. Hence
or, by antisymmetry,
Thus the poisson bracket of conserved quantities is itself conserved.
For and ,
The one-dimensional criterion for a canonical transformation therefore gives
For either value, the type-two generating function for a canonical transformation
works, 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 ,
Thus the map is canonical only for
At that value it is the identity and is generated by
For and ,
The map is therefore canonical only for
Then and . The type-one generating function for a canonical transformation
gives
as required.
The potential slow-roll parameter is
From the slow-roll approximation,
Therefore
Thus implies , consistently with potential-energy domination.
The same equations give
On the branch , the definition of turns this into
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 . Then
and the half-angle identity gives
Therefore, on the stated rolling branch,
Substitution into part (b) gives
Since
the 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 applies
while Bob applies
They then send their qubits to Charlie. Acting on
these operations produce, up to an irrelevant global phase,
The complete encoding table is
where 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 to
He 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.
For a prime and a positive integer , the P-adic valuation is
Because , neither nor contains a factor . On the other hand, , so contains a factor ; and
so it contains no second factor . Therefore
This 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 . Hence
The two central coefficients of are equal, so
and therefore
This completes the induction. For real ,
Every prime in is at least . Consequently the primorial satisfies
Combining this with part (c) and taking logarithms gives
so
For , the inequality implies
Thus the prime-counting upper bound from a primorial estimate yields
We may take .
A subset of a metric space is a nowhere dense set when
Equivalently, 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 ball
with . Inductively, openness and density of allow us to choose
The balls are nested, and for their centres satisfy
Thus is Cauchy and has a limit . Every closed ball contains the tail of the sequence, so it contains . Hence
As 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 that
Add 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 , so
is 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 , put
Each is closed, the hypothesis gives , and because a function that vanishes on an open set has derivative zero there.
The open set
is 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 and
is a countable closed cover. A second application of Baire's theorem gives an index and an open interval such that
Choose 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 is
with
Site 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, approximately
The 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 is
for 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 is
then the second is
Numerically,
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 tests
against 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 . Since
but 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 obey
Positivity gives , and substitution into the first equation gives
The reaction Jacobian there is
so
The linear stability analysis therefore makes the equilibrium asymptotically stable. It is a stable node when
and 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 is
Its trace is
while its determinant is
With 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 when
Equivalently, the condition is
This is the Turing instability region.
At the first loss of stability, the minimum of just touches zero. The threshold condition from part (b) is
so
The minimizing squared wavenumber is
At threshold, , and therefore
Thus the Turing threshold of the Brusselator selects
The rotational kinetic energy and squared angular momentum are the torque-free rigid-body invariants
and
Differentiating the energy and inserting the Euler equations gives
Similarly,
Setting makes all three Euler equations stationary. The invariants then give
so the two rotations are
where .
Linearize about , where is either of these values. Writing the transverse perturbations as gives
Consequently
The transverse eigenvalues are therefore
one 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 , gives
Combining this with
yields
and
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 gives
After choosing the time origin ,
For example, a compatible choice of the other components is
As 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 collection
defined 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 , so
Thus would be a universal set. Separation applied to the property would then give the usual Russell contradiction.
The class is not transitive. For example, is finite, but its member is infinite. It is nevertheless -closed for every formula : if is finite, then every subset
is finite.
Articles were limited to the first 100 out of 314 total.

Articles by others on the same topic (0)

There are currently no matching articles.