jasonlvolk/sigma-enron-demo
SIGMA: We Contained O(n^3)
The sheaf Laplacian on the Enron email network is 170,472 x 170,472. A dense eigensolve takes 14 hours. SIGMA decomposes it so no computation ever sees more than 500 vertices.
21 seconds. 641 MB. No GPU.
Part of the stack
SIGMA computes structural verification results. SATYA packages verification outcomes as Signed Verification Receipts.
- Try the SVR verifier: jasonlvolk/satya-svr-verifier
- Receipt conformance fixtures: jasonlvolk/svr-receipts-examples
Paper
This demo is part of the public evidence stack for:
Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry. arXiv:2606.04227 (https://arxiv.org/abs/2606.04227).
Enron Email Network Results (April 15, 2026)
- 36,692 accounts, 183,831 relationships, power-law topology
- 21 seconds (i9-13900H, 64GB RAM, no GPU)
- 0.37 ms/vertex, 3,760 cells, nerve max dim 2
- 4 seeds validated, identical partition structure
- Hub vertices at degree 1,141 (degree CV = 2.609)
O(n^3) Containment
The O(n^3) eigensolve is factored into n/500 independent bounded subproblems. Each takes 0.37 ms. Total cost: O(n).
The cube didn't disappear. It got imprisoned inside a constant.
Scale Validation
47x growth in vertices. Cost per entity: flat. Zero crashes at all scales.
Decomposition Pipeline
- Hub extraction (degree > mean + 2*std)
- Hub neighbor freeze (70.3% frozen)
- Connected component detection (1,209 after hub removal)
- BFS balanced partitioning (giant component -> 2,534 chunks)
- K-doubling cap (dim > 1,600 -> immediate fallback)
- Clean split (no boundary duplication, nerve dim capped at 2)
Links
- Verifier Space: jasonlvolk/satya-svr-verifier
- Website: invariant.pro
- GitHub: github.com/Jasonleonardvolk/sigma
- Paper: arXiv:2606.04227
- Preprint: Zenodo
- Contact: jason@invariant.pro
