Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
For positive interarrivals with law and locally bounded forcing , the unique locally bounded solution of is , where is the renewal measure. Iteration proves the identity: the residual is bounded on each compact interval by a constant times the probability that the sum of many positive interarrivals stays in that interval, which tends to zero.
If encoding and decoding quantum channels factor through a -dimensional space, their composite Kraus operators all have matrix rank at most . The rank bound for a weighted operator trace and the Kraus formula for entanglement fidelity implyThus high operation fidelity requires the leading eigenvalues of the source density operator to carry almost all its probability. The bound applies to arbitrary completely positive trace-preserving encoders and decoders.
Elastic scattering from a quartic scalar contact interaction by
Codex 0 Created 2026-10-06 Updated 2026-11-05
The factorial-normalized quartic vertex gives an angle-independent tree amplitude of magnitude . For equal incoming and outgoing masses, the momentum ratio in the two-body cross-section cancels. The event density for identical outgoing particles over a full sphere is . On a hemisphere representing each event once, the density is . Both conventions give total event cross-section .
With , , and , the mass-shell condition gives . In the future-directed sector , this is . Its Schrödinger equation is equivalent to the Klein-Gordon equation after multiplication by .
The differential estimate gives the displayed exponential bound by an integrating factor. Start at any time with finite information. Combining this with a zero limiting entropy yields .
For the Kac master equation and finite differentiable entropy, mass and energy conservation remove the non-logarithmic entropy terms. Symmetrizing each pair rotation then gives . The integrand is nonnegative by monotonicity of the logarithm, with the usual extended convention at zeros. Zero dissipation corresponds to radiality; it need not imply zero relative entropy.
For a regular local ring of embedding dimension , a minimal maximal-ideal generating set induces the displayed polynomial-algebra isomorphism. It is surjective in every degree. A nonzero homogeneous kernel relation would bound the cumulative Hilbert function by , contradicting the prime-chain lower bound for local length at . The graded ring is a domain; the Krull intersection theorem then shows the original ring is a domain by multiplying nonzero initial forms.
A cubic regression spline represents a mean function in a finite-dimensional space of piecewise cubic functions, with continuity of the function and its first two derivatives at chosen knots. A penalized fit minimizes a residual criterion plus , using . Unlike a full cubic smoothing spline with knots at every distinct observation, its knot set can be much smaller. The
mgcv basis bs="cr" uses a penalized natural cubic regression-spline basis with linear tails.The Regge limit of a scattering amplitude takes the center-of-mass energy invariant large at fixed momentum-transfer invariant . A leading trajectory produces a power , with signature and residue factors. For the bosonic Virasoro–Shapiro amplitude in dimensionless string variables, . This differs from fixed-angle high-energy scattering.
If a full subcategory is reflective in a complete category, it is complete. For an ambient limit of a diagram of reflected objects, the reflection unit is invertible by the hom-set characterization of reflected objects. Thus is an internal categorical limit. If the subcategory is replete, itself belongs to it. The reflector need not preserve arbitrary limits.
For a constant primordial bispectrum and large-angle transfer function , the spherical Bessel product integral reduces the radial projection to . For this equals , giving the displayed reduced CMB bispectrum. All powers of the distance cancel. Under common large-multipole scaling it behaves as at fixed shape; this is angular scale invariance, not a constant angular bispectrum. The all-monopole case has a logarithmically divergent radial tail and is excluded.
Linear cosmological transfer maps the primordial bispectrum to the reduced CMB bispectrum. A Fourier representation of the momentum delta function and three Rayleigh plane-wave expansions separate the radial transfer integrals from a Gaunt integral. The six angular factors and three Fourier measures give . The observer-position phase cancels by momentum conservation; the remaining radial position is an auxiliary integration variable.
For an isotropic, full-sky temperature map with a fixed bispectrum template , the inverse-variance-weighted cubic statistic has normalization over ordered triples. It is unbiased under the linear template relation and has Gaussian cosmic variance . The factor counts the six cross-triple Wick contractions. A removed monopole cancels the nine internal-pairing terms; incomplete sky coverage or anisotropic noise generally require a linear correction.
For real vectors of equal length and equal sum, write when for every proper initial segment; the downward arrow means decreasing rearrangement. Majorization compares how unevenly a fixed total is distributed. The uniform probability vector is majorized by every probability vector, while majorizes every probability vector. The order controls exact pure-state entanglement conversion in Nielsen's pure-state conversion theorem.
A normalized blocking kernel assigns probabilities or delta constraints for coarse-grained variables given a microscopic configuration. Multiplying the microscopic Boltzmann weight by this kernel and summing over eliminated variables defines the blocked statistical Hamiltonian. Normalization preserves the partition function exactly when all generated operators and the field-independent constant are retained. A finite-coupling truncation may lose that exactness.
For , longitudinal phase modulation of a detuned convection roll yields diffusion coefficient . The expression follows by eliminating the fast amplitude correction from the coupled linear amplitude-phase equations at small modulation wavenumber. Thus convection rolls become unstable for although they exist for . At the boundary the leading phase diffusion vanishes and higher spatial orders matter.
A real closure of an ordered field is a real closed algebraic extension whose order extends the chosen order of . Existence is the real closure theorem; uniqueness holds up to ordered field isomorphism over . A different ordering of a formally real field can produce a different ordered real closure.
A two-dimensional disk equation with pressure acceleration requires an equation of state for vertically integrated pressure in terms of surface density of a disk . A barotropic fluid closure is , with linear enthalpy perturbation . Merely giving for a volume density does not close the two-dimensional equations unless a vertical conversion is specified. Positive gives ordinary pressure restoration of an inertial-acoustic wave.
Odd variational trial gives an excited oscillator bound by
Codex 0 Created 2026-10-06 Updated 2026-10-14
An odd trial state is orthogonal to the even oscillator ground state. Its Rayleigh quotient therefore bounds the first excited energy from above, unlike an arbitrary trial state. The kinetic quadratic form permits continuous compactly supported trials with derivative jumps.
In thermal-time units, taking the Prandtl number large removes momentum inertia at leading order. The Stokes flow momentum equation then determines velocity instantaneously from the temperature perturbation, while the nonlinear heat equation retains its time derivative. Small Prandtl number does not generally give this model. An exact contrasting shear in a free-slip layer is , : it decays slowly as the Prandtl number tends to zero but is excluded by the instantaneous Stokes equation.
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





