論文の概要: Representing and Implementing Matrices Using Algebraic ZX-calculus
- arxiv url: http://arxiv.org/abs/2110.06898v4
- Date: Thu, 4 May 2023 11:33:30 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-05 20:07:01.594607
- Title: Representing and Implementing Matrices Using Algebraic ZX-calculus
- Title(参考訳): 代数的ZX計算を用いた行列の表現と実装
- Authors: Quanlong Wang, Richie Yeung
- Abstract要約: 本稿では代数的 ZX 計算における 2n$ のすべての基本行列の図式表現について述べる。
また、この表現を用いて代数的 ZX-計算におけるジョズザ形式のマッチゲートを記述する。
- 参考スコア(独自算出の注目度): 0.3655021726150367
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In linear algebra applications, elementary matrices hold a significant role.
This paper presents a diagrammatic representation of all $2^m\times 2^n$-sized
elementary matrices in algebraic ZX-calculus, showcasing their properties on
inverses and transpose through diagrammatic rewriting. Additionally, the paper
uses this representation to depict the Jozsa-style matchgate in algebraic
ZX-calculus. To further enhance practical use, we have implemented this
representation in \texttt{discopy}. Overall, this work sets the groundwork for
more applications of ZX-calculus such as synthesising controlled matrices
[arXiv:2212.04462] in quantum computing.
- Abstract(参考訳): 線型代数の応用において、基本行列は重要な役割を果たす。
本稿では,代数的zx計算における2^m\times 2^n$-size basic matricesの図式表現について述べる。
さらに、この表現を用いて代数的 zx 計算における jozsa-style matchgate を記述する。
実用性をさらに向上するため,この表現をtexttt{discopy} で実装した。
この研究は、量子コンピューティングにおける制御行列 [arXiv:2212.04462] の合成など、ZX-計算のさらなる応用の基礎となる。
関連論文リスト
- CoLA: Exploiting Compositional Structure for Automatic and Efficient
Numerical Linear Algebra [62.37017125812101]
機械学習における大規模線形代数問題に対して, CoLA という, 単純だが汎用的なフレームワークを提案する。
線形演算子抽象と合成ディスパッチルールを組み合わせることで、CoLAはメモリと実行時の効率的な数値アルゴリズムを自動的に構築する。
偏微分方程式,ガウス過程,同変モデル構築,教師なし学習など,幅広い応用で有効性を示す。
論文 参考訳(メタデータ) (2023-09-06T14:59:38Z) - Vectorization of the density matrix and quantum simulation of the von
Neumann equation of time-dependent Hamiltonians [65.268245109828]
我々は、von-Neumann方程式を線形化するための一般的なフレームワークを開発し、量子シミュレーションに適した形でレンダリングする。
フォン・ノイマン方程式のこれらの線型化のうちの1つは、状態ベクトルが密度行列の列重ね元となる標準的な場合に対応することを示す。
密度行列の力学をシミュレートする量子アルゴリズムを提案する。
論文 参考訳(メタデータ) (2023-06-14T23:08:51Z) - Discovering Sparse Representations of Lie Groups with Machine Learning [55.41644538483948]
本手法はローレンツ群の生成元の正準表現を再現することを示す。
このアプローチは完全に一般であり、任意のリー群に対する無限小生成元を見つけるのに使うことができる。
論文 参考訳(メタデータ) (2023-02-10T17:12:05Z) - Geometry of Interaction for ZX-Diagrams [0.0]
ZX-カルキュラス(ZX-Calculus)は、方程式理論を備えた量子計算のための汎用的なグラフィカル言語である。
本稿では,ZX-Calculusのトークンマシンに基づく非同期モデルの提案と混合プロセスへの拡張について述べる。
論文 参考訳(メタデータ) (2022-06-22T08:52:58Z) - Qudit lattice surgery [91.3755431537592]
我々は、フォールトトレラント量子ビット計算のモデルである格子手術が、任意の有限次元量子ビットに直接一般化することを観察する。
我々は、このモデルをホップ・フロベニウス代数に基づく図形言語であるZX-計算に関連付ける。
論文 参考訳(メタデータ) (2022-04-27T23:41:04Z) - Non-PSD Matrix Sketching with Applications to Regression and
Optimization [56.730993511802865]
非PSDおよび2乗根行列の次元削減法を提案する。
複数のダウンストリームタスクにこれらのテクニックをどのように使用できるかを示す。
論文 参考訳(メタデータ) (2021-06-16T04:07:48Z) - A matrix math facility for Power ISA(TM) processors [0.16910097443356495]
マトリックス・マルチ・アシスト(Matrix-Multiply Assist)と呼ばれる新しい数学命令のファミリーがPower ISA(TM)バージョン3.1で導入された。
これらの命令は、将来のPOWER10プロセッサで高スループットの計算エンジンをパワー効率で実装するきっかけとなった。
コア毎のパフォーマンスは、前世代のPOWER9プロセッサの4倍、一定の周波数で向上している。
論文 参考訳(メタデータ) (2021-04-07T14:17:32Z) - Simplification Strategies for the Qutrit ZX-Calculus [0.0]
ZX-calculusは、ZX-diagramと呼ばれるテンソルネットワークを適切に表現するためのグラフィカル言語である。
ZX計算は、量子回路、凝縮物質系、量子アルゴリズム、量子エラー符号、および数え上げ問題に関する推論に応用を見出した。
論文 参考訳(メタデータ) (2021-03-11T19:17:28Z) - Completeness of the ZH-calculus [0.0]
文字列ダイアグラムの代替グラフィカル言語であるZH-calculusについて検討する。
この計算の簡単な書き直し規則の集合を見つけ、$mathbbZ[frac12]$ 上の行列に関して完備であることを示す。
我々は、任意の環 $R$ 上の行列に関して完備なZH-計算の拡張版を構築し、$+1$ は零因子ではない。
論文 参考訳(メタデータ) (2021-03-11T11:22:51Z) - Algebraic complete axiomatisation of ZX-calculus with a normal form via
elementary matrix operations [0.3655021726150367]
この形式主義は、可換半環上のqubit ZX-calculus からqudit ZX-calculus および ZX-calculus への完全公理化を一般化する道を開いた。
ZX 図形の観点から初等変換を特徴付けるので、多くの線型代数は純粋に図式化することができる。
論文 参考訳(メタデータ) (2020-07-26T23:46:15Z) - Vector-Matrix-Vector Queries for Solving Linear Algebra, Statistics, and
Graph Problems [58.83118651518438]
ベクトル行列ベクトルクエリを用いて行列について学習する一般的な問題を考える。
これらのクエリは、固定フィールド上の$boldsymbolumathrmTboldsymbolMboldsymbolv$の値を提供する。
我々は、線形代数、統計、グラフにまたがる様々な問題に対して、新しい上界と下界を提供する。
論文 参考訳(メタデータ) (2020-06-24T19:33:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。