論文の概要: Programming with Quantum-Controlled Quantum Channels

• arxiv url: http://arxiv.org/abs/2607.15873v1
• Date: Fri, 17 Jul 2026 11:40:25 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-20 17:56:52.839097
• Title: Programming with Quantum-Controlled Quantum Channels
• Title（参考訳）: 量子制御された量子チャネルを用いたプログラミング
• Abstract要約: 量子量子ビットは、0$と1$の重ね合わせに存在することができる。 キュービットによるプログラムの制御は、制御操作によって行う。 量子制御と測定を行う新しい量子プログラム言語を開発した。
• 参考スコア（独自算出の注目度）: 0.9668407688201359
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In contrast to a classical bit, which can only take the value $0$ or $1$, its quantum counterpart -- a qubit -- can exist in a superposition of $0$ and $1$. This is a superposition of data values, naturally raising the question of whether one can superpose not only data but also programs. For example, a particular superposition of programs, known as the quantum SWITCH, has attracted much attention, and its implementations and computational advantages have been studied extensively within the physics community. A naive way to control a program by a qubit is by means of a controlled operation. Given an operation $F$, this amounts to considering an operation that behaves as $F$ when the control qubit is $|1\rangle$, and as the identity operation when the control qubit is $|0\rangle$. This idea works well when $F$ is a unitary operation, but it is not well-defined for a general quantum channel. By contrast, the quantum SWITCH is free from the well-definedness issue. This contrast leads to the key insight of this paper: controlled operations and the quantum SWITCH should be regarded as different kinds of quantum control mechanisms. Building on this insight, we develop a novel quantum programming language with quantum control and measurement that can express the quantum SWITCH over quantum channels. Using a semantic analysis based on program transformations, we identify the source of the ill-behavedness of controlled operations as the \emph{correspondence problem}: a lack of coordination between the measurements performed in the then- and else-branches of quantum conditional branching. We address this problem with a linear type system that enforces alignment of the quantum operations used in the two branches, yielding a well-behaved language capable of expressing the quantum SWITCH.
• Abstract（参考訳）: 古典的なビットは0$または1$しか持たないが、量子ビットである量子ビットは0$と1$の重ね合わせに存在することができる。 これはデータ値の重ね合わせであり、データだけでなくプログラムも重ね合わせることができるかどうかという疑問を自然に提起する。 例えば、量子SWITCHとして知られるプログラムの特定の重ね合わせが注目されており、その実装と計算上の優位性は物理学界で広く研究されている。 キュービットによるプログラムの制御は、制御操作によって行う。 操作 $F$ が与えられた場合、制御クォービットが $|1\rangle$ のときに $F$ として振る舞う操作と、制御クォービットが $|0\rangle$ のときのID操作を考えることになる。 このアイデアは、$F$がユニタリ演算であるときにうまく機能するが、一般的な量子チャネルでは十分に定義されていない。 対照的に、量子SWITCHは明確に定義された問題とは無関係である。 制御操作と量子SWITCHは異なる種類の量子制御機構と見なすべきである。 この知見に基づいて、量子チャネル上で量子SWITCHを表現できる量子制御と測定を備えた新しい量子プログラム言語を開発する。 プログラム変換に基づく意味解析を用いて、制御された操作の不備の源泉を、量子条件分岐の時と時と時との協調性の欠如である \emph{cor correspondingence problem} と同定する。 この問題に対して,2つのブランチで使用される量子演算のアライメントを強制する線形型システムを用いて解決する。

関連論文リスト

• Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes [0.0]
  量子計算のための高階量子関数型言語を提案する。 一般的な量子計算をサポートしており、単なるチャネルの置換ではない。 一階に全ての量子チャネルを表現でき、二階に量子制御を持つ大きな量子回路のサブクラスを表現できる。
  論文  参考訳（メタデータ） (2026-07-10T15:38:33Z)
• Quantum-Classical Separation in Bounded-Resource Tasks Arising from Measurement Contextuality [107.84586711462556]
  量子テクスチュアリティは、古典的限界を超えた成功確率で特定のタスクを実行できることを示す。 本研究は,文脈性に基づくアルゴリズムを用いて量子プロセッサをベンチマークする方法を提案する。
  論文  参考訳（メタデータ） (2025-12-01T23:54:32Z)
• A programming language combining quantum and classical control [0.0]
  量子プログラミング言語における制御の2つの主要な概念は、しばしば「量子」制御と「古典的」制御と呼ばれる。 パラダイムが同じシステム内で結合される可能性があることを示す。
  論文  参考訳（メタデータ） (2025-11-27T15:16:59Z)
• Quantum Information Processing with Molecular Nanomagnets: an introduction [49.89725935672549]
  本稿では,量子情報処理の導入について紹介する。 量子アルゴリズムを理解し設計するための基本的なツールを紹介し、分子スピンアーキテクチャ上での実際の実現を常に言及する。 分子スピンキュートハードウェア上で提案および実装された量子アルゴリズムの例を示す。
  論文  参考訳（メタデータ） (2024-05-31T16:43:20Z)
• Determining the ability for universal quantum computing: Testing controllability via dimensional expressivity [39.58317527488534]
  制御性テストは、外部制御の数を減らすために量子デバイスの設計に使用できる。 パラメタライズド量子回路に基づくハイブリッド量子古典アルゴリズムを考案する。
  論文  参考訳（メタデータ） (2023-08-01T15:33:41Z)
• Quantum Control Machine: The Limits of Control Flow in Quantum Programming [9.481014977048282]
  本稿では、量子コンピュータ上で正しく実現可能な制御フローの抽象化特性の完全な評価を行う。 この設計により、開発者は論理ゲートの代わりにプログラムカウンタを使用して量子アルゴリズムの制御フローを正しく表現できる。
  論文  参考訳（メタデータ） (2023-04-28T17:51:35Z)
• Quantum process tomography of continuous-variable gates using coherent states [49.299443295581064]
  ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。 符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
  論文  参考訳（メタデータ） (2023-03-02T18:08:08Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Native Conditional $i$SWAP Operation with Superconducting Artificial Atoms [14.279979630349288]
  量子状態を処理するコヒーレントデバイスは、情報を符号化する量子状態をルーティングする必要がある。 本稿では,超伝導量子プロセッサを用いた最小量子トランジスタを実験的に実証する。 このアーキテクチャは超伝導量子ビットを用いた量子情報処理に強い可能性を持っている。
  論文  参考訳（メタデータ） (2022-03-18T08:16:51Z)
• Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver [89.80359585967642]
  パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。 このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
  論文  参考訳（メタデータ） (2022-03-15T09:46:45Z)
• Universal quantum computation via quantum controlled classical operations [0.0]
  古典的または量子的な)計算のための普遍的なゲートの集合は、他の任意の操作を近似するために使用できるゲートの集合である。 SWAPゲートのみを実装可能なプリミティブコンピュータであっても、普遍量子コンピューティングに持ち上げることができることを示す。
  論文  参考訳（メタデータ） (2021-04-13T18:00:13Z)
• Quantum Gram-Schmidt Processes and Their Application to Efficient State Read-out for Quantum Algorithms [87.04438831673063]
  本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。 我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。 我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
  論文  参考訳（メタデータ） (2020-04-14T11:05:26Z)
• Computational advantage from quantum superposition of multiple temporal orders of photonic gates [0.0]
  制御量子システムは、ターゲット量子システムが$N$ゲート操作を行う順序をコヒーレントに決定することができる。 我々は、フォトニック偏光量子ビットに作用する$N=4$ゲートを持つ量子$N$スイッチを実験的に実証した。 これは、N=2$時間オーダー以上の量子重ね合わせの初めての観測である。
  論文  参考訳（メタデータ） (2020-02-18T19:00:01Z)

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

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