Bağlanırlık ve topoloji — hangi kübit kiminle doğrudan konuşabilir?

Bir kuantum işlemciyi yalnızca “kaç kübiti var?” diye değerlendirmek eksik bir resim verir. Asıl önemli sorulardan biri şudur: bu kübitler birbirleriyle nasıl bağlanıyor? Eğer bir işlemcide A kübiti B ile doğrudan iki kübit kapısı yapabiliyor, ama C ile yapamıyorsa, algoritmayı çalıştıran derleyici önce bilgiyi A'nın yanına taşımalıdır. Bu yüzden donanımın bağlantı düzeni, algoritmanın gerçek kapı sayısını, derinliğini, hata oranını ve çalıştırma süresini doğrudan belirler.

Graf olarak donanım

Bağlanırlığı düşünmenin en temiz yolu, işlemciyi bir graf olarak çizmektir. Her düğüm bir fiziksel kübiti, her kenar ise doğrudan uygulanabilen iki kübit kapısını temsil eder. Eğer iki düğüm arasında kenar varsa, CNOT, CZ, iSWAP veya platforma özgü başka bir dolanıklık kapısı doğrudan uygulanabilir. Kenar yoksa işlem yasak değildir; sadece araya taşıma adımları girmelidir.

Bu ayrım soyut devre ile gerçek donanım arasındaki en büyük farklardan biridir. Kuantum kapı işlemleri sayfasında iki kübit kapıları üniter dönüşümler olarak anlatıldı; bu sayfada ise aynı kapıların nerede uygulanabildiğine bakıyoruz. Kapının matematiği doğru olabilir, ama donanımda o iki kübit komşu değilse devre hâlâ doğrudan çalıştırılamaz.

Yerel bağlantı neden doğal?

Fiziksel sistemlerde etkileşimler çoğu zaman yakındaki nesneler arasında güçlüdür. Süperiletken çiplerde iki transmonun kapı yapması için aralarında kapasitif, indüktif veya kuplör tabanlı bir bağ gerekir; bu bağ çip üstünde fiziksel bir yer kaplar. Uzak iki kübiti doğrudan bağlamak kablolama, frekans çakışması ve çapraz konuşma problemini büyütür. Bu yüzden birçok süperiletken işlemci, kare ızgara veya ağır-altıgen gibi yerel topolojiler kullanır.

İyon tuzaklarında durum farklıdır: aynı zincirdeki iyonlar ortak titreşim modlarını paylaştığı için doğal olarak çok daha geniş bağlantı sunar. Ama bu da ücretsiz değildir; zincir büyüdükçe fonon modları kalabalıklaşır, kapılar yavaşlar ve lazer kontrolü zorlaşır. Yani topoloji her platformda bir ödünleşimdir: daha fazla bağlantı, çoğu zaman daha fazla kontrol karmaşıklığı demektir.

Bağlantı kısıtı olan bir donanımda, komşu olmayan iki kübit arasında kapı uygulamanın standart yolu bilgiyi hareket ettirmektir. Bunu fiziksel kübiti yerinden oynatarak değil, iki kübitin kuantum durumlarını birbirleriyle değiştirerek yaparız. Bu değişim kapısına SWAP denir. SWAP, algoritmanın mantığını değiştirmez; yalnızca hangi mantıksal kübitin hangi fiziksel yerde durduğunu değiştirir. Fakat bu “yalnızca taşıma” adımı, gerçek hataların en önemli kaynaklarından biridir.

Bir SWAP neden pahalı?

Çoğu kapı setinde SWAP doğrudan doğal bir kapı değildir; üç CNOT veya üç CNOT-eşdeğeri iki kübit kapısı olarak derlenir. Bu yüzden bir uzak etkileşim için araya eklenen her SWAP, devreye birkaç ekstra iki kübit kapısı ekler. İki kübit kapıları, tek kübit kapılardan çok daha hatalı ve yavaştır; dolayısıyla SWAP yalnızca “fazladan satır” değil, doğrudan başarı olasılığını düşüren bir maliyettir.

Örneğin lineer dizilmiş beş kübit düşünelim. En soldaki kübit en sağdakiyle kapı yapmak istiyorsa, bilgi komşu komşu taşınmak zorundadır. Aradaki mesafe arttıkça SWAP sayısı artar; SWAP sayısı arttıkça iki kübit kapı sayısı büyür; iki kübit kapı sayısı büyüdükçe hata birikir. Bağlantı grafındaki en kısa yol uzunluğu, bu yüzden pratik bir performans göstergesidir.

Routing: kübitleri doğru yerlere yerleştirmek

Derleyicinin görevi yalnızca soyut kapıları native kapılara çevirmek değildir; aynı zamanda mantıksal kübitleri fiziksel yerlere akıllıca yerleştirmektir. Buna yerleştirme (placement veya layout) denir. Ardından devre boyunca komşu olmayan kapılar ortaya çıktığında, en az ek maliyetle SWAP adımları eklenir; buna routing denir. İyi bir routing, algoritmadaki etkileşim desenini donanım grafına uydurur.

Bu nedenle aynı kuantum devresi iki farklı donanımda çok farklı uzunluğa dönüşebilir. All-to-all bağlantılı bir iyon tuzağı cihazında neredeyse hiç SWAP gerekmezken, iki boyutlu yerel bağlantılı bir transmon çipte aynı devre ciddi şekilde uzayabilir. Bu fark, özellikle QFT gibi uzun menzilli etkileşim isteyen devrelerde belirgindir; QAOA gibi problem grafına bağlı devrelerde ise donanım grafı ile problem grafının uyumu kritik hâle gelir.

Her donanım ailesi farklı bir bağlantı felsefesi taşır. Süperiletken transmonlar hızlıdır, ama çoğunlukla yerel bağlantıya sahiptir. İyon tuzakları yavaştır, ama aynı zincir içinde doğal all-to-all bağlantı sunabilir. Nötr atom dizileri yüzlerce-binlerce atomu düzenli geometrilere yerleştirebilir, fakat kapılar Rydberg blokaj yarıçapı ve ışınlama düzeniyle sınırlanır. Topolojiyi anlamak, “hangi platform daha iyi?” sorusundan çok daha değerlidir: doğru soru, “hangi algoritma hangi bağlantı düzeninde daha az maliyetle çalışır?” sorusudur.

Başlıca topoloji aileleri

Aşağıdaki tablo, farklı mimari ailelerin bağlantı gücünü ve bedelini yan yana gösterir. Değerler kesin donanım sözleşmesi değil, pratik tasarım eğilimleridir; üretici ve nesle göre değişebilir.

Transmon ve iyon tuzağı farkı

Transmon donanımında kapılar çok hızlıdır, ancak bağlantılar genellikle çip üzerindeki komşulukla sınırlıdır. Bu, kısa ve yerel devrelerde büyük avantajdır; ama yoğun etkileşimli bir devrede routing maliyeti hız avantajını yiyebilir. İyon tuzaklarında ise kapılar daha yavaştır, ancak aynı zincirdeki iyonlar all-to-all bağlanabildiği için bazı devrelerde SWAP maliyeti neredeyse sıfırlanır. Yani platformlar yalnızca hızlarıyla değil, bağlantı grafının algoritmaya ne kadar uyduğu ile kıyaslanmalıdır.

Topoloji yalnızca NISQ dönemindeki devreleri değil, hata düzeltmeli kuantum bilgisayarın temel mimarisini de belirler. En yaygın adaylardan biri olan yüzey kodu, iki boyutlu yerel bağlantıya özellikle iyi uyar. Bunun nedeni basittir: her veri kübiti, yakınındaki birkaç yardımcı kübitle düzenli ölçüm döngüleri yapar. Eğer donanım zaten 2D bir ızgara sunuyorsa, hata düzeltme devresi doğal olarak bu geometriye yerleşir.

Neden 2D yerellik değerli?

Hata düzeltmede tek bir mantıksal kübit, çok sayıda fiziksel kübitten oluşur. Bu kübitler arasında sürekli sendrom ölçümü yapılır; yani yardımcı kübitler komşu veri kübitleriyle tekrar tekrar etkileşir. Eğer bu etkileşimler donanımda yerel olarak varsa, devre kısa, düzenli ve kalibrasyonu öngörülebilir olur. Bu yüzden süperiletken mimarilerde 2D ızgara yalnızca mühendislik kolaylığı değil, hata düzeltme stratejisinin de parçasıdır.

All-to-all bağlantı hata düzeltme için otomatik olarak daha iyi değildir. Elbette uzak kapıları kolaylaştırır, ama çok büyük sistemlerde tüm kübitlerin her kübitle yüksek sadakatle bağlanması ayrı bir kontrol yükü getirir. Bu yüzden büyük ölçekli mimarilerde “tam bağlantı” yerine yerel ama düzenli bağlantı çoğu zaman daha uygulanabilirdir.

Mantıksal topoloji fiziksel topolojiden farklıdır

Hata düzeltmeli bir makinede algoritma artık fiziksel kübitler üzerinde değil, mantıksal kübitler üzerinde çalışır. Bu noktada topoloji iki katmanlı hâle gelir: fiziksel katmanda kübitlerin komşuluk grafı vardır; mantıksal katmanda ise kod bloklarının birbirleriyle nasıl etkileştirildiği vardır. Lattice surgery gibi teknikler, yüzey kodu yamalarını yan yana getirerek mantıksal kapılar üretir. Bu da yüksek seviyeli algoritma derleyicisinin bile topolojiyi bilmesini gerektirir.

Kullanıcı bir devre yazdığında, çoğu zaman mantıksal kübit isimleri kullanır: q0, q1, q2... Donanım ise fiziksel kübit isimleriyle çalışır ve her fiziksel kübitin hatası, frekansı, okuma kalitesi, komşuları ve o günkü kalibrasyon durumu farklıdır. Derleyicinin görevi, bu iki dünya arasında en az kayıplı çeviriyi yapmaktır. Topoloji bilgisi burada sadece bir kısıt değil, optimizasyonun ana girdisidir.

Başlangıç yerleşimi

İyi bir başlangıç yerleşimi, devrede sık etkileşen mantıksal kübitleri donanımda yakın fiziksel yerlere koyar. Örneğin bir devrede q0 sürekli q7 ile kapı yapıyorsa, bu iki mantıksal kübitin uzak köşelere yerleştirilmesi kötü bir seçimdir. Derleyiciler bu problemi çoğu zaman graf eşleme problemi gibi ele alır: algoritmanın etkileşim grafı, donanımın bağlantı grafına en az maliyetle gömülmeye çalışılır.

Zamanlama ve paralellik

Topoloji yalnızca hangi kapının mümkün olduğunu değil, hangi kapıların aynı anda çalıştırılabileceğini de etkiler. Aynı kübiti paylaşan iki kapı elbette paralel çalışamaz; ama fiziksel donanımda birbirine yakın iki kapı da çapraz konuşma nedeniyle aynı anda önerilmeyebilir. Bu yüzden derleyici, kapıları katmanlara dizerken hem komşuluk kısıtını hem de kalibrasyon verisini hesaba katar.

Bu katmanlama devre derinliğini belirler. Devre derinliği arttıkça, kübitler daha uzun süre koherent kalmak zorunda kalır. Klasik simülasyon maliyeti sayfasında devre büyüklüğünün klasik hesaplama maliyetini nasıl artırdığını gördük; burada benzer bir büyüme fiziksel donanımın hata bütçesinde görünür.

Kalibrasyon farkındalığı

Modern derleyiciler yalnızca statik bağlantı grafına bakmaz. Her gün veya her çalıştırma öncesi alınan kalibrasyon verisi, bazı kübitlerin daha iyi, bazı kenarların daha kötü olduğunu söyler. Eğer iki yol aynı SWAP sayısına sahipse, derleyici daha düşük hata oranına sahip kenarları seçebilir. Bu nedenle gerçek donanımda “en kısa yol” her zaman “en iyi yol” değildir; bazen bir adım daha uzun ama daha güvenilir rota toplam başarı olasılığını artırır.

Bağlanırlık ve topoloji, algoritmayı öğrenirken ilk anda görünmeyen ama gerçek çalıştırma performansını belirleyen konulardan biridir. Aynı devre kağıt üzerinde kısa görünebilir; fakat bağlantı grafına uymuyorsa derleyici onu SWAP kapılarıyla uzatır. Bu yüzden donanım farkındalığı olan bir kuantum geliştirici, devre tasarlarken yalnızca kapı sayısına değil, etkileşim desenine de bakar.

Hangi algoritma hangi topolojiyi sever?

Yerel Hamiltonyen simülasyonları ve kafes problemleri, 2D ızgara topolojilerine doğal olarak uyar; çünkü problemdeki komşuluk zaten donanımdaki komşuluğa benzer. Buna karşılık QFT gibi her kübitin birçok farklı kübitle etkileştiği devreler, all-to-all bağlantıdan büyük fayda görür. QAOA'da durum, çözülen problem grafına bağlıdır: problem grafı donanım grafına yakınsa routing maliyeti düşer; yoğun graf ise yerel donanımda pahalılaşır.

Kuantum kimya devreleri de topoloji açısından hassastır. Fermiyonik orbitallerin kübitlere eşlenmesi, hangi terimlerin hangi kübitler arasında kapı istediğini belirler. İyi bir orbital sıralaması ve iyi bir kübit yerleşimi, aynı algoritmanın pratik başarısını ciddi biçimde değiştirebilir. Bu nedenle donanım topolojisi, yalnızca “altyapı detayı” değil, algoritmik tasarımın bir parçasıdır.

Okuma rotası

Bu sayfa, donanım klasöründeki iki platform sayfasının üzerine oturur: süperiletken transmon yerel ve hızlı bağlantıyı; iyon tuzakları ise daha yavaş ama daha geniş bağlantıyı gösterir. Buradaki bağlantı grafı dili, ileride eklenecek nötr atom, fotonik ve spin kübit sayfalarında da aynı şekilde kullanılacaktır.