Arith / CONCEPT
Integer Fischer Selector
Fischer's determinant inequality gives a positive logarithmic loss independent of matrix dimension.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH4
DOCUMENT LINKS1
A two-coordinate principal block
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Catalan Difference Moment Ratiosstructural-affinity · Closed
- Discrete Logarithmic Selectorstructural-affinity · Closed
- Equality in the Log-Determinant Divergencestructural-affinity · Closed
- Hadamard Bound for Integer Matricesstructural-affinity · Closed
- Nonnegativity of the Log-Determinant Divergencestructural-affinity · Closed
- Squared-Catalan Hankel Growthstructural-affinity · Closed
- Squared-Catalan Hankel Limitsstructural-affinity · Closed
- Weighted Discrete Logarithmic Selectionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance