Compressed sparse storage keeps a sparse matrix as numerical nonzero values, their row or column indices, and pointers to the start of each compressed column or row. It avoids allocating all $N^2$ entries. A sparse direct solver must additionally allocate possible fill-in predicted by symbolic factorization, because elimination can create entries absent from the input.

If $H$ is formed by attaching one pendant edge to a fixed clique, each copy has a unique clique core. Its number of extensions is the number of ambient edges from that core to outside vertices. At a scale where the core count is tight and its expected extension count diverges sufficiently rapidly, a Chernoff bound uniformly over all possible cores shows that the total count, divided by the extension mean, has the same limiting law as the core count. Non-induced copies are intended; extra ambient edges are not forbidden.

Over a modular field or a complete discrete valuation coefficient ring, an indecomposable module has trivial source when a source is the rank-one trivial module of its vertex. These are precisely the indecomposable direct summands of permutation modules. A general trivial source module is a direct sum of these indecomposables.

Every nonzero finite-dimensional complex representation of a solvable Lie algebra has a common eigenvector. Equivalently, an irreducible finite-dimensional complex representation is one-dimensional; iterating gives simultaneous upper triangularization.

The solvable radical of a finite-dimensional Lie algebra is its largest solvable ideal of a Lie algebra. A Lie algebra is semisimple exactly when its solvable radical is zero.

The four-dimensional diamond Lie algebra is the semidirect product of Lie algebras of the three-dimensional Heisenberg Lie algebra with a derivation having eigenvalues zero, one and minus one. With basis $c,d,p,q$, its nonzero brackets are $[d,p]=p$, $[d,q]=-q$, $[p,q]=c$. Its derived series of a Lie algebra has dimensions four, three, one and zero. The symmetric form with $B(c,d)=B(p,q)=1$ and all other basis pairings zero is a nondegenerate bilinear form and invariant. The alternating tensor $B([x,y],z)$ is the volume form on $⟨d,p,q⟩$, verifying invariance.

When the Poisson equation for differential forms has one solution ${\alpha }_0$, all solutions are its translates by the kernel of a linear map of the Hodge Laplacian, namely the harmonic differential forms. The Hodge decomposition theorem identifies this translation vector space canonically with de Rham cohomology. There is no preferred affine origin until an extra normalization is chosen; orthogonality to harmonic forms picks the Green-operator solution.

An intergranular lane is a region between solar granules, commonly associated with cooler material and descending flow. Horizontal convergence can concentrate approximately vertical magnetic flux there. The field's geometry, diffusivity and feedback determine the actual concentration rather than the lane label alone.

The Babcock-Leighton mechanism regenerates large-scale poloidal solar flux through the emergence and dispersal of systematically tilted bipolar active regions. With Joy's law tilt, opposite polarities have different latitudes: cancellation near the equator and poleward transport of surviving following-polarity flux alter and reverse the polar field. Thus a toroidal field that produces rising bipolar regions feeds back into a poloidal magnetic field. The source is intrinsically nonlocal between the interior flux reservoir and surface emergence and is stochastic because active-region fluxes and tilts vary.

A flux-transport solar dynamo couples toroidal and poloidal field generation through meridional advection, turbulent magnetic diffusion and possibly turbulent pumping. A common model uses the surface Babcock-Leighton mechanism, differential rotation near the tachocline, poleward surface circulation and an equatorward deep return flow. If advection dominates, circulation strongly influences the cycle period and migration; if diffusion dominates, diffusive coupling is important instead. Agreement with a butterfly pattern depends on the assumed transport geometry and coefficients, not merely on including a circulation term.

An interface solar dynamo separates the region of strong differential rotation from the region of poloidal-field regeneration, often placing shear near the tachocline and an alpha effect in the convection zone. Magnetic transport across the interface couples the two regions. The separation can provide toroidal-flux storage in a relatively stable layer, but growth, period and migration depend on the transport, diffusivity contrast, and signs of the regeneration and shear coefficients.

Rotation influences convection, its helicity and differential rotation, which feed dynamo action. The generated magnetic field produces surface activity and strengthens the angular-momentum lever arm of a stellar wind. Wind braking lowers the rotation rate and ordinarily reduces unsaturated activity. Lorentz force feedback also changes the differential rotation and convective motions, saturating the dynamo on shorter time scales. Secular evolution, cyclic polarity reversal and irregular modulation are distinct time scales of this coupled system.

A solar butterfly diagram plots sunspot occurrence or magnetic flux against latitude and time. New-cycle sunspot belts appear at middle latitudes and migrate toward the equator, producing successive wing-shaped patterns. Magnetic butterfly diagrams additionally show poleward flux transport and polar-field reversals. The diagram constrains both Parker dynamo wave propagation and magnetic transport in flux-transport solar dynamos.

Bipolar solar active regions preferentially have one leading magnetic polarity in a given hemisphere and cycle, the opposite leading polarity in the other hemisphere, and reversed assignments in the next cycle. These statistical polarity rules reveal the ordered toroidal component of the solar magnetic field. Individual active regions can violate the preferred pattern, so the law is a statistical regularity rather than an exact rule for every spot pair.

A solar grand minimum is a prolonged interval, lasting several ordinary cycles, of strongly reduced sunspot activity. Historical records identify the Maunder minimum; cosmogenic carbon-14 and beryllium-10 provide longer indirect records because stronger heliospheric magnetic shielding generally reduces cosmic-ray production of these isotopes. Weak activity does not imply a zero solar magnetic field. Proposed causes include stochastic weakening of poloidal-field generation, nonlinear dynamo modulation, and intermittency near an excitation threshold.

For an orthogonal group gauge transformation $R\in O(3)$, a scalar vector transforms as $\varphi \mapsto R\varphi$. The gauge connection belongs to the Adjoint representation, identified with axial vectors: the displayed cross-product identity makes its homogeneous transformation $A\mapsto (\det R)RA$. The matrix connection also has the usual inhomogeneous derivative term. Thus $D\varphi$ transforms as an ordinary vector, including under improper orthogonal transformations. Treating both fields as ordinary vectors would fail because a cross product changes sign under an orientation reversal. A nonzero vector vacuum has stabilizer subgroup $O(2)$; its connected part is $SO(2)$.

Let $m$ be the smallest supporting prefix for a maximum left-compressed set family of $k$-sets that is t-intersecting, and set $N=n-m$. The maximum-support generator fibre gives exclusive count $\left(\genfrac{}{}{0ex}{}{N}{k-a}\right)$ for a size-$a$ generator containing $m$. By tight pairs of left-compressed generators, only classes $a,b$ with $a+b=m+t$ can conflict after deleting $m$. For unequal such sizes, replacing both classes by the shortened generators of either class would implyWhen $n\ge 2k-t+2$ and the classes have positive fibres, the reverse inequality is strict. For the remaining central class $a=t+j$, $m=t+2j$, some earlier coordinate is absent from at least $j/(m-1)$ of its shortened generators. Those generators are mutually t-intersecting. Replacing the central class by that subfamily has gain-to-loss ratio at leastwhich exceeds one exactly when $n>(k-t+1)(2+(t-1)/j)$. This forces the support bound in the small-support generating lemma for extremal intersecting families.

In infinite-population slotted ALOHA, suppose new arrivals form an independent Poisson variable of mean $\eta$ per slot and attempt immediately. At backlog $b\ge 1$, let old packets attempt independently with probability $p_b$. Their total attempted load tends to $1-\eta$, so the total offered attempts tend to one and the success probability tends to $e^{-1}$. For $0<\eta <e^{-1}$ the backlog has strictly negative drift outside a finite set, and Foster theorem proves a positive recurrent Markov chain. This mathematical benchmark requires exact backlog information; a practical feedback estimate needs its own analysis.

// Target: probability-and-statistics.bigb

If a finite-population slotted ALOHA system has at most $M$ packets eligible to retry, uses independent retry probability $0<p<1$, and has conditional probability at least $\delta >0$ of no fresh attempts in any slot, then its conditional idle probability is at least $\delta (1-p{)}^M$. The probability that the next $k$ slots all collide is therefore at most $[1-\delta (1-p{)}^M{]}^k$. Letting $k\to \infty$ and taking a countable union over starting slots excludes eventual permanent collisions. Positive lower bounds on idle probability are essential: deterministic retries at probability one can create an absorbing collision state.

The displayed distance is the normalized Hamming distance. Each coordinate mismatch between $x,z$ implies a mismatch between $x,y$ or $y,z$, so summing the indicator inequalities proves the triangle inequality. Nonnegativity, symmetry and separation follow immediately. It is a metric on profiles; on separately labelled individuals with identical profiles it is a pseudometric.