Group Theoretical Approach to Pseudo-Hermitian Quantum Mechanics with Lorentz Covariance and c → ∞ Limit

We present the formulation of a version of Lorentz covariant quantum mechanics based on a group theoretical construction from a Heisenberg–Weyl symmetry with position and momentum operators transforming as Minkowski four-vectors. The basic representation is identified as a coherent state representation, essentially an irreducible component of the regular representation, with the matching representation of an extension of the group C*-algebra giving the algebra of observables. The key feature is that it is not unitary but pseudo-unitary, exactly in the same sense as the Minkowski spacetime representation. The language of pseudo-Hermitian quantum mechanics is adopted for a clear illustration of the aspect, with a metric operator obtained as really the manifestation of the Minkowski metric on the space of the state vectors. Explicit wavefunction description is given without any restriction of the variable domains, yet with a finite integral inner product. The associated covariant harmonic oscillator Fock state basis has all the standard properties in exact analog to those of a harmonic oscillator with Euclidean position and momentum operators. Galilean limit and the classical limit are retrieved rigorously through appropriate symmetry contractions of the algebra and its representation, including the dynamics described through the symmetry of the phase space.

Lower Semi-frames, Frames, and Metric Operators

This paper deals with the possibility of transforming a weakly measurable function in a Hilbert space into a continuous frame by a metric operator, i.e., a strictly positive self-adjoint operator. A necessary condition is that the domain of the analysis operator associated with the function be dense. The study is done also with the help of the generalized frame operator associated with a weakly measurable function, which has better properties than the usual frame operator. A special attention is given to lower semi-frames: indeed, if the domain of the analysis operator is dense, then a lower semi-frame can be transformed into a Parseval frame with a (special) metric operator.

DatalogMTL over the Integer Timeline

We study DatalogMTL—an extension of Datalog with metric temporal operators—under integer semantics, where the temporal domain of both interpretations and temporal operators consists of integer time points only. This is in contrast to the standard semantics, which is defined over the rational timeline. DatalogMTL under integer semantics is an interesting KR language: on the one hand, one can often assume the integer timeline in applications; on the other hand, it captures prominent temporal extensions of Datalog such as Datalog1S. We show that the choice of integer semantics leads to more favourable computational properties. We first show that reasoning over integers is at most as hard as reasoning over rationals for DatalogMTL and its natural fragments. Then, we investigate fragments of DatalogMTL where adopting the integer semantics makes reasoning easier. In particular, we show that complexity drops from P-hard to NC1-complete for the propositional fragment (where all object variables are grounded), and from TC0-hard to ACC0 for the linear fragment where the past diamond operator is the only metric operator allowed in rule bodies. Thus, reasoning in such fragments is both tractable and highly parallelisable, which suggests their appropriateness for data-intensive applications.

Time-Dependent Pseudo-Hermitian Hamiltonians and a Hidden Geometric Aspect of Quantum Mechanics

A non-Hermitian operator H defined in a Hilbert space with inner product ⟨ · | · ⟩ may serve as the Hamiltonian for a unitary quantum system if it is η -pseudo-Hermitian for a metric operator (positive-definite automorphism) η . The latter defines the inner product ⟨ · | η · ⟩ of the physical Hilbert space H η of the system. For situations where some of the eigenstates of H depend on time, η becomes time-dependent. Therefore, the system has a non-stationary Hilbert space. Such quantum systems, which are also encountered in the study of quantum mechanics in cosmological backgrounds, suffer from a conflict between the unitarity of time evolution and the unobservability of the Hamiltonian. Their proper treatment requires a geometric framework which clarifies the notion of the energy observable and leads to a geometric extension of quantum mechanics (GEQM). We provide a general introduction to the subject, review some of the recent developments, offer a straightforward description of the Heisenberg-picture formulation of the dynamics for quantum systems having a time-dependent Hilbert space, and outline the Heisenberg-picture formulation of dynamics in GEQM.

Continuous second order minimization method with variable metric projection operator

The paper examines a new continuous projection second order method of minimization of continuously Frechet differentiable convex functions on the convex closed simple set in separable, normed Hilbert space with variable metric. This method accelerates common continuous projection minimization method by means of quasi-Newton matrices. In the method, apart from variable metric operator, vector of search direction for motion to minimum, constructed in auxiliary extrapolated point, is used. By other word, complex continuous extragradient variable metric method is investigated. Short review of allied methods is presented and their connections with given method are indicated. Also some auxiliary inequalities are presented which are used for theoretical reasoning of the method. With their help, under given supplemental conditions, including requirements on operator of metric and on method parameters, convergence of the method for convex smooth functions is proved. Under conditions completely identical to those in convergence theorem, without additional requirements to the function, estimates of the method's convergence rate are obtained for convex smooth functions. It is pointed out, that one must execute computational implementation of the method by means of numerical methods for ODEs solution and by taking into account the conditions of proved theorems.

The minimally anisotropic metric operator in quasi-Hermitian quantum mechanics

We propose a unique way to choose a new inner product in a Hilbert space with respect to which an originally non-self-adjoint operator similar to a self-adjoint operator becomes self-adjoint. Our construction is based on minimizing a ‘Hilbert–Schmidt distance’ to the original inner product among the entire class of admissible inner products. We prove that either the minimizer exists and is unique or it does not exist at all. In the former case, we derive a system of Euler–Lagrange equations by which the optimal inner product is determined. A sufficient condition for the existence of the unique minimally anisotropic metric is obtained. The abstract results are supported by examples in which the optimal inner product does not coincide with the most popular choice fixed through a charge-like symmetry.

Isomorphic Hilbert spaces associated with different complex contours of the $\mathcal{PT}$-symmetric (-x4) theory

In this work, we stress the existence of isomorphisms which map complex contours from the upper half to contours in the lower half of the complex plane. The metric operator is found to depend on the chosen contour but the maps connecting different contours are norm-preserving. To elucidate these features, we parametrized the contour [Formula: see text] considered in Phys. Rev. D 73, 085002 (2006) for the study of wrong sign x4 theory. For the parametrized contour of the form [Formula: see text], we found that there exists an equivalent Hermitian Hamiltonian provided that a2c is taken to be real. The equivalent Hamiltonian is b-independent but the metric operator is found to depend on all the parameters a, b and c. Different values of these parameters generate different metric operators which define different Hilbert spaces. All these Hilbert spaces are isomorphic to each other even for the parameter values that define contours with ends in two adjacent wedges. As an example, we showed that the transition amplitudes associated with the contour [Formula: see text] are exactly the same as those calculated using the contour [Formula: see text], which is not [Formula: see text]-symmetric and has ends in two adjacent wedges in the complex plane.

Pseudo-Hermitian quantum mechanics with unbounded metric operators

I extend the formulation of pseudo-Hermitian quantum mechanics to η + -pseudo-Hermitian Hamiltonian operators H with an unbounded metric operator η + . In particular, I give the details of the construction of the physical Hilbert space, observables and equivalent Hermitian Hamiltonian for the case that H has a real and discrete spectrum and its eigenvectors belong to the domain of η + and consequently .