Kuantum kontrolü benzersiz bir model olmadan sertifikalandırılabilir mi?

Bir deneyin bir Hamiltonyen modelini iyi tahmin ettiğini düşünelim. Bu tahmine göre tasarlanan kontrolcü simülasyonda da başarılı olsun. İki gözlem de, aynı ölçümleri üretebilecek farklı bir Hamiltonyen varsa ne olacağını söylemez.

Eylül 2026 tarihli teknik çalışmada incelediğim soru buydu: Mevcut hazırlıklar ve ölçümler, benzersiz bir modeli tanımlamak yerine bir dizi olası fiziksel modeli kısıtladığında hangi kuantum kontrol performansı garanti edilebilir? Bunun ardından ikinci soru geliyor: Hangi ek deney, yalnızca parametre tahminini daha hassas göstermek yerine görev için verilen güvenceyi güçlendirir?

Şimdiye kadarki sonuç tanımlanmış bir sertifikasyon sorunu ve küçük, tekrarlanabilir bir illüstrasyondur. Genel bir sertifikasyon algoritması veya kuantum-hardware sonucu değildir.

Model seti garantinin nesnesidir

Sistem tanımlama, deneyin gerçekte neleri hazırlayabildiğine, kontrol edebildiğine ve gözlemleyebildiğine bağlıdır. İki modelin Hamiltonyenleri farklı olsa bile, belirli bir deney kütüphanesi altında işlemsel olarak ayırt edilemeyen olabilirler. Burgarth ve Yuasa’nın sistem tanımlama çerçevesi, neyin bilinebileceği sorusunun merkezine gerçekleştirilebilir deney koşullarını koyar.

Bu nedenle önce fiziksel modelin geçerli alanını ilan ediyor, ardından veri ve varsayımlarla uyumlu her model tutuyorum. Küme bağlantısız dallar içerebilir. Tek bir parametre tahmininin çevresindeki güven aralığı başka bir dalı tamamen kaçırabilir. Ayırt edici olmayan aynı ölçümü tekrarlamak, örnekleme gürültüsünü azaltır ama yapısal belirsizliği çözmez.

Düzgün tutmak için iki ayrım vardır:

• Kesin gözlemsel eşdeğerlik, iki modelin, belirtilen bir kimlik kitaplığındaki her protokol için aynı sonuç olasılıklarını öngörmesi anlamına gelir. Bu bir eşdeğerlik ilişkisidir.
• Sonlu veri tutarlılığı kümesi, tahminleri belirtilen istatistiksel kısıtlamaları karşılayan modeller içerir. Ölçülen frekanslara yakın olmak, bir eşdeğerlik ilişkisini tanımlamaz.

Kümenin tek modele indirgenmesi gerekmez. Veri yeterliliği üzerine klasik çalışmalar, benzersiz tanımlama olmadan da kimi durumlarda yararlı analiz veya kontrol yapılabildiğini zaten gösteriyor. Bu nedenle bütün uyumlu modelleri tutmak, bu çalışmanın yenilik iddiası değil, önceki araştırmadan gelen başlangıç noktasıdır.

Bir kontrol için (u), görev kaybı l ve ek pertürbasyon bütçesi (r), istediğim sertifikanın formu vardır:

B_D(u, r) supl(u, m, d) : m M(D), d (r). Yalnızca verilerle uyumlu model kümesi M(D) boş değilse ve B_D(u, r) ≤ ε koşulu sağlanıyorsa sertifika verin; burada ε, beyan edilen kayıp toleransıdır.

Fiziksel varsayımlar, izin verilen kontroller, hedef, ölçüm çerçevesi, kayıp ve pertürbasyon yarıçapının birimleri belirtilmelidir. Örneklenmiş bir parametre taraması başarısızlıkları bulabilir; incelemediği sürekli model kümesini sertifikalandıramaz.

Tek kübitli bir örnek belirsizliği gösteriyor

Kasıtlı olarak kısıtlanmış, kalibre edilmiş bir qubit modeli alın:

H = (ω + u)Z/2

Bilinmeyen sürüklenme, ω = ±1 çevresinde iki fiziksel daldadır. Tanımlama deneyi X-pozitif durumu hazırlar, bir zaman birimi serbest evrim uygular ve X’i ölçer. Pozitif sonuç olasılığı (1 + cos ω)/2 olur. Kosinüs çift fonksiyon olduğundan = +1 ve = 1 tam olarak aynı X istatistiklerini verir. Aynı deneyi daha fazla tekrarlamak bu dalları ayıramaz.

Şimdi kontrol süresini T = π/2 olarak sabitleyin, yalnızca değişmeli Z kontrolü u ∈ [−2, 2] kullanın ve kalibre edilmiş hedef kapıyı Rz(π/2) isteyin. Süreç sadakati Fₚ(u,ω) = cos²[(ω + u − 1)π/4] olur. Burada süreç sadakati, belirtilen üniter hedefe göre kapı örtüşmesi ölçüsüdür; ortalama kapı sadakati değildir.

Uyumlu ω = ±1 çifti için, izin verilen her kontrolde Fₚ(u,+1) + Fₚ(u,−1) = 1. Bu yüzden iki sadakatin küçüğü 0.50 değerini aşamaz. Yalnızca pozitif dala uydurulan kontrolcü u = 0 seçer: sadakati o dalda 1, diğerinde 0 olur. Aşağıdaki analitik şekilde mavi eğri, iki model de tutulduğunda geriye kalan güvencedir.

0.50 üst sınırı; sabit süreye, kalibre edilmiş referans çerçevesine ve değişmeli kontrol sınıfına bağlıdır. Bu koşullar değiştirilirse sonuç da değişebilir. Bu, bu görev ve deney kütüphanesi için bir engeldir; kuantum kontrolün evrensel sınırı değildir.

Kalibre edilmiş Y ölçümü (1 + sin ω)/2 üretir ve işaretleri ayırır. ω = ±1 için X olasılıkları iki durumda da yaklaşık 0.770 iken, Y için yaklaşık 0.921 ve 0.079’dur. Y’nin yararlı özelliği, bir görev için önemli olan küresel takma ad durumunu gidermesidir. Yalnızca yerel parametre hassasiyeti bu ayrımı kaçırabilir.

Aynı ölçüm bütçesi, farklı garantiler

Ayrıca her biri 8,192 sıfırlama ölçümü kullanan ve model kümesi için ayrı bir %95 kapsama ifadesi kurulan iki önceden tanımlanmış sentetik ölçüm tasarımını karşılaştırdım. A tasarımı iki X grubu, B tasarımı bir X ve bir Y grubu alır. İkisi de aynı fiziksel önseli ve gerçek simülasyon değeri ω = 1’i kullanır. Çalışmada NumPy tohumu 20260923 olarak sabitlenir ve grup sayıları kaydedilir: X ölçümleri 3,091/4,096 ve 3,146/4,096; Y ölçümleri 3,790/4,096 başarı verir.

Değerlendirme	Süreç sadakati alt sınırı
X-sadece: pozitif dal tutulur, negatif dal yanlış atılır	0.999235 görünürdeki değer
Aynı kontrolcü, X ile uyumlu iki dal da korunuyor	0.000019 gerçek en kötü durum
X-only: Her iki dal üzerinde sağlam bir kontrolör	0.488360
X artı Y: tutulan tek aralık üzerinde denetleyici	0.998215

X ve Y birlikte kullanıldığında uyumlu aralık yaklaşık [0.9817915, 1.0893959] olur. Bu aralık, yalnızca X kullanan bir daldan daha geniş. İyileşme daha dar bir yerel aralıktan değil, rakip işaretin elenmesinden gelir. Bu analitik modelde orta nokta kontrolü yaklaşık u = −0.035594, en kötü durum süreç sadakati ise cos²[(b − a)π/8] ≈ 0.998215 olur. Ayrı tanımlanan sabit sürüklenme |d| ≤ r için aynı model, r ≈ 0.073735 normalize açısal frekans birimine kadar Fₚ ≥ 0.99 koşulunu korur.

Bunlar, ilan edilen modelde kapalı biçimli ekstremumların yuvarlanmış hesaplarıdır. Uygulama, dışa doğru yuvarlayan aralık ispat motoru değil, normal kayan nokta aritmetiği kullanır. Karşılaştırma tek bir sentetik örnektir; X-artı-Y yaklaşımının veya sertifika odaklı uyarlanabilir politikanın genel üstünlüğünün kanıtı değil.

İstatistiksel kapsam ve sağlam performans farklı iddialar

Sonlu atışlı model kümesi istatistiksel güvence gerektirir. Bağımsız sıfırlama atışları içeren sabit ikili protokollerde çalışma; ilan edilen fiziksel alan ve örnekleme varsayımları altında, gerçek durağan modeli en az 1 − α olasılıkla tutmak için Hoeffding yarıçapları ve birleşim sınırı kullanır. Uyarlanabilir deney dizisi geçerli ardışık hata bütçesi veya güven dizisi gerektirir. İsteğe bağlı durdurmadan sonra sıradan sabit zamanlı 95% aralığını tekrar tekrar kullanmak yetmez.

Performans hesabı daha sonra, tutulan bütün küme üzerinde deterministik bir üst sınır gerektirir. Küme gerçek modeli içeriyor ve sınır geçerliyse, verilen sertifika bu modeli kapsar. Belirtilen varsayımlar altında geçersiz sertifika verme olasılığı, en fazla model kümesinin gerçek modeli kapsamama olasılığıdır. Bu, verilmiş sertifikalar arasındaki hata oranıyla kendiliğinden aynı değildir.

Uyumlu model kümesinin boş olması, verilerle model varsayımlarının çeliştiğini gösterir. Bu boş bir başarı değil, tanısal bir bulgudur. Cihaz sürüklenmesi, kalibrasyon belirsizliği, hazırlama hataları ve ölçüm fazı hataları modele katılmalı veya model uyumsuzluğu olarak sınanmalıdır. Daha fazla atış, dışarıda bırakılan fiziksel mekanizmayı ortadan kaldırmaz.

Açtıkları görev için deney seçin

Araştırma yönü, uygulanabilir yeni bir deneyi; atışları, sorgulama süresini ve hesaplamayı hesaba katarak sertifikalı görev kaybı veya sağlamlık yarıçapına etkisiyle puanlamak. Bu, tahmin edilmiş Hamiltonyenin kovaryansını küçültmekten farklı bir hedef. Etkin Hamiltonyen öğrenimi zaten bilgi sağlayan sorguları seçiyor; tek başına uyarlanabilir ölçüm kuralı yeni olmaz. Katkı için savunulabilir görev odaklı hedef, geçerli doğrulayıcı ve eşit kaynaklarla ölçülmüş kazanım gerekir.

İlgili iki parametreli algılama örneği aynı sorunu gösterir. Hedef faz a ile istenmeyen faz b yalnızca a + b üzerinden etkiliyse, tek bir hassas ölçüm bunları ayıramaz. −a + b değerine yanıt veren ikinci kalibre edilmiş protokol, ilan edilmiş temel faz alanı ve kararlı istenmeyen etki varsayımları altında bunları ayırabilir. Yan etkenleri hesaba katan kuantum kestirimi yerleşik literatürdür; bu indirgenmiş hesap, ilerideki uygulama deneyinin neyi çözmesi gerektiğini belirler. Atom interferometresi simülasyonu veya deney sonucu değildir.

Sırada ne var ve çalışmanın neyi oluşturmadığı

Sonraki teknik adım, düşük boyutlu ve bağlantısız olabilen uyumlu model kümeleri için doğrulayıcı geliştirmek. Çözümlenmemiş her dal korunmalı, sürekli küme boyunca kayıp üst sınırı üretilmeli ve sınırın ne kadar ihtiyatlı olduğu gösterilmeli. Kontrolcü optimizasyonu aday önerebilir; bağımsız doğrulama bunları sertifikalandırmalıdır. Yayımlanmış diferansiyel duyarlılık sınırları karşılaştırma temeli sunar; yerel duyarlılık sonucu uzaktaki uyumlu dalı otomatik kapsamaz.

Ancak bundan sonra sabit, tahmin odaklı ve sertifika odaklı deney tasarımları; aynı fiziksel önbilgi, kontrol sınıfı, atış bütçesi, sorgulama süresi ve hesaplama kaynaklarıyla adilce karşılaştırılabilir. Sertifikalandırılamayan ve model uyumsuzluğu gösteren durumlar sonuçlara katılmalıdır. Sonraki bir optik örgü uygulaması için tanımlı düzenek modeli, mevcut ölçümler ve gerçek deney erişimi gerekir.

Önceki QANTIS araştırmaları çalışmam, kuantum deneyleri, belirsizlik ve klasik referans yöntemler konusunda deneyim sağlıyor. QFlow Studio ilerideki deney kaydını tekrarlanabilir tutabilir. Burada ileri sürülen bilimsel katkı bunlar değil. Mevcut çıktı; araştırma formülasyonu, analitik örnekler ve sınırlı bir sentetik hesaptır. Genel yöntem, uyarlanabilir politika karşılaştırması, açık sistem uzantısı ve laboratuvar doğrulaması henüz tamamlanmamış işlerdir.

Kaynaklar

1. Burgarth ve Yuasa, Kuantum Sistem Tanımlaması (2012) journals.aps.org
2. van Waarde et al., Veri bilgiselliği (2020) arxiv.org
3. O'Neil et al., Dinamik kuantum kontrolü için Diferansiyel duyarlılık sınırları (2024) arxiv.org
4. Dutt et al., Kuantum sisteminin aktif öğrenme Hamiltonians (2023) journals.aps.org
5. Suzuki, Yang ve Hayashi, sıkıntı parametreleri ile Kuantum durum tahmini (2020) arxiv.org