論文の概要: Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi

• arxiv url: http://arxiv.org/abs/2605.13993v1
• Date: Wed, 13 May 2026 18:05:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-15 21:45:34.445996
• Title: Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
• Title（参考訳）: 図形代数幾何学:アイデアと多様性から量子計算へ
• Authors: Dichuan Gao, Razin A. Shaikh, Aleks Kissinger,
• Abstract要約: グラフ線形代数プログラムを拡張した図形言語群である図形代数幾何学(GAG)を紹介する。 本稿では,GAGに関する2つの実践的視点を紹介する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We introduce Graphical Algebraic Geometry (GAG), a family of diagrammatic languages extending the Graphical Linear Algebra programme. We construct several languages within this family and prove that they are universal and complete for the corresponding (co)span semantics of commutative algebras and affine varieties. This framework provides clear graphical representations of algebraic structures -- such as polynomials, ideals, and varieties -- enabling intuitive yet rigorous diagrammatic reasoning. We showcase two practical viewpoints on GAG. First, we show that instances of counting constraint satisfaction problem (#CSP) are recast as rewrite problems of closed diagrams in GAG. This means that deciding rewritability in GAG is #P-hard, and GAG can be viewed as a complete and compositional rewrite system for networks of polynomial constraints. Second, we characterize the qudit ZH calculus, a diagrammatic language for quantum computation, as an extension of Graphical Algebraic Geometry. This establishes the correspondence that Graphical Algebraic Geometry is to the ZH calculus what Graphical Linear Algebra is to the ZX calculus. Using this construction, we show that computing amplitudes in qudit ZH requires only a constant number of queries to a GAG oracle.
• Abstract（参考訳）: グラフ線形代数プログラムを拡張した図形言語群である図形代数幾何学(GAG)を紹介する。 この族の中でいくつかの言語を構築し、それらが可換代数とアフィン多様体の対応する(共)スパン意味論に対して普遍かつ完備であることを証明する。 このフレームワークは、多項式、イデアル、多様体などの代数構造の明確なグラフィカルな表現を提供し、直感的で厳密な図式推論を可能にする。 本稿では,GAGに関する2つの実践的視点を紹介する。 まず,制約満足度問題 (#CSP) をGAGの閉図の書き換え問題として再放送する。 これは、GAGの書き換え可能性を決定することは#P-hardであり、GAGは多項式制約のネットワークに対する完全かつ構成的な書き換えシステムとみなすことができることを意味する。 第2に、量子計算のための図式言語であるqudit ZH計算を、図形代数幾何学の拡張として特徴づける。 これは、図形代数幾何学がZH計算と、図形線形代数がZX計算とするものとの対応性を確立する。 この構成を用いて、qudit ZHにおける計算振幅は、GAGオラクルに対して一定数のクエリしか必要としないことを示す。

関連論文リスト

• Riemannian Geometry Speaks Louder Than Words: From Graph Foundation Model to Next-Generation Graph Intelligence [51.30336200738606]
  グラフ基礎モデル(GFM)がグラフ学習に不可欠であるという強い合意がある。 LLM(Large Language Models)に類似した強力で汎用的なGFMを構築する方法については、かなりの意見の相違が続いている。
  論文  参考訳（メタデータ） (2026-03-23T05:49:19Z)
• On the structural properties of Lie algebras via associated labeled directed graphs [0.0]
  有限次元リー代数にラベル付き有向グラフを関連付ける方法を提案する。 リーブラケットの反対称性の性質とヤコビ恒等式が与えられた有理グラフの性質を解析する。 我々は、可解性、零性、イデアルの存在、単純性、半単純性、および代数の簡約性に関するグラフ理論の基準を開発する。
  論文  参考訳（メタデータ） (2026-01-22T18:09:16Z)
• Analyzing the quantum approximate optimization algorithm: ansätze, symmetries, and Lie algebras [0.0]
  連結グラフ上の最大カット(最大カット)問題に対する3つの QAOA ans" の根底となる代数的性質について検討する。 標準QAOAsatzと軌道と多角アンサッツを解析する。
  論文  参考訳（メタデータ） (2024-10-07T16:46:20Z)
• A Survey of Geometric Graph Neural Networks: Data Structures, Models and Applications [71.809127869349]
  本稿では、幾何学的メッセージパッシングの観点から、既存のモデルの統一的なビューを提供するデータ構造として幾何学的グラフを定式化する。 また、方法論開発と実験評価の後の研究を促進するために、アプリケーションと関連するデータセットを要約する。
  論文  参考訳（メタデータ） (2024-03-01T12:13:04Z)
• Distance Measures for Geometric Graphs [0.0]
  幾何編集距離 (GED) と幾何グラフ距離 (GGD) の2つの距離測度について検討する。 GEDは1つのグラフを編集してもう1つのグラフに変換するという考え方に基づいているが、GGDはグラフの不正確なマッチングにインスパイアされている。 GGDが計算に$mathcalNP$-hard、たとえ計算に$mathcalNP$-hardであっても、計算に$mathcalNP$-hardであることを示す。
  論文  参考訳（メタデータ） (2022-09-26T17:35:29Z)
• Geometry Interaction Knowledge Graph Embeddings [153.69745042757066]
  ユークリッド空間,双曲空間,超球空間間の空間構造を対話的に学習する幾何学的相互作用知識グラフ埋め込み(GIE)を提案する。 提案したGIEは、よりリッチなリレーショナル情報、モデルキー推論パターンをキャプチャし、エンティティ間の表現的セマンティックマッチングを可能にする。
  論文  参考訳（メタデータ） (2022-06-24T08:33:43Z)
• Graphical Calculi and their Conjecture Synthesis [0.0]
  この論文は、図形学と代数幾何学やガロア理論のような分野の間の新しいリンクを鍛える際に、そのような推論と検証の枠組みを導入している。 計算 RING は環をベースとした四角形電卓の中では初期であり、相準同型ペアの導入と分類にもインスピレーションを与えている。 2つ目は、ZX の (EU) のような非線形規則の必要性を排除し、任意の量子ビット回転を自然に表現するエッジデコレーションされた電卓 ZQ である。
  論文  参考訳（メタデータ） (2020-10-08T11:54:44Z)
• Hamiltonian systems, Toda lattices, Solitons, Lax Pairs on weighted Z-graded graphs [62.997667081978825]
  グラフ上の解に対して一次元の解を持ち上げることができる条件を特定する。 位相的に興味深いグラフの簡単な例であっても、対応する非自明なラックス対と関連するユニタリ変換は、Z階数グラフ上のラックス対に持ち上げないことを示す。
  論文  参考訳（メタデータ） (2020-08-11T17:58:13Z)

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

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