Genelleştirilmiş derleme anı devre imzaları

Amaç ve kapsam

Birden çok ayrık kayıt görünümünü ve derleme anı boyut parametresini devre imzasında ifade etmeyi önerir. Amaç kaynak tekrarını azaltmak ve kaynak sahipliğini denetlemektir.

Tasarımın ana kuralları

• const ...: Int argümanları ve QReg<E> genişlikleri çağrı yerinde çözümlenir.
• Aynı fiziksel kaydın ayrık görünümleri kabul edilebilir; çakışan görünümler reddedilir.
• Devreler deterministik özelleştirilir; kaynak haritası ve adjoint, sınırlı ctrl ve pow anlamları korunur.

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

circuit entangle<const N: Int>(
  control: QReg<N>,
  target: QReg<N>,
  theta: Angle
) {
  for i in 0..N {
    Ry(target[i], theta);
    CNOT(control[i], target[i]);
  }
}

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

• Çalışma zamanında boyutlandırma, özyineleme, dinamik çağrı ve devre içinde ölçüm/eğitim bu dilime girmez.
• Genel devre imzası, genel QPE/Simon/Shor hazırlığı veya daha büyük simülasyon kapasitesi anlamına gelmez.

Durum ve uygulama sınırı

Özgün kaynak öneri durumundadır. Genel imza, oracle türü ve somut devre desteği ayrı sözleşmelerdir; ilgili kesin sürümlü bağımlılıklar ve mevcut yetenekler birlikte incelenmelidir.