Ana içeriğe geç
Q/S — N/MN/M v0.2.0 · Ön izleme

Kuantum yazılımı
açıklanabilir olmalı.

N/M ile programı yazın, devreye dönüşümünü izleyin ve her sonucu yeniden üretin.

Mevcut sınır: herkese açık çalıştırmalar bağlı kuantum donanımını değil, yerel simülasyonu kullanır. Ürün yetenekleri kararlı, ön izleme veya deneysel olarak açıkça işaretlenir.

Aşağı kaydır

Kaynaktan yerel çalıştırma kanıtına

Kaynak/01

  1. 1module home_evidence;
  2. 2@seed(7);
  3. 3fn main() {
  4. 4 let q = qreg[4];
  5. 5 sample 1024 {
  6. 6 H(q[0]);
  7. 7 CNOT(q[0], q[1]);
  8. 8 X(q[2]);
  9. 9 CCNOT(q[0], q[1], q[3]);
  10. 10 measure(q[0]);
  11. 11 measure(q[1]);
  12. 12 measure(q[2]);
  13. 13 measure(q[3]);
  14. 14 }
  15. 15 return q;
  16. 16}

Derleme/02

N/M 0.2.0 — derleme başarılı

Tanı sayısı: 0

Kaynak satırı
16
Kübit
4
Derinlik
4
Kapı
4

Devre/03

4 kübit, 4 kapı ve 4 ölçüm içeren kaynakla eşleşen devreq[0] |0⟩q[1] |0⟩q[2] |0⟩q[3] |0⟩HMMXMM
12345678

Kanıt/04

Arka uç
statevector
Atış
1024
Tohum
7

Sonlu atış histogramı

0100
470
1111
554

✓ Tohumlu yerel sonuç
Gösterilen kaynak N/M yerel simülatöründe çalıştırıldı; donanım yürütmesi değildir.

Bir çalıştırma değil. İzlenebilir bir deney.

  • Sürümlü sonuçlar
  • Açık RFC kararları
  • Belirgin yetenek seviyeleri
  • Tekrarlanabilir yürütme

N/M nasıl düşünür?

  1. 1module home_evidence;
  2. 2@seed(7);
  3. 3fn main() {
  4. 4 let q = qreg[4];
  5. 5 sample 1024 {
  6. 6 H(q[0]);
  7. 7 CNOT(q[0], q[1]);
  8. 8 X(q[2]);
  9. 9 CCNOT(q[0], q[1], q[3]);
  10. 10 measure(q[0]);
  11. 11 measure(q[1]);
  12. 12 measure(q[2]);
  13. 13 measure(q[3]);
  14. 14 }
  15. 15 return q;
  16. 16}
Hazırla
Hadamard eşit süperpozisyon oluşturur.
Bağla
Kontrol q[0], hedef q[1].
Çevir
X, q[2] kübitini |1⟩ durumuna getirir.
Koşulla
Toffoli iki kontrol ve bir hedef kullanır.
Kaydet
Dört kübit ayrı measure çağrılarıyla ölçülür.

Dönüşüm: N/M → Devre

H(q[0]);
CNOT(q[0], q[1]);
X(q[2]);
CCNOT(q[0], q[1], q[3]);
measure(q[0]);
measure(q[1]);
measure(q[2]);
measure(q[3]);

Devre, gösterilen N/M kaynağından üretilir; histogram aynı kaynağın sabit tohumlu yerel simülatör sonucunu gösterir.

Sınırlı, sürümlü, incelenebilir

Algoritma dizini

Tüm algoritma galerisini aç →
AlgoritmaDurumAralıkYürütmeKanıt
Deutsch–Jozsa 0.2 Ön izleme2sim.local/statevector✓ Yerel kayıt
Bernstein–Vazirani 0.2 Ön izleme4sim.local/statevector✓ Yerel kayıt
Generic Grover DeneyselN=2..5sim.local/statevector✓ Yerel kayıt
Generic Oracles 0.2 Lab DeneyselDJ/BV≤99sim.local/stabilizer✓ Yerel kayıt

Çalıştırma kapsamı: Yukarıdaki devre ve kayıt ürün sözleşmesini açıklar; bağlı donanım telemetrisi değildir.

Sınırları saklamıyoruz.

Herkese açık çalıştırmalar bağlı kuantum donanımını değil, yerel simülasyonu kullanır. Kararlı, ön izleme ve deneysel yetenekler mevcut N/M manifestiyle ayrılır.

YetenekKararlıÖn izlemeDeneysel
Parser ve sözdizimi tanılarıKararlı
Kesin durum vektörü çalışma zamanıKararlı
Stabilizer çalışma zamanıÖn izleme
Çok dosyalı çalışma alanıÖn izleme
Generic oracle'larDeneysel
Ölçüm koşullu kontrolDeneysel
Donanım yürütme arayüzüDeneysel

Okuma · Tasarım · Deney

Kaynaklarıyla araştırma

Araştırma ve teknik notları aç
KayıtBaşlıkTürBağlamAç
QEC-NATUREYüzey kodu eşiğinin altında hata düzeltmeDış literatürNature · 2024 çevrimiçi / 2025 cilt
OPENQASM-3OpenQASM 3 dil tasarımıDış literatürarXiv 2021 · dergi 2022
NM-RFC-0035Sınırlı klasik fonksiyonlarN/M tasarım notuNM-RFC-0035 · destek için yetenek merkezi
FTQC-EXAMPLEYüzey kodu kaynak tahminiEğitim deneyiYerel model · yaklaşık kaynak tahmini

Dış yayınlar ilgili araştırmacılara aittir. N/M notları yazılım tasarımını, deneyler ise belirtilen modelin davranışını açıklar; bunlar QuantumSoftware’ın fiziksel donanım sonuçları değildir.

İletişime Geçin

Teknolojimiz, araştırma işbirlikleri veya ortaklık fırsatları ile ilgileniyor musunuz? Sizden haber almaktan memnuniyet duyarız.

Araştırma İşbirlikleri

research@quantumsoftware.tech