Second-order moment equivalence of twisted Gaussian Schell model beams and orbital angular momentum eigenmodes

本論文は、円筒対称なコヒーレント軌道角運動量固有モードの2 次モーメント共分散行列が、ひねりガウス・シェルモデルビームのそれらと普遍的に等価であることを示し、これにより確立された TGSM ツールボックスを用いて多様な OAM 族の伝播特性を完全に記述することを可能にする直接的なパラメータ対応関係を確立する。

要約

2 つの非常に異なる光ビームを想像してみてください。一つは、その構造に特定の「ねじれ」を持ち、軌道角運動量（OAM）ビームとして知られる、完全に秩序立てられたコヒーレントなビーム（レーザーのようなもの）です。もう一つは、乱雑で部分的にカオスなビーム（フィルターを通した電球からの光のようなもの）で、ねじれたガウス・シェルモデル（TGSM）ビームと呼ばれます。

通常、物理学者たちはこれら 2 つを全く異なる存在だと考えています。一方は正確に回転するダンサーであり、他方はぼやけたねじれた雲です。

大きな発見
この論文は、驚くべき秘密を明かします：これらのビームの「平均」的な振る舞いだけを見れば、それらは区別できません。

次のように考えてみてください。完璧に回転する独楽（OAM ビーム）と、ふらつきながら回転するほこりの雲（TGSM ビーム）があるとします。1 秒ごとにそれらの写真を撮り、平均サイズ、平均速度、そしてどの程度ねじれているかだけを測定すれば、両者で全く同じ数値が得られます。

著者たちは、このカオス的でねじれた雲を記述するために使われる数学的な「指紋」（共分散行列と呼ばれます）が、完璧に回転する独楽の指紋と同一であることを証明しました。

「普遍的な設計図」
この論文は、中心周りのあらゆる角度から見て対称である（同じに見える）いかなる回転する光ビームについても、その 2 次統計（平均的なサイズと広がり）は、以下の 3 つのことだけに依存することを示しています。

1. 平均的な幅。
2. 平均的な広がり速度。
3. 何回ねじれているか（「OAM 数」）。

ビームが完璧な数学的形状（ラグランジュ・ガウスビームなど）であるか、光の輪（パーフェクト・ヴァーテックスビームなど）であるかは関係ありません。もしそれらがこれら 3 つの数値を共有しているなら、同じ「指紋」を共有することになります。

「ねじれ」のつながり
ここがアナロジーの巧妙な部分です。

• 完璧な回転ビームでは、ねじれは光波自体が中心の周りを回転すること（コルクスクリューのように）から生じます。
• カオスな雲ビームでは、ねじれは光の異なる部分間の特別な相関から生じ、光が完全にコヒーレントではないにもかかわらず「位相のねじれ」を作り出します。

この論文は、カオスな雲における「ねじれの量」が、数学的に完璧なビームの「回転数」と等価であることを示しています。まるで、雲のカオスが、完璧なビームの回転を模倣するために秘密裡に自己組織化しているかのようです。

なぜこれが重要なのか？（論文によると）
著者たちは、この等価性が強力なショートカットであると説明しています。

• 道具箱： 物理学者たちは、カオス的でねじれた雲（TGSM ビーム）がレンズ、空気、または宇宙空間を通過する際にどのように振る舞うかを予測するための、大きく発展した数学の「道具箱」を持っています。
• ショートカット： 指紋が同一であるため、その同じ道具箱を使って、完璧に回転するビームがどのように振る舞うかを正確に予測することができます。完璧なビームのために新しい困難な計算を行う必要はありません。すでにカオスなビームに対して得られた結果をそのまま使えばよいのです。

テストされた具体的な例
著者たちは、このアイデアを 3 つの特定の光ビームのファミリーでテストしました。

1. ラグランジュ・ガウス（LG）： 古典的な「ドーナツ」型のレーザービーム。
2. パーフェクト・ヴァーテックス（PVB）： 回転の度合いに関わらず同じサイズを保つ輪を形成するビーム。
3. ベッセル・ガウス（BG）： 狭いコアを持ち、遮られても自己修復できるビーム。

これら 3 つすべてについて、特定の種類の乱雑な TGSM ビームと一致させることができることがわかりました。正しく一致させれば、それらは以下のようになります。

• 移動する際に、全く同じ速度で成長し縮小する。
• 全く同じ方法で広がり（発散する）。
• 全く同じ「ビーム品質」スコア（$M^2$）を持つ。

一致の限界
論文はまた、いくつかの境界にも言及しています。

• 一方通行： これらの完璧なビームのいずれもカオスなビームによって模倣可能ですが、その逆は常に真ではありません。カオスなビームは、完璧なビームが特定の離散的なステップ（整数など）に制限されているのに対し、連続的であることができるため、どの完璧なビームとも一致しない「指紋」を持つ可能性があります。
• 一意性： 古典的なラグランジュ・ガウスビームの場合、指紋は一意です。平均的なサイズと広がりがわかれば、それがどのビームであるかが正確にわかります。他のタイプ（パーフェクト・ヴァーテックスとベッセル・ガウス）については、指紋は主要な特徴を教えてくれますが、正確な詳細についてはわずかな曖昧さがあるかもしれません。

まとめ
この論文は、光学の 2 つの世界を架け橋で結びます。完全に秩序立てられた回転する光ビームと、部分的にカオスでねじれた光ビームが2 次統計的な双子であることを証明しています。近づいて見れば異なりますが、平均的なサイズ、広がり、そしてねじれを測定すれば、それらは同一です。これにより、科学者たちはカオスなビームの簡単な数学を使って、複雑な回転ビームの振る舞いを予測できるようになります。

技術概要

技術的サマリー：ねじれたガウス・シェルモデルビームと軌道角運動量固有モードの第二階モーメントの等価性

問題提起
構造化光場の研究は、歴史的に主に二つの独立した経路に沿って発展してきた。すなわち、完全コヒーレントな軌道角運動量（OAM）固有モード（ラゲール・ガウスビーム、ベッセル・ガウスビーム、パーフェクト・ヴォルテックスビームなど）の調査と、部分的にコヒーレントなねじれたガウス・シェルモデル（TGSM）ビームの理論である。OAM 固有モードは、明確なトポロジカルチャージ $\ell$ と特定の半径方向プロファイル $U(r)$ によって特徴づけられるのに対し、TGSM ビームは相互コヒーレンス関数によって定義され、横方向の空間自由度と角方向の自由度の間の相関を誘起する「ねじれ」位相を組み込んでいる。TGSM ビームが OAM モードの統計的混合に分解可能であり、OAM が任意のビームの交差モーメントに符号化されていることは知られているが、個々のコヒーレントな OAM 固有状態の共分散行列と TGSM ビームの間の直接的な構造的等価性は、明示的に確立されていなかった。ここで扱われる中心的な問題は、コヒーレントな OAM ビームの第二階統計的性質が TGSM ビーム onto 正確に写像可能かどうか、それによって部分的にコヒーレント光学の広範な伝播ツールボックスを構造化されたコヒーレント光に適用できるかどうかである。

手法
著者は、二つの異なるビームクラスの共分散行列（CM）を比較するために、厳密なモーメントベースの分析を採用する。

1. コヒーレントな OAM 固有モード: 波動関数 $\psi(\vec{r}) = U(r)e^{i\ell\phi}$ によって定義される。著者は、任意の円柱対称な OAM 固有状態の CM の一般形を導出し、位置 ($x, y$)、波ベクトル ($k_x, k_y$)、およびそれらの交差積の期待値を計算する。これらの計算は、半径方向プロファイル $U(r)$ には依存せず、第二モーメント $\langle r^2 \rangle$ と $\langle k_r^2 \rangle$ のみを介して依存する。
2. ねじれたガウス・シェルモデル（TGSM）ビーム: ねじれパラメータ $u$ を含む特定の相互スペクトル密度関数によって定義される。ビーム幅、曲率、コヒーレンス長、および空間 - 角相関を特徴づける TGSM ビームの標準的な CM がレビューされる。

核心的な手法は、一般的な OAM 固有状態に対して導出された CM と標準的な TGSM CM との項ごとの比較を含む。著者はその後、この一般的な対応関係を三つの特定のビームファミリーに適用する。

• ラゲール・ガウス（LG）モード: 既知の解析的半径方向プロファイルを使用。
• パーフェクト・ヴォルテックスビーム（PVB）: 狭いリングの極限 ($R \gg w$) における近似を利用。
• ベッセル・ガウス（BG）ビーム: ベッセル関数がガウス包絡線内で多数回振動する領域における近似を適用。

各ファミリーについて、著者は、OAM ビームパラメータ（例えば、ウエスト $w_0$、半径方向インデックス $p$、リング半径 $R$）と TGSM パラメータ（ビームウエスト $\sigma$、ねじれ $u$、コヒーレンス長 $\delta$）を結びつける明示的なパラメータ同定を導出する。さらに、物理的実現可能性の条件（TGSM パラメータが不確定性のような制約 $|u| \leq 1/k\delta^2$ を満たすことを保証する）と、写像の可逆性（CM が一意にビームパラメータを回復するかどうかを決定する）を調査する。

主要な貢献と結果

• 普遍的な共分散構造: 本論文は、任意の円柱対称なコヒーレントな OAM 固有モードの共分散行列が、$\langle r^2 \rangle$、$\langle k_r^2 \rangle$、および量子数 $\ell$ のみに依存する普遍的な形式をとることを示している。極めて重要なのは、この行列が TGSM 共分散行列と完全に同じゼロ/非ゼロエントリのパターンを共有することである。
• 直接パラメータ写像: 著者は、二つのビームタイプ間の直接的な項ごとの同定を確立する。
  • ビーム幅 $\sigma^2$ は $\langle r^2 \rangle/2$ に対応する。
  • 波ベクトル分散 $\tau^2$ は $\langle k_r^2 \rangle/2$ に対応する。
  • TGSM ねじれパラメータ $u$ は、OAM 量子数 $\ell$ に直接比例し、ビーム幅に反比例する（$u = \ell / k\langle r^2 \rangle$）。
  • コヒーレンス長 $\delta$ は、波ベクトル分散と角運動量寄与の差によって決定される。
• ファミリー固有の実現可能性:
  • LG モード: 写像は任意の整数モード次数に対して常に物理的に実現可能である。しかし、対応は離散的である。LG モードの第二モーメントの積が量子化されているため、任意の TGSM ビームが LG モードによって実現されるわけではない。
  • PVB と BG ビーム: 関心のある領域（PVB については狭いリング、BG については多数の振動）において、一致する TGSM ビームは必然的に低いコヒーレンス（$\sigma^2/\delta^2 \gg 1$）を示す。これらの極限において、コヒーレンス長は OAM 数 $\ell$ から実質的に切り離される。
• 第二階等価クラス: この研究は、「第二階等価関係」を定義する。ここで、二つのビームが同じ CM を共有する場合、それらは等価である。したがって、任意のコヒーレントな OAM ビームとその一致する TGSM ビームは、任意のシンプレクティック（ABCD）変換下でのすべての第二階観測量に関して区別不能である。これには、同一のビーム幅の進化、レイリー範囲、遠方分野の発散、および $M^2$ ビーム品質因子が含まれる。
• パラメータの一意性: 本論文は、LG モードの場合、共分散行列がビームパラメータ（$w_0$ と $p$）を一意かつ正確に決定することを証明する。PVB と BG ビームについては、CM は関連する近似内で主要な順序においてパラメータを決定するが、完全なモーメント方程式からの厳密な一意性は未解決の問題のままである。
• 基底の性質: 著者は、リング幅がゼロに近づく極限（$w \to 0$）において、PVB モードが完全な正規直交基底を形成することを証明する。

意義と主張
本論文は、コヒーレントな構造化ビームのコミュニティと部分的にコヒーレントな光学のコミュニティの間の「直接的な架け橋」を提供すると主張している。コヒーレントな OAM ビームの第二階モーメントの進化が、TGSM ビームと同じ数学的構造によって支配されることを確立することにより、著者は、TGSM ビームのために開発された伝播ツールボックス（ABCD 系に対する解析的解を含む）が、さらなる計算なしにコヒーレントな OAM ビームに直接適用できると主張している。

その意義は、詳細な半径方向の場構造が再現されていなくても、特定のコヒーレントな OAM 固有状態の伝播ダイナミクスと OAM 内容を模倣する部分的にコヒーレントな TGSM ビームを設計できる能力にある。逆に、この等価性により、TGSM 理論の統計的パラメータを使用してコヒーレントな OAM ビームを特徴づけることが可能になる。著者は、この等価性が第二階モーメントに対して特に成り立つことを指摘しており、高次の構造的詳細は依然として区別される。この研究は、特定の OAM ファミリー（LG、PVB、BG）が物理的に実現可能な TGSM ビーム onto 写像する条件を明確にし、PVB と BG の場合、この写像は本質的に低コヒーレンス領域を必要とする点を強調している。