Kuantum hesaplama teorisinde yapılan yeni bir araştırma, kuantum tanıkların klasik tanıklara göre sahip olduğu benzersiz avantajları matematiksel olarak ortaya koydu. Çalışma, mükemmel doğruluk koşulları altında kuantum tanıkların gücünü inceleyerek, iki önemli karmaşıklık sınıfı arasındaki farkları analiz etti.
Araştırmacılar, QMA1 ve QCMA adı verilen kuantum karmaşıklık sınıfları arasında klasik bir oracle kullanarak kesin bir ayrım oluşturmayı başardı. Bu ayrımda, belirli bir dil QMA1 sınıfında yer alırken QCMA sınıfında bulunmuyor - özellikle QCMA doğrulayıcısının yalnızca polinom sayıda uyarlanabilir tur ve her turda üstel sayıda paralel sorguya izin verildiği durumlarda.
Çalışmanın önemli katkılarından biri, daha önce Fefferman ve Kimmel tarafından geliştirilen permütasyon-oracle ayrımını rastgele olmayan hale getirmesidir. Bu sayede QMA1 ve QCMA arasında yerinde bir oracle ayrımı elde edildi.
Araştırma ayrıca, üstel olarak küçük boşluğa sahip QCMA ve QMA sistemlerini de inceledi. Bulgular, boşluğun sabit olduğu durumlarda ayrım gösterilebilirken, keyfi olarak küçük olabildiği durumlarda böyle bir ayrımın mümkün olmadığını ortaya koydu.
Bu teorik gelişmeler, seyrek Hamiltonyen oracle erişimi yoluyla yaklaşık temel hal hazırlama süreçleri için de önemli sonuçlar doğuruyor ve kuantum hesaplamanın geleceği açısından kritik içgörüler sunuyor.