Combinatorics / CONCEPT
Entire row and column vectors on one realization
Joint indexed reconstruction on actual residual arrays.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES2
PROOF DEPTH15
DOCUMENT LINKS0
Simultaneous realization of both complete vectors
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- All prescribed frozen-line insertions in one actual arraystructural-affinity · Closed
- Arbitrarily long actual frozen runsstructural-affinity · Closed
- Commuting contractions on one actual rectanglestructural-affinity · Closed
- Every indexed positive vector has a distinct actual realizationstructural-affinity · Closed
- Exact frozen-run length countsstructural-affinity · Closed
- Exact residual transport under axis exchangestructural-affinity · Closed
- Exact signed column deletion identitiesstructural-affinity · Closed
- Explicit inverse signed insertionstructural-affinity · Closed
- Injective fixed-core length readbackstructural-affinity · Closed
- Rational weights for simultaneous positive run lengthsstructural-affinity · Closed
- The actual-core run-vector polynomialstructural-affinity · Closed
- The uniform residual polynomialstructural-affinity · Closed
- The whole actual fixed-core fiber is a product of positive vectorsstructural-affinity · Closed
- Uniqueness of the actual joint reduced corestructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance