27큐빗 반례가 최소임을 증명

본 논문은 2007년에 발견된 27큐빗 그래프 상태의 LU‑LC 반례가 실제로 가장 작은 반례임을 증명한다. 연구 배경으로, 그래프 상태는 그래프와 일대일 대응 관계를 가지며, 양자 컴퓨팅, 오류 정정, 통신 등 다양한 분야에서 핵심 자원으로 활용된다. 그래프 상태의 동등성은 크게 두 가지로 구분된다. 첫 번째는 로컬 유니터리(LU) 동등성으로, 각 큐빗에 임의의 단일 유니터리 연산을 허용한다. 두 번째는 로컬 클리포드(LC) 동등성으로, 허용 연산을 클리포드 군으로 제한한다. LC 동등성은 로컬 보완(local complementation)이라는 그래프 연산으로 완전히 기술될 수 있어 효율적인 알고리즘이 존재한다. 한때 모든 LU 동등성은 LC 동등성으로 귀결된다는 LU‑LC 추측이 제기되었으나, Ji·Chen·Wei·Ying이 27큐빗 그래프 쌍을 통해 반례를 제시하면서 이 가설은 부정되었다. 이후 27큐빗 반례가 최소인지 여부가 남은 문제였다. 저자들은 이를 해결하기 위해 최근 도입된 r‑지역 보완 개념을 활용한다. r‑지역 보완은 다중 집합에 대해 공통 이웃의 개수를 특정 모듈러 연산으로 판단해 엣지를 토글하는 일반화된 그래프 연산이다. 특히 r=2인 2‑지역 보완은 독립 집합 S에 대해 공통 이웃의 수가 2(mod 4)인 경우 엣지를 토글한다. 중요한 점은 2‑지역 보완이 LU 동등성을 완전하게 포착한다는 사실이다. 기존 연구에 따르면, 31큐빗 이하의 그래프 상태는 최대 하나의 2‑지역 보완과 다수의 로컬 보완으로 변환될 수 있다. 따라서 26큐빗 이하에서 반례가 존재한다면, 반드시 2‑지역 보완을 포함하는 변환이 필요하고, 이는 특정 구조적 제약을 강제한다. 논문은 Lemma 1을 통해 반례가 존재한다면 다음과 같은 이분 그래프 G와 정점 집합 S가 존재해야 함을 보인다. (1) G는 최대 n+1개의 정점을 갖는다. (2) 모든 정점의 차수가 홀수이며 최소 3이다. (3) 트윈 정점(동일 이웃 집합을 가진 정점)이 존재하지 않는다. (4) S는 2‑incident, 즉 모든 두 정점·세 정점 쌍에 대해 S와의 공통 이웃 수가 짝수이다. (5) S에 대한 2‑지역 보완이 단순한 1‑지역 보완으로 대체될 수 없어야 한다. 이러한 조건을 만족하는 그래프는 매우 제한적이다. 다음 단계에서 저자들은 그래프 G를 행렬 M_G=