[論文レビュー] Uniqueness of signature for simple curves

Horatio Boedihardjo, Hao Ni+1 more|arXiv (Cornell University)|Apr 2, 2013

Topological and Geometric Data Analysis参考文献 26被引用数 3

ひとこと要約

この論文は、$1 \leq p < 2$ の有限 $p$-変動をもつ平面単純曲線の符号が、その曲線を一意に特定することを確立している。これは、対数符号級数における特定の係数が、曲線の巻き数のモーメントに対応することを示すことによって達成される。トポロジカルな手法を用いて、$0 < \kappa \leq 4$ の場合、弦状SLE$_\kappa$の零集合を除き、符号が一意に曲線を特定することを証明し、SLE $n$-点関数を期待値符号を用いて表現する。

ABSTRACT

We propose a topological approach to the problem of determining a curve from its iterated integrals. In particular, we prove that a family of terms in the signature series of a two dimensional closed curve with finite p variation, 1\leq p&lt;2, are in fact moments of its winding number. This relation allows us to prove that the signature series of a class of simple non-smooth curves uniquely determine the curves. This implies that outside a Chordal SLE_κ null set, where 0

研究の動機と目的

• トポロジカルな手法を用いて、曲線の符号から巻き数を特定すること。
• 十分に滑らかな単純平面曲線の符号が、曲線を一意に特定することを証明すること。
• 符号係数と巻き数のモーメントとの間の関係を確立すること。
• SLE $n$-点関数のフーリエ変換を期待値符号を用いて表現すること。
• SLE曲線のサンプルパスの符号を通じて、決定論的枠組みを構築すること。

提案手法

• 自由リー代数 $\{\mathbf{e}_1, \mathbf{e}_2\}$ が生成するリー基底の要素を用いて、対数符号級数を分析する。
• 切り捨てられた対数符号級数における $\mathcal{P}_{\mathbf{e}_1^{\otimes(n+1)} \otimes \mathbf{e}_2^{\otimes(k+1)}}$ の係数が、巻き数のモーメントに等しいことを導出する。
• 公式 $\int_{\mathbb{R}^2} \frac{x^n y^k}{n!k!} \eta(\gamma - \gamma_0, (x,y)) \, dx\,dy$ を用いて、符号項と巻き数の積分を関連付ける。
• すべての次数 $\leq 4$ のリンドン語が $\mathbf{e}_1^{\otimes n} \otimes \mathbf{e}_2^{\otimes k}$ の形に限られることを用い、最初の4つの符号項が巻き数によって完全に決定されることを説明する。
• 次数5のリンドン語 $\mathbf{e}_1 \otimes \mathbf{e}_2 \otimes \mathbf{e}_1 \otimes \mathbf{e}_2^{\otimes 2}$ の鋭さを用いて、高次項が巻き数のみでは決定されないことを示す。
• 複素解析と自己同型不変性を用いて、SLE曲線の期待値符号と $n$-点関数のフーリエ変換との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 平面曲線の巻き数は、その符号から回復可能か？
• RQ2 曲線の符号は、巻き数からどの程度再構成可能か？
• RQ3 巻き数を超える情報を含む最小の符号項の次数は何か？
• RQ4 SLE曲線の期待値符号と $n$-点関数の関係は何か？
• RQ5 決定論的符号理論は、確率的SLEパスを研究するための枠組みを提供可能か？

主な発見

• リー基底要素 $\mathcal{P}_{\mathbf{e}_1^{\otimes(n+1)} \otimes \mathbf{e}_2^{\otimes(k+1)}}$ の係数は、$(-1)^k \int_{\mathbb{R}^2} \frac{x^n y^k}{n!k!} \eta(\gamma - \gamma_0, (x,y)) \, dx\,dy$ に等しく、これらは巻き数のモーメントである。
• 有限 $p$-変動（$1 \leq p < 2$）をもつ閉曲線の対数符号の最初の4項は、巻き数関数によって完全に決定される。
• 「4」は鋭い：同じ巻き数関数をもつが、5次項が異なる曲線が存在する。これは次数5の非自明なリンドン語に起因する。
• Chordal SLE$_\kappa$の零集合を除き、$0 < \kappa \leq 4$ の場合、符号は曲線を一意に特定する。
• SLE曲線の $n$-点関数のフーリエ変換は、SLEパスの期待値符号を用いて表現可能である。
• SLE曲線の期待値符号は、その確率的 $n$-点関数の決定論的表現を提供し、粗いパス理論による解析を可能にする。