The Chinese remainder theorem says that if the positive integers are pairwise coprime and , then for arbitrary residue classes there is a unique residue class satisfyingEquivalently, reduction is a ring isomorphism
For existence, put . Pairwise coprimality gives , so Bézout's identity supplies an integer with . Thenhas the required residues, because every term except the th is divisible by . If and are two solutions, each divides . Pairwise coprimality then implies that their product divides , proving uniqueness modulo .
An odd composite number with is a Fermat pseudoprime to base whenFor , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem givesso exactly when . Modulo , the unit group has order , soThe equation in the cyclic group has solutions, namely .
The Chebyshev polynomial identity implies on . Since , the Weierstrass M-test shows thatconverges uniformly on . Every partial sum is continuous, so the uniform limit theorem makes a well-defined continuous function.
LetThen . Since every is odd and, for , is an odd integer,It follows thatThus the error has equal alternating extrema at ordered points. The Chebyshev alternation theorem shows that is a best uniform approximation among polynomials of degree at most , and in particular
Now let be the prescribed decreasing positive sequence. DefineThen decreases strictly to zero, so every , the series converges, andGiven , choose with . Monotonicity of best-approximation errors and of givesHence this continuous satisfiesfor every polynomial of degree at most . This is the polynomial form of Bernstein's lethargy theorem.
For finite-valued discrete random variables, the conditional entropy isThe chain rule for information entropy in two orders givesThereforeusing nonnegativity of conditional entropy and the fact that conditioning reduces entropy. This proves the required inequality.
For Fano's inequality, let take values in an alphabet of size , let be any estimator, and putBecause is determined by ,Now . If , is determined by ; if , at most values remain possible. HenceCombining the bounds yields
The pumping lemma for context-free languages states that for every context-free language there is a pumping length such that every with can be writtenwith
This language is context-free. It is the language of even-length palindromes over , generated by the context-free grammarEvery derivation adds matching outer symbols, and removing the matching first and last symbols gives the converse induction.
This language is not context-free. Suppose it had pumping length , and choose a prime . Apply the pumping lemma to . Let and be the total numbers of zeros and ones in the pumped pieces and . If , pumping with produces unequal block lengths and leaves the language. If , then forces . Pumping with produces equal block lengthswhich are composite. Every possible pumping decomposition fails, proving the equal prime block language is not context-free.
The equations and are equivalent tofor nonnegative integers . Hence the language iswhich is the nested two-pair count language generated byIt is therefore context-free.
Take context-free grammars for and rename their nonterminals so that they are disjoint. If their start symbols are , add a new start symbol and the productionAll productions remain context-free. A derivation from produces a word from followed by a word from , and every such concatenation has a derivation. Thus the new grammar generates , proving closure of context-free languages under concatenation.
An exponential dispersion family has densities of the formwhere is the canonical parameter, is the dispersion parameter, and the support does not depend on . Its mean and variance are
For the given Gamma distribution, setThengivesThus the gamma laws form the Gamma exponential dispersion family.
Directly integrating, or using the cumulant-generating function of a gamma distribution,soDifferentiation at zero yields
In this discrete age-structured population model, individuals of age present during the breeding season each produce newborns, so the number entering age zero isAn age- individual survives the following winter with probability and is then age in the next year, givingTogether with the initial age distribution, these equations determine every later cohort.
Substitute into the survival equation. Thenand iteration givesThe birth equation becomesA nonzero population mode therefore requires the Discrete Euler-Lotka equation
For nonnegative vital rates with at least one surviving reproductive age and enough decay to make the series finite, is continuous and strictly decreasing on , tends to infinity as , and tends to zero as . The intermediate value theorem gives one positive solution, and strict monotonicity makes it unique.
The value is the expected lifetime offspring count under these fixed rates. Since decreases, places the root at and the population grows geometrically; places it at and the population shrinks. Equality gives replacement, .
With , the change of variables formula givesThe beta--gamma identity, , and the Gamma reflection formula giveTherefore
Use the suggested substitutionIt maps to itself and satisfiesHencewhere is the complete elliptic integral of the first kind. Part (a) and the Gamma function recurrence now give
Letbe the infinitesimal generator of the continuous symmetry, and letbe the canonical momentum. Noether theorem states that along every trajectory satisfying the Euler-Lagrange equations,is conserved.
Indeed, differentiate the invariance of with respect to at zero:On an Euler-Lagrange trajectory, , soThis proves the Noether conserved quantity for a mechanical point symmetry.
In cylindrical coordinates,The screw transformationleaves and fixed, so it is the helical symmetry of a potential. Its infinitesimal generator has and . Noether's theorem therefore gives the conserved quantityThis is a linear combination of axial linear momentum and axial angular momentum.
For an infinitesimal test mass on the surface of a homogeneous sphere, its Newtonian mechanical energy isThe spatially flat case corresponds to zero specific energy. Usingand dividing by givesSince is proportional to the scale factor , this is the Newtonian derivation of the flat Friedmann equation
Now take and . PutThe contracting branch of the Friedmann equation isIntegrating from givesThereforeon the contracting interval, reaching at .
Write . Expanding in the orthonormal Bell basis of systems gives the Bell-basis teleportation identityThus, uniformly for ,The states are unique because the four Bell states are an orthonormal basis of the two-qubit space. In particular,
Alice performs a projective Bell-basis measurement on her qubits and . Outcome occurs with probability and leaves Bob's qubit inAlice sends the two classical bits to Bob. He applies the inverse Pauli operationrecovering exactly, up to an irrelevant global phase. This is quantum teleportation: only local operations and classical communication are used, while the shared Bell pair supplies the entanglement resource.
No. Before any operation, Bob's reduced density matrix is , independent of . Any trace-preserving operation performed only by Alice leaves Bob's reduced state unchanged when her uncommunicated outcomes are averaged. This is the no-communication theorem, or quantum no-signalling.
If Bob received the unknown state, his reduced state would instead be the pure state , which depends on Alice's input. That would let Alice signal by choosing different inputs, contradicting no-signalling. The two classical outcome bits are therefore essential.
A binary linear code of length and rank is a -dimensional vector subspace . Its minimum distance is the least Hamming weight of a nonzero codeword, equivalently the least Hamming distance between distinct codewords.
Delete any coordinates. The resulting puncturing mapis injective: if for distinct codewords, then the nonzero codeword is supported on at most coordinates, contradicting the minimum distance. Thuswhich is the Singleton bound
Let be the support of the weight- codeword , and let delete all coordinates in . Its kernel consists of codewords supported in . If , then but , so is nonzero in every coordinate of . Over this forces . Hencehas dimension one, and the punctured code has length and rank by the rank-nullity theorem.
To bound its minimum distance, take whose puncture is nonzero. If has nonzero coordinates in , then has there, while both words have the same nonzero coordinates outside . Both and are nonzero codewords, soAdding gives , and therefore
Apply part (b) repeatedly. After the first puncturing, the code has rank , length , and minimum distance at least . Repeating with a minimum-weight codeword at each stage givesbecause nested ceilings obeyThuswhich is the binary Griesmer bound.
Let be the extended transition function of a deterministic finite automaton. States are equivalent, or indistinguishable, whenThe quotient deterministic finite automaton by indistinguishable states has state set , initial state , accepting states , and transitionRight invariance of makes this well-defined, and the quotient accepts .
To prove minimality, choose for each state of the accessible automaton a word with . Run the same word in any DFA accepting , and assign the class the reached state of . If two distinct classes reached the same state of , every continuation would have the same acceptance result after and . Since and accept the same language, this would make and indistinguishable in , a contradiction. Thus has at least one distinct state for every class in , proving that the quotient is the minimal deterministic finite automaton.
For divisibility by seven, take states , initial state , accepting set , and transitionsAfter reading a word, the state is its binary value modulo seven, so this binary divisibility automaton accepts exactly the multiples of seven, with leading zeros allowed. Every state is accessible: the three-bit words representing reach the corresponding residues.
For distinct residues , let be the three-bit representation of , chosen in . Since , reading from state ends atwhereas reading it from ends at . Thus distinguishes from . All seven states are pairwise distinguishable, so the DFA is minimal by the Myhill-Nerode theorem.
Let be the number of ice creams in price category and score category . The fitted Poisson regression assumes that the nine counts are independent random variables withwhere the logarithmic link function is used and excellent is the reference level in a regression factor, so . Equivalently,This is the independence log-linear model for a two-way contingency table: price and score have main effects but no interaction.
Write and . Under the model in part (a),and is independent of the price category . The Poisson-multinomial conditioning identity givesMore explicitly, the likelihood function for row factors asThe first factor is the likelihood of the row total and the second is the conditional multinomial likelihood. The free price effect makes the first factor maximal at , while maximizing the remaining factors givesConsequently both fits have the same maximum-likelihood fitted valueHere every row total is , the column totals are , and , so every fitted row isThis factorization is the Poisson trick.
The null hypothesis is that price and score are independent, equivalently that the independence log-linear model for a two-way contingency table is correct. Against the saturated alternative, the reported Poisson deviance is the likelihood-ratio test statisticUnder the null and the usual large-sample regularity assumptions, Wilks theorem givesThe observations must be independent, the cell probabilities must not lie on the boundary of the parameter space, and the expected counts must be large enough for the chi-squared asymptotic approximation. The fitted counts are either or , so the customary expected-count check is comfortably satisfied. Since(equivalently, the p-value is about ), we do not reject the null at the significance level. The data provide no significant lack of fit for independence.
Both variables are ordinal categorical variables, and the proposed alternative is directional: higher scores should tend to occur at higher prices. Assign increasing numerical scores to low, medium, high price and to poor, good, excellent quality, and use a one-sided linear-by-linear association test. Its statistic is based on the sample covariance, or equivalently the correlation, of those scores under the fixed margins.
This test uses one degree of freedom and directs its rejection region toward positive association. The four-degree-of-freedom likelihood-ratio test of independence in a contingency table spends power on every possible departure from independence, including unordered and negative patterns, so the ordered one-sided test is more powerful when the stated alternative is credible.
The Papperitz symbolrepresents the two-dimensional solution space of a homogeneous linear differential equation for a second-order Fuchsian differential equation on the Riemann sphere. Its only singularities are the three regular singular points . The two entries beneath each point are its characteristic exponents at a regular singular point: for example, in the nonresonant case a local basis near has leading behaviours and . If one of the points is infinity, exponent conventionally means behaviour there.
The six exponents obey the Fuchs relationSubject to this relation, the symbol determines the corresponding Riemann differential equation; resonant differences between exponents may produce Logarithmic Frobenius solutions without changing the exponent data recorded by the symbol.
Let solve the equation represented by the original symbol and define a dependent-variable rescaling of a Papperitz symbolwith a consistent local choice of branch. Near , the multiplier is a nonzero analytic factor times , so both exponents at increase by . Near , it is a nonzero analytic factor times , so both exponents at decrease by . It is analytic and nonzero near , so the exponents there are unchanged. Therefore the transformed equation has symbolThe opposite shifts also preserve the Fuchs relation.
A Möbius transformation of a Papperitz symbol changes the independent variable by a Möbius transformation. In particular,maps to , respectively. Because a Möbius map is locally biholomorphic away from its pole, it carries each exponent pair with its singular point and givesNow define a dependent-variable rescaling of a Papperitz symbol by writing the old dependent variable asso that . This dependent-variable rescaling of a Papperitz symbol subtracts from both exponents at zero, subtracts from both exponents at one, and adds to both exponents at infinity. Hence has symbolDefineThe Fuchs relation gives and . After renaming as , the symbol is thereforewhich is the Gauss hypergeometric equation. Renaming as gives exactly the displayed symbol in the question.
In the hypergeometric symbol, select the exponent at zero and factor out its local power by writingThe Exponential shifting of a Papperitz symbol makes the exponents of equal to at zero, at one, and at infinity. These are the hypergeometric parametersbecause and . The solution for that is analytic at zero and equals one there is therefore the Gauss hypergeometric function . Thus the second local hypergeometric solution isFor noninteger this is linearly independent from ; at resonant values, the usual limiting or logarithmic modification may be required.
Since , differentiation gives the Hubble parameter identitySubtracting the given Friedmann equation from the Raychaudhuri equation therefore yieldsOn the other hand, differentiating the Friedmann equation givesSubstitute and divide by , which is permitted by the assumption . The result is the homogeneous inflaton equation of motionThe middle term is Hubble friction.
For , the slow-roll approximation givesTaking the expanding branch and using gives the first-order linear differential equationThus the quartic-potential slow-roll solution with the normalization used in this question isIf , the field remains negative and , so it rolls toward the potential minimum at zero.
The number of e-folds satisfiesWhen is monotone, the chain rule gives , and henceUsing the two slow-roll equations, and , eliminates both and time:This is the differential form of the slow-roll e-fold count.
For the quartic potential,Integrating the result of part (c) along the trajectory from to givesBecause the negative field rolls toward zero, and , so this monomial slow-roll e-fold count is positive.
In the decelerating hot Big Bang model, the particle horizon at recombination encloses only a finite comoving region. Widely separated parts of the Cosmic microwave background therefore had no overlapping past light cones in that model, although they have almost the same temperature. This is the Horizon problem. During cosmic inflation, accelerated expansion makes the comoving Hubble radius shrink. A small region that was initially in causal contact can then expand to contain the whole presently observable universe.
The Flatness problem follows fromDuring ordinary radiation- or matter-dominated decelerating expansion this quantity grows, so the observed closeness of the cosmological density parameter to one requires extreme tuning at early times. Inflation makes grow nearly exponentially and therefore drives rapidly toward zero. A sufficiently large number of e-folds makes spatial flatness a dynamical outcome rather than a finely tuned initial condition.
The completeness theorem for propositional logic states that for every set of formulae and formula ,With the soundness theorem for propositional logic, this is an equivalence. It is also equivalent to saying that every consistent set of formulae has a model.
The usual countable proof lists all formulae and extends a consistent theory one formula at a time. For an uncountable set of primitive propositions, use the uncountable-language proof of propositional completeness: order the consistent extensions of by inclusion. The union of every chain is consistent, since a proof of a contradiction would use only finitely many assumptions and hence would already lie in one member of the chain. Zorn lemma gives a maximal consistent set in propositional logic . Define a Boolean valuation by exactly when . The usual structural induction on formulae proves the truth lemmaso is a model of .
The propositional compactness theorem says that a set is satisfiable if and only if every finite subset of is satisfiable. Only the forward implication is immediate. For the converse, if had no model, then , so completeness would give . Every formal proof uses finitely many assumptions, so some finite would prove and, by soundness, would have no model, a contradiction.
The decidability theorem for propositional logic says that there is an algorithm deciding whether a propositional formula is a theorem. A formula contains only finitely many primitive propositions, even when the full language is uncountable. Its finite truth table decides whether it is valid, and completeness says that validity is equivalent to theoremhood.
Now let be the given partially ordered set. For every distinct , introduce propositions and . Form a propositional theory containing the following clauses:
- and for distinct ;
- and for pairwise distinct ;
- and whenever in the original order;
- and whenever and are incomparable in the original order.
The first two families say that and encode strict total orders. The third makes both orders extend , while the fourth makes them disagree on every incomparable pair.
Every finite subset mentions only a finite subset . By hypothesis, the induced order on is a two-dimensional poset, so choose two total orders realizing it and assign the finitely many and variables accordingly. This satisfies . Thus every finite subset of is satisfiable, and propositional compactness gives a model of all of .
Define when is true and when is true. The clauses make and total orders on . They both contain the original order, and their intersection contains no incomparable pair. Hencewhich proves the finite-local characterization of two-dimensional partially ordered sets.
Let be the adjacency matrix of a graph. Since is a regular graph of degree , every row of sums to . Therefore, for ,so is a graph eigenvalue.
If , then the quadratic form of the Graph Laplacian givesEvery summand is nonnegative, so along every edge. The graph is connected, hence all coordinates of are equal and is a scalar multiple of . Thus the -eigenspace is one-dimensional. Since is a symmetric matrix, the spectral theorem for real symmetric matrices makes it diagonalizable, so the algebraic multiplicity is also one. This proves the constant eigenvector of a regular graph result.
Suppose the strongly regular graph has vertices, degree , common neighbours for every adjacent pair and common neighbours for every nonadjacent pair. By the walk count from powers of an adjacency matrix, counts common neighbours of and , while . Hence the adjacency-matrix relation for a strongly regular graph iswhere is the all-ones matrix.
The spectral theorem for real symmetric matrices gives an orthonormal eigenbasis for . Part (a) says that the constant direction is the one-dimensional -eigenspace; every other eigenvector belongs to , so . If , the displayed identity givesThere are at most two possible roots in addition to . Thus has at most three distinct eigenvalues.
For an eigenvector with eigenvalue ,By part (a), every vector orthogonal to is a linear combination of such eigenvectors, so vanishes on . On the remaining eigenspace,The orthogonal projection onto is . It follows thatPut . For , the identity readsand thereforeBecause is the number of common neighbours, these two constants prove that is strongly regular. This is the converse half of the three-eigenvalue characterization of a connected strongly regular graph.
Suppose the only distinct eigenvalues are and . As in part (c), acts by on and by on , so its spectral decomposition isEvery diagonal entry of an adjacency matrix is zero, givingThus every off-diagonal entry is the same number . Since these entries belong to and the graph is connected with at least two vertices, that common value must be one. Hence and is the complete graph .
Conversely, has adjacency matrix , with eigenvalue on and eigenvalue on . Therefore the requested graphs are preciselyas stated by the connected regular graph with two adjacency eigenvalues characterization.
Suppose otherwise and choose a relationwith the least possible number of nonzero coefficients. After relabelling and scaling, take every and . Since the field embeddings and are distinct, there is a such that .
Apply the relation to and subtract times the relation at . Because each field embedding is multiplicative, this givesThe th term has disappeared, while the coefficient of is nonzero. This is a shorter nontrivial relation, contradicting minimality. Hence distinct embeddings are linearly independent as functions. This is the Artin independence theorem.
View every -automorphism as an element of the -vector spacewhere acts by multiplying output values. If and is a -basis of , a -linear map is determined freely by its values on that basis. ThusPart (a) says that the distinct automorphisms are linearly independent vectors in this space, so
Now let , the fixed field of the finite automorphism group . Its elements are fixed by every member of , so the members of are distinct -automorphisms of . Applying the inequality gives the automorphism-count bound for a finite field extension
The actions on the ordered pair satisfyThus every element of has the form or for , so . Their actions areBecause are algebraically independent elements over , these eight substitutions are distinct. Henceand the presentation identifies with the dihedral group .
PutBoth generators and fix and , so for ,The elements and are the two roots ofso . Adjoining first and then takes at most two quadratic extensions, and the tower law givesPart (b) gives . Since , another use of the tower law givesAll inequalities are equalities and . Thereforethe dihedral fixed field of a two-variable rational function field.
Articles were limited to the first 100 out of 288 total.
Articles by others on the same topic
There are currently no matching articles.