Related papers: An explicit formula for the natural and conformall…

This is the second article in a two-part series presenting a new proof comparing the non-invariant trace formula for a general linear group with that of one of its inner forms. In this article, we focus on the spectral side of the trace…

This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…

Quantifier elimination of positive semidefinite cyclic ternary quartic forms is studied in this paper. We solve the problem by the theory of complete discrimination systems, function \RealTriangularize in Maple15 and the so-called…

The claim that there is an inconsistency of quantum-classical dynamics [1] is investigated. We point out that a consistent formulation of quantum and classical dynamics which can be used to describe quantum measurement processes is already…

Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the…

We establish some results in local harmonic analysis which are necessary for Arthur's invariant trace formula for coverings of connected reductive groups. More precisely, for local coverings we will study (1) the Plancherel formula and its…

Periodic orbit quantization requires an analytic continuation of non-convergent semiclassical trace formulae. We propose two different methods for semiclassical quantization. The first method is based upon the harmonic inversion of…

Generalized coherent states for shape invariant potentials are constructed using an algebraic approach based on supersymmetric quantum mechanics. We show this generalized formalism is able to: a) supply the essential requirements necessary…

We develop a quantization scheme for the quantum theory of a real scalar field on a class of non-commutative spacetime models collectively known as T-Minkowski. Requiring the theory to be covariant under T-Poincar\'e transformations, we…

In our previous work [1] we described quantized computation using Horn clauses and based the semantics, dubbed as entanglement semantics as a generalization of denotational and distribution semantics, and founded it on quantum probability…

We study the free product of rooted graphs and its various decompositions using quantum probabilistic methods. We show that the free product of rooted graphs is canonically associated with free independence, which completes the proof of the…

Canonical quantization may be approached from several different starting points. The usual approaches involve promotion of c-numbers to q-numbers, or path integral constructs, each of which generally succeeds only in Cartesian coordinates.…

In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To…

We discuss deformation quantization of the covariant, light-cone and conformal gauge-fixed p-brane actions (p>1) which are closely related to the structure of the classical and quantum Nambu brackets. It is known that deformation…

The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups $B_u(Q)$ for…

We construct a manifestly diffeomorphism invariant Wilsonian (Exact) Renormalization Group for classical gravity, and begin the construction for quantum gravity. We demonstrate that the effective action can be computed without gauge fixing…

We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…

We study the fundamental relationship between stable quotient invariants and the B-model for local CP2 in all genera. Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model…

Using the fact that the nonintegrable phase factor can reformulate the gauge theory in terms of path dependent vector potentials, the quantization condition for the nonintegrable phase is investigated. It is shown that the path-dependent…

We provide a new formulation of nonrelativistic diffeomorphism invariance. It is generated by localising the usual global Galilean Symmetry. The correspondence with the type of diffeomorphism invariant models currently in vogue in the…