Analytic / CONCEPT
The function Turanian can be negative
A convergent-series counterexample to the function clause of Conjecture 1.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS0
Refutation by an exact series estimate
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
- A counterexample family for Conjecture 2structural-affinity · Closed
- A counterexample to the sum-condition lower boundstructural-affinity · Closed
- A counterexample to the sum-condition upper boundstructural-affinity · Closed
- Half shifts with repeated denominator parametersstructural-affinity · Closed
- The coefficient nonnegativity assertionstructural-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