[論文レビュー] Perfect Codes for Generalized Deletions from Minuscule Elements of Weyl Groups

Manabu Hagiwara|arXiv (Cornell University)|Oct 23, 2018

DNA and Biological Computing参考文献 2被引用数 6

ひとこと要約

本稿は符号理論における挿入・削除（ID）符号と型AおよびBのウェイル群の最小部分（minuscule）要素との間で新しい接続を確立する。標準的な挿入操作を、最小部分要素上のウェイル群の反射作用を用いて一般化することで、バランスの取れた隣接挿入（BAIs）を導入し、長さnのビットストリングへの挿入数が文字列の内容に依存しないことを証明する。これにより、カタラン数重み付きのDyckパスの和と等価な組合せ的構造が得られ、t回の挿入に対して基数は$−n+2t{t}$となる。

ABSTRACT

This paper discusses a connection between insertion/deletion (ID) codes and minuscule elements of Weyl groups.

研究の動機と目的

• 挿入・削除（ID）符号とウェイル群の最小部分要素との間の構造的関係を確立すること。
• ウェイル群の反射作用を最小部分要素に適用することで、ビットストリング上の標準的挿入操作を一般化すること。
• 任意の長さnのビットストリングへの一般化挿入数が、そのビットストリングの内容に依存しないことを示すこと。
• Dyckパスとカタラン数を用いて、このような挿入数の閉形式表現を導出すること。
• 型AおよびBを超える他のウェイル群タイプへの挿入モデルの拡張の基盤を築くこと。

提案手法

• 型Bの最小部分要素における反射の簡約表現の右部分語作用を用いて、一般化挿入を定義する。
• 挿入がDyckパスに類似した構造のバランスを保つように制限されるバランスの取れた隣接挿入（BAIs）を、標準的挿入の一般化として導入する。
• 最小部分要素とビットストリングの間の双対性を用いて、群論的演算をビットストリング変換に翻訳する。
• 辞書式最小性と再帰的分解を用いて、与えられたビットストリングへのすべての可能な挿入の集合を特徴付ける。
• Dyckパスの数とカタラン数を用いて、挿入集合を分割し、$\mathrm{DYC}(c_i, y_i)$を長さ$2c_i$で初期ビット$y_i$を持つDyckパスを表す。
• 恒等式$\sum_{c_1+\cdots+c_{n+1}=t} (c_{n+1}+1)C_{c_1}\cdots C_{c_{n+1}} = \binom{n+2t}{t}$を用いて、任意のnビット文字列へのt回挿入の総数が$\binom{n+2t}{t}$に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ビットストリング上の標準的挿入操作は、ウェイル群要素が最小部分要素に作用することによって一般化可能か？
• RQ2 ビットストリングへの一般化挿入数は、その文字列の内容に依存するか、長さと挿入回数にのみ依存するか？
• RQ3 一般化挿入プロセスの背後にある組合せ的構造は何か？また、Dyckパスとカタラン数とはどのように関係するか？
• RQ4 任意のnビット文字列へのt回挿入の集合の基数を閉形式で表せるか？
• RQ5 最小部分要素の枠組みを、型AおよびB以外のウェイル群タイプへの挿入操作を定義するためにどのように拡張できるか？

主な発見

• 任意のnビット文字列へのt回バランスの取れた隣接挿入（BAIs）の数は、文字列の内容に依存せず、基数は$−n+2t{t}$である。
• ビットストリング$\mathbf{y}$へのすべてのt-BAIsの集合は、合計がtとなる非負整数$c_1, \dots, c_{n+1}$でインデックス付けされた部分集合に分割され、各部分集合$\mathrm{DYC}(\mathbf{y}; c_1, \dots, c_{n+1})$のサイズは$C_{c_1} C_{c_2} \cdots C_{c_n} \cdot \#\mathbb{Y}_{c_{n+1},c_{n+1}}$である。
• 全ゼロ文字列$\mathbf{0}^n$へのt回挿入の集合の基数は$\binom{n+2t}{t}$であり、これは半長$n+t$のDyckパスの数に一致する。
• 恒等式$\sum_{c_1+\cdots+c_{n+1}=t} (c_{n+1}+1)C_{c_1}\cdots C_{c_{n+1}} = \binom{n+2t}{t}$は、挿入モデルを用いて組合せ的に証明された。
• 構成により、一般化挿入モデルが対称性を保つことが示された：任意の$\mathbf{y} \in \{0,1\}^n$に対して$\#\mathrm{DYC}(\mathbf{y}; c_1, \dots, c_{n+1}) = \#\mathrm{DYC}(\mathbf{0}^n; c_1, \dots, c_{n+1})$が成り立つ。
• この枠組みは、標準的ID符号を最小部分要素とウェイル群の表現論的構造に埋め込むことで一般化される。