Constants / CONCEPT
Positive Jacobi Cholesky Weights
A symmetric Jacobi matrix with positive characteristic roots has positive recursive Cholesky weights and the forbidden-neighbour determinant polynomial.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH2
DOCUMENT LINKS1
Positive roots give the recursive positive chain factor
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
- Binary kite-shaped quadratic formsstructural-affinity · Closed
- Counting legal-word toggle edges by deletionstructural-affinity · Closed
- Degrees and the sharp count bound for legal wordsstructural-affinity · Closed
- Even double paths with a nonempty loop setstructural-affinity · Closed
- Forbidden Neighbour Determinantstructural-affinity · Closed
- Forbidden-Neighbour Trace and Extensionstructural-affinity · Closed
- Relation-Space Growth for Admissible Wordsstructural-affinity · Closed
- The constraint polynomials of the two-photon Rabi model at and beyond the critical couplingstructural-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