Mantıksal ve fiziksel kübit — Kod uzayı, taşıyıcılar ve eşik düşüncesi

Fiziksel kübit, donanımda tek bir kuantum iki seviyeli sistem ve ona bağlı gürültü kanallarıdır. Mantıksal kübit ise birden çok fiziksel kübit ve yardımcı ölçümlerle korunan, hata oranı daha düşük hedeflenen bilgi birimidir. Bu sayfa kavramları, ek yükü ve NISQ azaltmadan ayrımı işler; tam kod cebiri ve çözümleyici ayrıntıları kuantum hata düzeltme dosyasında derinleşir. Üst çerçeve hata azaltma girişindedir.

Neden iki kelime?

“Kübit” sözcüğü hem algoritma düzeyinde soyut durumu hem de transmon veya tuz iyonu gibi gerçek bir modu çağrıştırır; mantıksal/fiziksel ayrımı bu iki anlamı ayırır.

Ne vaat edilmez

Bu sayfa belirli bir donanımın pinout veya kalibrasyon tablosunu vermez; okuma matrisi kestirimi ölçüm azaltma başlığında kalır.

Denetleyici yazılımın gördüğü en küçük adreslenebilir kuantum sistem genellikle fiziksel kübittir: kapılar, ölçüm ve bağlantı (bağlantı hataları dahil) bu düzeyde modellenir. Süre tabanlı gevşeme ve kapı hataları termal gevşeme ve Pauli dosyalarında; okuma kanalı okuma hatası başlığında işlenir.

Ölçüm ve gürültü modeli

Aer veya donanım kopyası için kanal seçimi NoiseModel ile yapılır; mantıksal katman bu modelin üstüne inşa edilir.

Çok kübit etkileşimi

Çapraz konuşma ve bağlantı sınırları, yalnızca tek kübit kanallarının toplamı olmayan hata yolları açar; mantıksal tasarımda bu etkiler göz önüne alınmalıdır.

Bir [[n, k, d]] kuantum kodunda k mantıksal kübit, n fiziksel kübit üzerindeki 2^k boyutlu bir kod uzayına gömülür; minimum mesafe d, düzeltilebilen hata sayısıyla ilişkilidir. Pratikte, denetleyiciler (stabilizer) bu uzayı sürekli veya periyodik olarak doğrular; semptom (sendrom) vektörü hatanın sınıfını işaret eder.

Klasik benzetme

Tekrarlı bit oylaması (çoğunluk kodu) klasik dünyada aynı bilgiyi birden çok fiziksel bellek hücresinde tutmayı gösterir; kuantumda benzer fikir vardır fakat klonlama yasağı ve süperpozisyon nedeniyle mekanizma daha zengindir.

Stabilizer resmi

Pauli denetleyicileri ile çalışma çerçevesi stabilizer sayfasında; burada yalnızca mantıksal bilginin “denetim altı alt uzayda” yaşadığı sezgisi yeterlidir.

Yüzey kodları ve renk kodları gibi aileler, yerel hatalara dayanıklılık ve düzenli ölçüm desenleri sunar; her ailenin fiziksel topolojisi ve bağlantı grafiği farklıdır. Bu sayfa belirli bir topolojinin tam stabilizer tablosunu vermez; uygulama ve deney tasarımı KHD ve ek okumalarda kalır.

Çözümleme (decoding)

Sendromdan fiziksel hata tahmini, klasik bir optimizasyon veya makine öğrenmesi çözümleyicisi ile yapılabilir; gecikme ve doğruluk donanım zaman çizelgesine bağlıdır.

Transpile ve yerleştirme

Mantıksal devre, fiziksel bağlantı kısıtlarına uyarlanır; ek SWAP ve uzun yol hatayı büyütebilir — bu yüzden mantıksal başarı, yalnızca kod tablosuyla değil yerleştirme ile birlikte raporlanır.

Eşik (threshold) düşüncesi: fiziksel hata oranı yeterince düşük ve çözümleme yeterince iyi olduğunda, mantıksal hata oranı ek yükü telafi edecek şekilde üstel olarak düşebilir. Eşiğin sayısal değeri kod, çözümleyici ve donanım yığınına göre değişir; burada yalnızca “altında iyileşir, üstünde kötüleşir” sezgisi sabitlenir.

n : k oranı

Her mantıksal kübit için gereken fiziksel kübit sayısı ve yardımcı ölçüm derinliği, duvar saati ve alan maliyetini belirler; NISQ cihazlarında tam eşik altı genellikle zordur.

Deneysel gösterimler

Literatürde “mantıksal kübit” başarımı, belirli bir kod ve görev için kısmi üstünlük olarak raporlanır; üretim öncesi iddiaları kaynaklarıyla birlikte okuyun.

ZNE, rastgele derleme ve ölçüm düzeltmesi, genellikle kod uzayı oluşturmadan önyargıyı azaltır veya gürültüyü daha yönetilebilir hale getirir. Mantıksal kübit ise ek fiziksel kaynak ve sürekli denetim gerektirir; ikisi birbirinin yerine geçmez, hibrit yol haritaları mümkündür.

Sadakat ve doğrulama

Mantıksal katmanın işe yaradığını göstermek için sadakat ve görev tabanlı kıyaslar kullanılır; yalnızca fiziksel tek-kübit taban çizgisi yeterli değildir.

Simülasyon ölçeği

Tam cihaz emülasyonu büyüdükçe zorlaşır; gürültü simülasyonu sayfasındaki ölçek uyarıları burada da geçerlidir.

Birinci kutu üç fiziksel bit üzerinde çoğunluk oylamasının mantıksal hata olasılığını hesaplar; ikinci kutu n büyüdükçe üstel iyileşme sezgisini sayısal tarar; üçüncü kutu Qiskit devre iskeleti verir.

from math import comb

def majority_logical_error(p, n=3):
    # p: bağımsız bit çevirme olasılığı; çoğunluk yanlış çıktı üretirse mantıksal hata
    bad = 0
    for k in range(n // 2 + 1, n + 1):
        bad += comb(n, k) * (p**k) * ((1 - p) ** (n - k))
    return bad

for p in (0.01, 0.05, 0.1):
    print("p =", p, "-> P(yanlış çoğunluk) =", round(majority_logical_error(p), 6))

from math import comb

def majority_logical_error(p, n):
    return sum(
        comb(n, k) * (p**k) * ((1 - p) ** (n - k)) for k in range(n // 2 + 1, n + 1)
    )

p = 0.02
for n in (3, 5, 7, 9):
    print("n =", n, "->", round(majority_logical_error(p, n), 8))

from qiskit import QuantumCircuit

# n fiziksel hat: burada yalnızca kayıt boyutu; mantıksal kod yerleştirmesi ayrı tasarım
n_phys = 7
qc = QuantumCircuit(n_phys)
qc.h(0)
# ... kod blokları ve yardımcı (ancilla) ölçümleri burada tanımlanır ...
print(qc)

Mantıksal kübit, fiziksel taşıyıcıların üstünde tanımlanan korunmuş bilgi birimidir; başarı eşik, ek yük ve çözümleme ile birlikte değerlendirilir.

• Kuantum hata düzeltme — kod cebiri ve görevler.
• Stabilizer — denetleyici dili.
• Hata azaltma — NISQ ailesi.
• NoiseModel — fiziksel kanal modeli.