GHZ durumu — N kübitlik maksimum dolanıklık zinciri

GHZ durumu, en az üç kübitin maksimum düzeyde dolanık olduğu özel bir kuantum durumudur. Adını ilk olarak 1989'da bu durumu inceleyen üç fizikçiden alır: D. M. Greenberger, M. Horne ve A. Zeilinger.

Düşünce yapısının özü, Bell durumlarında gördüğümüz deseni daha fazla kübite taşımaktır. İki kübitlik örnekte sık kullanılan durum $\ket{\Phi^+} = \tfrac{1}{\sqrt{2}}\bigl(\ket{00} + \ket{11}\bigr)$ şeklinde yazılır: tek bir ölçüm turunda ya hep 00, ya hep 11 görürsünüz; dolayısıyla iki kübit Z tabanında tam uyumlu davranır — sanki ortak bir “ya hep böyle ya hep öyle” kararı paylaşırlar.

Üçüncü (ve sonraki) kübitleri ekleyince doğal soru şudur: Bu iki klasik tabloyu — hep sıfırlar ve hep birler — en basit süperpozisyonla birlikte tutmak için kaç kübit gerekir? Üç kübit için cevap $\ket{GHZ} = \frac{1}{\sqrt{2}}\bigl(\ket{000} + \ket{111}\bigr)$; dört kübit için 0000 ile 1111, beş için 00000 ile 11111 — genel olarak $N$ kübitlik sistemde yalnızca iki tam uyumlu “kollektif dünya” kalır ve araya karışık desenler (010, 101, …) süperpozisyona girmez. Böylece Bell'deki “iki kübit birden anlaşır” görüntüsü, aynı mimariyi koruyarak üç, dört, beş, … partiye uzar.

Yapı taşı — bütün ve parçalar

Bütün hakkında bilgi tam, parçalar hakkında belirsiz $N$ kübitlik bir GHZ sistemi, çok kübitli durumun matematiksel olarak yazıldığı iç çarpımlı vektör uzayında tam tanımlıdır; burada her klasik bit dizisi bir taban yönüne karşılık gelir ve genel kuantum durumu bu yönlerin doğrusal süperpozisyonudur. Başka bir deyişle sistem tek bir durum vektörüyle özetlenir; ancak bu vektörden tek bir kübiti “izole” etmeye kalkıştığınızda elinizde yalnızca “yarı 0, yarı 1” gibi tamamen rastgele görünen bir karışım kalır. Yani "sistem"in durumu hakkında her şeyi biliyoruz, ama "parça" hakkında en iyi tahminimiz yazı–tura.

Tek istisna: ortak ölçüm Tüm kübitleri aynı tabanda ölçtüğünüzde sonuçlar her zaman birbirini doğrular. Üç kübitlik standart GHZ'de hep ya 000, ya 111 okursunuz; arada 010 ya da 101 görmezsiniz. Bu, tek bir kollektif sesin $N$ kübitten birden konuşması gibidir.

Matematiksel ifadesi

Katsayı $\tfrac{1}{\sqrt{2}}$ Bell durumundakiyle aynı sebep: olasılıkların toplamı 1 olmalı. İki olası dünya (hep-0 ve hep-1) %50–%50 paylaşır; $|\tfrac{1}{\sqrt{2}}|^2 + |\tfrac{1}{\sqrt{2}}|^2 = 1$.

$\ket{0}^{\otimes N}$ notasyonu "$N$ tane $\ket{0}$'ın tensör çarpımı" anlamına gelir; |0⟩⊗|0⟩⊗|0⟩'ı kompakt yazma yolu. Tensör çarpımı, çoklu kübit sistemlerini matematiksel olarak birleştirme işlemidir; iki bağımsız kübitin hep birlikte düşünülmesini sağlar.

Çok kübit dolanıklığı yalnızca GHZ değildir Üç ve daha fazla kübit için başka örüntüler de vardır; örneğin W durumu tekil kübitler üzerinde farklı yerel karışımlar ve ölçüm istatistikleri üretir; tam dolanıklık ölçütleri GHZ ile özdeş değildir. Bu sayfa çekirdeği GHZ üzerinden kurar; W durumu (ve benzeri sınıflar) ayrı sayfalarda işlenir.

GHZ, sadece "büyük Bell" değil; üç ayrı pratik alanın temel taşıdır. Yerel gerçekçiliği deterministik biçimde dışlar, kuantum hata düzeltme kodlarının kalbinde durur ve birden fazla taraf arasındaki güvenli iletişim protokollerine zemin sağlar.

Yerelliğin reddi · GHZ paradoksu

Bell'den daha sert kanıt Klasik fizik, bir nesnenin özelliklerinin gözlem yapılmasa bile önceden tanımlı ve uzayda yerel olması gerektiğini söyler (yerel gizli değişken hipotezi). Bell eşitsizlikleri bu hipotezi istatistiksel olarak dışlar; GHZ ise deterministik olarak dışlar: yapılan tek bir ölçüm bile klasik gerçekçilikle çelişir.

Felsefi sonuç Doğa, ölçülmediği zaman bile "her parçanın kesin değeri vardır" demez. GHZ paradoksu, "yerel + gerçekçi" iki klasik varsayımı aynı anda korumanın mantıksal olarak imkânsız olduğunu gösterir.

Kuantum hata düzeltme zemini

Üç kübit, tek bilgi En basit kuantum hata düzeltme kodları (örn. 3-kübit bit-flip kodu) GHZ benzeri durumlardan türetilir. Mantık şu: tek bir kuantum bilgisini üç kübit arasında dağıtırsak, kübitlerden biri çevreden bozulduğunda (bit-flip hatası), kalan ikisinin korelasyonu hatayı tespit edip düzeltmemize yetecek bilgi taşır.

Stabilizör formalizmi GHZ, daha gelişmiş kodların (Steane, Shor, surface code) yapı taşı olan stabilizör durumlarının basit ama anlamlı bir örneğidir. Bu yüzden "GHZ üretebiliyor musun?" sorusu, donanım kalibrasyonunda küçük bir "sağlık testi" olarak kullanılır.

Çok partili gizli paylaşım (QSS)

Üç tarafın anahtarı Quantum Secret Sharing protokollerinde bir gizli mesaj $N$ taraf arasında öyle paylaştırılır ki tek bir taraf bilgiyi okuyamaz; çözmek için şemaya bağlı olarak genelde belirli bir eşik — örneğin üç taraflı düzenlemelerde çoğu zaman en az iki tarafın ölçümlerini bir araya getirmek — yeterlidir; bazı varyantlarda tüm taraflar gerekir. GHZ durumu, bu paylaşımı doğal olarak kurar — çünkü sonuç ancak kollektif ölçümle anlam kazanır.

Klasik karşılığı yok Klasik kriptoda çok partili paylaşım, ortak güvenilir bir aracı veya karmaşık şifreleme teknikleri ister. Kuantum dünyasında ise GHZ'nin kollektif istatistiği bu güvencenin fiziksel yansımasıdır: herhangi bir gözlem girişimi sistemi bozar ve tespit edilebilir.

GHZ durumu oluşturmak, esasen bir dolanıklık yayılım işlemidir: önce ilk kübiti süperpozisyona sokarız, ardından bu süperpozisyonu sırayla sonraki kübite "kopyalar" gibi davranan zincirleme bir CNOT akışıyla tüm sisteme yayarız. Reçete sade ama derin — algoritmanın güzelliği, $N$ değiştiğinde devre yapısının değişmemesidir; sadece zincir uzar.

Aşama 1 süperpozisyon tohumu

H kapısı (Hadamard) İlk kübiti $\ket{0}$'dan (|0⟩ + |1⟩)/√2 süperpozisyonuna alır. Bu adım, "iki olasılığın aynı anda yaşadığı" başlangıç durumunu kurar; tüm GHZ zincirinin tohumudur. q0'ı tek başına ölçseydiniz %50–%50 alırdınız; ölçmüyoruz, sadece ekiyoruz.

Aşama 2 Bell çiftine genişlet

CNOT(0, 1) İlk kübit kontrol, ikinci kübit hedef olacak şekilde uygulanır. Tam olarak Bell durumu reçetesinin ikinci adımıyla aynıdır — ve sistemi |Φ⁺⟩ = (|00⟩ + |11⟩)/√2 Bell durumuna götürür. Burada GHZ ile Bell ortak bir kökenden başlar.

Aşama 3 zincirleme yayılım

CNOT(1, 2), CNOT(2, 3), … Bu noktada işin sırrı: ikinci kübit q1 zaten q0 ile dolanık. Şimdi q1'i kontrol, q2'yi hedef olarak kullanan bir CNOT daha uygularsanız, q2 da zincire katılır. İşlemi q3, q4, … için tekrarlarsanız tüm sistem (|00…0⟩ + |11…1⟩)/√2 yani $\ket{GHZ_N}$ olur.

Yayılım düşüncesi Zincirleme CNOT, dolanıklığı kontrol kübitinden hedefe aktarır: önce q0–q1 bir Bell çiftine oturur, ardından sıradaki CNOT'lar q2, q3, … kübitlerini aynı kolektif süperpozisyona dahil eder. Klasik “sırayla devrilen domino” benzetmesi zinciri takip etmeye yardımcı olabilir; önemli fark şudur: burada taşların durumu tek bir kuantum dalında süperpozisyonda kalır — zincirin tamamı birlikte yaşar, klasik tek tek devrilme değildir.

1. 1

   İlk kübite H uygula — (|0⟩ + |1⟩)/√2 süperpozisyonu kurulur.

2. 2

   İlk kübit kontrol, ikinci kübit hedef olacak şekilde CNOT uygula. Sistem |Φ⁺⟩ Bell durumuna geçer.

3. 3

   İkinci kübit kontrol, üçüncü kübit hedef olacak şekilde bir CNOT daha uygula. Üçüncü kübit zincire katılır → standart üç-kübit GHZ.

4. 4

   Aynı kalıbı $i$-inci kübit kontrol, $i+1$-inci kübit hedef olacak şekilde $N-1$ kez tekrarla. $N$ kübitlik GHZ elde edilir.

5. 5

   Tüm kübitleri klasik bitlere ölç. Beklenen sonuç: yalnızca 000…0 ve 111…1 ~%50–%50.

Aşağıdaki örnek tek dosyada üç kübitlik GHZ durumunu kurar, ölçer ve histogramı yazdırır. Devre H ve CNOT ile dolanıklık zincirini oluşturur; ardından AerSimulator üzerinde 1024 atış çalıştırılır. Ölçeklenebilirlik için kübit sayısı n_qubits değişkeniyle parametrize edildi — tek bir sayıyı değiştirip 5, 7, 10 kübitlik GHZ deneyebilirsiniz.

from qiskit import QuantumCircuit
from qiskit_aer import AerSimulator
from qiskit.visualization import plot_histogram

# 1. Devre Kurulumu: 3 kübit ve 3 klasik bit
n_qubits = 3
qc = QuantumCircuit(n_qubits, n_qubits)

# 2. GHZ Algoritması Adımları
# Adım 1: İlk kübiti süperpozisyona al
qc.h(0)

# Adım 2: Dolanıklığı yay (zincirleme CNOT)
for i in range(n_qubits - 1):
    qc.cx(i, i + 1)

qc.barrier()

# 3. Ölçüm
qc.measure(range(n_qubits), range(n_qubits))

# 4. Çalıştırma
simulator = AerSimulator()
job = simulator.run(qc, shots=1024)
counts = job.result().get_counts()

print("\nGHZ Durumu Ölçüm Sonuçları (000 ve 111 beklenir):")
print(counts)

Kod analizi · satır satır

Importlar QuantumCircuit devre nesnesini taşır; AerSimulator yerel makinemizde gürültüsüz bir kuantum donanımı taklit eder. plot_histogram terminal yerine grafik istemiyorsanız zorunlu değildir; ama 5+ kübitlik GHZ'lere geçtiğinizde sayı yığılması başlar, görsel histogram işinize yarar.

n_qubits = 3 Algoritmayı parametrik tasarlamamızın anahtarı. Bu satırı 5 ya da 7 yaptığınızda devre kodunda hiçbir başka değişiklik gerekmez — döngü otomatik olarak gereken zinciri kurar. GHZ'nin "$N$'e ölçeklenir" doğasının kod düzeyinde karşılığı.

qc = QuantumCircuit(n_qubits, n_qubits) $N$ kübit + $N$ klasik bit. Klasik bit sayısını kübit sayısıyla eşit tutmak zorunlu değil ama "her kübiti ölçeceğiz" planımızı belgelemenin temiz bir yoludur. range ile beraber kullanılması oldukça pythonic.

qc.h(0) — tohum Algoritmanın tek "Hadamard" satırı. q0 |0⟩'dan (|0⟩ + |1⟩)/√2 süperpozisyonuna geçer. Bu noktadan sonra eklenen her cx bu süperpozisyonu sonraki kübite taşır; ikinci bir Hadamard'a ihtiyaç yoktur.

for i in range(n_qubits - 1): qc.cx(i, i+1) Yapı zarif: $i = 0$'dan başlayıp $N-2$'ye kadar gider; her adımda qc.cx(i, i+1) "$i$ → $i+1$" yönünde CNOT ekler. 3 kübitlik durumda iki CNOT (q0→q1 ve q1→q2); 7 kübitlik için altı CNOT olur. Devre derinliği $N-1$ ile doğrusal uzar.

qc.barrier() Hesaplamaya etkisi yoktur; sadece qc.draw() ile çizdirildiğinde "hazırlık" ile "ölçüm" arasına dikey bir ayraç koyar. Bunun yanında transpiler'ın ölçüm kapılarını dolanıklık zincirinin ortasına sızdırmasını engeller — kontrollü deneylerde ufak ama önemli bir koruma.

qc.measure(range(n_qubits), range(n_qubits)) Bell devresinin qc.measure([0, 1], [0, 1]) satırının ölçeklenebilir kuzeni. Birinci argüman ölçülecek kübitleri, ikinci argüman bunların düşeceği klasik bitleri belirtir; range(n_qubits) her ikisini de tek hamlede kapsar.

simulator.run(qc, shots=1024) 1024 atış, $N = 3$ için her senaryoyu (yalnızca iki mümkün: 000 ve 111) çoklu defa örnekler. $N$ büyürken muhtemel histogram anahtarları aynı kalır (yine sadece "hep 0" ve "hep 1") çünkü diğer tüm kombinasyonların olasılığı sıfırdır. Donanımda gürültü artarsa "kaçak" değerler birikir.

counts {"000": ~512, "111": ~512} gibi bir sözlük bekleriz. Anahtar bit sırası Qiskit konvansiyonuna göre sağdan-sola (en sağdaki c0); ama GHZ devresi simetrik olduğundan üç bit de aynı değeri taşıyacağı için bu detay GHZ özelinde fark etmez.

Çalıştırma için tek bir Python ortamında qiskit ve qiskit-aer paketlerinin kurulu olması yeterlidir; kurulumun tek bakışta özeti ana sayfadaki IDE ve çalıştırma bölümündedir. Gerçek donanımda denemek için AerSimulator() satırını QiskitRuntimeService().backend("ibm_brisbane") gibi bir IBM cihazıyla değiştirin; $N$'i artırırsanız kübit topolojisinin zinciri destekleyip desteklemediğini kontrol etmeyi unutmayın (backend.coupling_map).

Örnek üç kübit için (n_qubits = 3) Qiskit metin çıktısı kapıları soldan sağa sıralar; ░ sütunu koddaki barrier() ile ölçüm arasındaki ayraçtır. Bariyer sütununun satır satır “tam düşey” görünmemesi terminal düzeninden kaynaklanabilir; mantıksal zaman dilimi yine de tüm hatlarda aynıdır. Sağdaki SVG aynı üç kübit akışını kolon kolon okunur kılar.

     ┌───┐           ░ ┌─┐      
q_0: ┤ H ├──■────────░─┤M├──────
     └───┘┌─┴─┐      ░ └╥┘┌─┐   
q_1: ─────┤ X ├──■───░──╫─┤M├───
          └───┘┌─┴─┐ ░  ║ └╥┘┌─┐
q_2: ──────────┤ X ├─░──╫──╫─┤M├
               └───┘ ░  ║  ║ └╥┘
c: 3/═══════════════════╩══╩══╩═
                        0  1  2 

Bu şema, 5 · Aynı Devre (İki Temsil) bölümündeki üç kübitlik akışı korur; sol uçta q0'a H uygulanır; ardından CNOT domino dizisi (q0→q1, q1→q2) dolanıklığı zincire yayar; en sonda her üç kübit ayrı ayrı ölçülerek klasik kayda yazılır.