論文の概要: AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates
- arxiv url: http://arxiv.org/abs/2609.19160v1
- Date: Mon, 24 Aug 2026 10:17:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-21 16:32:15.680443
- Title: AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates
- Title（参考訳）: AlchemQ: 等価値証明書による量子回路最適化の証明
- Abstract要約: 本稿では,概念実証システムであるAlchemQ v0.5を紹介する。ビーム検索のフォールバックを,マシンチェック可能な相互認証層とバージョン付き証明書プロトコルに結合する。
すべての最適化回路は、素のクレームではなく、検証可能なアーティファクトで出荷される。
100の回路のベンチマークでは、400の最適化はすべてエラーなく終了し、すべての返却回路が認証され、すべての突然変異が検出され、2998テストスイートが2つのプラットフォームに渡される。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present AlchemQ v0.5, a proof-of-concept system that couples an untrusted beam-search optimizer with a machine-checkable per-result certification layer and a versioned certificate protocol (0.2.0), so that every optimized circuit ships with a verifiable artifact rather than a bare claim. The certifier proves equivalence up to global phase by ZX-calculus full reduction, with a numeric-tensor fallback based on the optimal Hilbert-Schmidt overlap. Certificates are self-contained and tamper-evident: canonical gate-canon-v1 hashes, measured residuals, tri-state verdicts (certified/rejected/inconclusive), and versioned phase-note schemas for cross-platform reproducibility. The agent aggregates three fuzzy t-norms, cannot return an uncertified circuit, and since v0.4 guarantees no componentwise regression against the original. On a benchmark of 100 circuits, all 400 optimizations terminate without error, every returned circuit is certified, every mutation is detected, and a 2998-test suite passes on two platforms. The PyZX baseline is strong (21.4% mean T-count reduction over 82 circuits) and the agent is strictly better on 9/100; the three t-norms return identical circuits on all 100 standard instances, diverging only on 4/38 of an adversarial suite. Two case studies are new: a false negative root-caused to a pivot-normalization bug in PyZX's compare_tensors (pivot 4.7e-9; the optimal-overlap residual is 7.4e-11), and eight certificates rejected on macOS due to BLAS-dependent floats in phase_note. Both were fixed; all artifact sets validate 400/400 on both platforms. A pilot run on IBM Heron r2 gives a certified circuit 78% shallower with 65% fewer two-qubit gates; output quality favors it on all three metrics but is not significant at 1024 shots. We release the certificate specification and a standalone reference verifier (Apache-2.0) with data and scripts; the engine is proprietary.
- Abstract（参考訳）: 提案するAlchemQ v0.5は、信頼できないビーム探索オプティマイザと、マシンチェック可能なパーレスト認証層と、バージョン付き証明書プロトコル(0.2.0)を結合した概念証明システムである。
証明器は、最適なヒルベルト・シュミット重なりに基づく数値テンソルのフォールバックで、ZX-計算の完全還元により、大域的な位相まで等価性を証明している。
認証は自己完結的で、曖昧な: 標準ゲート-カノン-v1ハッシュ、測定残差、三状態判定(認証/拒否/非決定)、クロスプラットフォーム再現性のためのバージョン付きフェーズノートスキーマ。
エージェントは3つのファジィtノルムを集約し、未認証回路を返さない。
100の回路のベンチマークでは、400の最適化はすべてエラーなく終了し、すべての返却回路が認証され、すべての突然変異が検出され、2998テストスイートが2つのプラットフォームに渡される。
PyZXのベースラインは強く(21.4%は82個の回路でTカウントが減少する)、エージェントは9/100で厳格に優れており、3つのTノームは100の標準インスタンスすべてで同一の回路を返却し、対向スイートの4/38でのみ発散する。
PyZXの compare_tensors (pivot 4.7e-9、最適オーバーラップ残差7.4e-11) のピボット正規化バグに起因する偽陰根と、フェーズ_noteのBLAS依存フロートによりmacOSで拒否された8つの証明書の2つのケーススタディがある。
どちらも修正され、すべてのアーティファクトセットは両方のプラットフォームで400/400を検証した。
IBM Heron r2上でのパイロットテストでは、認定回路が78%浅くなり、2キュービットゲートが65%減った。
データとスクリプトを備えた証明書仕様とスタンドアロン参照検証(Apache-2.0)をリリースします。
関連論文リスト
- SemVerBench: Benchmarking LLM Comprehension of Version-Constraint Resolution Semantics [15.233613140316791]
SemVerBenchは、3つのエコシステムにわたるバージョン制約解決セマンティクスの最初のベンチマークである。
6つのフロンティアモデルを評価し,統計的に有意な自己評価は得られなかった。
タスクが検証可能で、100%正しいリゾルバが存在するため、ツールデリゲートは100%に達する。
論文 参考訳（メタデータ） (2026-09-10T07:34:44Z) - BeTaL-GBI: Admission-Aware Benchmark Tuning and Full-Stack Verification of Geometric Belief Interfaces [2.894286977279531]
本研究は,企業検証アーキテクチャが要求を監査しつつ,インターフェース障害,タスク能力,ポリシー適合性,整合性を分離できるかどうかを検討する。
BeTaL-GBI v0.2 は LLM-in-the-loop を2,218,750,380 以上のグリッドポイントで適用し、条件付き性能からフォーマットの入力を分離する。
512の総合的なタスクにおいて、16ゲートポリシーは、116の激しい矛盾を全て検出し、99のクリーンレコードを全て受け入れる。幻覚剤とエビデンスフォーガーサロゲートは無音のプロモーションでブロックされる。
論文 参考訳（メタデータ） (2026-08-21T16:52:38Z) - Stage-Replay Divergence Follows the KV Cache: Fixed-Prefix Precision Controls and Bidirectional Cache Transplantation [51.56484100374058]
Stage-replayは中間トークンプレフィックスを再構築し、プレフィックスに最初に到達したデコーダ状態からの継続として、新しいプリフィル継続を処理する。
一致した200itemの実験では、保持されたライブキャッシュと同一の整数トークンのワンショットプリフィルを比較し、両側に正確なレプリカを配置する。
論文 参考訳（メタデータ） (2026-07-30T16:41:40Z) - Context-Verified, Error-Budget-Aware Decomposition Selection for Toffoli Networks [0.0]
本稿では,Toffoli 毎の分解を選択する最初のコンパイラパスを提案する。
検証者フラグ66は、コンテキストチェックなしで非等価に展開されたライブラリを書き換え、12のベンチマーク回路のうち6のカウントグレーディ置換は静かに破損する。
論文 参考訳（メタデータ） (2026-06-30T15:11:28Z) - Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence [56.25095230687242]
コーディングエージェントは、しばしば自身のローカル検証ルーチンを過度に信頼し、表面チェックを満たすアーティファクトの成功を宣言する。
この問題は、事前評価が結果駆動である変換において特に深刻である。
ブラインド・コンバージョンは26.7-28.9%に達し、スペック・パスレートは91.1%まで上昇した。
このことは、失敗は限られた予算やバックボーンの強さよりも、契約ミスによる自己検証に起因していることを示唆している。
論文 参考訳（メタデータ） (2026-05-27T19:57:15Z) - How Far Is Document Parsing from Solved? PureDocBench: A Source-TraceableBenchmark across Clean, Degraded, and Real-World Settings [56.70440596502351]
昨年は20以上のオープンドキュメントパースモデルが見られたが、ベンチマークはほぼOmniDocBenchにのみ依存している。
HTML/CSSのドキュメントイメージをレンダリングするベンチマークであるPureDocBenchは、10のドメイン、66ページ、1,475ページをカバーしています。
論文 参考訳（メタデータ） (2026-05-08T09:30:31Z) - Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery [47.704311990064554]
脱コンパイルは、セキュリティ分析、マルウェアのリバースエンジニアリング、レガシーソフトウェアメンテナンスに不可欠である。
マルチレベル制約誘導型デコンパイル(MCGD)により,デコンパイルされたコードを再実行可能なソースに変換するマルチエージェントフレームワークを提案する。
本フレームワークは,84～97%の再実行性を実現し,28～89ポイントのベースラインデコンパイラ出力を改善した。
論文 参考訳（メタデータ） (2026-04-27T01:28:11Z) - Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates [0.0]
オラクルベースの安全ゲートは、AIシステムが数百回以上のイテレーションを改善するため、信頼できる監視を維持することはできない。
自己改善自体の安全性ではなく、分類に特有であることを示す。
論文 参考訳（メタデータ） (2026-03-31T13:54:36Z) - Second-Order Provable Defenses against Adversarial Attacks [63.34032156196848]
ネットワークの固有値が有界であれば、凸最適化を用いて$l$ノルムの証明を効率的に計算できることを示す。
認証精度は5.78%,44.96%,43.19%であった。
論文 参考訳（メタデータ） (2020-06-01T05:55:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。