For the $n=1$, $m=1$ Hermite vertical mode of an isothermal disk, the local dispersion relation is $[(\omega -{\Omega }_K{)}^2-{\Omega }_K^2{]}^2=k^2{c}_s^2(\omega -{\Omega }_K{)}^2$. Its low inertial-frame frequency branches satisfy $\omega \simeq \pm k{c}_s/2$. These waves transport a changing tilt of successive annuli, or a warp, with group velocity $\pm c_s/2$. The vertical velocity is approximately independent of height. A rigid tilt is the zero-wavenumber, zero-pattern-frequency limit; the gas still executes vertical orbital motion at frequency ${\Omega }_K$ in its rotating frame.

In coordinates $h(x,y,z)=\left(\begin{array}{ccc}1& x& y\\ 0& 1& z\\ 0& 0& 1\end{array}\right)$, the Heisenberg group law is $h(x,y,z)h(a,b,c)=h(x+a,y+b+xc,z+c)$. Commutation for every $(a,b,c)$ forces $xc=az$, hence $x=z=0$. The center of a group is therefore the $y$-axis. The surjective group homomorphism $h(x,y,z)\mapsto (x,z)$ has exactly this kernel of a group homomorphism, giving the stated quotient group by the first isomorphism theorem.

For an admissible pointed Heegaard diagram, $C{F}^{-}$ is a free $\mathbb{Z}[U]$ chain complex with one generator for each point of ${\mathbb{T}}_{\alpha }\cap {\mathbb{T}}_{\beta }$. Each generator is an unordered selection containing exactly one intersection on each alpha circle and exactly one on each beta circle. After choosing coherent orientations,Here $\hat{\mathcal{M}}$ is the moduli space modulo strip translation, $\mu$ is the Maslov index, and $n_z$ is multiplicity at the basepoint. Holomorphic representatives have nonnegative domain multiplicities. The differential lowers grading by one and $U$ lowers it by two. Boundary strata of one-dimensional moduli spaces give the cancellation proving ${\partial }^2=0$. Its homology is $H{F}^{-}$.

Use the convention that $C{F}^{-}$ is generated by $[\mathbf{x},i]$ with $i<0$, and $U[\mathbf{x},i]=[\mathbf{x},i-1]$. The chain complexes areThe last complex is generated by $[\mathbf{x},0]$. Equivalently it is $C{F}^{-}/UC{F}^{-}$ with its absolute grading shifted up by two. The short exact sequence $0\to C{F}^{-}\to C{F}^{\infty }\to C{F}^{+}\to 0$ gives the fundamental long exact sequence. For a rational homology sphere in each Spin-c structure, $H{F}^{\infty }\cong \mathbb{Z}[U,U^{-1}]$. The plus tower is ${\mathcal{T}}_d^{+}=\mathbb{Z}[U,U^{-1}]/U\mathbb{Z}[U]$, with bottom degree $d$; its corresponding minus tower is a free $\mathbb{Z}[U]$ module with top degree $d-2$.

A smooth oriented cobordism $W:Y_1\to Y_2$ with a Spin-c structure induces $U$-equivariant maps $F_{W,\mathfrak{s}}^{\circ }$ on the corresponding Heegaard Floer homology groups. A handle decomposition defines the maps using generator selection for one- and three-handles and holomorphic triangle counts for two-handles. Composition sums over extensions of the prescribed Spin-c structures. When the boundary determinant classes are torsion, the absolute grading shift isThe square is defined using the rational relative lift. If $b_2^{+}(W)>0$, the infinity map vanishes. Between rational homology spheres, when $b_1(W)=b_2^{+}(W)=0$, the infinity map is an isomorphism of Laurent towers.

For a knot $K$ in an integral homology three-sphere and $n>0$, fix a Spin-c structure ${\mathfrak{t}}_k$ on the $n$-surgery. Write ${\mathfrak{s}}_i$ for structures on zero-surgery with $⟨c_1({\mathfrak{s}}_i),[\hat{F}]⟩=2i$, using a capped Seifert surface. In compatible labels the completed-minus triangle isOne can equally use the plus theory without completing. The first map is the congruence-restricted zero-surgery trace map; the last is the sum of reverse, orientation-reversed $n$-surgery trace maps. The middle map uses a Heegaard triple with an auxiliary lens-space generator. For $n=1$ that lens space is $S^3$, giving the usual three two-ended cobordism maps. For $n>1$ it is important to retain the auxiliary boundary and its fixed Spin-c structure. The U-adic completion of Heegaard Floer homology makes the sums of maps well-defined.

For a closed smooth oriented four-manifold $M$ with $b_2^{+}(M)>1$, remove two balls to obtain $W:S^3\to S^3$, and choose an Admissible cut for a Heegaard Floer mixed map. Positivity and naturality show that the minus map of $W_1$ lands in $H{F}_{\mathrm{red}}^{-}$, while the plus map of $W_2$ descends from $H{F}_{\mathrm{red}}^{+}$. ThusThe coefficient of the bottom plus generator in this map, applied to $U^r{\Theta }^{-}\otimes \zeta$, defines ${\Phi }_{M,\mathfrak{s}}(U^r\otimes \zeta )\in \mathbb{Z}$, up to the orientation sign, with $\zeta \in {\Lambda }^{\ast }(H_1(M)/\mathrm{torsion})$. It vanishes unless $2r+\mathrm{deg}\zeta =(c_1(\mathfrak{s}{)}^2-2\chi (M)-3\sigma (M))/4$. The construction is independent of the admissible cut by the cobordism composition and associativity laws. Two positive pieces explain the condition $b_2^{+}>1$.

For a linear output $y=w^{T}x$, the second term limits the growth produced by the Hebbian term. On the averaged dynamics with $C=\mathbb{E}[x{x}^T]$, $\tau \dot{w}=Cw-\alpha (w^{T}Cw)w$. For $\alpha >0$, positive-eigenvalue equilibria have norm $1/\sqrt{\alpha }$ and align with eigenvectors of $C$. If inputs are centered, $C$ is their covariance matrix.

With $y=w\cdot x$, the squared weight norm $s=|w{|}^2$ satisfies $\tau \dot{s}=2y^2(1-\alpha s^2)$. It moves monotonically toward $s_{\ast }={\alpha }^{-1/2}$ without crossing it. Explicitly $(s-s_{\ast })/(s+s_{\ast })$ equals its initial value times $\exp [-(4\sqrt{\alpha }/\tau ){\int }_0^{t}y(u{)}^{2}du]$. Persistent excitation therefore drives $|w|$ to ${\alpha }^{-1/4}$; without excitation it can remain stationary. This nonlinear normalization avoids the unbounded amplification of unmodified Hebbian learning.

For $L=-{\partial }_j(g^{ij}{\partial }_i)$ in geodesic normal coordinates, the Gauss lemma gives $g^{ij}{x}_i=x_j$. Substituting $F=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}{\sum }_{k\ge 0}{t}^k{B}_k$ into $({\partial }_t+L)F=0$ therefore yields $(x\cdot \nabla +k)B_k=-L{B}_{k-1}$, with $B_0=1$. Integration along radial rays gives the displayed formula. Every coefficient is smooth at the centre. Any smooth solution of $(x\cdot \nabla +k)h=0$ is zero for $k>0$, since $s^{k}h(sx)$ is constant and tends to zero at $s=0$. This proves uniqueness. In this special divergence-form case $L1=0$, so every $B_k$ for $k>0$ is zero: the Gaussian itself solves the equation exactly on the coordinate ball. The positive Laplace-Beltrami operator instead has a metric volume-density term and a nonconstant leading amplitude.

For $L=-{\nabla }^a{\nabla }_a$ on scalar functions, the leading coefficient of the heat parametrix in normal coordinates is the inverse square root of the metric volume density: $u_0=1+R_{ab}{\xi }^a{\xi }^b/12+O(|\xi {|}^3)$. The heat-kernel transport equations give $u_1(x,x)={\nabla }^a{\nabla }_a{u}_0(x,x)=R(x)/6$. This gives the displayed diagonal expansion. The coefficient is specific to the minimally coupled scalar operator; a bundle connection or a curvature-dependent potential changes the general Laplace-type coefficients.

For the positive scalar Laplace-Beltrami operator on a compact manifold without boundary, the heat invariants are the integrated coefficients $a_j={\int }_M{u}_j(x,x)d{V}_g$ in the short-time heat kernel expansion. In particular $a_0=\mathrm{Vol}(M)$ and $a_1=\frac{1}{6}{\int }_M{R}_{g}d{V}_g$, with $R_g$ the scalar curvature. They are determined by the heat trace, hence by the spectrum with multiplicities. The leading positive coefficient recovers the dimension from ${\lim }_{t\downarrow 0}\log \mathrm{Tr}(e^{-t\Delta })/\log (1/t)=d/2$.

A connected subset $C$ of Euclidean space containing distinct points $a,b$ has Hausdorff dimension at least one. The Lipschitz map $x\mapsto |x-a|$ maps $C$ onto a set containing $[0,|b-a|]$, since continuous images of connected spaces are connected. A Lipschitz map cannot increase Hausdorff dimension, whereas an interval has Hausdorff dimension one. Consequently any set of Hausdorff dimension less than one is totally disconnected.

Suppose shrinking interval covers of $F$ have length-power sums with logarithmic growth rate $P(\gamma )$, and $P$ is strictly decreasing with zero ${\gamma }_{\ast }$. For every $\gamma >{\gamma }_{\ast }$ those sums tend to zero exponentially. The definition of Hausdorff measure then gives ${\mathcal{H}}^{\gamma }(F)=0$, hence the displayed upper bound. A matching lower bound requires additional information and does not follow from this covering argument alone.

The middle-third Cantor set has Hausdorff dimensionIts Lebesgue measure is zero, yet $0<{\mathcal{H}}^d(C)<\infty$. These assertions measure different aspects of size: interval length is too coarse to distinguish this set from a null set, while the critical fractional measuring rule captures its remaining structure.

At level $n$, the construction covers $C$ by $2^n$ intervals of diameter $3^{-n}$. Their total $s$-cost isFor $s>d$ it tends to zero, proving the upper dimension bound. At $s=d$ it equals one, giving ${\mathcal{H}}^d(C)\le 1$. For $s<d$ this particular cover's cost grows, but that alone would not prove a lower bound on Hausdorff measure.

For the matching lower bound, use the Cantor distribution, which assigns mass $2^{-n}$ to each level-$n$ Cantor cylinder. An interval of length $r$ with $3^{-(n+1)}<r\le 3^{-n}$ meets at most two level-$n$ construction intervals, since their gaps are at least $3^{-n}$. Its mass is therefore at mostEvery covering set of diameter $r$ in the line lies in an interval of length $r$, so any small cover must have total $d$-cost at least $1/4$. This is the mass distribution principle in its interval form: $1/4\le {\mathcal{H}}^d(C)\le 1$, sufficient to prove the claimed dimension. The constants are convenient bounds, rather than an assertion of the exact critical Hausdorff measure. In the diagram, the right panel is a finite-stage approximation to the Cantor function, showing how probability is shared while the middle third receives none.

The reusable pattern is to obtain an upper bound by constructing covers and a lower bound by distributing mass. The same strategy underlies Cartesian powers of the Cantor set and the dimension formula for a finite similarity iterated function system satisfying the open set condition.

The mass distribution principle converts a diffuse measure into a lower bound on Hausdorff dimension. Let $s>0$ and let a Borel probability measure $\mu$ give a Borel set $E$ full mass. If, for some $C,r_0>0$, every ball centered in $E$ satisfiesthen ${\mathcal{H}}^s(E)\ge 1/C>0$ in the diameter-cost convention, and consequently ${\dim }_{H}E\ge s$.

The idea is to keep unit mass from being crowded into cheap covering pieces. For a piece $U$ of positive diameter $r$ meeting $E$, choose $x\in U\cap E$. A ball of radius $r+\epsilon$ contains $U$; letting $\epsilon \downarrow 0$ gives ${\mu }^{\ast }(U)\le C{r}^s$, where ${\mu }^{\ast }$ is the associated outer measure. Zero-diameter pieces have zero mass by the same estimate. For any sufficiently small cover,Thus every cover costs at least $1/C$. This is the lower-bound counterpart to the explicit covers in scale-restricted Hausdorff content. The Cantor distribution supplies the needed mass in Hausdorff dimension of the Cantor set. ^[ref].

Uniform fixed-aspect rectangle crossing in bond percolation bounds at the self-dual parameter yield a positive lower bound for closed dual circuits in geometrically spaced disjoint annuli. The independent annular barriers for percolation imply that an origin-to-infinity open graph path has probability zero. Parameter monotonicity gives zero percolation probability for every $p\le 1/2$.

For a positive harmonic function on the unit disc, choose a global harmonic conjugate and apply the Carathéodory derivative bound for the right half-plane to $u+iv$. This gives $|\nabla u(0)|\le 2u(0)$ by the Cauchy-Riemann equations. A disk automorphism sending zero to $z$ has derivative modulus $1-|z{|}^2$, so the chain rule gives the displayed bound. Composing a boundary-pole Poisson kernel with a disk automorphism attains equality, proving the coefficient is optimal at every point.

Planar Brownian motion started at $a+ia$, $a>0$, exits the positive quadrant through either positive coordinate axis with probability one-half. The density along each axis is $q_a(r)$ for $r>0$, measured with respect to distance along that axis. Squaring maps the quadrant to the upper half-plane and sends the starting point to $2i{a}^2$. The boundary square therefore has the centered Cauchy distribution of scale $2a^2$; pulling it back by $r\mapsto r^2$ gives the displayed density. The radius has distribution function $2\arctan (r^2/(2a^2))/\pi$, independently of which axis is chosen. There is no atom at the origin.

For $0\le \rho \le 1-1/q$, the exponential growth rate of a q-ary Hamming ball is $H_q(\rho )$. Stirling's formula gives the exponent of each summand $\left(\genfrac{}{}{0ex}{}{n}{i}\right)(q-1{)}^i$, and the sum lies between its largest term and $n+1$ times that term. Above the entropy-maximizing radius fraction, the exponent is one.

// Target: algebra.bigb