«quantum-computing» 태그된 질문

짧은 질문. 비 일관 적이지만 여전히 가역적 인 게이트를 허용하고 출력이 확실하게 정답을 제공해야하는 경우 "양자"회로의 계산 능력은 무엇입니까? 이 질문은 회로가 단일 게이트 이상을 사용하도록 허용 할 때 클래스에 어떤 일이 발생하는지에 대한 의미 입니다. (우리는 잘 정의 된 계산 모델을 원할 경우 여전히 통한 가역 게이트로 제한해야합니다 .)EQPEQP\mathsf{EQP}CC\mathbb …

15 complexity-classes  quantum-computing 

사전 정의 된 범용 게이트 세트를 통해 에서 양자 회로로 단위를 분해 할 수있는 소프트웨어 패키지가 있습니까?유( 2엔)유(2엔)U(2^n)

15 quantum-computing  software 

배경 함수 는 깊이 d의 회로를 학습하기 위해 무작위로 선택된 O ( 2 l o g ( n ) O ( d ) ) 를 요구하는 고전적인 알고리즘을 사용하여 준 다항식 시간에서 PAC를 학습 할 수있다 [1]. 더 존재하지 않는 경우 (2) N 개의 O ( 1 ) 인수 분해 …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

복잡성 클래스 BQP는 클래식 입력을 취하고 확률 적 클래식 출력을 뱉어내는 다항식 시간 양자 서브 루틴에 해당합니다. 퀀텀 어드바이스는 미리 결정된 퀀텀 어드바이스 상태의 사본을 포함하지만 평상시와 같이 고전적인 입력을 포함하도록 수정합니다. 다항식 시간 퀀텀 서브 루틴의 복잡성 클래스는 임의의 퀀텀 상태를 입력으로 취하고 복제가 없기 때문에 하나의 사본 만 …

15 cc.complexity-theory  complexity-classes  quantum-computing 

우리는 종종 Turing 머신이 사용할 수있는 공간의 양에 한계가있는 복잡성 클래스를 고려합니다 (예 : DSPACE(f(n))DSPACE(f(n))\textbf{DSPACE}(f(n)) 또는 . 복잡도 이론 초기에는 공간 계층 정리와 및 와 같은 중요한 클래스를 만드는 등의 클래스에서 많은 성공을 거둔 것으로 보입니다 . 양자 계산에 대한 유사한 정의가 있습니까? 또는 양자 유사체가 흥미롭지 않은 명백한 이유가 …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

저는 컴퓨터 공학을 전공하고 있으며 현재 졸업 프로젝트를 계획하고 있습니다. 양자 컴퓨팅 분야에 대한 아이디어가 필요합니다. 어떤 도움?

15 quantum-computing  soft-question 

에 대한 의견에서 MathOverflow 내 질문 중 하나 에있는 질문에 대한 GCD 것을 나는 느낌을 얻을 대 P가 에있는 정수 인수 분해에 관한 질문에 가깝다 P 대 N P를 .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} 정수 인수 분해를위한 양자 다항식 시간 ( B Q P ) 알고리즘 이 있기 때문에 GCD에 대한 "양자 "알고리즘과 같은 …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

내가 알 수있는 한 거의 모든 QKD 구현은 오류 수정을 위해 Brassard 및 Salvail의 CASCADE 알고리즘 을 사용합니다. 이것이 무작위 큐 비트의 공유 시퀀스에서 오류를 수정하는 가장 잘 알려진 방법입니까, 아니면 QKD 구현이 대신 사용해야한다는 더 나은 제안이 있습니까?

14 cr.crypto-security  quantum-computing  quantum-information 

Beigi, Shor 및 Watrous는 짧은 메시지와 함께 양자 대화 형 증명의 힘에 대한 아주 훌륭한 논문 을 가지고 있습니다 . 그들은 '짧은 메시지'의 세 가지 변형을 고려하며, 내가 관심있는 특정 것은 많은 메시지를 보낼 수있는 두 번째 변형이지만 총 메시지 길이는 로그 여야합니다. 특히 그들은 그러한 대화 형 증명 시스템이 …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

클러스터 상태 계산 이론은 현재 잘 확립되어 있으며, 모든 BQP 회로를 수정하여 "클러스터 상태"라고 알려진 상태의 충분한 공급이 제공 될 경우 고전적으로 제어 할 수있는 단일 큐 비트 양자 게이트 만 사용할 수 있음을 보여줍니다. 안정기 상태를 생성하는 간단한 방법입니다. 내 질문은 : 양자 검증으로 알려진 비슷한 개념입니다. 즉 QMA …

13 quantum-computing 

문맥. 저는 Pauli 스태빌라이저 그룹을 사용하여 Gottesman-Knill 정리 와 같은 주제에 대해 글을 쓰고 있지만 d 차원 qudits 의 경우 d 는 둘 이상의 주요 요소를 가질 수 있습니다. (“더 높은 차원”에서 안정기 형식주의에 대한 대부분의 문헌은 d 소수 또는 d 소수 의 경우를 포함하고 유한 필드를 사용하기 때문에이를 강조합니다. …

13 reference-request  quantum-computing 

논문에서 Quantum Random Walks Exponentially Faster ( arXiv : quant-ph / 0205083 ) Kempe는 퀀텀 워크 (Quantum Walk) 문헌에서별로 인기가없는 퀀텀 워크 ( 하이 큐브)에 대한 히트 시간에 대한 개념을 제공합니다. 다음과 같이 정의됩니다. 명중 한 샷 양자 시간 : 이산 시간 양자 거리가있다 (T,p)(T,p)(T,p) 원샷 (|Ψ0⟩,|Ψf⟩)(|Ψ0⟩,|Ψf⟩)(|\Psi_0\rangle,|\Psi^f\rangle) -hitting 시간의 경우를 …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

Quantum Automata 분야에서 중요한 개념에 대한 설문지를 찾고 있습니다. 내가 찾은 검토 - 양자 오토마타 이론을 Hirvensalo에 의해,하지만 주제를 파악 너무 간결 소리. Quantum Automata의 주제에 대해 매우 포괄적 인 설문 조사가 있습니까? 또한 주제에 대한 필수 문헌을 알려 주시겠습니까?

12 reference-request  quantum-computing  automata-theory 

일반적인 적의 하한은 Reichardt 등의 혁신적인 작업으로 인한 양자 쿼리 복잡성을 특성화하는 것으로 알려져 있습니다. 또한 동일한 작업 라인이 스팬 프로그램 프레임 워크에 연결하여 양자 알고리즘을 설계합니다. Simon의 알고리즘과 같은 지수 속도가 증가하고주기를 찾기위한 Shor의 알고리즘을 포함하여 많은 흥미로운 양자 알고리즘이 양자 쿼리 모델로 표현 될 수 있습니다. 일반적인 적대적 …

12 cc.complexity-theory  quantum-computing  query-complexity 

빠른 버전 결 어긋남의이 모델은 라인의 양자 산책 있습니까 우리는 조정 등의 확산에 산책 할 수 있도록 어떤을위한 1 / 2 ≤ K ≤ 1 ?Θ ( 톤케이)Θ(tk)\Theta(t^k)1 / 2 ≤ K ≤ 11/2≤k≤11/2 \leq k \leq 1 자극 고전적인 랜덤 워크는 알고리즘 설계에 유용하며, 양자 랜덤 워크는 다수의 멋진 …

12 quantum-computing  random-walks  quantum-walk