[論文レビュー] Testing Linear-Invariant Non-Linear Properties

Arnab Bhattacharyya, Victor Chen+2 more|ArXiv.org|Sep 14, 2008

Complexity and Algorithms in Graphs参考文献 17被引用数 4

ひとこと要約

本稿では、線形変換下での禁止パターンによって定義されるブール関数の線形不変非線形性質の広範なクラスを導入し、その性質が対応するパターンがグラフマトロイドである場合にテスト可能であることを証明する。主な貢献は、グリーンの三角形自由性テストを無限個の性質へ一般化し、1-複雑性線形系とグラフマトロイドの関係を用いて、片側誤差を伴う局所的テスト可能性を確立することにある。

ABSTRACT

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for "triangle freeness": a function $f:\cube^{n} o\cube$ satisfies this property if $f(x),f(y),f(x+y)$ do not all equal 1, for any pair $x,y\in\cube^{n}$. Here we extend this test to a more systematic study of testing for linear-invariant non-linear properties. We consider properties that are described by a single forbidden pattern (and its linear transformations), i.e., a property is given by $k$ points $v_{1},...,v_{k}\in\cube^{k}$ and $f:\cube^{n} o\cube$ satisfies the property that if for all linear maps $L:\cube^{k} o\cube^{n}$ it is the case that $f(L(v_{1})),...,f(L(v_{k}))$ do not all equal 1. We show that this property is testable if the underlying matroid specified by $v_{1},...,v_{k}$ is a graphic matroid. This extends Green's result to an infinite class of new properties. Our techniques extend those of Green and in particular we establish a link between the notion of "1-complexity linear systems" of Green and Tao, and graphic matroids, to derive the results.

研究の動機と目的

• 線形不変非線形性質が局所的にテスト可能かどうかを、従来の線形性質を超えて調査すること。
• 線形変換下での禁止パターンによって定義される、このような性質の広範なクラスを特徴づけること。
• 禁止パターンがグラフマトロイドに対応する性質のテスト可能性を確立し、グリーンの三角形自由性結果を一般化すること。
• このような性質が定数クエリ複雑性を伴う片側誤差テストャを有するための構造的条件を探索すること。
• 線形不変性が非線形性質に対しても局所的テスト可能性を可能にする役割を理解するための基盤を築くこと。

提案手法

• k個の点の1つの禁止パターンを {0,1}^k で定義し、L: {0,1}^k → {0,1}^n による線形写像 L(v1),...,L(vk) を用いて、f(L(v1)),...,f(L(vk)) がすべて1に等しくならないことを要件とする。
• 禁止パターンのマトロイド構造を用いて性質を分類し、特にマトロイドがグラフとして表現可能（すなわち、グラフのサイクル空間として表現可能）である場合に注目する。
• グリーンとタオによる1-複雑性線形系の理論を活用し、禁止パターンの構造とその線形不変量を分析する。
• 1-複雑性系とグラフマトロイドの関係を確立し、対応する性質が片側誤差を伴うテスト可能であることを示す。
• 極値的グラフ理論の結果（例：完全グラフのグラフマトロイド間のホモモーティズムの非存在）を用いて、性質からの距離の下界を証明する。
• マトロイドに基づく標準関数構成を用いて、性質から遠い関数が定数クエリ複雑性で区別可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 禁止パターンにどのような条件下で、線形不変非線形性質が片側誤差を伴ってテスト可能となるか？
• RQ2 グリーンの三角形自由性テストは、無限個の非線形的線形不変性質へ一般化可能か？
• RQ3 禁止パターンのマトロイド構造がテスト可能性に果たす役割は何か？
• RQ4 1-複雑性線形系とグラフマトロイドの関係は、性質テストの文脈でどのように関連するか？
• RQ5 この枠組みは、単色性のものに限らない任意の禁止パターンに対しても拡張可能か？

主な発見

• 本稿では、対応するマトロイドがグラフである禁止パターンによって定義される任意の性質が、片側誤差と定数クエリ複雑性を伴ってテスト可能であることを証明している。
• テスト可能な性質のクラスには、グリーンの三角形自由性が特殊ケースとして含まれており、k ≥ 3 に対してすべてのサイクルパターン C_k へ一般化されている。
• C_k に対応するグラフマトロイド M に対して、M-自由であるという性質はテスト可能であり、極値的グラフ論的議論を用いてその距離の下界を示せる。
• C_{k+2}-自由性は C_k-自由性よりも厳密に強いことを示しており、このような性質の真の階層が存在することを示している。
• 1-複雑性系とグラフマトロイドの間の関係を確立し、構造的組合せ論を用いて非線形的線形不変性質の分析を可能にした。
• この枠組みは、任意の禁止パターンや、任意の有限範囲・体上の性質へテスト可能性の結果を拡張する基盤を提供する。