구글의 양자 오류 수정 혁신 이해하기

• 양자 컴퓨터의 기본 단위인 큐비트는 매우 민감하여 미세한 외부 간섭에도 오류가 발생함
• 양자 오류 수정(QEC) 은 다수의 민감한 물리적 큐비트를 결합해 더욱 안정적인 논리적 큐비트를 생성하고 오류를 수정함
• QEC의 핵심 목표는 물리적 큐비트의 오류율이 임계치 이하일 때, 더 많은 큐비트를 추가해도 오류가 줄어들도록 만드는 것임

구글의 주요 성과: 임계치 이하의 오류율 달성

• 구글은 특정 유형의 QEC인 표면 코드(surface codes) 를 사용하여 오류를 지수적으로 줄이는 데 성공함
• 5개에서 7개의 큐비트로 코드 거리(code distance)를 증가시킴으로써 논리적 오류율이 2.14배 감소함
• 실험 결과, 논리적 큐비트는 물리적 큐비트보다 두 배 더 오래 지속됨
• 이는 논리적 큐비트가 물리적 큐비트보다 뛰어난 성능을 입증한 첫 사례로, 확장 가능한 양자 컴퓨터의 중요한 기반을 마련함

---

제어 엔지니어링 관점에서 구글의 혁신

1. 실시간 동기화

• 모든 오류 수정 주기를 1.1µs 내에 완료해야 했으며, 이는 큐비트 간 완벽한 동기화를 요구함
• 신호의 미세한 타이밍 오류도 오류 누적과 계산 실패를 초래할 수 있음

2. 실시간 디코딩

• 디코딩은 측정 데이터를 분석해 오류 위치와 유형을 파악하는 작업
• 구글은 63µs의 지연 시간으로 100만 회 이상의 오류 수정 주기를 처리함
• 디코더 속도가 느리면 오류가 축적되므로 실시간 디코딩이 필수적임

3. 고충실도 게이트 운영

• 단일 큐비트 게이트 오류율 0.1% 미만, 두 큐비트 CZ 게이트 오류율 0.3% 를 달성해 논리적 큐비트의 안정성을 확보함
• 게이트 오류는 시스템 전반으로 오류가 전파될 수 있어 정확도가 중요함

---

실시간 디코딩의 중요성

• 구글의 연구는 디코더의 지연 시간(latency)과 처리량(throughput)이 QEC 성능에 얼마나 중요한지 보여줌
• 디코딩은 FPGA와 같은 하드웨어에서 빠르고 정확하게 수행되지만, GPU는 더 높은 계산 능력을 제공함
• NVIDIA와 Quantum Machines의 협업으로 탄생한 DGX Quantum 플랫폼은 4µs 미만의 데이터 왕복 지연 시간으로 QEC 작업을 지원함

---

앞으로의 과제와 전망

구글의 시사점

• 구글은 논리적 큐비트가 물리적 큐비트를 능가할 수 있음을 보여줌으로써 오류 내성(fault tolerance) 양자 컴퓨팅으로 가는 길을 열었음
• 논리적 오류율이 지수적으로 감소함을 입증하여 복잡한 양자 계산을 수행할 수 있는 잠재력을 제시함

향후 연구 과제

• 디코더 속도의 향상 및 자동화된 보정
• 빠른 오류 완화 전략 개발
• 양자와 고전적 작업 간의 통합 제어 시스템 설계
• 실시간 피드백 루프를 완성하여 오류가 축적되기 전에 수정하는 시스템 필요

[xguru]

AlphaQubit - AI를 활용한 양자 컴퓨터의 오류 식별

[GN⁺]

Hacker News 의견들

• 이 설명이 정말 좋은 설명인지 의문임. 도입부부터 걸렸음: 고전 컴퓨터에서 오류에 강한 메모리는 비트를 복제해 다수결로 고친다고 했는데, 실제로는 ECC 같은 오류 정정을 쓰지 비트 복제와 다수결을 쓰는 게 아님
  같은 효과를 훨씬 적은 추가 비트로 낼 수 있는데 비트를 복제하는 건 매우 낭비적임. 아마 더 효율적인 전략이 없는 논리 회로 쪽과 혼동한 것 같음

  • 물리학자 입장에서 보면, 고전적 오류 정정이 항상 단순 반복 부호인 건 아니지만 정보의 중복성이라는 개념은 여전히 적용됨. 예를 들면 패리티 검사 같은 것임
    양자 오류 정정에서는 복제 불가능 정리 때문에 중복을 그대로 쓸 수 없어서, 대신 더 많은 큐비트를 써서 큐비트 부분공간을 더 큰 공간 안에 임베딩함. 정정 가능한 오류가 생기면 이 임베딩된 부분공간이 큰 공간 안의 다른 “위치”로 이동하고, 이를 감지한 뒤 부분공간 내부 상태를 건드리지 않고 되돌릴 수 있어서 양자 정보가 보존됨
  • 맞는 지적이지만 재미있는 부가 사실이 있음. 고전적 프로세서나 디지털 논리 칩 내부의 전기 신호는 많은 전자로 구성되고, 전자는 완전히 이상적으로 행동하지 않아서 편차가 자주 생김
    신호가 0인지 1인지 해석되는 건 전자 다수가 어느 방향으로 움직이느냐에 달려 있음. 전력을 낮출수록 신호당 전자 수가 줄고 오류가 더 늘어남. 그런 의미에서는 고전 컴퓨터나 광섬유 같은 장치에도 반복 부호가 하드웨어 기판 수준에서 존재한다고 볼 수 있음
  • 이건 LLM이 할 법한 오류처럼 보임. 사람이 오류 정정과 “다수결”/합의를 혼동하기는 거의 불가능에 가까움
  • 나도 그 부분에서 멈칫했음. 다수결은 항공 같은 산업에서는 쓰이지만, 그래도 계산 결과를 검증하는 것이지 모든 메모리 주소에 적용하는 건 아님
  • 조금 관대하게 해석하면, 고전 컴퓨터 메모리는 각 비트의 셀 크기를 키우는 형태의 암묵적 복제/다수결에 의존한다고 볼 수 있음. 전선으로 신호를 보낼 때 반복 전송을 낮은 보율로 바꾸고 신호 레벨을 더 오래 유지하는 것과 비슷함
    비트는 단일 원자나 전자에 저장되지 않음. 단일 비트를 저장하는 셀은 같은 값을 중복 저장하는 더 작은 셀들이 병렬로 연결된 집합으로 볼 수 있고, 읽을 때 메모리 셀 안의 총 전하량을 읽으면서 아날로그 형태의 다수결이 자동으로 일어남
    컴퓨터를 얼마나 추상적으로 말하느냐에 따라, 특히 양자 컴퓨터와 고전 컴퓨터를 대비할 때 메모리는 RAM만이 아니라 상태를 보관하는 모든 것을 뜻할 수 있고, 고전 컴퓨터도 데스크톱만이 아니라 단순 논리 회로까지 포함할 수 있음. 근본적으로 데스크톱 컴퓨터도 거대한 논리 회로임
    RAID-1도 있고, 더 높은 수준에서는 백업도 있음. 그래서 고전 컴퓨터에서 오류 저항성을 위해 복제를 실제로 쓰는 예는 충분히 있다고 봄

• 브라우저 확대/축소를 조정했을 때 본문 텍스트만 빼고 전부 커지는 웹사이트를 만들다니 놀라움

  • 루트 글꼴 크기를 화면 전체 너비 기준(1.04vw)으로 잡고, 나머지 스타일은 rem 단위를 쓰고 있음
    이런 방식은 처음 봄. 브라우저 확대/축소를 우회하는 거의 유일한 방법일 수도 있음
  • 이런 건 법으로 막아야 함. 제정신인 사람이 누가 원하겠음
  • 이런 방식과 다른 CSS 때문에 세로 모드 휴대폰에서는 읽을 만한데, 가로 모드에서는 글자가 엄청 작아지는 게 흥미로움

• 참고로 여기서 언급한 논문은 2024년 8월 27일에 공개됨
  https://arxiv.org/pdf/2408.13687

• 양자 컴퓨팅이 어디로 갈지는 여전히 기대하지만, “돌파구”의 기준은 새로 생겼음. 양자 컴퓨터가 몇 비트보다 큰 소수 곱의 인수분해를 할 수 있기 전까지는 잘해도 진행 중인 작업으로 보겠음

  • 큐비트 수가 매년 2배씩 늘어도, 가장 큰 인수분해 수 지표는 약 8년 동안 진전이 없어 보일 수 있음. 그 뒤에는 매년 인수분해 가능한 수의 크기가 2배가 되고, 총 약 15년 뒤 RSA2048이 깨짐
    초반 정체는 오류 정정 비용이 앞단에 크게 몰려 있기 때문임. 관심사에 따라 이 지표의 초기 둔감함은 산만함을 줄여서 좋을 수도 있고, 실제 진전을 제대로 보여주지 못해 나쁠 수도 있음. 예를 들어 실제 개선 속도가 매년 2배가 아니라 10배라면, RSA2048이 12년 뒤가 아니라 2년 뒤 깨질 거라는 걸 알아차리기까지 3년이나 걸릴 수 있음
  • 이런 프로젝트 대부분이 그렇듯, 중간에는 더 작고 덜 화려한 돌파구나 이정표들이 이어질 것 같음
  • 동의함. 이 분야 전문가는 아니지만 희망적인 팬으로 오래 지켜봤고, 최근에는 양자 컴퓨팅이 최신 고전 컴퓨팅을 대체해 가치 있는 현실 문제를 푸는 상업적으로 viable한 대안이 영영 안 될 수도 있다는 추정 확률을 조금씩 올리고 있음
    자세한 논증을 할 만큼 알지는 못하지만, “물론 어렵지만 결국엔 도달할 것”이라고 당연시하는 보도를 읽을 때마다 그런 우려가 생김. 이론적으로 양자 알고리즘이 가치 있는 현실 문제를 풀 수 있다는 데는 동의하지만, “상업적으로 viable한 대체재가 되어 현실 문제를 푸는” 단계까지 가는 데에는 아직 알려지지 않은 미지수가 많아 보임
    충분히 신뢰성 있고 비용 효율적인 규모의 해법을 공학적으로 만들지 못하게 하는 근본적 한계를 발견할 가능성도 있어 보임. 이제 남은 것이 대부분 “아주 어려운 공학”이라고 꽤 자신할 수 있다는 반론을 듣고 싶음
  • 양자 컴퓨팅 돌파구를 볼 때마다 첫 질문은 항상 “내 암호는 아직 안전한가?”임. 지금 답은 아직 그렇다에 가까워 보임
  • 그 지점에 도달하기 전까지는 돌파구가 천 개쯤 나올 것임

• 양자 컴퓨팅에서 진전 하나하나가 어떤 결과를 낳는지는 잘 모르지만, 언젠가는 내가 만든 모든 보안 키와 모든 소프트웨어의 암호 알고리즘을 바꿔야 한다는 점에서 양자 컴퓨팅 위험에 노출돼 있다는 건 알고 있음
  이번 성과가 양자 암호 대재앙에 얼마나 가까워지게 한 건가? 분기별 엔지니어링 계획에 예산으로 넣기 전까지 시간이 얼마나 남았을까

  • 아마 그렇지는 않을 것임. 정말 갑작스럽고 예상 밖의 돌파구가 나오지 않는 한, 이 문제가 현실적으로 중요해지기 훨씬 전부터 양자 내성 알고리즘을 쓰는 것이 모범 사례가 될 것임
    실무적으로는 공개키 암호만 문제가 되고, 대칭키는 괜찮음. 약간 단순화한 말이지만 실제로는 대체로 맞음
  • 비대칭 암호와 DH 쪽에 집중하면 됨. 대칭키가 256비트라면 그쪽은 괜찮을 것임
    이상적으로는 대부분 “openssl / openssh / golang-crypto 등 최신 버전으로 올리고, 핸드셰이크 설정이 최신 암호 알고리즘을 쓰게 확인하기” 정도가 되어야 함. 다만 여러 인간적인 이유로 프로토콜을 어떻게 바꿀지 합의가 거의 없어서 아직 먼 이야기임
    언젠가는 새 비대칭 키도 생성해야 할 텐데, 거기서 흥미로워질 것 같음. 하드웨어 기반 해법은 현재 존재하지 않고, 오래 걸릴 가능성이 큼. 회사들은 규제와 연방정부 판매 때문에 미국 연방정부 표준을 맞추려 하고, 연방정부는 프로토콜 표준화를 아주 느리게 진행하며 인증 알고리즘을 더 추가하려는 듯하고, 관련 표준인 FIPS 140 승인은 지금도 서류 처리만 1년 넘게 걸리는데, 모두가 더 빨리 움직이고 싶어 함. 소프트웨어는 개발 면에서는 더 빨리 움직일 수 있지만, 키 탈취가 쉬워지는 일반적인 절충과 공식 인증 문제를 그대로 안고 있음
  • 주요 위협 모델은 지금 대규모 감시로 수집된, 현재는 깨지지 않는 데이터가 나중에 복호화 가능해지는 것임
    그래서 이미 새로운 “양자 안전” 보안 메커니즘들이 개발되고 있음
  • 아무도 정확히는 모르는 것 같고, 터무니없는 추측은 많음
    20년 동안 버텨야 하는 키가 있다면 새로 NIST 승인을 받은 표준 알고리즘들을 시험해보는 게 좋음

• HN에 이번 성과가 유용한 양자 컴퓨터에 얼마나 가까워지게 하는지 이해하는 사람이 있을까

  • Google 연구개발 조직의 또 다른 과장 홍보물임. 양자 회로에서 생기는 오류를 줄여 시스템의 논리 큐비트 수를 늘리려는 이론적 적용인데, 마지막 부분은 아직 하지 않아서 실제 적용 가능성은 아직 봐야 함
    https://arxiv.org/abs/2408.13687
    “Our results present device performance that, if scaled, could realize the operational requirements of large scale fault-tolerant quantum algorithms.”
    Google이 확장 가능한지 테스트하는 걸 깜빡한 모양임
  • “결함 허용성의 비전”이라는 미래 지향적 소절이 있고, 거의 빈말로 채워진 뒤 “우리는 이제 막 이 흥미로운 여정을 시작했으니 앞으로를 기대해 달라!”로 끝난다는 사실만 봐도 전혀 가깝지 않다는 뜻임

• 돌파구처럼 느껴지지는 않음. 긍정적인 공학적 진전인 건 맞지만, 돌파구는 아님
  그리고 AI가 이거랑 대체 무슨 상관임

  • 논문의 핵심은 아니지만, Google이 신경망 디코더를 테스트했고 그게 가장 높은 정확도를 냈음. 또 다른 디코더 일부는 강화학습으로 찾은 사전확률을 사용해 정확도를 높였음