[論文レビュー] Restricted families of projections and random subspaces

Changhao Chen|arXiv (Cornell University)|Jun 12, 2017

Mathematical Analysis and Transform Methods被引用数 5

ひとこと要約

この論文は、ℝ³における直交射影のインデックス集合として用いられる球面 𝕊² 上のランダムなカントール型集合が、ハウスドルフ次元に関するマールシュタンプ＝マティラ型の射影定理を満たすことを確立している。平面から球面 𝕊² への径向射影を用いてランダムなフラクタル集合を写像し、ポテンシャル論的議論を適用することで、任意の α ∈ (1,2) に対して、α-アーフォルズ正則な集合 G ⊂ 𝕊² が存在し、dim_H E ≤ α を満たす任意の E ⊂ ℝ³ に対して、𝒫ᴴ^α に関するほとんど everywhere な射影 π_L において、次元が保存されることを示している。

ABSTRACT

We study the restricted families of orthogonal projections in $\mathbb{R}^3$. We show that there are families of random subspaces which admit a Marstrand- Mattila type projection theorem.

研究の動機と目的

• G(3,1) の滑らでないフラクタル的部分集合によってインデックス化された射影の制限された族が、マールシュタンプ＝マティラ型の射影定理を満たすかどうかを調査すること。
• 古典的な射影定理を滑らかでない族へ拡張し、ℝ³ における射影のインデックス集合として、𝕊² 上のランダムなカントール型集合が有効に機能することを示すこと。
• インデックス集合が α-Ahlfors 正則で、ランダムな集合によって構成されている場合に、次元 α ∈ (1,2) の集合に対する射影の次元保存性が成り立つことを示すこと。
• ランダムフラクタル集合と射影定理における曲率類似条件との間に接続を確立し、幾何的曲率の代わりにランダム性が次元保存を保証するために十分であることを示すこと。

提案手法

• 平面から球面 𝕊² への径向射影 F(x) = x/|x| を用いて、ランダムなカントール集合を写像し、適切な定義域上で双リプシッツ的であることを用いる。
• 径向射影を用いて、平面上の集合のチューブ回避性を球面上の集合へと移し、ハウスドルフ測度の推定を保存する。
• ファルカーナーとマティラのポテンシャル論的議論を適用し、小さな射影を持つ方向の集合の測度の減衰率と、射影による次元保存性との関係を関係づける。
• α ∈ (1,2) に対して、α-Ahlfors 正則なコンパクト集合 G ⊂ 𝕊² が存在し、|π_L(ξ)| ≤ ρ を満たす方向 L ∈ G の測度が ρ に比例して減衰することを示し、これにより射影定理の次元部分が保証されることを確立する。
• α ≤ 1 の場合、オルポネンおよびシュメールキン＝スオマラの結果（E ∩ T に対して 𝒫ᴴ^α(E ∩ T) ≲ w(T)^s が s < α で成り立つ）を用いて、射影測度の必要な減衰推定を得る。
• 減衰推定を古典的なポテンシャル論的補題（例：補題 3.3）と組み合わせ、射影写像が 𝒫ᴴ^α-ほとんど everywhere の方向において次元を保存することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 マールシュタンプ＝マティラ射影定理は、G(3,1) の滑らでないフラクタル的部分集合によってインデックス化された制限された射影族に対しても拡張可能か？
• RQ2 ℝ³ における射影のインデックス集合として用いられる 𝕊² 上のランダムなカントール型集合は、マールシュタンプ＝マティラ定理の次元保存性を満たすか？
• RQ3 インデックス集合のハウスドルフ次元と、小さな射影を持つ方向の測度の減衰率との間には定量的な関係があるか？
• RQ4 インデックス集合におけるランダム性は、射影定理の成立を保証するための幾何的曲率条件の代わりに機能するか？
• RQ5 方向 L ∈ G で |π_L(ξ)| ≤ ρ を満たすものの測度の鋭い減衰率は何か？ そして、これは射影された集合の次元とどのように関係するか？

主な発見

• 任意の α ∈ (1,2) に対して、α-Ahlfors 正則なコンパクト集合 G ⊂ 𝕊² が存在し、𝒫ᴴ^α に関して、(π_{L_x})_{x∈G} の射影族は MMP 空間である。つまり、任意の E ⊂ ℝ³ で dim_H E ≤ α を満たすものに対して、𝒫ᴴ^α-ほとんど everywhere の x ∈ G で dim_H π_{L_x}(E) = dim_H E が成り立つ。
• 同じ結果は、2次元部分空間 L_x^⊥ への直交射影に対しても成り立ち、射影定理が部分空間の双対性に関して対称的であることが示されている。
• 任意の 0 < α ≤ 1 に対して、0 < 𝒫ᴴ^α(G) < ∞ を満たすコンパクト集合 G ⊂ 𝕊² が存在し、(π_{L_x})_{x∈G} に対して、𝒫ᴴ^α に関してマールシュタンプ＝マティラ定理の次元部分が成り立つ。
• 鍵となる技術的推定は、α ∈ (1,2) の場合、|π_L(ξ)| ≤ ρ を満たす方向 L ∈ G の測度が ρ に比例して減衰すること、すなわち 𝒫ᴴ^α({L ∈ G : |π_L(ξ)| ≤ ρ}) ≲ ρ である。
• α ≤ 1 の場合、減衰率は ρ^s に比例して改善され、任意の s < α に対して 𝒫ᴴ^α({L ∈ G : |π_L(ξ)| ≤ ρ}) ≲_s ρ^s が成り立ち、これにより定理の次元部分が保証される。
• 構成は、オルポネンおよびシュメールキン＝スオマラの結果に基づき、強力なチューブ回避性を持つ [0,1]^2 上のランダム集合を径向射影で球面へ写像することで行われ、測度論的構造が保存される。