Toque em Próximo (ou use as teclas de seta) para avançar uma ideia por vez. Uma verificação fixa de três perguntas espera no final: o próprio ponto de controle do curso, com as mesmas perguntas a cada tentativa. O ← no topo sai quando quiser; o progresso é mantido.
Characterization tools
Tomography scales poorly but gives detailed small-system information. Randomized benchmarking estimates average error under assumptions. Cycle benchmarking and gate-set tomography provide complementary views.
Characterization metrics are model-dependent and should be interpreted cautiously.
Application-level benchmarking
Benchmarks should specify circuit family, width, depth, native compilation, sampling budget, error mitigation, and classical comparison. Useful benchmarks may focus on chemistry observables, optimization quality, or logical operations.
System-level utility cannot be inferred from a single component metric.
Verification and reproducibility
Large quantum outputs can be hard to verify classically. Techniques include cross-checks on tractable instances, symmetry constraints, interactive proofs, statistical tests, and independent replication.
A claim is stronger when others can reproduce both quantum and classical results.
Applied activity
Advanced exercise: derive or simulate one representative result from this module, document assumptions, and produce a one-page technical interpretation for a non-specialist decision maker.
Ler o texto completo da aula
1. Characterization tools
Tomography scales poorly but gives detailed small-system information. Randomized benchmarking estimates average error under assumptions. Cycle benchmarking and gate-set tomography provide complementary views.
Characterization metrics are model-dependent and should be interpreted cautiously.
2. Application-level benchmarking
Benchmarks should specify circuit family, width, depth, native compilation, sampling budget, error mitigation, and classical comparison. Useful benchmarks may focus on chemistry observables, optimization quality, or logical operations.
System-level utility cannot be inferred from a single component metric.
3. Verification and reproducibility
Large quantum outputs can be hard to verify classically. Techniques include cross-checks on tractable instances, symmetry constraints, interactive proofs, statistical tests, and independent replication.
A claim is stronger when others can reproduce both quantum and classical results.
4. Applied activity
Advanced exercise: derive or simulate one representative result from this module, document assumptions, and produce a one-page technical interpretation for a non-specialist decision maker.
A reprodução de áudio usa a voz integrada do seu dispositivo: sem downloads, funciona offline.
