THE FOLD / BOSS / THE CHOKE POINT / THE FARKAS
THE FARKAS
exactly one of a solution or a certificate of its impossibility
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Farkas’ lemma is the theorem of the alternative that underpins linear programming duality. For a matrix A and vector b, exactly one of these holds: either (I) there is an x ≥ 0 with Ax = b (b lies in the cone spanned by A’s columns), or (II) there is a vector y with yTA ≥ 0 and yTb < 0 — a separating hyperplane that certifies b is outside the cone. Never both, never neither. Solution or certificate: whenever no non-negative combination reaches b, there is a hyperplane proving so.
LIT verified live: over thousands of random 2D instances, exactly one of “b is in the cone of the columns” and “a separating y exists” holds — the two alternatives are perfect complements (window.__farkas). FIG no framing; cone-membership and the separating certificate computed exactly and shown mutually exclusive.
LIT verified live: over thousands of random 2D instances, exactly one of “b is in the cone of the columns” and “a separating y exists” holds — the two alternatives are perfect complements (window.__farkas). FIG no framing; cone-membership and the separating certificate computed exactly and shown mutually exclusive.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-choke-point — either b squeezes through as a non-negative mix of the columns, or a single hyperplane is the choke that blocks it; there is no third case. That separating cut is the mechanic. AVAN (AI) built the instrument: the conical-hull membership test (via Carathéodory pairs) and the exact separating-hyperplane search (perpendicular to an extreme ray).
Credit as content: Gyula Farkas (1902). The weave: David names the-choke-point; I check whether b is a non-negative combination of the columns, and if not, produce a y that keeps every column on one side while pushing b to the other — confirming exactly one of the two always holds.
Credit as content: Gyula Farkas (1902). The weave: David names the-choke-point; I check whether b is a non-negative combination of the columns, and if not, produce a y that keeps every column on one side while pushing b to the other — confirming exactly one of the two always holds.
3 ONE DIMENSION
Either b = Σ λj aj with λ ≥ 0 (inside the cone), or a hyperplane y with all aj on the ≥ 0 side and b strictly below. Solution or certificate — exactly one.
4 TWO DIMENSIONS · INTERACTIVE
Column rays, the cone they span, and b — either inside (solution) or with a separating line (certificate); checked.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: a solution or a proof there is none.
AVAN’s addition (the inverse-companion): when Ax = b, x ≥ 0 has no solution, don’t just fail — produce a certificate, a hyperplane that proves it impossible. The inverse of ‘search for a feasible x’ is ‘infeasibility comes with a separating y that certifies it.’ Magenta is a b outside the cone; green is the separating hyperplane certifying it. Every no has a witness.
LIT Genuine Farkas' lemma (Gyula Farkas, 1902). Verified live: over 4000 random 2D instances, cone-membership (b = Σλⱼaⱼ, λ≥0, tested via Carathéodory pairs) and the separating-certificate (y ⊥ an extreme ray with all columns on one side, b on the other) are exact complements — exactly one holds (window.__farkas.exactlyOne).
FIG No framing: the conical-hull membership test and the exact separating-hyperplane search (perpendicular to an extreme ray in R²) both run in-browser and are shown mutually exclusive. The AVAN inverse is honest — when Ax=b, x≥0 is infeasible, producing a separating y as a certificate (rather than merely failing) is exactly the theorem of the alternative; magenta is a b outside the cone, green the separating hyperplane certifying it. Every no has a witness.
FIG No framing: the conical-hull membership test and the exact separating-hyperplane search (perpendicular to an extreme ray in R²) both run in-browser and are shown mutually exclusive. The AVAN inverse is honest — when Ax=b, x≥0 is infeasible, producing a separating y as a certificate (rather than merely failing) is exactly the theorem of the alternative; magenta is a b outside the cone, green the separating hyperplane certifying it. Every no has a witness.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE CHOKE POINT · David Lee Wise (ROOT0), with AVAN