연구는 비에르미트 PXP/PPXPP 모델에서 좌고유상태와 우고유상태 사이의 비대칭 동역학적 성질을 드러낸다. 크릴로프 복잡도는 비에르미트성을 갖는 질적으로 다른 거동을 나타내며, 흉터 상태는 앙상블 전체에서 뚜렷한 얽힘 서명을 나타낸다.

#양자복잡도 #양자흉터 #비에르미트시스템

오라클을 구성하여 BQP ⊄ QIMA인 경우를 만들어 교환 국소 해밀턴 문제가 BQP-완전이 아님을 증명합니다. Forrelation 쿼리 하한을 사용하여 교환 검증 복잡도에서 지수적 분리를 확립합니다.

#양자복잡도 #양자알고리즘 #연구

새로운 이론적 결과: 양자-고전 시뮬레이션 복잡도는 입력 분포 편향에 의존하지 않는다. 비트가 균일하든, 편향되어 있든, 또는 해밍 가중치 제한이 있든, 다항식 시뮬레이션은 모두에 대해 작동하거나 전혀 작동하지 않는다.

#양자복잡도 #양자이론 #연구

연구자들은 0 또는 π의 베리 위상을 구별하는 것이 역다항식 스펙트럼 간격에서도 상수 정밀도에서 BQP-완전임을 증명하여 위상 불변 계산에서 양자 우위를 확립합니다. 고전 알고리즘은 상수 스펙트럼 간격에서만 다루기 쉬워집니다.

#양자복잡도 #베리위상 #연구

차수 균형의 무좌절 양자 SAT는 무작위 대입 알고리즘에 비해 지수적 속도 향상을 허용하는 반면, 일반 양자 5-SAT는 (Q)SETH 어렵다는 상태로 남아있으며, 제약 조건 분포에 기반한 세밀한 복잡도 경계를 확립한다.

#양자복잡도 #양자알고리즘 #연구

연구자들이 양자 선형 시스템 솔버에 대해 tight한 Θ(κ√d log(1/ϵ)) 쿼리 경계를 증명하여 상한과 하한이 일치합니다. 이는 복잡도 갭을 해결하고 O(√N) 쿼리로 최적 블랙박스 유니터리 구현을 가능하게 합니다.

#양자알고리즘 #양자복잡도 #연구

2-국소 해밀토니안에 대한 베리 위상 추정은 가이딩 상태를 포함할 때 BQP-완전하지만, 1-국소 시스템에서는 다항식 시간에 풀 수 있습니다. 매개변수화된 족에 대해 Schrieffer–Wolff 프레임워크를 확장하여 양자 시뮬레이션에서 계산 복잡도 임계값을 확립합니다.

#양자복잡도 #베리위상 #연구

희소 접근 모델에서 양자 선형 시스템 솔버에 대한 추측된 하한 Ω(κ√s log(1/ε))을 증명함으로써 핵심 미해결 문제를 해결하고, 조건수, 희소성 및 목표 정밀도에 대한 타이트한 복잡도 의존성을 확립한다.

#양자알고리즘 #양자복잡도 #연구

양자 회로에 새로운 2-큐빗 게이트 쌍을 추가할 때 복잡도가 엄격하게 증가함을 보여줌으로써 양자 회로 복잡도에 관한 입증된 Brown-Susskind 추측을 확장하고, 양자 계산 확장성에 대한 이론적 이해를 진전시킨다.

#양자회로 #양자복잡도 #연구

FormalFlow 시스템은 AI 에이전트를 조정하여 MIP*=RE의 핵심 정리인 저차수 개별 테스트의 양자 건전성을 형식화했습니다. 63일 동안 검증된 Lean 코드 126,367줄을 완성하면서 발표된 증명에서 여러 오류를 발견하고 수정했습니다.

#양자복잡도 #형식수학 #정리증명

양자 알고리즘이 용접된 트리에서 입구-출구 경로를 찾기 위해 지수적 Ω(2^(n/24)) 쿼리가 필요함을 증명하며, 압축된 오라클 분석을 사용하여 양자 고속화의 범위에 관한 미해결 문제를 해결합니다.

#양자알고리즘 #양자복잡도 #연구

여러 그래프 족에 대한 양자 그래프 준동형 문제의 RE-완전성을 증명하며, Schrijver의 세타 경계를 연관 체계 이론과 결합한 새로운 스펙트럼 견고성 조건을 통해 양자 복잡도 분류에서 핵심 결과를 확립한다.

#양자복잡도 #그래프준동형 #연구

새로운 이론적 프레임워크가 전체 함수의 양자 및 고전 통신 복잡도 사이에서 더 강한 지수적 분리를 달성하며, n^(1/6)에서 n^(1/2) 지수로 개선되고 다항로그적 양자 메시지를 활용한다.

#양자통신 #양자복잡도 #연구

25년간의 미해결 문제들을 QIP(2), qq-QAM, QAM, QMA가 완벽한 완전성을 달성함을 증명하여 해결합니다. 메시지 복잡도를 절반으로 줄이면서 완전성 보장을 유지하는 끝점-내향 턴-반분 변환을 소개합니다.

#양자증명 #양자복잡도 #양자정보

3개의 양자 복잡도 클래스가 대칭 텐서 상태에 대한 차원 없는 안정성 경계를 사용하여 동등함을 증명하며, 순수 상태 양자 증명 시스템과 표준 QMA와의 관계에 관한 미해결 추측을 해결합니다.

#양자복잡도 #양자알고리즘 #연구

양자 하이퍼그래프 최대-컷을 푸는 양자 알고리즘의 평균 경우 난제성 결과. 양자 중첩 간극 속성 프레임워크를 사용하여 안정적이고 국소적인 양자 알고리즘이 충분히 큰 시스템 국소성에서 실패함을 보이며, 고전 복잡도 이론을 양자 영역으로 확장한다.

#양자알고리즘 #양자복잡도 #연구

구조화된 해밀토니안의 블록 인코딩에 대한 최적 T-게이트 복잡도를 결정합니다: 이차 양자화된 시스템에 대해 Θ(n²√log(n⁴/ε)), 키타예프 육각형 격자 모델에 대해 Θ(n + log(1/ε)). 보조 비트 압축 및 새로운 기술적 방법을 사용하여 일치하는 하한과 상한을 증명합니다.

#양자알고리즘 #블록인코딩 #양자복잡도

새로운 곱셈 적대자 도출이 근사 계수를 위한 세분화된 양자 쿼리 복잡도 경계를 복원하며, 해밍 가중치 계층 진화의 직접 분석 및 명시적 쿼리 수준 진행 추적을 제공합니다.

#양자알고리즘 #양자복잡도 #양자정보

다중 당사자 통신에서 지수적 분리를 확립한 연구: 고전적 공개 무작위성은 O(log n) 비트로 조정을 해결하고, 얽히지 않은 양자 프로토콜은 Ω(n^((k-1)/(k+1))) 큐비트를 필요로 합니다. 양자 중첩이 고전 통신을 효율적으로 시뮬레이션할 수 없음을 보여줍니다...

#양자통신 #양자복잡도 #연구

상대화된 설정에서 약속 문제들이 언어와 근본적으로 다르게 행동함을 보여주는 이론적 연구. 양자-고전 다항식 계층의 상한을 개선하고 견고한 오라클 접근 하에서 PromiseBQP의 자기-낮음성을 증명한다.

#양자복잡도 #이론컴퓨터과학 #연구