Related papers: Non-canonical Quantization of a Quadratic Constrai…
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main…
It is known that the quantization of a system defined on a topologically non-trivial configuration space is ambiguous in that many inequivalent quantum systems are possible. This is the case for multiply connected spaces as well as for…
We call attention to the unusual properties that the 4 dimensional solutions for a modified Fueter-Dirac equations satisfy: In a coordinate-free, constant-free and strictly mathematical way it is possible to show that all the solutions for…
Non-canonical quantization is based on certain reducible representations of canonical commutation relations. Relativistic formalism for electromagnetic non-canonical quantum fields is introduced. Unitary representations of the Poincar\'e…
We study the canonical quantization of a scalar field in a Kantowski-Sachs spacetime. For simplicity, we consider compactified spatial sections, since this does not affect the ultraviolet behavior. A time-dependent canonical transformation…
Quantum annealing (QA) is a promising approach for not only solving combinatorial optimization problems but also simulating quantum many-body systems such as those in condensed matter physics. However, non-adiabatic transitions constitute a…
It is possible to introduce external time dependent back ground fields in the formulation of a system as fields whose dynamics can not be deduced from Euler Lagrange equations of motion. This method leads to singular Lagrangians for real…
In this work we discuss the natural appearance of the Generalized Brackets in systems with non-involutive (equivalent to second class) constraints in the Hamilton-Jacobi formalism. We show how a consistent geometric interpretation of the…
The numerical version of the Hamilton-Jacobi quantization method, recently proposed, is applied to the one dimensional quartic oscillator. A suitable quantization condition is formulated and various energy levels and wave functions are…
The operator and the functional formulations of the dynamics of constrained systems are explored for determining unambiguously the quantum Hamiltonian of a nonrelativistic particle in a curved space.
In this work, we investigate a Lagrangian model describing a particle constrained to move along non-degenerate conic sections, parameterized by the orbital eccentricity \( e \). In the non-relativistic regime, we apply the Dirac--Bergmann…
Canonical Hamiltonian field theory in curved spacetime is formulated in a manifestly covariant way. Second quantization is achieved invoking a correspondence principle between the Poisson bracket of classical fields and the commutator of…
In this paper we discuss two approaches to anomaly-free quantization of a two-dimensional string. The first approach is based on the canonical Dirac prescription of quantization of degenerated systems. At the second approach we "weaken" the…
In her recent work, Dittrich generalized Rovelli's idea of partial observables to construct Dirac observables for constrained systems to the general case of an arbitrary first class constraint algebra with structure functions rather than…
We examine the utility of the quadratic pseudospectrum in photonics and condensed matter. Specifically, the quadratic pseudospectrum represents a method for approaching systems with incompatible observables, as it both minimizes the…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
An algebraic formalism for the study of a system of charged particles interacting with an external quantum field is developed. The notion of monoidal categories with duality is used for the description of composite systems and corresponding…
We propose a systematic procedure that solves the Dirac bracket commutators. The method is based on the Gauge Unfixing formalism, a procedure that converts second class systems into first class ones without the enlargement of the original…
The Relationship between the Neumann system and the Jacobi system in arbitrary dimensions is elucidated from the point of view of constrained Hamiltonian systems. Dirac brackets for canonical variables of both systems are derived from the…
The canonical front form Hamiltonian for non-Abelian SU(N) gauge theory in 3+1 dimensions is mapped on an effective Hamiltonian which acts only in the Fock space of one quark and one antiquark. The approach is non-perturbative and exact. It…