본 기사는 오류 허용 양자 컴퓨팅(FTQC)을 위한 컴파일러 중간 표현(IRs)의 필요성을 다룹니다. 논리 큐비트, 증후군 등을 처리하는 오픈 소스 MLIR 기반 다단계 IR 방언을 제시하며, 이는 OpenQASM~3 등 다양한 하드웨어 타겟으로 연결되는 검증 가능한 파이프라인을 제공합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기오류 허용 양자 컴퓨팅(Fault-tolerant quantum computing, FTQC)은 분석, 시뮬레이션, 그리고 하드웨어 다운로딩 과정을 통해 오류 정정 코드 선택, 증후군 정보, 비클리포드 자원 요구 사항을 보존하는 컴파일러 중간 표현(IRs)이 필요합니다. 우리는 FTQC를 구축한 실질적인 경험을 보고하는데, 이는 논리 큐비트, 증후군, 매직 스테이트, 그리고 파울리 프레임 타입 정적 단일 할당(static single assignment, SSA) 값을 다루는 오픈 소스 다단계 중간 표현(Multi-Level Intermediate Representation, MLIR) 방언입니다. 이 방언은 오류 정정 인식 타입 시스템, 2단계 하향 설계, 그리고 IR 기반 자원 분석을 제공하며, Open Quantum Assembly Language3 (OpenQASM3), 양자 중간 표현(Quantum Intermediate Representation, QIR), Stim, 그리고 IQM 하드웨어로 연결되는 하나의 검사 가능한 파이프라인을 제공합니다. 세 가지 코드 계열에 걸친 사례 연구들은 타입화된 메타데이터가 코드별 결정을 검증 가능하고 재대상화할 수 있게 만든다는 것을 보여줍니다: 오크리지 국립 연구소의 20-큐비트 Pathfinder에서 디코딩은 논리 판독 오류를 3.3배 감소시켰습니다. 또한, 이는 숨겨진 아키텍처 비용도 노출합니다: 3-큐비트 양자 푸리에 변환(Quantum Fourier Transform, QFT-3)의 경우, 매직 스테이트 팩토리는 인코딩된 회로의 피크 큐비트보다 다섯 배 많은 큐비트를 요구합니다. 이러한 경험들은 소프트웨어와 하드웨어 타겟 전반에 걸쳐 오류 허용 컴파일러 변환을 개발하고 평가하기 위한 실질적인 기반을 입증합니다.