«quantum-computing» etiketlenmiş sorular

Kuantum hesaplama ve kuantum mekaniği ile ilgili hesaplama sorunları

1
İnce yapı sabitleri ile ilgili QED hesaplamaları için kuantum algoritmaları
Benim sorum ince yapı sabitleri ile ilgili QED (kuantum elektrodinamik) hesaplamaları için kuantum algoritmaları hakkında. Bu tür hesaplamalar (bana açıklandığı gibi) Taylor benzeri serilerinin hesaplanması anlamına gelir , burada α ince yapı sabiti (yaklaşık 1/137) ve c k , Feynman diyagramlarının k- döngülerine katkısıdır. ∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Bu soru, blogumdaki …

1
Belirsiz, olasılıklı ve kuantum hesaplamada “dallanmanın” tek biçimli yolu?
Belirsiz bir Turing makinesinin (NTM) hesaplanmasının, başlangıç ​​konfigürasyonuna dayanan bir konfigürasyon ağacı olarak temsil edilebileceği iyi bilinmektedir. Programdaki herhangi bir geçiş, bu ağaçtaki bir baba-çocuk bağlantısı ile temsil edilir. Olasılıksal ve kuantum makinelerinin hesaplamalarını görselleştirmek için de benzer ağaçlar yapılabilir. (Bazı amaçlar için, kuantum hesaplamaları için ilgili grafiği bir ağaç …

1
Kuantum bilgisayarların keyfi kuantum mekanik sistemleri verimli bir şekilde simüle edebileceğinin kanıtı nedir?
JBV, bazı yorumları bir soruya dönüştürmemi önerdi, işte gidiyor. Başka bir soru [1] QM bilişim uygulamalarını soruyor. Bir cevap [2] “kuantum mekaniğini etkin bir şekilde simüle ediyordu”. Görünüşe göre bu fikir Feynman'ın konuyla ilgili ilk yazısına kadar uzanıyor; bir referansım olmamasına rağmen. Yani: Soru. Bir kuantum bilgisayarın rasgele bir kuantum …

1
Jeodezik çerçeveyi kullanarak kuantum devreleri için daha düşük sınırlar
Bazýlarýmýz okuma edilmiştir Michael Nielsen kağıt kısaca (kuantum alt sınır ile bir geometrik yaklaşım, metrik bir Finsler inşası ile ilgili jeodezik mesafe olacak şekilde I bir elemana , U bir alt sınır arasında olması U ) hesaplayan bir kuantum devresindeki kapı sayısı üzerinde .SU(2n)SU(2n)SU(2^n)IIIUUUUUU Bu programın, başka yollarla elde edilen …


1
Neden QMA komple problemleri vaat problemleri olmalı?
Watrous'un kuantum karmaşıklık teorisi hakkındaki kağıt üzerinde mükemmel araştırma kağıdını okuyorum. İçinde, QMA-tamamlanmış bir sorunun boş bir vaatte bulunmasının şaşırtıcı olacağını belirtiyor (yani, bir dil olun). Neden böyle? K-yerel Hamilton probleminin bir vaat problemi olmasıyla mı ilgili? Ayrıca, bu beni ilgili bir soruya yönlendiriyor: Doğasında doğası gereği "kuantum" olmayan QMA-komple …

4
Kuantum Çan Tipi Eşitsizlikler
Birisinin makaleyi daha iyi anlamak için bazı ek malzemeler önerebileceğini merak ediyorum: " Kuantum Çan Tipi Eşitsizlikler - Tsirelson'da Bazı Sonuçlar ve Sorunlar ". Özellikle Bell-Tipi eşitsizliklerin geometrik yorumlanması üzerinde biraz daha ayrıntılı olabilecek bir şey. Belki de bu konularla ilgili daha ayrıntılı bilgi veren bir astar kağıdı veya ilgili …

2
Üniter operatörlerin girişlerini gerçek sayılara ve evrensel geçit setlerine sınırlama
Bernstein ve Vazirani'nin seminal gazetesi olan "Kuantum Karmaşıklık Teorisi" nde, boyutlu bir üniter dönüşümün, "önemsiz dönüşler" ve "önemsiz faz değişimleri" olarak adlandırdıkları bir ürünle verimli bir şekilde tahmin edilebileceğini gösteriyorlar.ddd "Neredeyse önemsiz rotasyonlar", 2 boyut dışındaki tüm boyutlarda kimlik olarak hareket eden, ancak bu iki boyutun kapsadığı düzlemde bir rotasyon …

4
Kuantum ve deterministik sorgu karmaşıklığı arasındaki boşluğu sınırlama
Sınırlı hata kuantum sorgu karmaşıklığı ( ) ve deterministik sorgu karmaşıklığı ( ) veya sınırlı hata rastgele sorgu karmaşıklığı ( ) arasındaki üstel ayrımlar bilinmesine rağmen , bunlar sadece belirli kısmi fonksiyonlar için geçerlidir. Kısmi fonksiyonların bazı özel yapıları varsa, bunlar aynı zamanda polinom olarak ile ilişkilidir . Ancak, çoğunlukla …

1
Yayılma programları, tanık büyüklüğü ve sertifika karmaşıklığı
Bir yayılma programı, burada tanıtılan bir boole işlevini belirtmenin doğrusal-cebirsel bir yoludur . Son zamanlarda, bu model negatif olumsuz yöntemin kuantum sorgu karmaşıklığının sıkı bir karakterizasyonunu (en azından ) sağladığını göstermek için kullanıldı .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Span programlarını kuantum sorgu karmaşıklığına bağlayan karmaşıklık ölçüsü tanık boyutudur. Bu önlem …

1
Ölçüm tabanlı Evrensel Kör Kuantum Hesaplamasında bağımlı düzeltmeler
Gelen Evrensel Kör Kuantum Hesaplama Autors neredeyse klasik kullanıcı hesaplama içeriği hakkında neredeyse her şeyi açıklamadan bir kuantum sunucuda keyfi hesaplamalar yapmak sağlayan bir ölçüm tabanlı protokol açıklar. Protokol açıklamasında yazarlar , tek yönlü modelde Determinizm'de açıklanan bir yöntemle hesaplanması beklenen her kubitle ilişkili "bağımlılık kümelerinden" bahseder. Ancak, bu setin …

2
Adyabatik kuantum hesaplama devre modeli kadar güçlü mü?
Kuantum hesaplama literatürünün çoğu devre modeline odaklanmaktadır. Adyabatik kuantum hesaplama, bir dizi üniter operatör uygulanmasına değil, zamana bağlı bir Hamiltonian'ın değiştirilmesine dayanır. Aşağıdakilerden herhangi biri hakkında bir fikir arıyorum. Adyabatik kuantum hesaplama devre modeli kadar güçlü mü yoksa doğal olarak daha az güçlü mü? Devre modelinin aksine adyabatik hesaplama ile …


1
Yüksek başarı olasılığı ile Grover algoritmasının optimizasyonu hakkında
Fonksiyonun sınırlı hata kuantum sorgu karmaşıklığının iyi olduğu bilinmektedir. O R (x1,x2, … ,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) dır-dir Θ (n--√)Θ(n)\Theta(\sqrt{n}). Şimdi soru şu ki, kuantum algoritmamızın olasılıkla her girdi için başarılı olmasını istiyorsak1 - ϵ1−ϵ1-\epsilon normalden ziyade 2 / 32/32/3. Şimdi açısındanεϵ\epsilon uygun üst ve alt sınırlar nelerdir? Anında O (n--√günlük( 1 …

1
Kuantum örnekleme, simülasyon ve genişletilmiş Church-Turing (ECT) testinde doğrulamanın doğru rolü nedir?
Yanıt verilmediğinden, bu sorunun bir topluluk wiki'sine dönüştürülmesini isteyen bir bayrak ayarlandı. Aaron Sterling, Sasho Nikolov ve Vor'un yorumları, topluluk wiki tartışmasına açık olan aşağıdaki çözüme sentezlendi: Çözümlendi: Sayı , örnek veya simülasyon yörüngeleri çıkaran klasik algoritmalarla ilgili olarak, katı matematiksel mantık, aşağıdaki önermelerin dördünün de kabul edilmesini veya hiçbirinin …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.