Quantum kernels ยท Circuits
Quantum kernel model
Theorem statement
A quantum kernel encodes a classical input $x$ through a data-encoding circuit $U(x)$ into the feature state $|\phi(x)\rangle = U(x)|0\rangle$ on $n$ qubits. The fidelity quantum kernel is the squared overlap of feature states, $$K(x,x') = |\langle \phi(x) | \phi(x')\rangle|^2 = |\langle 0| U^\dagger(x') U(x) |0\rangle|^2.$$ For any finite data set $\{x_i\}$ the Gram matrix $K_{ij}=K(x_i,x_j)$ is positive semidefinite, so $K$ is a valid kernel.
Sources
- Supervised quantum machine learning models are kernel methods
Maria Schuld, 2021
- Quantum machine learning in feature Hilbert spaces
Maria Schuld, Nathan Killoran, 2018
Lean context
- Lean declaration
QuantumAlg.QuantumKernel.main
Copy a short prompt with the import, theorem name, citations, and public source link.