A Feigenbaum fixed point is an even analytic unimodal interval map $g$ with $g(0)=1$, a critical maximum of even order $d$, $a=g(1)\in (-1,0)$ andIn the quadratic class $g^{\prime \prime }(0)<0$. Its spatial scaling uses the Feigenbaum constants convention $\alpha =-1/a$; the values depend on the critical order. The central restrictive intervals are successively reduced by $|a|$ under renormalization. This fixed point describes the limiting shape of repeatedly renormalized maps at a period-doubling accumulation.

// Target: dynamical-systems.bigb

Fix $R>1$ and write $h(z)={\sum }_{n\ge 0}{h}_n((z-1)/R{)}^n$ with absolutely summable real coefficients. The coefficient space is a Banach space under $\Vert h\Vert ={\sum }_n|h_n|$. The normalized even maps $p(x)=1-x^{2}h(x^2)$ form an affine copy of that space and are analytic where $|x^2-1|<R$. On any smaller coefficient disk, the tail beyond degree $N$ is bounded by $q^{N+1}{\sum }_{n>N}|h_n|$ for a radius ratio $q<1$. Analytic composition and Cauchy estimates on smaller domains permit certified derivative and truncation bounds. A small ball about an admissible map must additionally preserve the quadratic critical maximum and restrictive-interval conditions; the coefficient norm alone does not impose them.

// Target: banach-space.bigb

The length-$23$ binary Golay code is the cyclic code over ${\mathbb{F}}_2$ generated byIt has dimension $12$, minimum Hamming distance $7$, and its radius-$3$ Hamming balls partition ${\mathbb{F}}_2^{23}$. Its parity extension has length $24$, dimension $12$, and minimum Hamming distance $8$.

// Target: algebra.bigb

For translation-invariant independent bond percolation with finite percolation susceptibility $\chi ={\sum }_y\mathbb{P}(0\leftrightarrow y)$, the BK inequality gives $\mathbb{E}|C_0{|}^k\le (2k-3)!!{\chi }^{2k-1}$ for $k\ge 1$, with $(-1)!!=1$. Prune a connecting open tree for the $k+1$ labelled vertices, suppress unmarked degree-two vertices, and split higher branching into binary branching with zero-length connections. There are $(2k-3)!!$ binary tree topologies and $2k-1$ connections. The connections have disjoint bond witnesses, so the BK inequality bounds their joint probability by a product of two-point connection probabilities. Summing successive leaves contributes $\chi$ for each connection. Since $(2k-3)!!\le 2^{k-1}(k-1)!$, this proves $\mathbb{E}{e}^{t|C_0|}\le 1-(2\chi {)}^{-1}\log (1-2t{\chi }^2)$ for $0<t<(2{\chi }^2{)}^{-1}$. Finite percolation susceptibility therefore gives an exponential cluster-volume tail.

For independent $R_i\sim \mathrm{Bin}(n_i,p_i)$, a group with $n_i=0$ necessarily has $R_i=0$ and contributes likelihood one. Its probability parameter is unidentifiable and supplies no restriction to test. If $k$ groups have positive sample sizes, the unrestricted model has $k$ probability parameters and the common-probability model has one; the asymptotic homogeneity test therefore has $k-1$ degrees of freedom. Zero expected-count rows must be removed rather than divided by in the Pearson statistic.

A nonstandard model of Peano arithmetic is a model not isomorphic to the standard natural-number structure. It contains the standard numerals as an initial segment and also contains elements larger than every standard numeral.

The theory of true arithmetic consists of all first-order arithmetic sentences true in the standard natural-number structure. It is complete but not computably enumerable.

Gentzen's consistency argument associates finite arithmetic derivations with effective ordinal notations below epsilon zero. An alleged contradiction admits an effective proof reduction preserving the contradictory end-sequent and strictly decreasing the assigned ordinal. Termination would therefore produce a normal contradiction, excluded by inspection of the logical rules and true atomic axioms. This explains why the relevant transfinite induction principle implies formal consistency statement. For a finite slow-well-ordering formulation one additionally needs the controlled-termination miniaturization theorem, rather than assuming that ordinary proof reductions have linearly growing size. The reduction program is discussed in math.stanford.edu/~feferman/papers/reductive.pdf .

Primitive recursive arithmetic formalizes primitive recursive functions, their defining equations, and quantifier-free induction. It is a weak arithmetic base for coding finite syntax and checking effective proof reductions. Assertions that a combinatorial principle implies formal consistency statement must specify such a base or another arithmetic metatheory.

This subsystem of second-order arithmetic allows comprehension for arithmetical formulas and induction in its standard restricted presentation. Its first-order arithmetical consequences are those of Peano arithmetic. It is a useful base for comparing well-quasi-ordering principles with ordinal notation systems without assuming their global well-foundedness.

For noninteracting spin-half particles with dispersion $E=cp$, the two spin populations at common chemical potential $\epsilon$ are $V(\epsilon \pm \mu B{)}^3/(6{\pi }^2{\hslash }^3{c}^3)$. Fixed total number changes $\epsilon$ only at quadratic order in $B$. Their population difference is therefore $3N\mu B/(c{p}_F)$ to first order, giving the displayed magnetic moment. Only the specified spin-energy splitting is included, not orbital magnetic effects.

A path-dependent contingent claim whose payoff depends on the running minimum or maximum of the underlying stock. Floating-strike calls and puts pay $S_T-{\min }_{u\le T}{S}_u$ and ${\max }_{u\le T}{S}_u-S_T$, respectively. Fixed-strike versions use positive parts of the difference between a running extremum and a specified strike. A sufficient pricing state contains the current price and the relevant running extremum.

In the incoherent massless collinear parton approximation, $f_f(\xi )d\xi$ is the number of quarks in a momentum-fraction interval, not a covariantly normalized external state weight. A single-particle response divided by its external-state normalization is proportional to $w/(2k^0)$; the hadron normalization is $2P^0$. Thus converting a number-weighted parton sum to the target tensor contributes $P^0/k^0=1/\xi$. This gives the displayed convolution, including antiquarks. The spin-averaged electromagnetic parton tensor and $\delta (2\xi P\cdot q-Q^2)=\delta (\xi -x)/(2P\cdot q)$ then give $F_1=\frac{1}{2}{\sum }_f{Q}_f^2(f_f+{\bar{f}}_f)$ and $F_2=x{\sum }_f{Q}_f^2(f_f+{\bar{f}}_f)$, proving the Callan-Gross relation at this order. Target masses, transverse momentum and radiative effects are beyond this leading approximation.

For a sphere partially below a planar melting isotherm, write $c=\cos {\theta }_0$ and depth $a(\cos \theta -c)$. Local premelting gives film thickness $d^3=K/(\cos \theta -c)$. Conservation in the thin spherical film gives flux $Va\sin \theta /2$ and pressure $p=3\mu V{a}^2(\cos \theta -c{)}^2/K$. Integrating vertical repulsive and hydraulic stresses over the wetted cap yields the displayed speed. The unknown thermodynamic constant $K$ cancels, but a narrow rim where the film ceases to be thin is excluded from the leading approximation.

If $b_s={\sum }_j(A_{sj}{a}_j+B_{sj}{a}_j^{†})$ and the state is the in-vacuum, put $n_s={\sum }_j|B_{sj}{|}^2$ and $c_s={\sum }_j{A}_{sj}{B}_{sj}$. The canonical commutation relations give $N_s^2=b_s^{†2}{b}_s^2+N_s$. Acting with $b_s^2$ on the vacuum produces $c_s|0⟩$ and a two-particle vector whose squared norm is $2n_s^2$, because its two possible vacuum contractions have equal contributions. This proves the displayed second moment and $\mathrm{Var}(N_s)=n_s(n_s+1)+|c_s{|}^2$. A thermal-mode formula requires $c_s=0$; a general squeezed vacuum state need not satisfy that restriction.

An axisymmetric gravity-current box model with no entrainment and negligible suspended-particle volume loss has constant bulk volume $\mathcal{V}$, uniform height $h$, and uniform particle volume fraction $c$. For an absorbing horizontal bed and downward settling velocity $w_s>0$, particle mass conservation gives $\dot{c}=-w_{s}c/h$. A constant front Froude number closes spreading by $\dot{R}=\mathrm{Fr}\sqrt{g_{0}ch}$, where $g_0=g({\rho }_p-{\rho }_a)/{\rho }_a$ is buoyancy per unit volume fraction. This model describes the mixed bulk and its head closure, not the initial inertial blast or a resolved head shape.

With reduced gravity $b$ and settling velocity $V_s$, a mixed rectangular-channel current obeys $Dh=-h{u}_x$, $Du=-b{h}_x-h{b}_x/2$, $Db=-V_{s}b/h$, where $D={\partial }_t+u{\partial }_x$. The characteristic speeds are $u,u\pm c$, with $c^2=bh$. Along the latter curves,The density differential matters: $u\pm 2c$ are Riemann invariants only when the reduced gravity is constant without deposition.

A steady well-mixed dilute particle-laden gravity current above an absorbing porous bed loses carrier fluid at speed $W$ and particles at total downward speed $W+V$, where $V$ is their relative settling velocity magnitude. Volume conservation and the particle budget give $Q=Q_0-Wx$ and $\varphi =(Q/Q_0{)}^{V/W}$ for $W>0$. The momentum conservation equation is $(Q^2/h+g_0^{\prime }\varphi h^2/2{)}^{\prime }=-Wu$ if the withdrawn fluid carries its local horizontal velocity. Consequently $u{u}^{\prime }+g_0^{\prime }\varphi h^{\prime }+g_0^{\prime }h{\varphi }^{\prime }/2=0$. At $W=0$, $\varphi =e^{-Vx/Q_0}$ and the momentum flux is constant.

The quantifier-free type of a tuple records all atomic and negated atomic formulas it satisfies, equivalently all quantifier-free formulas. Equal such types identify the generated substructures by sending each term value at one tuple to the value of the same term at the other tuple. Equality formulas make this correspondence well defined, and the relational formulas make it an isomorphism.

Define $f(x,y)=xy/(x^2+y^2)$ away from the origin and zero at the origin. Both partial derivatives exist everywhere and are zero at the origin, yet along $x=y$ the function is $1/2$, so it is not continuous there. Coordinate-axis derivative tests do not control all neighboring directions.