Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
이 논문은 양자 위상 추정 (QPE) 회로의 기능적 정확성을 보장하기 위해 양자 현상을 비트 벡터 논리로 추상화하는 확장 가능한 형식 검증 방법론을 제시하며, 이를 통해 1,024 개의 위상 큐비트를 포함하는 대규모 회로를 제한된 메모리 내에서 성공적으로 검증할 수 있음을 보여줍니다.
1134 편의 논문
이 논문은 양자 위상 추정 (QPE) 회로의 기능적 정확성을 보장하기 위해 양자 현상을 비트 벡터 논리로 추상화하는 확장 가능한 형식 검증 방법론을 제시하며, 이를 통해 1,024 개의 위상 큐비트를 포함하는 대규모 회로를 제한된 메모리 내에서 성공적으로 검증할 수 있음을 보여줍니다.
이 논문은 소형 칩 기반 원자 시계를 활용하여 전통적인 동기화 프로토콜 없이도 먼 거리에 분산된 편광 얽힘 광자 간의 동시성을 측정하는 방법을 제시합니다.
이 논문은 고전적으로 효율적으로 훈련이 가능하지만 양자 하드웨어에서만 샘플링이 필요한 중간 복잡도 회로의 특성을 활용하여, 최대 평균 불일치 (MMD) 를 기반으로 광자 기반 양자 생성 모델의 효율적인 훈련 절차를 제안하고 수치적 결과와 초기화 전략 및 Ansatz 선택의 영향을 분석합니다.
이 논문은 이방성 확산 및 대류 방정식을 해결하기 위한 양자 수치 기법을 제시하고, 벡터 노름 분석을 통해 기존 연산자 노름 분석 대비 확산 방정식과 대류 방정식에서 각각 및 만큼 시간 단계 수를 지수적으로 줄일 수 있음을 증명합니다.
이 논문은 지식 기반을 활용해 도구 생성 및 호출을 자동화하는 대규모 언어 모델 (LLM) 프레임워크를 제안하여 초전도 큐비트의 제어 및 측정 실험을 자동화하고, 공진기 특성 분석 및 양자 비파괴 측정 재현 등 다양한 실험을 성공적으로 수행한 사례를 소개합니다.
이 논문은 2 차원 보스 - 아인슈타인 응축체의 두 개의 결합된 스핀 성분을 이용해 2+1 차원 질량을 가진 상대론적 장 (사인 - 고든 모델) 을 양자 시뮬레이션하여, 섭동 영역에서의 상대론적 분산 관계와 비섭동 영역의 위상학적 영역 벽과 같은 현상을 관측하고 우주론적 현상 연구의 가능성을 열었다고 요약할 수 있습니다.
이 논문은 양자 위상 전이를 가로지르는 시간 의존적 구동 하에서 양자 마법과 비-안정화 성의 동역학을 확장하여, 느린 과정에서 안정화자 레니 엔트로피와 파울리 스펙트럼의 누적량이 보편적인 멱법칙 스케일링을 따르고 파울리 스펙트럼이 로그정규 분포를 보임을 보여주었습니다.
이 논문은 관계적 양자 역학에서 서로 다른 시간 기준틀 간의 인과 관계를 분석하여, 개입을 제약 방정식 자체에 통합하는 두 번째 접근법만이 일관된 인과적 그림을 제공하며 시간의 비국소화와 무한정 인과 순서를 자연스럽게 설명함을 보여줍니다.
이 논문은 원 그래프 상태가 -국소 보완에 대해 닫혀 있고, 2-색칠 가능한 원 그래프 상태가 평면 코드 상태와 일대일 대응되며, 이를 통해 원 그래프 상태 기반의 측정 기반 양자 계산이 효율적으로 고전적으로 시뮬레이션 가능함을 증명하고, 주어진 그래프 상태와 국소 유니타리 동치인 그래프 상태의 수를 세는 문제가 -난해함을 보여줍니다.
이 논문은 편광 비선형 SU(1,1) 간섭계의 초얽힘을 활용하여 손실 조건 하에서도 실제 실험에서 3~15dB 의 민감도 향상을 이룰 수 있는 양자 간섭계 방식을 제안하여, 기존 고전적 한계를 넘어선 이방성 (birefringence) 감지 기술을 제시합니다.
이 논문은 병렬 GPU 가속 iQCC 알고리즘을 통해 200 큐비트 규모의 루테늄 촉매 화학 계산을 고전적 벤치마크를 능가하는 정확도로 수행함으로써, 양자 화학의 양자 우위 실현이 기존 예상보다 훨씬 더 많은 큐비트 수 (약 200 개 이상) 에서 가능함을 입증했습니다.
이 논문은 양자 얽힘의 단조성과 같은 양자 정보 원리를 활용하여 두 명의 비통신 공격자가 키를 공유하더라도 단일 암호문을 동시에 복호화할 수 없음을 증명함으로써, 고전적 환경에서는 불가능한 물리적으로 강제된 '복제 불가능한 비트'의 존재를 확립했습니다.
이 논문은 무작위 펄스를 레이어로 그룹화하여 각 레이어당 하나의 최적화 매개변수만 사용하는 RALLY 방법을 제안함으로써, 양자 최적 제어에서 유니터리 공간의 효율적 탐색을 가능하게 하고 기존 알고리즘보다 훨씬 적은 매개변수로 정보 이론적 하한에 근접하는 성능을 달성함을 보여줍니다.
이 논문은 자유 페르미온 시스템에서 레니 삼분위 정보 () 가 작은 페르미 운동량에서 정수 및 비정수 인덱스에 따라 질적으로 다른 스케일링 거동을 보이며, 정수 인덱스에서는 복제 장벽으로 인해 폰 노이만 엔트로피 신호를 재구성할 수 없으나 부정성 기반 측정 () 은 이를 20 배 증폭시킨다는 사실을 규명했습니다.
이 논문은 벨 부등식 위반의 통계적 측면은 국소성 위반 없이 설명 가능하지만, 실제 검출 결과의 시퀀스에서는 알파와 알파' 설정에 따른 반사실적 차이가 존재하는 '강한' 비국소성이 발생하며, 이는 상대성 이론의 공변성 (Hellwig-Kraus 가설) 에 의해 설명되어 오히려 상대성 이론과 모순되지 않는다고 주장합니다.
이 논문은 레이저 냉각 없이 고온의 루비듐 증기에서 강한 제어 광장을 이용해 780nm 의 D2 전이를 구동하고 1529nm 의 탐사 광장으로 3 준위 사다리 시스템을 구동함으로써, 도플러 폭보다 약 10 배 좁은 선폭을 가지면서도 높은 광학적 두께를 갖는 서브-도플러 흡수 선을 실현했음을 보고합니다.
이 논문은 광자 궤도 각운동량 상태를 이용해 비대칭 qudit 상태의 최적 측정 방식을 실험적으로 증명함으로써, 고차원 양자 정보 처리 분야에서 오류 없는 상태 식별의 실용적 가능성을 제시합니다.
이 논문은 4-쿼dit 시스템에서 강하게 비국소적인 unextendible biseparable 기저 (UBB) 를 구성하고, 이를 통해 모든 이분할에서 증류 가능한 진정으로 얽힌 부분공간을 구축하는 방법을 제시하여 양자 비국소성 이론과 실용적 양자 정보 처리에 기여합니다.
이 논문은 광학 격자에 갇힌 1 차원 보스 기체에서 입자 수 요동을 관측하여 고전적 표면 성장의 보편적 패밀리 - 비섹 (Family-Vicsek) 스케일링 법칙이 양자 다체계에서도 성립함을 실험적으로 증명하고, 고전 및 양자 비평형 시스템 간의 통합된 보편성 틀을 확립했습니다.
이 논문은 Toda-유사 해밀토니안을 사용하여 고전적 포식자 - 피식자 (Lotka-Volterra) 역학을 양자 영역으로 확장하고, 위그너 전류를 통해 양자 왜곡을 비섭동적으로 분석함으로써 양자적 안정성을 입증하고 미시적 생체계의 경쟁적 역학을 설명하는 예측적 이론적 틀을 제시합니다.