論文の概要: Quantum Information Flow under String-Diagram Rewriting
- arxiv url: http://arxiv.org/abs/2608.09823v1
- Date: Mon, 10 Aug 2026 16:40:24 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-11 19:16:37.387345
- Title: Quantum Information Flow under String-Diagram Rewriting
- Title(参考訳): 文字列ダイアグラム書き換え時の量子情報フロー
- Abstract要約: 量子情報フローの文字列-文法的形式化を明示する。
コーケフローは、対象の素線準同型因子の制約付き、準局所、線状表現と解釈できる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We revisit the notion of ``quantum information flow'' introduced in Bob Coecke's early work and seek to give it an explicit string-diagrammatic formalization. Given a semantics preserving string-diagram rewriting sequence, we first distinguish apparent through-paths, which depend on the current graphical presentation, from genuine through paths, which can be compatibly inherited through successive rewrites to a terminal decoupled bare wire factor. We then formally define a ``Coecke flow line'' in terms of this compatible inheritance relation. In particular, we use the ZX calculus, i.e., the ZX string diagram rewriting system, to illustrate the resulting formalism. In the physical setting of quantum protocols, a Coecke flow can be interpreted as a constrained, quasi-local, line-like presentation of a target bare wire morphism factor within the protocol string diagram.
- Abstract(参考訳): 我々は、Bob Coecke の初期の研究で導入された 'quantum information flow'' の概念を再考し、明示的な文字列ダイアグラム形式化を求める。
文字列-ダイアグラムの書き直しシーケンスを保存するセマンティクスが与えられた場合、まず現在のグラフィカルな表示に依存している明らかなスルーパスと、連続的に書き直しをし、終端非結合のベアワイヤファクタに変換できる真のスルーパスとを区別する。
次に、この互換性のある継承関係の観点で ``Coecke flow line'' を正式に定義します。
特に、ZX の電卓、すなわち ZX 文字列図形書き換えシステムを用いて、結果の形式性を説明する。
量子プロトコルの物理的設定において、コーケフローは、プロトコル文字列ダイアグラム内のターゲットの素線準同型係数の制約付き、準局所的な線状表現として解釈することができる。
関連論文リスト
- Holographic Bit Threads from String-Diagrammatic Quantum Information Flow [1.4610038284393168]
ホログラフィックエンタングルメントエントロピーの最小曲面公式の凸双対として生じるビットスレッドは、非自明なバルク軌道を持つ線状構造である。
本稿では、分類量子力学で開発されたプロトコル-ネットワーク幾何学において、Coeckeの量子情報フロー(QIF)の概念をホログラフィック設定に適用することを提案する。
離散ホログラフバルク内の軌道がテンソルネットワークであり,ビットスレッドのばらつきのない密度境界条件を満たすことを示す。
論文 参考訳(メタデータ) (2026-08-19T20:26:00Z) - Completeness for flow-preserving rewrite rules [2.406359246841227]
ZX-計算の最近の応用は、ZX-ダイアグラムと計算の密接な対応を利用した。
文献に現れるフロー保存ルールのセットを拡張し、いくつかの新しいルールと既存のルールを拡張します。
得られたルールセットは、適切な形式のZX-ダイアグラム間のすべてのフロー保存翻訳に対して完備であることを示す。
論文 参考訳(メタデータ) (2026-08-13T10:03:31Z) - Topological Flow Matching [56.16372813551555]
フローマッチングは強力な生成モデリングフレームワークであり、そのシンプルさと強力な経験的パフォーマンスに価値がある。
トポロジカルフローマッチング(トポロジカルフローマッチング)は,トポロジカルフローマッチングの一般化である。
脳のfMRI、海流、地震イベント、交通流など、さまざまな構造化されたデータセットに対して、その効果を実証する。
論文 参考訳(メタデータ) (2026-06-14T16:29:33Z) - Overcoming the Impedance Mismatch: A Theoretical Roadmap for Fusing Foundation Models and Knowledge Graphs [0.0]
構造的および幾何学的摩擦をtextitImpedance Mismatch として定式化する。
本稿では,真の意味融合を実現するための厳密な理論的ロードマップを提案する。
このフレームワークは、シンボリック論理の精度をパラメトリックメモリの表現率とシームレスに融合するモデルを構築する。
論文 参考訳(メタデータ) (2026-04-21T17:30:15Z) - Point or Line? Using Line-based Representation for Panoptic Symbol Spotting in CAD Drawings [67.5600169375126]
ベクトルグラフィカルプリミティブからなるCAD図面におけるパノプティカルシンボルスポッティングの課題について検討する。
既存の手法は通常、画像化、グラフ構築、あるいは点ベースの表現に依存している。
本稿では,プリミティブの行ベースの表現を通じてこれらの課題に対処する新しい手法であるVecFormerを提案する。
論文 参考訳(メタデータ) (2025-05-29T12:33:11Z) - The Parity Flow Formalism: Tracking Quantum Information Throughout Computation [0.0]
本稿では,量子回路における情報フローを追跡する手法であるParity Flowformismを提案する。
この方法は、クリフォードゲートの作用が量子情報の復号化として理解されるように、量子回路図にラベルを追加する。
論文 参考訳(メタデータ) (2025-05-14T15:20:05Z) - Equivalence Classes of Quantum Error-Correcting Codes [49.436750507696225]
量子過程に影響を与える固有のノイズに対処するために、量子誤り訂正符号(QECC)が必要である。
我々は、テンソルネットワークからなるZXダイアグラムと呼ばれる形式でQECCを表す。
論文 参考訳(メタデータ) (2024-06-17T20:48:43Z) - FlowX: Towards Explainable Graph Neural Networks via Message Flows [59.025023020402365]
グラフニューラルネットワーク(GNN)の動作メカニズム解明へのステップとして,その説明可能性について検討する。
本稿では,重要なメッセージフローを識別してGNNを説明するために,FlowXと呼ばれる新しい手法を提案する。
そこで我々は,多様な説明対象に向けて,フロースコアを学習するための情報制御学習アルゴリズムを提案する。
論文 参考訳(メタデータ) (2022-06-26T22:48:15Z) - Essentially exact numerical modelling of flux qubit chains subject to
charge and flux noise [0.45119235878273]
電荷およびフラックス雑音を受けるフラックス量子ビット鎖をモデル化するための本質的に正確な数値計算法を提案する。
この手法は準断熱経路積分形式を用いて、系の還元密度行列を時間分解経路積分として表現する。
我々は、"spinbosonchain"と呼ばれるオープンソースのPythonライブラリにメソッドを実装しました。
論文 参考訳(メタデータ) (2021-10-04T18:20:07Z) - Diagrammatic Differentiation for Quantum Machine Learning [0.19336815376402716]
位相パラメータに関して線形写像の勾配を図式的に計算する方法を示す。
パラメトリス量子回路の図では、よく知られたパラメータシフト規則が得られる。
次に,本手法をハイブリッド古典量子回路の自動微分に拡張する。
論文 参考訳(メタデータ) (2021-03-14T16:04:56Z) - Graphical Language with Delayed Trace: Picturing Quantum Computing with
Finite Memory [0.0]
本稿では,任意のグラフィカル言語を拡張し,捨てという概念を有限メモリ計算のグラフィカル言語に拡張する一般的な構成について述べる。
選択後の量子力学のために完備なZX計算のようなケースを扱うために、遅延トレース形式を因果的ケースを超えて拡張する。
我々は、ステートフルな射列に基づくストリームセマンティクスを設計し、いくつかの仮定の下で普遍性と完全性を示す。
論文 参考訳(メタデータ) (2021-02-05T12:23:11Z) - Towards Efficient Scene Understanding via Squeeze Reasoning [71.1139549949694]
我々はSqueeze Reasoningと呼ばれる新しいフレームワークを提案する。
空間地図上の情報を伝播するのではなく、まず入力特徴をチャネルワイドなグローバルベクトルに絞ることを学ぶ。
提案手法はエンドツーエンドのトレーニングブロックとしてモジュール化可能であり,既存のネットワークに簡単に接続可能であることを示す。
論文 参考訳(メタデータ) (2020-11-06T12:17:01Z) - Assignment Flows for Data Labeling on Graphs: Convergence and Stability [69.68068088508505]
本稿では、連続時間割当フローを積分代入(ラベル)に収束させることを保証する重みパラメータの条件を確立する。
いくつかの反例は、条件違反は、文脈データ分類に関する代入フローの好ましくない振る舞いを伴う可能性があることを示している。
論文 参考訳(メタデータ) (2020-02-26T15:45:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。