[論文レビュー] An Improved Lower Bound for Matroid Intersection Prophet Inequalities

Raghuvansh R. Saxena, Santhoshini Velusamy+1 more|arXiv (Cornell University)|Sep 12, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿は、[KW12] で提示された標準的な難易度の高い例を再分析することにより、マトロイド交差制約下における予言者不等式の下界を Ω(√q) から q^{1/2 + Ω(1/log log q)} に改善した。著者らは、[AA20] で得られた高度な組合せ的技法を用いて、p 個のサイズ p の互いに頂点を共有しない完全グラフ（クリーク）から構成されるグラフの積次元に関するより鋭い上界を導出し、それが、実行可能性制約を表現するために必要な分割マトロイドの数を減らすことにつながる。この結果、この設定における予言者不等式の近似不可能性に関する結果が強化された。

ABSTRACT

We consider prophet inequalities subject to feasibility constraints that are the intersection of $q$ matroids. The best-known algorithms achieve a $Θ(q)$-approximation, even when restricted to instances that are the intersection of $q$ partition matroids, and with i.i.d.~Bernoulli random variables. The previous best-known lower bound is $Θ(\sqrt{q})$ due to a simple construction of [Kleinberg-Weinberg STOC 2012] (which uses i.i.d.~Bernoulli random variables, and writes the construction as the intersection of partition matroids). We establish an improved lower bound of $q^{1/2+Ω(1/\log \log q)}$ by writing the construction of [Kleinberg-Weinberg STOC 2012] as the intersection of asymptotically fewer partition matroids. We accomplish this via an improved upper bound on the product dimension of a graph with $p^p$ disjoint cliques of size $p$, using recent techniques developed in [Alon-Alweiss European Journal of Combinatorics 2020].

研究の動機と目的

• q 個のマトロイド交差制約下における予言者不等式の、既知の最良の上界と下界の間のギャップを埋めること。
• q 個のマトロイド交差制約下の予言者不等式設定において、任意のアルゴリズムが達成可能な近似比の下界を改善すること。
• [KW12] で提示された標準的な難易度の高い例（i.i.d. ベルヌーイ確率変数を用い、分割マトロイドの交差として表現可能）を再分析すること。
• [KW12] の構成が、p² よりも著しく少ない数の分割マトロイドで表現可能かどうかを特定すること。

提案手法

• [KW12] の構成を、p 個のサイズ p の互いに頂点を共有しないクリークからなるグラフ Q(p, pp) の積次元を分析することで、分割マトロイドの交差として再表現すること。
• r ≫ s に対して Q(s, r) の積次元に関する最近の組合せ的結果 [AA20] を適用し、必要な分割マトロイドの数の上限を導出すること。
• 置換とバイナリ文字列を用いた二部グラフ構成を用いて、集合系の被覆性質をモデル化すること。
• ハールの定理と次数に基づく部分集合抽出の議論を用いて、置換の下で被覆が保証される頂点を共有しないスターチャンクの集合を大規模に特定すること。
• 帰納的構成により、基本ケースから出発し、スカラー乗算と置換作用を用いたスケーリングを適用して、サイズが増加する Sz-被覆族を構築すること。
• 得られた集合族が、p を法とする原始根によって生成される乗法的群の作用の下で S-被覆的であることを証明し、置換およびスケーリングに対して堅牢であることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 p 個のサイズ p のクリークが存在するグラフ Q(p, pp) の積次元は何か？
• RQ2 [KW12] の予言者不等式の難易度の高い例は、p² よりも少ない数の分割マトロイドで表現可能か？
• RQ3 Q(p, pp) の積次元に対する上界の改善が、マトロイド交差制約下の予言者不等式におけるより強い下界をもたらすか？
• RQ4 i.i.d. ベルヌーイの場合でさえ、q 個のマトロイド交差制約下の予言者不等式に対して、Θ(q) よりも明確に良い近似比が存在するか？
• RQ5 与えられた実行可能性制約系 I を表現するために必要な分割マトロイドの最小数は何か？

主な発見

• 本稿は、q 個の分割マトロイドの交差下における予言者不等式に対して、α(CPartInt(q)) ≥ q^{1/2 + Ω(1/log log q)} の新しい下界を確立した。
• 改善された下界は、[KW12] の構成が p² ではなく p^{2 - Ω(1/log log p)} 個の分割マトロイドで表現可能であることを示すことによって達成された。
• Q(p, pp) の積次元は、p^{2 - Ω(1/log log p)} で上界が与えられ、これにより従来の p² の上界が改善された。
• 帰納的構成により、各 z ≤ log p に対して、少なくとも (2 - 0.5(z+1)/(log p)²)^ℓz のサイズを持つ Sz-被覆 (ℓz, p)-族が得られた。
• z = log p の場合の最終的構成により、サイズが (2 - 0.5/log p / (log p)²)^ℓ 以上の族が得られ、q = p^{p} とし、予言者不等式設定と関連付けることで、主結果が導かれた。
• この結果は、標準的な [KW12] の例が、p^{2 - Ω(1/log log p)} 個より少ない分割マトロイドでは表現不可能であり、したがって近似不可能性のギャップが従来の予想よりもきつくなったことを示唆している。