Related papers: Quantization of generally covariant systems with e…
We present an approach that allows quantifying decoherence processes in an open quantum system subject to external time-dependent control. Interactions with the environment are modeled by a standard bosonic heat bath. We develop two…
A formulation of Covariant Canonical Quantization is discussed, which works on an extended Hilbert space and reduces to conventional canonical quantization when constraining to the solution of the field equation a priori. From the formal…
A formalism is presented which allows covariant three-dimensional bound-state equations to be derived systematically from four-dimensional ones without the use of delta-functions. The amplitude for the interaction of a bound state described…
We propose in this paper an alternative method for the quantisation of systems with first-class constraints. This method is a combination of the coherent-state-path-integral quantisation developed by Klauder, with the ideas of reduced state…
We derive a separability criterion for bipartite quantum systems which generalizes the already known criteria. It is based on observables having generic commutation relations. We then discuss in detail the relation among these criteria.
We study the groups of local BRST cohomology associated to the general systems of ordinary differential equations, not necessarily Lagrangian or Hamiltonian. Starting with the involutive normal form of the equations, we explicitly compute…
One can view quantum mechanics as a generalization of classical probability theory that provides for pairwise interference among alternatives. Adopting this perspective, we ``quantize'' the classical random walk by finding, subject to a…
In this article we consider quantum phase space reduction when zero is a regular value of the momentum map. By analogy with the classical case we define the BRST cohomology in the framework of deformation quantization. We compute the…
Quantum gravity is made more difficult in part by its constraint structure. The constraints are classically first-class; however, upon quantization they become partially second-class. To study such behavior, we focus on a simple problem…
General structure of BRST-invariant constraint algebra is established, in its commutator and antibracket forms, by means of formulation of algebra-generating equations in yet more extended phase space. New ghost-type variables behave as…
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…
The BRST quantization of a gauge theory in noncommutative geometry is carried out in the ``matrix derivative" approach. BRST/anti-BRST transformation rules are obtained by applying the horizontality condition, in the superconnection…
Different approaches in quantifying environmentally-induced decoherence are considered. We identify a measure of decoherence, derived from the density matrix of the system of interest, that quantifies the environmentally induced error,…
A time-dependent completely integrable Hamiltonian system is quantized with respect to time-dependent action-angle variables near an instantly compact regular invariant manifold. Its Hamiltonian depends only on action variables, and has a…
Quantization is the process of mapping an input signal from an infinite continuous set to a countable set with a finite number of elements. It is a non-linear irreversible process, which makes the traditional methods of system…
Covariant phase space quantization attempts to quantize the full space of classical solutions, leading to a quantum theory in which the usual time coordinate is missing. In this paper we explore how the time evolution of the quantum states…
In ordinary, non-relativistic, quantum physics, time enters only as a parameter and not as an observable: a state of a physical system is specified at a given time and then evolved according to the prescribed dynamics. While the state can,…
A coarse-grained quantum operator technique is used along with the formalism of Bohmian mechanics endowed with stochastic character at the quantum level in order to address some central issues in the quantum theory of measurement. A…
Quantum mechanical time operator is introduced following the parametric formulation of classical mechanics in the extended phase space. Quantum constraint on the extended quantum system is defined in analogy to the constraint of the…
Given an arbitrary statistical theory, different from quantum mechanics, how to decide which are the nonclassical correlations? We present a formal framework which allows for a definition of nonclassical correlations in such theories,…