[論文レビュー] Engineering discrete local dynamics in globally driven dual-species atom arrays

Francesco Cesa, Andrea Di Fini+5 more|arXiv (Cornell University)|Jan 23, 2026

Quantum many-body systems被引用数 0

ひとこと要約

要約：論文は、仲介アシラとデコヒーレンス制限ギャジェットを用いて、グローバル駆動の双種ラディーブ原子配列に離散局所ダイナミクス（QCA）を設計する方法を提案し、キック-IsingやFloquet Kitaev蜂の巣モデルを含むフロート様モデルを可能にする。

ABSTRACT

We introduce a method for engineering discrete local dynamics in globally-driven dual-species neutral atom experiments, allowing us to study emergent digital models through uniform analog controls. Leveraging the new opportunities offered by dual-species systems, such as species-alternated driving, our construction exploits simple Floquet protocols on static atom arrangements, and benefits of generalized blockade regimes (different inter- and intra-species interactions). We focus on discrete dynamical models that are special examples of Quantum Cellular Automata (QCA), and explicitly consider a number of relevant examples, including the kicked-Ising model, the Floquet Kitaev honeycomb model, and the digitization of generic translation-invariant nearest-neighbor Hamiltonians (e.g., for Trotterized evolution). As an application, we study chaotic features of discretized many-body dynamics that can be detected by leveraging only demonstrated capabilities of globally-driven experiments, and benchmark their ability to discriminate chaotic evolution.

研究の動機と目的

• 非平衡量子多体物理の理解ツールとして離散局所ダイナミクスの研究を動機付ける。
• グローバルで種を選択的に駆動し静的配置を持つ双種ラディーブ配列プラットフォームを導入し、QCAを実現する。
• データ量子ビット間のエンタングリング操作を実装するためのアシラ・ギャジェットを用いた仲介ゲート構成を開発する。
• キック-IsingモデルやFloquet Kitaev蜂の巣モデルなど、代表的なQCAモデルの具体的実現を示す。
• このアーキテクチャにおける近似実験実現性と、カオス検出プロトコルの可能性を検討する。

提案手法

• データ量子ビットとアシラ量子ビットが格子の頂点と結合に配置された双種ラディーブ配列を記述する。
• アシラ駆動の巡回進化がデータ量子ビットに条件付き位相を与える mediated gates を定義する。
• PXP型ブロック動力学を用いて、グローバルで種選択的な駆動の下で局所的に制約された進化を実現する。
• 隣接データ量子ビット間の CZ(phi) ゲートを協調的に並列実装するための飾り付きギャジェットを構築する。
• Floquet型更新を通じて同期・非同期のQCAを実現する具体的シーケンスを提供する。
• 仲介ゲートの時刻最適パルス設計と所望の位相を達成するための最適制御法を適用する。

Figure 1: (a, b) For a model defined on a 2D lattice, we construct a sub-division graph, by inserting one new vertex (in yellow) on each edge of the original lattice. We then arrange a dual-species atom array by positioning atoms of the data (blue) and ancillary (yellow) species on the vertices and

実験結果

リサーチクエスチョン

• RQ1 グローバル駆動を用いた双種ラディーブ配列は、静的配置と一様駆動のみで離散局所更新規則（QCA）を実現できるか。
• RQ2 仲介アシラと飾り付きギャジェットは、長期にアシラを entangled にせずデータ量子ビット間のエンタングリングゲートを可能にするか。
• RQ3 同期的かつ非同期的、均質か不均質といったどのクラスの離散局所ダイナミクスが実現可能で、実験的要件は何か。
• RQ4 キック-IsingやFloquet Kitaev蜂の巣モデルのような有名モデルをこのプラットフォームでデジタイズして実装できるか。
• RQ5 グローバル駆動実験の実証能力を用いて、カオス関連の診断がカオス的対非エルゴード的ダイナミクスを区別できるか。

主な発見

• 双種 mediated-gate スキームは、グローバルな種選択駆動下でデータ量子ビット間の有効な CZ(phi) ゲートを可能にする。
• 飾り付きギャジェットは、異なるギャジェットサイズを持つ結節に対して並列実現を可能にし、非一様結合を可能にする。
• 同期的QCA実現にはキック-Isingモデルを含み、データ量子ビットキックとイジング相互作用のためのギャジェット介在によって実装される。
• 非同期的QCA実現にはFloquet Kitaev蜂の巣モデルを含み、方向性結節依存の更新を実現するために飾り付きギャジェットを使用する。
• 任意の2局所ハミルトニアンを離散化するアプローチを、基底回転プロトコルの3段階で実現することで示す：U_H = e^{-i τ H_Z} e^{-i τ H_Y} e^{-i τ H_X}。

Figure 2: (a) Circuit depiction of our protocol, where we alternate driving on data and ancillary atoms. The first implements single-qubit gates on the data, while the second physically acts as controlled gates, with the data controlling the evolution of the ancillas - which always return back to $\