⚛️ 양자물리학

Quantum algorithms for optimal control: large-scale finite-horizon linear-quadratic regulation

이 논문은 리카티 해 연산자의 명시적 구축을 요구하지 않으면서도 시스템 크기와 제어 지속 시간에 대해 다항 로그 스케일링을 달성하고, 호라이즌 독립적인 조건수를 갖는 멀티 슈팅 선형 시스템으로 재구성함으로써 대규모 유한 호라이즌 선형-이차 조절 문제를 해결하는 양자 알고리즘을 제시한다.

원저자: Xiajie Huang, Cristina Álvarez Yuste, Nikita Guseynov, Nana Liu, Javier González-Conde

게시일 2026-10-20

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Xiajie Huang, Cristina Álvarez Yuste, Nikita Guseynov, Nana Liu, Javier González-Conde

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

기계가 균형을 유지하기 위해 찰나의 결정을 내려야 하거나, 전력망이 변화하는 수요에 즉각적으로 대응해야 하거나, 혹은 우주선이 복잡한 궤도를 완벽한 정밀도로 항해해야 하는 세상을 상상해 보십시오. 이 모든 경우에 엔지니어들은 '최적 제어(optimal control)'라고 알려진 수학적 프레임워크에 의존합니다. 목표는 간단합니다. 최소한의 에너지나 시간을 사용하여 시스템을 시작점에서 원하는 목적지까지 안내하는 것입니다. 수십 년 동안 이 문제를 해결하는 데 있어 가장 신뢰할 수 있는 도구는 '선형 이차 조절(linear-quadratic regulation)'이라 불리는 방법이었습니다. 이 방법은 시스템이 직선적이고 예측 가능한 방식으로 움직이며, 실수의 비용이 매끄럽고 예측 가능한 방식으로 증가할 때 매우 효과적으로 작동합니다. 하지만 과업을 수행할 시간 창(time window)이 고정되어 있고 유한할 때—예를 들어 드론이 착륙하거나 발전소가 안정화되는 데 주어진 특정 초 단위의 시간처럼—그 수학적 난이도는 엄청나게 높아집니다. 완벽한 경로를 찾기 위해 필요한 방정식들은 복잡한 비선형 퍼즐이 되며, 시스템이 커지거나 시간 창이 길어질수록 기하급수적으로 어려워집니다. 우리가 오늘날 사용하는 기존의 고전 컴퓨터들은 여기서 한계에 부딪히며, 대규모의 실시간 응용 분야에 유용할 만큼 빠르게 계산을 처리하는 데 어려움을 겪곤 합니다.

연구팀은 이제 이러한 병목 현상을 우회하기 위해 양자 컴퓨팅의 원리를 이용한 새로운 접근 방식을 개발했습니다. 그들은 어려운 비선형 퍼즐을 직접 해결하는 대신, 문제 전체를 재구성하는 방법을 찾아냈습니다. 그들은 시스템이 어떻게 움직이는지, 그리고 오차의 비용이 어떻게 누적되는지를 설명하는 표준 방정식들을 가져와 이를 하나의 거대한 선형 방정식 체계로 결합했습니다. 이것은 마치 엉킨 실타래를 가져와 테이블 위에 평평하게 펼쳐 놓는 것과 같습니다. 매듭을 푸는 것은 어렵지만, 평평하게 펼쳐진 배열은 측정하기 쉽기 때문입니다. 이와 같이 문제를 구성함으로써, 그들은 혼란스럽고 시간 의존적인 과제를 구조화되고 정적인 과제로 변모시켰습니다. 이 새로운 정식화는 선형 시스템을 해결하도록 설계된 특화된 양자 알고리즘을 사용할 수 있게 해주는데, 이는 양자 컴퓨터가 기존의 짝인 고전 컴퓨터에 비해 상당한 우위를 점하고 있는 분야입니다.

연구진은 시스템이 충분히 안정적이기만 하다면, 이 새로운 방법이 매우 긴 시간 동안에도 효율적으로 작동한다는 것을 증명했습니다. 그들은 계산의 난이도가 시간 창이 길어진다고 해서 폭발적으로 증가하지 않는다는 점을 입증했는데, 이는 이전의 시도들이 겪어온 문제였습니다. 실제로 그들은 교량에서 분자 사슬에 이르기까지 흔히 사용되는 모델인 '용수철로 연결된 질량의 긴 사슬'과 같은 특정 계열의 시스템에 대해, 계산의 난이도가 시스템이 커짐에 따라 매우 느리게 증가하여 거의 무시할 수 있는 수준이 된다는 것을 보여주었습니다. 이는 이론적으로 양자 컴퓨터가 거대한 시스템에 대한 최적의 제어 입력을 대규모 고전 슈퍼컴퓨터가 걸리는 시간의 아주 일부분만으로 찾아낼 수 있음을 의미합니다.

이론의 타당성을 확보하기 위해, 연구팀은 고전 컴퓨터를 사용하여 자신들의 방법이 어떻게 작동할지를 시뮬레이션하는 광범위한 수치 실험을 수행했습니다. 그들은 세 가지 유형의 시스템을 테스트했습니다: 질량과 용수철의 사슬, 리더를 따르는 차량 행렬, 그리고 현장에 퍼져나가는 화학 반응입니다. 모든 경우에서 시뮬레이션은 그들의 수학적 재구성이 정확하며, 시뮬레이션이 얼마나 오래 지속되든 또는 시스템의 구성 요소가 얼마나 많든 관계없이 시스템이 잘 작동(well-conditioned)한다는 것을 확인해주었습니다. 그들은 최적의 비용을 추정하고 특정 순간에 필요한 정확한 제어 동작을 높은 정밀도로 찾아낼 수 있음을 발견했습니다. 결과는 제어 입력의 수가 고정된 시스템의 경우, 솔루션을 찾는 데 걸리는 시간이 시스템의 크기에 따라 매우 느리게 증가하여 실질적인 목적을 위한 관점에서는 사실상 일정하다는 것을 시사합니다.

이 연구가 존재하는 모든 제어 문제를 해결했다고 주장하거나, 현재 사용 가능한 하드웨어에서 이러한 알고리즘을 실행할 수 있을 만큼 양자 컴퓨터가 준비되었다고 주장하는 것은 아닙니다. 연구진은 자신들의 발견이 이론적 증명과 시뮬레이션에 기반하고 있음을 분명히 하고 있습니다. 그러나 그들은 명확한 진전 경로를 구축했습니다. 문제의 근본적인 수학적 구조를 다스릴 수 있고 양자 프로세싱에 효율적으로 만들 수 있음을 증명함으로써, 그들은 주요한 이론적 장벽을 제거했습니다. 그들의 연구 결과는 일단 양자 하드웨어가 성숙해지면, 현재로서는 도달할 수 없는 대규모의 시간 민감형 제어 문제들을 해결하는 것이 가능해질 것이며, 이는 복잡한 인프라를 관리하고, 자율 주행 차량을 안내하며, 핵심 에너지 시스템을 안정화하는 방식에 혁명을 일으킬 수 있음을 시사합니다. 핵심 통찰은 문제에 대한 관점을 바꿈으로써, 불가능한 것을 단지 어려운 것으로 만들고, 어려운 것을 관리 가능한 것으로 만든다는 것입니다.

기술 요약: 대규모 유한 시계(Finite-Horizon) 선형-이차 조절을 위한 양자 알고리즘

문제 정식화
본 연구는 대규모 시스템에 대한 연속 시간 유한 시계 선형-이차 조절(LQR) 문제를 해결하는 계산적 과제를 다룬다. 이 문제는 주어진 시간 간격 $[0, T]$ 동안 선형 동역학 $\dot{x}(t) = Ax(t) + Bu(t)$ 를 따르는 이차 비용 범함수(quadratic cost functional)를 최소화하는 것을 목표로 한다. 무한 시계 LQR이 대수적 리카티 방정식(ARE)으로 귀결되는 것과 달리, 유한 시계의 경우 시간 의존적 미분 리카티 방정식(DRE)을 풀어야 한다. DRE에 대한 기존의 고전적 수치 방법은 상태 차원( $n$ )과 긴 시계( $T$ )에 대해 다항식 또는 그 이상의 복잡도로 계산 비용이 증가한다. 또한, 뫼비우스 변환(Möbius transformations)에 기반한 비선형 행렬 미분 방정식에 대한 기존의 양자 접근 방식들은 시계 $T$ 에 따라 조건수(condition number)가 지수적으로 증가하는 문제가 있음이 밝혀졌으며, 이는 장기 제어 작업에 실용적이지 못하다.

방법론
저자들은 비선형 리카티 방정식을 직접 푸는 것을 피하는 양자 알고리즘 프레임워크를 제안한다. 대신, 이 방법은 폰트랴긴의 최대 원리(Pontryagin's Maximum Principle, PMP)를 사용하여 최적 제어 문제를 재정식화하며, 이는 상태 $x(t)$ 와 공액 상태(costate) $\lambda(t)$ 를 포함하는 선형 이점-경계값 문제(TPBVP)를 생성한다.

다중 타격(Multiple-Shooting) 재정식화: 연속적인 TPBVP는 가우스-르장드르 룬게-쿠타(Gauss–Legendre Runge–Kutta) 스킴을 사용하여 이산화된다. 시간 격자점에서의 상태 및 공액 상태 변수들을 벡터 $q$ 로 모으고, 진화 방정식과 경계 조건을 전개하여 거대하고 희소한 선형 시스템 $L_{ex}q = b$ 를 구성한다. 이러한 "다중 타격" 접근 방식은 미분 제어 문제를 선형 대수 문제로 변환한다.
리카티-리야푸노프 디커플링을 통한 조건수 분석: 본 연구의 핵심적인 이론적 기여는 시스템이 안정화 가능성(stabilizability) 및 검출 가능성(detectability) 가정을 만족할 때, 결과로 도출되는 선형 시스템의 조건수 $\kappa(L_{ex})$ 가 시계 $T$ 에 대해 균등하게 유계(bounded)임을 증명하는 것이다. 저자들은 리카티-리야푸노프 변수 변환을 적용하여 시스템을 순방향 안정(forward-stable) 및 역방향 안정(backward-stable) 하위 시스템으로 분리함으로써 이를 달성한다. 이 변환은 성장하는 모드(growing modes)를 분리하여 격자점 간의 영향력이 거리에 따라 지수적으로 감소하도록 보장하며, 이를 통해 $T$ 에 따른 조건수의 지수적 폭발을 방지한다.
양자 선형 시스템 알고리즘 (QLSA): 선형 시스템은 양자 특이값 변환(QSVT) 및 블록 인코딩 기술에 기반한 양자 선형 시스템 알고리즘(QLSA)을 사용하여 해결된다. 이 알고리즘은 시스템 행렬과 해당 연산자의 역행렬에 대한 블록 인코딩을 구축한다.
출력 추출: 알고리즘은 전체 고전적 궤적을 출력하지 않는다. 대신, 선택된 단일 시간 격자점 $t_k$ 에서의 최적 비용 $J^*$ 와 최적 제어 벡터 $u^*(t_k)$ 에 대한 고전적 추정치를 제공한다. 이러한 양들은 양자 상태를 나타내는 해로부터 하다마드 테스트(Hadamard test)와 진폭 추정(amplitude estimation)을 통해 추출된다.

주요 기여 및 결과

시계 균등 조건수: 본 논문은 다중 타격 선형 시스템의 조건수가 시간 시계 $T$ 와 독립적으로 유계됨을 입증하였다. 이 결과는 폐루프 전파자(closed-loop propagator)의 지수적 감소에 의존하며, 이는 안정화 가능성 및 검출 가능성 하에서 성립함이 증명되었다. 이 성질은 일련의 결합된 질량-스프링 체인(mass-spring chains) 모델에서도 균등하게 유지된다.
복잡도 스케일링: 희소 행렬 블록 인코딩과 유계된 안정성 파라미터 가정 하에, 제안된 양자 알고리즘의 쿼리 및 게이트 복잡도는 상태 차원 $n$ $n$ 과 시간 시계 $T$ $T$ 에 대해 폴리로그(polylogarithmic) 단위로 스케일링된다. 구체적으로:
- 최적 비용 추정: $\tilde{O}(\varepsilon^{-1} \text{polylog}(n, d, T))$ .
- 최적 제어 추정: $\tilde{O}(d^{3/2}\varepsilon^{-1} \text{polylog}(n, d, T))$ .
  여기서 $\varepsilon$ 은 목표 오차이며, $d$ 는 제어 차원이고, $\tilde{O}$ 는 오차 및 실패 확률의 로그 인자를 생략한 표기이다.
차원 균등 예시: 저자들은 고정된 끝단 제어를 가진 특정 결합 질량-스프링 체인 모델에 대해, 안정성 파라미터와 행렬 노름(norm)이 질량의 수와 무관하게 유계되어 있음을 보여준다. 이는 총 초기 에너지가 유계된 물리적으로 유의미한 대규모 시스템에서도 폴리로그 스케일링이 유효함을 확인시켜 준다.
수치적 검증: 질량-스프링 체인, 차량 플래툰(vehicle platoons), 반응-확산 시스템에 대한 고전적 수치 실험을 통해 이론적 조건수 경계와 가우스 이산화의 정확성을 검증하였다. 실험 결과, 시계가 증가함에 따라 조건수가 안정적으로 유지되며, 룬게-쿠타 단계(stages)의 수가 증가함에 따라 이산화 오차가 빠르게 감소함을 확인하였다.

의의 및 주장
본 논문은 대규모 최적 제어를 위한 양자 가속화를 향한 기초적인 단계를 제공한다고 주장한다. 유한 시계 LQR 문제를 조건수가 시계 $T$ 에 대해 독립적인 선형 시스템으로 재정식화함으로써, 저자들은 기존의 DRE 선형화 방식에서 발견되었던 주요 장벽(즉, $T$ 에 대한 지수적 의존성)을 극복하였다.

본 연구의 의의는 높은 차원의 시스템에 대해 긴 시간 간격 동안 최적 비용과 제어를 효율적(폴리로그 단위)으로 추정할 수 있는 능력에 있다. 저자들은 리카티 및 리야푸노프 해를 오직 이론적 조건수 분석을 위해서만 사용하며, 이를 통해 양자 컴퓨터 상에서 비선형 방정식을 푸는 데 따르는 오버헤드를 피한다. 저자들은 모든 노드에서 읽어내기가 필요한 전체 고전적 제어 궤적을 재구성하는 대신, 선택된 시점에서의 특정 양을 추정하는 데 집중함으로써 연구의 범위를 적절히 제한하였다. 결과는 이론적 프레임워크와 수치적 증거를 바탕으로 제시되었으며, 약하게 감쇠된 시스템을 위한 프리컨디셔닝(preconditioning) 및 특정 제어 범함수에 대한 자원 경계의 정교화가 향후 과제로 제시되었다.

유사한 논문