論文の概要: LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits

• arxiv url: http://arxiv.org/abs/2204.11787v1
• Date: Mon, 25 Apr 2022 16:59:26 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-15 17:41:08.723690
• Title: LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
• Title（参考訳）: LOv-Calculus:線形光量子回路のためのグラフィカル言語
• Authors: Alexandre Cl\'ement, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Beno\^it Valiron
• Abstract要約: 線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。 2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
• 参考スコア（独自算出の注目度）: 58.720142291102135
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We introduce the LOv-calculus, a graphical language for reasoning about linear optical quantum circuits with so-called vacuum state auxiliary inputs. We present the axiomatics of the language and prove its soundness and completeness: two LOv-circuits represent the same quantum process if and only if one can be transformed into the other with the rules of the LOv-calculus. We give a confluent and terminating rewrite system to rewrite any polarisation-preserving LOv-circuit into a unique triangular normal form, inspired by the universal decomposition of Reck et al. (1994) for linear optical quantum circuits.
• Abstract（参考訳）: 真空状態補助入力と呼ばれる線形光量子回路を推論するためのグラフィカル言語lov-calculusを紹介する。 2つのlov-circuitが同じ量子過程を表しているのは、一方がlov-calculusの規則で他方に変換できる場合に限りである。 線形光量子回路に対するreck et al.(1994)の普遍的分解に触発されて、任意の偏光保存型lov回路を一意な三角形正規形に書き換える合流・終端リライトシステムを与える。

関連論文リスト

• A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors [0.0]
  無限次元ボソニックフォック空間を推論するグラフィカル言語であるtextbfLO_fi$-calculusを導入する。 2つの $textbfLO_fi$-circuits は同じ量子過程を表す。
  論文  参考訳（メタデータ） (2024-02-27T17:08:47Z)
• Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
  量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。 我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。 完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
  論文  参考訳（メタデータ） (2023-03-06T13:31:27Z)
• Third quantization of open quantum systems: new dissipative symmetries and connections to phase-space and Keldysh field theory formulations [77.34726150561087]
  3つの方法全てを明示的に接続する方法で第3量子化の手法を再構成する。 まず、我々の定式化は、すべての二次ボゾンあるいはフェルミオンリンドブラディアンに存在する基本散逸対称性を明らかにする。 ボソンに対して、ウィグナー関数と特徴関数は密度行列の「波動関数」と考えることができる。
  論文  参考訳（メタデータ） (2023-02-27T18:56:40Z)
• A Complete Equational Theory for Quantum Circuits [58.720142291102135]
  量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
  論文  参考訳（メタデータ） (2022-06-21T17:56:31Z)
• Quantum Linear Optics via String Diagrams [0.0]
  量子ビットベースの量子コンピューティングとフォトニック量子コンピューティングの間に正式なブリッジを確立する。 我々は、ZX電卓から線形光回路への関手を定義することでこれを実現している。
  論文  参考訳（メタデータ） (2022-04-27T14:47:45Z)
• Quantum Circuits in Additive Hilbert Space [0.0]
  従来の回路を加法空間でどのように表現し、どのように回収するかを示す。 特にフォーマリズムでは、低レベル回路分解から高レベルな多重制御プリミティブを合成することができる。 我々の定式化はまた、回路のような図式表現を受け入れ、量子計算の斬新でシンプルな解釈を提案する。
  論文  参考訳（メタデータ） (2021-11-01T19:05:41Z)
• The Logic of Quantum Programs [77.34726150561087]
  本稿では,量子プログラムにおける情報フローの論理計算について述べる。 特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
  論文  参考訳（メタデータ） (2021-09-14T16:08:37Z)
• Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
  回路量子力学(cQED)システムにおける格子$Phi4$理論の量子アルゴリズムの実装について論じる。 quditシステムの主な利点は、そのマルチレベル特性により、対角的な単一量子ゲートでしかフィールドの相互作用を実装できないことである。
  論文  参考訳（メタデータ） (2021-08-30T16:30:33Z)
• PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
  本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。 我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。 我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
  論文  参考訳（メタデータ） (2020-02-21T16:15:58Z)

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

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