Korelâsyona uğramış hataları kuantum LDPC kodlarında çözümlemek

Gelecekteki kuantum bilgisayarlar için neden önemli

Kuantum bilgisayarlar ünlü şekilde kırılgandır: çok küçük bozulmalar kübitlerin durumunu değiştirebilir ve bir hesabı bozabilir. Kuantum hata düzeltme kodları bu hataları gerçek zamanda yakalayıp düzeltmeyi amaçlar, ancak bunu yeterince hızlı ve yeterince doğru yapmak pratik makineler yolunda büyük bir engeldir. Bu makale, önde gelen bir kuantum kodu ailesini, hatalar güçlü şekilde korelâsyonlu olsa bile, çok daha güvenilir ve hızlı şekilde çözecek yöntemler göstererek gerçek zamanlı hataya dayanıklı kuantum hesaplamayı gerçeğe bir adım daha yaklaştırıyor.

Kuantum hatalarını çözmenin zorluğu

Modern kuantum hata düzeltme sıklıkla kuantum düşük-yoğunluk-parite-kontrol (QLDPC) kodlarına dayanır; bunlar nispeten makul bir ek yükle yüksek performans vaat eder. Prensipte, bu kodlar klasik iletişim sistemlerini başarılı kılan hafif, mesaj-iletimli çözücülerden yararlanmalıdır. Pratikte bu gerçekleşmez: kuantum kodlarını tanımlayan grafiksel yapılar çok kısa döngülerle doludur, özellikle bir kübit üzerindeki üç temel hata tipi (bit terslemesi, faz terslemesi ve birleşik terslemeler) hepsi izin verildiğinde. Bu kısa döngüler mesaj-iletim algoritmalarını şaşırtır, onların belli hata desenlerinde takılıp güvenilmez tahminler üretmesine yol açar—özellikle farklı hata tipleri birlikte, gerçekçi kuantum devrelerinde olduğu gibi korelâsyonlu şekilde ortaya çıktığında.

Algoritmayı değiştirmek yerine hata haritasını yeniden kablolamak

Bir başka karmaşık çözüm kuralı icat etmek yerine yazarlar farklı bir yaklaşım benimsiyor: çözücünün çalıştığı grafiği değiştiriyorlar. Buna çıkarımsama için grafik arttırımı ve yeniden kablolama (GARI) denilen bir yöntem getiriyorlar. Temel fikir, özellikle bir kübitte sorunlu birleşik hatayı içeren dört düğümlü döngüler gibi sıkı bağlantılı desenleri tespit etmek ve bunları sistematik olarak biraz daha büyük ama daha iyi yapılandırılmış bir desenle değiştirmektir. Bu, orijinal düğüm gruplarının yerine geçen yeni “etkili” hata ve kontrol düğümleri ekleyerek yapılır. Dönüşüm, altta yatan çözümleme probleminin matematiksel olarak eşdeğer olmasını garanti eder: fiziksel hatalar hakkında hiçbir bilgi kaybolmaz, ancak grafik çıkarıma daha elverişli hale gelir.

Dağınık bir resmi çözücülerin okuyabileceği hale getirmek

Kodu tanımlayan temel matrisler düzeyinde, orijinal dedektör hata modeli devrenin birçok yerinden ve üç hata tipinin tamamından bilgi karıştırır ve büyük kümeler halinde kısa döngüler oluşturur. GARI, özellikle birleşik hata tipini içerenleri, hataların nasıl temsil edildiğini yeniden yönlendirerek bu kümeleri etkili biçimde parçalar. Ortaya çıkan “GARI matrisi”, kısa döngüleri çok daha az içerir ve korelâsyonlu hatalar için en önemli kısımlarda ortalama bağlantı yoğunluğu daha düşüktür. Bu, standart ve iyi anlaşılan normalize edilmiş min-sum mesaj-iletim algoritmasının artık ideal davranışına çok daha yakın çalışabilmesi; grafikte daha güvenilir olasılıksal mesajlar iletmesi demektir. Önemli olarak, bu daha temiz yapı, çözücünün işlemeliyken ele alması gereken toplam bağlantı sayısını da azaltır; bu, algoritmanın donanıma haritalanması söz konusu olduğunda yardım eder.

Birçok çözücü paralel çalışıyor, üstelik hızlı

İyileştirilmiş grafiğe dayanarak yazarlar hız ve kaynak kullanımı arasında denge kuran hibrit bir çözüm stratejisi tasarlıyorlar. Bazı kontrolleri tek tek, diğerlerini ise küçük paralel katmanlarda güncelleyen bir zamanlama ile normalize edilmiş min-sum çözücü kullanıyorlar. Bu, kablolama ve saat hızunun kritik olduğu alan-programlanabilir kapı dizileri (FPGA'lar) üzerinde uygulamaya özellikle uygundur. Güvenilirliği daha da artırmak için, her biri biraz farklı rastgele güncelleme sırasına sahip olan makul büyüklükte bir çözücü topluluğunu paralel olarak çalıştırırlar. Herhangi bir çözücü ölçülen verilerle eşleşen bir hata deseni bulur bulmaz tüm ensemble durur ve o çözüm kabul edilir. Bu “sonuca ulaşma yarışı” ortalama çözüm süresini önemli ölçüde uzatmadan ekstra doğruluk sağlar.

Gerçek zamanlı kalarak önde gelen çözücüleri geride bırakmak

Mesafe 6, 10 ve 12 olan bivarite bisiklet (bicycle) kuantum kodlarını kıyas olarak kullanarak, yeni yöntem daha önce korelâsyonlu hatalarla başa çıkmada altın standart sayılan birkaç gelişmiş çözücüyü eşliyor veya geride bırakıyor. İncelenen en büyük kod için, tipik fiziksel hata oranı binde bire yakınken tur başına mantıksal hata oranı milyarda yaklaşık yedi parçaya düşüyor—bu, daha ağır arama-temelli yöntemler ve gelişmiş topluluk çözücülerle boy ölçüşüyor. Kritik olarak, yazarlar tasarımlarını yüksek uç bir FPGA üzerinde sentezleyip gösteriyorlar ki çözümlemenin gerçek zamanda tamamlanabileceğini gösteriyorlar: mesafe-12 kodu için tur başına ortalama gecikme yaklaşık 273 nanosaneye denk geliyor ve tüm çözümlemelerin %99.99’dan fazlası bir mikrosaniye içinde bitiyor; bu, gerçekçi hata düzeltme çevrimleriyle uyumlu bir zaman ölçeğidir.

Bu, kuantum makinelerini ölçeklendirmek için ne anlama geliyor

Erişilebilir bir dille, bu çalışma çözücünün hata sinyallerini yorumlamak için kullandığı yol haritasını yeniden çizmenin, böylece basit ve hızlı bir algoritmanın bunları çok daha iyi anlamasının yollarını gösteriyor. Sahne arkası yapıyı temizleyip birkaç hafif çözücüyü paralel kullanarak yazarlar aynı anda doğruluğu iyileştiriyor ve sıkı zaman kısıtlarına uyuyorlar. Hiç kimse bu yöntem ailesinin her hata düzeltme zorluğunu rastgele büyük ölçeklerde çözeceğini beklemese de, sonuçlar mesaj-iletim çözücülerin GARI gibi akıllı grafik tasarımlarıyla eşleştirildiğinde şimdiden kuantum bilgilerini yüksek performansla ve gerçek zamanda koruyabileceğini gösteriyor—pratik hataya dayanıklı kuantum bilgisayarlara doğru atılmış önemli bir adım.

Atıf: Maan, A.S., Garcia Herrero, F.M., Paler, A. et al. Decoding correlated errors in quantum LDPC codes. Nat Commun 17, 3965 (2026). https://doi.org/10.1038/s41467-026-70556-3

Anahtar kelimeler: kuantum hata düzeltme, LDPC kodları, kod çözücü donanımı, korelâsyonlu gürültü, mesaj-iletim algoritmaları