Dynamical renormalization group analysis of $O(n)$ model in steady shear flow

本研究は、動的くりこみ群解析に強い異方性を組み込むことで、定常せん断流下における$O(n)$モデルに対して新たな安定なガウス型固定点を同定し、せん断流が二次元において長距離秩序を安定化させ、保存量および非保存量の秩序変数双方の上臨界次元を変化させることで平衡状態のホーヘンバーグ・メミン・ワグナーの定理に違反することを明らかにする。

要約

混雑したダンスフロアを想像してください。そこでは誰もが同期して動こうとしています。静かな部屋（平衡状態）では、音楽が止まればダンサーたちはその場で凍りつくか、パターンを作ろうとしても、互いにぶつかり合う人数の多さによって押し散らされてしまいます。物理学では、これは物質が秩序状態（磁石のように）か無秩序状態（気体のように）のどちらになるかを決めようとしている様子に似ています。

次に、誰かがダンスフロア全体を横方向に押し始め、一定の「せん断流」を作り出すと想像してください。ダンサーたちはもはやランダムにぶつかり合うだけでなく、特定の方向に流されてしまいます。この論文は問いかけます：この絶え間ない押し付けが、ダンサーたちの自己組織化の仕方をどのように変えるのでしょうか？

著者である池田春邦と中野博之は、「繰り込み群」と呼ばれる高度な数学的ツール（異なるサイズでパターンがどのように変化するかを見るために、拡大と縮小を繰り返す顕微鏡のようなもの）を用いてこれを研究しました。彼らは 2 種類のダンサーを検討しました：

1. モデル A: 自由に動き、場所を簡単に入れ替えられるダンサー（非保存）。
2. モデル B: グリッドに固定されており、隣人とのみ場所を交換できるダンサー（保存）。

以下に、主要な発見を簡潔に説明します。

1. 押し付けの「魔法」

通常の静かな部屋では、ダンサーたちが大きく組織化されたパターンを形成できる前に、部屋がどのくらい小さくなれるかについての厳格なルールが存在します。

• 古いルール: 2 次元の部屋（平らな床のようなもの）では、ダンサーたちが対称性の破れ（特定の方向を向くことなど）を起こそうとする場合、ホーエンベルク・メアミン・ワグナーの定理により、それは不可能であるとされています。ランダムな押し合いがあまりに激しく、パターンは崩壊します。これを実現するには、少なくとも 3 次元の部屋が必要です。
• 新しい発見: 著者たちは、その一定の「押し付け」（せん断流）を適用すると、ルールが完全に変わることを発見しました。この押し付けは実際にはパターンを安定化させます。2 次元の平らな部屋であっても、ダンサーたちは今や完全な長距離秩序を形成できます。この「押し付け」は、通常はパーティーを台無しにする混沌とした押し合いを抑制するのです。

2. 「新しい常態」（固定点）

物理学において、系はしばしば「固定点」に落ち着きます。これは、拡大しても縮小してもゲームのルールが変わらなくなる状態です。

• 押し付けなしの場合: 系は「ガウス型固定点」（標準的で予測可能な状態）に落ち着こうとしますが、押し付けはこの状態を不安定にします。誰かがテーブルを揺らしている最中に、鉛筆を先でバランスさせようとするようなものです。
• 押し付けありの場合: 著者たちは新しい安定した固定点を発見しました。押し付けがあまりに強いため、系はバランスを取る新しい方法を見つけ出します。この新しい状態は「ガウス型」（シンプルで予測可能）ですが、静かな状態とは非常に異なる振る舞いをします。

3. 次元の縮小

この論文は 2 つの重要な数値を導入します。

• 上限臨界次元（$d_{up}$）: 「単純な」ルール（平均場理論）が完璧に機能し始める部屋のサイズです。

  • 以前: 単純なルールが機能するには 4 次元の部屋が必要でした。
  • 以後: 押し付けにより、単純なルールは2 次元の部屋（モデル A の場合）で、さらに0 次元の部屋（モデル B の場合、つまりあらゆる場所で機能することを意味します）でも機能します。
  • 比喩: 押し付けはダンサーたちをあまりに協調的にするため、彼らが狭く窮屈な空間にいながら、はるかに大きく単純な世界にいるかのように振る舞うようなものです。

• 下限臨界次元（$d_{low}$）: 秩序が可能になる最小の部屋サイズです。

  • 以前: 秩序を持つためには 2 次元より大きい部屋が必要でした。
  • 以後: 押し付けにより、部屋が 2 次元より小さくても秩序は可能です（数学的には $d_{low} < 2$）。
  • 比喩: 押し付けは群衆を整理整頓する能力があまりに優れているため、彼らが通常立っているには狭すぎる廊下であっても、列を維持できるのです。

4. 「伸長」効果

最も興味深い視覚的変化は、ダンサーたちの動き方です。

• 静かな部屋では: ダンサー間の距離を眺めると、すべての方向で同じです（等方的）。
• 押し付けでは: ダンサーたちは伸びます。押し付けの方向に沿って、彼らは非常に長く細くなり、押し付けに垂直な方向では短いままでいます。
• 結果: 「相関」（あるダンサーの動きが他の誰かの動きをどの程度予測するか）が変化します。押し付けの方向では、結合は弱まり、奇妙な分数べき乗則に従います（通常の $1/|q|^2$ ではなく、$1/|q|^{2/3}$ のようなもの）。まるでダンサーたちが密な円ではなく、長く伸びた鎖のように手をつないでいるかのようです。

5. 過去の実験が混乱した理由

著者たちは、過去のコンピュータシミュレーションが混乱した結果をもたらしたと述べています。あるものは秩序パラメータ（集団がどの程度組織化されているか）を 0.37 とし、他のものは 0.48 とし、「単純な」理論は 0.5 と予測していました。

• 説明: 著者たちは、「伸長」（異方性）があまりに極端であるため、標準的なコンピュータシミュレーションでは真のパターンを見るのに十分な規模ではなかったと提案しています。
• 比喩: 非常に長く細いヘビを写真に撮ろうとしていると想像してください。もしカメラのフレームが正方形であれば、尾か頭が切り取られ、短くて太いミミズのように見えるかもしれません。ヘビ全体を見るには、高さの 100 倍の幅を持つカメラが必要です。著者たちは、過去のシミュレーションが「ヘビのような」系に対して「正方形のカメラ」を使用し、誤った測定結果をもたらしたと主張しています。

まとめ

この論文は、定常的なせん断流は強力な組織化剤として機能すると主張しています。それは「2 次元では秩序は持てない」という物理学の古いルールを破ります。代わりに、流れは秩序を達成しやすくする新しい安定状態を作り出し、ルールは単純化（平均場化）され、系は流れの方向に劇的に伸長します。著者たちは、これがなぜ一部の実験が「平均場」的な振る舞いを見せ、なぜ他の実験が混乱するのかを説明するものであると考えています。彼らは単に、この極端な伸長を考慮していなかっただけなのです。

技術概要

問題の提示
定常せん断流下における$O(n)$モデルの臨界挙動は、非平衡統計力学における未解決の問題のままです。平衡状態の臨界現象は繰り込み群（RG）法を通じてよく理解されていますが、せん断流の導入は回転対称性を破り、系を非平衡状態へと駆動します。ド・ジェンの平均場解析や、オヌキと川口のモデル H に関する RG 研究といった過去の理論的作業は、せん断流が流れ方向に沿った臨界揺らぎを抑制し、臨界次元を潜在的に変化させる可能性を示唆していました。しかし、せん断されたイジングモデルおよび$O(n)$モデルの数値シミュレーションは、臨界指数（特に$\beta$）および二次元（$d=2$）における長距離秩序の存在に関して、矛盾する結果をもたらしています。主要な理論的課題は、せん断流によって誘起される強い異方性を正しく取り入れた安定した固定点が RG 解析に欠けていたことにあり、これが理論的予測と数値的観測の間の不一致をもたらしました。

手法
著者らは、異方性系に特化した動的繰り込み群（RG）解析を採用しています。この枠組みを、定常せん断流下における$O(n)$モデルに、以下の 2 つの異なるケースで適用します：

1. モデル A： 保存されない秩序変数のダイナミクス。
2. モデル B： 保存される秩序変数のダイナミクス。

核心的な方法的革新は、異方性スケーリング仮説の採用にあります。等方的なスケーリングを仮定するか、異方性を再正規化された輸送係数を通じてのみ扱う以前の解析とは異なり、この研究は流れ方向に平行な座標（$x_1$）と垂直な座標（$x_\perp$）に対して、明確に異なるスケーリング指数を仮定します。スケーリング変換は以下のように定義されます：
$$x_1 = l^\zeta x'_1, \quad x_\perp = l x'_\perp, \quad t = l^z t', \quad \phi_a = l^\chi \phi'_a$$
ここで、$\zeta$、$z$、および$\chi$は独立した臨界指数です。著者らは、特定の物理量（例えばせん断率やノイズ強度）のスケーリング不変性を要求することにより、せん断率、輸送係数、ノイズ強度、および相互作用項に対する RG 流れ方程式を導出し、安定なガウス固定点を同定します。

主要な貢献と結果
本論文の主要な貢献は、定常せん断流の条件下にのみ存在する新しい安定なガウス固定点の同定です。この固定点はせん断率に対して安定であり、いかなる次元においてもせん断によって不安定化される平衡状態のガウス固定点とは対照的です。

解析は以下の具体的な結果をもたらします：

• 臨界次元：

  • 上限臨界次元（$d_{up}$）： 本論文は、モデル A に対して$d_{up} = 2$、モデル B に対して$d_{up} = 0$であることを発見しました。これは、物理次元$d=2$および$d=3$において、両モデルとも平均場臨界指数が観測されることを意味します。
  • 下限臨界次元（$d_{low}$）： 解析は、モデル A に対して$d_{low} = 0$、モデル B に対して$d_{low} = -2$であることを明らかにしました。重要なのは、これが連続対称性の破れ（したがって長距離秩序）が、平衡状態の系ではホーヘンベルク・マーミン・ワグナーの定理によってそのような秩序が禁止されている$d=2$の領域であっても発生し得ることを示している点です。

• 臨界指数：

  • モデル Aの場合、指数は$\zeta=3$、$z=2$、および$\chi = -d/2$です。秩序変数のスケーリング指数は$d \geq 2$のすべての次元で負となり、長距離秩序の安定化を確認します。
  • モデル Bの場合、指数は$\zeta=5$、$z=4$、および$\chi = -(d+2)/2$です。
  • どちらの場合も、秩序変数の臨界指数は$\beta = 1/2$であり、平均場理論と一致します。

• 相関関数：

  • 相関関数は明確な異方的スケーリングを示します。フーリエ空間において、流れ方向に沿った相関関数（$q_1$）は、モデル A に対して$C(q_1) \sim |q_1|^{-2/3}$、モデル B に対して$C(q_1) \sim |q_1|^{-2/5}$としてスケーリングします。
  • これらの分数べき（平衡値の 2 より小さい）は、平衡状態と比較して流れ方向に沿った臨界揺らぎのより強い抑制を示しています。この抑制はモデル A よりもモデル B の方が顕著です。

意義と主張
本論文は、せん断されたモデルにおける平均場的性質を巡る「論争」の解決が、スケーリング仮説における異方性の適切な処理に起因すると主張しています。これらの特定の異方性指数を持つ安定なガウス固定点を同定することにより、著者らは以下の点に対する理論的基盤を提供します：

1. $d=2$および$d=3$における平均場指数（$\beta=1/2$）の観測。
2. 平衡状態では不可能である連続対称性の破れに対する$d=2$における長距離秩序の存在。
3. 以前の数値シミュレーションがこれらの値への収束に苦労した理由の説明：大きな異方性指数（特にモデル B における$\zeta=5$）は、正しいスケーリングを捉えるために極端なアスペクト比（$L_\parallel \sim L_\perp^5$）を必要とするシミュレーションを意味し、これは標準的な有限サイズスケーリング解析ではしばしば満たされない条件です。

著者らは、この研究を理論的 RG 予測と数値結果を調和させるための必要なステップとして位置づけ、以前の解析における「欠落」した安定固定点は、スケーリング仮説における強い異方性の無視に起因したと示唆しています。彼らは明示的に、モデル A および B に関する彼らの結果が、オヌキと川口によって導出されたモデル H の無限せん断率の極限とは異なることを指摘し、これを異なる理論的定式化（明示的な異方的スケーリング対異方性係数を持つ等方的スケーリング）に起因するとし、これらの枠組みを架橋するための将来の作業を提案しています。