論文の概要: A programming language combining quantum and classical control
- arxiv url: http://arxiv.org/abs/2511.22537v1
- Date: Thu, 27 Nov 2025 15:16:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-01 19:47:55.62335
- Title: A programming language combining quantum and classical control
- Title（参考訳）: 量子制御と古典制御を組み合わせたプログラミング言語
- Authors: Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev,
- Abstract要約: 量子プログラミング言語における制御の2つの主要な概念は、しばしば「量子」制御と「古典的」制御と呼ばれる。
パラダイムが同じシステム内で結合される可能性があることを示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The two main notions of control in quantum programming languages are often referred to as "quantum" control and "classical" control. With the latter, the control flow is based on classical information, potentially resulting from a quantum measurement, and this paradigm is well-suited to mixed state quantum computation. Whereas with quantum control, we are primarily focused on pure quantum computation and there the "control" is based on superposition. The two paradigms have not mixed well traditionally and they are almost always treated separately. In this work, we show that the paradigms may be combined within the same system. The key ingredients for achieving this are: (1) syntactically: a modality for incorporating pure quantum types into a mixed state quantum type system; (2) operationally: an adaptation of the notion of "quantum configuration" from quantum lambda-calculi, where the quantum data is replaced with pure quantum primitives; (3) denotationally: suitable (sub)categories of Hilbert spaces, for pure computation and von Neumann algebras, for mixed state computation in the Heisenberg picture of quantum mechanics.
- Abstract（参考訳）: 量子プログラミング言語における制御の2つの主要な概念は、しばしば「量子」制御と「古典的」制御と呼ばれる。
後者では、制御フローは古典的な情報に基づいており、量子測定によってもたらされる可能性があり、このパラダイムは混合状態の量子計算に適している。
量子制御とは対照的に、我々は純粋量子計算に主眼を置いており、そこでは「制御」は重ね合わせに基づいている。
2つのパラダイムは伝統的にうまく混じっておらず、ほとんど常に別々に扱われている。
本研究では,このパラダイムを同一システム内で組み合わせることができることを示す。
このことを実現するための重要な要素は、(1) 構文上: 純量子型を混合状態量子型システムに組み込むモダリティ、(2) 操作上: 量子ラムダ-計算から「量子構成」の概念を適応させ、そこでは、量子データが純粋量子プリミティブに置き換えられる。
関連論文リスト
- Distributed Quantum Computation via Entanglement Forging and Teleportation [13.135604356093193]
分散量子計算は、限られたサイズの量子プロセッサ上での大規模量子計算の実用的な方法である。
本稿では,量子相関のない2つの量子プロセッサ上で非局所量子回路を実装する手法を実証する。
論文 参考訳（メタデータ） (2024-09-04T08:10:40Z) - A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
任意の文脈性ゲームは、単一の量子デバイスを含む運用上の「文脈性テスト」にコンパイル可能であることを示す。
我々の研究は、暗号を用いて単一の量子デバイスのサブシステム内で空間分離を強制すると見なすことができる。
論文 参考訳（メタデータ） (2024-05-10T19:30:23Z) - A vertical gate-defined double quantum dot in a strained germanium
double quantum well [48.7576911714538]
シリコン-ゲルマニウムヘテロ構造におけるゲート定義量子ドットは、量子計算とシミュレーションのための魅力的なプラットフォームとなっている。
ひずみゲルマニウム二重量子井戸におけるゲート定義垂直2重量子ドットの動作を実証する。
課題と機会を議論し、量子コンピューティングと量子シミュレーションの潜在的な応用について概説する。
論文 参考訳（メタデータ） (2023-05-23T13:42:36Z) - A prototype of quantum von Neumann architecture [0.0]
我々は、フォン・ノイマンアーキテクチャの量子バージョンである普遍量子コンピュータシステムのモデルを提案する。
量子メモリユニットの要素としてebitを使用し、量子制御ユニットと処理ユニットの要素としてqubitを使用する。
本研究は,量子情報の多様体パワーを実証し,量子コンピュータシステム構築の道を開くものである。
論文 参考訳（メタデータ） (2021-12-17T06:33:31Z) - Quantum tomography explains quantum mechanics [0.0]
量子検出器を構成するものに対する示唆的な概念は、論理的に不可能な測定の定義につながる。
量子状態、量子検出器、量子プロセス、量子機器のための様々な形態の量子トモグラフィについて論じる。
新しいアプローチは、従来の基礎よりも実践に近いものです。
論文 参考訳（メタデータ） (2021-10-11T14:09:30Z) - A thorough introduction to non-relativistic matrix mechanics in
multi-qudit systems with a study on quantum entanglement and quantum
quantifiers [0.0]
この記事では、非相対論的行列力学の深い理解を提供する。
それぞれ1-qubit, 1-qutrit, 2-qubit, 2-qudit コヒーレントおよび非コヒーレント密度演算子を導出し解析する。
また、量子非破壊測定、量子デコヒーレンス、特に量子エンタングルメントの基本的な概念についても論じる。
論文 参考訳（メタデータ） (2021-09-14T05:06:47Z) - Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。
解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文 参考訳（メタデータ） (2021-08-30T23:50:05Z) - Universal quantum computation and quantum error correction with
ultracold atomic mixtures [47.187609203210705]
長距離エンタングゲートを用いた普遍量子計算のためのプラットフォームとして、2種の超低温原子種を混合して提案する。
1つの原子種は、情報の基本単位を形成する可変長の局所化された集合スピンを実現する。
本稿では,ゴッテマン・キタエフ・プレスキル符号の有限次元バージョンについて論じ,集合スピンに符号化された量子情報を保護する。
論文 参考訳（メタデータ） (2020-10-29T20:17:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。