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.
Stabilizer formalism
Stabilizer codes define a protected codespace as the simultaneous +1 eigenspace of commuting Pauli operators. Measuring stabilizers reveals syndromes without directly learning the logical state.
Syndromes identify error classes while preserving encoded information.
Surface codes and thresholds
Surface codes use local checks on a two-dimensional lattice and have relatively high thresholds. Code distance controls the number of correctable errors and physical-qubit overhead. Logical failure depends on physical error rates, decoder quality, and circuit details.
Below threshold, increasing code distance can exponentially suppress logical errors.
Fault-tolerant gates and magic states
Clifford gates are comparatively accessible in stabilizer codes, but universal computation requires a non-Clifford resource such as T gates. Magic-state distillation can dominate qubit and time overhead.
T-count and magic-state production are central resource metrics for fault-tolerant algorithms.
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. Stabilizer formalism
Stabilizer codes define a protected codespace as the simultaneous +1 eigenspace of commuting Pauli operators. Measuring stabilizers reveals syndromes without directly learning the logical state.
Syndromes identify error classes while preserving encoded information.
2. Surface codes and thresholds
Surface codes use local checks on a two-dimensional lattice and have relatively high thresholds. Code distance controls the number of correctable errors and physical-qubit overhead. Logical failure depends on physical error rates, decoder quality, and circuit details.
Below threshold, increasing code distance can exponentially suppress logical errors.
3. Fault-tolerant gates and magic states
Clifford gates are comparatively accessible in stabilizer codes, but universal computation requires a non-Clifford resource such as T gates. Magic-state distillation can dominate qubit and time overhead.
T-count and magic-state production are central resource metrics for fault-tolerant algorithms.
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.
