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 problemleri var mı?
3
Bu ilginç bir şey olurdu sanırım çünkü QMA semantik bir sınıf olarak tanımlanır, böyle tam bir problem sözdizimsel bir karakterizasyon verir. Cstheory / Mathoverflow'daki sözdizimsel / anlamsal karmaşıklık sınıfları ile ilgili soruları kontrol edin.
—
Kaveh
Ayrıca, bu fenomen özellikle QMA'ya özgü değildir. MA gibi semantik olarak tanımlanmış diğer sınıfların da BPP olduğu tam dillere sahip değildir.
—
Robin Kothari
Bir sorunun "kuantum" olmaması için pratikte gerekli ve yeterli koşulların neler olduğunu merak ediyorum. Tamamen pozitif bir haritayı ( örn. Verilen bir CP haritası ters çevrilebilir mi yoksa ters çevrilemez mi?) Veya tensör ürün yapısını ( örn. K-yerel sunumda verilen pozitif bir semidefinite operatörünün özdeğerleri daha düşük) delta veya hepsi delta önemli ölçüde daha büyük) kuantum kanal / evrim veya toplu bir sistemin durumu alanı açısından sunulmaktadır olsun veya olmasın, şüpheli kuantum sorunların örnekleri olacağını vardır ...?
—
Niel de Beaudrap