[논문 리뷰] Embedding the diamond graph in $L_p$ and dimension reduction in $L_1$

J. R. Lee, Assaf Naor|ArXiv.org|2004. 07. 30.

Computational Geometry and Mesh Generation참고 문헌 5인용 수 46

한 줄 요약

이 논문은 $1 < p \leq 2$ 인 $L_p$ 공간으로의 수준-$k$ 다이아몬드 그래프 임베딩에 필요한 왜곡의 하한을 설정하며, 이 하한은 $\sqrt{1 + (p-1)k}$ 이상임을 보여준다. 이 결과는 $\ell_1^d$로의 $D$-임베딩이 $d \geq n^{\Omega(1/D^2)}$ 를 요구함을 의미하며, 이는 Johnson-Lindenstrauss 차원 감소 레미마의 $L_1$ 해석이 존재하지 않음을 증명한다.

ABSTRACT

We show that any embedding of the level-k diamond graph of Newman and Rabinovich into $L_p$, $1 &lt; p \le 2$, requires distortion at least $\sqrt{k(p-1) + 1}$. An immediate consequence is that there exist arbitrarily large n-point sets $X \subseteq L_1$ such that any D-embedding of X into $\ell_1^d$ requires $d \geq n^{Ω(1/D^2)}$. This gives a simple proof of the recent result of Brinkman and Charikar which settles the long standing question of whether there is an $L_1$ analogue of the Johnson-Lindenstrauss dimension reduction lemma.

연구 동기 및 목표

• 수준-$k$ 다이아몬드 그래프 $G_k$ 를 $1 < p \leq 2$ 인 $L_p$ 공간으로 임베딩하기 위해 필요한 왜곡의 하한을 설정하는 것.
• Johnson-Lindenstrauss 레미마의 $L_1$ 해석이 존재하지 않는다는 것을 보여주는 것.
• $L_1$ 차원 감소의 불가능성을 기하학적이고 비선형 프로그래밍 기반의 증명으로 제시하는 것.
• 임의로 큰 $n$-점 부분집합이 $L_1$에 존재할 경우, 일정한 왜곡으로 $\ell_1^d$로의 임베딩을 위해 초다항적 차원이 필요함을 보여주는 것.

제안 방법

• 기존의 $p=2$ 경우를 확장한, $1 < p \leq 2$ 인 $L_p$ 공간에서의 일반화된 짧은 대각선 부등식을 사용한다.
• 각 수준 $i$ 에서 다이아몬드 그래프 구조의 반대변과 변에 이 부등식을 적용한다.
• 각 수준 간 반대변과 변의 $L_p$-거리 사이의 재귀적 부등식을 유도한다.
• 볼록성과 평균화를 활용하여 반대변의 거리 제곱합을 변의 거리로 상한을 구한다.
• 부등식을 비압축성 $D$-임베딩 가정과 결합하여 왜곡 하한을 유도한다.
• 얻어진 $L_p$ 왜곡 하한을 $\

실험 결과

연구 질문

• RQ1 수준-$k$ 다이아몬드 그래프를 $1 < p \leq 2$ 인 $L_p$ 공간으로 임베딩하기 위해 필요한 최소 왜곡은 무엇인가?
• RQ2 Johnson-Lindenstrauss 차원 감소 레미마는 $L_1$ 공간으로 확장될 수 있는가?
• RQ3 $L_p$ 임베딩의 왜곡과 목표 공간인 $\ell_1^d$ 의 차원 사이의 관계는 무엇인가?
• RQ4 왜곡이 $p \to 1$ 으로 갈수록 감소하는 비율이 $\ell_1$로의 임베딩에 필요한 차원에 어떤 영향을 미치는가?
• RQ5 기하학적 직관이 $L_1$ 차원 감소의 하한을 증명하는 데 선형 프로그래밍을 대체할 수 있는가?

주요 결과

• 모든 $1 < p \leq 2$ 에 대해, $L_p$ 공간으로의 수준-$k$ 다이아몬드 그래프 임베딩의 왜곡은 최소 $\sqrt{1 + (p-1)k}$ 이상이다.
• 모든 $n \in \mathbb{N}$ 에 대해, $\ell_1^d$ 로의 $D$-임베딩이 필요로 하는 차원 $d \geq n^{\Omega(1/D^2)}$ 를 만족하는 $n$-점 부분집합 $X \subseteq L_1$ 이 존재한다.
• $L_p$ 공간에서의 왜곡 하한은 $L_1$ 차원 감소가 Johnson-Lindenstrauss 레미마와 유사하게 존재하지 않음을 직접적으로 암시한다.
• 이 증명은 이전 연구에서 사용된 선형 프로그래밍 기법을 피하는, 새로운 기하학적 부등식에 의존한다.
• 결과는 $L_1$ 이 조밀한 차원 감소를 지원하지 않으며, $L_1$-임베딩 가능한 거리 구조를 가진 집합에 대해서도 마찬가지임을 확인한다.
• 구축과 점근적 분석을 통해 $d \geq n^{\Omega(1/D^2)}$ 의 하한이 지수의 상수를 제외하고는 최적임을 보여준다.