CrossBench: Generalized Crosstalk Benchmark Generation for Quantum Computers

본 논문은 임의의 토폴로지를 갖는 NISQ 장치를 위한 일반화된 크로스토크 벤치마크를 효율적으로 생성하는 그래프 라벨링 알고리즘을 활용하는 맞춤형 시스템인 CrossBench 를 소개하며, 이를 통해 공급자가 제공하는 지표에 의존하지 않고 큐비트 오류율에 크게 기여하는 특정 게이트를 식별할 수 있게 합니다.

핵심

다음은 'CrossBench' 논문을 쉬운 언어와 일상적인 비유를 사용하여 설명한 내용입니다.

큰 문제: "소음 많은 이웃" 효과

도서관에서 조용히 대화를 나누려 한다고 상상해 보세요 (이는 양자 컴퓨터가 계산을 수행하는 상황입니다). 갑자기 근처 테이블에 있는 사람이 책을 쾅 닫거나, 소리를 지르거나, 시끄러운 음악을 틀어놓습니다. 그들이 당신에게 말을 거는 것은 아니지만, 그들의 소음 때문에 친구의 목소리를 듣기 어려워집니다.

양자 컴퓨터 세계에서는 이를 크로스토크 (crosstalk) 라고 부릅니다. 컴퓨터의 한 부분 (큐비트) 이 작업을 수행하려 할 때, 실수로 이웃에게 "소리를 지르게" 되어 이웃의 계산을 방해합니다. 양자 컴퓨터가 더 크고 복잡해질수록 이 소음을 추적하는 것이 더 어려워집니다.

현재 이러한 컴퓨터를 만드는 회사들 (예: IBM) 은 사용자에게 어떤 구체적인 행동이 가장 많은 소음을 유발하는지에 대한 명확한 지도를 항상 제공하지는 않습니다. 이 지도를 얻으려면 보통 수천 번의 비싸고 시간이 많이 소요되는 테스트를 실행해야 합니다.

해결책: CrossBench (소음 탐정)

이 논문의 저자들은 CrossBench라는 새로운 도구를 개발했습니다. CrossBench 를 생각하면, 모든 가능성을 수동으로 테스트할 필요 없이 양자 컴퓨터에서 가장 큰 문제를 일으키는 구체적인 행동이 무엇인지 빠르게 파악할 수 있는 똑똑하고 자동화된 "소음 탐정"과 같습니다.

다음은 이를 간단한 단계로 나눈 작동 방식입니다:

1. 설정: 드라이버와 관중

CrossBench 는 큐비트에게 두 가지 역할로 구성된 게임을 설정합니다:

• 드라이버 (Drivers): 이들은 "소음 많은 이웃"입니다. 특정 행동 (특정 게이트 연산 등) 을 반복하라고 지시받습니다. 그들의 유일한 임무는 소음을 내는 것입니다.
• 관중 (Spectators): 이들은 "조용한 관찰자"입니다. 근처에 앉아 자신만의 차분한 일과를 수행한 뒤, 마지막에 측정되어 드라이버에게 방해받았는지 확인받습니다.

2. 전략: 똑똑한 지도

드라이버와 관중을 어디에 배치할지 추측하는 대신, CrossBench 는 특별한 그래프 레이블링 알고리즘을 사용합니다.

• 양자 컴퓨터를 큐비트가 집이고 연결이 거리인 도시 지도라고 상상해 보세요.
• CrossBench 는 이 지도를 돌아다니며 "시끄러운" 드라이버를 "조용한" 관중 옆에 전략적으로 배치합니다.
• 모든 관중이 테스트할 최소 하나의 소음 많은 이웃을 갖도록 보장하면서도, 테스트가 공정하고 효율적이 되도록 숫자를 균형 있게 맞춥니다.

3. 테스트: 혼란 측정

지도가 설정되면 CrossBench 는 테스트를 실행합니다:

• 드라이버는 미쳐 날뛰며 소음 나는 행동을 반복합니다.
• 관중은 차분하게 유지하려 합니다.
• 마지막에 관중을 점검합니다. 관중의 상태가 변했다면 (오류가 발생했다면), 드라이버의 소음이 그들에게 도달할 만큼 강력했다는 뜻입니다.

이 테스트를 X 게이트, CZ 게이트 등 다양한 "소음" 행동 조합으로 실행함으로써 CrossBench 는 점수표를 작성합니다. 이는 다음과 같이 알려줍니다: "이봐, 'CZ' 게이트를 사용하면 이웃에게 많은 소음을 일으켜. 하지만 'ID(식별)' 게이트는 매우 조용해."

그들이 발견한 것

연구진들은 이 도구를 세 가지 다른 대규모 IBM 양자 컴퓨터 (Fez, Kingston, Miami 라는 이름) 에서 테스트했습니다.

• 결과: CrossBench 는 세 대의 모든 기계에서 어떤 게이트가 "소음 많은 이웃"인지 성공적으로 식별했습니다.
• 증거: 결과는 통계적으로 유의미했습니다. 즉, 이 도구가 운 좋게 맞춘 것이 아니라 매번 신뢰할 수 있게 소음 나는 게이트를 찾아냈다는 의미입니다.
• 이익: 이는 거액을 쓰거나 영원히 기다리지 않고도 크로스토크에 대한 명확한 그림을 얻을 수 있음을 입증했습니다. 이는 특정 유형뿐만 아니라 다양한 모양과 크기의 양자 컴퓨터에서 작동합니다.

이것이 중요한 이유 (논문에 따르면)

이 논문은 이 도구가 유용한 세 가지 주요 이유를 강조합니다:

1. 더 나은 오류 수정: 어떤 게이트가 소음 나는지 알면, 해당 오류를 수정하는 더 나은 소프트웨어를 구축할 수 있습니다.
2. 보안: 논문은 해커가 크로스토크를 이용해 같은 컴퓨터를 공유하는 다른 사용자를 감시할 수 있다고 언급합니다 (이를 "멀티테넌시"라고 함). CrossBench 는 이러한 위험을 탐지하는 데 도움을 줍니다.
3. 효율성: 모든 연결을 개별적으로 테스트하려는 기존 방법 (예: "동시 무작위 벤치마킹") 보다 훨씬 저렴하고 빠릅니다.

요약

CrossBench는 양자 컴퓨터 내부의 "소음 오염"을 매핑하는 똑똑하고 자동화된 방법입니다. 시끄러운 배관을 찾기 위해 집의 모든 방을 수동으로 테스트하는 대신, "소음 발생기"를 "청취자" 옆에 배치하는 교묘한 전략을 사용하여 어떤 행동이 가장 많은 간섭을 일으키는지 빠르게 식별합니다. 이는 엔지니어들이 더 좋고 신뢰할 수 있는 양자 컴퓨터를 구축하는 데 도움을 줍니다.

기술 요약

"CrossBench: 양자 컴퓨터를 위한 일반화된 크로스토크 벤치마크 생성" 논문에 대한 상세한 기술 요약입니다.

1. 문제 제기

양자 컴퓨터의 규모와 위상적 복잡성이 증가함에 따라 (특히 노이즈 중간 규모 양자 또는 NISQ 시대), 크로스토크 오류가 치명적인 병목 현상이 되었습니다. 크로스토크는 한 큐비트에서의 연산이 의도치 않게 다른 큐비트의 상태에 영향을 미치는 현상으로, 상시 켜져 있는 $ZZ$상호작용,$ZX$, $XY$ 결합과 같은 메커니즘에서 발생합니다.

식별된 핵심 과제는 다음과 같습니다:

• 확장성: Idle Tomography(IDT) 및 Simultaneous Randomized Benchmarking(SRB)과 같은 기존 벤치마킹 기법은 모든 큐비트 또는 결합에 대한 포괄적인 테스트를 요구합니다. 시스템이 100 개 이상의 큐비트로 확장됨에 따라 이러한 방법들은 과도하게 비용이 많이 들고 시간이 소요되어 실행 불가능해집니다.
• 접근성 부재: 양자 하드웨어 제공업체는 드물게 세분화된 크로스토크 지표를 제공하지만, 이러한 지표는 오류 완화, 회로 전사 (transpilation), 그리고 양자 보안 (예: QubitVise 와 같은 크로스토크 기반 멀웨어 탐지) 에 필수적입니다.
• 단일 소스 한계: 많은 기존 모델들은 단일 소스 크로스토크만 고려하는 반면, 현대의 공격과 하드웨어 동작은 여러 큐비트로부터의 동시 간섭을 포함합니다.

2. 방법론: CrossBench

저자들은 임의의 위상과 유한한 게이트 집합을 가진 장치에 대한 크로스토크 벤치마크를 생성하는 맞춤형 시스템인 CrossBench를 제안합니다. 이 시스템은 드라이버 - 스펙테이터 (Driver-Spectator) 모델로 작동합니다:

• 드라이버 큐비트: 크로스토크를 생성하기 위해 특정 게이트를 반복적으로 실행합니다. 측정되지 않습니다.
• 스펙테이터 큐비트: 게이트 시퀀스 (종종 항등 연산과 동일하도록 설계됨) 를 실행하고, 드라이버로 인한 상태 변화를 감지하기 위해 마지막에 측정됩니다.

주요 기술 구성 요소:

• 그래프 기반 위상 표현: 양자 장치는 정점이 큐비트이고 간선이 결합인 방향 그래프로 모델링됩니다.
• 맞춤형 그래프 라벨링 알고리즘: CrossBench 는 드라이버와 스펙테이터 역할을 큐비트에 할당하기 위해 4 패스 알고리즘을 사용합니다:
  1. 패스 1 및 2: 사용자 정의 임계값까지 드라이버와 스펙테이터를 할당합니다.
  2. 패스 3 및 4: 샘플 크기와 민감도를 최적화하기 위해 남은 공간을 채웁니다.
  • 제약 조건: 모든 스펙테이터는 적어도 하나의 인접한 드라이버를 가져야 하며, 그 반대도 마찬가지입니다. 알고리즘은 유효한 배치를 보장하기 위해 그래프를 재귀적으로 검색합니다.
• 회로 구성:
  • 드라이버 깊이 ($d_D$): 누적 오류가 제한되도록 추정된 네이티브 게이트 오류율 ($E$) 과 사용자 정의 오류 임계값 ($\delta$) 을 기반으로 계산됩니다 (식 1).
  • 스펙테이터 깊이 ($d_S$): 드라이버의 실행 시간과 일치하면서 스펙테이터 게이트 시퀀스가 항등 연산과 동일하도록 구성됩니다 (식 3 및 4).
  • 타이밍 정렬: 모든 벤치마크가 비교 가능한 탈코히어런스 효과를 경험하도록 스펙테이터 측정 전에 지연이 삽입되어, 총 실행 시간을 가능한 가장 긴 드라이버 시퀀스와 정렬합니다 (식 5).
• 출력: 시스템은 Qiskit 회로를 생성합니다. 결과는 "1"이 스펙테이터 큐비트에서의 오류를 나타내는 이진 문자열입니다. 많은 샷 (shots) 에 걸쳐 결과를 집계함으로써 시스템은 특정 드라이버 - 스펙테이터 게이트 쌍에 기인한 오류율을 계산합니다.

3. 주요 기여

• 확장 가능한 벤치마크 생성: IDT/SRB 는 확장성이 낮지만, CrossBench 는 시스템 크기에 관계없이 일정한 양자 컴퓨팅 비용을 유지합니다.
• 다중 소스 크로스토크 탐지: 단일 소스를 테스트하는 이전 방법과 달리, CrossBench 는 여러 드라이버를 동시에 벤치마크하여 현대적인 공격 벡터와 복잡한 하드웨어 상호작용을 모방할 수 있습니다.
• 하드웨어 무관성: 이 도구는 유한한 방향 그래프로 표현 가능한 모든 양자 컴퓨터를 위해 설계되었으며, 임의의 위상과 게이트 집합을 지원합니다.
• 맞춤형 설정: 사용자는 특정 하드웨어 특성 (예: 약한 크로스토크 시스템) 에 적합하도록 오류 허용 오차, 민감도 임계값 및 샘플링 전략을 조정할 수 있습니다.

4. 실험 결과

저자들은 서로 다른 위상을 가진 세 가지 IBM 양자 프로세서에서 CrossBench 를 평가했습니다:

• IBM Fez (156 큐비트 Heron)
• IBM Kingston (156 큐비트 Heron)
• IBM Miami (120 큐비트 Nighthawk)

실험 설정:

• 벤치마크는 회로당 10,000 샷으로 실행되었습니다.
• 테스트된 게이트: $X$, $SX$, $CZ$, $ID$(항등).
• 통계적 안정성을 보장하기 위해 장치당 7 개의 독립적인 벤치마크 실행이 수행되었습니다.

결과:

• 통계적 유의성: CrossBench 는 모든 장치에서 $p < 0.05$로 유의미한 크로스토크를 유발하는 게이트를 성공적으로 식별했습니다.
• 게이트 의존적 변동:
  • IBM Fez에서 $CZ$스펙테이터는$SX$드라이버에 비해$CZ$드라이버와 함께 훨씬 더 많은 오류를 경험했습니다 ($p=0.021$).
  • IBM Kingston에서 $ID$스펙테이터는$ID$드라이버에 비해$X$드라이버와 함께 더 높은 오류율을 보였습니다 ($p < 0.01$).
  • IBM Miami에서 $CZ$스펙테이터는$ID$드라이버에 비해$X$드라이버와 함께 더 높은 오류를 보였습니다 ($p=0.021$).
• 기준선 비교: $ID$게이트를 기준선으로 사용하여 시스템은 다른 게이트들의 상대적 크로스토크 강도를 정량화했습니다.$ID$ 드라이버는 일관되게 가장 낮은 오류율을 생성하여 통제 수단으로서의 유용성을 확인했습니다.
• 변동성: 이 연구는 하드웨어 노이즈와 무작위 배치로 인한 실행 간 변동성을 지적했으며, 대규모 시스템에서 안정적인 추정을 위해서는 여러 번의 실행이 필요하다고 제안했습니다.

5. 중요성 및 미래 시사점

• 실용적 유용성: CrossBench 는 전통적인 방법이 너무 비싼 대규모 NISQ 장치에서 크로스토크 지표를 얻을 수 있는 저비용이고 접근 가능한 방법을 제공합니다.
• 보안 응용: 다중 큐비트 간섭을 탐지할 수 있는 능력은 CrossBench 를 QubitHammer 와 같은 크로스토크 기반 멀웨어에 대한 취약점을 식별하고 완화 전략을 개발하는 데 필수적인 도구로 만듭니다.
• 광범위한 적용 가능성: 초전도 시스템에서 테스트되었지만, 그래프 기반 접근 방식은 상호작용으로 인한 오류를 연구하기 위해 중성 원자 시스템과 같은 다른 플랫폼으로 확장할 수 있습니다.
• 미래 작업: 저자들은 도구를 오픈소스화하고, 격리 전략을 테스트하기 위해 큐비트 사이에 "패딩" 기능을 추가하며, 크로스토크 기반 멀웨어 탐지 및 멀티테넌트 스케줄링 알고리즘 개발을 위해 데이터를 활용할 계획입니다.

결론적으로, CrossBench 는 현대 양자 컴퓨팅의 보안 및 성능 요구 사항에 부합하는 확장 가능하고 유연하며 관련성 높은 양자 하드웨어 특성화를 가능하게 하는 중요한 진전을 나타냅니다.