[論文レビュー] On the reconstructibility of totally symmetric functions and of other functions with a unique identification minor

Erkko Lehtonen|arXiv (Cornell University)|Aug 15, 2012

Mathematical Analysis and Transform Methods参考文献 19被引用数 3

ひとこと要約

この論文は、2つの引数を統合することで得られる識別マイナー（identification minors）からブール関数および多値関数の再構成可能性を調査する。十分に大きなアリティを持つ完全対称関数は再構成可能であり、特に2値ドメイン上では、最初に出現する順序によって弱く決定される関数（weakly determined by the order of first occurrence）も再構成可能であることが示され、離散関数のマイナーに基づく再構成問題における基礎的結果を確立する。

ABSTRACT

We investigate the problem whether a function of several arguments can be reconstructed from its identification minors. We focus on functions with a unique identification minor, and we establish some positive and negative results on the reconstruction problem. In particular, we show that totally symmetric functions (of sufficiently large arity) are reconstructible and the class of functions weakly determined by the order of first occurrence (of sufficiently large arity) is weakly reconstructible.

研究の動機と目的

• 関数がその識別マイナー（グラフ再構成の一般化）から再構成可能かどうかを特定すること。
• 一意な識別マイナーを持つ関数を研究し、再構成可能性を可能または不可能にする構造的性質に焦点を当てる。
• 特に対称的および順序依存関数の再構成可能性を保証する十分条件を確立すること。
• 置換群とマイナー関係が関数再構成に果たす役割を調査し、古典的再構成のアイデアを代数的関数論に拡張すること。

提案手法

• 全射写像による変数の同一化によって得られる識別マイナーを定義するマイナー関係を用いる。
• 特に置換群の作用と偶奇性（偶置換／奇置換）の議論を用いて、変数の再ラベル化における関数値の比較を行う群論的技法を適用する。
• 出力が入力値が最初に出現する順序に依存する関数を特徴付けるために「最初に出現する順序（ofo）」の概念を用いる。
• 同型な関数（変数の置換に関して同値な関数）がマイナーから再構成可能であるという「弱い再構成可能性（weak reconstructibility）」の概念を導入する。
• サポート（supp）や奇サポート（oddsupp）によって決定される関数クラス（特に大アリティの場合）を分析し、それらの再構成可能性を示す。
• 反例構成とケース解析（例えば表3を用いて）により、特にアリティが小さい場合の対称的設定における非再構成可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 十分に大きなアリティを持つ完全対称関数は、その識別マイナーから再構成可能か？
• RQ2 最初に出現する順序によって弱く決定される関数は再構成可能か、特に2値ドメイン上では？
• RQ3 一意な識別マイナーを持つ関数が再構成可能となる条件は何か？
• RQ4 supp や oddsupp によって決定される関数は、そのマイナーから再構成可能か？
• RQ5 入力集合のサイズが k ≥ 3 でアリティが十分に大きいとき、最初に出現する順序によって決定されるすべての関数は再構成可能か？

主な発見

• 領域サイズが k であるとき、アリティが n ≥ k+2（k ≥ 2）である完全対称関数は再構成可能である。
• 最初に出現する順序によって弱く決定される関数は、十分に大きなアリティに対して弱く再構成可能であり、特に2値ドメイン上では成り立つ。
• 十分に大きなアリティを持つ supp や oddsupp によって決定される関数は再構成可能であり、これは出現順序関数の部分クラスを構成する。
• k = 2 の場合、最初に出現する順序によって弱く決定される関数は再構成可能であり、これはコロナリー6.3によって示されている。
• 置換の偶奇性を用いた具体的な反例を構成することで、φ⁺ₖ や ψ⁺ₖ などの関数がマイナーは共有しているが同値ではないことを示し、特定の状況下での非再構成可能性を証明した。
• 未解決の問題として残っている：k ≡ 1,2 mod 4 かつ n ≥ k+2、または k ≡ 0,3 mod 4 かつ n ≥ k+3 のとき、最初に出現する順序によって決定されるすべての関数が再構成可能かどうか。