論文の概要: Entanglement of Sections: The pushout of entangled and parameterized
quantum information
- arxiv url: http://arxiv.org/abs/2309.07245v2
- Date: Tue, 21 Nov 2023 08:48:16 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-23 04:54:15.310088
- Title: Entanglement of Sections: The pushout of entangled and parameterized
quantum information
- Title(参考訳): セクションの絡み合い:絡み合いとパラメータ化量子情報の押し出し
- Authors: Hisham Sati and Urs Schreiber
- Abstract要約: 最近、フリードマン・アンド・ヘイスティングス (Freedman & Hastings) は、量子エンタングルメント/テンソル構造とパラメータ化/構造を統一する数学的理論を求めた。
我々は、モノイド圏論における関連するプッシュアウト図形の正確な形を作る。
このモデルカテゴリーが線形ホモトピー型理論の線形乗法的断片の分類的意味論としてどのように機能するかを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recently Freedman & Hastings asked for a mathematical theory that would unify
quantum entanglement/tensor-structure with parameterized/bundle-structure via
their amalgamation (a hypothetical pushout) along bare quantum (information)
theory. As a proposed answer to this question, we first make precise a form of
the relevant pushout diagram in monoidal category theory. Then we prove that
the pushout produces what is known as the *external* tensor product on vector
bundles/K-classes, or rather on flat such bundles (flat K-theory), i.e., those
equipped with monodromy encoding topological Berry phases. The bulk of our
result is a further homotopy-theoretic enhancement of the situation to the
"derived category" (infinity-category) of flat infinity-vector bundles
("infinity-local systems") equipped with the "derived functor" of the external
tensor product. Concretely, we present an integral model category of simplicial
functors into simplicial K-chain complexes which conveniently presents the
infinity-category of parameterized HK-module spectra over varying base spaces
and is equipped with homotopically well-behaved external tensor product
structure. In concluding we indicate how this model category serves as
categorical semantics for the linear-multiplicative fragment of Linear Homotopy
Type Theory (LHoTT), which is thus exhibited as a universal quantum programming
language. This is the context in which we recently showed that topological
anyonic braid quantum gates are native objects in LHoTT.
- Abstract(参考訳): 最近freedman & hastingsは、裸の量子(情報)理論に沿った結合(仮定的な押し出し)を通じて、パラメータ化/束構造で量子の絡み合い/テンソル構造を統一する数学的理論を求めた。
この問いに対する提案の答えとして、まずモノイド圏論における関連するプッシュアウト図の形式を正確に述べる。
すると、プッシュアウトはベクトルバンドル/K-クラス上で *external* tensor product と呼ばれるもの、あるいは平らなそのようなバンドル(平らなK-理論)、すなわちトポロジカルベリー位相を符号化するモノドロミーを持つものを生成する。
この結果の大部分は、外部テンソル積の「派生関手」を備えた平坦無限ベクトルバンドル(無限局所系)の「派生圏(infinity-category)」への状況のさらなるホモトピー的拡張である。
具体的には, 基本空間上のパラメータ化HK-加群スペクトルの無限大カテゴリを便利に提示し, ホモトピー的に良好な外部テンソル積構造を有する, 単純K-鎖錯体への単純関手積分モデルカテゴリーを提案する。
結論付けでは、このモデル圏が線型ホモトピー型理論(lhott)の線形乗法的断片に対する分類的意味論としてどのように役立つかを示し、これは普遍量子プログラミング言語として示される。
これは,LHoTTにおける位相異方性ブレイド量子ゲートがネイティブオブジェクトであることを最近示した文脈である。
関連論文リスト
- A Profunctorial Semantics for Quantum Supermaps [0.0]
図形のブラックボックスの一般化は、コンクリートネットワーク上のコプレシーブの圏における射として、プロファンクター光学のより広い分野に置かれる。
これらの分解定理の核心には、ヨネダ補題と表現可能性の概念があることが示される。
論文 参考訳(メタデータ) (2024-02-05T13:35:03Z) - Quantum and Reality [0.0]
等変ホモトピー理論の原理に根ざしたエルミティシティの自然発生について述べる。
このエルミート形式の構成は、周囲線型型理論をテンソル単位型の負の単位項以上に必要としない。
LHoTTに埋め込まれた量子言語における量子ゲートと量子チャネルのユニタリティの符号化(および検証)を可能にする方法を示す。
論文 参考訳(メタデータ) (2023-11-18T11:00:12Z) - Matter relative to quantum hypersurfaces [44.99833362998488]
我々は、Page-Wootters形式を量子場理論に拡張する。
超曲面を量子参照フレームとして扱うことにより、古典的および非古典的超曲面間の変化に量子フレーム変換を拡張する。
論文 参考訳(メタデータ) (2023-08-24T16:39:00Z) - Coend Optics for Quantum Combs [0.0]
1-comb のカテゴリを定義する2つの可能な方法を示し、第1は共役光学であり、第2は下階写像上の 1-comb の操作挙動による商として拡張する。
拡張的定義は量子コムの研究に特に興味を持ち、この研究が量子論におけるこれらの構造をモデル化するための光学の使用にさらなる関心をもたらすことを願っている。
論文 参考訳(メタデータ) (2022-05-18T16:04:55Z) - From Torus Bundles to Particle-Hole Equivariantization [15.857538570676667]
我々は3次元多様体の無限族、すなわち円上のトーラス束を考える。
モジュラーデータは、ある尖点前モジュラー圏の$mathbbZ$-equivariantizationによって実現されることを示す。
この広範な事例が、プログラムを改良し、プレモーダルなカテゴリの全データを回復する方法について、光を当てることを期待しています。
論文 参考訳(メタデータ) (2021-06-03T16:06:26Z) - The Ultraviolet Structure of Quantum Field Theories. Part 1: Quantum
Mechanics [0.0]
本稿では,格子-連続対応の体系的構築において,オープニングサーボを発射する。
焦点は(0+1)Dの場の量子論、すなわち量子力学である。
論文 参考訳(メタデータ) (2021-05-24T18:00:06Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
ファジィネスという厳密な概念から派生した変形生成および消滅作用素のクラスを提示する。
これにより変形し、ボゾン準可換関係は、修正された退化エネルギーとフォック状態を持つ単純な代数構造を誘導する。
さらに、量子論において導入された形式論がもたらす可能性について、例えば、自由準ボソンの分散関係における線型性からの偏差について検討する。
論文 参考訳(メタデータ) (2020-09-10T20:53:58Z) - Lorentz Group Equivariant Neural Network for Particle Physics [58.56031187968692]
ローレンツ群の下での変換に関して完全に同値なニューラルネットワークアーキテクチャを提案する。
素粒子物理学における分類問題に対して、そのような同変構造は、比較的学習可能なパラメータの少ない非常に単純なモデルをもたらすことを実証する。
論文 参考訳(メタデータ) (2020-06-08T17:54:43Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z) - In and around Abelian anyon models [6.509665408765348]
チャーン・サイモンズ理論における$K$行列に対する明示的なアルゴリズムと格子共形場理論に対する正定値なアルゴリズムを提供する。
任意のモデルとカイラル共形場理論は、物質のトポロジカル相のバルクエッジ対応を成す。
論文 参考訳(メタデータ) (2020-04-25T03:39:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。