For an integer-valued underlying with European call option prices $C(T,K)=\mathbb{E}(S_T-K{)}^{+}$, the second strike difference equals $\mathbb{P}(S_T=K)$. It is the discrete counterpart of recovering a payoff probability distribution from strike derivatives.

For a martingale with increments in $\{-1,0,1\}$, European call option prices satisfy $C(T+1,K)-C(T,K)=\frac{1}{2}{\sigma }^2(T,K)(C(T,K+1)-2C(T,K)+C(T,K-1))$. At positive-probability states, the variance and the upward/downward conditional transitions are determined by this identity; transitions at zero-probability states cannot be recovered.

The Mellin transform of call prices can be inverted along a vertical contour with real part $x_0>1$: $C(k)=\frac{1}{2\pi i}{\int }_{x_0-i\infty }^{x_0+i\infty }\mathbb{E}{e}^{z\xi }/(z(z-1)e^{(z-1)k})dz$. A finite exponential moment at $x_0$ and the quadratic denominator give absolute convergence.

A sequence $(x_n)$ in $\mathbb{R}/\mathbb{Z}$ is equidistributed if the limiting frequency in every half-open interval equals that interval's length. Equivalently, its empirical probability measures converge to normalized Lebesgue measure when tested against every continuous function.

For a bounded sequence $(u_n)$ in a Hilbert space, put $c_h={\mathrm{limsup}}_{N\to \infty }|N^{-1}{\sum }_{n=0}^{N-h-1}⟨u_{n+h},u_n⟩|$. If $H^{-1}{\sum }_{h=1}^H{c}_h\to 0$, then $N^{-1}{\sum }_{n=0}^{N-1}{u}_n\to 0$ in norm. Since the $c_h$ are bounded, it suffices that $(c_h)$ has convergence in density of a sequence to zero. The proof applies the Cauchy-Schwarz inequality to an average of shifted sums.

A continuous self-map of a compact metric space is uniquely ergodic when it has exactly one invariant Borel probability measure. An irrational rotation of the circle is uniquely ergodic: invariance multiplies its nonzero-index Fourier coefficients by nontrivial phases, forcing those coefficients to vanish. The Stone-Weierstrass theorem then identifies the invariant measure as normalized Lebesgue measure.

Cutting and stacking constructs measure-preserving transformations from towers of equal-measure levels. Cut a tower into equal-width subcolumns, add new spacer levels, and stack the resulting columns. Map each level to the one above by a measure-preserving identification; subsequent stages extend the partial map. When uncovered and top-level measures tend to zero, the limiting map is defined modulo null sets.

For a measurable transformation $T$, a measure is invariant if the pushforward measure equals the original measure, or equivalently $\mu (T^{-1}A)=\mu (A)$ for every measurable $A$. This is the measure used in a measure-preserving system.

For fixed positive integers $r,t$, a graph $G$ on $n$ vertices with $e(G)=(1-1/r+o(1))n^2/2$ and no balanced complete multipartite blow-up $K_{r+1}(t)$ contains an $r$-partite subgraph $H$ with $n-o(n)$ vertices, balanced classes of size $n/r+o(n)$, and minimum degree of a graph $\delta (H)=(1-1/r+o(1))n$.

One proof first removes a vanishing fraction of vertices of low degree of a vertex, finds a slowly growing $K_r(L)$ by the Erdős-Stone theorem, and assigns almost every remaining vertex to a root class in which it has fewer than $t$ neighbours of a vertex. After discarding a further vanishing fraction, a $K_{t,t}$ inside an assigned class would extend to $K_{r+1}(t)$ using the root classes. Thus internal edges and missing cross-class edges both number $o(n^2)$. Removing the vertices with unusually many missing cross-class edges gives the stated minimum degree of a graph.

An equivalence class collects all the set elements indistinguishable from a specified set element under an equivalence relation. For an equivalence relation $R$ on a set $X$, the precise definition isThe ambient set matters: a finite class for integer congruence restricted to $\{0,\dots ,8\}$ differs from the infinite residue class for the same integer congruence on all integers. We write $[x]$ when the equivalence relation and ambient set are clear.

In the finite modulo-three example,There are nine names $[x]$ but only three distinct equivalence classes. In particular, $3\in [0]$, whereas $[3]=[0]$: the first statement is membership of a set element; the second is equality of two sets.

For any equivalence relation on $X$, the essential rule isReflexivity puts $x$ in $[x{]}_R$, so the equivalence classes are nonempty and cover $X$. If two equivalence classes share $z$, the symmetric relation property and transitivity relate their defining elements through $z$; transitivity then makes their members coincide. Thus distinct equivalence classes are disjoint, giving a partition of a set. Conversely, declare two set elements equivalent when they belong to the same block of a partition of a set. The three relation properties follow immediately and its equivalence classes recover the blocks. ^[ref]

Two functions $f:A\to X$ and $g:B\to X$, whose domains lie in one ambient set, are equivalent modulo finite changes when $A△B$ is a finite set and the functions disagree at only finitely many points of $A\cap B$. The symmetric difference inclusion $A△C\subseteq (A△B)\cup (B△C)$ handles domains in a transitive chain. An exceptional set for values must also include points of $A\cap C$ absent from the middle domain $B$; these lie in the finite difference $A\setminus B$.

For fixed positive frequency and $n\ge 1$, the equatorial shallow-water dispersion relation has real zonal wavenumbers only ifBetween these values the zonal roots are complex, giving an evanescent response rather than freely propagating modes.

For epicyclic motion in a Keplerian shearing sheet, write $x-x_0=\mathrm{Re}(A{e}^{-i\Omega t})$. The energy of the radial harmonic oscillator per unit mass is $E_{\mathrm{epi}}={\Omega }^2|A{|}^2/2$. The full horizontal Jacobi energy in a shearing sheet also includes the negative guiding-center term $-3{\Omega }^2{x}_0^2/8$.

The epicyclic guiding center is the circular-orbit location about which a particle performs epicyclic motion. In a Keplerian shearing sheet, the conserved canonical momentum is $p_y=\dot{y}+2\Omega x=\Omega x_0/2$. The guiding center therefore labels the particle's first-order specific angular momentum offset, even while its instantaneous radial coordinate oscillates.

An entanglement-breaking channel admits a Kraus representation with rank-one Kraus operators $K_j=|a_j⟩⟨b_j|$. Its Choi state is a sum of positive tensor-product operators, hence separable. Conversely, spectral decompositions of each prepared state and each POVM effect in a measure-and-prepare channel produce rank-one Kraus operators. Trace preservation imposes ${\sum }_j\Vert a_j{\Vert }^2|b_j⟩⟨b_j|=I$.

A quantum channel is entanglement breaking exactly when its Choi state is a separable quantum state. If $C_{\Lambda }={\sum }_a{p}_a{\sigma }_a\otimes {\tau }_a$, the Choi reconstruction formula gives a measure-and-prepare channel with POVM $E_a=d{p}_a{\tau }_a^T$. Conversely, applying an entanglement-breaking channel to a maximally entangled state produces a separable Choi state. Horodecki, Shor and Ruskai's entanglement-breaking channel paper develops the equivalences.

For a strictly positive Dirichlet realization of an elliptic operator with smooth coefficients and smooth boundary, put $X_0=L^2(U)$. For each integer $k\ge 1$,These are the domains $D(A_D^{k/2})$, with norms equivalent to the indicated Sobolev space norms. The bilinear forms $((u,v){)}_{2l}=(L^{l}u,L^{l}v{)}_{L^2}$ and $((u,v){)}_{2l+1}=B[L^{l}u,L^{l}v]$ are inner products on $X_{2l}$ and $X_{2l+1}$. The higher boundary conditions are essential: for $L=-d^2/d{x}^2$ and $u=x(\pi -x)$, $u$ is smooth and zero at the boundary but $L^{2}u=0$, so $\Vert L^{2}u{\Vert }_2$ is not a norm on all of $H^4\cap H_0^1$. Repeated elliptic regularity proves $A_D:X_{k+2}\to X_k$ is an isomorphism, which gives the norm equivalence inductively from $X_0$ and $X_1=H_0^1$.

Let $(w_m)$ be the orthonormal basis of Dirichlet eigenfunctions for a strictly positive Dirichlet realization of an elliptic operator, with eigenvalues ${\lambda }_m$. ThenFor integers $k$, these domains are the Sobolev domains of powers of an elliptic Dirichlet operator. At $k=0$ the condition is just Parseval identity and imposes no boundary condition. At $k=1,2$ it describes $H_0^1$ and $H^2\cap H_0^1$, respectively. Higher $k$ impose traces of powers of $L$, not only the trace of $u$. For $L=-d^2/d{x}^2$ on $(0,\pi )$, the smooth Dirichlet function $u=x(\pi -x)$ has sine coefficients proportional to $m^{-3}$ for odd $m$, so the weighted sum diverges at $k=3$ despite its ordinary $H^3$ regularity.

For a constant-coefficient elliptic differential operator $P(D)$ of order $N\ge 1$, localizing the equation gives $P(D)(\chi u)=\chi P(D)u+[P(D),\chi ]u$. The commutator has order at most $N-1$, so a global Fourier transform estimate raises the known Local Sobolev space index by one until the forcing index plus $N$ is reached.

The number $m_n$ of monomials in $n$ variables with each exponent at most two and total polynomial degree at most $\lfloor 2n/3\rfloor$ satisfiesFor each exponent vector $a$ counted on the left, $1\le 2^{2n/3-{\sum }_i{a}_i}$. Summing and then allowing all $a\in \{0,1,2{\}}^n$ gives $m_n\le 2^{2n/3}(1+1/2+1/4{)}^n$. The base has cube $343/16<27$, so it is strictly less than three. This elementary weighted count gives the exponential saving in the polynomial method in combinatorics without an unstated probability estimate.