Polyanalytic Toeplitz operators: isomorphisms, symbolic calculus and approximation of Weyl operators

We discuss an extension of Toeplitz quantization based on polyanalytic functions. We derive isomorphism theorem for polyanalytic Toeplitz operators between weighted Sobolev-Fock spaces of polyanalytic functions, which are images of modulation spaces under polyanalytic Bargmann transforms. This generalizes well-known results from the analytic setting. Finally, we derive an asymptotic symbol calculus and present an asymptotic expansion of complex Weyl operators in terms of polyanalytic Toeplitz operators.