Dual Symbol Maps in Quantum Tomography

• Dual symbol maps are mathematical constructs that provide an invertible representation of quantum operators as measurable probability distributions using dequantizer–quantizer kernels.
• They enable state reconstruction and observable representation through star-product formulations, linking the operator algebra with classical-like functions.
• These maps underpin various tomographic protocols—including symplectic, optical, and discrete schemes—while addressing practical challenges such as noise and detection inefficiencies.

A dual symbol map in quantum tomography establishes a pair of invertible mappings between quantum operators (typically density matrices or observables) and a family of classical-like functions—tomographic symbols—defined on a parameter space. The symbol maps, constructed via quantizer and dequantizer operator kernels, enable representation of operator algebras and quantum states through measurable probability distributions. This structure generalizes the relationship between the Wigner function and characteristic functions in phase-space formulations, underpins the Radon and generalized transforms, and allows for efficient reconstruction (“inversion”) of quantum states or observables from tomograms. The duality (biorthogonality) ensures that these symbol representations are unambiguous and invertible, providing essential tools for both foundational analysis and experimental protocols in continuous-variable, finite-dimensional, and group-theoretic quantum tomography.

1. Quantizer–Dequantizer Formalism and Dual Symbol Maps

The mathematical structure of dual symbol maps is anchored in associating to each point $x$ in a measure space $X$ two operator-valued kernels on a Hilbert space $\mathcal H$:

• Dequantizer $\hat U(x)$: assigns to each $x \in X$ an operator acting as a generalized observable.
• Quantizer $\hat D(x)$: forms the dual basis, allowing for operator reconstruction.

They satisfy a biorthogonality (tracial) condition: $$\operatorname{Tr}\left[\hat U(x)\, \hat D(x')\right] = \delta(x, x')$$ which ensures invertibility and completeness for the space of trace-class operators (Asorey et al., 2015).

Given an operator $\hat A$, its direct (primary) tomographic symbol is

$$A(x) = \operatorname{Tr}\bigl[\hat A\, \hat U(x)\bigr]$$

while the inversion (dual map) reconstructs $\hat A$ from $X$0 via

$X$1

This bijection enables the definition of a star-product on symbols corresponding to operator multiplication: $X$2 with kernel $X$3 (Asorey et al., 2015, Asorey et al., 2012, Korennoy et al., 2024).

2. Continuous and Discrete Quantum Tomography Schemes

Dual symbol maps are foundational to a variety of tomographic protocols:

• Symplectic/Optical Tomography uses parameterizations $X$4 (or $X$5 for the optical case). The dequantizer is the delta-operator $X$6, with corresponding quantizer $X$7 (Asorey et al., 2015, Amosov et al., 2011).
• Quadratic Tomograms generalize to nonlinear submanifolds (ellipses, hyperbolas, etc.) in phase space, replacing straight Radon lines with quadrics. Here, the dual symbol is constructed from dequantizers $X$8, with quantizer explicitly given by a complex exponential involving the quadratic Hamiltonian (Asorey et al., 2012).
• Discrete Self-Dual Maps (e.g., Wigner maps on $X$9-qubit systems) use displacement operators as kernel bases. The self-dual case ($\mathcal H$0 Stratonovich–Weyl maps) satisfies $\mathcal H$1. The dual symbol is $\mathcal H$2, and the reconstruction formula is $\mathcal H$3 (Muñoz et al., 2016).

These schemes retain the duality property, embodying the tomographic condition (correct marginal probabilities), and, in the continuous case, reduce to classical Radon inversion in the commutative limit $\mathcal H$4 (Asorey et al., 2015).

3. Applications and Interpretational Framework

Dual symbol maps enable efficient formulation of both theoretical and experimental quantum tomography:

• State Reconstruction: Experimental determination of tomograms (probability distributions) $\mathcal H$5 from measurements enables explicit recovery of the corresponding density matrix via integration with the quantizer (Asorey et al., 2015, Asorey et al., 2012, Ibort et al., 2024).
• Observable Representation and Mean Values: The dual symbol of an observable, $\mathcal H$6, provides a kernel for computing quantum mean values as classical-like integrals: $\mathcal H$7 allowing observable algebra to be realized at the level of functions (Amosov et al., 2015, Amosov et al., 2011).
• Star-Product Structure: The noncommutative product of quantum operators translates to a nonlocal star-product on the corresponding dual symbols, with explicit kernels derived for both standard (“thin”) and smeared (“thick”) tomographic schemes (Asorey et al., 2015, Asorey et al., 2012).
• Handling of Experimental Imperfections: Thick tomography, replacing singular dequantizers with smooth window functions, naturally incorporates detection inefficiencies and noise, with normalization corrections included in the quantizer (Asorey et al., 2012, Asorey et al., 2015).
• Group-Theoretic and $\mathcal H$8-Algebraic Extensions: Generalizations to quantum tomography over locally compact groups allow the systematic construction of tomographic and dual maps for projective unitary representations, with rigorous operator–function correspondence in both finite- and infinite-dimensional cases (Amosov, 2022, Ibort et al., 2024).

4. Examples: Explicit Dual Symbol Calculations

Explicit dual symbol formulas have been derived for central physical operators:

• Position and Momentum: For optical tomography, $\mathcal H$9, and $\hat U(x)$0 is reconstructed as $\hat U(x)$1 (Amosov et al., 2011).
• Number Operator: $\hat U(x)$2, with corresponding dual symbol; similar explicit polynomial duals for monomials in $\hat U(x)$3 are given in the “plane” representation (Amosov et al., 2015).
• Coherent and Fock States: Analytical forms for $\hat U(x)$4 (Gaussian) and $\hat U(x)$5 (involving Hermite polynomials) are known, and dual symbol integration recovers the respective projector (Asorey et al., 2015).
• Group Tomography: The dual symbol for any operator in the Heisenberg–Weyl group context is $\hat U(x)$6 (Ibort et al., 2024).

For thick/joint probability representations, explicit dual symbols can be modified to account for parameter distributions (e.g., Gaussian windowing) (Korennoy et al., 2024).

5. Generalized Tomographic Maps, Star Products, and Inversion

The overarching structure of dual symbol maps is generalized beyond symplectic/linear settings:

• Nonlinear Tomograms: Tomographic maps associated with quadratic or higher-order surfaces admit dual symbol constructions using advanced quantizer/dequantizer kernels, maintaining trace-orthonormality and invertibility (Asorey et al., 2012).
• Biorthogonality and One-to-One Correspondence: The completeness and orthogonality of the quantizer–dequantizer pairs ensure that mapping from operators to symbols and back is lossless, provided integrability and smoothness conditions are met (Asorey et al., 2015, Amosov et al., 2011, Ibort et al., 2024).
• Incompatibility with Discrete Symmetries: In discrete phase-space settings, full permutation invariance is incompatible with strict tomographic conditions. Explicit families of self-dual maps are classified as either tomographic or permutation-invariant, but not both (Muñoz et al., 2016).
• Star-Product Kernel Formulas: For each scheme, closed-form kernels for the star product are derivable. In the classical limit, the star product reduces to pointwise multiplication (Asorey et al., 2015, Amosov et al., 2015).

6. Classical Limit, Operational Considerations, and Limitations

Dual symbol maps bridge quantum and classical descriptions of states:

• Classical Limit: As $\hat U(x)$7, quantum dual symbol maps reduce to their classical counterparts, and the tomographic inversion becomes the classical Radon transform (Asorey et al., 2015).
• Operational Utility: These frameworks support not only reconstruction but also computation of dynamical evolution equations and stationary states in dual symbol representation, particularly in symplectic tomographic schemes (Korennoy et al., 2024).
• Practical and Fundamental Limitations:
  • Dequantizer and quantizer operators are typically singular (e.g., Dirac delta distributions); thick tomography regularizes these for experimental applications (Asorey et al., 2012).
  • Partial tomography schemes can restrict redundancy but may not capture the full operator algebra (Korennoy et al., 2024).
  • The construction of dual symbol maps with desirable symmetry and tomographic properties may be mutually incompatible in finite/discrete systems (Muñoz et al., 2016).

Dual symbol maps form the mathematical foundation for operator–function correspondence in quantum tomography, encompassing star-product quantization, generalized probability representations, and tomographic state estimation. Their scope includes both fundamental aspects and applications across phase-space, field-theoretic, and discrete-variable quantum systems.