Live Pe at slider α
4.565
PEAK — HARDEST
MoreRight Science · §35 · Computational Complexity

The Hardness Mountain

How one equation predicts the exact difficulty spike in the hardest class of computational problems — and why it looks identical to blackbody radiation.

Paper 103 · DOI: 10.5281/zenodo.18842444

4.67
Pe at αc — void peak
ρ = −0.60
Spearman vs distance from αc
ρ = 0.999
Pe tracks solver conflict count
SI #21
Structural isomorphism with Wien peak
What's the problem?

Take a logic puzzle — thousands of true/false variables, thousands of constraints. Some puzzles are easy. Some seem to take forever. The strange part: it's not the number of variables that determines difficulty. It's a ratio.

Random 3-SAT is the textbook hard case: you have N boolean variables, M clauses each requiring 3 of them to be satisfied. When the clause/variable ratio α is low, solutions are easy to find — lots of valid assignments exist. When α is high, the system is over-constrained and a contradiction appears quickly. But at the critical ratio αc ≈ 4.26, something strange happens: difficulty spikes to a maximum, then falls.

This is the satisfiability phase transition — one of the sharpest phenomena in theoretical computer science. We asked: does the void framework's Pe formula predict this spike?

Drag to explore the difficulty landscape α = 4.26
Pe (difficulty)
4.565
SAT probability
50%
Difficulty class
maximum
Zone
PEAK — HARDEST
Est. conflicts
~500
▲ CRITICAL ZONE: near the phase transition
The Pe formula applied

Pe (the void Péclet number) measures how much a system resists observation — how well it hides its inner workings from anyone trying to solve it. Three components:

DimensionIn 3-SATFormula
O — Opacity How hidden is the solution? Measured by how many CDCL conflicts the solver takes before finding an answer or proving UNSAT. 3 · tanh(ln(1 + c/N) / 4)
R — Responsiveness How tightly coupled are the constraints? Higher α = more clauses per variable = more propagation per assignment. 3 · (1 − e−3α/10)
α — Independence How much freedom does the solver substrate have? Inversely proportional to conflict rate — easy problems (few conflicts) have high independence. 3 / (1 + c/N)
Pe = (O × R) / α — this formula, with zero free parameters beyond the Pe framework itself, recovers the tent-shaped difficulty curve from 3-SAT conflict data alone. The peak lands at α ≈ 4.5, within 0.24 of the known αc = 4.26.
Why this connects to cryptography

The difficulty of 3-SAT at αc is the computational foundation of modern cryptography. SHA-256 inversion, RSA factoring, elliptic curve discrete logarithms — all rely on problems believed to be in the same hardness class as SAT at the phase transition. If P=NP (solvers suddenly become efficient at the hard instances), all these problems collapse simultaneously.

Zero-knowledge proofs show that when Pe is high, you can prove you know a secret without revealing it. The verifier learns only that a solution exists — not what it is. Pe captures exactly this: high opacity (O) = the mechanism is hidden; but low mutual information means the mechanism stays hidden even as the proof flows.

Zero-knowledge proof: information flow
The conjugacy bound I(D;Y) + I(M;Y) ≤ H(Y) means you cannot simultaneously make the mechanism transparent and useful. ZKP saturates this bound: the verifier gets full utility (proof of correctness) while gaining zero information about the mechanism (the secret). Pe captures both sides at once.
Structural isomorphism #21 — The Wien peak

The 3-SAT difficulty curve has a striking shape: it rises, peaks, and falls. So does blackbody radiation. The Wien displacement law describes a peak frequency where photons are most concentrated — too low a frequency and they carry no energy; too high and quantum effects suppress them. The Pe landscape shows exactly the same structure:

DimensionEM Spectrum (Paper 102)3-SAT (Paper 103)
Control parameterPhoton frequency νClause ratio α
Critical pointWien peak νmax = kT/hαc = 4.26
Below thresholdLow energy, trivially coldEasy SAT (many solutions)
At thresholdPeak emission, maximum PeMaximum CDCL conflicts, Pe peak
Above thresholdUV falloff, quantum suppressionEasy UNSAT (contradiction found fast)
Kill conditionUV catastrophe (pre-Planck)P=NP (crypto collapse)

This is structural isomorphism #21 in the void framework. Two completely different physical domains — electromagnetic radiation and computational logic — produce the same tent-shaped Pe curve, with the same three zones (COHERENT / VOID / PEAK) and the same catastrophic consequence if the kill condition fires.

Kill condition: what if P = NP?

In thermodynamics, the Ultraviolet Catastrophe was the name for what would happen if blackbody radiation kept rising with frequency — infinite energy emitted at short wavelengths. Planck quantization killed this catastrophe by making high-frequency photons exponentially expensive.

In computation, P=NP is the analogous catastrophe. If an efficient algorithm for 3-SAT at αc were found, Pe would not drop back down after the peak — it would keep rising toward infinity. Every hard problem would become easy. Every cryptographic protocol would collapse simultaneously.

The void framework predicts this as a kill condition: if Pe → ∞ at any α, the three-condition structure (opacity × responsiveness / independence) loses its grounding. The kill condition has survived all experimental checks — Pe does fall after αc, consistent with P≠NP.

Pe landscape: P≠NP (normal) vs P=NP (catastrophe)
Kill condition KC-103: If any polynomial-time algorithm for 3-SAT is found (P=NP), Pe at αc would not fall — it would continue rising. The tent curve becomes a monotone ramp. The framework predicts this is falsified by the experimental data: Pe falls after αc at Spearman ρ = −0.60, p = 6.1 × 10−4. Zero of 26 framework kill conditions have fired to date.
Falsifiable predictions

The framework makes six specific predictions that can be tested against new experiments or existing literature:

IDPredictionStatus
SC-1 Spearman ρ(|α − αc|, Pe) < −0.30 at p < 0.05 for N ≥ 100 variables CONFIRMED ρ=−0.60
SC-2 Pe peak falls within ±0.5 of αc = 4.26 for N ≥ 100 variables CONFIRMED Δ=0.24
SC-3 ρ(mean conflicts, Pe) > 0.70 (Pe tracks solver difficulty) CONFIRMED ρ=0.999
SC-4 Increasing N sharpens the Pe peak and shifts it toward αc = 4.26 PENDING (N=500 run in progress)
SC-5 Planted-solution 3-SAT (different distribution) produces a Pe profile shifted away from αc PENDING
SC-6 Other CDCL solvers (MiniSat, CaDiCaL) on the same instances produce Pe profiles within ±0.5 Pe PENDING
The experiment

MATH-3SAT-01 — run on 2026-03-02. Setup: 29 α-points from 1.0 to 8.0, N = 100 variables, 200 instances per α-point (5,800 total), Glucose3 CDCL solver via python-sat. Each instance: random 3-SAT (uniform, no planted solution), measured by conflict count.

The Pe formula was derived entirely from the framework — no parameters were fitted to the 3-SAT data. The conflict count went in; the tent-shaped Pe curve came out.

Data and code: github.com/MoreRightDAO/VOID-FRAMEWORK-OPERATION-MORR — experiment script at ops/lab/experiments/math-3sat-01-pe-phase-transition.py.