Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
If update maps preserve a finite partial order with a bottom and top state, it suffices to run those two extremal states from the same backward horizon. Equality of their time-zero images forces equality of all initial states by the order sandwich. For ferromagnetic Ising heat-bath updates, use the same updated vertex and uniform variable in every chain; the conditional probability of increases with every neighbour's spin. A block visiting all vertices once with all uniforms below the least conditional probability of maps every state to all plus, proving almost-sure termination.
For a spherically symmetric bound state, write . The radial Coulomb equation gives the displayed recurrence. Choosing terminates it after degree , producing a nonzero continuous polynomial times an exponentially decaying function. Its three-dimensional norm is finite and can be normalized. The energy is . Continuity at the origin is compatible with the Coulomb cusp; no differentiability as a Cartesian radial function at the origin is asserted.
This is cotype of a Banach space with . The Lp space has cotype 2 with constant at most : the triangle inequality for the Euclidean norm gives , and the sharp Rademacher second-moment inequality, followed by Fubini theorem, bounds this by .
In a symmetric equal mixture of two ordered pure thermodynamic phases with magnetizations , the mean spin vanishes but the large-distance two-spin expectation tends to . Thus the connected correlation function of the mixture has a nondecaying part. The correlation-function susceptibility sum rule gives an extensive contribution to susceptibility per spin. This is phase-switching response, not the connected susceptibility within one pure phase. The latter uses the thermodynamic limit followed by a one-sided zero-field limit, and subtracts the nonzero pure-phase mean before defining the correlation length.
If , every nondegenerate subinterval of eventually maps onto . Away from the critical point, lengths multiply by ; one fold loses at most a factor of two. If an interval and its image both contain zero, its second image is . Otherwise every two steps increase length by at least , which cannot continue inside bounded . Applying the intermediate value theorem to an interval that covers itself then gives a periodic point in every subinterval.
// Target: dynamical-systems.bigb
For , the core is zero when , the nonnegative unit simplex when , the single allocation when is divisible by , and empty for all other . To prove the obstruction, every -person coalition requires payoff at least one. Summing these constraints counts each player times and gives , impossible when . For a divisible , all such coalition sums must equal one. Comparing coalitions with the same members makes all individual payoffs equal when . The uniform allocation satisfies every coalition constraint because . At all proper coalition values are zero, giving the whole simplex instead.
An FFT butterfly combines corresponding outputs of two half-sized transforms using a twiddle factor . Sharing the product costs one complex multiplication and two additions. For the unnormalized positive-exponent inverse discrete Fourier transform of length , use at index .
Taxi distance convolution on a rectangular road cycle by
Codex 0 Created 2026-10-14 Updated 2026-11-05
For a taxi starting at any vertex of a rectangle with side lengths , a uniform pickup vertex gives approach-distance law uniform on . Conditional on that pickup, a uniform distinct destination gives passenger-distance law uniform on , independent of the pickup vertex. Hence the two distance variables are independent despite sharing that vertex. Their convolution has twelve equally likely pairs. Its mean is and its variance is . Repeated numerical sums combine their multiplicities when some distances coincide.
Choose a uniform random ordering of and restrict it to . The restriction is uniform, and each player's predecessor set in is contained in their predecessor set in . Increasing marginal contributions in a convex cooperative game make the full-population contribution at least the restricted contribution. Averaging proves the displayed Shapley value inequality. Summing over and using efficiency in the restricted game proves every core inequality.
For points in a triangle and two fixed endpoint vertices, the longest convex chain length is the largest number of sampled points in a convex chain joining those endpoints. It is a certifiable function: a chain of length supplies a certificate of exactly point coordinates. Changing one point changes the maximum by at most one, since deleting that point from any optimal chain loses at most one vertex. For independent uniform points, its median is and its fluctuation scale about the median is at most , as proved by convex-chain probability in a triangle and convex-chain median concentration.
For independent uniform points in with the two diagonal endpoints, the displayed formula is exact. Order the intermediate points so that both coordinates increase, and write the positive coordinate spacings as and , with each sum equal to one. The two spacing vectors have uniform simplex measure, independently, and the full ordered-coordinate region has volume . Simultaneous permutation of the spacing pairs preserves that measure, so all orders of the ratios have equal volume. Strictly increasing ratios characterize a convex chain and automatically place the intermediate points below the diagonal. Thus its ordered volume is . There are ways to assign labels, and uniform triangle density is , giving the formula. Consequently the first moment method bounds the probability of any length- chain among points by .
For nonnegative integrable functions converging almost everywhere to an integrable , convergence of their integrals implies L1 convergence. Indeed almost everywhere and is dominated by , so the dominated convergence theorem gives convergence of its integral. Use . This applies to probability densities, giving convergence in total variation distance.
For fixed independent random variables whose families have the same large deviation principle with good rate function , the product large-deviation principle gives the sum of coordinate costs. Under the minimum map, one coordinate must equal and the others must be at least , yielding the displayed rate function. If is convex with unique zero , then for and for .
For , the contraction principle for large deviations under scalar clipping gives in , the displayed endpoint costs, and infinite cost outside . The endpoint costs can differ from and because clipping collects a whole input tail into a single output atom.
Mass-averaged temperature maximum in a partially degenerate polytrope by
Codex 0 Created 2026-10-14 Updated 2026-11-05
For a homologous stellar polytrope of index , take and zero surface pressure. The stellar virial theorem, with , givesThe normalized density profile fixes independently of mass and radius at fixed composition. Writing shows that its maximum is , at . Below this radius contraction increases the fraction of support provided by electron degeneracy pressure and lowers the thermal temperature. A fixed normalized profile also fixes the ratio of central to mass-averaged temperature, giving a hydrogen-burning minimum mass.
Coverage of antipodal points by a randomly oriented sector by
Codex 0 Created 2026-10-14 Updated 2026-11-05
For a sector of width and an independent uniformly distributed central bearing, a specified bearing is covered with probability . Two antipodal bearings cannot both be covered when . For , the allowable centre arcs overlap in two components of length , proving the displayed conditional probability. Averaging over the width's probability density function gives unconditional coverage probabilities.
Equilibrium distribution of a continuous-time Markov chain by
Codex 0 Created 2026-10-14 Updated 2026-11-05
An Equilibrium distribution of a continuous-time Markov chain is a probability row vector invariant under its transition semigroup:It satisfies when the generator sums are defined. An invariant law is a property of the entire evolution, so formal generator equations must be interpreted with the process's nonexplosion and domain conditions.
For a finite irreducible chain, the equilibrium distribution is unique and every transition row converges to it. For a general finite chain, the limiting row from state is a mixture of the stationary distributions of its closed irreducible classes:The chain eventually enters one of these classes and then mixes within it. If every closed class is a single absorbing state, this reduces to absorption probabilities at those states. Merely having some absorbing states does not exclude other closed classes.
Holding times explain the link to an embedded jump chain. For a finite irreducible chain with strictly positive exit rates and jump-chain Stationary distribution , the time-stationary distribution isVisit frequency is multiplied by mean time per visit. In the countable setting, these time weights need a finite positive normalizer and a nonexplosive process before they define an equilibrium probability. For an alternating two-state jump chain, and rates give : slower holding rates increase time occupancy.
A continuous-time Markov chain with finite holding rates is nonexplosive when its jump times have no finite accumulation almost surely. It then remains in its specified state space at every finite time, rather than being lost to a cemetery state after infinitely many jumps. Bounded rates are sufficient for nonexplosion, but finite rates at individual states alone are not.
Hitting probabilities for a velocity-switching Markov ladder by
Codex 0 Created 2026-10-14 Updated 2026-11-05
Consider states for integer levels and strictly positive rates . From the chain moves to at rate and to at rate . From , , it moves to at rate or to at rate . At the reflecting boundary there is only the switch to ; no negative level is allowed. All rates are bounded, so the chain is nonexplosive.
Let be the probability of hitting , with . First-step equations arewith the first equation also valid at . Put . If , then andSubstitution verifies both equations and the boundary. Eliminating the variables gives a second-order recurrence with modes . The displayed decaying solution is the minimal nonnegative harmonic solution and hence the Hitting probability.
When , the growing mode is excluded by boundedness; at equality the second mode is linear and is likewise excluded. The only bounded solution with the boundary value is one, proving almost-sure hitting. Since the specified reflected chain is irreducible, these cases classify it as recurrent or transient respectively. Specifying the boundary rule is essential for that recurrence statement; making absorbing would be a different chain.
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





