| name | invariance-audits-quantum-kernels |
| description | Real-to-Hermitian taxonomy for auditing representation invariances in quantum machine learning. Covers Grassmann/flag projector kernels, quantum fidelity kernels, QVR anchor operators, and quotient-witness experiments for validating geometric lifts. Activation: quantum kernel audit, representation invariance, Grassmann kernel, flag projector, QVR, quantum variational rewinding, projector kernel, density geometry |
| metadata | {"arxiv_id":"2607.07927","published":"2026-07-08","authors":"Azadeh Alavi, Fatemeh Kouchmeshki, Hossein Akhoundi","tags":["quantum","machine-learning","kernel-methods","geometry","invariance"]} |
Invariance Audits for Quantum Kernels
Description
Real-to-Hermitian taxonomy for auditing which data representations (vectors, projectors, covariances, flags, quantum states, density operators) are appropriate for a given QML task. Determines which distinctions to keep and which to quotient out before fitting a classifier.
Activation Keywords
- quantum kernel audit
- representation invariance
- Grassmann kernel
- flag projector
- quantum variational rewinding
- QVR
- projector kernel
- density geometry
- Hilbert-Schmidt inner product kernel
Core Concepts
The Invariance Decision
Before fitting any QML model, data is often lifted from raw vectors to normalized directions, projectors, subspaces, flags, or density operators. This invariance decision determines what information is preserved vs. discarded. The taxonomy provides formal criteria for auditing whether the chosen lift matches the task geometry.
Real-Side Geometry
| Representation | Mathematical Object | Kernel | When to Use |
|---|
| Vector direction | Unit sphere | Cosine kernel | Direction-only matters |
| Subspace (Grassmann) | Orthogonal projector P | Tr(P₁P₂) | Span matters, order doesn't |
| Flag manifold | Ordered sequence of subspaces | Weighted block flag kernel | Order of subspaces matters |
| Covariance | PSD matrix | Affine-invariant kernel | Second-order structure |
Key theorem: Weighted flag kernel is positive semidefinite and block-gauge invariant. Same-span block-swap witness detects when Grassmann geometry fails while ordered flags succeed.
Quantum-Side Geometry
| Quantum Object | Classical Analog | Kernel |
|---|
| Pure state |ψ⟩⟨ψ| | Rank-1 projector | Fidelity kernel = HS inner product of projectors |
| Mixed state ρ | Density operator | Tr(ρ₁ρ₂) overlap |
| QVR return probability | Anchor overlap score | ⟨ψ|A|ψ⟩ with learned anchor A |
| Rank-constrained return | Complex Grassmann anchor | Multi-dimensional subspace overlap |
Key result: Noiseless fidelity kernel ≡ Hilbert-Schmidt inner product between rank-1 Hermitian projectors. QVR return probability ≡ overlap score between input projector and learned anchor operator.
Usage Patterns
Pattern 1: Kernel Selection Audit
When designing a QML pipeline:
- Identify what geometric structure the labels depend on
- Check if discarding that structure (via projection/normalization) loses label-bearing information
- Select the minimal representation that preserves all label-relevant information
- Verify with quotient-witness experiment: if a coarser representation works equally well, the finer one is wasteful
Pattern 2: Failure Diagnosis
When a quantum kernel underperforms:
- Check if the kernel's invariance discards label-bearing information
- Run controlled vector → subspace → statevector → anomaly experiments
- Use same-span block-swap witness to distinguish Grassmann-vs-flag failure modes
- If mixed/multimodal classes exist, switch from pure-state to density-operator representation
Pattern 3: Finite-Shot Robustness Check
For limited-data regimes:
- Test whether the kernel remains PSD under finite-shot estimation noise
- Verify anchor operators remain Hermitian with limited measurement shots
- Use rank-constrained returns if class boundaries span subspaces rather than points
Pitfalls
- No quantum advantage claimed: This paper makes no hardware-speedup claim — the contribution is purely about representation correctness
- Grassmann vs Flag: When subspaces have inherent ordering, Grassmann kernels fail. Use flag kernels instead
- Density vs Pure state: Multimodal classes require density operators, not pure states
- Quotient-witness: A representation that works "well enough" may still discard critical information — always verify with ablation
Related Skills
qml-feature-encoding (data encoding for QML)qml-framework-agnostic-design (framework-agnostic QML)quantum-ml-patterns (QML design patterns)quantum-kernel-advantage (quantum kernel methods)
