技術要約：多体系プローブによる基底状態メトロロジーの限界への到達

問題提起
量子メトロロジーは、もつれやコヒーレンスといった量子リソースを活用することで、古典的な限界を超える精度で未知の物理パラメータを推定することを目指している。パラメータ $\theta$ がハミルトニアン $H_\theta$ の基底状態にエンコードされる「基底状態プローブ」の潜在能力は認識されているが、この精度における究極の限界に達するための物理的要件に関する包括的な理解は、いまだ不完全である。具体的には、多くの多体系プローブが以下の2つの基本境界を飽和させるための条件を特徴づける必要がある。

1. 静的基底状態境界 (Static Ground-State Bound): $F_\theta \lesssim \|H_S\|^2 / \Delta^2$ （ここで $F_\theta$ は量子フィッシャー情報量、$\|H_S\|$ は信号強度、$\Delta$ はスペクトルギャップである）。
2. 動的ハイゼンベルク限界 (Dynamical Heisenberg Limit): $F_\theta \lesssim \|H_S\|^2 \tau^2$ （ここで $\tau$ は全プロトコル時間である）。

ここでの重要な課題は、高い感度を持つ臨界基底状態（しばしば発散する QFI を示す）と、「臨界スローイングダウン（臨界減速）」によって長い準備時間を必要とする性質（$\Delta$ が閉じるにつれて発生）との間の整合性をどのように取るかである。本論文では、最適な静的感度と最適な準備時間を同時に達成し、動的ハイゼンベルク限界に到達できるプローブを設計することが可能かどうかを調査する。

手法
著者らは、短距離相互作用と長距離相互作用の両方の特徴を持つ $N$ 体プローブのメトロロジー的ポテンシャルを分析している。本研究は、主に2つの動的メトロロジーの枠組みに基づいて構成されている。

• 基底状態ユニタリ・メトロロジー (GSUM): システムをまず目標とする基底状態に準備し（準備時間 $\tau_{prep}$）、その後、ユニタリ発展（感度取得時間 $\tau_{sens}$）を通じてパラメータをエンコードする。ここで $\tau = \tau_{prep} + \tau_{sens}$ である。
• 基底状態断熱メトロロジー (GSAM): パラメータは断熱準備プロセス全体を通じて連続的にエンコードされる。したがって $\tau = \tau_{prep} = \tau_{sens}$ である。

著者らは、「基底状態最適性」（静的境界の飽和）と「準備時間最適性」（逆ギャップの下限 $\tau_{prep} \sim 1/\Delta$ の飽和）に関する一般的な条件を導出している。これには以下を用いる。

• スケーリング解析: 量子臨界点付近における有限サイズスケーリング関係（臨界指数 $\nu$（相関距離）および $z$（動力学）によって特徴付けられる）を利用する。
• 局所断熱プロトコル: 準備時間を最小化するために、駆動速度を瞬時のスペクトルギャップと結合行列要素に適応させたスケジュールを分析する。
• モデル分析: 以下の4つの典型的なモデルにこれらの枠組みを適用する。
  1. 横磁場1次元イジング鎖（短距離、臨界的）。
  2. 外部磁場 XXZ チェーン（短距離、臨界的）。
  3. スピン・スクイージング・ハミルトニアン（長距離、全対全相互作用）。
  4. 2モード・ボース＝ハバード・モデル（長距離、全対全相互作用）。

主要な貢献と結果

1. 静的最適性の条件
本論文は、静的境界 $F_\theta \sim \|H_S\|^2 / \Delta^2$ を飽和させるために特定のスペクトル特性が必要であることを確立した。

• 短距離系: 最適性は、スペクトルギャップがシステムサイズ $N$ とともに閉じる場合にのみ可能である。二次量子臨界点の場合、これは臨界指数に関する普遍的な条件 $\nu(d + z) = 1$ （$d$ は空間次元）を導く。著者らは、従来の臨界点（例：$\nu(d+z)=2$ である1次元イジングモデル）は劣最適であることを指摘している。しかし、XXZチェーンは異方性パラメータ $\gamma_z \to 1^-$ として任意にこの条件に近づけることができる。あるいは、対称性が破れた状態の重ね合わせ（「キャットのような」基底状態）を持つ一次相転移も、静的最適性を達成し得る（ボース＝ハブリッド・モデルに見られるように）。
• 長距離系: 全対全相互作用を持つモデルは、臨界性を必要とせずに、ギャップがある領域（例：スピン・スクイージング・ハミルトニアン）や超指数関数的に閉じるギャップ（ボース＝ハブリッド）においても、静的最適性を達成できる。

2. 準備時間の最適性
最適な準備時間 $\tau_{prep} \sim 1/\Delta$ は、局所断熱プロトコルを通じて達成できることを著者らは示している。

• 短距離の臨界系では、準備時間は $\tau_{prep} \sim N^{z/d} \sim 1/\Delta_c$ とスケーリングし、最適性の条件を満たす。
• 長距離系では、準備時間は最も結合された励起状態によって決定される。スピン・スクイージング・モデルでは、基底状態は $\theta=0$ で非結合であるため、断熱時間は不要である。ボース＝ハブリッド・モデルでは、目標とするギャップは超指数関数的に閉じるが、パリティ制約により最初の励起状態への結合が妨げられるため、関連するギャップは多項式的にしか閉じず、多項式的な準備時間が可能となる。

3. 動的ハイゼンベルク限界の到達可能性
著者らは、静的および動的な結果を統合し、どのモデルが究極の限界 $F_\theta \sim N^2 \tau^2$ に到達するかを判断している。

• GSUM フレームワーク: ハイゼンベルク限界に到達するには、プローブが静的最適性の条件を満たす必要がある。$\tau_{sens}$ は任意に大きくできるため、静的に最適なプローブ（例：XXZ、スピン・スクイージング、ボース＝ハブリッド）は、準備時間が過度でなければ、漸近的にハイゼンベルク限界に到達できる。
• GSAM フレームワーク: これはより制約が強い。プローブは、静的最適性の条件と準備時間最適性の条件の両方を満たさなければならない。
  • 横磁場イジングモデルは失敗する：最適な準備時間を持っているが、静的に劣最適（$\nu(d+z) \neq 1$）であり、その結果、サブ・ハイゼンベルクのスケーリングを示す。
  • XXZモデルは $\gamma_z \to 1^-$ の極限において成功する：静的最適性の条件に近づきつつ、最適な準備時間を維持できるため、動的ハイゼンベルク限界に任意に近く到達できる。
  • 長距離モデル（スピン・スクイージング、ボース＝ハブリッド）は成功する：これらは両方の条件を満たし、臨界性なしでもハイゼンベルク・スケーリングを達成する。

意義と主張
著者らは、究極の量子精度において動作する多体系基底状態センサの設計のための理論的基礎を提供したと主張している。彼らの研究は以下の点を明らかにしている。

• 短距離の局所相互作用系を用いてショットノイズ限界（さらにはハイゼンベルク限界さえも）を超える精度を実現することは可能だが、それは特定の指数制約（$\nu(d+z)=1$）を満たす臨界点付近で動作する場合に限られる。
• 長距離相互作用系においては、臨界性は究極の精度を実現するための必須のリソースではない。全対全モデルは、ギャップがある領域でも境界を飽和させることができる。
• 一部の文献で見られる「スーパー・ハイゼンベルク」スケーリングの主張は、多くの場合、状態準備のコストを無視している。準備時間をリソースとして考慮した場合、真の限界はスペクトルギャップと臨界指数の相互作用によって支配される。
• 本結果は、局所ハミルトニアンに対する普遍的なショットノイズ限界の主張に異を唱えるものであり、プロトコル期間が逆ギャップに対して適切にスケールする場合（$\tau \sim 1/\Delta$）、ハイゼンベルク・スケーリングが達成可能であることを示している。

結論として、1次元イジングモデルは量子臨界性の標準的な例であるが、XXZチェーン（強磁性的点付近）や長距離モデルと比較するとメトロロジー的に劣っており、最適なセンサ設計のためには臨界指数と相互作用範囲のチューニングが重要であることを強調している。