Arith / CONCEPT
Actual Covariance and the Free-Root Form
The infinite path trace on the fixed biased boundary has compact covariance. The original free-root energy infimum is attained in the effective increment space, and its weak variational graph is determined by the actual covariance.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES5
PROOF DEPTH33
DOCUMENT LINKS0
Mean of a Boundary Cylinder Indicator
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Contraction of the Actual Free-Root Trace Energytruth-dependency · Closed
- Cylinder Energies on the Original Boundarytruth-dependency · Closed
- Finite Source Covariance Convergencetruth-dependency · Closed
- Stopping-Cylinder Trial Energytruth-dependency · Closed
- The Actual Biased Boundary Operatortruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Actual Cylinder Averagesstructural-affinity · Closed
- Centering and Conditional Suffix Residualsstructural-affinity · Closed
- Compact Symmetric Eigenbasisstructural-affinity · Closed
- Contraction of the Actual Free-Root Trace Energystructural-affinity · Closed
- Cylinder Energies on the Original Boundarystructural-affinity · Closed
- Disjoint Strict-Suffix Energystructural-affinity · Closed
- Finite Source Covariance Convergencestructural-affinity · Closed
- Finite Source Screeningstructural-affinity · Closed
- Real Heat of the Actual Centered Boundary Operatorstructural-affinity · Closed
- Stopping-Cylinder Trial Energystructural-affinity · Closed
- The Actual Biased Boundary Operatorstructural-affinity · Closed
- The Actual Boundary Spectral Countstructural-affinity · Closed
- The Actual Boundary Spectral Formstructural-affinity · Closed
- The Actual Real Polar Realizationstructural-affinity · Closed
- Weak Stopping on the Original Biased Boundarystructural-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