{"id":"arxiv/2607.06584","url":"https://arxiv.org/abs/2607.06584","tags":["physics.pop-ph","cs.ET","quant-ph"],"score":0,"title":"A Term-Rewriting Semantics for Pure Quantum States","domain":"physics.pop-ph","source":"arxiv","authors":["Dan-Adrian German"],"reviews":0,"subject":"physics.pop-ph","summary":"In 2017, Terry Rudolph introduced an elementary rewriting system that relies on a representation of quantum states as misty states to accurately describe the basics of quantum circuits and quantum computation to high-school and middle-school students. The accessibility and effectiveness of the system are remarkable: every calculation can be done to good-enough accuracy, and perhaps with a small overhead, using just a tiny, universal set of gates chosen to take advantage of a remarkable mathematical result by Yaoyun Shi, leveraging another powerful result by A. Y. Kitaev. The misty formalism…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-05","reactions":{}}