Abstract:In the first part of this thesis we study the generalization of the recent algebraic approach to classical field theory by proposing a more general setting based on the manifold of smooth sections of a non-trivial fiber bundle. Central is the notion of observables/functionals over such sections, \textit{i.e.} appropriate smooth functions on them. The kinematic will be further specified by means of Peierls brackets, which in turn are defined via the causal propagators of linearized field equations. In the second part we implement deformation quantization of the algebras obtained above in the simpler setting of scalar field theory. Wick powers and time ordered products for quantum field theories in curved spacetimes are defined by giving a set of axioms which, when implemented, defines uniquely, up to some classifiable ambiguities, the aforementioned quantities. Those ambiguities are known to be tightly restrained by locality, covariance and other regularity conditions. One of the additional constraints used was to require continuous and analytic dependence on the metric and coupling parameters. It was recently shown that this rather strong requirement could be weakened, in the case of Wick powers, to the so-called parametrized microlocal spectrum condition. We therefore show the existence of Wick powers satisfying the above condition and extend this axiom to time ordered products, while reestablishing the usual uniqueness and existence results in light of the new constraint.

Post-Wick theorems for symbolic manipulation of second-quantized expressions in atomic many-body perturbation theory

Notes on Wick's theorem in many-body theory

Robust formulation of Wick's theorem for computing matrix elements between Hartree-Fock-Bogoliubov wavefunctions

Another Formulation of the Wick's Theorem. Farewell, Pairing?

Symbolic determinant construction of perturbative expansions

DFR Perturbative Quantum Field theory on Quantum Space Time, and Wick Reduction

Factorization Of Commutators - The Wick Theorem For Coupled Operators

All-order Feynman rules for leading-twist gauge-invariant operators in QCD

SNEG - Mathematica package for symbolic calculations with second-quantization-operator expressions

A quantum harmonic analysis approach to the Berger-Coburn theorem

Second quantization-based symmetry-adapted perturbation theory: Generalizing exchange beyond single electron pair approximation

Revealing symmetries in quantum computing for many-body systems

Functional Formalism for Algebraic Classical and Quantum Field Theories

Improving Perturbation Theory with the Sum-of-Squares: Third Order

Entangled state representation, new two-variable Hermite-polynomial- operator identities for two-mode quadrature's physical quantity calculation

Graphical calculus for quantum vertex operators, II: q-KZB and coordinate Macdonald-Ruijsenaars equations

Product formulas on posets, Wick products, and a correction for the $q$-Poisson process

New Representations of the PerturbativeSMatrix

Exponentially more precise quantum simulation of fermions I: Quantum chemistry in second quantization