«quantum-computing» etiketlenmiş sorular

Başlık az ya da çok her şeyi söylüyor, ancak sanırım biraz arka plan ve ilgilendiğim bazı örnekler ekleyebilirim. Immerman ve Fagin gibi tanımlayıcı karmaşıklık teorisyenleri, en iyi bilinen karmaşıklık sınıflarının çoğunu mantık kullanarak karakterize ettiler. Örneğin, NP ikinci dereceden varoluşsal sorgularla karakterize edilebilir; P, en az sabit nokta operatörü eklenen …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Modüler üslemenin (bir RSA operasyonunun ana kısmı) hesaplama açısından pahalı olduğu iyi bilinmektedir ve şeyleri anladığım kadarıyla Montgomery modüler üs alma tekniğinin tercih edilen yöntem olduğu bilinmektedir . Modüler üs alma, kuantum çarpanlara ayırma algoritmasında da göze çarpar ve orada da pahalıdır. Öyleyse: Montgomery modüler üstelleme kuantum faktoring için şu …

20 cr.crypto-security  quantum-computing  factoring 

Kuantum üzerinde bazı yeni konuları Okuma (bilgisayar burada , burada ve burada ) bana bir çeşit gücü hakkında ilginç bir soru hatırlatabiliyorum makinesini koruyarak -norm.ℓpℓp\ell_p Karmaşıklık teorisinde çalışan insanlar için kuantum karmaşıklığına gidecek olan büyük bir giriş metni Fortnow'un Joshua Grochow tarafından buraya gönderilen makalesidir . Bu makalede, kuantum Turing …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Bazı rasgele algoritmalar ile rasgele bitlerin kullanımını kaldırarak (olası bir maliyetle) rastgele bitlerin kullanımını kaldırabilir ve hedef üzerindeki bazı alt sınırları en üst düzeye çıkarabilirsiniz (genellikle teoremlerin rasgele beklenen performansla ilgili olmasıyla hesaplanır) algoritması). Kuantum algoritmaları için bir eşdeğer var mı? "Deakantizasyon" un iyi bilinen sonuçları var mı? Yoksa bu …

20 derandomization  quantum-computing 

Bugün New York ve tüm dünyada Christos Papadimitriou'nun doğum günü kutlanıyor. Bu, Christos'un karmaşıklık sınıfı PPAD (ve diğer ilgili sınıfları) ile kuantum bilgisayarlar arasındaki ilişkileri sormak için iyi bir fırsattır. Onun içinde ünlü 1994 kağıt Papadimitriou tanıtıldı ve sistematik PLS, PPAD ve diğerleri gibi birçok önemli karmaşıklık sınıfları inceledi. (Papadimitriou'nun …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Bir Kuantum Bilgisayarında Başbakan Faktorizasyon ve Ayrık Logaritmalar için 1995 tarihli Polinom-Zaman Algoritmaları adlı makalesinde , Peter W. Shor, çarpanlara ayırma algoritmasının sipariş bulma kısmındaki bir gelişmeyi tartışıyor. Standart algoritma çıkışları , sipariş bir böleni ve modülo . Bunun yerine, denetimi kontrol ederek, eğer , gelişme şu şekildedir:r'r′r'rrrxxxN-NNr'= rr′=rr'=rxr'≡ 1şıkN-xr′≡1modNx^{r'}\equiv …

19 quantum-computing  nt.number-theory  factoring 

Wikipedia ancak dışında olduğu düşünülen dört problemi listeledi : Tamsayı çarpanlara ayırma; Ayrık logaritma; Kuantum sistemlerin simülasyonu; Jones polinomunu birliğin belirli köklerinde hesaplamak.PB Q PBQPBQPPPP Bu tür başka problemler var mı?

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

Nielsen ve Chuang tarafından Kuantum Hesaplama ve Kuantum Bilgilerinde kuantum Fourier dönüşümlerine dayanan algoritmaların çoğunun Fourier dönüşümlerinin Coset Invariance özelliğine bağlı olduğunu ve diğer dönüşümlerin değişmezlik özelliklerinin yeni algoritmalar sağlayabileceğini ileri sürüyorlar. Diğer dönüşümler hakkında verimli bir araştırma yapıldı mı?

19 quantum-computing  quantum-information 

Adyabatik kuantum hesaplamasında (AQC), çözüm [problem] Hamiltonian temel durumunda bir optimizasyon problemine . Bu temel hale almak için, Hamilton ile kolayca soğutulabilir başlangıç (zemin) durumunda başlatılacak doğru ve "tavlama" (adyabatik karıştırmayı) , yaniH i H p'HpHpH_p'HbenHiH_i'HpHpH_p 'H( S ) = s , Hben+ ( 1 - s ) HpH(s)=sHi+(1−s)Hp H(s) …

19 reference-request  quantum-computing  physics  topology 

Grover algoritmasının zaman karmaşıklığı (sorgu karmaşıklığı değil) nedir? O olduğu bana açık görünüyor olmadığından yineleme ve her iterasyon sırayla zaman alır yansıma çalışması kullanımını gerektirir herhangi bir standart evrensel kapı seti kullanarak.Ω( √Ω ( günlük( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(log(N))Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( günlük( N) )Ω(log⁡(N))\Omega(\log(N)) Sorun şu ki, Grover algoritmasının zaman …

19 reference-request  quantum-computing  time-complexity 

Tersinir hesaplama , yalnızca termodinamik olarak tersinir işlemlere izin veren bir hesaplama modelidir. Landauer'ın biraz bilgi silmesinin ısı joule'lerini serbest bıraktığını belirten ilkesine göre , bu bire bir olmayan geçiş işlevlerini (örneğin, Boole AND ve OR operatörleri) dışlar. Kuantum hesaplamanın doğası gereği geri dönüşümlü olduğu iyi bilinmektedir, çünkü kuantum hesaplamada …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Kuantum bilgi teorisinde, iki kuantum kanalı arasındaki mesafe genellikle elmas normu kullanılarak ölçülür. İki kuantum durum arasındaki mesafeyi ölçmenin birkaç yolu vardır, örneğin iz mesafesi, sadakat, vb. Jamiołkowski izomorfizması kuantum kanalları ve kuantum durumları arasında bir dualite sağlar. Bu en azından benim için ilginç, çünkü elmas normunun hesaplanması çok zor …

19 quantum-computing  it.information-theory  quantum-information 

Karmaşıklık teorisindeki en sevdiğim teorem, Zaman hiyerarşisi teoremidir. Ancak, bu 1965'te yapıldı. O zaman Quantum Computing için benzer bir şey olup olmadığını bilmek istedim. Ayrıca, eğer değilse bu yönde çalışan insanlar / gruplar nelerdir!

19 cc.complexity-theory  quantum-computing 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

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 

Ben kalbimde bir fizikçiyim ve bu yüzden Tek Yönlü Kuantum Hesaplamanın parlak olduğunu düşünüyorum. Özellikle, Grafik Durumu Ölçüm Tabanlı Kuantum Hesaplama (MBQC), Raussendorf ve Briegel tarafından oluşturulan Quantum Hesaplama araştırmalarında gerçekten güzel bir gelişme olmuştur . Sadece bir grafik tarafından tarif edildiği gibi çok parçalı bir dolaşık durumun hazırlanması ve …

18 quantum-computing