Kanıt kapıları veya kuantumun yerini kazanıp kazanmadığına nasıl karar verileceği

Bir kuantum programına, kuantum yolunu terk etmeleri için hangi koşulların oluşması gerektiğini sorun. Çoğu yanıtlayamaz. İnsanların işi ciddiye almamasından değil; sorunun başlangıçta sorulmamış olmasından. Soru rahatsız edici hâle geldiğinde, onu sormayı zorlaştıracak kadar yatırım yapılmıştır.

Cevabı ilk günden hazır hale getiren bir yapı istedim. Her biri başarısız olabilecek bir duruma sahip dört kapı.

G0, tanımla

İş yükü, yerel kontrolün dışında çalıştırmak için açık, ölçülebilir, gecikmeye dayanıklı ve güvenli olmalıdır.

Aday iş yüklerinin çoğu burada elenir; erken elenmek ucuzdur. İş yükünü ölçülebilecek kesinlikte tanımlayamıyorsanız, sonraki aşamalar yorum tartışmasına dönüşür. Gecikmeye kritik derecede duyarlıysa, algoritma ne kadar iyi olursa olsun mevcut donanım erişimi onu dışlar. Yerel denetimden güvenle ayrılamıyorsa bulut kuantum arka ucu kullanılamaz.

G0'dan net bir hayır almak haftada bir kez olur. G3'ten almak yılda bir kez olur.

G1, simüle et

Alternatif yöntem, güçlü bir klasik referansa karşı geçerli sonuçlar üretmek zorundadır.

Bu cümlede belirleyici kelime güçlü. Bir kuantum yöntemini kasıtlı olarak zayıf tutulmuş klasik bir yöntemle karşılaştırmak, bu alanda yetkin bir değerlendiricinin incelemesine dayanamayacak sonuçlar üretmenin en yaygın yoludur. Referans yöntem, yetkin bir mühendisin aynı sorunu kuantum kullanmadan çözmesi istendiğinde gerçekten kuracağı çözüm olmalıdır.

QANTIS çalışmalarında referans, doğru karşılaştırma ve aynı zamanda affetmeyen bir Bayesian çıkarımıdır.

G2, koru

Donanım yürütme, bilgiyi, kısıtlamaları ve belirsizliği korumak zorundadır.

Bu eşik belirli bir hata biçimi nedeniyle var. Bir yöntem, problemi zorlaştıran unsuru atarak başarılı görünebilir. Belirsizlik temsili yürütme boyunca korunmuyorsa, çıkarım problemi çözülmemiş; daha kolay başka bir problemle değiştirilmiştir. Sayılar iyi görünse bile karşılaştırma anlamsız olur.

G3, uygunluğu doğrula

Tam yol, doğruluk, gecikme, güvenilirlik ve maliyet sayıldıktan sonra karar değeri eklemek zorundadır.

G3’te her şey hesaba katılır: kuyruk süresi, kalibrasyon kayması, atış başına maliyet, ikinci yürütme yolunu sürdürmenin operasyonel karmaşıklığı. Bir yöntem gerçekten daha doğru olduğu hâlde bu eşiği geçemeyebilir; tek ölçüt doğruluk değildir.

Değerlendirme aşamaları neden yayımlanır?

İki nedeni var.

Birincisi içseldir. Çıkış koşullarını bilen bir ekip coşkudan ziyade kanıtlar hakkında tartışır. Bir sonuç çubuğun altına geldiğinde, konuşma kısadır.

İkincisi dışarıya dönüktür. NODERIQ’ın kuantum yolunun koşullu olduğunu söylemem, koşulun ne olduğunu da açıklamadıkça pek değer taşımaz. Yayımlanmış eşikler, iddiayı denetlenebilir kılar. Okuyucu eşikleri ve yayımlanan sonuçları inceleyip hangilerinin gerçekten geçildiğine kendi karar verebilir.

Şu anki dürüst yanıt şu: inanç durumu güncellemesi iş yükü için G0 ve G1 ele alındı; iki QANTIS makalesindeki donanım deneyleri G2’yi sınamak üzere tasarlandı; G3 ise henüz netleşmedi. Koşullu kuantum yolunun üç aşamalı yol haritasında üçüncü aşama olmasının bir nedeni var. Birinci aşama klasik bir yapay zekâ çekirdeğidir. Üçüncü aşama gerçekleşse de gerçekleşmese de çalışması gerektiği için önce gelir.