Deterministik özellik doğrulamaları

Amaç ve kapsam

Kuantum testinin analitik bir olasılığı mı yoksa sonlu sayıda ölçümden gelen bir tahmini mi doğruladığını açıklaştırır. Ayrıca aralık ve durum eşdeğerliği doğrulamalarının anlamını tanımlar.

Tasarımın ana kuralları

• Örneklemeli olasılık doğrulamalarında ölçüm sayısı, tohum ve tolerans açık bir sözleşmeye bağlanır.
• Bir gözlenebilirin kapalı bir aralıkta bulunması, tek bir aralık doğrulamasıyla ifade edilebilir.
• Durum eşdeğerliği, global fazın karşılaştırmada dikkate alınıp alınmadığını açıkça belirtir.

Ö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.

module property_assertions;
@seed(17);
@shots(256);

fn main() {
  property "phase-safe plus state" {
    forall theta in 0 .. PI step PI / 2 {
      let q: QReg<1> = qreg[1];
      GPhase(theta);
      H(q[0]);

      assert probability(|0>) ~= 0.5 tolerance 0.1;
      assert expectation Z(q[0]) ~= 0 tolerance 0.2;
      assert expectation Z(q[0]) in [-1, 1];
      assert equivalent("plus") up_to_phase;
    }
  }
  return 0;
}

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

• Sonlu ölçüm tahmini kesin analitik değer olarak sunulmaz.
• Deneysel özellik doğrulaması, fiziksel cihazın doğruluğu veya kuantum avantajı hakkında kanıt değildir.

Durum ve uygulama sınırı

Kaynak belge çalışma zamanı deneysel sözleşmesini ve ilgili tanıları tanımlar. Çalıştırma kanıtında kaynak, tohum, ölçüm sayısı ve etkin seçenekler birlikte saklanmalıdır.