論文の概要: A Term-Rewriting Semantics for Pure Quantum States

• arxiv url: http://arxiv.org/abs/2607.06584v1
• Date: Sun, 05 Jul 2026 03:54:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-09 22:50:30.140448
• Title: A Term-Rewriting Semantics for Pure Quantum States
• Title（参考訳）: 純量子状態に対する項書き換え意味論
• Abstract要約: 2017年、テリー・ルドルフは量子状態をミスティ状態として表現する基礎的な書き換えシステムを導入した。 我々は、ミスティ形式は、完全に従来の量子数学的な装置への移行を容易にするために効果的に利用できると論じる。
• 参考スコア（独自算出の注目度）: 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.
• Abstract（参考訳）: 2017年、テリー・ルドルフは、量子回路の基本と量子計算を正確に記述するために、量子状態をミスティ状態として表現する基礎的な書き換えシステムを導入した。 システムのアクセシビリティと有効性は目覚ましい: 全ての計算は十分正確で、おそらく小さなオーバーヘッドで行うことができ、Yaoyun Shiによる驚くべき数学的結果を活用するために選ばれた小さな普遍的なゲートセットを使って、A. Y. Kitaevによる別の強力な結果を活用することができる。 ミスティ形式は計算を大幅に単純化し、単純な算術だけで、精度を犠牲にすることなく、初級学習者にアクセスできるようにします。 我々は、全ての量子論をこの形式論に再キャストすべきだという主張はしない。 微妙な状態の写真は、ある非自明な量子論の核心に人を導くための良い方法であり、最初は無関係な数学を大量に吸収する必要がない。 我々の主張は、ミスティ形式は、完全に伝統的な量子数学的装置への移行を容易にするために効果的に利用できるということである。 この目的のために、我々は元の提案を見直し、その強みと限界を考慮し、絡み合いの交換を通じてそれを実際に示すことから始める。 次に、固定点として作用する(認識不可能な)ミスティ状態の新たなカテゴリを通じて形式主義を拡張し、この新しい一般設定および表現意味論においてGHZゲームを示す。

関連論文リスト

• Universal quantum computation using Ising anyons from a non-semisimple Topological Quantum Field Theory [0.058331173224054456]
  新たに発見された2+1次元の位相量子場理論の非半単純アナログを用いた位相量子計算の枠組みを提案する。 非半単純理論はIsingフレームワークを拡張する新しいエノン型を導入することを示す。
  論文  参考訳（メタデータ） (2024-10-18T21:03:07Z)
• Postulating the Unicity of the Macroscopic Physical World [0.0]
  我々は、マクロ世界の一様性は、数学的に正当化されたり実証されたりしなければならない問題ではなく、物理学の基本的な仮定であると主張する。 これは、一般作用素代数を用いて、物理世界の数学的記述をマクロ系へ拡張することで実現される。
  論文  参考訳（メタデータ） (2023-10-09T19:21:36Z)
• Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing [0.0]
  ここでは、フォーマリズム「Sum-Over-Paths」の新たな書き直し規則について述べる。 量子力学の最も単純な普遍的な断片である "Toffoli-Hadamard" に対して完備であることを示す。 また、任意の項の和と連結を行う方法を示す。
  論文  参考訳（メタデータ） (2023-07-26T14:40:21Z)
• Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
  量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。 我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。 完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
  論文  参考訳（メタデータ） (2023-03-06T13:31:27Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• The power of noisy quantum states and the advantage of resource dilution [62.997667081978825]
  絡み合った蒸留により、ノイズの多い量子状態が一重項に変換される。 エンタングルメント希釈は局所雑音に対する共有量子状態のレジリエンスを高めることができることを示す。
  論文  参考訳（メタデータ） (2022-10-25T17:39:29Z)
• Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
  量子計算を古典的な結果によって補う手法を提案する。 予測の利点を生かして、新しいタイプの量子測度がもたらされる。 予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
  論文  参考訳（メタデータ） (2022-09-12T15:47:44Z)
• Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic [0.0]
  古典物理学と比較して、量子の数学や形式主義は、基本的に可換性を置き換える非可換代数によって特徴づけられる。 後者は、準古典的マクロ可観測体の約可換代数の安息日のみを持ち、さらに「ye-no real world」は、基底量子論自体に明らかに余分な成分となるであろう。
  論文  参考訳（メタデータ） (2021-12-30T22:03:33Z)
• A Mechanical Implementation and Diagrammatic Calculation of Entangled Basis States [0.0]
  量子エンタングルメントの図式計算ツールを初めて提供します。 2つ以上の粒子が特定の方法で相関している場合、空間内でどれだけ離れていても、それらの状態は相関するままである。 我々の結果は、量子絡み合いが重力理論の余剰次元を生成するという考えを提唱しているようである。
  論文  参考訳（メタデータ） (2021-12-20T00:31:48Z)
• Operational Resource Theory of Imaginarity [48.7576911714538]
  量子状態は、実際の要素しか持たなければ、生成や操作が容易であることを示す。 応用として、想像力は国家の差別にとって重要な役割を担っていることを示す。
  論文  参考訳（メタデータ） (2020-07-29T14:03:38Z)
• There is only one time [110.83289076967895]
  私たちは、この「時間」と呼ばれるものを認識できるように、物理的なシステムの絵を描きます。 第一の場合ではシュル・オーディンガー方程式、第二の場合ではハミルトン方程式を導出する。
  論文  参考訳（メタデータ） (2020-06-22T09:54:46Z)
• From a quantum theory to a classical one [117.44028458220427]
  量子対古典的交叉を記述するための形式的アプローチを提示し議論する。 この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
  論文  参考訳（メタデータ） (2020-04-01T09:16:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。