Kuantum Deneyi Tasarımı

Bir kuantum programı yazmak ile bir kuantum deneyi tasarlamak aynı iş değildir: yazılım devreyi kurar; tasarım ise hangi devreyi, hangi cihazda, kaç örnekle ve nasıl bir ölçümle çalıştıracağını, sonuçları hangi hipotezle karşılaştıracağını baştan belirler. Bu derste bu ünitenin parçalarını — devre, simülasyon, ölçüm ve istatistik — tek bir disiplinli akışta birleştirmeyi öğreneceksin. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Kuantum Deneyi Neden Tasarım İster?

Klasik bir programın çıktısı belirlenimcidir: aynı girdi her seferinde aynı sonucu verir. Kuantum deneyinde durum farklıdır: ölçüm doğası gereği olasılıksaldır — mükemmel yazılmış bir devre bile tek bir çalıştırmada rastgele görünen bir sonuç üretir; üstüne gerçek donanımda gürültü eklenir. Bu üçlü — olasılıksallık, gürültü ve sınırlı sayıda ölçüm (shot) — yüzünden "çalıştırdım, sonucuna baktım" yöntemi kuantumda kolayca yalan söyleyebilir. İyi bir tasarım bu yüzden cevaptan önce soruyu netleştirir: Neyi iddia ediyorsun, hangi ölçümle yanlışlanır, ne kadar gürültüye katlanabilirsin? Bu üç soru, deneyin nerede ve kaç shot ile çalıştırılacağına kadar tüm kararları belirler.

Deney Tasarımının Beş Adımı

Her sağlam kuantum deneyi aynı iskeleti izler:

1. Hipotez: Ölçeceğin niceliğin ne olacağını önceden, dağılım biçimiyle yaz: "Sonuçlar yalnızca 00 ve 11 olacak, her biri yaklaşık %50" gibi.
2. Devre tasarımı: Hipotezi üreten en küçük devreyi kur. Fazladan her kapı hem hata hem gürültü kaynağıdır; ayrıntı Kuantum Devresi Yazımı dersinde.
3. Yürütme planı: Durum vektörü simülasyonu mu, shot tabanlı simülasyon mu, gerçek donanım mı — ve kaç shot? Donanım seçimi kalibrasyon ve bağlantı haritasına göre yapılır.
4. Ölçüm tasarımı: Hangi kübitleri, hangi bazda ölçeceksin? Ara ölçüm durumu çöktürür; klasik akış gerekiyorsa Klasik Kontrol dersindeki yapıları kullan.
5. Analiz: Sonuçları hipotezle karşılaştır: sapma örnekleme hatasının makul aralığında mı, sistemli bir sorunun işareti mi?

Adımlar döngüseldir: analiz hipotezi yanlışlarsa devreye değil, önce tasarıma geri dönersin; çoğu zaman sorun devrede değil, tasarımdadır.

Örnek: Bell Durumu Deneyi Baştan Sona

Hipotez: H ve CNOT kapılarıyla Bell durumu |Φ⁺⟩ = (|00⟩ + |11⟩)/√2 hazırlanır; ölçüldüğünde sonuçlar yalnızca 00 ile 11 olur, her biri 1/2 olasılıkla. Devre: |00⟩ başlangıcından sonra kübit 0'a H uygula; durum (|00⟩ + |01⟩)/√2 olur. Ardından CNOT'u kübit 0 kontrol, kübit 1 hedef olacak biçimde kur; üst üste binme (|00⟩ + |11⟩)/√2 durumuna taşınır. Formel olarak bu, H ⊗ I kapısının ardından CNOT gelmesidir.

Yürütme planı: 1000 shot, her iki kübiti hesaplama bazında ölç. Teorik beklenti: her sonuç ≈ 500 sayı. Peki ne kadar sapma "normal"dir? Olasılığı p = 1/2 olan bir sonucun N denemedeki sayısal standart sapması √(N·p·(1−p)) = √250 ≈ 16'dır; yani 500 ± 16 bandı örnekleme hatasının doğal sınırıdır. Yüzde olarak ±%1,6; %95 güvenle konuşursan sınır ±%3,2'ye genişler. 00 oranı %47 çıkarsa panik yok; %40 çıkarsa bir şeyler ters gidiyor demektir: devre hatası mı, bit sırası yanlışı mı, cihaz gürültüsü mü? Bu ayrım Sonuçların İstatistiksel Analizi dersinin asıl konusudur.

Aynı deneyi üç ortamda çalıştırmak tasarımın gücünü gösterir. Statevector Simülasyonu olasılıkları tam verir: birebir %50–%50, istatistiğe yer yok. Shot Tabanlı Simülasyon örnekleme gürültüsü ekler: sayılar 500 ± 16 bandında oynar. Gerçek donanım üstüne cihaz gürültüsünü koyar: az sayıda 01 ve 10 belirir. Üçünü Ölçüm Histogramları ile yan yana koyduğunda hangi farkın örneklemeden, hangisinin gürültüden geldiğini görürsün.

Kontrol Kümesi: Değişkeni Tek Tek Oynat

Klasik deneysel bilimin altın kuralı burada da geçerlidir: bir seferde tek değişken oynat, kalanını sabitle. Gürültünün etkisini inceliyorsan devreyi aynı tut, yalnızca ortamı değiştir: ideal simülatör, gürültülü simülatör, donanım. Shot sayısının etkisini inceliyorsan N'i 250'den 4000'e büyüt: N 16 katına çıkınca standart sapma 1/√N gereği tam 4 kat daralır. Kontroller olmadan "donanımda sonuç bozuk" cümlesi bir yargıya dönüşemez; belki bozuk olan, devrenin donanıma çevrilmiş biçimidir — Devre Transpilasyonu kararları ve cihazın bağlantı haritası derinliği büyütür. Donanıma çıkmadan önceki hazırlık için Gerçek Kuantum Donanımında Çalıştırma dersine bak.

Sık Yapılan Hatalar ve Yanılgılar

• Az shot ile yargıya varmak: 10 shotla gelen %70–30'luk dağılım, gerçek oran %50–50 iken bile şaşırtıcı değildir; önce beklenen sapmayı hesapla.
• Statevector çıktısını istatistik gibi okumak: Bu simülasyon tam olasılıkları verir; ±%3'lük bir bandın orada yoktur.
• Aynı anda birden çok değişken değiştirmek: Devre, cihaz ve shot sayısını birlikte değiştirirsen farkın kaynağını asla söyleyemezsin.
• Kübit sırası (bit dizilimi) yanlışı: Çerçeveler sonucu farklı yazabilir; birinde "10" okuduğun sonuç öbüründe "01" olabilir. Histogramda beklenmedik bir simetri görürsen ilk bunu kontrol et.
• Sapmanın tamamını gürültüye yıkmak: Önce devreni ve tasarımını dışla; yanlış ölçüm bazı veya karışmış bit sırası gürültüden çok daha büyük sapma üretir. Bozulmaların deneysel yüzü Gürültü Modelleri dersindedir.

Bu ders ünitenin sentezidir: devre yazımından simülasyona, ölçümden analize uzanan araçları tek bir akışta birleştirdin. Ardından Sonuçların İstatistiksel Analizi dersiyle ölçütleri derinleştirecek, sonrasında yeni ünite Deutsch Algoritması'na geçilecek.

Kaynaklar ve İleri Okuma

IBM Quantum Learning — IBM'in resmî kuantum eğitim platformu; deney akışı ve Qiskit uygulamaları için güncel dersler.

Qiskit Dokümantasyonu — shot sayısı, ölçüm ve backend kavramlarının resmî referansı.

Bell state — Wikipedia — örnek deneyin merkezindeki Bell durumlarının tanımı.

Design of experiments — Wikipedia — değişkeni tek tek oynatma ve kontrol kümesi fikrinin klasik kökeni.

Quantum computing — Wikipedia — kübit, ölçüm ve gürültü temellerine genel bakış.