Improved constant factors for qubitized Hamiltonian simulation

당신은 원자와 에너지로 이루어진 작고 보이지 않는 세계의 미래 행동을 예측하려고 노력하고 있다고 상상해 보십시오. 이것이 바로 양자 컴퓨터가 하는 일입니다. 양자 컴퓨터는 새로운 의약품부터 초효율 배터리에 이르기까지 모든 것을 지배하는 물리 법칙을 시뮬레이션하도록 설계된 슈퍼 파워 계산기와 같습니다. 하지만 이 기계들은 그들이 풀어야 할 수학이 믿기지 않을 정도로 복잡하기 때문에 프로그래밍하기가 매우 까ret스럽습니다. 이를 가능하게 하기 위해, 과학자들은 "양자 신호 처리(Quantum Signal Processing)"라는 특별한 기술을 사용합니다. 이 기술을 복잡하게 소용돌이치는 에너지의 춤을 컴퓨터가 따를 수 있는 간단하고 단계적인 레시피로 번역하는 방법이라고 생각해 보십시오. 목표는 정답을 맞히기 위해 얼마나 많은 단계(또는 특정 수학적 도구에 대한 "호출")가 필요한지를 정확히 알아내는 것이며, 시간이나 에너지를 낭비하지 않는 것입니다. 단계를 너무 적게 밟으면 답이 틀리고, 너무 많이 밟으면 컴퓨터가 작업을 마치기 전에 배터리가 바닥납니다. 수년 동안 과학자들은 시뮬레이션을 더 빠르고 실용적으로 만들기 위해 아주 작은 추가 작업이라도 줄이고자, 필요한 단계의 절대적인 최소치를 찾는 데 매진해 왔습니다.

이 논문은 그 단계들을 측정하기 위한 훨씬 더 날카롭고 정밀한 자를 찾는 것에 관한 것입니다. Xanadu에서 연구하는 저자들은 양자 시스템이 시간이 지남에 따라 어떻게 변하는지를 시뮬레이션하는 데 필요한 단계의 규칙을 어떻게 더 엄격하게 정할 수 있는지 발견했습니다. 그들은 "야코비-앵거 전개(Jacobi-Anger expansion)"라고 불리는 특정 수학적 도구에 집중했는데, 이는 파동이 어떻게 움직이는지 설명하는 거대하고 무한한 레시피 북과 같습니다. 좋은 답을 얻으려면 어느 시점에서 레시피 읽기를 멈춰야 하지만, 중요한 재료를 놓치지 않으려면 정확히 어디서 멈춰야 하는지 알아야 합니다. 저자들은 이전에 결정을 내리는 방식이 마치 안전을 위해 밀가루를 한 컵이나 더 듬뿍 넣는 제빵사처럼 다소 지나치게 조심스러웠다는 점을 깨달았습니다. 카프테인(Kapteyn)과 왓슨(Watson)의 이름을 딴 두 가지 영리한 수학적 부등식을 사용하여 레시피의 "꼬리 부분(즉, 잘라낼 부분)"을 분석함으로써, 그들은 이전보다 훨씬 더 일찍 멈출 수 있다는 것을 증명했습니다.

그들의 주요 발견은 우리가 실제로 달성할 수 있는 것과 이론적인 최선 사이의 간극을 거의 완전히 메웠다는 것입니다. 그들은 필요한 단계의 수가 시뮬레이션하려는 시간과 1에 매우 가까운 계수를 곱한 값과 본질적으로 같다는 것을 보여주었습니다. 과거의 최선 추정치들은 당신이 절대적인 최소치보다 약 1.36배(구체적으로는 $e/2$) 더 많은 단계를 필요로 할 것이라고 제안했습니다. 저자들은 남겨진 수학적 부분을 더 세심하게 다룸으로써 그만큼의 오버헤드를 줄일 수 있으며, 이로 인해 프로세스가 약 1.36배 더 효율적이 될 수 있음을 입증했습니다. 그들은 단순히 추측한 것이 아니라, 자신들의 새로운 공식이 옳고 기존의 느슨한 추정치가 실제로 너무 보수적이었다는 것을 보여주는 엄격한 수학적 증명을 제공했습니다.

이를 시각화하기 위해, 당신이 구불구불한 산길의 길이를 추정하려고 한다고 상상해 보십시오. 이전의 지도들은 안전을 위해 직선 거리 1마일당 산길이 약 1.36마일이라고 알려주었습니다. 이 논문의 저자들은 레이저로 곡선을 직접 측정하여, 그 길이 실제로는 직선 거리 1마일당 정확히 1마일에 훨씬 가깝다는 것을 증명했습니다. 그들은 사람들이 고려해야 한다고 생각했던 "추가" 거리가 대부분 더 투박한 줄자를 사용했기 때문에 생긴 환상임을 보여주었습니다. 그들의 새로운 방법은 곡선을 완벽하게 반영하는 고정밀 줄자를 사용하여, 양자 컴퓨터가 화학 반응과 물리적 과정을 훨씬 적은 자원으로 시뮬레이션할 수 있게 해줍니다. 이것은 단지 약간의 시간을 아끼는 것이 아닙니다. 대규모의 복잡한 시뮬레이션의 경우, 이는 계산이 일주일 걸릴 일을 며칠로 줄이거나, 혹은 불가능했던 시뮬레이션을 마침내 실행 가능한 것으로 만드는 차이를 의미합니다. 저자들은 자신들의 새로운 경계값이 "타이트(tight)"하다는 것, 즉 실제 수학적 현실에 매우 가깝다는 것을 확인했으며, 자신들의 공식이 실제 숫자와 거의 완벽하게 일치함을 컴퓨터 생성 데이터와의 비교를 통해 입증했습니다.