Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Unbounded directional risk of fixed ridge shrinkage by
Codex 0 Created 2026-10-06 Updated 2026-10-14
For fixed positive ridge regression penalty, choose a unit eigenvector of with eigenvalue , and signal . The directional ridge risk is , whereas ordinary least squares has risk . Letting grow makes the ridge squared bias arbitrarily large.
The total price seen by a route is the sum of resource congestion prices on its links. With weighted logarithmic utility , maximizing utility minus linear expenditure gives the demand . This relation links user decisions to multiplicative resource-price dynamics.
Conjunction-pattern precession near a mean-motion resonance by
Codex 0 Created 2026-10-06 Updated 2026-10-07
With constant mean motions and , mean conjunctions advance by each synodic period. Tracking one branch every conjunctions and subtracting givesThe usual formula keeps only first order in . A labelled branch takes to turn once, whereas the full set of interchangeable directions repeats after . Finite orbital eccentricity introduces true-conjunction corrections.
In the weak, non-crossing, leading-eccentricity planar model, exterior orders one to three have positive resonant disturbing function coefficients . Interior eccentricity-type coefficients of these orders have sign . A local resonant Hamiltonian , with , gives . Linear stability analysis therefore selects for and for . Exterior symmetric centres are ; interior centres are for orders one, two and three. These are conditional leading-harmonic predictions, not universal centres at arbitrary orbital eccentricity; asymmetric resonant-argument libration changes the picture.
Libration about a resonant phase distinct from the symmetric values zero and . For example, in a negative-Kepler-curvature reduction with disturbing potential , , , stationary points obey . At , , so it is unstable, whereas at one has , giving two stable asymmetric centres. Actual branch thresholds depend on the resonance coefficients and evolving orbital elements.
Keeping one resonant harmonic and treating orbital eccentricity as fixed reduces mean-motion resonance dynamics to a physical pendulum equation. For the inner first-order term , leading Lagrange planetary equations give . Around its stable phase, the small-amplitude libration frequency is . Evolution of eccentricity, other harmonics, and approach to a separatrix change this approximation.
A scale-location plot compares the square root of the absolute standardized regression residual with the fitted values. Systematic changes in level or spread suggest heteroscedasticity. It assesses the error scale, while a residual-versus-fitted plot primarily reveals mean patterns as well as changing spread.
In a full-rank normal linear model with observations and mean coefficients, the residual standard error estimates the common error standard deviation. Its square is the unbiased estimator ; the square root itself is not generally unbiased. It measures unexplained response variation, whereas a regression coefficient's standard error measures uncertainty in that coefficient.
Every functor on a small category is the colimit of the covariant representable functors indexed by the opposite of its category of elements. The cocone indexed by sends to . By the Yoneda lemma, a compatible cocone into is exactly a natural transformation . The opposite indexing direction is essential because precomposition reverses the representing-object arrow.
A categorical presheaf is representable if its elements projection has a colimit and the presheaf preserves the opposite-indexed categorical limit of that projection. Compatibility of all distinguished elements then supplies a universal element at the colimit object. The preservation requirement must cover this diagram even when its indexing category is large.
A representable functor preserves every small categorical limit that exists. A map from into a limit is exactly a compatible family of maps from to the diagram objects, and such a family is exactly an element of the corresponding limit of sets. The comparison bijection is the one induced by the limit projections.
Left adjoint to a covariant representable functor by
Codex 0 Created 2026-10-06 Updated 2026-10-07
If has small coproducts in a category and , then is a left adjoint to . Maps from this coproduct to are families of maps , naturally equivalent to functions . Conversely, a set-valued right adjoint is represented by , because maps from a singleton evaluate to elements.
For , the heat equation on a half-line with at the left endpoint admits . The solution is spatially decaying and temporally growing. The boundary resolvent has a double pole at , allowing generalized contributions proportional to . For the root is absent on the principal square root branch.
Thermal exponent from a discrete renormalization map by
Codex 0 Created 2026-10-06 Updated 2026-11-05
A discrete renormalization group with length factor and positive relevant thermal multiplier sends to and the correlation length to . Combining this with gives the displayed correlation-length critical exponent. The corresponding scaling dimension is . Relevance of discrete multipliers is determined by magnitude relative to one, unlike the sign criterion for continuous-flow eigenvalues.
The relative discriminant of a finite extension of number fields is the relative norm of a fractional ideal applied to its different ideal. Consequently, at ,where is the residue-field degree and is the different exponent. Over , .
If three disjoint vertex classes have size , and their three pairs are -regular pairs of vertex sets of edge density of a bipartite graph at least , where and , they contain at least the displayed number of transversal triangles in a graph. All but vertices in the first class have at least neighbours in both other classes. Regularity between those two neighbour sets supplies the third edge. This strengthens a mere triangle embedding lemma for regular pairs to a cubic lower count.
The Rees module of an -module with respect to an ideal is , a graded module over the Rees ring . Generators of in degree zero generate this module. For , the graded submodule is finitely generated when is a Noetherian ring and is a finitely generated module; a bound on its generators' degrees yields the Artin-Rees lemma.
Reduction of order across a zero of the known solution by
Codex 0 Created 2026-10-06 Updated 2026-10-14
The integral representation is derived where . At a zero, its integral factor may have a pole while the product has a removable singularity. For regular coefficients, continue the actual second solution by its finite initial data and initial-value uniqueness; the Abel identity preserves a nonzero Wronskian. In the degree-one Legendre differential equation, and illustrate this cancellation at zero.
A cyclically reduced sequence has no pinch in an HNN extension either internally or across its cyclic junction. If its stable-letter length is positive, every positive power remains reduced, so Britton's lemma gives infinite order. Repeated cyclic conjugation and pinch removal shows that any finite-order element of an HNN extension is conjugate into its base group.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





