Sınırları görünür, çalıştırılabilir kuantum algoritmaları
Bir algoritmayı kullanmadan önce exact standard-library taşıyıcısını inceleyin, doğrulanmış örneği Playground'da çalıştırın; backend, kübit bütçesi, beklenen sonuç ve açık sınırlamayı görün.
Bu ön izleme sürümleri neyi garanti ediyor?
Her kart sürümlü bir stdlib paketini tek çalıştırılabilir örneğe ve denetlenmiş conformance sonucuna bağlar. Deneysel Pack 0.5, N=1..5 için derleyici doğrulamalı QFT/IQFT facade'ları ekler ve N=2..5 ile sınırlı Grover yolunu yeniden kullanır; stable kabul, runtime boyutlu register, uzak ağ, donanım yürütmesi ve fault-tolerant decoding ima edilmez.
Sınırlı bir algoritma uzmanlaşması üretin
Compile-time parametreleri seçin. Derleyici exact paket export'unu çözer, somut gate sayısını raporlar ve gereken deneysel flag açık bir Playground bağlantısı üretir.
Algoritma
Yayımlanan hazır aralık: N=1..5
- Yerel backend
- Statevector
- Somut kübitler
- 3
- Genişletilmiş gate'ler
- 7
Derleyici seçimi
algorithms.fourier@0.5:qft3experimental.genericCircuits
Üretilen N/M kaynağını incele
module parametric_gallery_qft_3;
@target("browser-statevector");
use package.algorithms.fourier@0.5;
fn main() {
let q: QReg<3> = qreg[3];
qft<3>(q);
}NM-RFC-0010 · Deneysel
Generic oracle derleyici laboratuvarı
Bu laboratuvar NM-RFC-0010 derleyicisini açık uzlaşıyla çağırır. Runtime boyutlu register veya dinamik oracle değeri üretmez.
Algorithm Pack 0.4 · Doğrulanmış artefakt
Sınırlı QEC düzeltme haritalarını inceleyin
Cebirsel olarak doğrulanmış dört tek-hata düzeltme artefaktını, stabilizer üreteçlerini, sendrom lookup haritalarını ve açık Tier 1/Tier 2 sınırını keşfedin.
N/M çalışma zamanı · Sabit tohumlu deney
Modellenmiş gürültünün algoritmayı nasıl değiştirdiğini ölçün
Aynı Bell devresini beş yayımlanmış N/M gürültü kanalı, sınırlı derinlik, sonlu örnekleme ve uyumlu hata azaltma altında karşılaştırın; yerel simülatörün kanıt sınırı daima görünür kalsın.
Bu yüzeyin RFC yol haritası
Bu kartlar planlanan programları gösterir. Öneri durumundaki bir RFC, çalıştırılabilir özellik veya uygulama onayı değildir.
NM-RFC-0031ÖneriUygulama kilitliGenel Simon programı
- Önerilen aktivasyon
- experimental.genericSimon=true
NM-RFC-0032ÖneriUygulama kilitliYinelemeli faz kestirimi
- Önerilen aktivasyon
- experimental.iterativePhaseEstimation=true
Aile
Yerel backend
22 algoritma gösteriliyor
NM-ALG-0201Deutsch–Jozsa
algorithms.deutsch_jozsa2@0.2Sabit tek bitlik bir oracle'ı tek kuantum sorgusuyla dengeli olarak sınıflandırır.
- Aile
- Oracle algoritmaları
- Yerel backend
- Statevector
- Minimum kübit
- 2
Doğrulanmış öğretim sonucu
Paketli dengeli f(x)=x oracle'ı için sorgu kübiti 1 olarak ölçülür.
Açık sınır
0.2 girdisi tek bir dengeli oracle'ı dondurur; generic Oracle<N> bileşimi ayrı tanımlanır.
Stdlib kaynağını incele
circuit deutsch_jozsa2(q: QReg<2>) {
X(q[1]);
H(q[0]);
H(q[1]);
CNOT(q[0], q[1]);
H(q[0]);
}NM-ALG-0202Bernstein–Vazirani
algorithms.bernstein_vazirani3@0.2Sabit 101 gizli bit dizisini phase kickback ile geri kazanır.
- Aile
- Oracle algoritmaları
- Yerel backend
- Statevector
- Minimum kübit
- 4
Doğrulanmış öğretim sonucu
Üç sorgu ölçümü tek oracle çağrısında gizli maskeyi yeniden üretir.
Açık sınır
Mevcut stdlib girdisi runtime boyutlu oracle değil, sınırlı üç bitlik varyanttır.
Stdlib kaynağını incele
circuit bernstein_vazirani3(q: QReg<4>) {
X(q[3]);
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
CNOT(q[0], q[3]);
CNOT(q[2], q[3]);
H(q[0]);
H(q[1]);
H(q[2]);
}NM-ALG-0203Swap Testi
algorithms.swap_test@0.2Çağıran tarafından hazırlanan iki saf durumun örtüşmesini tahmin eder.
- Aile
- Durum karşılaştırma
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
Aynı durumlar ancilla kübitini deterministik olarak |0> durumunda bırakır.
Açık sınır
Ön izleme ancilla deneyini raporlar; henüz birinci sınıf fidelity sonuç tipi sunmaz.
Stdlib kaynağını incele
circuit swap_test(q: QReg<3>) {
H(q[0]);
CSWAP(q[0], q[1], q[2]);
H(q[0]);
}NM-ALG-0204Hadamard Testi
algorithms.hadamard_test@0.2Sabit controlled-Z deneyinin reel expectation değerini okur.
- Aile
- Durum karşılaştırma
- Yerel backend
- Statevector
- Minimum kübit
- 2
Doğrulanmış öğretim sonucu
Hedefi |1> hazırlamak ancilla'yı 1 döndürür ve Re⟨Z⟩=-1 sonucunu temsil eder.
Açık sınır
Keyfi kontrollü unitary değerler Oracle<N>/Unitary<N> önerisini bekler.
Stdlib kaynağını incele
circuit hadamard_test(q: QReg<2>) {
H(q[0]);
CZ(q[0], q[1]);
H(q[0]);
}NM-ALG-0205Küçük Faz Tahmini
algorithms.phase_estimation2@0.2Sabit P(PI/2) özdurumunun kesin ikili fazını iki sayım kübitiyle tahmin eder.
- Aile
- Faz tahmini
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
Sayım register'ı çeyrek dönüş için kesin iki bitlik faz taşıyıcısını üretir.
Açık sınır
Bu, keyfi kuvvetlendirilmiş unitary'ler üzerinde generic QPE değil, sabit üç kübitlik öğretim devresidir.
Stdlib kaynağını incele
circuit phase_estimation2(q: QReg<3>) {
X(q[2]);
H(q[0]);
H(q[1]);
CP(q[0], q[2], PI);
CP(q[1], q[2], PI / 2);
SWAP(q[0], q[1]);
H(q[1]);
CP(q[0], q[1], -PI / 2);
H(q[0]);
}NM-ALG-0206Üç Kübitlik Faz-Flip Kodu
qec.phase_flip3@0.2X bazında kodlar, eklenen tek Z hatasını algılar ve sınırlı düzeltme uygular.
- Aile
- Hata düzeltme
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
İki X-parity syndrome orta kübitteki faz hatasını belirler.
Açık sınır
Girdi, fault-tolerant logical gate katmanı olmayan eğitsel üç kübitlik koddur.
Stdlib kaynağını incele
circuit phase_flip3(q: QReg<3>) {
CNOT(q[0], q[1]);
CNOT(q[0], q[2]);
H(q[0]);
H(q[1]);
H(q[2]);
}NM-ALG-0207Shor Dokuz Kübitlik QEC Kodu
qec.shor9_code@0.2Bir mantıksal kübiti üç GHZ-benzeri bloğa kodlar ve bit/faz syndrome'larını inceler.
- Aile
- Hata düzeltme
- Yerel backend
- Stabilizer
- Minimum kübit
- 9
Doğrulanmış öğretim sonucu
Stabilizer yolu orta bloğa eklenen tek faz hatasını algılar ve düzeltir.
Açık sınır
Bu Shor hata düzeltme kodudur; Shor tamsayı çarpanlara ayırma algoritması veya tam fault-tolerant decoder değildir.
Stdlib kaynağını incele
circuit shor9_code(q: QReg<9>) {
CNOT(q[0], q[3]);
CNOT(q[0], q[6]);
H(q[0]);
H(q[3]);
H(q[6]);
CNOT(q[0], q[1]);
CNOT(q[0], q[2]);
CNOT(q[3], q[4]);
CNOT(q[3], q[5]);
CNOT(q[6], q[7]);
CNOT(q[6], q[8]);
}NM-ALG-0208Ising Trotter Evrimi
chemistry.ising_trotter2@0.2Sınırlı birinci dereceden ZZ ve transverse-X product-formula katmanı uygular.
- Aile
- Hamiltonian simülasyonu
- Yerel backend
- Statevector
- Minimum kübit
- 2
Doğrulanmış öğretim sonucu
Metrikler karşılaştırma ve öğretim için katman sonrası sonlu enerji terimlerini gösterir.
Açık sınır
0.2 girdisi çağıran tarafından parametrelenen tek Trotter katmanıdır; hata-sınırlı evolve deyimi iddia etmez.
Stdlib kaynağını incele
circuit ising_trotter2(q: QReg<2>, gamma: Angle, beta: Angle) {
RZZ(q[0], q[1], gamma);
Rx(q[0], beta);
Rx(q[1], beta);
}NM-ALG-0301Simon Gizli Maskesi
algorithms.simon2@0.3Sabit 11 gizli XOR maskesine dik bir denklem örnekler.
- Aile
- Oracle algoritmaları
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
İki sorgu biti her zaman eşittir; örneklenen taşıyıcı 00 veya 11 olur ve y·s=0 koşulunu sağlar.
Açık sınır
0.3 devresi s=11 değerini sabitler ve iki değerli oracle çıktısını tek kübite sıkıştırır; generic Simon<N> değildir.
Stdlib kaynağını incele
circuit simon2(q: QReg<3>) {
H(q[0]);
H(q[1]);
CNOT(q[0], q[2]);
CNOT(q[1], q[2]);
H(q[0]);
H(q[1]);
}NM-ALG-0302Süperyoğun Kodlama 11
algorithms.superdense11@0.3İki sabit klasik biti paylaşılan Bell çiftinin gönderilen tek yarısına kodlar.
- Aile
- Kuantum iletişimi
- Yerel backend
- Statevector
- Minimum kübit
- 2
Doğrulanmış öğretim sonucu
Bell çözücü klasik 11 mesajını deterministik olarak geri kazanır.
Açık sınır
Paketli devre yükü 11 olarak sabitler ve dolaşıklık kaynağını yerel modeller; bir ağ taşıması değildir.
Stdlib kaynağını incele
circuit superdense11(q: QReg<2>) {
H(q[0]);
CNOT(q[0], q[1]);
X(q[0]);
Z(q[0]);
CNOT(q[0], q[1]);
H(q[0]);
}NM-ALG-0303CHSH Korelasyon Tanığı
algorithms.chsh_pair@0.3Dört bağımsız Bell deneyi hazırlar ve ideal CHSH korelasyon bileşimini değerlendirir.
- Aile
- Nonlocality tanıkları
- Yerel backend
- Statevector
- Minimum kübit
- 2
Doğrulanmış öğretim sonucu
Dört kesin expectation |S|=2√2 sonucunu verir ve klasik 2 sınırını aşar.
Açık sınır
Bu, kesin yerel statevector tanığıdır; ayrık donanım üzerinde loophole-free örneklemeli Bell deneyi değildir.
Stdlib kaynağını incele
circuit chsh_pair(q: QReg<2>, aliceAngle: Angle, bobAngle: Angle) {
H(q[0]);
CNOT(q[0], q[1]);
Ry(q[0], aliceAngle);
Ry(q[1], bobAngle);
}NM-ALG-0304Tek Adımlı Coined Kuantum Yürüyüşü
algorithms.coined_walk_step3@0.3Hadamard coin kübitini tek sınırlı yürüyüş adımında iki one-hot yön kübitiyle dolaştırır.
- Aile
- Kuantum yürüyüşleri
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
Tam olarak bir yön kübiti doludur ve dalı coin kübitiyle korelasyonlu kalır.
Açık sınır
0.3 girdisi iki etiketli yönde tek adımdır; runtime boyutlu graph veya çok adımlı sınır politikası uygulamaz.
Stdlib kaynağını incele
circuit coined_walk_step3(q: QReg<3>) {
H(q[0]);
CNOT(q[0], q[1]);
X(q[0]);
CNOT(q[0], q[2]);
X(q[0]);
}NM-ALG-0401Doğrulanmış Kuantum Teleportasyonu
algorithms.teleportation3@0.4Çağıranın hazırladığı kübiti iki ölçüm biti ve dal-doğrulanmış X/Z düzeltmeleriyle taşır.
- Aile
- Kuantum iletişimi
- Yerel backend
- Statevector
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
Dört erişilebilir ölçüm yolunun tamamı alıcıyı aynı indirgenmiş duruma getirir ve deferred devre bunu bağımsız olarak eşler.
Açık sınır
Kanıt yerel, beş-kübit sınırlı simülatör artifact'idir; provider donanım gecikmesi veya fiziksel teleportasyon iddia etmez.
Stdlib kaynağını incele
circuit teleportation3(q: QReg<3>) {
H(q[1]);
CNOT(q[1], q[2]);
CNOT(q[0], q[1]);
H(q[0]);
}NM-ALG-0402Doğrulanmış Dolaşıklık Takası
algorithms.entanglement_swap4@0.4İki Bell çiftinin iç yarılarını ölçer ve dal-invariant bir dış Bell çiftini geri kurar.
- Aile
- Kuantum iletişimi
- Yerel backend
- Statevector
- Minimum kübit
- 4
Doğrulanmış öğretim sonucu
Dört erişilebilir iç-ölçüm yolu iki dış marjinali korur; deferred referans dış çiftin tam durumunu kanıtlar.
Açık sınır
Yerel kanıt repeater mesafesi, kayıp, bellek ömrü, ağ iletişimi veya donanım feed-forward gecikmesini modellemez.
Stdlib kaynağını incele
circuit entanglement_swap4(q: QReg<4>) {
H(q[0]);
CNOT(q[0], q[2]);
H(q[3]);
CNOT(q[3], q[1]);
CNOT(q[2], q[3]);
H(q[2]);
}NM-ALG-0403[[5,1,3]] Perfect-Code Düzeltmesi
qec.perfect5_code@0.4Mantıksal |0> durumunu hazırlar, tek X hatası ekler, dört exact stabilizer kontrolünü okur ve doğrulanmış ayrık düzeltme haritasını uygular.
- Aile
- Hata düzeltme
- Yerel backend
- Stabilizer
- Minimum kübit
- 9
Doğrulanmış öğretim sonucu
Seçilen Pauli düzeltmesinden sonra dört residual kontrolün tamamı deterministik +1 döner.
Açık sınır
Artifact dondurulmuş 15 tek-Pauli vakasını kapsar; noise, çok turlu decoder, fault-tolerance veya donanım sonucu değildir.
Stdlib kaynağını incele
circuit perfect5_code(q: QReg<9>) {
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
CZ(q[0], q[1]);
CZ(q[0], q[2]);
CZ(q[0], q[3]);
CZ(q[0], q[4]);
CZ(q[1], q[3]);
CZ(q[2], q[3]);
CZ(q[2], q[4]);
H(q[0]);
X(q[1]);
X(q[2]);
X(q[3]);
X(q[4]);
}NM-ALG-0404[[7,1,3]] Steane-Code Düzeltmesi
qec.steane7_code@0.4Mantıksal |0> durumunu hazırlar, tek Y hatası ekler, altı exact kontrolü okur ve doğrulanmış ayrık düzeltme haritasını uygular.
- Aile
- Hata düzeltme
- Yerel backend
- Stabilizer
- Minimum kübit
- 13
Doğrulanmış öğretim sonucu
Düzeltmeden sonra altı residual kontrolün tamamı deterministik +1 döner.
Açık sınır
Artifact dondurulmuş 21 tek-Pauli vakasını kapsar; mantıksal noise, eşik veya donanım iddiası taşımaz.
Stdlib kaynağını incele
circuit steane7_code(q: QReg<13>) {
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
H(q[5]);
H(q[6]);
CZ(q[0], q[3]);
CZ(q[0], q[5]);
CZ(q[0], q[6]);
CZ(q[1], q[3]);
CZ(q[1], q[5]);
CZ(q[2], q[3]);
CZ(q[2], q[6]);
CZ(q[4], q[5]);
CZ(q[4], q[6]);
H(q[0]);
H(q[1]);
H(q[2]);
H(q[4]);
}NM-ALG-0405Distance-3 Döndürülmüş Surface Patch
qec.surface_d3_patch@0.4Sabit mantıksal |0> patch'ini hazırlar, tek Z hatası ekler ve sekiz exact stabilizer kontrolünü decode eder.
- Aile
- Hata düzeltme
- Yerel backend
- Stabilizer
- Minimum kübit
- 17
Doğrulanmış öğretim sonucu
Sekiz residual kontrolün tamamı deterministik +1 döner; doğrulanmış degeneracy ile 27 hata 23 exact sendroma eşlenir.
Açık sınır
Bu sabit cebirsel tek-hata haritasıdır; minimum-weight matching, tekrarlı sendrom çıkarımı, eşik kanıtı veya donanım değildir.
Stdlib kaynağını incele
circuit surface_d3_patch(q: QReg<17>) {
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
H(q[5]);
H(q[6]);
H(q[7]);
H(q[8]);
CZ(q[0], q[3]);
CZ(q[0], q[7]);
CZ(q[1], q[5]);
CZ(q[1], q[8]);
CZ(q[2], q[5]);
CZ(q[2], q[8]);
CZ(q[4], q[5]);
CZ(q[4], q[7]);
CZ(q[4], q[8]);
CZ(q[6], q[7]);
H(q[0]);
H(q[1]);
H(q[2]);
H(q[4]);
H(q[6]);
}NM-ALG-040625-Kübit Repetition-Code Düzeltmesi
qec.repetition_code25@0.4Tek orta bit flip hatasını on iki komşu parity kontrolüyle bulur ve exact tek-X düzeltme tablosunu uygular.
- Aile
- Hata düzeltme
- Yerel backend
- Stabilizer
- Minimum kübit
- 25
Doğrulanmış öğretim sonucu
Düzeltmeden sonra on iki residual kontrolün tamamı deterministik +1 döner.
Açık sınır
On iki sendrom biti sekiz-bit Tier 1 branch bütçesini aştığından runtime kanıtı açıkça Tier 2'dir; cebirsel 13-hata haritası exact kalır.
Stdlib kaynağını incele
circuit repetition_code25(q: QReg<25>) {
Z(q[0]);
Z(q[0]);
}NM-ALG-0407100-Kübit GHZ Durumu
states.ghz100@0.4Bir Hadamard ve 99 CNOT kapısıyla 100-kübit GHZ zinciri hazırlar.
- Aile
- Durum hazırlama
- Yerel backend
- Stabilizer
- Minimum kübit
- 100
Doğrulanmış öğretim sonucu
Uçtan uca Z parity deterministiktir ve sonuç stabilizer backend'inde kalır.
Açık sınır
Bu ideal yerel stabilizer durumudur; donanımda hazırlanmış 100-kübit dolaşıklık iddiası değildir.
Stdlib kaynağını incele
circuit ghz100(q: QReg<100>) {
H(q[0]);
CNOT(q[0], q[1]);
CNOT(q[1], q[2]);
CNOT(q[2], q[3]);
CNOT(q[3], q[4]);
CNOT(q[4], q[5]);
CNOT(q[5], q[6]);
CNOT(q[6], q[7]);
CNOT(q[7], q[8]);
CNOT(q[8], q[9]);
CNOT(q[9], q[10]);
CNOT(q[10], q[11]);
CNOT(q[11], q[12]);
CNOT(q[12], q[13]);
CNOT(q[13], q[14]);
CNOT(q[14], q[15]);
CNOT(q[15], q[16]);
CNOT(q[16], q[17]);
CNOT(q[17], q[18]);
CNOT(q[18], q[19]);
CNOT(q[19], q[20]);
CNOT(q[20], q[21]);
CNOT(q[21], q[22]);
CNOT(q[22], q[23]);
CNOT(q[23], q[24]);
CNOT(q[24], q[25]);
CNOT(q[25], q[26]);
CNOT(q[26], q[27]);
CNOT(q[27], q[28]);
CNOT(q[28], q[29]);
CNOT(q[29], q[30]);
CNOT(q[30], q[31]);
CNOT(q[31], q[32]);
CNOT(q[32], q[33]);
CNOT(q[33], q[34]);
CNOT(q[34], q[35]);
CNOT(q[35], q[36]);
CNOT(q[36], q[37]);
CNOT(q[37], q[38]);
CNOT(q[38], q[39]);
CNOT(q[39], q[40]);
CNOT(q[40], q[41]);
CNOT(q[41], q[42]);
CNOT(q[42], q[43]);
CNOT(q[43], q[44]);
CNOT(q[44], q[45]);
CNOT(q[45], q[46]);
CNOT(q[46], q[47]);
CNOT(q[47], q[48]);
CNOT(q[48], q[49]);
CNOT(q[49], q[50]);
CNOT(q[50], q[51]);
CNOT(q[51], q[52]);
CNOT(q[52], q[53]);
CNOT(q[53], q[54]);
CNOT(q[54], q[55]);
CNOT(q[55], q[56]);
CNOT(q[56], q[57]);
CNOT(q[57], q[58]);
CNOT(q[58], q[59]);
CNOT(q[59], q[60]);
CNOT(q[60], q[61]);
CNOT(q[61], q[62]);
CNOT(q[62], q[63]);
CNOT(q[63], q[64]);
CNOT(q[64], q[65]);
CNOT(q[65], q[66]);
CNOT(q[66], q[67]);
CNOT(q[67], q[68]);
CNOT(q[68], q[69]);
CNOT(q[69], q[70]);
CNOT(q[70], q[71]);
CNOT(q[71], q[72]);
CNOT(q[72], q[73]);
CNOT(q[73], q[74]);
CNOT(q[74], q[75]);
CNOT(q[75], q[76]);
CNOT(q[76], q[77]);
CNOT(q[77], q[78]);
CNOT(q[78], q[79]);
CNOT(q[79], q[80]);
CNOT(q[80], q[81]);
CNOT(q[81], q[82]);
CNOT(q[82], q[83]);
CNOT(q[83], q[84]);
CNOT(q[84], q[85]);
CNOT(q[85], q[86]);
CNOT(q[86], q[87]);
CNOT(q[87], q[88]);
CNOT(q[88], q[89]);
CNOT(q[89], q[90]);
CNOT(q[90], q[91]);
CNOT(q[91], q[92]);
CNOT(q[92], q[93]);
CNOT(q[93], q[94]);
CNOT(q[94], q[95]);
CNOT(q[95], q[96]);
CNOT(q[96], q[97]);
CNOT(q[97], q[98]);
CNOT(q[98], q[99]);
}NM-ALG-0408100-Kübit Çizgi Graf Durumu
states.graph_state100@0.4Exact canonical komşuluk taşıyan 100-düğümlü çizgi graf durumunu hazırlar.
- Aile
- Durum hazırlama
- Yerel backend
- Stabilizer
- Minimum kübit
- 100
Doğrulanmış öğretim sonucu
Orta graf üreteci deterministik +1'dir ve ölçek görünümü 99 exact kenarın tamamını gösterir.
Açık sınır
Topoloji tek sabit ideal çizgi graftır; runtime boyutlu graflar, noise ve donanım hazırlığı bu girdinin dışındadır.
Stdlib kaynağını incele
circuit graph_state100(q: QReg<100>) {
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
H(q[5]);
H(q[6]);
H(q[7]);
H(q[8]);
H(q[9]);
H(q[10]);
H(q[11]);
H(q[12]);
H(q[13]);
H(q[14]);
H(q[15]);
H(q[16]);
H(q[17]);
H(q[18]);
H(q[19]);
H(q[20]);
H(q[21]);
H(q[22]);
H(q[23]);
H(q[24]);
H(q[25]);
H(q[26]);
H(q[27]);
H(q[28]);
H(q[29]);
H(q[30]);
H(q[31]);
H(q[32]);
H(q[33]);
H(q[34]);
H(q[35]);
H(q[36]);
H(q[37]);
H(q[38]);
H(q[39]);
H(q[40]);
H(q[41]);
H(q[42]);
H(q[43]);
H(q[44]);
H(q[45]);
H(q[46]);
H(q[47]);
H(q[48]);
H(q[49]);
H(q[50]);
H(q[51]);
H(q[52]);
H(q[53]);
H(q[54]);
H(q[55]);
H(q[56]);
H(q[57]);
H(q[58]);
H(q[59]);
H(q[60]);
H(q[61]);
H(q[62]);
H(q[63]);
H(q[64]);
H(q[65]);
H(q[66]);
H(q[67]);
H(q[68]);
H(q[69]);
H(q[70]);
H(q[71]);
H(q[72]);
H(q[73]);
H(q[74]);
H(q[75]);
H(q[76]);
H(q[77]);
H(q[78]);
H(q[79]);
H(q[80]);
H(q[81]);
H(q[82]);
H(q[83]);
H(q[84]);
H(q[85]);
H(q[86]);
H(q[87]);
H(q[88]);
H(q[89]);
H(q[90]);
H(q[91]);
H(q[92]);
H(q[93]);
H(q[94]);
H(q[95]);
H(q[96]);
H(q[97]);
H(q[98]);
H(q[99]);
CZ(q[0], q[1]);
CZ(q[1], q[2]);
CZ(q[2], q[3]);
CZ(q[3], q[4]);
CZ(q[4], q[5]);
CZ(q[5], q[6]);
CZ(q[6], q[7]);
CZ(q[7], q[8]);
CZ(q[8], q[9]);
CZ(q[9], q[10]);
CZ(q[10], q[11]);
CZ(q[11], q[12]);
CZ(q[12], q[13]);
CZ(q[13], q[14]);
CZ(q[14], q[15]);
CZ(q[15], q[16]);
CZ(q[16], q[17]);
CZ(q[17], q[18]);
CZ(q[18], q[19]);
CZ(q[19], q[20]);
CZ(q[20], q[21]);
CZ(q[21], q[22]);
CZ(q[22], q[23]);
CZ(q[23], q[24]);
CZ(q[24], q[25]);
CZ(q[25], q[26]);
CZ(q[26], q[27]);
CZ(q[27], q[28]);
CZ(q[28], q[29]);
CZ(q[29], q[30]);
CZ(q[30], q[31]);
CZ(q[31], q[32]);
CZ(q[32], q[33]);
CZ(q[33], q[34]);
CZ(q[34], q[35]);
CZ(q[35], q[36]);
CZ(q[36], q[37]);
CZ(q[37], q[38]);
CZ(q[38], q[39]);
CZ(q[39], q[40]);
CZ(q[40], q[41]);
CZ(q[41], q[42]);
CZ(q[42], q[43]);
CZ(q[43], q[44]);
CZ(q[44], q[45]);
CZ(q[45], q[46]);
CZ(q[46], q[47]);
CZ(q[47], q[48]);
CZ(q[48], q[49]);
CZ(q[49], q[50]);
CZ(q[50], q[51]);
CZ(q[51], q[52]);
CZ(q[52], q[53]);
CZ(q[53], q[54]);
CZ(q[54], q[55]);
CZ(q[55], q[56]);
CZ(q[56], q[57]);
CZ(q[57], q[58]);
CZ(q[58], q[59]);
CZ(q[59], q[60]);
CZ(q[60], q[61]);
CZ(q[61], q[62]);
CZ(q[62], q[63]);
CZ(q[63], q[64]);
CZ(q[64], q[65]);
CZ(q[65], q[66]);
CZ(q[66], q[67]);
CZ(q[67], q[68]);
CZ(q[68], q[69]);
CZ(q[69], q[70]);
CZ(q[70], q[71]);
CZ(q[71], q[72]);
CZ(q[72], q[73]);
CZ(q[73], q[74]);
CZ(q[74], q[75]);
CZ(q[75], q[76]);
CZ(q[76], q[77]);
CZ(q[77], q[78]);
CZ(q[78], q[79]);
CZ(q[79], q[80]);
CZ(q[80], q[81]);
CZ(q[81], q[82]);
CZ(q[82], q[83]);
CZ(q[83], q[84]);
CZ(q[84], q[85]);
CZ(q[85], q[86]);
CZ(q[86], q[87]);
CZ(q[87], q[88]);
CZ(q[88], q[89]);
CZ(q[89], q[90]);
CZ(q[90], q[91]);
CZ(q[91], q[92]);
CZ(q[92], q[93]);
CZ(q[93], q[94]);
CZ(q[94], q[95]);
CZ(q[95], q[96]);
CZ(q[96], q[97]);
CZ(q[97], q[98]);
CZ(q[98], q[99]);
}NM-ALG-0409Mermin–GHZ Tanığı
nonlocality.mermin_ghz3@0.4Üç-kübit GHZ durumunun exact XXX/XYY/YXY/YYX özdeğer desenini okur.
- Aile
- Nonlocality tanıkları
- Yerel backend
- Stabilizer
- Minimum kübit
- 3
Doğrulanmış öğretim sonucu
Deterministik 0,1,1,1 bit deseni ideal Mermin değeri dört ile eşleşir.
Açık sınır
Bu exact yerel simülatör tanığıdır; uzay-benzeri ayrılmış loophole-free Bell deneyi değildir.
Stdlib kaynağını incele
circuit mermin_ghz3(q: QReg<3>) {
H(q[0]);
CNOT(q[0], q[1]);
CNOT(q[1], q[2]);
}NM-ALG-0410100-Kübit Clifford Gidiş-Dönüşü
benchmark.stabilizer_rb100@0.4Deterministik 398-kapılı Clifford dizisini exact tersiyle birlikte çalıştırır.
- Aile
- Simülatör benchmark'ları
- Yerel backend
- Stabilizer
- Minimum kübit
- 100
Doğrulanmış öğretim sonucu
Geri yüklenen all-zero durumda ilk ve son Z kontrolleri deterministik +1 döner.
Açık sınır
Bu simülatör regresyon yüküdür; dizileri randomize etmez, decay fit etmez, fidelity tahmin etmez veya donanım randomized benchmarking iddia etmez.
Stdlib kaynağını incele
circuit stabilizer_rb100(q: QReg<100>) {
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
H(q[5]);
H(q[6]);
H(q[7]);
H(q[8]);
H(q[9]);
H(q[10]);
H(q[11]);
H(q[12]);
H(q[13]);
H(q[14]);
H(q[15]);
H(q[16]);
H(q[17]);
H(q[18]);
H(q[19]);
H(q[20]);
H(q[21]);
H(q[22]);
H(q[23]);
H(q[24]);
H(q[25]);
H(q[26]);
H(q[27]);
H(q[28]);
H(q[29]);
H(q[30]);
H(q[31]);
H(q[32]);
H(q[33]);
H(q[34]);
H(q[35]);
H(q[36]);
H(q[37]);
H(q[38]);
H(q[39]);
H(q[40]);
H(q[41]);
H(q[42]);
H(q[43]);
H(q[44]);
H(q[45]);
H(q[46]);
H(q[47]);
H(q[48]);
H(q[49]);
H(q[50]);
H(q[51]);
H(q[52]);
H(q[53]);
H(q[54]);
H(q[55]);
H(q[56]);
H(q[57]);
H(q[58]);
H(q[59]);
H(q[60]);
H(q[61]);
H(q[62]);
H(q[63]);
H(q[64]);
H(q[65]);
H(q[66]);
H(q[67]);
H(q[68]);
H(q[69]);
H(q[70]);
H(q[71]);
H(q[72]);
H(q[73]);
H(q[74]);
H(q[75]);
H(q[76]);
H(q[77]);
H(q[78]);
H(q[79]);
H(q[80]);
H(q[81]);
H(q[82]);
H(q[83]);
H(q[84]);
H(q[85]);
H(q[86]);
H(q[87]);
H(q[88]);
H(q[89]);
H(q[90]);
H(q[91]);
H(q[92]);
H(q[93]);
H(q[94]);
H(q[95]);
H(q[96]);
H(q[97]);
H(q[98]);
H(q[99]);
H(q[0]);
H(q[1]);
H(q[2]);
H(q[3]);
H(q[4]);
H(q[5]);
H(q[6]);
H(q[7]);
H(q[8]);
H(q[9]);
H(q[10]);
H(q[11]);
H(q[12]);
H(q[13]);
H(q[14]);
H(q[15]);
H(q[16]);
H(q[17]);
H(q[18]);
H(q[19]);
H(q[20]);
H(q[21]);
H(q[22]);
H(q[23]);
H(q[24]);
H(q[25]);
H(q[26]);
H(q[27]);
H(q[28]);
H(q[29]);
H(q[30]);
H(q[31]);
H(q[32]);
H(q[33]);
H(q[34]);
H(q[35]);
H(q[36]);
H(q[37]);
H(q[38]);
H(q[39]);
H(q[40]);
H(q[41]);
H(q[42]);
H(q[43]);
H(q[44]);
H(q[45]);
H(q[46]);
H(q[47]);
H(q[48]);
H(q[49]);
H(q[50]);
H(q[51]);
H(q[52]);
H(q[53]);
H(q[54]);
H(q[55]);
H(q[56]);
H(q[57]);
H(q[58]);
H(q[59]);
H(q[60]);
H(q[61]);
H(q[62]);
H(q[63]);
H(q[64]);
H(q[65]);
H(q[66]);
H(q[67]);
H(q[68]);
H(q[69]);
H(q[70]);
H(q[71]);
H(q[72]);
H(q[73]);
H(q[74]);
H(q[75]);
H(q[76]);
H(q[77]);
H(q[78]);
H(q[79]);
H(q[80]);
H(q[81]);
H(q[82]);
H(q[83]);
H(q[84]);
H(q[85]);
H(q[86]);
H(q[87]);
H(q[88]);
H(q[89]);
H(q[90]);
H(q[91]);
H(q[92]);
H(q[93]);
H(q[94]);
H(q[95]);
H(q[96]);
H(q[97]);
H(q[98]);
H(q[99]);
CZ(q[0], q[1]);
CZ(q[1], q[2]);
CZ(q[2], q[3]);
CZ(q[3], q[4]);
CZ(q[4], q[5]);
CZ(q[5], q[6]);
CZ(q[6], q[7]);
CZ(q[7], q[8]);
CZ(q[8], q[9]);
CZ(q[9], q[10]);
CZ(q[10], q[11]);
CZ(q[11], q[12]);
CZ(q[12], q[13]);
CZ(q[13], q[14]);
CZ(q[14], q[15]);
CZ(q[15], q[16]);
CZ(q[16], q[17]);
CZ(q[17], q[18]);
CZ(q[18], q[19]);
CZ(q[19], q[20]);
CZ(q[20], q[21]);
CZ(q[21], q[22]);
CZ(q[22], q[23]);
CZ(q[23], q[24]);
CZ(q[24], q[25]);
CZ(q[25], q[26]);
CZ(q[26], q[27]);
CZ(q[27], q[28]);
CZ(q[28], q[29]);
CZ(q[29], q[30]);
CZ(q[30], q[31]);
CZ(q[31], q[32]);
CZ(q[32], q[33]);
CZ(q[33], q[34]);
CZ(q[34], q[35]);
CZ(q[35], q[36]);
CZ(q[36], q[37]);
CZ(q[37], q[38]);
CZ(q[38], q[39]);
CZ(q[39], q[40]);
CZ(q[40], q[41]);
CZ(q[41], q[42]);
CZ(q[42], q[43]);
CZ(q[43], q[44]);
CZ(q[44], q[45]);
CZ(q[45], q[46]);
CZ(q[46], q[47]);
CZ(q[47], q[48]);
CZ(q[48], q[49]);
CZ(q[49], q[50]);
CZ(q[50], q[51]);
CZ(q[51], q[52]);
CZ(q[52], q[53]);
CZ(q[53], q[54]);
CZ(q[54], q[55]);
CZ(q[55], q[56]);
CZ(q[56], q[57]);
CZ(q[57], q[58]);
CZ(q[58], q[59]);
CZ(q[59], q[60]);
CZ(q[60], q[61]);
CZ(q[61], q[62]);
CZ(q[62], q[63]);
CZ(q[63], q[64]);
CZ(q[64], q[65]);
CZ(q[65], q[66]);
CZ(q[66], q[67]);
CZ(q[67], q[68]);
CZ(q[68], q[69]);
CZ(q[69], q[70]);
CZ(q[70], q[71]);
CZ(q[71], q[72]);
CZ(q[72], q[73]);
CZ(q[73], q[74]);
CZ(q[74], q[75]);
CZ(q[75], q[76]);
CZ(q[76], q[77]);
CZ(q[77], q[78]);
CZ(q[78], q[79]);
CZ(q[79], q[80]);
CZ(q[80], q[81]);
CZ(q[81], q[82]);
CZ(q[82], q[83]);
CZ(q[83], q[84]);
CZ(q[84], q[85]);
CZ(q[85], q[86]);
CZ(q[86], q[87]);
CZ(q[87], q[88]);
CZ(q[88], q[89]);
CZ(q[89], q[90]);
CZ(q[90], q[91]);
CZ(q[91], q[92]);
CZ(q[92], q[93]);
CZ(q[93], q[94]);
CZ(q[94], q[95]);
CZ(q[95], q[96]);
CZ(q[96], q[97]);
CZ(q[97], q[98]);
CZ(q[98], q[99]);
CZ(q[0], q[1]);
CZ(q[1], q[2]);
CZ(q[2], q[3]);
CZ(q[3], q[4]);
CZ(q[4], q[5]);
CZ(q[5], q[6]);
CZ(q[6], q[7]);
CZ(q[7], q[8]);
CZ(q[8], q[9]);
CZ(q[9], q[10]);
CZ(q[10], q[11]);
CZ(q[11], q[12]);
CZ(q[12], q[13]);
CZ(q[13], q[14]);
CZ(q[14], q[15]);
CZ(q[15], q[16]);
CZ(q[16], q[17]);
CZ(q[17], q[18]);
CZ(q[18], q[19]);
CZ(q[19], q[20]);
CZ(q[20], q[21]);
CZ(q[21], q[22]);
CZ(q[22], q[23]);
CZ(q[23], q[24]);
CZ(q[24], q[25]);
CZ(q[25], q[26]);
CZ(q[26], q[27]);
CZ(q[27], q[28]);
CZ(q[28], q[29]);
CZ(q[29], q[30]);
CZ(q[30], q[31]);
CZ(q[31], q[32]);
CZ(q[32], q[33]);
CZ(q[33], q[34]);
CZ(q[34], q[35]);
CZ(q[35], q[36]);
CZ(q[36], q[37]);
CZ(q[37], q[38]);
CZ(q[38], q[39]);
CZ(q[39], q[40]);
CZ(q[40], q[41]);
CZ(q[41], q[42]);
CZ(q[42], q[43]);
CZ(q[43], q[44]);
CZ(q[44], q[45]);
CZ(q[45], q[46]);
CZ(q[46], q[47]);
CZ(q[47], q[48]);
CZ(q[48], q[49]);
CZ(q[49], q[50]);
CZ(q[50], q[51]);
CZ(q[51], q[52]);
CZ(q[52], q[53]);
CZ(q[53], q[54]);
CZ(q[54], q[55]);
CZ(q[55], q[56]);
CZ(q[56], q[57]);
CZ(q[57], q[58]);
CZ(q[58], q[59]);
CZ(q[59], q[60]);
CZ(q[60], q[61]);
CZ(q[61], q[62]);
CZ(q[62], q[63]);
CZ(q[63], q[64]);
CZ(q[64], q[65]);
CZ(q[65], q[66]);
CZ(q[66], q[67]);
CZ(q[67], q[68]);
CZ(q[68], q[69]);
CZ(q[69], q[70]);
CZ(q[70], q[71]);
CZ(q[71], q[72]);
CZ(q[72], q[73]);
CZ(q[73], q[74]);
CZ(q[74], q[75]);
CZ(q[75], q[76]);
CZ(q[76], q[77]);
CZ(q[77], q[78]);
CZ(q[78], q[79]);
CZ(q[79], q[80]);
CZ(q[80], q[81]);
CZ(q[81], q[82]);
CZ(q[82], q[83]);
CZ(q[83], q[84]);
CZ(q[84], q[85]);
CZ(q[85], q[86]);
CZ(q[86], q[87]);
CZ(q[87], q[88]);
CZ(q[88], q[89]);
CZ(q[89], q[90]);
CZ(q[90], q[91]);
CZ(q[91], q[92]);
CZ(q[92], q[93]);
CZ(q[93], q[94]);
CZ(q[94], q[95]);
CZ(q[95], q[96]);
CZ(q[96], q[97]);
CZ(q[97], q[98]);
CZ(q[98], q[99]);
}