rOGUEgRINGO's picture
Theory core: sheaf Laplacian, closed-form spectrum
59c4fe2 verified
|
Raw
History Blame Contribute Delete
2.75 kB
---
license: mit
tags:
- computational-chemistry
- cyclic-peptides
- applied-topology
- sheaf-theory
- structural-biology
---
# Ring Closure as Holonomy
Cyclic peptide backbones modelled as cellular sheaves over a cycle graph. The dihedral
mismatch accumulated on ring closure enters the sheaf Laplacian exactly where a magnetic
flux enters a tight-binding ring, which puts the frustration spectrum in closed form.
```
lambda_k^{+/-} = 2 - 2 cos( (2 pi k +/- theta) / N )
```
Verified against numerical diagonalisation to 4e-15.
## Status
The mathematics is verified and reproducible. The chemistry interpretation is **partially
supported and still open**. Read `FINDINGS.md` before citing anything here.
| Claim | Status |
|---|---|
| Closed-form spectrum | Verified, 4e-15 |
| Flux / Aharonov-Bohm correspondence | Verified, unitary equivalence |
| Strain laws (spectral gap and total) | Verified, exact for all N |
| Betti invariance under stiffness | Verified |
| theta extractable from coordinates | Machinery validated; identification with the model's theta **unresolved** |
| Dilution with ring size | Direction confirmed (p = 9e-38); exponent undetermined |
## The two strain laws
Two normalisations answer two different questions, and conflating them is the most likely
source of a wrong exponent:
| quantity | normalisation | closed form | limit |
|---|---|---|---|
| spectral gap | unit-norm section | `2 - 2cos(theta/N)` | `theta^2 / N^2` |
| total strain | unit per-residue amplitude | `2N(1 - cos(theta/N))` | `theta^2 / N` |
`E_tot = N * lambda_min` exactly. The second is the Kirchhoff elastic-rod law, recovered
without assuming elasticity anywhere.
## Quick start
```bash
pip install -r requirements.txt
python verify.py # theory checks, ~10 s, no network
python scaling.py # both strain laws, N = 4..256
python run_p1.py # downloads 8 CCDC structures, measures theta
```
`holonomy_extract.py` is the piece most likely to be useful standalone: correct NeRF
backbone construction, CIF and PDB readers, Bishop-frame holonomy, a Gauss-Bonnet
cross-check, and the loop-closure Jacobian.
## What this is not
Not a structure predictor and not a competitor to conformational sampling. It answers a
prior question: given a backbone's frame mismatch, can the ring close without strain, and
if not how much is irreducible. Applies to macrocycles only, since an open backbone is a
tree and carries no holonomy.
## Caveats before reuse
- Author line and affiliation in the manuscript are placeholders.
- Two 2026 arXiv references in the related-work section came from a literature pass, not
from direct reading. Verify before citing.
- The mathematics stands on its own; the biological identification does not yet.