Quantinuum’un tamamlayıcı örnekleme testi, kuantum ve klasik hesaplama arasındaki üstel farkı gösterdi

Sonuç neyi gösteriyor?

Quantinuum’un tamamlayıcı örnekleme (complement sampling) deneyi, çok belirli bir görevde kuantum aygıtlarının klasik stratejilere karşı kanıtlanmış ve problem boyutuyla üstel büyüyen bir üstünlük sağlayabildiğine dair deneysel kanıt sundu.

Bernstein–Vazirani probleminden türetilen örnekler için ideal kuantum-klasik ihlal oranı 2^(n−1) olarak veriliyor. n = 37 için bu ölçek 2^36 = 68.719.476.736 düzeyinde; çalışmanın kullandığı ihlal tanımıyla karşılaştırma 137 milyar katın üzerindedir. 4

Bu, H2 işlemcisinin faydalı bir ticari işi klasik bilgisayardan 137 milyar kat hızlı yaptığı anlamına gelmiyor. Söylenen şey daha dar ve daha kesin: Oyunun tanımlı kuralları altında, ideal kuantum ve klasik stratejiler arasındaki fark bu ölçekte büyüyor.

Tamamlayıcı örnekleme oyunu nasıl işliyor?

Hakem, tüm n bitlik dizilerin yarısını içeren gizli bir S altkümesi seçiyor. Ardından bu kümedeki dizilerin eşit ağırlıklı kuantum süperpozisyonunu hazırlıyor. Oyuncunun görevi, S içinde olmayan, yani tamamlayıcı küme S̄ içinden bir bit dizisi üretmek. 34

Klasik oyuncuya sıradan bir örnek verildiğinde, oyuncu yalnızca gördüğü dizinin S içinde olduğunu öğreniyor. Bu bilgi, geriye kalan çok sayıdaki dizinin hangilerinin S içinde, hangilerinin S̄ içinde olduğunu belirlemeye yetmiyor. Bu nedenle klasik stratejinin başarısı, oyun için matematiksel olarak çıkarılmış bir sınırla kısıtlı kalıyor. 47

Kuantum oyuncu ise daha ölçülmemiş, yani tutarlılığını (coherence) koruyan süperpozisyon durumunu alıyor. Deneyde kullanılan özel yapılı örneklerde kuantum dönüşümü, S ile ilişkili durumu tamamlayıcısı üzerinde desteklenen bir duruma dönüştürüyor. Gürültüsüz ideal koşullarda yapılan ölçüm, S̄ içinden geçerli bir diziyi kesinlikte veriyor. 34

Burada sınanan temel kaynak, tek bir klasik gözleme indirgemeden çok sayıda olası diziye ilişkin bilgiyi dönüştürebilme yeteneği olan kuantum tutarlılığıdır. Bu deney, uzaysal uzaklıktaki sistemler arasındaki korelasyonları sınayan bir Bell testi ya da dolanıksallık-temelli yerelsizlik gösterimi değildir.

Neden fark üstel büyüyor?

Karşılaştırma doğrudan ham başarı olasılığına bakılarak yapılmıyor. Makale, klasik taban çizgisinin üzerindeki oyun-özel bir ihlal ölçütü tanımlıyor. Bernstein–Vazirani tabanlı aile için ideal kuantum-klasik oran 2^(n−1) oluyor. 4

Dizi uzunluğu arttıkça ideal kuantum sinyali kusursuz kalırken klasik stratejiye tanınan avantaj üstel biçimde küçülüyor. Bu nedenle asıl önemli unsur, tek bir 37 bitlik sonuç değil, ayrımın problem boyutuyla nasıl ölçeklendiği.

H2 işlemcilerinde ne yapıldı?

Ekip, Quantinuum’un tuzaklanmış iyon tabanlı H2 işlemcilerinde binlerce devre çalıştırdı. Deneyler en fazla 55 fiziksel kübit kullandı ve 37 bite kadar dizileri kapsadı. 48

Gerçek donanımda gürültü bulunduğu için gözlenen performans idealdeki kusursuz başarı düzeyinin altında kaldı; devreler büyüdükçe hata etkisi de arttı. Buna rağmen bildirilen sonuçlar ilgili klasik eşiğin istatistiksel olarak üzerinde kaldı. Bu da aygıtın kuantum stratejisini klasik sınırı ihlal edecek kadar iyi gerçekleştirdiğini destekliyor. 4

Dolayısıyla deneyin iddiası, klasik bir makinenin aynı sonlu bit dizilerini asla yazdıramayacağı değil. İddia, belirlenmiş girdi modeli ve oyun kuralları altında ölçülen çıktı dağılımının izin verilen klasik stratejinin erişebileceği sınırı geçtiği yönünde. 4

Önceki “kuantum avantajı” testlerinden farkı ne?

Daha önceki birçok kuantum örnekleme gösterimi, klasik benzetimin zor olması gerektiği sonucuna ulaşmak için hesaplama karmaşıklığına ilişkin varsayımlara dayanıyordu. Tamamlayıcı örnekleme yaklaşımında ise klasik sınırlama, kanıtlanmamış bir zorluk varsayımından çıkarılmıyor; doğrudan oyunun kendisi için türetiliyor. 34

Ayrıca doğrulama daha doğrudan: Hakem, gizli kümenin nasıl kurulduğunu bildiği için çıktının tamamlayıcı kümede olup olmadığını klasik hesaplamayla kontrol edebiliyor. Çalışmada bunun, büyük ölçekte doğrulama için pahalı klasik simülasyon veya çok sayıda örnek gerektirebilen rastgele devre örneklemesinden ayrıldığı belirtiliyor. 34

Bu özellikler, testi mevcut gürültülü kuantum donanımında temel bir kıyaslama aracı olarak değerli kılıyor.

Başlıktaki büyük sayının sınırları

Genel amaçlı bir hızlanma değil

Bu görev, örnek-temelli bilgi işleme alanında kuantum üstünlüğünü görünür kılmak için özellikle tasarlandı. Kimya, optimizasyon, yapay zekâ, kriptografi veya genel amaçlı hesaplama için pratik hızlanma kanıtı oluşturmuyor. 4

“Koşulsuz” ifadesi cihazdan bağımsızlık demek değil

Klasik sınır, matematiksel oyun içinde koşulsuz olarak elde ediliyor. Ancak laboratuvar protokolü hâlâ hakemin kuantum durumunu doğru hazırladığı varsayımını gerektiriyor. Bu, kritik aygıt bileşenlerine güvenmeden sonuç çıkarılabilen tamamen cihazdan bağımsız testlerden farklıdır. 4

Hakem ve oyuncu iki ayrı kuantum bilgisayarı değildi

Kuantum bilgisayarları birbirine bağlayan gerçek bir kuantum iletişim kanalı bulunmadığından, hakemin ve oyuncunun kübit kayıtları tek bir kuantum işlemcisine yerleştirildi; kuantum kanalı ise teleportasyonla benzetildi. 4

Daha güçlü bir gelecek gösterimi, bağımsız kontrol edilen ve gerçek bir kuantum bağlantısıyla iletişim kuran ayrı sistemlerde, tercihen hata toleranslı donanımda yapılabilir. Fakat dağıtık kuantum hesaplamada kuantum durumlarını aktarmak ve tutarlılığı korumak başlı başına darboğazlar yaratıyor. 14

Üstel ayrım son söz olmayabilir

Bu çalışma, bu oyun ailesi için üstel bir ayrım kuruyor. Bunun kuantum-klasik farkların ulaşabileceği en büyük ölçek olduğunu veya süper-üstel bir ayrımın imkânsız olduğunu göstermiyor. Verimli biçimde doğrulanabilen ve fiziksel olarak anlamlı görevlerde daha güçlü ayrımların mümkün olup olmadığı açık bir soru olarak duruyor.

Doğru okuma ne olmalı?

Quantinuum’un sonucu, mevcut tuzaklanmış iyon donanımının verimli biçimde doğrulanabilen bir tamamlayıcı örnekleme oyununda katı bir klasik sınırı geçtiğini gösteren net bir deneysel dönüm noktasıdır. İdeal ayrım da problem boyutuyla üstel olarak büyümektedir. 34

Bu, belirsiz bir “kuantum üstünlüğü” sloganından daha güçlü ve daha denetlenebilir bir iddiadır; çünkü görevin kuralları, ölçütü, doğrulama yöntemi ve güven varsayımları açıkça belirtilmektedir. Aynı ayrıntılar sonucun sınırlarını da çizer: Bu deney, kuantum süperpozisyonunun bu özel kurulumda üstel avantaj sağlayabildiğine dair ikna edici kanıttır; kuantum bilgisayarların bütün gerçek dünya iş yüklerinde klasik sistemleri geçtiğinin kanıtı değildir.