[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84929-en":3,"doc-seo-84929-105":30,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":13,"seo_description":14,"update_tm":28,"read_time":29},84929,687197207639,"Asher","https://ap-avatar.wpscdn.com/davatar_a8503ba1806abce46bf441b54a3ca4cd",8,"Research & Report","A Term-Rewriting Semantics for Pure Quantum States","A Term-Rewriting Semantics for Pure Quantum States extends Terry Rudolph’s 2017 “misty states” rewriting system, which simplifies quantum-circuit and quantum-computation calculations into diagrammatic rules suitable for first-time learners. The paper reviews original strengths and limitations, demonstrates entanglement swapping, and argues the formalism enables universal quantum calculation with small overhead. It then introduces irreducible misty states as fixed points, develops representational semantics, and frames the GHZ game in this expanded setting to bridge toward conventional quantum-mathematical tools.","arXiv :2607 .06584v1 [physics .pop-ph] 5 Jul 2026  \nA Term-Rewriting Semantics for Pure Quantum States  \nDan-Adrian German [0000−0002−3746−1631]  \nLuddy School of Informatics, Computing and Engineering  \nIndiana University, Bloomington IN 47408, USA [dgerman@iu.edu](dgerman@iu.edu)  \nAbstract. 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.  \nKeywords: Quantum computing · Rewriting systems · Mathematics of quantum mechanics · Misty states formalism · First-time learners · Entanglement swapping · GHZ game.  \n1 Introduction  \nIn 2017 Terry Rudolph published a slim volume entitled “Q is for Quantum” [3] . Soon thereafter Ken Zetie reviewed the book in The Mathematical Gazette [1] and wrote: “Terry Rudolph is a professor of physics at Imperial College, London who works and publishes in the field of quantum theory. I point this out 1  \n1 Terry Rudolph is also one of the founders of the company PsiQuantum [6,7,8] where he is also chief architect having invented the fusion-based quantum computing approach upon which PsiQuantum’s overall approach and implementation is based.  \n2 Dan-Adrian German, Indiana University Bloomington  \nbecause it would be easy to dismiss this jokey-looking and -sounding book as yet another tome with quantum in the title. It is far, far more than that.” He then goes on to explain what the book consists of: “Just about every attempt at explaining quantum mechanics falls into one of two sets. Set A uses the full mathematical power of wave mechanics, perhaps the Dirac notation, and rigorously derives results that are convincing but lacking in interpretation. Set B discusses interpretations and ideas in quantum mechanics but shies away from anything mathematical [...] . Rudolph comes along to change this, and he does so by reinventing the game. [He] introduces the maths of quantum theory by talking about states which are represented by diagrams. There are simple rules about what happens to diagrams as they pass through systems, and these systems turnout to be elements of quantum computers. What is rigorous is that the diagrams are constructed based on specific rules about combinations, commas and their manipulation; these rules, although trivial to apply diagrammatically, map exactly to the rules one would use in creating entangled wavefunction states, etc. In other words, he invents a new mathematical tool for doing calculations in quantum theory, and it is","cbCaigSHTryW1b0h","https://ap.wps.com/l/cbCaigSHTryW1b0h","pdf",690485,3,1,14,"English","en",105,"# Introduction\n# Qubits\n# Superposition","[{\"question\":\"What is the “misty states” rewriting system and why is it used?\",\"answer\":\"It represents quantum states with a “misty states” formalism and uses diagram-manipulation rules to calculate quantum-circuit behavior. The goal is to make quantum computation accessible while preserving accuracy, often with only small overhead.\"},{\"question\":\"How does the paper build on Rudolph’s original proposal?\",\"answer\":\"It reviews Rudolph’s system, analyzes its strengths and limitations, and shows it in action via entanglement swapping. It then extends the formalism using irreducible misty states as fixed points and develops new representational semantics.\"},{\"question\":\"What new application and setting does the paper present (e.g., GHZ)?\",\"answer\":\"The paper presents the GHZ game within the new general setting of irreducible misty states and representational semantics, illustrating how the extended formalism supports nontrivial quantum reasoning.\"}]",1784199407,35,{"code":4,"msg":31,"data":32},"ok",{"site_id":25,"language":24,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":28},"a-term-rewriting-semantics-for-pure-quantum-states","",{"@graph":36,"@context":85},[37,53,68],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,50],{"item":41,"name":42,"@type":43,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":20},"https://docshare.wps.com/document/research-report/",{"item":51,"name":13,"@type":43,"position":52},"https://docshare.wps.com/document/a-term-rewriting-semantics-for-pure-quantum-states/84929/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":24,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":41,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-23","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What is the “misty states” rewriting system and why is it used?","Question",{"text":75,"@type":76},"It represents quantum states with a “misty states” formalism and uses diagram-manipulation rules to calculate quantum-circuit behavior. The goal is to make quantum computation accessible while preserving accuracy, often with only small overhead.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"How does the paper build on Rudolph’s original proposal?",{"text":80,"@type":76},"It reviews Rudolph’s system, analyzes its strengths and limitations, and shows it in action via entanglement swapping. It then extends the formalism using irreducible misty states as fixed points and develops new representational semantics.",{"name":82,"@type":73,"acceptedAnswer":83},"What new application and setting does the paper present (e.g., GHZ)?",{"text":84,"@type":76},"The paper presents the GHZ game within the new general setting of irreducible misty states and representational semantics, illustrating how the extended formalism supports nontrivial quantum reasoning.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,135],{"id":21,"doc_module":4,"doc_module_name":46,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":46,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":46,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":46,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":46,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":46,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":46,"category_name":137,"show_sort_weight":106,"slug":138},19,"General","general"]