Showing quant-phShow all
3 papers · 1 filter
quant-ph2026
Proving olympiad geometry theorems on a superconducting quantum processor
Ning Wang, Zheng-Zhi Sun, Zhengyi Cui +32
Automated theorem proving seeks to use computational systems to prove or disprove mathematical and logical statements [1, 2]. It underpins a wide range of applications, and enhanci…
quant-ph2025
From Bell Products to Greenberger-Horne-Zeilinger states: Quantum Memories via emergent Hamiltonians
Anubhab Sur, Qiujiang Guo, Rubem Mondaini
With the advent of exquisite quantum emulators, storing highly entangled many-body states becomes essential. While entanglement typically builds over time when evolving a quantum s…
quant-ph2024
Creating and controlling global Greenberger-Horne-Zeilinger entanglement on quantum processors
Zehang Bao, Shibo Xu, Zixuan Song +30
Greenberger-Horne-Zeilinger (GHZ) states, also known as two-component Schrödinger cats, play vital roles in the foundation of quantum physics and, more attractively, in future quan…