[논문 리뷰] An Improved Lower Bound for Matroid Intersection Prophet Inequalities

Raghuvansh R. Saxena, Santhoshini Velusamy외 1명|arXiv (Cornell University)|2022. 09. 12.

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-matroid 교차 제약 조건 하에서의 프로페트 불등식에 대한 최고의 상한과 하한 사이의 격차를 좁히는 것.
• q-matroid 타당성 제약 조건이 있는 프로페트 불등식 설정에서 어떤 알고리즘도 달성할 수 있는 근사 비율에 대한 하한을 향상시키는 것.
• [KW12]에서 제시한 표준적인 딱딱한 예제를 재분석하는 것. 이 예제는 i.i.d. 베르누이 랜덤 변수를 사용하며, 분할 매트로이드의 교차로 표현 가능하다.
• 표준적인 [KW12] 구성이 점차적으로 더 적은 p²개 이하의 분할 매트로이드로 표현 가능한지 여부를 규명하는 것. 이는 근사 불가능성 한계를 향상시키는 데 기여한다.

제안 방법

• [KW12]의 구성이 p개의 크기 p인 분리된 클리크로 이루어진 그래프 Q(p, pp)의 곱 차원을 분석함으로써 분할 매트로이드의 교차로 재표현하는 것.
• [AA20]에서 최근에 제시한 r ≫ s에 대해 Q(s, r)의 곱 차원에 대한 조합 결과를 적용하여 필요한 분할 매트로이드의 수를 상한으로 제한하는 것.
• 순열과 이진 문자열을 사용한 이분 그래프 구성법을 통해 집합 체계의 커버링 성질을 모델링하는 것.
• 홀의 정리와 차수 기반의 부분표본 추출 논증을 활용하여, 순열 하에서 커버리지를 보장하는 정점을 분리한 별 모양의 집합을 찾는 것.
• 기저 사례에서 시작하여 스케일링을 위해 스칼라 곱과 순열 작용을 적용함으로써 크기가 증가하는 Sz-커버링 가족을 귀납적으로 구성하는 것.
• 결과로 얻어진 집합의 가족이 p를 모듈로로 하는 원시근에 의해 생성된 곱셈군의 작용 하에서 S-커버링임을 증명함으로써, 순열과 스케일링 하에서의 강건성을 확보하는 것.

실험 결과

연구 질문

• RQ1 p개의 크기 p인 분리된 클리크가 존재하는 그래프 Q(p, pp)의 곱 차원은 무엇인가요?
• RQ2 [KW12]의 프로페트 불등식 딱딱한 예제는 p²개 이하의 분할 매트로이드로 표현 가능한가요?
• RQ3 Q(p, pp)의 곱 차원에 대한 상한을 향상시키면, 매트로이드 교차 프로페트 불등식에 대한 더 강력한 하한을 도출할 수 있는가요?
• RQ4 i.i.d. 베르누이 케이스조차도, q-matroid 교차 제약 조건 하에서 Θ(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²보다 더 낮은 p^{2 - Ω(1/log log p)}로 상한이 제시되었다.
• 귀납적 구성은 각 z ≤ log p에 대해 최소 (2 - 0.5(z+1)/(log p)²)^ℓz 크기의 Sz-covering (ℓz, p)-가족을 도출한다.
• z = log p일 때의 최종 구성은 최소 (2 - 0.5/log p / (log p)²)^ℓ 크기의 가족을 도출하며, 이는 q = p^{p}로 설정하고 프로페트 불등식 설정과 연결함으로써 주요 결과를 유도한다.
• 결과는 표준적인 [KW12] 예제가 p^{2 - Ω(1/log log p)}개 이하의 분할 매트로이드로 표현될 수 없으며, 따라서 이전에 생각했던 것보다 더 좁은 근사 불가능성 격차를 가짐을 시사한다.