For , the Wang sequence gives an additive splitting
The kernel is free, so the splitting exists as groups. The map in even degree is zero; the map in odd degree is multiplication by minus two.
The base class and coordinate classes all have degree one. Pullback of the mod-two intersection pairing of the Klein bottle gives . The Leray-Hirsch theorem gives the basis consisting of square-free products and . Thus the additive dimensions match those of a torus, but the degree-one squares differ for .
For fixed dimensions , a pair is classified up to vertexwise change of basis by its three ranks . The multiplicities of its interval representations of an equioriented three-vertex quiver are , , , , and . Nonnegativity is precisely the existence condition. For dimensions there are ten orbits, of which is open; its boundary has nine orbits. The two cases and show why the individual arrow ranks are insufficient.
Real de Rham intersection form in dimension four Created 2026-10-06 Updated 2026-10-07
On a compact oriented smooth manifold of dimension four without boundary, set for closed real two-forms. The Stokes theorem makes the expression independent of representatives, and the even degrees make it symmetric. It is the real de Rham cohomology version of the intersection form. The Hodge decomposition theorem and Hodge star operator express it as on harmonic representatives.
A family of words in is intersecting if any two words agree in some coordinate. For positive , its maximum size is : simultaneous cyclic shifts partition the words into classes in which distinct words never agree, and fixing one coordinate attains the resulting bound.
For odd and , an intersecting family contains at most one set from each complementary pair in the Boolean lattice. Choosing the larger member in every pair gives the displayed bound and is feasible, because all sets of size greater than intersect. For it is the unique maximizer; for other maximizing families can exist.
Intersecting shadow lemma 2026-10-06
For an intersecting family of -sets with , its lower shadow has at least as many members as the family. Apply elementary set shifts and then the ballot reflection injection to obtain this bound.
Two-intersecting family 2026-10-06
A set family is two-intersecting if for all of its members, including . In particular its members all have at least two elements. This is stronger than being an intersecting family.
For an intersecting family of -sets, some element is avoided by at most members. If two members meet exactly at , every member avoiding contains one element from each of their disjoint remainders. If no such pair exists, apply the pair-cover bound for a two-intersecting uniform family.
Intersecting two-element set family Created 2026-10-06 Updated 2026-10-14
A pairwise intersecting family of two-element sets is contained in a star graph or in the three edges of a triangle in a graph. If two members are and a third avoids , the third must be . Every member meeting all three belongs to that triangle.
For a reflexive pair with section in a preadditive category, each hom-set diagram defines a groupoid. Arrows compose when , by . Identity at is , and the inverse of is . Bilinearity proves the endpoint, identity and associativity laws and compatibility with precomposition in . In the hom-set formulation this does not assume that the composable-arrow pullback exists.
Self-concordant barrier 2026-10-06
A convex three-times differentiable barrier is self-concordant when
A barrier of parameter additionally satisfies and diverges at the domain boundary. Logarithmically homogeneous cone barriers satisfy . The orthant barrier has parameter equal to the dimension, while the Lorentz-cone barrier on has parameter two. Their Hessians define Dikin ellipsoids and control interior Newton steps.
Conic phase-I problem Created 2026-10-06 Updated 2026-10-14
An auxiliary conic optimization problem searches for strict feasibility before following a central path. Given , minimizing subject to and has a strict feasible start for sufficiently large . Any feasible solution with certifies . If the original problem is strictly feasible, a small negative is feasible. Equality constraints and dual feasibility require their corresponding auxiliary procedures.
Hydrostatic pressure continuity across both interfaces fixes the partition of current thickness. The modified current pressure is , with . The equivalent radial body force is .
The gravity force per interfacial area is , while ambient viscous traction is . Their balance gives the radial velocity scale independently of current viscosity within the appropriate plug-flow window.
When vertical diffusion equation controls depth, , while conserved excess solute mass gives . Ambient viscous resistance then leads to a spreading law. The enriched-fluid volume grows, so the fixed-volume law does not apply.
Short rate 2026-10-06
The instantaneous continuously compounded interest rate. The continuous-time bank account grows at this rate; it equals the instantaneous forward rate at current maturity.
The continuously compounded rate inferred for an infinitesimal investment interval at future maturity , as seen at time . For a unit-face-value zero-coupon bond, and the short rate is .
Discount factor 2026-10-06
A multiplicative factor converting a value into units of a chosen initial account. With the continuous-time bank account , ; discounted traded asset prices are martingales under the corresponding equivalent martingale measure.
Heath-Jarrow-Morton model Created 2026-10-06 Updated 2026-10-07
A model evolving the entire instantaneous forward rate curve. In the displayed one-factor risk-neutral measure dynamics the drift restriction makes every suitably integrable discounted zero-coupon bond price a martingale. The multi-factor form replaces the product of volatilities by their dot product.

There are unlisted articles, also show them or only show them.