유한 차수 그로텐디크 상수의 새로운 하한

초록

본 논문은 프랭크-와일프(FW) 알고리즘을 활용해 차수 $d=3,4,5$에 대한 구체적인 직사각형 행렬 인스턴스를 구성하고, 이를 정확히 해결함으로써 기존에 알려진 그로텐디크 상수 $K_G(d)$의 하한을 크게 개선한다. 대칭적인 고차원 라인 패킹을 이용한 $d=4,7,8$에 대한 후보 인스턴스도 제시하지만, 현재는 휴리스틱으로만 해결 가능하다. 또한 일반화된 상수 $K_G(d!\rightarrow!2)$를 복소 $d$‑차원 양자역학 대비 실수 2‑차원(큐비트) 양자역학의 이점으로 해석하고, 해당 상수에 대한 새로운 상한·하한을 제시한다.

상세 분석

이 연구는 그로텐디크 상수 $K_G(d)$가 $d$‑차원 실수 벡터 전략과 1‑차원(스칼라) 전략 사이의 최적화 이득을 정량화한다는 점에 착안한다. 기존 문헌에서는 $d=2$만 정확히 알려졌으며, $d\ge3$에 대해서는 상한·하한이 크게 격차를 보였다. 저자들은 최근 제안된 프랭크‑와일프(FW) 기반 투사 기법을 활용해, (1) “좋은” 행렬 $M$을 설계하고 (2) 해당 행렬에 대한 $SDP_1(M)$ 값을 정확히 혹은 상한으로 계산하는 두 문제를 동시에 해결한다.

문제 1에 대해서는, $SDP_d$ 집합의 내부 점 $P$를 선택하고, $SDP_1$(상관 다각형)으로의 정사영을 FW 알고리즘으로 수행한다. 이 과정에서 그룹 대칭성을 이용해 활성 집합의 차원을 크게 감소시키며, 최종적으로 $P$와 $SDP_1$ 사이의 가장 긴 하이퍼플레인을 정의하는 행렬 $A$(또는 $M$)를 얻는다. 특히, 대칭화된 상관 다각형 $G!\left(SDP_{1}\right)$을 이용하면, $A$가 실제로 다각형의 면(facet)임을 보장한다.

문제 2는 $SDP_1(M)$가 Max‑Cut 문제와 동치이므로 NP‑hard이다. 저자들은 두 가지 접근을 취한다. 첫째, $d=3,4,5$에 대해 직사각형 형태의 $M$을 선택하고, 최신 이진 2차 최적화 솔버(예: