The convergents through one period areThe last one gives the negative Pell equation solutionTherefore
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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 .
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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 .
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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 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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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 .
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
The open interval does not have the fixed-point property. The continuous self-maphas its only possible fixed point at the excluded endpoint .
Solved by gpt-5.6-sol high.
The closed interval does have the fixed-point property. If , then and . The intermediate value theorem supplies with .
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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
Solved by gpt-5.6-sol high.
If , the condition would requireBut homogeneous stability requires . These inequalities are incompatible, so equal diffusivities cannot produce a Turing instability.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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 setInduction on this rank gives for every . Thusand consequentlyEvery set therefore occurs at some level of the hierarchy.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
For , letThen . The fixed field of its subgroup of order three is its unique quadratic subfield,
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
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.
Solved by gpt-5.6-sol high.
Choose and setTakeInductively, if on , thenSince , every iterate is bounded by . Moreover,Thus is uniformly bounded and uniformly Lipschitz, hence equicontinuous, on .
Solved by gpt-5.6-sol high.
The Arzela-Ascoli theorem makes the family of iterates relatively compact in . The standard successive-approximation proof for this scalar autonomous equation shows that, after decreasing to some , the adjacent differencestend uniformly to zero. One way to finish the existence argument without requiring a Lipschitz hypothesis on is the following direct scalar construction.
If , the function is already a solution. If , continuity gives an interval on which has constant sign and never vanishes. DefineThen is continuously differentiable with . By the inverse function theorem, it has a continuously differentiable local inverse on after choosing small enough and choosing the appropriate one-sided range. PutThe chain rule givesand henceEquivalently, , the fixed-point equation approximated by the iterates. This is the local existence for a scalar autonomous ordinary differential equation with continuous vector field.
Solved by gpt-5.6-sol high.
For , the Sobolev space consists of tempered distributions such thatFor a multi-index ,Sincewe obtain the Sobolev derivative estimateThus differentiation is bounded and linear between the stated spaces.
Taking the Fourier transform ofgivesThe only possible solution is thereforeMoreover,This proves existence, uniqueness, and bounded dependence. Conversely, maps boundedly to , sois a linear isomorphism with inverse multiplier . This is the massive Laplacian isomorphism on Sobolev spaces.
Finally, the assumed estimate and Plancherel theorem implyThus is bounded in . The functions and all their first derivatives are supported in the fixed bounded set . Their bounds give uniform translation estimatesfor and . Tight support and the Rellich-Kondrashov compactness theorem for H01, equivalently the Fourier compactness criterion, therefore provide a common subsequence for which and every first derivative converge strongly in . HenceThis is compactness from bounded support and an H2 bound.
Solved by gpt-5.6-sol high.
For a divisor on an algebraic curve over an algebraically closed field, its degree isFor a nonzero rational function , its principal divisor iswhere zeros have positive order and poles have negative order.
Now let have degree zero on the projective line. Choose a homogeneous linear form whose zero is . Since , the expressionis homogeneous of degree zero and therefore defines a rational function on . Each has one simple zero, and the cancellation of total degree removes any common scaling ambiguity, soThus every degree-zero divisor on is principal. If and have the same degree, then is principal, whenceThis is the divisor class on the projective line.
Write . The coordinate has no critical zero or pole in the finite chart. Near infinity use ; thenHence the rational differential has one double pole at infinity and no other zero or pole:which represents the canonical divisor of the projective line.
If , then , and linear equivalence of divisors gives . A function in the latter space has no finite poles, so it is a polynomial, and its degree is at most . ThereforeThis calculation uses only the rational functions on , rather than the Riemann-Roch theorem.
Finally, suppose distinct satisfy . The function has one simple pole and therefore defines a degree-one finite morphism . A degree-one finite morphism between smooth projective curves is an isomorphism. It would follow that and hence that has genus zero, contrary to the hypothesis. Thus the principal divisor with one simple zero and one simple pole cannot occur on :
Solved by gpt-5.6-sol high.
The periodic Wirtinger inequality says that if is continuously differentiable, -periodic, and has mean zero, thenEquality holds exactly for a linear combination of and .
First suppose is one positively oriented simple closed curve, parametrized by arc length as for . Translating the origin, which changes neither length nor area, makes both and have mean zero. Green theorem and the Cauchy-Schwarz inequality giveApplying Wirtinger's inequality to both coordinate functions and using the unit-speed identity yieldsand therefore the planar isoperimetric inequalityFor several boundary components, apply the simple-curve result to the relevant enclosed regions and use ; holes only decrease the area.
Equality in both inequalities forcesfor constant vectors , with the unit-speed and Cauchy-Schwarz equality conditions making and perpendicular and equally long. Thus the boundary is a circle. Conversely, a circular domain has area and perimeter , so equality holds.
Solved by gpt-5.6-sol high.
Let and be opposite interior angles of a convex quadrilateral with side lengths , and let . The Bretschneider formula gives its area asThe fixed side lengths fix the first term, while the second term is nonpositive. Hencewith equality exactly when . Opposite angles are supplementary exactly when the quadrilateral is a cyclic quadrilateral. The given is cyclic, so it attains this upper bound andA crossed or concave competitor can be uncrossed or reflected across a diagonal without changing its side lengths and without decreasing its unsigned area, so the same bound applies. Apart from degenerate coincidences, equality holds precisely when is also cyclic with the stated cyclic ordering of its side lengths.
Solved by gpt-5.6-sol high.
Because the centered normal distribution density is nonnegative and has integral one, Fubini's theorem and translation invariance giveThus .
Use the angular-frequency conventionThe convolution theorem and the Gaussian transform giveSince , this product is integrable. Moreover, absolute integrability justifies exchanging the integrals:This proves the Fourier inversion theorem for the convolution directly.
Now additionally suppose . For every , the dominated convergence theorem givesFourier inversion identifies the right-hand side with for Lebesgue almost everywhere . Therefore the Gaussian approximate identity satisfies
Solved by gpt-5.6-sol high.
The queue length is an M-M-1 queue and hence a birth-death process with birth rate and death rate away from zero. The detailed-balance equations areWriting , they give . Since , this measure is summable and normalization yieldsThe existence of this invariant probability distribution for the irreducible nonexplosive chain proves positive recurrence.
Solved by gpt-5.6-sol high.
With state-dependent admission, the effective birth rate in state iswhile the death rate is for . The stationary ratios for an M-M-1 queue with state-dependent admission are thereforeInduction gives , and normalization identifies a Poisson distribution of mean :
Solved by gpt-5.6-sol high.
Here , so detailed balance givesConsequentlyThe series converges for every , so this defines the unique invariant distribution.
By the PASTA property, an arrival joins with probability . In equilibrium the accepted-arrival rate must also equal the departure rate. Departures occur at rate precisely when the queue is nonempty, henceThe required joining probability is therefore
Solved by gpt-5.6-sol high.
Generate and setFor ,which is the distribution function of an exponential distribution with rate one. This is inverse transform sampling.
Solved by gpt-5.6-sol high.
In one proposal of rejection sampling, the probability of both proposing a value in and accepting it isIntegrating shows that the acceptance probability is . Conditional on acceptance, the density of the proposed value is thereforeEach unsuccessful proposal restarts independently, so the eventual output has the same conditional density:
Solved by gpt-5.6-sol high.
Take the proposal density . For the target half-normal distribution,The ratio is maximized at , so the sharp envelope constant isGenerate and an independent uniform , and accept when
Solved by gpt-5.6-sol high.
Each independent proposal is accepted with probability . The number of proposals is therefore a geometric distribution with mean
Solved by gpt-5.6-sol high.
The accepted has the half-normal distribution, so in distribution for . Multiplying it by an independent random sign that is positive and negative with equal probabilities restores the two symmetric halves of the Gaussian density. Thus
Solved by gpt-5.6-sol high.
For an exponential proposal of rate ,and the smallest valid rejection constant isbecause the exponent is maximized at . Differentiating its logarithm givesThe unique minimum occurs at . Since rejection efficiency is , choosing any makes the algorithm less efficient:
Solved by gpt-5.6-sol high.
Between times and , the investor holds shares worth and places the remaining wealth in the risk-free asset. The self-financing condition therefore gives
Solved by gpt-5.6-sol high.
Under a risk-neutral measure, the discounted stock must be a martingale. If is the probability of the factor , this condition issoThe hypothesis ensures , making this equivalent to the original probability measure. Since the returns are independent under , the number of up moves has a binomial distribution, and hence
Solved by gpt-5.6-sol high.
The backward option pricing recursion iswith terminal value . At a node with , define the replicating stock holding byThis is a predictable process because it depends only on information available at time .
Indeed, if , substituting the risk-neutral formula for into the self-financing update shows separately in the up and down states thatAn induction over therefore gives . The required initial capital is
Solved by gpt-5.6-sol high.
For the European call option, risk-neutral valuation givesDefine the stock-numeraire measure in a binomial market byIt is a probability measure because the risk-neutral martingale property gives . Consequently
Tilting one up move by its stock factor changes its probability toSimilarly . Thus under the number of up moves is binomial with parameter , and
Solved by gpt-5.6-sol high.
Because implies , the selected classifier can always have weighted error at most , so . The output score is
Solved by gpt-5.6-sol high.
The convex hull of isThus is a convex combination of when it has precisely this form. Equivalently, is the smallest convex set containing . The Caratheodory theorem sharpens the finite-combination description in : every point of is a convex combination of at most points of .
Solved by gpt-5.6-sol high.
The exponential loss is . For a score , its exponential classification risk and empirical risk areFor the set of evaluation vectorsits empirical Rademacher complexity iswhere the are independent uniform random signs.
Solved by gpt-5.6-sol high.
The stopping rule ensures that the returned function belongs toIndeed, when adding the next coefficient would make the sum exceed one, the algorithm returns the preceding sum, and at the first step it returns zero.
Since each takes values in , every satisfies . On , the map is -Lipschitz. The expected Rademacher complexity generalization inequality followed by the Rademacher contraction lemma givesA linear functional attains the same supremum over a set and its convex hull. Since , adjoining zero and allowing total coefficient at most one does not increase the supremum, so the Rademacher complexity of a convex hull givesCombining the two bounds proves
Solved by gpt-5.6-sol high.
After division by , the equation becomesThe regular singular point criterion for a second-order equation would require and to be analytic at zero. The second expression is , so the criterion fails:
Solved by gpt-5.6-sol high.
The removal of the first derivative from a second-order differential equation usesIt givesso
Solved by gpt-5.6-sol high.
Write the normal-form equation asFor sufficiently small positive , . Moreover,and the corresponding higher derivative condition also tends to zero, so the amplitude varies slowly relative to the exponential phase and the Liouville-Green approximation applies.
The phase and amplitude have expansionsHence two independent Liouville-Green solutions satisfyIn particular, after choosing the signs according to growth and decay,
Solved by gpt-5.6-sol high.
Since , the two linearly independent solutions of the original equation have the asymptotic expansionsAs a check, the substitution converts the equation into the modified Bessel equation of order zero, whose solutions and have exactly these large- expansions.
Solved by gpt-5.6-sol high.
At an equilibrium, each product inmust vanish. This gives the two parameter-independent equilibriathe equilibria on and the equilibria with both coordinates nonzerowhere matching signs are used.
The pair is born at , suggesting a saddle-node bifurcation. At , one of these equilibria meets , suggesting a transcritical bifurcation, while the two equilibria near are simultaneously born in a saddle-node. At , the minus branch meets , suggesting another transcritical bifurcation. At , that branch meets the equilibrium , again suggesting a transcritical bifurcation. Thus the bifurcation parameter values are
Solved by gpt-5.6-sol high.
The Jacobian matrix isAt its eigenvalues are and . It is therefore a stable node for , a saddle for , and nonhyperbolic at , consistent with the proposed transcritical bifurcation.
At the matrix iswith eigenvalues and . It is an unstable node for , a saddle for , and nonhyperbolic at , again consistent with a transcritical bifurcation.
Solved by gpt-5.6-sol high.
There are two bifurcations in , both at .
Near , append . The plane is invariant and tangent to the extended center subspace, so it is an extended center manifold. The reduced equation is exactlyIts leading terms have two branches, and , which cross and exchange their center-direction stability. Hence this is a transcritical bifurcation.
For the bifurcation at , setThe extended system becomesSolving the centre-manifold invariance equation for givesSubstitution into the equation yieldsFor this has two nearby equilibria , while for it has none. It is therefore a saddle-node bifurcation. These reductions are collected in bifurcations of the 2022 Cambridge quadratic-cubic system.
Solved by gpt-5.6-sol high.
Insert the stated expansion into the Time-dependent Schrodinger equationWhen the derivative acts on each free phase, its energy factor is cancelled by the action of on the corresponding eigenstate. The remaining terms obeyDivision by gives
Solved by gpt-5.6-sol high.
To first order in , time-dependent perturbation theory replaces the state on the right-hand side by its unperturbed value . The bound state is even, while the position operator is odd. The parity selection rule therefore givesso and, with no initial continuum component,
Solved by gpt-5.6-sol high.
The required dipole matrix element iswhere differentiating the elementary Laplace integral for evaluates the last integral. Hence
Put and . The continuum transition probability at long times usesSincethe total escape probability becomesFor the attractive delta potential,Substitution gives the requested leading-order result:
Solved by gpt-5.6-sol high.
With the magnetic minimal coupling convention for charge ,Here , , andTherefore in Cartesian coordinatesIn cylindrical coordinates this isThis choice of is the symmetric gauge.
Solved by gpt-5.6-sol high.
The factor is an eigenstate of longitudinal momentum with . The integer is the azimuthal angular momentum quantum number, since has eigenvalue .
Fordirect differentiation givesRegularity and cancellation of the term require for . Cancellation of the terms requiresassuming . The remaining radial energy is independent of :This is the lowest Landau level. If , the same family uses nonpositive angular-momentum quantum numbers and replaces .
Solved by gpt-5.6-sol high.
The radial factoris sharply peaked, for large , nearRequiring the orbit to lie inside a disk of radius permitsThus the total degeneracy at fixed is, up to the negligible boundary correction,Since the disk has area , the degeneracy of a Landau level per unit area isFor either sign of the charge-field product, replace by .
Solved by gpt-5.6-sol high.
The Carnot theorem states that no engine between two fixed heat reservoirs can be more efficient than a reversible engine, and that all reversible engines between those reservoirs have the same efficiency. Thus the heat ratio of a reversible engine depends only on the two reservoirs. Its multiplicative consistency for three reservoirs permits a state variable , unique up to an overall scale, such thatFixing one reference value defines the thermodynamic temperature scale, and the reversible efficiency is
Solved by gpt-5.6-sol high.
Solved by gpt-5.6-sol high.
Let the common final temperature be . A reversible isolated process has zero total entropy production, so part (i) givesHencefor both bodies. The decrease in their total internal energy is extracted as work by the reversible engine mediating the transfer.
Solved by gpt-5.6-sol high.
Direct contact permits no work extraction, so conservation of internal energy givesThe total entropy change isThe arithmetic-geometric mean inequality makes the last expression positive when , with equality only when the bodies were already at the same temperature. This is the entropy production of irreversible heat flow.
Solved by gpt-5.6-sol high.
The fundamental thermodynamic relation isBecause is extensive, the Euler theorem for homogeneous functions givesSubstitution into the Gibbs free energy therefore yieldsFor a one-component equilibrium phase, the intensive chemical potential depends on the intensive state variables and .
Solved by gpt-5.6-sol high.
A first-order phase transition occurs where two phases have equal Gibbs free energy but a first derivative of that free energy is discontinuous. Typical jumps occur inA nonzero entropy jump gives a nonzero latent heat .
Solved by gpt-5.6-sol high.
At coexistence, . Stability saysThus crosses zero with negative slope as increases through . On the two smooth phase branches,ThereforeThe transition from phase II to phase I consequently absorbs positive latent heat .
Solved by gpt-5.6-sol high.
A dielectric is an electrically insulating material whose bound positive and negative charges can be displaced slightly by an electric field, producing electric polarization without sustained conduction current. Its macroscopic electric response is described by its permittivity.
Solved by gpt-5.6-sol high.
The electric polarization is electric dipole moment per unit volume. It producesThe electric displacement field is useful becauseso it separates free charge from the bound charge represented by . In a linear isotropic dielectric, .
Spherical symmetry and Gauss's law for give, on both sides of the interface,ThusWith pointing from medium one to medium two, the net bound sheet charge at is the polarization jumpIf one assigns surface charge separately to the inner body and outer medium, their contributions are and ; their sum is the displayed physical interface charge.
Solved by gpt-5.6-sol high.
The magnetization is magnetic dipole moment per unit volume. In magnetostatics it producesThe magnetic field intensity obeysso isolates free currents while accounts for bound currents. For a linear isotropic material, .
Ampere's law for a circular loop around the free line current givesin both media. ThereforeAt , the net bound surface-current density isHence its magnitude isand for a positive current along it points along when , reversing when .
Solved by gpt-5.6-sol high.
The antipodal action fixes the origin. Away from the origin it acts freely, so the quotient is locally Euclidean there. A small punctured neighborhood of the image of the origin, however, has linkthe real projective plane, whereas the link of a point in a three-dimensional smooth manifold is . Equivalently, the neighborhood is a cone on and cannot be a three-ball. Thus
Solved by gpt-5.6-sol high.
Removing the closed unit ball leaveswhich is an open subset of . Every point therefore has an ordinary Euclidean coordinate neighborhood, soIt has no boundary; the unit sphere was removed together with the ball.
Solved by gpt-5.6-sol high.
The map takes one covector argument and returns two vector slots, so has two contravariant and one covariant index. Its tensor type isor type , with components .
Solved by gpt-5.6-sol high.
The covariant derivative adds one covariant index, so has type . The outer product of two tensors adds their index counts. Hence
Solved by gpt-5.6-sol high.
LetThe Euler-Lagrange equation givesSince and , this becomesExpanding the derivative, multiplying by the inverse metric, and using the Christoffel symbolgives the geodesic equation
Solved by gpt-5.6-sol high.
Balancing the downslope gravitational force density against the viscous term gives the velocity scaleIf the streamwise variation scale is , the lubrication theory requirement is firstThe ratio of streamwise inertia to transverse viscous stress isThus self-consistency also requires
Solved by gpt-5.6-sol high.
The leading lubrication momentum equations and incompressibility condition areAt the solid plane , no slip and no penetration give . At the free surface , neglecting surface tension and ambient viscous stress givesto leading order. The kinematic boundary condition for a free-surface graph is
Solved by gpt-5.6-sol high.
Integrating the normal momentum equation from the free surface gives the hydrostatic pressureThus . Twice integrating the downslope equation and applying and gives
Solved by gpt-5.6-sol high.
The volume flux per unit transverse width isIntegrating incompressibility across the layer and using the wall and free-surface kinematic conditions gives local mass conservation . Hence the gravity-driven thin film on an incline obeys
Solved by gpt-5.6-sol high.
Put and . The conservation law becomesOne integration gives the required first-order autonomous equationwhere is a constant fixed by the far-field film heights or other boundary data.
Solved by gpt-5.6-sol high.
For one-dimensional homentropic flow,and . For a perfect gas, . Combining the two equations therefore shows that the Riemann invariantssatisfyTheir characteristic curves are parametrized byand is constant along the corresponding curve until characteristic intersection creates a shock.
Solved by gpt-5.6-sol high.
Before shock formation, the piston launches a right-moving simple wave into the undisturbed gas. The opposite invariant is fixed at its ambient value:Therefore the simple-wave relation is
Solved by gpt-5.6-sol high.
The motion is isentropic before a shock forms, and the perfect-gas relations giveWriting and applying the generalized binomial expansion,
Solved by gpt-5.6-sol high.
The fluid velocity at the piston equals its velocity,Using in part (ii) givesOver ,ThusThe linear pressure oscillation has zero mean, while the quadratic compressibility produces a positive mean pressure, the finite-amplitude acoustic analogue of radiation pressure.
Solved by gpt-5.6-sol high.
The Gershgorin circle theorem states that every eigenvalue of a complex matrix lies in at least one diskTo prove it, choose a nonzero eigenvector for and an index such that . The th component of givesTaking absolute values and using yieldsDivision by proves the theorem.
Solved by gpt-5.6-sol high.
Sample the diffusion coefficient at edge midpoints and writeCentered differences of the two fluxes give the conservative finite-difference stencilFor example, the part isTaylor expansion about shows that the odd powers cancel between the two face fluxes and that the result equals . The same calculation in gives total truncation error
Solved by gpt-5.6-sol high.
Let be the spatial matrix, so the forward Euler method isThe conservative use of shared edge coefficients makes a real symmetric matrix. In an interior row, put . Its diagonal entry is , and the sum of the absolute off-diagonal entries is . Boundary rows have no larger disk because homogeneous Dirichlet data remove some unknown neighbors.
The Gershgorin circle theorem and symmetry therefore place every eigenvalue of inIf , each amplification eigenvalue is . It lies in wheneverorSince the amplification matrix is symmetric, bounding all its eigenvalues in modulus by one bounds its discrete Euclidean operator norm by one. This proves the stated stability condition and is the Gershgorin stability bound for a variable-coefficient diffusion stencil.
Solved by gpt-5.6-sol high.
Codex Wiki