Hesaplamalı araştırma makalesi incelemesi

Kuantum Bilgisayarı Simülasyon Yazılım Paketlerinin Karşılaştırmalı Değerlendirmesi: Durum Vektörü Simülatörleri

Kuantum hesaplama teknolojilerindeki hızlı ilerlemeler, hem algoritma tasarımını hem de kuantum donanımlarından elde edilen sonuçların doğrulanmasını sağlayan etkin simülatörlere olan ihtiyacı artırmaktadır. Ancak durum vektörlerinin simülasyonu, kubit sayısı arttıkça üstel olarak büyüyen bir veri ve bellek darboğazıyla karşı karşıyadır.

Makalenin anahtar kelimeleri

Yazar: Amit Jamadagni Gangapuram, Andreas Läuchli, Cornelius Hempel
Yayın: SciPost Physics Core
Tarih: 2024-11-26
DOI: 10.21468/scipostphyscore.7.4.075

Makalenin Kapsamı ve Akademik İçeriği

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.

Araştırmanın amacı

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).

İnceleme ve modelleme yöntemi

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).

Kuramsal ve kavramsal çerçeve

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.

Makalenin ele aldığı literatü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.

Araştırma Tasarımı

Evren veya inceleme alanı: Kuantum durum vektörü simülasyonu yapan ve HPC sistemleri üzerinde çalışabilen açık kaynaklı veya kapalı kaynaklı aktif yazılım paketleri.
Örneklem veya araştırma materyali: Braket, Cirq, cuQuantum, HiQ, HybridQ, Intel-QS, myQLM, Pennylane, ProjectQ, Qcgpu, Qibo, Qibojit, Qiskit, QPanda, Qrack, Qsimcirq, Quest, Qulacs, Q++, SV-Sim ve Yao dahil olmak üzere belirlenen 24 adet simülatör paketi.
Veri toplama süreci: XYZ-Heisenberg spin dinamiği, rastgele kuantum devre örneklemesi ve Kuantum Fourier Dönüşümü (QFT) görevlerini içeren QASM dosyalarının, Singularity konteynerlerindeki simülatörlere özel komut setlerine otomatik çevrilmesi ve Merlin6 HPC kümesinde çalıştırılarak wall-clock sürelerinin ölçülmesi.
Veri analiz yöntemi: Farklı kübit sayıları (N) ve sayısal hassasiyetlerde (tek/çift duyarlık) elde edilen sürelerin log(t) = a + b * N doğrusal modeli ile uydurulması, pre-faktör (a) ve üstel büyüme eğimlerinin (b) hesaplanması, ayrıca sigma-z beklenti değerleri üzerinden sayısal doğruluk analizi.

Hesaplama Süresi (Wall-Clock Time)Kübit Sayısı (N)Sayısal Duyarlık (Single/Double Precision)Paralelleştirme Stratejileri (Singlethread, Multithread, GPU)HPC AltyapısıAlgoritmik Görev Karmaşıklığı (XYZ-Heisenberg, RQC, QFT)

Araştırmanın Bulguları

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).

Bulguların Tartışılması ve Araştırmanın Sonucu

Bulguların Yazarlar Tarafından Yorumlanışı

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.

Bulguların Önceki Araştırmalarla Karşılaştırılması

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).

Sonuç Bölümünün Sunduğu Çıkarımlar

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(Gangapuram et al., 2024).

Literatür Taraması İçin Sunduğu Çerçeve

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.

Kaynakça

Arute, F., et al. (2019). Quantum supremacy using a programmable superconducting processor. Nature, 574(7779), 505-510.
Smith, A., Kim, M. S., Pollmann, F., Knolle, J. (2019). Simulating quantum many-body dynamics on a current digital quantum computer. npj Quantum Information, 5(1), 1-9.

Tez ve Makale Araştırmalarında Kullanım

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 taslağına dönüştürülmüştür.

Tez veya makalede kullanım · literatüre-review

Kuantum simülatörlerinin bellek ve hesaplama performansları, kullanılan donanım altyapısı kadar yazılımsal implementasyon kalitesine ve içsel optimizasyon süreçlerine de son derece bağımlıdı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).

Gürültülü Durum Vektörü Simülatörlerinin Çoklu GPU Ortamlarındaki Performans ve Ölçeklenebilirlik Sınırları

Araştırma sorusu: Açık kuantum sistemlerinin simülasyonunda yoğunlaşan gürültü modellerinin, durum vektörü simülatörlerinin çoklu GPU (multi-GPU) mimarilerindeki üstel zaman ve bellek ölçeklenmesine etkisi nedir?
Yöntem taslağı: Merlin6 veya benzeri bir HPC kümesinde, en az 4 farklı gürültü destekli simülatör (Quest, Qiskit Aer, Qulacs, cuQuantum) seçilecektir. 12-28 kübit aralığında gürültülü XYZ-Heisenberg spin dinamiği görevleri koşturulacak, çoklu GPU (1 ila 8 GPU) ölçeklenebilirlik oranları ve MPI haberleşme gecikmeleri ölçülecektir. Örneklem büyüklüğü yerine test edilecek kuantum devresi derinliği ve kübit kombinasyonları güç analiziyle belirlenecektir.

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).

Tez veya makalede kullanım · Kavramsal çerçeve

HPC platformlarında yürütülen tam durum vektörü kuantum simülasyonları, üstel olarak büyüyen bellek gereksinimleri nedeniyle fiziksel olarak 50 kübit sınırını aşmakta zorlanmaktadır.

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).

Variyasyonel Kuantum Algoritmalarında (VQA) Klasik Optimizasyon Döngülerinin Simülatör Performansına Etkisi

Araştırma sorusu: Klasik ve kuantum hibrit optimizasyon süreçlerinde yer alan parametre güncellemeleri, farklı durum vektörü simülatörlerinin kapı optimizasyonu ve zaman ek yükü (overhead) eğrilerini nasıl etkilemektedir?
Yöntem taslağı: Çalışmada geliştirilen konteyner araç zinciri, parametrik kuantum devrelerini destekleyecek şekilde genişletilecektir. QAOA ve VQE algoritmaları referans alınarak, Qiskit Aer, Pennylane Lightning ve Qibojit simülatörleri üzerinde klasik gradyan tabanlı optimizasyon döngüleri kurulacaktır. Çalışma süresi (wall-clock time) ve parametre türevi hesaplama süreleri, kübit sayısı (8-24) ve parametre sayısının fonksiyonu olarak kaydedilecek ve varyans analizleriyle karşılaştırılacaktır.

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).

Tez veya makalede kullanım · Tartışma

Kuantum simülasyon kütüphanelerinin kullanıcı arayüzlerinde sunulan duyarlılık ayarları (tek vs. çift duyarlılık) her zaman fiziksel yürütme düzeyinde karşılık bulmayabilir ve arka planda fazladan bellek tüketimine yol açabilir.

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).

Hassasiyet Geçişlerinin Kuantum Kimyası Simülasyonlarının Doğruluğu ve Hesaplama Süresi Üzerindeki Etkisi

Araştırma sorusu: Tek (float32) ve çift (float64) hassasiyetli durum vektörü simülasyonları arasındaki yuvarlama hataları, varyasyonel kuantum özyinelemeli enerji (VQE) hesaplamalarının doğruluğunu ve yakınsama hızını nasıl etkiler?
Yöntem taslağı: Qiskit, Pennylane ve cuQuantum simülatörleri kullanılarak moleküler hidrojen (H2) ve lityum hidrür (LiH) moleküllerinin taban durum enerjileri simüle edilecektir. Farklı hassasiyet modlarında (kütüphanelerin gerçek hassasiyet durumları doğrulanarak) çalıştırılan VQE algoritmalarının elde ettiği enerji değerleri, tam konfigürasyon etkileşimi (FCI) analitik limitleriyle kıyaslanacaktır. Yakınsama süreleri ve hata birikimleri ölçülerek kütüphane bazlı hassasiyet sapmaları haritalandırılacaktır.

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).