Dağılım ve istatistiksel doğrulamalar

Amaç ve kapsam

Analitik dağılım yakınlığı ile sonlu örneklemin desteklediği istatistiksel iddiayı ayırır. Aynı görünen yüzdeler, farklı belirsizlik ve kabul kurallarına sahip olabilir.

Tasarımın ana kuralları

• analytic ve sampled kipleri kaynakta zorunludur; kip otomatik çıkarılmaz.
• Analitik dağılımlar toplam varyasyon uzaklığıyla karşılaştırılır; örneklemeli iddialar Hoeffding sınırı ve sabit Bonferroni ailesi kullanır.
• Örneklemeli ailede tohum, 1..4096 ölçüm, ortak alpha ve açık hata bütçesi önceden belirlenir.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

@seed(17);
@shots(4096);

test "bell distribution" {
  let q: QReg<2> = qreg[2];
  H(q[0]);
  CNOT(q[0], q[1]);

  assert distribution(q[0..1]) analytic ~= {
    "00": 0.5,
    "01": 0.0,
    "10": 0.0,
    "11": 0.5
  } tvd <= 1e-9;

  assert probability(q[0..1] in {"00", "11"}) sampled ~= 1.0
    abs_error <= 0.05 alpha 0.01 family "bell";
}

Sınırlar ve sonuçların yorumu

• Örneklem tahmini kesin olasılık, analitik değer ise güven düzeyi taşıyan ölçüm kanıtı olarak sunulmaz.
• Sonuç cihaz sertifikasyonu, tomografi veya kuantum avantajı iddiası değildir.

Durum ve uygulama sınırı

Belge öneri durumundadır ve uygulama için ayrı inceleme kaydı gerektirir. Sonuç yorumunda ölçüt, belirsizlik kuralı, aile büyüklüğü ve sınırlamalar birlikte gösterilmelidir.