Bu çalışma, genlikleri bilinen bir matematiksel fonksiyon tarafından belirlenen kuantum durumlarını hazırlamak için, fonksiyon değerlerini kuantum yazmaçlarında koherent aritmetik devreleriyle hesaplama veya kuantum bellek/tablo okumalarıyla yükleme gereksinimini ortadan kaldıran bir yöntem geliştiriyor. Temel fikir, çok düşük maliyetle blok-kodlanan sinüs fonksiyonunu quantum singular value transformation (QSVT) kullanarak hedef fonksiyonun polinom yaklaşımına dönüştürmek ve ardından genlik yükseltme ile istenen normalize kuantum durumunu elde etmek. Kesin pariteli gerçek fonksiyonlar için ana teorem en fazla üç ancilla qubit ile \(O(nd/\mathcal F_{\tilde f}^{[N]})\) gate karmaşıklığı veriyor; daha genel durumda yöntem dört ancilla qubite kadar çıkabiliyor. Gaussian ve Kaiser pencere durumlarında teorik karmaşıklık sınırları ve somut kaynak tahminleri sunuluyor. Temel sınırlama, yöntemin özellikle düşük dereceli polinom veya kompakt Fourier yaklaşımı bulunan fonksiyonlarda avantajlı olması ve verimin fonksiyonun \(L_2\)-norm doldurma oranına bağlı kalmasıdır.

Yöntemin en dikkat çekici pratik sonucu qubit kullanımında ortaya çıkıyor. Kaynakta verilen 16 qubitlik Gaussian örneğinde QSVT tabanlı devre yalnızca 3 ancilla qubit kullanırken, karşılaştırılan amplitude-oracle tabanlı yöntemlerde bu sayı 141–189 arasında değişiyor. Araştırmacılar bu azalmayı, erken hata-toleranslı kuantum hesaplama döneminde devrelerin fiziksel ayak izini küçültmek açısından önemli görüyor.

Bununla birlikte çalışma “QSVT yöntemi bütün durum hazırlama yöntemlerinden daha az gate kullanır” sonucunu çıkarmıyor. Somut kaynak tablosunda QSVT için T gate'ler, diğer bazı yöntemler için Toffoli gate'ler sayılıyor ve yöntemlerin gate maliyetleri aynı birimde verilmiş değil. Çalışmanın daha güçlü ve doğrudan karşılaştırılabilir sonucu ancilla qubit sayısındaki büyük azalmadır.

Kuantum durum hazırlama problemi nedir?

Araştırmacılar \(N=2^n\) boyutlu bir kuantum durumunu \(n\) qubit üzerinde hazırlamak istiyor. Hedef durumun genlikleri önceden bilinen bir \(f\) fonksiyonu tarafından belirleniyor:

\[ |\Psi_f\rangle = \frac{1}{\mathcal N_f} \sum_{x=-N/2}^{N/2-1} f(\bar x)|x\rangle, \]

burada

\[ \bar x=\frac{2ax}{N} \]

ve

\[ \mathcal N_f = \sqrt{\sum_x|f(\bar x)|^2}. \]

Bu tür durumlar diferansiyel denklem algoritmalarında, sonlu eleman yöntemlerinde, kuantum alan teorisi simülasyonlarında, finansal türev fiyatlamasında, faz tahmininde ve grid tabanlı kuantum kimyasında gerekli olabilir.

Geleneksel yöntemlerde sorun nerede?

Birçok durum hazırlama yöntemi önce

\[ |x\rangle|0\rangle \longrightarrow |x\rangle|f(\bar x)\rangle \]

tipinde bir amplitude oracle oluşturur.

Bunun için \(f(\bar x)\) değerinin kuantum yazmaçlarında belirli sayıda bit ile hesaplanması gerekir. Kaynak iki ana yaklaşımın kullanılabileceğini belirtiyor: sabit noktalı koherent kuantum aritmetiği veya önceden hesaplanan değerlerin kuantum tablo/bellek yapısından okunması.

Her iki seçenek de özellikle ancilla qubit ve non-Clifford gate açısından pahalı olabilir. Ayrıca aritmetik devreler taşma hataları, sabit nokta gösterimleri ve fonksiyona özel optimizasyonlar nedeniyle çoğu zaman elle tasarlanmak zorundadır.

Yeni yöntemin temel tasarım amacı bu amplitude oracle katmanını tamamen ortadan kaldırmaktır.

QSVT burada ne yapıyor?

Quantum singular value transformation, bir blok-kodlama içinde bulunan matrisin tekil değerlerine veya uygun Hermit durumda özdeğerlerine bir polinom fonksiyonu uygulamayı mümkün kılar.

Bir \((n+m)\)-qubit üniter \(U\), Hermit \(A\) matrisi için yaklaşık blok-kodlama olarak

\[ \left\| \alpha (\langle0|^{\otimes m}\otimes I_n) U (|0\rangle^{\otimes m}\otimes I_n) - A \right\| \leq\epsilon \]

koşulunu sağladığında, uygun QSVT faz açıları kullanılarak \(A\)'nın polinom fonksiyonu uygulanabilir.

Bu çalışmada doğrudan hedef \(f\) fonksiyonunu hesaplamak yerine önce çok ucuz biçimde

\[ A= \sum_{x=-N/2}^{N/2-1} \sin\left(\frac{2x}{N}\right) |x\rangle\langle x| \]

matrisi blok-kodlanıyor.

Daha sonra

\[ f(a\arcsin(y)) \]

fonksiyonunun uygun bir polinom yaklaşımı hazırlanıyor ve QSVT aracılığıyla sinüs blok-kodlaması hedef fonksiyona dönüştürülüyor.

Polinom yaklaşımı nasıl tanımlanıyor?

Kesin pariteli gerçek bir fonksiyon için araştırmacılar, derece \(d\) olan ve

\[ \max_{y\in[-1,1]}|h(y)|\leq1 \]

koşulunu sağlayan bir \(h(y)\) polinomu kullanıyor.

Gerçekleştirilen yaklaşık fonksiyon

\[ \tilde f(y)=h(\sin(y/a)) \]

şeklinde tanımlanıyor.

QSVT üniterliğini korumak için polinomun tüm \([-1,1]\) bölgesinde büyüklüğünün 1'i aşmaması gerekiyor. Yazarlar minimax polinomların Remez algoritmasıyla veya Taylor açılımlarıyla hesaplanabileceğini belirtiyor.

\(L_2\)-norm filling-fraction nedir?

Algoritmanın karmaşıklığını belirleyen kritik niceliklerden biri kaynakta “discretized \(L_2\)-norm filling-fraction” olarak tanımlanıyor:

\[ \mathcal F_p^{[N]} = \frac{\mathcal N_p} {\sqrt N\, \max_{y\in[-a,a]}|p(y)|}. \]

Bu nicelik, fonksiyonun maksimum değerine göre normalize edildiğinde \(N\) grid noktasının ne kadarını anlamlı \(L_2\) ağırlığıyla doldurduğunu ölçer.

Sezgisel olarak çok dar ve sivri bir fonksiyonda genlik ağırlığı az sayıda grid noktasında yoğunlaşır ve \(\mathcal F\) küçülür. Daha geniş bir fonksiyonda doldurma oranı daha yüksek olur.

Amplitude amplification sayısı yaklaşık

\[ O\left(\frac{1}{\mathcal F_{\tilde f}^{[N]}}\right) \]

olduğundan küçük filling-fraction algoritmanın maliyetini artırır.

Ana teorem ne söylüyor?

Kaynağın Theorem 1 sonucu, uygun \(h(y)\) yaklaşımı

\[ \left| \tilde f(y) - \frac{f(ay)} {\max_{y\in[-1,1]}|f(ay)|} \right|_{\max} \leq \frac{\epsilon}{3} \min \left( \mathcal F_f^{[N]}, \mathcal F_{\tilde f}^{[N]} \right) \]

koşulunu sağlıyorsa, hedef \(|\Psi_f\rangle\) durumuna iz uzaklığı en fazla \(\epsilon\) olan \(|\Psi_{\tilde f}\rangle\) durumunun

\[ O\left( \frac{nd} {\mathcal F_{\tilde f}^{[N]}} \right) \]

gate kullanılarak ve en fazla üç ancilla qubit ile hazırlanabileceğini gösteriyor.

Bu üç-qubit sonucu, çalışmanın ana teoreminde incelenen kesin-pariteli gerçek fonksiyon sınıfı içindir. Makalenin genel yöntem özeti, karışık parite veya daha genel fonksiyonlarda bir ek ancilla gerekebileceği için genel sayıyı dört olarak verir.

Şekil 1'deki üç devre ne yapıyor?

Kaynağın 2. sayfasındaki Şekil 1, bütün algoritmayı üç fiziksel devre katmanına ayırıyor.

İlk blok-kodlama devresi, yön kontrollü bir phase-gradient işlemi ile Hadamard-test benzeri yapıyı birleştiriyor. Böylece \(x\) değerinin kendisini bir sayı yazmacına hesaplamak yerine faz rotasyonları üzerinden doğrudan \(\sin(2x/N)\) genliği ortaya çıkarılıyor.

İlk post-selection başarısı ne kadar?

\(U_{\tilde f}\) düzgün süperpozisyon durumuna uygulandığında ilk iki ancilla qubitin \(|00\rangle\) olarak ölçülmesi istenen durumu üretir.

Ana teoremdeki yaklaşım hatası koşulları altında bu olayın başarı olasılığı en az

\[ \frac{4}{9} \left( \mathcal F_{\tilde f}^{[N]} \right)^2 \]

olarak sınırlandırılıyor.

Yazarlar Appendix B'de tam genlik yükseltme yöntemini ayrıca ispatlıyor ve bu başarı olasılığını teorik olarak 1'e çıkarıyor.

Tam genlik yükseltmede yeni olan nedir?

Çalışmanın Appendix B bölümü, standart amplitude amplification'ın tam başarıya ayarlanmış sürümünü ayrıntılı biçimde veriyor. Chebyshev polinomlarının

\[ T_n(x)=\cos(n\arccos x) \]

tanımı ve yineleme bağıntısı kullanılıyor.

Başlangıç başarı genliği \(a\) bilindiğinde, uygun sayıda Grover-benzeri yansıma ve ek bir tek-qubit rotasyonuyla hedef bileşen tam olarak birim genliğe getirilebiliyor.

Kaynak ayrıca \(a\)'nın yalnız yaklaşık bilindiği durumu da analiz ediyor ve gerçek genlikteki hata için ikinci dereceden hassasiyet sınırı veriyor.

Fonksiyon düzgünse karmaşıklık nasıl değişiyor?

Analitik ve düzgün fonksiyonlarda polinom yaklaşım hatası çoğu zaman dereceyle üstel biçimde küçülebilir:

\[ \delta=O(e^{-d}). \]

Bu durumda gerekli polinom derecesi logaritmik olarak büyür ve kaynak toplam gate karmaşıklığını, polilogaritmik terimleri gizleyerek,

\[ \widetilde O \left( \frac{n} {\mathcal F_{\tilde f}^{[N]}} \log\frac1\epsilon \right) \]

biçiminde ifade eder.

Gaussian ve Kaiser pencere neden seçilmiş?

Çalışma yöntemin yalnız soyut bir fonksiyon sınıfında kalmadığını göstermek için iki önemli uygulama seçiyor.

Gaussian fonksiyonu kaynakta genel analiz için

\[ f_\beta(x) = \exp\left(-\frac{\beta}{2}x^2\right) \]

olarak tanımlanıyor. Gaussian durumlar kuantum kimyası, kuantum alan teorisi ve finans algoritmalarında kullanılabilir.

Kaiser pencere ise

\[ W_\beta(x) = \frac{ I_0\left( \beta\sqrt{1-x^2} \right) }{ I_0(\beta) } \]

biçimindedir. \(I_0\), birinci tür sıfırıncı mertebe modified Bessel fonksiyonudur.

Kaiser pencere özellikle quantum phase estimation'da ana tepe genişliği ile yan bant yüksekliği arasındaki trade-off'u ayarlamak için kullanılır.

Gaussian ve Kaiser durumlarının teorik karmaşıklığı

Theorem 2,

\[ \epsilon\in(0,1/2) \]

ve

\[ 2^n\geq\sqrt{\beta} \]

koşulları altında her iki durumun

\[ O\left( n(\beta+1)^{1/4} \left[ \beta+\log(1/\epsilon) \right] \right) \]

gate karmaşıklığıyla hazırlanabileceğini gösteriyor.

Gaussian durumunda ayrıca

\[ \beta\geq\log(1/\epsilon) \]

olduğunda destek bölgesinin yeniden ölçeklenmesiyle sınır

\[ O\left( n\log^{5/4}(1/\epsilon) \right) \]

seviyesine iyileştirilebiliyor.

Filling-fraction için neden \(\beta^{-1/4}\) ölçeği ortaya çıkıyor?

Appendix G'de hem Gaussian hem Kaiser pencere için

\[ f(x)\geq1-\frac{\beta}{2}x^2 \]

alt sınırı kuruluyor.

\(\beta\geq2\) rejiminde bu alt sınır belirli bir merkez aralıkta entegre edilerek sürekli \(L_2\) doldurma oranının kabaca

\[ \mathcal F_f^{[\infty]} = \Omega(\beta^{-1/4}) \]

ölçeğinden daha kötü olmadığı gösteriliyor.

Bu nedenle \(\beta\) büyüyüp fonksiyon daraldıkça genlik yükseltme maliyeti de yaklaşık dördüncü kök ölçeğinde büyür.

Kaynak karşılaştırmasında yöntem ne kazanıyor?

Kaynağın 3. sayfasındaki Tablo I, kesin-pariteli gerçek fonksiyonların hazırlanmasını farklı yöntemler arasında karşılaştırıyor.

Makalenin temel avantaj iddiası, amplitude oracle'nın tamamen kaldırılması sayesinde ancilla sayısının keskin biçimde düşmesidir.

16 qubitlik Gaussian kaynak tahmini

Kaynağın 4. sayfasındaki Tablo II, \(n=16\) qubit ve iz uzaklığı

\[ \epsilon\leq10^{-6} \]

olan somut bir Gaussian hazırlama örneğini inceliyor.

Tablo başlığı bu özel kaynak tahmini için fonksiyonu

\[ \exp(-\beta x^2), \qquad \beta=10, \qquad x\in[-1,1] \]

biçiminde yazıyor. Bu, makalenin teorik bölümündeki \(\exp(-\beta x^2/2)\) parametrizasyonundan farklıdır; kaynak iki gösterimi açıkça eşitlemediği için bu değerler aynı \(\beta\) kabul edilmemelidir.

Gate sayıları neden aynı grafikte verilmedi?

Tablo II'nin gate sütunu başlığı “T / Toffoli gates” biçimindedir ve yöntemlerin hepsi aynı temel gate birimiyle raporlanmaz.

Kaynak dipnotunda T ve Toffoli maliyetleri arasında fault-tolerant uygulamaya bağlı dönüşümler bulunduğunu açıkça belirtir. Örneğin uygun ancilla ile dört T gate kullanılarak bir Toffoli gerçekleştirilebileceğine atıf yapılır. Bu nedenle ham 48.000 ile 24.000 sayılarının “QSVT iki kat daha pahalıdır” gibi doğrudan karşılaştırılması bilimsel olarak doğru değildir.

QSVT kaynak tahmini nasıl elde ediliyor?

QSVT devresindeki baskın non-Clifford maliyet \(U_{\sin}\) içindeki Z rotasyonlarının fault-tolerant sentezinden gelir.

Kaynak yaklaşık T maliyetini

\[ (2R+1)d(n+1) \left[ 0.57 \log_2 \left( \frac{(2R+1)d(n+1)}{\epsilon_s} \right) + 8.83 \right] \]

ile verir.

Somut örnekte yaklaşık \(5.7\times10^{-7}\) iz uzaklığı sağlayan derece 20, çift-pariteli polinom yeterli bulunmuş ve R=2 genlik-yükseltme turu kullanılmıştır.

Gate maliyeti daha da azaltılabilir mi?

Kaynak, yaklaşık \(n\) ek ancilla qubit harcanması kabul edilirse sinüs blok-kodlamasındaki rotasyon maliyetinin farklı devre mimarileriyle düşürülebileceğini tartışıyor.

Önerilen seçeneklerden biri phase-gradient catalyst durumu kullanarak toplama devresi, diğeri ise sinüs yerine doğrudan \(x\)'i blok-kodlayan karşılaştırma-test yaklaşımıdır.

Bu durum önemli bir mühendislik trade-off'una işaret eder: çalışma her koşulda “en az qubit ve en az gate” tek noktasını vermiyor; mimariye göre qubit ile non-Clifford gate arasında tercih yapılabilir.

Daha iyi bir başlangıç dağılımı kullanılabilir mi?

Varsayılan algoritma

\[ |+\rangle^{\otimes n} \]

düzgün süperpozisyonunu başlangıç öncülü olarak kullanır.

Ancak hedef \(f\) fonksiyonuna daha çok benzeyen düşük maliyetli bir \(p\) öncülü hazırlanabiliyorsa, algoritma \(f/p\) oranını blok-kodlayabilir.

Kaynak, bu yaklaşımın hedef fonksiyonun normalizasyonuna benzer bir öncül seçildiğinde amplitude amplification tur sayısını azaltabileceğini belirtiyor.

Süreksiz fonksiyonlar nasıl ele alınıyor?

QSVT polinomları süreksizlikleri yaklaşık olarak temsil etmekte zorlanabilir. Çalışma iki çözüm öneriyor.

Birinci çözümde koherent inequality test ile yazmaç, süreksizliğin solunda ve sağında bulunan durumları işaretleyen bir flag qubit ile dolaşık hale getiriliyor. Her bölgeye farklı QSVT polinomu uygulanıyor.

İkinci yaklaşımda inequality test, sayısal domain içinde yapay bir “boşluk” açıyor. Hedef durum bu boşlukta destek taşımadığı için süreksiz fonksiyon, boşluk içinde yumuşak ve sürekli bir fonksiyonla birleştirilebiliyor. İşlem bittikten sonra flag uncompute edilerek orijinal grid geri getiriliyor.

Fourier yaklaşımı neden doğal bir uzantı?

Çalışma yöntemin Fourier-based quantum eigenvalue transformation ile de uyumlu olduğunu belirtiyor.

Bu durumda polinom blok-kodlaması yerine

\[ U(A) = |0\rangle\langle0|\otimes I + |1\rangle\langle1|\otimes e^{iAt} \]

tipinde kontrollü zaman evrimi kullanılıyor.

Özellikle küresel harmonikler gibi kompakt Fourier açılımına sahip fonksiyonlarda bu yaklaşım avantajlı olabilir.

Çok değişkenli fonksiyonlar için durum nedir?

Makale doğrusal kombinasyonlar ve blok-kodlama çarpımları kullanılarak \(f(x,y)\) gibi fonksiyonların seri açılımları üzerinden çok değişkenli genişletmeler yapılabileceğini tartışıyor.

Alternatif olarak multivariable-QSP kullanılabilir.

Ancak yazarlar burada iki açık problemi özellikle belirtiyor: MQSP ile uygulanabilen fonksiyon sınıflarının henüz tam karakterize edilmemesi ve boyut büyüdükçe filling-fraction'ın üstel biçimde küçülebilme riski.

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

• Bilinen bir fonksiyonu genlik olarak kodlayan kuantum durumları, uygun fonksiyon sınıflarında koherent arithmetic amplitude oracle oluşturulmadan hazırlanabilir.
• Sinüs fonksiyonunun düşük maliyetli blok-kodlaması QSVT aracılığıyla hedef fonksiyonun polinom yaklaşımına dönüştürülebilir.
• Kesin-pariteli gerçek fonksiyonlar için ana algoritma en fazla üç ancilla qubit kullanır.
• Daha genel fonksiyon sınıflarında yöntemin ancilla gereksinimi dört qubite kadar çıkabilir.
• Gate karmaşıklığı \(O(nd/\mathcal F_{\tilde f}^{[N]})\) ile sınırlandırılabilir.
• Analitik olarak iyi polinom yaklaşımı bulunan fonksiyonlarda hata bağımlılığı logaritmik hale gelebilir.
• Gaussian ve Kaiser pencere durumları için açık teorik karmaşıklık sınırları elde edilir.
• 16 qubitlik kaynak tahmininde QSVT yönteminin ancilla ihtiyacı karşılaştırılan amplitude-oracle yöntemlerine göre bir mertebeden fazla azalır.
• Yöntem iyileştirilmiş priors, sınırlı sayıda süreksizlik ve Fourier tabanlı fonksiyon yaklaşımlarına genişletilebilir.

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

• Yöntemin bütün olası fonksiyonlarda mevcut durum hazırlama yöntemlerinden daha verimli olduğu kanıtlanmamaktadır.
• Düşük dereceli polinom veya Fourier yaklaşımı bulunmayan fonksiyonlarda aynı avantaj garanti edilmemektedir.
• 48.000 T gate ile 24.000 veya 45.000 Toffoli değerleri doğrudan aynı birimde fiziksel maliyet ölçümü değildir.
• Kaynak tahminleri gerçek fault-tolerant kuantum donanımında ölçülmüş çalışma süreleri değildir.
• Çalışma fiziksel qubit sayısını doğrudan hesaplamaz; tablolar mantıksal/algoritmik qubit ve gate kaynaklarını tartışır.
• Filling-fraction çok küçük olduğunda amplitude amplification maliyeti yüksek kalabilir.
• Çok değişkenli yüksek boyutlu fonksiyonlarda filling-fraction sorununun çözüldüğü gösterilmemektedir.
• Gaussian veya Kaiser durumlarının belirli bir gerçek kuantum işlemcide deneysel olarak hazırlandığı raporlanmamaktadır.

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

Araştırma tasarımı

Bu çalışma teorik kuantum algoritmaları ve kaynak analizi araştırmasıdır. Fiziksel cihaz üzerinde yeni deney yapılmamıştır. Yöntem; blok-kodlama, QSVT, polinom yaklaşımı, iz uzaklığı hata analizi, tam amplitude amplification, fonksiyon yaklaşım teorisi ve fault-tolerant kaynak tahmini üzerine kuruludur.

Algoritmik iş akışı

1. Hedef \(f(\bar x)\) fonksiyonunun normalize edilmiş polinom yaklaşımı klasik olarak hesaplanır.
2. QSVT faz açıları klasik ön hesaplamayla belirlenir.
3. \(U_{\sin}\) devresi sinüs fonksiyonunu düşük maliyetle blok-kodlar.
4. QSVT, \(U_{\sin}\) blok-kodlamasını \(\tilde f\) fonksiyonuna dönüştürür.
5. Devre düzgün başlangıç süperpozisyonuna uygulanır.
6. İstenen ancilla altuzayındaki başarı bileşeni amplitude amplification ile 1'e çıkarılır.
7. Ortaya çıkan normalize durumun hedef \(|\Psi_f\rangle\)'ye iz uzaklığı polinom yaklaşım hatasıyla sınırlandırılır.

Hata ölçütü

Kaynak durum doğruluğunu trace distance ile ölçüyor:

\[ D \left( |\Psi_{\tilde f}\rangle, |\Psi_f\rangle \right) = \sqrt{ 1- |\langle\Psi_f|\Psi_{\tilde f}\rangle|^2 }. \]

Appendix C'deki Lemma 6, fonksiyonun maksimum norm yaklaşım hatasının filling-fraction ile uygun biçimde ölçeklendirilmesi halinde durum iz uzaklığının \(\epsilon\)'dan büyük olmayacağını kanıtlar.

Daha sıkı hata analizi

Yazarlar maksimum \(L_\infty\) hata sınırının çoğu pratik polinom yaklaşımında kötümser olduğunu belirtiyor.

Bunun yerine gerçek iç çarpım

\[ \frac{ \sum_x f(\bar x)\tilde f(\bar x) }{ \mathcal N_f\mathcal N_{\tilde f} } \]

doğrudan hesaplanabiliyorsa daha sıkı iz uzaklığı bulunabilir.

Grid çok büyük olduğunda toplamlar uygun Riemann integralleriyle yaklaşık olarak değerlendirilebilir.

Discretization hatası

Appendix B'de standart Riemann toplamı sonuçları kullanılıyor. Sürekli türevlenebilir fonksiyonlarda grid yaklaşım hatası \(O(1/N)\), orta nokta benzeri yerleştirme ve ikinci türev varsayımı altında ise \(O(1/N^2)\) ölçeğine indirilebiliyor.

Bu, çok yüksek \(n\) değerlerinde sürekli filling-fraction'ın ayrık değeri yaklaşık olarak temsil etmesini destekliyor.

Gaussian/Kaiser polinom derecesi

Appendix F, Taylor serisi katsayılarının mutlak toplamı üzerinden genel bir truncation teoremi kuruyor.

Hem Gaussian hem Kaiser pencere için sonuç olarak

\[ d= O\left( \beta+\ln(1/\delta) \right) \]

dereceli ve \([-1,1]\) üzerinde sınırlı bir polinomun gerekli yaklaşım doğruluğunu sağlayabildiği gösteriliyor.

Somut Gaussian örneğinin parametreleri

Amplitude-oracle kaynak tahminleri nasıl oluşturulmuş?

Appendix I, rakip yöntemlerin maliyetlerini kaynak makalelerdeki devrelerle ve belirli aritmetik alt rutinleriyle yeniden hesaplıyor.

Piecewise-polynomial amplitude oracle için kaynak yaklaşık 20.504 Toffoli / oracle çağrısı ve 162 oracle ancillası kullanıyor; tam state-preparation yöntemiyle toplam ancilla Tablo II'de 168'e çıkıyor.

Linear interpolation yaklaşımında QROM ile yaklaşık 1900 aralık için gradient ve intercept değerleri yükleniyor. Ara adımlarda çarpma, karesini alma ve kontrollü bit-shift işlemleri kullanılıyor; amplitude oracle başına yaklaşık 4069 Toffoli elde ediliyor.

Bespoke Gaussian oracle değerleri ise önceki bir kaynak çalışmanın tahminlerinden alınmaktadır ve yazarlar bunların iyimser bir alt sınır olduğunu özellikle belirtir.

Kaynak tahminlerinin ana bilimsel mesajı

Somut örnekte QSVT yönteminin gate avantajı kesin ve evrensel bir üstünlük biçiminde ortaya çıkmıyor; ancak ancilla farkı çok nettir.

QSVT:

\[ 3\text{ ancilla} \]

kullanırken en düşük rakip değer:

\[ 141\text{ ancilla} \]

olduğundan, seçilen örnekte mantıksal yardımcı qubit gereksinimi yaklaşık iki büyüklük mertebesine yakın ölçekte azalıyor.

Bu sonuç özellikle erken fault-tolerant dönemde, algoritmanın tamamının fiziksel qubit ayak izini azaltmayı hedefleyen sistem tasarımları için önemlidir.

Çalışmanın güçlü yönleri

• Fonksiyona özel koherent aritmetik devreleri yerine yeniden kullanılabilir tek bir QSVT devre şablonu sunması.
• Amplitude oracle gereksinimini tamamen kaldırması.
• Hata analizi ve state trace-distance sınırlarını açık teoremlerle vermesi.
• Exact amplitude amplification durumunu ayrıntılı biçimde ispatlaması.
• Asimptotik karmaşıklığın yanında somut fault-tolerant kaynak tahminleri vermesi.
• Gaussian ve Kaiser pencere gibi algoritmik olarak önemli iki fonksiyonu ayrıntılı analiz etmesi.
• Ancilla qubit maliyetinde çok güçlü azalma göstermesi.
• Priors, süreksizlikler ve Fourier yaklaşımı için genişletme yolları sunması.

Çalışmanın sınırlılıkları

• Avantaj fonksiyonun düşük dereceli polinom veya uygun Fourier yaklaşımına sahip olmasına bağlıdır.
• Karmaşıklık filling-fraction küçüldüğünde kötüleşir.
• Gate sayısı açısından karşılaştırılan yöntemler farklı non-Clifford gate birimleri kullanmaktadır.
• Kaynak tahminleri fiziksel hata düzeltme mimarisinin tamamını modellemez.
• QSVT rotasyonlarının fault-tolerant sentezi önemli bir T-gate maliyeti yaratır.
• Çok değişkenli fonksiyonlarda filling-fraction'ın boyutla azalması çözülmemiş problemdir.
• Bespoke Gaussian karşılaştırmasının kaynak tahmini yazarların da belirttiği üzere iyimser bir alt sınırdır.
• Çalışma gerçek kuantum donanımında uygulama veya benchmark sunmamaktadır.

Kaynak ve Yöntem Notu

Tam özgün çalışma adı: Quantum state preparation without coherent arithmetic

Yazarlar: Sam McArdle; András Gilyén; Mario Berta.

Yazar sırası: Yüklenen kaynakta verilen sıra aynen korunmuştur.

Eş katkı/eş birinci yazar: Kaynakta belirtilmemiştir.

Sorumlu yazar: Yüklenen arXiv v2 PDF'de ayrı bir corresponding-author işareti bulunmamaktadır.

Yüklenen PDF afiliyasyonları: AWS Center for Quantum Computing, Pasadena, ABD; Alfréd Rényi Institute of Mathematics, Budapest, Macaristan; Department of Computing, Imperial College London, Londra, Birleşik Krallık; Institute for Quantum Information, RWTH Aachen University, Aachen, Almanya. Yüklenen v2'de Mario Berta AWS, Imperial College London ve RWTH Aachen afiliyasyonlarını taşımaktadır.

Bilimsel alan: Kuantum algoritmaları, kuantum durum hazırlama, quantum singular value transformation, quantum eigenvalue transformation ve fault-tolerant kuantum kaynak analizi.

Yüklenen kaynak türü: arXiv repository/preprint sürümü.

Yüklenen sürüm: arXiv:2210.14892v2 [quant-ph].

İlk arXiv gönderimi: 26 Ekim 2022.

v2 revizyonu: 9 Temmuz 2025.

PDF tarihi: 10 Temmuz 2025.

arXiv DOI: 10.48550/arXiv.2210.14892

arXiv resmî bağlantısı: https://arxiv.org/abs/2210.14892

Preprint lisansı: arXiv non-exclusive distribution license. Bu lisans Creative Commons açık uyarlama lisansı değildir.

Hakemlik ve yayımlanmış sürüm notu: İncelenen v2 dosyası bir arXiv preprint/repository sürümüdür. Aynı çalışma daha sonra hakem değerlendirmesinden geçerek Physical Review Letters'ta yayımlanmıştır. Bilimsel ana metin bu Verianla yazısında yüklenen v2 sürümünden hazırlanmıştır; sonraki dergi kaydı yalnız güncel bibliyografik durumu doğrulamak için kullanılmıştır.

Hakemli yayın başlığı: Quantum State Preparation without Coherent Arithmetic

Hakemli yayın: Physical Review Letters, Volume 136, Article 240603 (2026).

Dergi DOI: 10.1103/ntvs-c48s

Resmî dergi bağlantısı: https://doi.org/10.1103/ntvs-c48s

Yayınevi / yayın kuruluşu: American Physical Society.

Dergi gönderim tarihi: 9 Temmuz 2025.

Dergi kabul tarihi: 6 Mayıs 2026.

Dergi yayın tarihi: 18 Haziran 2026.

Hakemli sürüm afiliyasyon notu: APS sürümünde Sam McArdle AWS Center for Quantum Computing; András Gilyén HUN-REN Alfréd Rényi Institute of Mathematics; Mario Berta ise RWTH Aachen University ve Imperial College London ile listelenmektedir. Bu nedenle v2 ile dergi sürümü arasında Mario Berta'nın AWS afiliyasyonu açısından bibliyografik fark bulunmaktadır.

Hakemli sürüm hakları: APS kayıt sayfası © 2026 American Physical Society bilgisini vermektedir. Kaynakta Creative Commons lisansı belirtilmediğinden hakemli sürüm CC lisanslı kabul edilmemiştir.

Finansman: András Gilyén AWS Center for Quantum Computing desteğini; Mario Berta EPSRC EP/W032643/1 desteğini bildirmektedir. Kaynak ayrıca Fernando Brandão'ya tartışmalar ve proje desteği için teşekkür etmektedir.

Veri erişilebilirliği: Yüklenen v2'de ayrı bir veri erişilebilirliği beyanı bulunmamaktadır. Çalışma deneysel veri setine dayanmayan teorik bir kuantum algoritması ve kaynak analizi çalışmasıdır.

Çıkar çatışması: Yüklenen v2'de ayrı bir çıkar çatışması beyanı tespit edilmemiştir; bundan çıkar çatışması olmadığı sonucu üretilmemiştir.

Yazar katkıları: Yüklenen v2'de ayrı bir CRediT veya yazar katkı beyanı bulunmamaktadır.

Kaynak-içi parametrizasyon notu: Ana uygulama bölümünde Gaussian \(f_\beta(x)=\exp(-\beta x^2/2)\) biçiminde tanımlanırken Tablo II'nin somut kaynak tahmini başlığı \(\exp(-\beta x^2)\), \(\beta=10\) ifadesini kullanmaktadır. Kaynak bu iki \(\beta\) tanımını açıkça eşitlemediğinden Verianla metni bunları tek parametre olarak birleştirmemiştir.

Araştırma yöntemi: Düşük maliyetli sinüs blok-kodlaması; QSVT/QET; klasik minimax veya Taylor polinom yaklaşımı; exact ve fixed-point amplitude amplification; trace-distance hata analizi; Riemann-sum discretization sınırları; modified Bessel fonksiyonları; filling-fraction sınırları ve fault-tolerant non-Clifford kaynak tahminleri.

Bilimsel içerik sınırı: Bu Verianla makalesindeki algoritmik mekanizma, teoremler, formüller, Gaussian/Kaiser sonuçları, kaynak tabloları, devre yapısı ve sınırlılıklar yüklenen arXiv:2210.14892v2 dosyasına dayanmaktadır. Dış kaynak kullanımı yalnız arXiv kimliği ile 2026 tarihli Physical Review Letters yayın durumunu bibliyografik olarak doğrulamak amacıyla yapılmıştır.

Temel yorum sınırı: Kaynakta hesaplanan qubit ve gate değerleri algoritmik/fault-tolerant kaynak tahminleridir. Bunlar belirli bir fiziksel kuantum bilgisayarın gerçek çalışma süresi, fiziksel qubit sayısı veya deneysel başarı oranı değildir.