Here and . The prime-to- roots of unity generate an unramified extension of degree equal to the multiplicative order of modulo ; for this degree is one. Indeed, their distinct residues lift uniquely by Hensel lemma, and the Frobenius automorphism acts by raising them to . The -power roots of unity generate a totally ramified extension, because the translated cyclotomic polynomial is Eisenstein. The two fields have trivial intersection and their compositum has the same residue degree as the prime-to- field, by unramified base change preserves total ramification. Thus total ramification is equivalent to .
Unique smooth flex of a cuspidal cubic 2026-10-14
For , the determinant of the homogeneous Hessian matrix is . Its intersections with are the cusp and the smooth point . The Hessian criterion for a flex therefore gives a unique smooth flex, with tangent and contact order three. Consequently every pair consisting of a triple line and a cuspidal cubic meeting only at a smooth point is projectively equivalent to .
New subspace of cusp forms 2026-10-14
The new subspace is the orthogonal complement of the old subspace of cusp forms for the Petersson inner product. A form belongs to it precisely when the adjoints of all lower-level oldform by argument dilation maps annihilate it.
Old subspace of cusp forms 2026-10-14
The old subspace is spanned by for cusp forms of level , where and . It is stable under the Hecke operators, but need not have a basis of eigenvectors for every bad-prime operator. Its Petersson inner product orthogonal complement is the new subspace of cusp forms.
For independent observations with , the sufficient statistics are their sum and squared norm. Condition on and write , where . Polar coordinates supply radial measure , while the conditional angular factor does not depend on . This proves the displayed shape. Its normalization depends on but not after the substitution , and agrees with the normalized P-star approximation.
Travel time at reciprocal-curvature speed 2026-10-14
If a regular plane curve has positive curvature and a particle moves with speed in the chosen time units, its elapsed time is , the total curvature traversed. On a logarithmic spiral , both and equal . Hence and every complete turn takes time , regardless of its radius.
Radius of curvature 2026-10-14
Where a regular curve has positive curvature , its radius of curvature is the radius of its osculating circle. A sharper bend has a smaller radius. At zero curvature there is no finite radius; writing is a limiting convention rather than an ordinary real reciprocal of zero.
Osculating circle 2026-10-14
At a point of a twice continuously differentiable regular curve with positive curvature , its osculating circle has radius and center , where is the principal normal vector. It matches the point, tangent line and curvature. For a space curve, it lies in the plane spanned by the unit tangent vector and principal normal vector. The parabola example under curvature of a plane curve gives center and radius at the origin.
In the exterior orthonormal coframe , , , , use . The independent mixed-index curvature 2-forms are , , for , and . The orthonormal Ricci tensor is diagonal with entries , , and twice . The Einstein field equations with negative cosmological constant then give .
// Target: general-relativity.bigb
Torsion dynamometer 2026-10-14
Radial current dipole 2026-10-14
A radial current dipole has moment parallel to its displacement from the sphere centre. The Sarvas formula gives identically zero exterior magnetic field for such a source in a spherical volume conductor model, although its electric potential need not vanish. This is a nonuniqueness mechanism for the inverse problem in magnetoencephalography.
For a nonnegative continuous event time with survival function S, hazard function h and H the cumulative hazard, split the expectation at c. The censored contribution is S(c)H(c). The event contribution is by integration by parts, since and . Adding gives the displayed identity. Linearity extends it to the expected observed event count in a cohort, without requiring independence between subjects.
Let , , and suppose and are independent, with continuous failure density . Then the Tonelli theorem givesThus has mean zero. The identity also holds conditionally on covariates when censoring is independent conditionally on them. For an estimated hazard, the mean error is controlled by , not by pointwise fit alone.
// Target: survival-analysis.bigb
Cramér's theorem 2026-10-14
For independent and identically distributed random variables with a moment-generating function finite on an open interval containing zero, the empirical mean satisfies a large deviation principle with rate function given by the Legendre transform of a cumulant-generating function. The exponential-moment hypothesis is part of this theorem; mere integrability does not guarantee this full large-deviation principle.
Saddlepoint density approximation 2026-10-14
For independent identically distributed continuous random variables, let be finite near zero. At a mean value reached by in the interior of that domain, the displayed leading approximation describes the density of the sum . Exponential tilting by puts the sum at its tilted mean; a local normal approximation gives the denominator, and undoing the tilt gives the exponential factor. Under suitable smooth nonlattice regularity, at fixed interior the exact density is the displayed quantity times . This statistical approximation is an application of the saddle-point approximation to a transform inversion integral. It requires more than the existence of a few ordinary moments.
For the cubic-matter no-scale vacuum with an exponential dilaton, put and . At , zero energy requires . On a fixed-imaginary-part slice, gives . At the double root , the first derivative vanishes but the second is , so . Therefore begins at fourth order. This real scalar has zero quadratic mass but is not an exact flat direction of a scalar potential. The imaginary part of is still lifted quadratically, and the matter field also has a quartic leading potential. Exact flat directions instead come from the complex volume modulus along the zero-energy locus.
Minimize the displayed criterion using a Leave-one-out cross-validation estimate in the second term. Its expectation is the exact mean integrated squared error minus , which does not depend on h. With standard smoothness and appropriate search ranges, the chosen bandwidth is asymptotically optimal. Its relative fluctuations are ordinarily of order , considerably larger than the estimation error achievable by well-chosen plug-in pilots.
Subtract the diagonal variance contribution from the derivative estimate's squared norm, then insert the result into asymptotic mean integrated squared error. The expected curvature estimate equals , apart from a negligible finite-n term. This makes the resulting criterion asymptotically correct even though it is not an exactly unbiased estimate of integrated risk. Under standard conditions its selector is ratio-consistent with the optimal bandwidth and has relative fluctuation order .
Nested cross-validation 2026-10-14
Nested cross-validation separates selection from assessment using two levels of held-out data. Within each outer training fold, inner cross-validation chooses a model or tuning parameters; the complete selected fitting procedure is then applied to that outer training fold and scored on its untouched outer evaluation fold. This estimates the performance of the model selection procedure, including its choices, rather than reusing its best inner score as an assessment. A final model can then be selected and fitted using all available training data. [ref]
https://jmlr.org/papers/v11/cawley10a.html. Cawley and Talbot, selection bias and performance evaluation
Normalize three distinct points on a generalized circle by a Möbius transformation taking them to . The inverse image of the extended real line is their generalized circle, and , with , fixes that circle pointwise and squares to the identity. Changing the three normalizing points replaces by with a real-coefficient Möbius map . Since commutes with conjugation, is unchanged. Thus this construction depends only on the circle. It is inversion in a circle for an ordinary circle and Euclidean reflection for a straight line, each extended to the Riemann sphere.
There are unlisted articles, also show them or only show them.