[論文レビュー] Bi-refringence versus bi-metricity

Matt Visser, Carlos Barceló+1 more|ArXiv.org|Apr 4, 2002

Elasticity and Material Modeling参考文献 12被引用数 20

ひとこと要約

この論文は、光子の偏光が異なる速度で伝播する二重屈折（bi-refringence）と、各偏光が別々の有効メトリックに従う二重計量性（bi-metricity）を厳密に区別する。任意の背景場を含む一般化された非線形電磁力学を用いて、二重屈折は(3+1)次元で一般的であるが、二重計量性は、例えばフレネル行列式が二つの二次形式に分解できるような特別な代数的条件を満たす場合にのみ生じることを示している。

ABSTRACT

In this article we carefully distinguish the notion of bi-refringence (a polarization-dependent doubling in photon propagation speeds) from that of bi-metricity (where the two photon polarizations ``see'' two distinct metrics). We emphasise that these notions are logically distinct, though there are special symmetries in ordinary (3+1)-dimensional nonlinear electrodynamics which imply the stronger condition of bi-metricity. To illustrate this phenomenon we investigate a generalized version of (3+1)-dimensional nonlinear electrodynamics, which permits the inclusion of arbitrary inhomogeneities and background fields. [For example dielectrics (a la Gordon), conductors (a la Casimir), and gravitational fields (a la Landau--Lifshitz).] It is easy to demonstrate that the generalized theory is bi-refringent: In (3+1) dimensions the Fresnel equation, the relationship between frequency and wavenumber, is always quartic. It is somewhat harder to show that in some cases (eg, ordinary nonlinear electrodynamics) the quartic factorizes into two quadratics thus providing a bi-metric theory. Sometimes the quartic is a perfect square, implying a single unique effective metric. We investigate the generality of this factorization process.

研究の動機と目的

• 二重屈折（偏光依存の位相速度）と二重計量性（光子の偏光ごとに別々の有効メトリック）の論理的違いを明確化すること。
• 非線形電磁力学における二重屈折が、(3+1)次元時空で必然的に二重計量性を伴うのかを調査すること。
• フレネル方程式が二つの二次形式に分解する条件を特定し、二重計量構造の存在を示唆すること。
• 外部場（誘電体、重力場など）を伴う一般化された非線形電磁力学が、有効幾何学および波動伝搬に与える影響を調査すること。
• 二重屈折理論における二重計量性の一般性を評価し、より一般的な幾何学（例えば擬フォンスラー幾何）が必要となる状況を特定すること。

提案手法

• 任意の背景場と不均一性を含むラグランジアンに基づく形式的枠組み。
• 作用の第二変分から線形化波動方程式を導出し、波数ベクトルに関して四次多項式としてのフレネル方程式を得ること。
• 有効メトリックの行列式（フレネル多項式）を用いて伝搬特性と分解性を分析すること。
• 二形式 $J_1$ と $J_2$ を含む一般化ラグランジアンの適用と、場強度との相互作用 $\mathrm{tr}(J f)^2$ 項の使用。
• 分解性に必要な代数的条件を破る例として、$J_1 \not\propto {}^*J_2$ であるモデルの明示的構成。
• マップなどの記号計算を用いて四次行列式 $\mathcal{P}_4(k)$ を評価し、一般ケースでは分解が成立しないことを確認すること。

実験結果

リサーチクエスチョン

• RQ1 非線形電磁力学における二重屈折は常に二重計量性を伴うのか？
• RQ2 フレネル方程式が二つの二次形式に分解する条件は何か？ これは二つの別々の有効メトリックの存在を示唆する。
• RQ3 二重屈折理論は二重計量性を持たない状況で存在可能か？ もしそうなら、フレネル行列式の分解性が阻害される構造的特徴は何か？
• RQ4 外部場（誘電体、カシミール板、重力場など）は、二重屈折と二重計量性の関係にどのように影響を与えるか？
• RQ5 フレネル行列式が分解されない場合、どのような幾何的枠組みが必要か？ また、いつ擬フォンスラー幾何が必要になるか？

主な発見

• 二重屈折は、フレネル方程式が常に四次であることから、(3+1)次元非線形電磁力学において一般に成立する。これにより、直交する偏光に対して二つの異なる位相速度が生じる。
• 二重計量性は、四次フレネル多項式が二つの二次形式に分解できる場合にのみ生じる。これは背景場に特別な代数的制約が必要であることを意味する。
• このような制約が満たされない場合（例：$J_1 \not\propto {}^*J_2$）、フレネル行列式は分解されず、二重計量性は成立しないが、二重屈折は依然として存在する。
• 本論文では、二つの独立な二形式 $J_1$ と $J_2$ を持つ明示的モデルを構築し、行列式が四次で分解不能のままであることを確認した。これにより、二重計量性が一般には成立しないことが示された。
• 分解が成立しない場合には、有効幾何学を二つのローレンツメトリックで記述することはできず、擬フォンスラー幾何学などのより一般的な枠組みが必要となる。
• 一般化された非線形電磁力学において、外部場が任意に存在する場合、二重屈折と二重計量性の間の関係は断絶する。これにより、前者が後者を必然的に含むわけではないことが実証された。