Ana içeriğe geç
Dil v0.2.0 · Ön izleme

Doğrulanmış N/M target-native lowering

Desteklenen her gate'i yayımlanmış target basis'ine indirgeyin, sınırlı alanda unitary semantiği doğrulayın ve tam decomposition yoksa fail-closed kalın.

Target-native lowering 0.1 sözleşmesi

Başarılı bir sonuç yalnız seçilen target profile gate'lerini içerir ve başarısız equivalence kontrolü taşımaz. Desteklenmeyen kurallar native çıktı gibi sunulmak yerine açık issue olarak kalır.

v0.1

Başarı invariant'ı

Üretilen her gate native'dir, unsupportedGates ve loweringIssues boştur; doğrulama geçmiştir veya belgelenmiş sınır nedeniyle açıkça skipped durumundadır.

Doğrulama sınırı

Beş qubit'e kadar saf unitary programlar global phase'e kadar amplitude düzeyinde ve en fazla 1e-8 farkla karşılaştırılır. İki tarafın aynı statevector semantiğini kullanması için target annotation'ları çıkarılır.

Yayımlanmış target basis'leri

browser-statevectorall-to-all · 14 qubits
HXYZSTSdgTdgPUGPhaseRxRyRzCNOTCZSWAPiSWAPCCNOTCSWAPCYCHRXXRYYRZZCRyCRzCP
browser-mpsall-to-all · 100 qubits
HXYZSTSdgTdgPUGPhaseRxRyRzCNOTCZCYCHSWAPiSWAPCCNOTCSWAPCRyCRzCP
browser-stabilizerall-to-all · 100 qubits
HXYZSSdgCNOTCZSWAPiSWAPCYGPhase
openqasm3-stdgatesall-to-all · 5 qubits
HXYZSTSdgTdgPUGPhaseRxRyRzCNOTCZCYCHSWAPCCNOTCSWAPCRyCRzCP
ion-trapall-to-all · 5 qubits
HXYZSSdgPURxRyRzRXXRYYCNOTCRyCRz
superconductingline · 5 qubits
HXYZSTSdgTdgPURxRyRzRZZCNOTCZCP
neutral-atomgrid · 5 qubits
HXYZPRyRzCZCCNOTCSWAP

CLI iş akışı

nm transpile main.nm --target superconducting --jsonnm transpile main.nm --target ion-trap

Kararlı lowering tanıları

Tüketiciler hata metni yerine machine-readable target, source, unsupported, verification ve native-invariant kodlarına göre dallanır.

NM-LOWERING-001NM-LOWERING-002NM-LOWERING-003NM-LOWERING-004NM-LOWERING-005

Measurement, reset, noise ve classical-control programları indirgenebilir; ancak pure-state equivalence açıkça skipped olur. verify: false skipped olarak görünür ve hiçbir zaman kanıt gibi sunulmaz.

Matris 28 gate biçiminin tamamını altı yayımlanmış target üzerinde çalıştırır: 152 kombinasyon doğrulanmış native çıktı üretir, 16 non-Clifford browser-stabilizer kombinasyonu fail-closed kalır.