Hesaplamalı çalışma · 2024
Benchmarking quantum computer simulation software packages: State vector simulators
Okur sorusu
Yazarlar, kuantum simülatörlerinin performansının donanım kadar yazılım implementasyonuna da sıkı sıkıya bağlı olduğunu vurgulayarak, geliştirilen açık kaynaklı Singularity konteyner araç zincirinin yeni simülatör sürümlerinin ve paketlerinin tarafsız şekilde karşılaştırılması için topluluk odaklı sistematik bir temel sunduğunu ifade etmektedir.
Öne çıkanlar
Kuantum hesaplama teknolojilerinde son yıllarda yaşanan hızlı gelişmeler, kuantum algoritmalarının tasarımını, donanımsal doğrulamalarını ve kuantum üstünlüğü sınırlarını test etmeyi kolaylaştıracak etkin yazılımlara olan ihtiyacı belirgin bir şekilde artırmaktadır. Günümüz kuantum cihazları, standart iş istasyonlarının doğrudan modelleyemeyeceği fiziksel ölçeklere ulaştığından, yüksek başarımlı hesaplama (HPC) altyapıları simülasyon süreçlerinde hayati bir rol oynamaktadır. Ancak durum vektörlerinin simülasyonu, kubit sayısı arttıkça üstel olarak büyüyen bir bellek (2^N) ve veri aktarım darboğazı ile karşı karşıyadır. Alanda çok sayıda farklı simülasyon paketi bulunmasına rağmen, bu araçların HPC sistemleri üzerindeki bireysel ve göreli performanslarını sistematik olarak değerlendiren kapsamlı bir standart karşılaştırma çalışmasının bulunmaması, araştırmacılar için hangi yazılımın hangi senaryoda en verimli sonuçu vereceği konusunda önemli bir belirsizlik yaratmaktadır.
Bu çalışmanın temel amacı, yerel olarak kurulabilen yirmi dört adet kuantum simülasyon yazılım paketini yüksek başarımlı hesaplama kümesi üzerinde standartlaştırılmış ve tarafsız bir metodolojiyle karşılaştırmaktır. Araştırmacılar, analizlerin tekrarlanabilirliğini ve genişletilebilirliğini güvence altına almak için Singularity işletim sistemi imajlarını içeren konteyner tabanlı bir araç zinciri (containerized toölçhain) geliştirmiştir. Bu araç zinciri, yüksek düzeyli OpenQASM komutlarını her yazılım paketinin kendi özel komut setine otomatik olarak dönüştürmektedir. Performans değerlendirmeleri, kuantum algoritmalarının en temel yapı taşlarını temsil eden üç paradigmatik görev üzerinden yürütülmüştür: XYZ-Heisenberg spin dinamiği simülasyonu, rastgele kuantum devrelerinin örneklenmesi (RQC) ve Kuantum Fourier Dönüşümü (QFT). Analizler kapsamında CPU üzerinde tek iş parçacıklı, çoklu iş parçacıklı ve Nvidia A100 GPU donanımları üzerinde farklı sayısal duyarlık dereceleri (tek ve çift duyarlıklı float) test edilmiştir.
Gerçekleştirilen sistematik testler sonuçunda, simülatör paketlerinin performansları arasında, aynı donanım üzerinde çalıştırılsalar dahi, iki katı aşan ölçeklerde hız farklılıkları olduğu gözlemlenmiştir. Tek duyarlıklı tek iş parçacıklı CPU simülasyonlarında, büyük kubit limitlerinde en yüksek performansı qsimcirq paketinin sergilediği doğrulanmıştır. Çift duyarlıklı hesaplamalarda ise büyük ölçeklerde Qiskit ve QPanda öne çıkarken, düşük kubit seviyelerinde Qrack ve Yao gibi paketlerin minimum başlangıç yükü (overhead) avantajıyla daha hızlı çalıştığı tespit edilmiştir. Donanım hızlandırma boyutunda, çoklu iş parçacığı ve GPU kullanımı simülasyon sürelerini anlamlı ölçüde iyileştirerek üstel ölçeklenmeye geçiş eşiğini 2 ila 4 kubit yukarı taşımıştır. GPU kullanımında özellikle Quest ve Pennylane (C++) paketleri oldukça yüksek hızlanma oranları sergilemiştir. Ayrıca, doğrulama testleri sırasında Qiskit ve Pennylane'in tek duyarlık modunda çalıştırılsalar bile arka planda çift duyarlıklı işlemler gerçekleştirdikleri saptanmıştır.
Elde edilen bulgular, literatürdeki mevcut kuantum simülasyon çalışmalarına metodolojik bir standart kazandırmakta ve farklı algoritmik karmaşıklıklara göre en uygun yazılım paketinin seçilmesine yönelik somut bir kılavuz sunmaktadır. Çalışma, durum vektörü simülatörlerinin teorik sınırı olan üstel ölçeklenme eğilimine CPU sistemlerinde 25 kubit, GPU sistemlerinde ise 30 kubit civarında ulaştığını ampirik olarak kanıtlamaktadır. Konteyner tabanlı açık kaynaklı araç zinciri, gelecekte geliştirilecek yeni simülasyon yazılımlarının veya mevcut paketlerin yeni sürümlerinin kolayca karşılaştırma süreçlerine dahil edilmesine olanak tanımaktadır. Bu yönüyle çalışma, araştırmacıların kuantum donanımlarının doğrulanması, gürültü modellemeleri ve varyasyonel kuantum algoritmalarının tasarımı gibi alanlardaki literatür taramalarını kolaylaştırmakta, donanım mimarisine en uygun yazılım bileşenlerinin seçilmesi hususunda kritik bir referans noktası teşkil etmektedir.
Durum vektörü (statevector) formalizmine dayalı saf kuantum durumlarının üniter matris operatörleriyle manipülasyonu, Trotter-Suzuki açılımı, rastgele kuantum devresi örneklemesi ve Kuantum Fourier Dönüşümü algoritmik temellerini oluşturmaktadır.
Son beş yılda hızla büyüyen kuantum simülatörü ekosistemindeki (Qiskit, Cirq, PennyLane, cuQuantum, Qulacs, vb.) performans belirsizlikleri, HPC sistemlerinin 50 kubitlik genel sınırları ve kuantum üstünlüğü arayışlarındaki klasik simülasyon doğrulama zorlukları ele alınmaktadır.
Bu teknik incelemenin amacı, yerel olarak kurulabilen 24 farklı durum vektörü kuantum simülasyon yazılım paketini yüksek başarımlı hesaplama (HPC) kümesinde standart bir Singularity araç zinciriyle üç temel algoritma görevi üzerinden tarafsızca karşılaştırmaktır (Gangapuram et al., 2024).
Bu çalışma, kuantum algoritmalarının performans değerlendirmelerini aynı donanım koşullarında ve ölçeklenebilir biçimde gerçekleştirmek amacıyla 24 durum vektörü simülatörünü içeren Singularity tabanlı bir araç zinciri geliştirmiştir (Gangapuram et al., 2024).
Aynı HPC donanımında çalıştırılan simülasyon paketlerinin performansı, hedef kuantum görevine ve kullanılan algoritmaya bağlı olarak iki büyüklük mertebesinden (100 kattan) fazla değişkenlik gösterebilmektedir (Gangapuram et al., 2024).
Çoklu iş parçacığı ve GPU hızlandırmaları simülatörlerin üstel zaman ölçeklenmesine girme sınırını 2-4 kübit genişletmekte, ancak küçük sistemlerde GPU iletişim maliyetleri nedeniyle ek performans yükü oluşturmaktadır (Gangapuram et al., 2024).
Hata ve hassasiyet analizlerinde, Qiskit ve Pennylane(py) simülatörlerinin kullanıcı arayüzünde tek duyarlık seçilmesine rağmen arka planda çift duyarlılıkta hesaplama yapmaya devam ettiği deneysel olarak kanıtlanmıştır (Gangapuram et al., 2024).
HPC kümelerinde yapılan kapsamlı testler, durum vektörü simülatörlerinin donanımsal bellek ve tasarımsal işlem kısıtları nedeniyle, özel durumlar hariç olmak üzere genellikle 50 simüle kübit sınırını aşamadığını göstermektedir (Gangapuram et al., 2024).
Kuantum simülasyon kütüphanelerinin performans karşılaştırmaları, aynı donanımsal altyapı üzerinde çalıştırılsalar dahi yazılım paketlerinin iç mimarileri ve optimizasyon yaklaşımları nedeniyle iki büyüklük mertebesine kadar değişen süre farkları ortaya koymaktadır. Bu durum, araştırmacıların belirli bir simülasyon görevi için rastgele kütüphane seçimi yapmasının ciddi zaman kayıplarına yol açabileceğini gösterir.
Yazarlar, küçük kübit rejimindeki (N < 15) sabit çalışma süresi düzlüğünün kütüphanelerin içsel devre analizi ve optimizasyon süreçlerinden kaynaklanan yönetimsel ek yüklerle ilişkili olduğunu açıklamaktadır. Qrack ve Yao gibi paketlerin bu rejimde neredeyse sıfır ek yükle çalışarak doğrudan üstel ölçeklenmeye girmesi, küçük ölçekli algoritmalar için bu paketlerin daha uygun olduğunu kanıtlar.
Literatürdeki mevcut performans iddiaları genellikle kütüphane geliştiricilerinin kendi optimize ettikleri spesifik donanım kurulumlarına dayanırken, bu çalışmada geliştirilen Singularity tabanlı konteyner araç zinciri tüm paketleri tamamen eşit şartlar altında test ederek literatürdeki bu önemli metodolojik boşluğu kapatmaktadır.
Çalışmanın genel kapsamı ve ortaya koyduğu bulgular, kuantum donanımlarının doğrulanması ve yeni algoritmaların geliştirilmesi süreçlerinde en verimli simülatörün seçilmesine doğrudan rehberlik etmektedir. Ayrıca, kütüphanelerin dokümantasyonlarında vaat edilen hassasiyet ayarlarının (Qiskit ve Pennylane örneğindeki gibi) gerçekte nasıl çalıştığını denetleyerek akademik çalışmalar için güvenilir bir referans sunmaktadır.
Yazarlar, rastgele kuantum devrelerinin (RQC) performans karşılaştırmasında Arute vd. (2019) tarafından Sycamore yongası için sağlanan QASM dosyalarını girdi olarak kullanmış ve simülasyon paketlerinin bu zorlu doğrusal karmaşıklıktaki davranışını HPC kümesinde tarafsız bir sanallaştırma çerçevesinde test etmiştir (Gangapuram et al., 2024).
Yazarlar, XYZ-Heisenberg spin zinciri dinamiğinin simülasyonunda Smith vd. (2019) tarafından geliştirilen ve CNOT kapı sayısını minimize eden optimal devre tasarımlarını temel almışlardır. Bu modeli kullanarak, simülasyon paketlerinin doğrusal kapı ölçeklenmesine sahip 2-lokal etkileşimli fiziksel sistemlerdeki zaman performansını ölçmüşlerdir (Gangapuram et al., 2024).
Bu teknik inceleme, kuantum hesaplama literatüründe hızla gelişen durum vektörü simülasyon yazılımlarının standart, tarafsız ve tekrarlanabilir bir biçimde değerlendirilmesi işlevini üstlenmektedir. Kuantum algoritmalarının tasarımı ve fiziksel donanımların ürettiği sonuçların doğrulanması için kritik öneme sahip olan simülatörlerin performans sınırlarını belirlemektedir. Geliştirilen Singularity tabanlı konteynerize araç zinciri sayesinde, donanım bağımlılığından arındırılmış bir şekilde 24 farklı kütüphaneyi eşit şartlarda karşılaştırarak, gelecekteki simülatör geliştirme çalışmalarına metodolojik bir ölçüt sunmaktadır.
Önceki çalışmalar genellikle tek bir simülatör paketinin belirli bir donanım mimarisindeki avantajlarını sergilemeye odaklanırken ve çoğunlukla geliştiricilerin kendi optimize ettikleri koşulları rapor ederken, bu çalışma literatürdeki bu taraflı yaklaşımı kırmaktadır. Jones ve ark. (2019) gibi öncü HPC simülatörü çalışmalarının ve Sycamore kuantum üstünlük deneyinin (Arute ve ark., 2019) ötesine geçerek, çoklu kütüphaneyi aynı fiziksel kümede (Merlin6) bir araya getirmekte ve kütüphanelerin sürüm güncellemelerinden kaynaklanan uyumsuzlukları gidermek üzere tasarlanan ilk konteyner tabanlı benchmark altyapısını kurmaktadır.
Makale, kuantum simülasyon literatürüne en kapsamlı teknik derlemelerden birini kazandırmıştır. Araştırmacılara, belirli bir kuantum görevi (Heisenberg dinamiği, rastgele kuantum devreleri, Kuantum Fourier Dönüşümü) ve hedef kübit boyutu için en uygun yazılım paketini seçmelerini sağlayacak pratik bir karar matrisi sunmaktadır. Ayrıca, kütüphanelerin belgelerinde iddia edilen tek duyarlıklı hesaplama özelliklerinin (Qiskit ve Pennylane örneklerinde olduğu gibi) gerçekte çift duyarlılıkta çalışarak gizli bir işlem yükü oluşturduğunu deneysel olarak açığa çıkararak metodolojik bir denetim katkısı sağlamaktadır.
Makalenin doğrulanmış yöntemi, bulguları ve kuramsal çerçevesi; tez ve makale çalışmalarında kullanılacağı bölümle birlikte aşağıdaki araştırma taslaklarına dönüştürülmüştür.
Bu iddia, farklı yazılımların aynı donanım üzerinde iki büyüklük mertebesinden fazla performans farkı gösterdiğini kanıtlayan ampirik veriler ve kütüphanelerin içsel devre analizi süreçlerine atıfta bulunularak desteklenebilir (Gangapuram et al., 2024).
Makaleyle bağlantısı: Yazarlar, çalışmada gürültülü (noisy) simülasyonların ve MPI tabanlı çoklu düğüm (multi-node) HPC ölçeklenmesinin önemini belirtmiş ancak MPI benchmark testlerini gelecek çalışmalara bırakmışlardır. Bu öneri doğrudan bu metodolojik boşluğu hedef alır (Gangapuram et al., 2024).
Tezin kavramsal çerçeve bölümünde kuantum simülasyonlarının hesaplama sınırları ve klasik bilgisayarların kuantum üstünlüğü rejimini taklit etme kapasiteleri tartışılırken bu kaynaktan yararlanılabilir (Gangapuram et al., 2024).
Makaleyle bağlantısı: Yazarlar, geliştirdikleri araç zincirinin statik algoritmalar için tasarlandığını ancak gelecekte klasik optimizasyon döngüleriyle donatılarak variyasyonel algoritmaların (VQA) benchmark edilmesine uygun hale getirilebileceğini vurgulamışlardır (Gangapuram et al., 2024).
Simülasyon tabanlı tezlerde elde edilen beklenmedik çalışma süresi ve bellek tüketimi anormalliklerini tartışırken, Qiskit ve Pennylane kütüphanelerinin gizli çift duyarlık davranışı örnek gösterilerek bulgular açıklanabilir (Gangapuram et al., 2024).
Makaleyle bağlantısı: Çalışmada Qiskit ve Pennylane'in tek duyarlılık seçildiğinde bile gizlice çift duyarlılıkta çalıştığı ve hassasiyet ayarlarının doğrulanması gerektiği bulunmuştur. Bu öneri, bu hassasiyet sapmalarının pratik bir kuantum kimyası problemindeki etkilerini test eder (Gangapuram et al., 2024).
İstanbul Boğazı güneyinde müdahalesiz durumda 5 saat sonunda sızan 3.153 ton petrolün yaklaşık 44 kilometrekarelik deniz alanını kirlettiği ve Prens Adaları yönüne ilerlediği tespit edilmiştir.
Cihat Aşan · International Journal of Environment and Geoinformatics · Doğa Bilimleri
Özelleştirilmiş veri depolama katmanı, SVD gibi algoritmalardan elde edilen köşegen-seyrek matrisleri ve kuantum korunumlu blok-seyrek yapıları otomatik olarak en uygun bellek düzeninde saklayarak işlem başarımını optimize eder.
Matthew Fishman ve 2 yazar · SciPost Physics Codebases · Doğa Bilimleri
Çalışma, sismik yırtılma simülasyonlarında statik sürtünme eşiğinin aşılması ve ardından gelen hızlı zayıflama aşamasını BSF modelinin, klasik RSF modeline kıyasla daha keskin ve doğru bir şekilde temsil ettiğini saptamıştır.
Seth Saltiel ve 3 yazar · Doğa Bilimleri