On positive Lyapunov exponents and SRB measures for partially hyperbolic systems

=== 下書き ===
巨大で見えないダンスフロア（コンパクトな多様体）を想像してみてください。そこでは、魔法のDJ（微分同相写像）が音楽を回し、ダンサーたちをかき混ぜています。あるダンサーは、タイトで予測可能な円を描いて動きますが、他のダンサーは、荒々しく混沌とした方向へと突進していきます。数学者たちは長い間、こう考えてきました。「どのダンサーが本当のスターなのか？」 彼らは、最も多くの地面を覆い、あなたが部屋に入って周囲を見渡したときに実際に目にすることになる存在です。論文の言葉では、これらは**物理的測度（physical measures）**と呼ばれます。

しかし、ここが厄 quite なところです。時として、「本当の」スターは隠れていることがあります。あたかもあらゆるところに存在しているかのように見えるダンサーがいても、それは実は幻影に過ぎないかもしれません。この論文は、真のスターを見つけ出すための新しい方法、**観測可能測度（observable measures）**を紹介しています。これらは「最もありそうな」ダンサーだと考えてください。たとえあるダンサーが絶対的な人気者（物理的）ではなくても、あなたがダンスフロアを歩き回ったときに彼らに遭遇するかなりの確率があるならば、そのダンサーは「観測可能」です。著者たちは、たとえ真の物理的スターが完全に欠けていたとしても、これらの観測可能測度は常に存在するのだと証明しています。

主な発見：最速の「速度制限」

この論文の最大のブレイクスルーは、これらのダンサーが混沌とした方向（中心不安定方向、$E_{cu}$）でどれほど速く回転しているかを測定することにあります。

通常、システムが混沌として拡大しているかどうかを知るには、すべての個々のダンサーの速度をチェックする必要があります。しかし、著者たちは近道を見つけました。彼らは、もし「観測可能」なグループの中で最も速い回転をしているダンサー（平均速度が最も高いもの）に注目すれば、その速度がフロア全体のすべてを教えてくれるのだと証明したのです。

ここにある魔法のトリックがあります：

1. 近道： ダンスフロア上のすべての点を個別にチェックして最大速度を見つける必要はありません。ただ、「最高の」観測可能測度（混沌とした方向における最高の平均速度を持つもの）を見つけるだけでよいのです。
2. つながり： もしこの「最高の」観測可能測度が、ダンサーたちが速く回転している（正のリャプノフ指数を持つ）ことを示しているなら、フロア上のほぼすべてのダンサーもまた、速く回転しています。
3. 結果： これにより、システムが「非一様拡大（non-uniformly expanding）」であることが証明されます。平たく言えば、観測可能なスターたちが速く動いているなら、ダンスフロア全体が混沌として拡大しているということです。

この論文が否定するもの（「ノー」のリスト）

著者たちは、自分たちが何を主張していないかについても非常に慎重です。彼らは、拡大を検証するためにすべての点を検証するという意味で、ダンスフロアの全体をチェックする必要があるという考えを明確に拒絶しています。代わりに、彼らはルベーグほとんど至る所の $x$（これはフロアのほぼ全域をカバーします）において条件が成り立つことが十分である、ということを示しています。これは、街の平均気温を知るために、すべての市民にインタビューする必要はないと言っているようなものです。もし条件が人口の大部分（ほとんどの点）に対して成り立つのであれば、数学は成立します。

さらに、ある測度が「観測可能」だからといって、それが「物理的（絶対的な人気者）」であることを意味するわけではない、ということも明確にしています。ダンサーが「無関心（indifferent）」になり（物理的なスターとしての速い動きを止める）、それでもなお観測可能であり続ける、というケース（Bowenの例）が存在します。

決定的なことに、ダンスフロアがどれほど荒れてもよいかには限界があります。 この論文は、観測可能測度と拡大の間のつながりを証明するために、少し粗いシステム（$C^1$）を扱っていますが、SRB測度（「ゴールドスタンダード」となる写像）の存在を保証する最終的な結果には、システムがもう少し滑らか（$C^{1+\alpha}$）である必要があります。最も粗い（$C^1$）システムに対してSRB測度を得ることはできません。その特定の宝探しには、追加の滑らかさが必須条件なのです。

彼らはどの程度確信しているのか？

著者たちは単に推測したりシミュレーションを行ったりしているのではなく、これらの事実を証明しています。

• 定理 A： 彼らは、観測可能測度から見出される最大速度は、フロア上のほとんどすべての点を見たときに目にする最大速度と全く同じであることを証明しました。これは厳密な数学的証明です。
• 定理 C： 彼らは、「最も速い」観測可能ダンサーが速く回転している（最小の指数が正であり、これは最大化測度が正であることを示唆する）ならば、システムは間違いなく拡大していることを証明しました。ただし、これはダンサーたちが特定のやり方で懐中電灯を持っている場合に限られます。 論文では、観測可能測度の台（support）における**「1次優越分割（1-dominated splitting）」**と呼ばれる条件が必要です。これは、混沌とした方向が特定の幾何学的構造（円錐）の中に「ロック」されていなければならないことを意味します。この「円錐」の条件がなければ、拡大がSRB測度につながるという証明は成立しません。

「SRB」の宝探し

この論文の究極の目的は、SRB測度を見つけることです。SRB測度とは、ダンスフロアの「ゴールドスタンダード」の地図だと考えてください。それは、長い時間が経過した後、ダンサーたちがどこに辿り着くのかを正確に教えてくれます。

論文は、システムが特定の種類の構造（「優越分割」であり、これは穏やかなダンサーと荒々しいダンサーの明確な分離のようなものです）を持ち、かつ、荒々しい者たちが速く回転しており、かつ、システムが少し滑らか（$C^{1+\alpha}$）であれば、SRB測度が確実に存在することを示しています。

また、これらの条件下では、これらのSRB写像は有限個しか存在せず、それらが集まってフロアのほぼ全域をカバーすることも示しています。つまり、ランダムにダンサーを選んだ場合、そのダンサーはほぼ確実に、これらのSRB写像のいずれかに従うことになるのです。

最後のメタファー：視界の円錐

これを成立させるために、著者たちは「1次優越分割」という概念に依拠しています。ダンサーたちが懐中電灯を持っていると想像してください。「1次優越分割」とは、荒々しいダンサーたちにとって、彼らが照らすことを強制される特定の狭い光の円錐があることを意味します。彼らは懐中電灯をどこにでも向けることはできず、特定の方向に固定されています。

論文は、もし「観測可能」なダンサーたちにおいて、これらの懐中電灯が円錐の中にロックされているならば、数学は完璧に機能することを証明しています。そのとき、観測可能なダンサーの速度を、群衆全体の速度として信頼することができるのです。この「円錐」の条件がなければ数学は崩壊するかもしれませんが、著者たちは、この円錐が観測可能なグループに存在する限り、混沌は実在し、統計的な意味で予測可能であることを示しています。

要約すると、この論文は、システムの最も「観測可能」な部分を見るだけで、そのシステム内の真の混沌を特定するための信頼できる方法を与えてくれます。もし目に見えるスターたちが回転しているなら、システムが十分に滑らかであり、かつダンサーたちが正しい幾何学的形成で動いている限り、宇宙全体も共に回転しているのだということを証明しているのです。