Zeros / CONCEPT
Positive Three-Term Root Reality
A finite positive three-term recurrence excludes a nonreal spectral parameter at a zero.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
Reality from a finite positive recurrence
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual source Jensen fixed windowstructural-affinity · Closed
- Analytic coefficient remainderstructural-affinity · Closed
- Finite Jensen coefficients and remainderstructural-affinity · Closed
- Gaussian dominated even-moment cosine seriesstructural-affinity · Closed
- Hermite local scalingstructural-affinity · Closed
- Polynomial occurrences in an isolating diskstructural-affinity · Closed
- Simple real polynomial stabilitystructural-affinity · Closed
- The original tail parameter and source identitiesstructural-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