Analytic / CONCEPT
Finite Ramanujan Divisor Identity
The normalized sum of finite Ramanujan phases over the divisors of d is the indicator that d divides n.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS0
The sum over all divisor moduli
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
- Circulants and odd cosine pairingstructural-affinity · Closed
- Evaluation and closed facesstructural-affinity · Closed
- Interlace fan definitionsstructural-affinity · Closed
- Original primitive-path orbits and forward gyrationstructural-affinity · Closed
- Rational faces of the interlace fanstructural-affinity · Closed
- Rational values and root ordersstructural-affinity · Closed
- Roldán's integral circulant energy conjecturestructural-affinity · Closed
- The polynomial coefficient certificate for integral circulant energystructural-affinity · Closed
- Zhi-Wei Sun's OEIS A228884 composite gcd-determinant 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