論文の概要: QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
- arxiv url: http://arxiv.org/abs/2609.01049v1
- Date: Tue, 01 Sep 2026 10:46:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-02 16:31:36.586108
- Title: QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
- Title（参考訳）: QILP-0: 量子回路の観測的宣言双対の構成
- Authors: Marina de la Cruz Echeandía, César Luis Alonso, Tony Ribeiro, Alfonso Ortega de la Puente,
- Abstract要約: 本稿では、量子回路の観測的宣言的双対を構築するための一般的なフレームワークであるQXymbを紹介する。
我々は、観測回路の動作から有限値命題論理プログラムを構成する、最初の完全順序-0であるQILP-0を開発する。
報告されたすべての関係において、誘導QILP-0理論は1に等しい厳密な精度で完全かつ無矛盾な再構成を達成する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 specialization. QILP-0 constructs a finite multi-valued propositional logic program from observed circuit behaviour within a declared observational scope. The pipeline traverses a declared family of quantum observables incrementally according to a reproducible structural grading and a declared observational reference horizon. Progress is quantified through reference-relative coverage against a fixed target-independent reference. Observable responses are organized through target-independent geometry, while retained latent structure is mapped deterministically back to original observable columns before symbolic processing, preserving observational semantics and provenance. Selected observable profiles are converted into a finite relation through admissible target-independent discretization. The target is used only afterwards to audit twin-admissibility and induce the declarative theory. A theory is certified as an exact observational declarative twin when it completely and correctly reconstructs the resulting finite task-conditioned discrete relation. Logical exactness is therefore separated from numerical, backend, provider, and discretization uncertainty, which is retained as audit metadata. Validation uses two complementary QML settings. Exhaustive Bars & Stripes experiments compare product and grid-CZ embeddings from 16 to 100 qubits and exercise the native-discrete branch. Low-Depth MNIST analyses all 14,708 digit-0/1 instances before and after a trained variational quantum transformation and exercises continuous discretization. In every reported relation, the induced QILP-0 theory achieves complete, conflict-free reconstruction with strict accuracy equal to one.
- Abstract（参考訳）: 本稿では、量子回路の観測宣言双対構築のための一般的なフレームワークであるQXymbを紹介し、その最初の完全順序-0特殊化であるQILP-0を開発する。
QILP-0は、宣言された観測範囲内の観測回路の挙動から有限個の多値命題論理プログラムを構築する。
パイプラインは、再現可能な構造階調と宣言された観測基準地平線に従って、宣言された量子オブザーバブルの族を漸進的に通過する。
進捗は、固定されたターゲット非依存の参照に対する参照相対的カバレッジによって定量化される。
観測可能な応答は、ターゲット非依存の幾何学を通して組織されるが、保持された潜在構造は、シンボル処理の前に決定的に元の観測可能な列にマッピングされ、観察的意味論と証明が保存される。
選択された可観測プロファイルは許容目標独立離散化によって有限関係に変換される。
ターゲットはその後、双対許容性を監査し、宣言理論を誘導するためにのみ使用される。
理論は、有限タスク条件の離散関係を完全かつ正確に再構成するときに、正確な観測的宣言的双対として認定される。
したがって、論理的正確性は、監査メタデータとして保持される数値、バックエンド、プロバイダ、離散化の不確実性から分離される。
検証には2つの補完的なQML設定を使用する。
Exhaustive Bars & Stripesの実験では、16から100キュービットの製品とグリッド-CZの埋め込みを比較し、ネイティブディスクリートブランチを実行する。
低深度MNISTは、訓練された変分量子変換の前後で14,708桁の0/1のインスタンスを分析し、連続的な離散化を行う。
報告されたすべての関係において、誘導QILP-0理論は1に等しい厳密な精度で完全かつ無矛盾な再構成を達成する。
関連論文リスト
- Relational Wigner-Smith Duration in Wheeler-DeWitt Scattering [0.0]
閉じたフリードマン・レメイトレ・ロバートソン・ウォルカー・ウィーラー・デウィットモデルは正確な反射問題として定式化される。
解析式は、この期間、古典的再衝突限界、および主量子補正のために得られる。
結果は、定常的制約状態の相関と散乱記録を通して、持続時間と遷移可観測値を定義する。
論文 参考訳（メタデータ） (2026-08-18T06:32:09Z) - Postselection-Free Reconstruction of Monitored SPT Flux-Charge Responses [1.599072005190786]
モニターされたトポロジカル不変量のクラスは、通常の量子軌道と対称性を持つ量子軌道を同一の記録と比較する。
我々は、ツイスト量子実験を、一様ランダム化された対称性固有状態によって、既知の電荷、通常の境界モニタリング、オフラインのツイストデコーダで置き換える。
論文 参考訳（メタデータ） (2026-08-16T01:52:10Z) - Causal inference for group-contaminated structured outcomes: observable quotients, lossless reduction and exact randomization inference [0.0]
制限のない観測モデル X = について検討する。
Y(A)はその観測可能な情報を特徴付ける。
商-忠実復元定理は、完全変換実験には商還元が十分であることを示す。
論文 参考訳（メタデータ） (2026-08-12T11:39:50Z) - A general estimation framework for continuous-variable systems [32.505127447635864]
情報完全性は有限測定データから統計的に安定な再構成を保証するものではないことを示す。
我々は, 安定な再構成性を持つ連続変数系に対して, 測定フレームを形成するPOVM効果を特徴付ける一般推定理論を開発した。
論文 参考訳（メタデータ） (2026-07-21T16:58:41Z) - Causal-Order Identification of Memoryless Sequential Quantum Processes from Restricted Projective Data [45.85698554568285]
我々は、観測された分布がメモリレスシーケンシャル量子プロセスと一定の方向で互換性があるかどうかを決定するために必要かつ十分な条件を見出した。
次に、2量子パウリのセッティングに特化し、そこでは問題は非トモグラフィーのままだが、明示的に抽出可能である。
論文 参考訳（メタデータ） (2026-05-06T07:16:29Z) - Operational interpretation of the reverse sandwiched Renyi divergences in composite quantum hypothesis testing [40.82628972269358]
合成量子仮説テストのHoeffding方式について検討し、それぞれの仮説を一連の量子状態によって特定する。
単純な仮説から複合仮説への通過は、量子発散が識別の操作限界を決定するように根本的に変化する。
論文 参考訳（メタデータ） (2026-05-04T04:02:55Z) - No Absolute Hierarchy of Quantum Complementarity [0.0]
ボーアの相補性の原理は、単一の実験的な配置内で特定の物理的性質への同時アクセスを禁止している。
マルチコピー方式では,この階層構造が絶対的に止まることを示す。
構成に依存した相補性構造を明らかにし,測定限界の構造を形成する上での絡み合いの微妙な役割を明らかにする。
論文 参考訳（メタデータ） (2026-02-26T09:29:00Z) - Freeness Reined in by a Single Qubit [36.94429692322632]
この設定においても、自由確率理論によって予測される相関関数は位数$O(1)$の補正を受ける。
我々は、その起源を非一様分布定常量子状態に遡り、解析的に特徴付け、数値的に確認する。
論文 参考訳（メタデータ） (2025-12-15T19:00:09Z) - Free Independence and Unitary Design from Random Matrix Product Unitaries [0.0]
ユニタリランダム性は、量子情報の基本的タスクと量子カオスの理論の両方を支える。
ランダム・マトリックス・ユニタリ・アンサンブルにおける自由度の発生について検討する。
局所観測可能物質は、カオス多体系における熱化を正確に予測するものである。
論文 参考訳（メタデータ） (2025-07-31T18:00:00Z) - Unsupervised Learning of Equivariant Structure from Sequences [30.974508897223124]
我々は,少なくとも3つの長さの時系列から対称性を学習するための教師なしのフレームワークを提案する。
当社のフレームワークでは,データセットの非絡み合い構造が副産物として自然に現れることを実証します。
論文 参考訳（メタデータ） (2022-10-12T07:29:18Z) - Cycle Consistent Probability Divergences Across Different Spaces [38.43511529063335]
確率分布の相違は、統計的推測と機械学習の核心にある。
本研究は, 異方性, 異方性, 異方性, 異なる空間上の分布をマッチングするための, アンバランスなモンジュ最適輸送定式化を提案する。
論文 参考訳（メタデータ） (2021-11-22T16:35:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。