A Term-Rewriting Semantics for Pure Quantum States

• URL: http://arxiv.org/abs/2607.06584v1
• Date: Sun, 05 Jul 2026 03:54:19 GMT
• Title: A Term-Rewriting Semantics for Pure Quantum States
• Abstract summary: In 2017, Terry Rudolph introduced an elementary rewriting system that relies on a representation of quantum states as misty states.<n>We argue that the misty formalism can effectively be used to facilitate a transition to the full, conventional quantum-mathematical apparatus.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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 greatly simplifies calculations and makes them accessible to first-time learners using only simple arithmetic, and without sacrificing accuracy; it, too, is universal, inasmuch as you can use it to do any quantum calculation with maybe just a small overhead. We don't advocate that we should recast all of quantum theory into this formalism. The misty state picture is a good way of getting people to the heart of some nontrivial quantum theory without having to first absorb a huge amount of (what might initially seem largely) irrelevant math. Our argument is that the misty formalism can effectively be used to facilitate a transition to the full, conventional quantum-mathematical apparatus. To this end, we start by reviewing the original proposal, consider its strengths and limitations, and show it in action via entanglement swapping. We then extend the formalism through a new category of (irreducible) misty states acting as fixed points, and present the GHZ game in this new, general setting and representational semantics.

Related papers

• Universal quantum computation using Ising anyons from a non-semisimple Topological Quantum Field Theory [0.058331173224054456]
  We propose a framework for topological quantum computation using newly discovered non-semisimple analogs of topological quantum field theories in 2+1 dimensions.<n>We show that the non-semisimple theory introduces new anyon types that extend the Ising framework.
  arXiv  Detail & Related papers  (2024-10-18T21:03:07Z)
• Postulating the Unicity of the Macroscopic Physical World [0.0]
  We argue that the unicity of the macroscopic world is a fundamental postulate of physics, rather than an issue that must be mathematically justified or demonstrated. This is made possible by using general operator algebras to extend the mathematical description of the physical world towards macroscopic systems.
  arXiv  Detail & Related papers  (2023-10-09T19:21:36Z)
• Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing [0.0]
  We give here a new set of rewrite rules for the formalism "Sum-Over-Paths" We show that it is complete for "Toffoli-Hadamard", the simplest approximately universal fragment of quantum mechanics. We also show how to perform sums and concatenation of arbitrary terms.
  arXiv  Detail & Related papers  (2023-07-26T14:40:21Z)
• Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
  The first complete equational theory for quantum circuits has only recently been introduced. We simplify the equational theory by proving that several rules can be derived from the remaining ones. The complete equational theory can be extended to quantum circuits with ancillae or qubit discarding.
  arXiv  Detail & Related papers  (2023-03-06T13:31:27Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical. We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more. Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
  arXiv  Detail & Related papers  (2023-03-02T14:18:17Z)
• The power of noisy quantum states and the advantage of resource dilution [62.997667081978825]
  Entanglement distillation allows to convert noisy quantum states into singlets. We show that entanglement dilution can increase the resilience of shared quantum states to local noise.
  arXiv  Detail & Related papers  (2022-10-25T17:39:29Z)
• Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
  We present an approach where the quantum computation is supplemented by a classical result. Taking advantage of its anticipation also leads to a new type of quantum measurements, which we call anticipative. In an anticipative quantum measurement the combination of the results from classical and quantum computations happens only in the end.
  arXiv  Detail & Related papers  (2022-09-12T15:47:44Z)
• Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic [0.0]
  The mathematics/formalism of quantum, compared with classical, physics, may be fairly basically characterized by non-commutative algebras replacing commutative. One may have the latter only in a haven' of approximately commutative algebras of quasi-classical macroscopic observables', and moreover that yes-no actual world' would plainly be an extra ingredient' to the base quantum theory itself.
  arXiv  Detail & Related papers  (2021-12-30T22:03:33Z)
• A Mechanical Implementation and Diagrammatic Calculation of Entangled Basis States [0.0]
  We give for the first time a diagrammatic calculational tool of quantum entanglement. When two or more particles are correlated in a certain way, no matter how far apart they are in space, their states remain correlated. Our results seem to advocate the idea that quantum entanglement generates the extra dimensions of the gravitational theory.
  arXiv  Detail & Related papers  (2021-12-20T00:31:48Z)
• Operational Resource Theory of Imaginarity [48.7576911714538]
  We show that quantum states are easier to create and manipulate if they only have real elements. As an application, we show that imaginarity plays a crucial role for state discrimination.
  arXiv  Detail & Related papers  (2020-07-29T14:03:38Z)
• There is only one time [110.83289076967895]
  We draw a picture of physical systems that allows us to recognize what is this thing called "time" We derive the Schr"odinger equation in the first case, and the Hamilton equations of motion in the second one.
  arXiv  Detail & Related papers  (2020-06-22T09:54:46Z)
• From a quantum theory to a classical one [117.44028458220427]
  We present and discuss a formal approach for describing the quantum to classical crossover. The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
  arXiv  Detail & Related papers  (2020-04-01T09:16:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.