Instability of the undecidable behavior of the spectral gap in 1D

당신이 거대하고 무한한 레고 체인을 가지고 있다고 상상해 보세요. 양자 물리학의 세계에서 이 체인은 아주 작은 입자들로 만들어져 있으며, 이들이 서로 결합하는 방식은 '해밀토니안(Hamiltonian)'이라 불리는 일련의 규칙에 의해 지배됩니다. 물리학자들은 이 체인에 대해 한 가지 큰 질문을 던지곤 합니다. 바로 "스펙트럼 갭(spectral gap)이 존재하는가?"라는 질문입니다.

스펙트럼 갭을 안전 완충 지대나 해자(moat)라고 생각해 보세요. 만약 체인에 갭이 있다면, 그것은 견고한 요새와 같아서 바닥 상태(가장 낮고 안정적인 에너지 상태)와 들뜬 상태(흔들리는 상태) 사이에 명확하고 건널 수 없는 거리가 존재합니다. 만약 체인이 "갭이 없다면(gapless)", 해자는 사라지고 들뜬 상태는 바닥 상태 바로 옆에 있는 미끄러운 경사면처럼 변합니다. 당신이 어떤 상태를 가졌는지 아는 것은 그 물질이 전기를 어떻게 전도하는지, 혹은 어떻게 형태를 유지하는지와 같은 물질의 모든 거동을 알려줍니다.

오랫동안 과학자들은 1차원 체인(입자들이 한 줄로 늘어선 형태)의 경우, 갭이 있는지 알아내는 것이 쉬울 것이라고 생각했습니다. 하지만 연구팀은 충격적인 사실을 증명해 냈습니다. 특정하고 매우 복잡한 체인의 경우, "갭이 존재하는가?"라는 질문은 **결정 불가능(undecidable)**하다는 것입니다.

불가능한 퍼즐

'결정 불가능'이 무엇인지 이해하기 위해, 컴퓨터 프로그램이 게임을 실행한다고 상상해 보세요. 때때로 게임은 끝나지만(컴퓨터가 '정지'함), 때로는 영원히 실행되기도 합니다. 1936년, 앨런 튜링은 어떤 프로그램이든 보고 그것이 멈출지 아니면 영원히 실행될지를 알려주는 일반적인 알고리즘은 존재하지 않다는 것을 증명했습니다. 이것이 바로 "정지 문제(Halting Problem)"입니다.

이전 연구([1]로 참조됨)는 "스펙트럼 갭이 존재하는가?"라는 질문이 사실상 "이 특정 컴퓨터 프로그램이 멈추는가?"를 묻는 것과 비밀리에 같도록 설계된 양자 레고 체인을 구축했습니다.

• 만약 프로그램이 멈춘다면, 체인은 갭이 없습니다(gapless, 해자가 없음).
• 만약 프로그램이 영원히 실행된다면, 체인은 갭이 있습니다(gapped, 해자가 있음).

우리가 일반적인 알고리즘으로 정지 문제를 해결할 수 없듯이, 우리는 이 체인들에 대해서도 스펙트럼 갭 문제를 해결할 수 없습니다. 이것은 수학적인 막다른 골목입니다.

"취약한" 비밀

이제, 이 논문의 저자인 라우라 카스티야-카스텔라노(Laura Castilla-Castellano)와 안젤로 루시아(Angelo Lucia)가 등장합니다. 그들은 이 결정 불가능한 레고 체인을 보고 매우 물리적인 질문을 던졌습니다. "이 구조물은 얼마나 튼튼한가?"

현실 세계에서 완벽한 것은 없습니다. 항상 노이즈, 제조 오류, 혹은 미세한 진동이 존재합니다. 만약 이론적 모델이 아주 작은 먼지 하나 때문에 무너진다면, 그것을 정말 현실을 설명하는 좋은 모델이라고 할 수 있을까요?

저자들은 이 결정 불가능한 체인이 극도로 취약하다는 사실을 발견했습니다. 그것은 마치 외줄 위에서 쌓아 올린 카드 집과 같습니다.

여기서 그들이 찾아낸 마법 같은 트릭이 있습니다. 원래의 체인은 매우 섬세한 균형에 의존했습니다. 이 체인은 특별한 '표식' 입자(이를 "정지 표지판" 또는 $|\blacksquare\rangle$라고 부릅시다)를 사용하여 체인을 여러 구간으로 나누었습니다. 체인의 에너지는 아주 특별한 상쇄 작용에 달려 있었습니다. 즉, 구간 내부에서의 $-1/2$ 에너지 보너스가 정지 표지판의 $+1/2$ 페널티에 의해 정확하게 상쇄되는 것이었습니다. 이 완벽한 균형 덕분에 체인은 컴퓨터 프로그램의 미세한 에너지 차이를 "증폭"할 수 있었고, 이 결정 불가능한 동작을 가능하게 만들었습니다.

저자들은 만약 정지 표지판에 $\varepsilon$만큼의 아주 작은 추가 비용을 주는 미세한 섭동(perturbation, 즉 거의 눈에 보이지 않는 추가 규칙)을 더한다면, 이 모든 트릭이 무너진다는 것을 보여주었습니다. 여기서 $\varepsilon$은 0보다 큰 어떤 숫자라도 될 수 있습니다.

"결정 가능한" 구출

정지 표지판에 이 작은 비용 $\varepsilon$을 추가함으로써, 완벽한 상쇄는 깨집니다. 에너지의 균형이 어긋납니다. 갑자기 체인은 더 이상 정지 문제를 나타내는 비밀 코드로 작동하지 않습니다.

이제 이 체인은 결정 불가능한 상태에서 벗어나 **결정 가능(decidable)**한 상태가 됩니다. 즉, 이를 해결할 수 있는 알고리즘이 존재한다는 뜻입니다.

어떻게 가능할까요? 저자들은 이 섭동이 가해진 경우, 체인의 거동을 $w_\varepsilon$라고 부르는 특정 크기까지만 확인하면 된다는 것을 증명했습니다. 이 크기는 오직 당신의 미세한 섭동 $\varepsilon$과 몇몇 상수들에만 의존하며, 컴퓨터 프로그램의 무한한 복잡성에는 의존하지 않습니다.

• 만약 체인을 $w_\varepsilon$ 크기까지 확인했을 때 에너지가 항상 양수라면, 당신은 무한한 체인이 **갭이 있다(gapped)**는 것을 확실히 알 수 있습니다.
• 만약 어떤 지점에서든 $w_\varepsilon$ 이내에서 음수 에너지를 발견한다면, 당신은 무한한 체인이 **갭이 없다(gapless)**는 것을 알 수 있습니다.

$w_\varepsilon$은 유한한 숫자이므로, 당신은 이를 확인하기 위한 컴퓨터 프로그램을 작성할 수 있습니다. "결정 불가능"했던 미스터리가 사라지고, 단순하고 유한한 체크리스트가 그 자리를 대신합니다.

이것이 의미하는 바 (그리고 의미하지 않는 것)

이 논문은 이러한 결정 불가능한 결과들이 견고하다는 생각을 명시적으로 부정합니다. 원래 연구의 저자들은 체인의 "고전적" 부분에 작은 변화를 주어도 문제가 되지 않을 것이라고 시사했습니다. 하지만 이 새로운 논문은 이렇게 말합니다. "사실, 그 변화는 아주 미미할지라도 엄청나게 중요합니다."

하지만 저자들은 이러한 취약성이 자신들이 분석한 1차원 구조에 국한된 것임을 주의 깊게 밝히고 있습니다. 그들은 결정 불가능한 모든 양자 시스템이 이토록 취약할 것이라고 주장하는 것이 아닙니다. 실제로 그들은 "로빈슨 타일링(Robinson tiling)"이라는 더 견고한 구조를 사용하는 2차원 버전은 훨씬 더 깨뜨리기 어려울 수도 있다고 시사합니다. 또한, 모든 양자 시스템의 스펙와 갭 문제를 해결했다고 주장하는 것도 아닙니다. 단지 섭동이 가해진 이 특정한 계열의 문제에 대해서만 그렇다는 것입니다.

핵심 요약

이 논문은 1차원 양자 체인에서의 "결정 불가능한" 스펙트럼 갭이 자연의 근본적인 법칙이 아니라, 극도로 정교한 미세 조정(fine-tuning)의 결과임을 증명합니다. 그것은 마치 마술사가 숨을 완벽하게 참아야만 작동하는 마술과 같습니다. 만약 당신이 아주 작은 "노이즈"($O(\varepsilon)$ 크기의 섭동)를 도입한다면, 그 마술은 실패하고 답은 계산 가능한 것이 됩니다.

따라서 우주에는 여전히 미스터리가 존재할 수 있지만, 이 특정한 "불가능한" 퍼즐은 우리가 살고 있는 현실의 불완전함에 매우 민데 민감한 것으로 드러났습니다. 규칙을 아주 조금만 비틀어도, 불가능했던 것이 해결 가능한 것이 됩니다.