論文の概要: Universal Properties of Partial Quantum Maps
- arxiv url: http://arxiv.org/abs/2206.04814v1
- Date: Thu, 9 Jun 2022 23:44:48 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-10 01:25:30.051241
- Title: Universal Properties of Partial Quantum Maps
- Title(参考訳): 部分量子マップの普遍的性質
- Authors: Pablo Andr\'es-Mart\'inez and Chris Heunen and Robin Kaarsgaard
- Abstract要約: 有限次元ヒルベルト空間とユニタリのリグ圏から有限次元 C*-代数の圏と完全正のトレース非増分写像を普遍的に構成する。
量子プログラミング言語の設計と意味論において、この構造がどのように利用できるかについて議論する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We provide a universal construction of the category of finite-dimensional
C*-algebras and completely positive trace-nonincreasing maps from the rig
category of finite-dimensional Hilbert spaces and unitaries. This construction,
which can be applied to any dagger rig category, is described in three steps,
each associated with their own universal property, and draws on results from
dilation theory in finite dimension. In this way, we explicitly construct the
category that captures hybrid quantum/classical computation with possible
nontermination from the category of its reversible foundations. We discuss how
this construction can be used in the design and semantics of quantum
programming languages.
- Abstract(参考訳): 有限次元 c*-代数の圏の普遍的構成と、有限次元ヒルベルト空間とユニタリのリグ圏からの完全正のトレース非開写像を提供する。
任意のダガーリグ圏に適用できるこの構成は、3つのステップで記述され、それぞれが自身の普遍性と関連付けられ、有限次元のダイレーション理論の結果から導かれる。
このようにして、我々は、その可逆基底の圏から可能な非終端を持つハイブリッド量子/古典計算をキャプチャするカテゴリを明示的に構築する。
量子プログラミング言語の設計と意味論において、この構造がどのように利用できるかについて議論する。
関連論文リスト
- Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
我々は、量子チャネルの位相空間と複素スティーフェル多様体の商の間の連続性関係を確立する。
確立された関係は、様々な量子最適化問題に適用できる。
論文 参考訳(メタデータ) (2024-08-19T09:15:54Z) - Gaussian Entanglement Measure: Applications to Multipartite Entanglement
of Graph States and Bosonic Field Theory [50.24983453990065]
フービニ・スタディ計量に基づく絡み合い尺度は、Cocchiarellaと同僚によって最近導入された。
本稿では,多モードガウス状態に対する幾何絡み合いの一般化であるガウスエンタングルメント尺度(GEM)を提案する。
自由度の高い系に対する計算可能な多部絡み合わせ測度を提供することにより、自由なボゾン場理論の洞察を得るために、我々の定義が利用できることを示す。
論文 参考訳(メタデータ) (2024-01-31T15:50:50Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
モノイド圏における図式推論を代数演算や方程式で拡張する。
この構造が量子系におけるノイズの図解的推論にどのように利用できるかを示す。
論文 参考訳(メタデータ) (2023-10-17T14:12:39Z) - Entanglement of Sections: The pushout of entangled and parameterized
quantum information [0.0]
最近、フリードマン・アンド・ヘイスティングス (Freedman & Hastings) は、量子エンタングルメント/テンソル構造とパラメータ化/構造を統一する数学的理論を求めた。
我々は、モノイド圏論における関連するプッシュアウト図形の正確な形を作る。
このモデルカテゴリーが線形ホモトピー型理論の線形乗法的断片の分類的意味論としてどのように機能するかを示す。
論文 参考訳(メタデータ) (2023-09-13T18:28:43Z) - Free Polycategories for Unitary Supermaps of Arbitrary Dimension [0.7614628596146599]
対称モノイド圏の射を挿入できる穴の構成を提供する。
単体表現可能なポリスロットのサブクラスsrep[C]を同定する。
論文 参考訳(メタデータ) (2022-07-19T10:38:55Z) - The vacuum provides quantum advantage to otherwise simulatable
architectures [49.1574468325115]
理想のゴッテマン・キタエフ・プレスキル安定化状態からなる計算モデルを考える。
測定結果の確率密度関数を計算するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2022-05-19T18:03:17Z) - Quantum Information Effects [0.0]
量子計算における情報量を操作するために、2つの二重量子情報効果(隠れと割り当て)について検討する。
結果の型と効果のシステムは、測定を含む不可逆的な量子コンピューティングに対して完全に表現可能である。
論文 参考訳(メタデータ) (2021-07-26T12:21:42Z) - Bennett and Stinespring, Together at Last [0.0]
開系上の可逆力学と閉系上の任意の力学を関連付ける普遍構成を提案する。
我々は、我々の建設がより普遍的な構成によって本質的に「不要」であることを示す。
論文 参考訳(メタデータ) (2021-02-17T11:50:12Z) - A Universal Representation for Quantum Commuting Correlations [3.222802562733787]
我々は、状態空間が量子交換相関の集合に親同型であるアルキメデス順序単位空間を明示的に構成する。
我々の主な成果は、アルキメデス次数単位空間における有限の正の収縮がヒルベルト空間上の射影の集合として実現できるときの特徴付けによって達成される。
論文 参考訳(メタデータ) (2021-02-11T03:15:47Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。