← All parts of this equation

Equation 5 · Part 9 · Error Correction Is the Whole Problem in Quantum Computing

subscript

Si ∣ψL⟩=+∣ψL⟩,i=1,…,n−k.S_i \, |\psi_L\rangle = + |\psi_L\rangle , \qquad i = 1, \dots, n - k .
subscript

What this part means

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Its job in the formula

A subscript distinguishes a version, component, step, or member of a quantity. It does not automatically mean multiplication.

The passage around this formula

The technique that makes this work is the stabiliser formalism, given its general fault-tolerant treatment by Gottesman [ 4 ] . A code is defined not by listing its states but by naming a set of commuting Pauli operators SiS_i — the stabiliser generators — whose joint +1 eigenspace is the code space: Si ∣ψL⟩=+∣ψL⟩,i=1,…,n−kS_i \, |\psi_L\rangle = + |\psi_L\rangle , \qquad i = 1, \dots, n - k . An [[n, k, d]] code encodes k logical qubits into n physical qubits with distance d . The stabiliser generators are measured repeatedly. Because each SiS_i commutes with every other and with the logical operators, measuring them extracts no information about which encoded state is present. What it extracts is whether an error has anticommuted with a given check — a single…

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.