GPU Computing on Curved Space
Classical GPU algorithms treat all vertices equally. Checkerboarding assigns the same resources to every grid cell. Branch-and-bound explores speculative paths uniformly. This uniformity assumption is the parallel postulate applied to computation — and like Euclid's fifth postulate, it's false when the space has curvature.
The Davis Manifold framework treats computational problems as geometry. Every CSP, graph algorithm, and iterative solver lives on a manifold with a curvature field. High curvature = high constraint density = where the GPU should focus. The curvature tells you where to invest compute for maximum global payoff.
This is the Davis Law C = τ/K reformulated for GPU scheduling. The trichotomy parameter gates every instance into the optimal phase combination. Classical heuristics — MRV, degree ordering, checkerboarding — emerge as degenerate cases when specific curvature weights are zeroed.
Curvature-Guided Wavefront Execution
GPU CONSTRAINT SATISFACTION
A three-phase GPU pipeline for finite-domain constraint satisfaction. The curvature field Kloc(v) — computed from saturation, scarcity, and coupling — directs GPU threads toward high-curvature cells where they have the greatest marginal impact.
| Solver | Time (15-clue) | vs. Davis GPU |
|---|---|---|
| Davis GPU (CUDA) | 20.4 ms | — |
| DLX (Dancing Links) | 77.8 ms | 3.8× slower |
| CP (Constraint Programming) | 3,066 ms | 150× slower |
| DFS (Backtracking) | 4,195 ms | 206× slower |
| Davis CPU (Python) | 25,012 ms | 1,226× slower |
Batch throughput: 260,042 puzzles/second (3.85 µs per instance). 65,536-puzzle batches at 100% solve rate. Tested on RTX 5070 (Blackwell, sm_120).
Curvature-Driven PageRank
ITERATIVE SOLVERS ON MANIFOLDS
Graph curvature variance determines solver acceleration. For vertex v, the Ollivier-Ricci curvature proxy κ(v) = (degout(v) − d̄) / d̄ measures deviation from graph uniformity. High variance σ²κ enables Gauss-Seidel with SOR to exploit geometric structure.
The honesty principle: sparse graphs (chains, binary trees, road networks) show σ²κ → 0 and zero algorithmic improvement. This is not a limitation — it's a predictable consequence of the field equations.
| Graph Type | Speedup | Iterations |
|---|---|---|
| Clustered n=10000 | 3.59× | 51 → 8 |
| Social Network n=10000 | 2.84× | 55 → 11 |
| Clustered n=1000 | 4.02× | 71 → 14 |
| Chain (sparse) | 1.00× | 71 → 71 |
| Binary Tree (sparse) | 1.00× | 111 → 111 |
Curvature-Aware Shortest Paths
SINGLE-SOURCE SHORTEST PATH
For vertex v, define connectivity curvature κ(v) = (deg(v) − d̄) / d̄. Negative curvature = "flat" region (below-average connectivity). Positive curvature = "curved" hub (above-average connectivity). The algorithm exploits this geometry with four specialized phases.
| Graph Type | Davis Wins | Avg Speedup |
|---|---|---|
| Sparse | 5/5 | 1.75× |
| Clustered | 5/5 | 1.23× |
| Grid | 3/5 | 1.24× |
| Road-like | 2/5 | 1.19× |
| Dense | 5/5 | 1.03× |
The Non-Decoupling Theorem
WHY FLAT MODELS FAIL
Theorem: A system with principal fiber bundle structure and connection ω can be modeled by decoupled (connection-free) components if and only if the curvature 2-form Ω vanishes identically.
When curvature is nonzero: (1) any flat model incurs irreducible error bounded below by the Yang–Mills functional ‖Ω‖²; (2) error concentrates where K is maximal; (3) when the bundle has non-trivial characteristic classes, no flat connection exists — decoupled models are categorically impossible.
The accumulated error is the holonomy debt. Berry's geometric phase is its canonical physical instance. The decoupling assumption — that components can be processed independently and combined later — is the parallel postulate. On curved spaces, parallel lines don't exist.
The Equations
Domain Agnostic
The framework applies to any problem expressible as variables with finite domains and pairwise constraints:
- Boolean Satisfiability (SAT) — clauses as curvature, DPLL as geodesic search
- Graph Coloring — chromatic number as holonomy obstruction
- Scheduling / Timetabling — time slots as fiber dimension
- Register Allocation — interference graph curvature
- Combinatorial Optimization — objective as energy functional