[論文レビュー] Tutorial on the Quantikz Package

Alastair Kay|ArXiv.org|Sep 10, 2018

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

このチュートリアルでは、TikZに基づいて構築されたLaTeXパッケージであるQuantikzを紹介する。QCircuitに比べて使いやすく、機能が強化された量子回路図の作成を可能にする。制御ゲート、測定、ラベル付け、スタイリング、外部化をサポートする直感的なタイプセットが可能で、QCircuitの構文と完全に後方互換性を保ち、インタラクティブなコード生成が可能なWebベースのエディタも提供する。

ABSTRACT

This tutorial introduces (and provides, via the document source) the Quantikz LaTeX package for typesetting quantum circuit diagrams. This takes advantage of tikz to give greater control over the circuit options. Those familiar with the excellent QCircuit package will recognise much of the notation, although it has evolved a bit (hopefully simplified!).

研究の動機と目的

• QCircuitの現代的代替品として設計されたQuantikz LaTeXパッケージの包括的チュートリアルを提供すること。
• QCircuitとXy-picの制限を克服し、量子回路図のためのより直感的で拡張可能で視覚的に一貫性のあるインターフェースを提供すること。
• 古典的および量子的ワイヤーを同等の扱いで扱えるようにすることで、回路表現の柔軟性と明確さを向上させること。
• Beamerや外部化、一般的なパッケージとの互換性を含む、LaTeXワークフローへのシームレスな統合を可能にすること。
• インタラクティブな回路設計とコード生成を可能にするWebベースのインターフェースを提供し、新規ユーザーの導入障壁を低減すること。

提案手法

• TikZとquantikz2ライブラリを活用し、列の区切りに&、行の区切りに\\を使用するマトリクスベースの構文で量子回路をレンダリングする。
• 量子ワイヤーと古典的ワイヤーを同等に扱える統一されたワイヤータイプシステム（q, c, b, n）を導入し、一貫性とレイアウト制御を向上させる。
• ゲートコマンドにオプション引数を導入し、ゲートの範囲、数式モードでのラベル、個々のゲートのスタイリングを可能にする。
• 制御ゲートには\ctrl{d}と\targ{}コマンドを提供し、垂直方向のワイヤー拡張により複数の制御およびターゲットをサポートする。
• ラベル付け用のハイレベルコマンド\lstick、\rstick、\gate[2]{...}、およびワイヤータイプの変更用の\setwiretypeを提供する。
• スライシング、ゲートグループ化、PDF出力用の外部化、リアルタイムコード生成が可能なWebベースのエディタといった高度な機能を備える。

実験結果

リサーチクエスチョン

• RQ1 QCircuitに比べて、LaTeXにおける量子回路図のタイプセットを、より直感的かつ一貫性を持って行うにはどうすればよいか？
• RQ2 量子ワイヤーと古典的ワイヤーを同等の意味論で扱えるようにワイヤータイプの取り扱いをどのように改善できるか？
• RQ3 Webベースのインターフェースは、量子回路図の作成と共有のためのアクセシビリティと使いやすさをどのように向上させられるか？
• RQ4 LaTeXパッケージを再設計する際、後方互換性とパッケージ相互運用性を保つために直面する主な課題は何か？
• RQ5 外部化や個々のゲートスタイリングといった高度な機能を、LaTeXパッケージ内で効率的に実装するにはどうすればよいか？

主な発見

• Quantikzパッケージは、QCircuitに代わる保守的で拡張可能で意味論的に一貫性のあるインターフェースとして成功裏に実現された。
• cタイプのワイヤーとしての第一級の古典的ワイヤーの導入により、従来の非対称性が解消され、ハイブリッド量子-古典的回路における視覚的明確さが向上した。
• Webベースのインターフェースにより、リアルタイムでの回路編集と自動コード生成が可能となり、新規ユーザーの導入障壁が顕著に低下した。
• 外部化のサポートにより、特に画像ベースの図を必要とするジャーナルへの提出に適した効率的なPDF出力が可能になった。
• マルチキュービットゲート、複数ターゲットの制御ゲート、TikZベースの構文によるカスタマイズ可能なゲートスタイリングといった複雑な機能もサポートしている。
• バージョン1.xでの主要な内部再設計にもかかわらず、ほとんどの既存の回路で後方互換性が維持されており、ワイヤータイプの再定義に伴い視覚的出力にわずかな差が生じる可能性はあるが、問題はない。