A physics-inspired approach to SAT solving through quantum vacuum fluctuations and the Casimir effect.
Medium Blog Post: https://medium.com/@sethuiyer/solving-sat-with-quantum-vacuum-dynamics-fa07b9cbcc5e
NEW: SAT 2024 benchmark released. https://huggingface.co/datasets/sethuiyer/navokoj_sat_2024 Reproduce the benchmark: https://navokoj.shunyabar.foo/docs/ (beta API key available till June 2026)
Looking for a industry scale, fast and accurate maxSAT approximator? Checkout https://github.com/sethuiyer/NitroSAT
This blog presents a radical reimagining of SAT solving through the lens of quantum vacuum fluctuations and the Casimir effect. We explore how partial variable assignments can be treated as physical microstates in an energy landscape, with "almost-satisfying" configurations experiencing attractive Casimir-like forces that cause coagulation into stable solution clusters.
It’s a new way of thinking about computation as a physical process. The integration of quantum vacuum dynamics into Boolean logic is as imaginative as it is rigorous. With minor theoretical tightening and hybridization for structured problems, this could become a foundational approach in the next generation of constraint-solving algorithms.
CC BY 4.0 - Feel free to share and adapt with attribution. Your attributions and citations keeps me motivated to do more research like this.
This work is available on Zenodo. You can cite all versions using:
@article{iyer2025sat,
title={Solving SAT with Quantum Vacuum Dynamics: A Physics-Inspired Approach},
author={Iyer, Sethu},
year={2025},
doi={10.5281/zenodo.17394164}
}