FiniteGroups / CONCEPT
The first characteristic coefficient separating the actual Cayley graphs
The actual same-group Cayley graphs have a first characteristic coefficient difference fixed by their first return moment defect.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH10
DOCUMENT LINKS0
Equal coefficients before the return threshold and exact negative defect at the threshold
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
- Exact endpoint count for signed coordinate wordsstructural-affinity · Closed
- Exact first even return band for the two lattice quotientsstructural-affinity · Closed
- Exact returns at the first odd wrapstructural-affinity · Closed
- First moment and characteristic coefficient comparisonstructural-affinity · Closed
- First-return defect for the same actual quotientsstructural-affinity · Closed
- From actual quotient return words to simple Cayley graph momentsstructural-affinity · Closed
- One group and exact growth gaps for all odd square displacementsstructural-affinity · Closed
- Same group and diameter, different growthstructural-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