«quantum-computing» 태그된 질문

양자 역학과 관련된 양자 계산 및 계산 문제

2
양자 복잡성 클래스에 대한 설명 적 복잡성 표현이 있습니까?
제목에 거의 모든 내용이 나와 있지만 약간의 배경과 관심있는 특정 예를 추가 할 수 있다고 생각합니다. Immerman 및 Fagin과 같은 서술 적 복잡성 이론가들은 논리를 사용하여 가장 잘 알려진 복잡성 클래스를 많이 특징지었습니다. 예를 들어, NP는 2 차 존재 쿼리로 특성화 될 수 있습니다. P는 최소 고정 소수점 연산자가 추가 …
2
몽고메리 모듈 식 지수가 양자 인수 분해에 사용되지 않는 이유는 무엇입니까?
모듈 식 지수 (RSA 작업의 주요 부분)가 계산 비용이 많이 들며, 몽고메리 모듈 식 지수 기술 이 선호되는 방법을 이해하는 한 잘 알려져 있습니다. 양자 지수화 (quantum factoring algorithm)에서는 모듈 식 지수도 눈에 띄게 특징이 있으며, 거기에서도 비싸다. 몽고메리 모듈 식 지수가 양자 분해를위한 현재의 세부 서브 루틴에 나타나지 않는 …
2
노름 보존 튜링 기계
양자 컴퓨팅 ( here , here , here ) 에 대한 최근 스레드를 읽으면 일종의 -norm 보존 기계 의 힘에 관한 흥미로운 질문을 기억할 수 있습니다.ℓ피ℓp\ell_p 양자의 복잡성에가는 복잡성 이론에서 일하는 사람들에게 좋은 입문 텍스트는 여호수아 Grochow에 의해 게시 된 링크 Fortnow의 논문입니다 여기 . 이 논문에서 양자 튜링 머신은 …
4
양자 알고리즘에 대한 무작위 화와 동등한가?
임의의 무작위 알고리즘을 사용하면 알고리즘을 무작위 화하지 않고 (가능한 런타임에 임의의 비트 사용)을 제거하고 목표에 대한 하한을 최대화합니다 (일반적으로 이론은 임의의 예상 성능에 관한 사실을 사용하여 계산 됨) 연산). 양자 알고리즘에 해당하는 것이 있습니까? "탈 양자화"의 잘 알려진 결과가 있습니까? 아니면 이런 종류의 기술에는 기본 상태 공간이 너무 큽니까?
2
PPAD와 양자
오늘날 뉴욕 과 전세계에서 Christos Papadimitriou의 생일이 축하됩니다. 이것은 Christos의 복잡성 클래스 PPAD (및 그의 다른 관련 클래스)와 양자 컴퓨터 사이의 관계에 대해 질문 할 수있는 좋은 기회입니다. 그의 유명한 1994 년 논문에서 Papadimitriou는 PLS, PPAD 등과 같은 몇 가지 중요한 복잡성 클래스를 도입하고 체계적으로 연구했습니다. (Papadimitriou의 논문은 일부 초기 …
1
단열 양자 계산을위한 기하학적 그림이 있습니까?
단열 양자 계산 (AQC)에서, 문제의 해밀턴 (Hamiltonian) 면 상태에서 최적화 문제에 대한 솔루션을 인코딩한다 . 이 기저 상태로 얻으려면, 당신은 해밀턴과 쉽게 냉각 가능한 초기 (접지) 상태에서 시작 을 향한와 "어닐링"(단열 교란) , 즉,HpHpH_pHiHiH_iHpHpH_p H(s)=sHi+(1−s)HpH(s)=sHi+(1−s)Hp H(s) = s H_i + (1-s) H_p 여기서 입니다. AQC에 대한 세부 사항 : http://arxiv.org/abs/quant-ph/0001106v1s∈[0,1]s∈[0,1]s …
2
Grover 알고리즘의 런타임
Grover 알고리즘의 시간 복잡성 (쿼리 복잡성이 아닌)은 무엇입니까? 그것은 그것이 나에게 분명한 것 같다 가 있기 때문에 반복하고 각 반복은 결국 시간이 걸립니다 반사 동작의 사용을 필요로 표준 범용 게이트 세트를 사용하는 .Ω ( 로그( N) N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω ( N−−√)Ω(N)\Omega(\sqrt{N})Ω ( 로그( N) )Ω(log⁡(N))\Omega(\log(N)) 문제는 Grover 알고리즘의 시간 복잡성이 이라는 …
1
암호화에는 고유 한 열역학적 비용이 있습니까?
가역 컴퓨팅 은 열역학적으로 가역적 인 작업 만 허용하는 계산 모델입니다. Landauer의 원칙에 따르면 약간의 정보를 지우면 열 줄 (joule)이다 전환 기능 출력이 규칙하지 일대일 (예를 들어, 부울 AND 및 OR 연산자). 양자 계산에서 허용 된 연산이 단위 행렬로 표현되기 때문에 양자 계산은 본질적으로 가역적이라는 것이 잘 알려져있다.k Tln( 2 …
3
다이아몬드 규범과 관련 상태의 거리 사이에 연결이 있습니까?
양자 정보 이론에서, 두 양자 채널 사이의 거리는 종종 다이아몬드 규범을 사용하여 측정됩니다. 트레이스 거리, 충실도 등과 같은 두 양자 상태 사이의 거리를 측정하는 방법은 여러 가지가 있습니다. Jamiołkowski 동 형사상 은 양자 채널과 양자 상태 사이의 이중성을 제공합니다. 다이아몬드 규범은 계산하기가 악명 높고 Jamiołkowski 이소 형은 양자 채널의 거리 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
일시적 플랫 편도 양자 컴퓨팅
저는 물리학 자이며 일방적 인 양자 컴퓨팅이 훌륭하다고 생각합니다. 특히, MBQC (Graph State Measurement-based Quantum Computing)는 Raussendorf & Briegel 에서 유래 한 Quantum Computing 연구에서 정말 훌륭한 발전이었습니다 . 그래프로 설명 된대로 여러 부분으로 얽힌 상태를 준비한 다음 각 노드 또는 큐 비트에서 순차적 측정 (결정적 계산을위한 적응 측정)을 수행하면됩니다. …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.