Kuantum kaosu, çok sayıda kuantum parçacığının etkileştiği sistemlerde bilginin nasıl yayıldığı, korelasyonların nasıl dağıldığı ve başlangıçta yerel olan bir kuantum özelliğinin zamanla sistemin tamamına nasıl karıştığıyla ilgilenen temel araştırma alanlarından biridir. Ancak kuantum çok-cisim sistemleri büyüdükçe onları klasik bilgisayarlarla tam olarak simüle etmek çok hızlı biçimde zorlaşır. Bu durum kuantum bilgisayarları doğal bir simülasyon platformu haline getirirken başka bir problemi ortaya çıkarır: Klasik bilgisayarın artık kesin çözüm üretemediği ölçekte kuantum bilgisayarının verdiği sonucun doğru olduğuna nasıl güvenilebilir?

Laurin E. Fischer ve çalışma arkadaşları bu soruya, özel bir kaotik kuantum devresi sınıfı olan dual-unitary devreleri kullanarak yaklaşmaktadır. Dual-unitary kapılar yalnız normal zaman yönünde değil, tensör diyagramı uzay yönünde yeniden yorumlandığında da üniterlik özelliği gösterir. Bu sıra dışı matematiksel yapı, son derece karmaşık ve güçlü biçimde bilgi karıştıran kuantum dinamiklerinin bazı korelasyon fonksiyonlarını yine de tam olarak hesaplanabilir hale getirir.

Araştırmacılar bu özelliği bir doğrulama platformuna dönüştürerek IBM'in süperiletken transmon tabanlı ibm strasbourg işlemcisinde 51, 71 ve 91 kübitlik kicked-Ising devreleri çalıştırdı. Ham donanım sonuçlarında gürültü korelasyon sinyalini teoriden daha hızlı bastırırken, gürültü kanallarının öğrenilmesi ve Tensor-Network Error Mitigation (TEM) uygulanması sonrasında deneysel sonuçlar teorik tahminlere önemli ölçüde yaklaştı.

Çalışmanın en büyük deneylerinde 91 kübit ve 4095'e kadar iki-kübit kapı kullanıldı. Araştırmacılar daha sonra devreleri tam çözülebilir dual-unitary noktadan uzaklaştırdı. Bu bölgede belirli gözlenebilir için artık aynı tam analitik çözüm mevcut değildir ve tüm kuantum durumunun brute-force klasik simülasyonu ölçek nedeniyle uygulanabilir değildir. Hata azaltılmış deney sonuçları bunun yerine tensör-ağ tabanlı klasik yaklaşımlarla karşılaştırıldı.

Sonuçlar önemli fakat dikkatle yorumlanmalıdır. Schrödinger resmiyle yapılan klasik tensör-ağ simülasyonları yüksek bağ boyutlarında bile yakınsamazken, aynı gözlenebilirin Heisenberg resmindeki simülasyonu çok daha düşük hesaplama maliyetiyle yakınsamaktadır. Dolayısıyla bu çalışma genel bir “klasik bilgisayarlar artık yapamıyor” kuantum üstünlüğü gösterisi değildir. Asıl sonuç, hata azaltılmış, hata-toleranslı olmayan kuantum işlemcilerin büyük ölçekli kuantum çok-cisim dinamiklerini güvenilir biçimde incelemek için giderek daha güçlü bir deney platformuna dönüştüğüdür.

Çok-cisim kuantum kaosu neden zor bir problem?

Bir kuantum sisteminin durumu kübit sayısıyla üstel büyüyen bir Hilbert uzayında yaşar. \(N\) kübitlik saf bir durumun genel statevector gösterimi

\[ |\psi\rangle = \sum_{x=0}^{2^N-1}c_x|x\rangle \]

biçimindedir. Dolayısıyla kübit sayısı arttıkça bütün genlikleri klasik bellekte açık biçimde saklamak hızla maliyetli hale gelir.

Kaotik kuantum çok-cisim dinamiklerinde sorun daha da belirginleşir. Yerel olarak başlayan kuantum bilgisi etkileşimli kapılar boyunca yayılır, dolaşıklık büyür ve sistemin daha büyük bölgelerini temsil etmek gerekir. Bu süreç, klasik tensör-ağ yöntemlerinin verimliliğini belirleyen bağ boyutunun da hızla artmasına yol açabilir.

Dijital kuantum işlemcileri bu dinamiği kapılarla doğrudan oluşturabildiği için teorik olarak caziptir. Fakat günümüzün hata-toleranslı olmayan cihazlarında her kapı, hazırlama ve ölçüm işlemi belirli miktarda gürültü taşır. Böylece problem yalnız “devreyi çalıştırmak” değildir; sonuçtaki fiziksel sinyalin gerçek dinamikten mi yoksa cihaz hatalarından mı kaynaklandığını ayırt etmek gerekir.

Dual-Unitary Kuantum Devreleri Nedir?

Dual-unitary devreler, iki-kübit kapılarının normal zaman yönündeki üniterliğine ek olarak tensör indeksleri uzay yönünde yeniden düzenlendiğinde de üniter kalan özel devrelerdir; bu yapı, güçlü biçimde kaotik bilgi yayılımını bazı korelasyon fonksiyonları için tam analitik hesaplanabilirlikle birleştirir.

Normal üniterlikten “çift” üniterliğe

Her iki-kübit üniter kapı \(\hat U\),

\[ \hat U^\dagger\hat U = \hat U\hat U^\dagger = \hat I \]

koşulunu sağlar. Dual-unitary durumda kapının giriş ve çıkış indekslerinden belirli ikileri yeniden gruplanarak tanımlanan dual operatör \(\hat U_D\) de

\[ \hat U_D^\dagger\hat U_D = \hat U_D\hat U_D^\dagger = \hat I \]

koşulunu sağlar.

Bu matematiksel özellik yalnız soyut bir simetri değildir. Tensör diyagramlarındaki kapılar hem zaman hem uzay yönünde sadeleştirilebilir. Böylece çok büyük bir devrenin belirli gözlenebilirler için ilgili olmayan bölgeleri tam olarak birbirini götürebilir ve ölçülebilir sinyal yalnız bir ışık-konisi sınırına indirgenebilir.

Kicked Ising modeli nasıl devreye çevriliyor?

Çalışmada simüle edilen periyodik olarak sürülen kicked-Ising modeli iki Hamiltonyen bileşeniyle tanımlanır:

\[ \hat H_I= J\sum_n\hat Z_n\hat Z_{n+1} + h\sum_n\hat Z_n, \]

ve periyodik darbe alanı

\[ \hat H_K= b\sum_n\hat X_n. \]

Bir Floquet periyodundaki evrim

\[ \hat U_{KI} = e^{-i\hat H_K} e^{-i\hat H_I} \]

şeklindedir.

Çalışmanın kullandığı özel parametrelerde

\[ |J|=|b|=\frac{\pi}{4} \]

olduğunda iki-kübit bloklar her \(h\) için dual-unitary hale gelir.

\(h=0\) durumunda model serbest fermiyonlara eşlenebilir ve ilgili brickwork devresi Clifford kapılarından oluşur. \(h>0\) seçildiğinde integrabilite bozulur ve sistem non-integrable hale gelir; buna rağmen dual-unitary yapı sayesinde belirli korelasyon fonksiyonlarının tam çözümü korunur.

Neden “maksimum kaotik” deniyor?

Dual-unitary devrelerde kuantum bilgi yayılımı izin verilen maksimum hızlara ulaşabilir. İki-zamanlı korelasyonların ve bazı out-of-time-order correlator yapılarının ışık konisinin sınırında yayılması, hızlı scrambling davranışının göstergesidir. Uygun başlangıç durumlarında dolaşıklık büyümesinin de mümkün olan maksimum hızda gerçekleşebildiği bilinir.

Buradaki “maksimum kaos” ifadesi, her kuantum kaosu ölçütünün aynı anda maksimum olduğu gibi sınırsız bir iddia değildir; kaynak bunu dual-unitary devrelerin bilgi yayılımı ve ilgili analitik özellikleri bağlamında kullanmaktadır.

Işık Konisi Kuantum Kaosunu Nasıl Görünür Hale Getiriyor?

Dual-unitary yapı bilgi yayılımını hem zamansal hem uzaysal nedensellik tarafından sınırlar; çalışmada sonsuz-sıcaklık otokorelasyonu ışık konisinin dışında sıfır olurken, seçilen modelde yalnız \(n=t\) sınırında sonlu kalır ve böylece kaotik bilgi yayılımı tek bir ölçülebilir korelasyon hattına indirgenir.

Ölçülen büyüklük: sonsuz-sıcaklık otokorelasyonu

Araştırmacılar

\[ C_n(t)= \operatorname{Tr} \left[ \hat\rho_\infty \hat X_0(0) \hat X_n(t) \right] \]

otokorelasyon fonksiyonunu inceler.

Sonsuz-sıcaklık durumu

\[ \hat\rho_\infty = \frac{\hat I}{2^N} \]

şeklindedir.

Dual-unitary kicked-Ising modelinde, ilgili zaman aralığında tam analitik sonuç

\[ C_n(t)= \begin{cases} [\cos(2h)]^t, & n=t,\\ 0, & n\neq t \end{cases} \]

olarak elde edilir.

Bu formül çalışmanın doğrulama stratejisinin merkezindedir. \(n\neq t\) olduğunda korelasyon yoktur; \(n=t\) ışık-konisi sınırında ise sinyal \(h\)'ye bağlı olarak kontrollü biçimde azalır.

\(h=0\) Clifford noktasında

\[ C_n(t)=1 \]

olur. \(h>0\) değerlerinde ise

\[ |\cos(2h)|<1 \]

olduğundan otokorelasyon zamanla üstel olarak azalır.

Gerçek deneyde iki-zamanlı korelasyon nasıl ölçülüyor?

Bir kuantum bilgisayarda \(\hat X_0(0)\hat X_n(t)\) gibi iki farklı zamana ait operatörün doğrudan ölçülmesi basit değildir. Dual-unitary özellik araştırmacılara önemli bir dönüşüm olanağı sağlar.

Başlangıç durumu

\[ |\Psi(0)\rangle = |+\rangle_0 \otimes |\psi_{\mathrm{Bell}}\rangle^{\otimes\lfloor(N-1)/2\rfloor} \]

olarak hazırlanır. Burada

\[ |\psi_{\mathrm{Bell}}\rangle = \frac{|00\rangle+|11\rangle}{\sqrt2}. \]

Bu hazırlama sayesinde dual-unitary noktada sonsuz-sıcaklık otokorelasyonu, devrenin sonunda tek bir yerel beklenti değeri ölçümüne indirgenebilir:

\[ C_n(t) = \langle\Psi(0)| \hat X_n(t) |\Psi(0)\rangle. \]

Bu sadeleştirme, 91 kübitlik bir çok-cisim korelasyon probleminin gerçek donanım üzerinde erişilebilir hale gelmesinde kritik rol oynar.

Donanımın fiziksel ölçeği

Deneyler 127 sabit frekanslı transmon kübite sahip IBM Quantum Eagle işlemcisi ibm strasbourg üzerinde gerçekleştirilmiştir. Araştırmacılar cihaz üzerinde kalite metrikleri daha uygun olan bir-boyutlu 51, 71 ve 91 kübitlik zincirler seçmiştir.

ECR kapıları ve neden gürültü önemli?

Süperiletken donanımda temel iki-kübit dolaştırıcı işlem olarak echoed cross-resonance, yani ECR kapıları kullanılır. Bunlar yerel dönüşümlere kadar CNOT tipi etkileşime denktir.

Her brickwork zaman adımı, tek-kübit kapılarıyla ayrılmış paralel ECR katmanlarına ayrıştırılır. Devre derinliği büyüdükçe her katmandaki küçük hata birikerek ölçülen korelasyonun gerçek fiziksel dinamikten daha hızlı azalmasına neden olur.

Kaynağın 2. sayfasındaki Şekil 1(e), 91 kübitlik ham deneyde sinyalin gerçek dual-unitary korelasyondan nasıl erken sönümlendiğini açık biçimde gösterirken, aynı şeklin 1(f) panelinde TEM sonrası sinyal beklenen eğriye geri yaklaştırılmaktadır.

Tensor-Network Error Mitigation Gürültüyü Nasıl Azaltıyor?

TEM, kuantum işlemcisindeki gürültüyü fiziksel olarak düzeltmek yerine cihazın gürültü kanalını öğrenir, bu kanalın yaklaşık tersini bir matrix-product-operator tensör ağı olarak kurar ve informasyonel olarak tam ölçüm sonuçlarını klasik post-processing aşamasında yeniden ağırlıklandırarak ideal gözlenebilirin tahminini üretir.

Bu yöntem kuantum hata düzeltmesi değildir

Çalışmanın kullandığı TEM yaklaşımı, quantum error correction ile karıştırılmamalıdır. Hata düzeltmede fiziksel kübitler ek kod kübitleri ve syndrome ölçümleriyle korunur. TEM ise ek mantıksal kübit kodlaması gerektirmeden, kuantum devresi bittikten sonra ölçüm verilerini klasik olarak işler.

İdeal durumda gürültü kanalı \(\mathcal N\), ideal durumu

\[ \rho_{\mathrm{ideal}} \]

gürültülü duruma

\[ \rho_{\mathrm{noisy}} = \mathcal N(\rho_{\mathrm{ideal}}) \]

dönüştürür.

TEM yaklaşık olarak

\[ \mathcal M \approx \mathcal N^{-1} \]

bir ters harita kurmaya çalışır.

Bu ters harita fiziksel bir kuantum kanalı olmak zorunda değildir; dolayısıyla doğrudan donanımda uygulanması gerekmez. Bunun yerine gözlenebilir klasik olarak değiştirilir:

\[ \langle O\rangle_{\mathrm{ideal}} \approx \operatorname{Tr} \left[ \rho_{\mathrm{noisy}} \mathcal M^\dagger(O) \right]. \]

Gürültü modeli nasıl öğreniliyor?

Araştırmacılar ECR katmanlarının gürültüsünü sparse Pauli-Lindblad kanallarıyla modeller:

\[ \mathcal L(\rho) = \sum_i \lambda_i \left( P_i\rho P_i^\dagger-\rho \right). \]

Burada \(P_i\) tek-kübit ve en yakın komşu iki-kübit Pauli operatörlerini, \(\lambda_i\) ise ilgili gürültü üretici oranlarını temsil eder.

Pauli twirling uygulanarak koherent hataların etkisi Pauli tipi stokastik bir kanal biçimine yaklaştırılır. Ardından cycle-benchmarking tarzı deneylerle Pauli fideliteleri çıkarılır.

Çalışmanın teknik yeniliklerinden biri, standart gürültü öğrenmenin ayıramadığı bazı Pauli-fidelity çiftlerini daha iyi kısıtlamak için kicked-Ising modelinin \(h=0\) Clifford noktasını ek bir öğrenme devresi olarak kullanmasıdır.

Middle-out contraction neden gerekli?

TEM ters gürültü haritasını matrix-product operator, yani MPO biçiminde temsil eder. Harita katman katman doğrudan çarpılsaydı bağ boyutu hızla büyüyerek hesaplamayı üstel hale getirebilirdi.

Bunun yerine araştırmacılar ideal ve ters-gürültülü devrenin birbirine temas ettiği merkezden dışarı doğru ilerleyen middle-out contraction stratejisini kullanır:

\[ M_l = U_l \circ \Lambda_l^{-1} \circ M_{l-1} \circ U_l^{-1}. \]

Her adımda birbirine yakın ideal ve ters işlemler büyük ölçüde birbirini götürdüğü için ortaya çıkan MPO kimliğe yakın kalır ve sıkıştırılabilir.

Ölçüm neden informasyonel olarak tam?

TEM-sonrası değiştirilmiş gözlenebilir yalnız tek bir Pauli teriminden oluşmayabilir. Bu nedenle her kübitte \(X\), \(Y\) ve \(Z\) ölçüm bazları rastgele seçilerek informationally complete veri toplanır.

Sinyal kübitinde ölçüm örneklemesi özellikle \(X\) yönüne ağırlıklandırılmıştır:

\[ p_X=0.8,\qquad p_Y=0.1,\qquad p_Z=0.1. \]

Diğer kübitlerde ise üç Pauli bazı eşit olasılıkla örneklenir.

Çalışmanın Yöntemi ve Bulguları

Birinci aşama: tam çözülebilir dual-unitary noktada doğrulama

Araştırmacılar önce

\[ J=b=\frac{\pi}{4} \]

dual-unitary noktasını kullanarak hata azaltılmış kuantum donanımının doğruluğunu test etmiştir.

Alan parametresi

\[ h\in\{0,\;0.05,\;0.10,\;0.15\} \]

ve sistem boyutları

\[ N\in\{51,\;71,\;91\} \]

olarak seçilmiştir.

Kaynağın 3. sayfasındaki Şekil 2, bu deneylerin ana doğrulama sonucudur. Ham ölçüm noktaları gürültü nedeniyle teorik korelasyon eğrisinden sistematik biçimde daha hızlı düşerken, TEM ile hata azaltılmış sonuçlar analitik eğrilere güçlü biçimde yaklaşmaktadır.

Özellikle korelasyon fonksiyonunun bozunma hızı çıkarıldığında hata azaltılmış değerlerin teorik bozunma sabitiyle iyi uyuştuğu görülür. Bu bozunma hızı sistem boyutundan bağımsız evrensel bir niceliktir.

91 Kübitlik Sonuçlar Gerçekten Klasik Olarak Doğrulanamaz mı?

Tam statevector simülasyonu ve çalışmada kullanılan Schrödinger-picture tensör-ağ yaklaşımı bu ölçekte pratik veya yakınsamış değildir; ancak seçilen yerel gözlenebilir Heisenberg resminde daha düşük operatör dolaşıklığı gösterdiği için tensör-ağ simülasyonları yakınsayabilmektedir. Bu nedenle çalışma genel bir klasik hesaplama üstünlüğü değil, klasik doğrulamanın yönteme ve gözlenebilire güçlü biçimde bağlı olduğu bir kuantum–klasik sınır rejimini göstermektedir.

İkinci aşama: tam çözülebilir noktadan uzaklaşmak

Dual-unitary noktanın doğrulamasından sonra araştırmacılar \(J=\pi/4\) değerini sabit tutup transverse-field parametresi \(b\)'yi

\[ b=\frac{\pi}{4}+\delta b \]

şeklinde değiştirir ve yaklaşık

\[ \delta b\in[-0.15,\,0.15] \]

aralığını tarar.

Bu noktada dual-unitary yapı kaybolduğu için daha önceki tam korelasyon çözümü artık geçerli değildir. Ayrıca aynı başlangıç durumu ve ölçüm kullanılmasına rağmen \(\langle X_n(t)\rangle\) dual-unitary dışındaki rejimde artık sonsuz-sıcaklık otokorelasyonu olarak yorumlanamaz.

Kaynağın 4. sayfasındaki Şekil 3, her \(N\) için maksimum zaman

\[ t=\frac{N-1}{2} \]

değerinde \(b\) taramasını gösterir:

Schrödinger ve Heisenberg resimleri neden farklı sonuç veriyor?

Schrödinger-picture simülasyonda bütün kuantum durumu zaman içinde ilerletilir. Başlangıçta Bell çiftleriyle yerel olan dolaşıklık, kaotik kapılar tarafından hızla uzun menzilli hale gelir.

Bu nedenle araştırmacıların kullandığı

\[ \chi=1500 \]

bağ boyutunda bile Schrödinger-picture tensör-ağ hesapları yakınsamamıştır.

Heisenberg picture'da ise bütün durum yerine yalnız hedef gözlenebilir

\[ O=\hat X_n \]

devre boyunca geriye doğru evrimleştirilir.

Bu özel problemde gözlenebilirin etkili operatör dolaşıklığı çok daha sınırlı kalır. Ana metindeki karşılaştırmada

\[ \chi=500 \]

kullanılan Heisenberg-picture sonuçları deneysel TEM verileriyle güçlü uyum göstermektedir. Supplementary Information'daki yakınsama testleri, birçok durumda daha düşük bağ boyutlarının bile yeterli tahmin üretebildiğini göstermektedir.

Bu ayrım çok önemlidir: aynı 91 kübitlik devre, “bütün kuantum durumunu hesapla” sorusu açısından son derece zorken, “belirli bir yerel gözlenebiliri hesapla” sorusu açısından klasik olarak daha erişilebilir olabilir.

En büyük deneyin sayısal ölçeği

91 kübitlik veri kümesinde deney, gürültü öğrenme ve hata azaltımı dahil yaklaşık 3 saat 24 dakika duvar-saatinde gerçekleştirilmiştir.

Her model-parametre noktası için:

\[ 256 \]

farklı rastgeleleştirilmiş devre ve her devre için

\[ 1024 \]

shot kullanılmıştır. Böylece veri noktası başına toplam

\[ 256\times1024 = 262\,144 \]

ölçüm örneği alınmıştır.

91 kübitlik hata azaltılmış sonuçlar için TEM'in middle-out contraction işlemi ana metinde

\[ \chi=70 \]

MPO bağ boyutuyla uygulanmıştır.

TEM'in örnekleme maliyeti açısından avantajı

Supplementary Information, TEM'i probabilistic error cancellation (PEC) ve zero-noise extrapolation (ZNE) ile örnekleme overhead'i açısından karşılaştırır.

Bu oranlar aynı rastgele hata düzeyine ulaşmak için gerekli örnekleme maliyetlerinin kaynakta türetilen karşılaştırmasıdır. Özellikle en büyük devrelerde TEM'in bu model ve gürültü rejimi için çok daha avantajlı bir örnekleme maliyeti sunduğu görülmektedir.

Gürültü azaltımı kusursuz mu?

Hayır. Kaynak, büyük devrelerde hata azaltılmış sonuçların teoriden küçük fakat sistematik sapmalar gösterebildiğini açıkça tartışır.

Olası nedenler arasında:

• gürültü öğrenmedeki sınırlı hassasiyet,
• sparse Pauli-Lindblad modelinin gerçek cihaz gürültüsünü tam temsil etmemesi,
• yüksek mertebeli veya uzak komşu gürültü terimleri,
• koherent artık hatalar,
• transmonların hesaplama altuzayı dışına sızması,
• büyük devre hacminde küçük model hatalarının birikmesi

sayılmaktadır.

Supplementary Information'daki mirror-circuit benchmark'ları bazı gözlenebilirlerin deneyde gürültü modelinin öngördüğünden daha fazla bozulduğunu göstermektedir. Dolayısıyla TEM'in doğruluğunun üst sınırlarından biri, ters çevrilmeye çalışılan gürültü modelinin gerçek cihazı ne kadar doğru tanımladığıdır.

Çalışmanın desteklediği sonuçlar

• Dual-unitary kicked-Ising devreleri, non-Clifford büyük ölçekli kuantum hesaplamalarının doğrulanması için analitik olarak kontrol edilebilir bir benchmark sunabilir.
• IBM süperiletken işlemcisinde 51, 71 ve 91 kübitlik devreler deneysel olarak çalıştırılmıştır.
• Ham donanım gürültüsü otokorelasyon sinyalini ideal teoriden daha hızlı bastırmaktadır.
• TEM hata azaltımı sonrasında dual-unitary korelasyonları analitik teoriye önemli ölçüde yaklaşmaktadır.
• Hata azaltılmış bozunma sabitleri incelenen sistem boyutlarında teorik değerlerle güçlü uyum göstermektedir.
• Dual-unitary noktadan uzaklaşıldığında deneysel sonuçlar yakınsamış Heisenberg-picture tensör-ağ sonuçlarıyla güçlü biçimde uyuşmaktadır.
• Schrödinger-picture tensör-ağ hesapları aynı devrelerde çok daha zor hale gelmekte ve kullanılan \(\chi=1500\) değerinde yakınsamamaktadır.
• Kuantum donanımı ve klasik tensör-ağ post-processing'inin birleştirilmesi, hata-toleransından önce erişilebilen problem boyutunu büyütebilir.

Çalışmanın desteklemediği sonuçlar

• 91 kübit kullanılmış olması tek başına genel kuantum hesaplama üstünlüğü kanıtı değildir.
• Çalışma klasik bilgisayarların ilgili tüm gözlenebilirleri hesaplayamadığını göstermemektedir; Heisenberg-picture tensör-ağ hesapları seçilen gözlenebilir için yakınsamaktadır.
• TEM fiziksel hataları devreden kaldıran tam kuantum hata düzeltmesi değildir.
• Hata azaltılmış sonuçlar tamamen hatasız değildir; gürültü modelindeki yanlışlıklar artık bias oluşturabilir.
• Dual-unitary noktasındaki tam analitik çözüm, dual-unitary dışındaki bütün parametre bölgesine uygulanamaz.
• Çalışmada kullanılan “maksimum kaotik” ifadesi her olası kuantum kaos ölçütünün maksimum olduğu anlamına gelmez.
• Çalışma bütün kaotik kuantum çok-cisim problemlerinin bugünkü kuantum işlemcilerinde güvenilir biçimde çözülebileceğini kanıtlamaz.
• Hata-toleranslı kuantum bilgisayar elde edildiği iddia edilmemektedir; kullanılan işlemci açıkça pre-fault-tolerant rejimdedir.

Kaynak ve Yöntem Notu

Özgün başlık:Dynamical simulations of many-body quantum chaos on a quantum computer.

Yazarlar: Laurin E. Fischer, Matea Leahy, Andrew Eddins, Nathan Keenan, Davide Ferracin, Matteo A. C. Rossi, Youngseok Kim, Andre He, Francesca Pietracaprina, Boris Sokolov, Shane Dooley, Zoltán Zimborás, Francesco Tacchino, Sabrina Maniscalco, John Goold, Guillermo García-Pérez, Ivano Tavernelli, Abhinav Kandala ve Sergey N. Filippov.

Yüklenen kaynak: arXiv:2411.00765v1 [quant-ph], 1 Kasım 2024.

Kaynak kapsamı: Yüklenen dosya 7 sayfalık ana metin ve 23 sayfalık Supplementary Information ile birlikte 32 sayfadır. Ek materyal kicked-Ising modelinin brickwork eşlemesini, korelasyon fonksiyonlarının dual-unitary türetimini, cihaz karakterizasyonunu, gürültü öğrenmeyi, TEM'i, informationally complete ölçümleri, Schrödinger/Heisenberg tensör-ağ simülasyonlarını ve yakınsama analizlerini ayrıntılandırmaktadır.

Güncel hakemli yayın: Çalışma daha sonra Nature Physics 22, 302–307 (2026) olarak yayımlanmıştır.

DOI: 10.1038/s41567-025-03144-9.

Yayın tarihi: 20 Ocak 2026.

Bilimsel içerik sınırı: Bu Verianla makalesindeki deney düzeni, model denklemleri, 51/71/91 kübit sonuçları, cihaz karakterizasyonu, TEM yöntemi ve klasik simülasyon karşılaştırmaları yüklenen arXiv v1 sürümünden alınmıştır. Nature Physics sürümü yalnız güncel yayın ve DOI doğrulamasında kullanılmıştır.

Deneysel kurumlar: Çalışmada IBM Quantum, Algorithmiq, Trinity College Dublin, EPFL, University of Milan ve HUN-REN Wigner Research Centre for Physics dahil çeşitli kurumlar yer almaktadır.

Finansman: Yüklenen kaynak European Union Horizon 2020 Marie Skłodowska-Curie MOQS programı, NCCR MARVEL / Swiss National Science Foundation ve SFI-IRC Pathway Grant dahil destekleri bildirmektedir.

Çıkar çatışması: Yüklenen preprint, çalışmanın bazı unsurlarının Algorithmiq Oy tarafından Avrupa Patent Ofisi ve ABD Patent Ofisi'ne yapılan patent başvurularına dahil edildiğini belirtmektedir.

Klasik kaynaklar: Tensör-ağ simülasyonları Python ve Julia ortamlarında Quimb ve ITensor kullanılarak; Karolina ve Leonardo yüksek-başarımlı hesaplama kümeleri ile Microsoft Azure sanal makinelerinde gerçekleştirilmiştir.

Şekil kullanımı: Bu içerikte verilen devre/ışık-konisi/TEM şeması kaynak figürün birebir yeniden üretimi değildir. Kaynağın bilimsel yapısını anlatmak için Verianla'ya özgü olarak yeniden çizilmiştir. Kaynaktaki deneysel grafikler ancak güvenilir ham veri üzerinden yeniden oluşturulmalıdır.

Verianla Live: Çalışma Live Figure için güçlü biçimde uygundur. En anlamlı animasyon; brickwork devrede bir \(X\) operatörünün ışık konisi boyunca yayılması, \(n=t\) sınırında kalan korelasyon, ardından aynı sinyalin “ideal / ham donanım / TEM sonrası” üç katmanı arasında karşılaştırılmasıdır. Dual-unitary dışındaki \(b-\pi/4\) taraması ise ikinci bir Live modül olarak kullanılabilir.