2025-11-10T02:59:56.765376

GUPPY: Pythonic Quantum-Classical Programming

Koch, Lawrence, Singhal et al.

We present ongoing work on Guppy, a domain-specific language embedded in Python that allows users to write high-level hybrid quantum programs with complex control flow in Pythonic syntax, aiming to run them on actual quantum hardware.

academic

GUPPY: Pythonic Quantum-Classical Programming

基本情報

論文ID: 2510.12582
タイトル: GUPPY: Pythonic Quantum-Classical Programming
著者: Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan (Quantinuum, United Kingdom)
分類: cs.PL (プログラミング言語), cs.SE (ソフトウェアエンジニアリング), quant-ph (量子物理学)
発表日時: 2025年10月14日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2510.12582v1

概要

本論文はGuppyを紹介しており、これはPythonに組み込まれたドメイン固有言語(DSL)であり、ユーザーがPythonicな構文を使用して複雑な制御フローを持つ高度なハイブリッド量子プログラムを記述でき、実際の量子ハードウェア上でこれらのプログラムを実行することを目標としています。

研究背景と動機

問題定義

量子計算分野におけるPythonの支配的地位：最新の調査によると、量子計算研究者と実務者の90%以上がPythonを使用していますが、既存のフレームワークは回路レベルの抽象化に限定されており、高度な制御フローのサポートが限定的です。
リアルタイム量子-古典計算の必要性：成功するまで繰り返す(repeat-until-success)プロトコルなどのアルゴリズムは、量子測定結果に基づくリアルタイム古典データ処理が必要であり、次世代量子デバイスの発展に伴いこの必要性はさらに増加します。
既存手法の限界：
- ほとんどのPythonフレームワークはPythonインタプリタのトレーシングを通じて量子プログラム表現を構築するため、Pythonネイティブな制御フロー構文をキャプチャできません
- 条件文とループは高階コンビネータまたは他の構文構造を通じて表現する必要があります
- 量子プログラミングエラーを防ぐための線形型システムが不足しています

研究動機

Pythonの親しみやすい構文とエコシステムの利点を保ちながら、複雑な量子-古典ハイブリッド計算をサポートできるプログラミング言語を開発すること。

核心的貢献

Guppy DSLの提案：Pythonicな構文で量子-古典ハイブリッドプログラムを記述できるPythonに組み込まれたドメイン固有言語
線形型システムの実装：線形Qubit型を通じてコンパイル時に量子プログラミングエラー(複製禁止定理の違反など)をキャプチャ
複雑な制御フローのサポート：測定結果に基づく条件文、ループなどの制御フロー構造をネイティブにサポート
Hugr IRへの静的コンパイル：新しい量子中間表現Hugr への編集をサポートし、量子-古典プログラムの表現と最適化をサポート
Python相互運用性：py(...)式を通じてPythonエコシステムとのシームレスな統合を実現

方法の詳細

タスク定義

以下が可能なプログラミング言語を設計すること：

馴染みのあるPython構文を使用
量子-古典ハイブリッド計算をサポート
コンパイル時の安全保証を提供
量子ハードウェア上で実行可能なプログラムを生成

言語設計アーキテクチャ

1. コア構文機能

Pythonic制御フロー：if、for、while、break、continue、return文をサポート
強型システム：型注釈が必須であり、変数はすべての制御フローパスで割り当てられ、一意の静的型を持つ必要があります
基本型：bool、int、float、Noneおよび対応する操作をサポート

2. 量子操作の設計

@guppy
def rx(q: Qubit, a: float) -> Qubit:
    # 線形型：Qubitは複製または暗黙的に破棄できません
    return h(rz(h(q), a))

線形型システムの特徴：

Qubit値は線形に処理され、複製または暗黙的に破棄できません
量子操作署名：h: Qubit -> Qubit

コンパイル時エラー検出：

q = Qubit()
return cx(q, q)  # エラー：同じqubitを複数回使用

q = Qubit()
h(q)  # エラー：戻り値が使用されていません

3. コレクション型

線形リストとタプル：qubitレジスタを表現するために使用
特殊操作：
- get関数：指定されたインデックスのqubitを返し、そのqubitを削除した新しいリストを返す
- applyメソッド：指定されたインデックスで関数を適用、例：qs.apply(cx, (i, j))
リスト内包表記：[h(q) for q in qs]構文をサポート

4. 高階関数のサポート

関数は第一級値であり、Callable型コンストラクタを使用
ネストされた関数定義と変数キャプチャをサポート
再帰と相互再帰をサポート

5. Python相互運用性

import networkx as nx
g = nx.erdos_renyi_graph(20, 0.25)

@guppy
def apply_graph(qs: list[Qubit]) -> list[Qubit]:
    for i, j in py(g.edges()):  # py()式がPythonコードを呼び出す
        qs = qs.apply(zz, (i, j))
    return qs

コンパイルアーキテクチャ

コンパイル対象：Hugr IR

階層統一グラフ表現(Hierarchical Unified Graph Representation)
データフロー図：ノードは純粋関数呼び出しを表し、エッジはデータ依存性を表します
構造化制御フロー：Conditionalおよび TailLoopノードを通じて分岐と反復を表現
線形型サポート：ノード出力が単一のデータフローエッジのみを持つことを制約

コンパイルフロー

Guppyソースコード解析
型チェックと静的分析
Hugr図表現の生成
最適化とターゲットコード生成

実験設定

サンプルプログラム検証

1. 量子テレポーテーションプロトコル

@guppy
def teleport(src: Qubit, tgt: Qubit) -> Qubit:
    tmp, tgt = cx(h(Qubit()), tgt)
    src, tmp = cx(src, tmp)
    
    if measure(h(src)):
        tgt = z(tgt)
    if measure(tmp):
        tgt = x(tgt)
    return tgt

2. 成功するまで繰り返すプロトコル

@guppy
def rus(q: Qubit, tries: int) -> Qubit:
    for _ in range(tries):
        a, b = h(Qubit()), h(Qubit())
        b, a = cx(b, tdg(a))
        
        if not measure(t(a)):
            discard(b)
            continue
            
        q, b = cx(z(t(q)), b)
        if measure(t(b)):
            break
        q = x(q)
    return q