«quantum-computing» 태그된 질문

내 질문은 미세 구조 상수와 관련된 QED (양자 전기 역학) 계산을위한 양자 알고리즘에 관한 것입니다. 그러한 계산은 (나에게 설명 된 바와 같이) Taylor 유사 계열 여기서 α 는 미세 구조 상수 (약 1/137)이고 c k 는 k- 루프를 가진 Feynman 다이어그램의 기여입니다 . ∑ c케이α케이,∑ckαk,\sum c_k\alpha^k,αα\alpha씨케이ckc_k케이kk 이 질문은 내 블로그의 …

10 cc.complexity-theory  quantum-computing  physics 

비 결정적 튜링 머신 (NTM)의 계산은 시작 구성에 근거한 구성 트리로 표현할 수있는 것으로 잘 알려져 있습니다. 프로그램의 모든 전환은이 트리에서 아버지-자식 링크로 표시됩니다. 확률 적 및 양자 기계의 계산을 시각화하기 위해 유사한 트리를 구성 할 수도 있습니다. (같은 수준의 트리에서 동일한 구성을 나타내는 두 개의 노드가 양자 간섭으로 인해 …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

JBV는 몇 가지 의견을 질문으로 바꾸겠다고 제안했습니다. 또 다른 질문 [1]은 QM 컴퓨팅의 응용에 대해 묻습니다. 한 가지 대답은 "양자 역학을 효율적으로 시뮬레이션"하는 것이 었습니다. 분명히이 아이디어는 Feynman의 주제에 대한 초기 글로 거슬러 올라갑니다. 비록 참조가 없지만. 그래서: 질문. 양자 컴퓨터가 임의의 양자 기계 시스템을 효율적으로 시뮬레이션 할 수 있다는 …

10 reference-request  quantum-computing  application-of-theory 

우리 중 일부는 읽고있는 마이클 닐슨의 종이 , 간단한에서 (에 메트릭 Finsler의 건설 양자 하한을 사용하여 기하학적 접근 방식에 에서 최단 거리가되도록 요소로는 하한입니다 를 계산하는 양자 회로의 게이트 수에 대해 ).에스유( 2엔)에스유(2엔)SU(2^n)나는나는I유유U유유U 이 프로그램이 다른 방법으로 얻은 이전의 하한에 근접하거나 일치하거나 이길 수있는 하한을 초래 한 문제의 구체적인 예가 …

10 quantum-computing 

Deutsch의 알고리즘은 한 번의 f 평가로 잘 알려진 양자 컴퓨팅 f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} 입니다 . 우리가 교체 할 경우 + 와 \ cdot 문제는 오히려 다른 될 것으로 보인다. 내 질문은 : 값 계산 양자 알고리즘이 존재 F (0) \ cdot F (1) 의 한 평가 사용 (또는 당신이 선호하는 …

10 reference-request  quantum-computing 

양자 복잡성 이론에 관한 논문에 대한 Watrous의 훌륭한 설문지를 읽고 있습니다. 그는 QMA 완성 문제가 명백한 약속 (즉, 언어)을 가지고있는 것으로 밝혀지면 놀라운 일이라고 말합니다. 왜 그렇습니까? k-local Hamiltonian 문제가 약속 문제라는 사실과 관련이 있습니까? 또한 이것은 관련 질문으로 이어집니다. 본질적으로 "양자"가 아닌 QMA 완료 문제가 있습니까?

10 cc.complexity-theory  quantum-computing 

누군가 가이 논문에 대한 더 깊은 이해를 얻기 위해 보충 자료를 추천 할 수 있는지 궁금합니다 . 특히 종형 불평등의 기하학적 해석에 대해 좀 더 정교하게 설명 할 수있는 것. 아마도 이러한 문제에 대해 더 자세하게 설명하는 입문서 또는 관련 교재 일 것입니다. 모든 의견을 보내 주셔서 감사합니다. 다시 감사합니다.

10 reference-request  quantum-computing  quantum-information 

Bernstein과 Vazirani의 주요 논문 인 "Quantum Complexity Theory"에서 "사소한 회전"과 "사소한 위상 편이"라고 불리는 제품에 의해 d 차원 단위 변환이 효율적으로 근사 될 수 있음.디dd "사소한 회전"은 디dd 2 차원을 제외한 모든 차원에서 동일하게 작용하지만 2 차원으로 확장 된 평면에서 회전으로 작용하는 차원 단위 행렬입니다 (예 : 형식의 2x2 하위 …

10 quantum-computing  linear-algebra  universal-computation 

경계 오류 양자 쿼리 복잡성 ( Q(f)Q(f)Q(f) )과 결정 론적 쿼리 복잡성 ( D(f)D(f)D(f) ) 또는 경계 오류 무작위 쿼리 복잡성 ( R(f)R(f)R(f) ) 사이의 지수 적 분리 는 알려져 있지만 특정 부분 함수에만 적용됩니다. 부분 함수에 특별한 구조 가있는 경우 와 다항식으로 관련됩니다 D(f)=O(Q(f)9))D(f)=O(Q(f)9))D(f) = O(Q(f)^9)). 그러나 나는 주로 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

스팬 프로그램은 여기에 소개 된 부울 함수를 지정하는 선형 대수 방식입니다 . 최근에,이 모델은 부정적인 대적 방법 이 양자 쿼리 복잡성 의 엄격한 특성화 (적어도 까지)를 제공한다는 것을 보여주기 위해 사용 되었습니다 .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n 스팬 프로그램을 양자 쿼리 복잡성에 연결하는 복잡성 측정은 감시 크기입니다. 이 방법은 인증서 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

에서는 유니버설 블라인드 양자 계산 autors은 거의 전형적인 사용자는 계산의 콘텐츠에 대한 거의 모든 공개하지 않고 양자 서버에서 임의의 계산을 수행 할 수있는 측정 - 기반 프로토콜을 설명한다. 프로토콜 설명에서 저자는 각 큐 비트와 관련된 "종속성 세트"를 언급하며, 이는 일방 통행 모델의 결정론에 설명 된 일부 방법으로 계산됩니다. 그러나이 세트가 …

10 quantum-computing  cr.crypto-security 

양자 컴퓨팅 문헌의 대부분은 회로 모델에 중점을 둡니다. 단열 양자 컴퓨팅은 일련의 단일 연산자를 적용하는 것이 아니라 시간에 따른 해밀턴을 변경하는 것입니다. 다음 중 하나에 대한 통찰력을 찾고 있습니다. 단열 양자 컴퓨팅은 회로 모델만큼 강력합니까, 아니면 본질적으로 덜 강력합니까? 회로 모델이 아닌 단열 컴퓨팅과 관련된 복잡성 클래스가 있습니까? 단열 컴퓨팅의 …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

작동중인 세트에 지정된 요소 가있는 알려진 그룹 조치 제품군이 있습니까? \: 그룹에서 (실질적으로 균일하게) 샘플을 추출하고 역 연산을 계산합니다. \: 그룹 작업을 계산하고 그룹 작업을 계산 무시할 수없는 확률로 성공 하기 위한 효율적인 양자 알고리즘 은 알려져 있지 않다 . \: 그룹 조치의 색인 및 결과를 입력으로 제공 \: 지정된 …

9 cr.crypto-security  quantum-computing  gr.group-theory 

함수의 경계 오류 양자 쿼리 복잡도 가 인 것으로 잘 알려져 있습니다. 이제 문제는 양자 알고리즘 이 일반적인 보다는 확률로 모든 입력에 대해 성공하기를 원하는 경우 입니다. 이제 관점 에서 적절한 상한과 하한은 무엇입니까?OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n)Θ(n−−√)Θ(n)\Theta(\sqrt{n})1−ϵ1−ϵ1-\epsilon2/32/32/3ϵϵ\epsilon 즉각 O(n−−√log(1/ϵ))O(nlog⁡(1/ϵ))O(\sqrt{n} \log(1/\epsilon))쿼리는 Grover 알고리즘을 반복하여이 작업에 충분합니다. 그러나 내가 기억하는 것은 신중하게 실행하는 경우, …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

답변이 제공되지 않았으므로이 질문을 커뮤니티 위키로 변환하도록 요청하는 플래그가 설정되었습니다. Aaron Sterling, Sasho Nikolov 및 Vor의 의견은 커뮤니티 위키 토론을 위해 열린 다음 해결책으로 종합되었습니다. 해결 : 숫자, 샘플 또는 시뮬레이션 궤적을 출력하는 클래식 알고리즘과 관련하여 엄격한 수학 논리를 사용하려면 다음 제안 중 네 가지 제안을 모두 수락하거나 적용하지 않아야합니다. …

9 quantum-computing  program-verification  sample-complexity