Combinatorics / CONCEPT
Cycle partitions
Complete homogeneous coefficient domination for two-regular graphs.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS0
Partitioning a cycle length increases denominator coefficients
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Brooks' theorem and connected exceptionstruth-dependency · Closed
- Cyclic tridiagonal determinants and transfer tracestruth-dependency · Closed
- Defstruth-dependency · Closed
- Forbidden Neighbour Determinanttruth-dependency · Closed
- PathCHSNormClosedFormtruth-dependency · Closed
- Power Traces from Trace and Determinant in Size Twotruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Brooks' theorem and connected exceptionsstructural-affinity · Closed
- Clique and odd-cycle surgerystructural-affinity · Closed
- Clique color extensionsstructural-affinity · Closed
- Closed walks in regular graphsstructural-affinity · Closed
- Common roots and periodic trace constraintsstructural-affinity · Closed
- Cyclic tridiagonal determinants and transfer tracesstructural-affinity · Closed
- Defsstructural-affinity · Closed
- Forbidden Neighbour Determinantstructural-affinity · Closed
- Interfacestructural-affinity · Closed
- Newtonstructural-affinity · Closed
- PathCHSNormBCSRemark43ClosedRefutationstructural-affinity · Closed
- PathCHSNormClosedFormstructural-affinity · Closed
- Power Traces from Trace and Determinant in Size Twostructural-affinity · Closed
- Regular graph CHS extremastructural-affinity · Closed
- The cycle comparison boundstructural-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