양자 컴파일러 패스에 대한 Retromorphic 테스트

양자 컴파일러는 고수준 양자 프로그램을 최적화되고 하드웨어와 호환되는 회로로 변환하는 데 중요한 역할을 합니다. 하지만, 컴파일러 패스의 정확성을 검증하는 것은 여전히 어려운 문제입니다. 왜냐하면 크고 깊게 얽힌(deeply entangled) 양자 회로의 예상 출력을 결정하는 것이 계산적으로 불가능하기 때문입니다. 이러한 어려움은 특히 컴파일러 패스가 이미 복잡한 회로 구조를 수정할 때 더욱 커지며, 변환된 회로에 대한 수동 검증을 비현실적으로 만듭니다. 본 연구에서는 네 가지 양자 프로그래밍 프레임워크(PennyLane, Qiskit, Cirq, 그리고 pytket)의 양자 컴파일러 패스 단위 테스트를 체계적으로 분석했습니다. 우리의 발견에 따르면, 검증은 프로그램 내용 및 프로그램 메트릭 어설션(assertions)에 의해 지배되며, 테스트 회로는 일반적으로 작고 얕습니다. 이러한 관찰을 바탕으로, 우리는 Retromorphic 테스트와 Hadamard 테스트의 원리를 기반으로 하는 양자 컴파일러 패스의 자동화된 유효성 검사 방법론을 소개합니다. 이 방법론은 컴파일러 패스, 테스트 회로, 그리고 예상되는 패스 동작을 분석하여 의미적 보존(semantic preservation)과 의도된 구조적 수정을 검증합니다. 우리는 RetroQ라는 프레임워크에 우리의 방법을 구현하고, 이를 PennyLane 및 Qiskit의 컴파일러 패스에 적용했습니다. 실험적인 평가는 여러 기존 버그를 재현했을 뿐만 아니라, 결함이 있는 심볼릭 파라미터 처리(symbolic parameter handling), 부정확한 교환 논리(commutation logic), 게이트의 자기 수반성(self-adjointness) 인식 실패, 그리고 런타임 충돌과 같은 이전에 감지되지 않은 결함을 발견했습니다. 이러한 발견은 진화하는 양자 소프트웨어 스택의 신뢰성을 향상시키기 위해 컴파일러 패스별 테스트 방법론이 필요함을 강조합니다.