論文の概要: Quantum-Logic Tsetlin Machines: Interpretable Quantum Machine Learning with Commuting Projector Clauses

• arxiv url: http://arxiv.org/abs/2608.18659v1
• Date: Wed, 19 Aug 2026 08:04:26 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-20 20:13:55.337434
• Title: Quantum-Logic Tsetlin Machines: Interpretable Quantum Machine Learning with Commuting Projector Clauses
• Title（参考訳）: 量子論理タセリンマシン:通勤プロジェクタクロースを用いた解釈可能な量子機械学習
• Abstract要約: 本稿では、Booleanリテラルをプロジェクタが表現する量子命題に置き換えるQuantum-Logic Tsetlin Machine(QL-TM)を紹介する。 対角計算基底の文脈において,通常のブールTM節に対する精度の低下を証明した。 この寄与は、Tsetlin節の学習と量子論理の間の橋渡しであり、量子優位性の主張ではない。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Tsetlin Machines (TMs) learn interpretable Boolean clauses using finite-state automata. We introduce the Quantum-Logic Tsetlin Machine (QL-TM), which replaces Boolean literals with quantum propositions represented by projectors while retaining classical include/exclude automata. Clauses are restricted to commuting measurement contexts and activate through the Born probability of their joint projector. We prove an exact reduction to ordinary Boolean TM clauses in diagonal computational-basis contexts and connect Pauli-projector clauses to stabilizer and syndrome semantics. Controlled experiments on Bell states, phase-flip syndromes, randomized 16-class stabilizer tasks, mixed literal pools, context-budget ablations, and finite-shot noise show that correct non-diagonal contexts recover physically meaningful clauses, while diagonal or wrong contexts lose the relevant phase/syndrome information. The context-budget results closely follow the predicted separability ladder 2^(b-k) as true stabilizer generators are removed. The contribution is a controlled bridge between Tsetlin clause learning and quantum logic, not a claim of quantum advantage.
• Abstract（参考訳）: Tsetlin Machines (TM) は有限状態オートマトンを用いて解釈可能なブール節を学習する。 本稿では,プロジェクタが表現する量子命題にブールリテラルを置き換え,古典的な包含・除算オートマトンを保ちながら,量子論理テセリンマシン(QL-TM)を導入する。 クロースは可換な測定コンテキストに制限され、共同プロジェクターのボルン確率を介して活性化される。 対角計算基底文脈における通常のブールTM節への正確な還元を証明し、パウリ・プロジェクタ節を安定化器とシンドロームの意味論に結びつける。 ベル状態、位相フリップ症候群、ランダム化された16クラスの安定化タスク、混合リテラルプール、文脈予算の短縮、有限ショットノイズに関する制御された実験は、正しい非対角的文脈が物理的に意味のある節を回復し、対角的または間違ったコンテキストは関連する位相/シンドローム情報を失うことを示している。 コンテキスト予算の結果は、真の安定化器発生器を取り除き、予測された分離性はしご2^(b−k)に密接に従う。 この寄与は、Tsetlin節の学習と量子論理の間の制御されたブリッジであり、量子上の優位性の主張ではない。

関連論文リスト

• LLM-Driven Algorithm Design for Quantum Circuit Synthesis based on Binary Decision Diagrams [24.594574306757043]
  可逆回路合成は可逆ブール関数を量子回路に変換する方法を提供する。 提案する textQuantumEvo は LLM を QCC 対応 BDD 変数順序付けのジェネレータとして利用する進化的フレームワークである。 H-QEは、関数ごとの最高ベースラインに対して70.9%のタイ・アンド・ウィンレートを達成し、関数の13.5%で厳密にベストである。
  論文  参考訳（メタデータ） (2026-09-04T16:25:01Z)
• One Qubit Can Beat One Bit: Quantum Advantage for Post-Training Quantization [7.09016563801433]
  1ビット後の量子化は、その記号のみを使用して各重みを表現し、すべての配置コンテキストが同じ二分重行列を共有する必要がある。 この共有信号制約について検討し、QRAQ(Quantum Random Access Quantization)を導入する。 このフレームワークは、コンテキスト依存の符号を量子ランダムアクセスコードにエンコードし、コンテキストマッチングされたパウリ測定によってそれらを検索する。
  論文  参考訳（メタデータ） (2026-08-05T14:04:50Z)
• Position: Quantum Program Generation Must Prioritize Validity Over Probabilistic Scaling [7.165225514185139]
  自然言語とは異なり、量子回路は意味のある構文-意味的ギャップを示す数学的制約に厳密に固執する必要がある。 証明されていない量子プログラムのトレーニングは、モデルが構文を学ぶが、ヒルベルト空間の物理的意味を捉えないことを意味する。 本稿では,人間中心の副操縦士から検証者中心のエージェントへのピボットを提案する。
  論文  参考訳（メタデータ） (2026-07-15T21:28:59Z)
• Diagnosing quantum reservoirs at scale based on expressivity and coverage [42.13843953705695]
  量子貯水池は、量子機械学習へのハードウェアフレンドリーなルートを提供する。 貯水池は最適化されていないため、性能は貯水池の選択に依存する。 2つの相補的な量に基づいて構築されたスケーラブルでハードウェアに依存しないフレームワークを導入する。
  論文  参考訳（メタデータ） (2026-07-10T14:16:13Z)
• On the Simulation Cost of Quantum Finite Automata [17.041789070513758]
  本稿では,有限オートマトンに対する量子優位性の自然な定量尺度として,正確な確率的シミュレーションコストを同定する。 2つの代表モデルに対して鋭いシミュレーション法則を与える。
  論文  参考訳（メタデータ） (2026-05-11T14:59:37Z)
• Denotational semantics for stabiliser quantum programs [0.0]
  我々は安定化操作のための音・普遍・完全意味論を開発する。 安定プログラムのための概念実証アセンブリ言語を記述することで、結果のセマンティクスのパワーを実証する。
  論文  参考訳（メタデータ） (2025-11-27T19:51:43Z)
• Quantum Error Correction with Superpositions of Squeezed Fock States [36.94429692322632]
  我々は、$proptoexp(-7r)$とスケールするエラー訂正機能を備えた圧縮されたFock状態の重ね合わせに基づくコードを提案する。 この符号は、中程度のスクイーズレベルであっても、単光子損失と復調の両方の高精度な誤差補正を実現する。
  論文  参考訳（メタデータ） (2025-10-05T13:52:08Z)
• Bayesian Quantum Amplitude Estimation [46.03321798937855]
  量子振幅推定のための問題調整およびノイズ認識ベイズアルゴリズムであるBAEを提案する。 耐障害性シナリオでは、BAEはハイゼンベルク限界を飽和させることができ、デバイスノイズが存在する場合、BAEはそれを動的に特徴付け、自己適応することができる。 本稿では,振幅推定アルゴリズムのベンチマークを提案し,他の手法に対してBAEをテストする。
  論文  参考訳（メタデータ） (2024-12-05T18:09:41Z)
• BI-based Reasoning about Quantum Programs with Heap Manipulations [5.744265100221585]
  ヒープ操作を伴う量子プログラミング言語Q While-hpのセマンティクスについて述べる。 我々は,意味を分離するための解釈を含む,BIスタイルの量子論理を開発する。 次に、この量子BIスタイルの論理をアサーション言語として採用し、ヒープ制御量子プログラムを推論する。
  論文  参考訳（メタデータ） (2024-09-16T10:34:45Z)
• When Quantum Nonlocality Does Not Play Dice [3.722125357019147]
  ベルの不等式違反は、量子的非局所性が本質的なランダム性を保証する証拠としてしばしば見なされる。 量子相関によって最大に違反する非自明なベル不等式が存在するが、任意の固定された入力対に対してランダム性を証明できないことを示す。 我々は、各固定された入力対に対して決定論的である最大非局所量子相関を構築する。
  論文  参考訳（メタデータ） (2024-08-07T10:07:39Z)
• Scalable noisy quantum circuits for biased-noise qubits [37.69303106863453]
  安定猫量子ビットの既存システムに動機づけられたビットフリップ誤差のみに影響されるバイアスノイズ量子ビットを考察する。 現実的なノイズモデルでは、位相フリップは無視できないが、Pauli-Twirling近似では、ベンチマークが最大106ドルのゲートを含む回路の正しさを確認できる。
  論文  参考訳（メタデータ） (2023-05-03T11:27:50Z)
• Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
  証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。 イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
  論文  参考訳（メタデータ） (2021-12-09T19:00:00Z)
• Efficient simulatability of continuous-variable circuits with large Wigner negativity [62.997667081978825]
  ウィグナー負性性は、いくつかの量子計算アーキテクチャにおいて計算上の優位性に必要な資源であることが知られている。 我々は、大きく、おそらくは有界で、ウィグナー負性を示し、しかし古典的に効率的にシミュレートできる回路の広大な族を同定する。 我々は,高次元離散可変量子回路のシミュラビリティとボソニック符号とのリンクを確立することにより,本結果の導出を行う。
  論文  参考訳（メタデータ） (2020-05-25T11:03:42Z)

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

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