Searcharxiv⌕ Search

arXiv subjects

A. Ibort

Publications and source records attributed to A. Ibort.

At least 37 records · Page 2Linked to original sources

Reduction of Lie-Jordan algebras: Classical

In this paper we present a unified algebraic framework to discuss the reduction of classical and quantum systems. The underlying algebraic structure is a Lie-Jordan algebra supplemented, in the quantum case, with a Banach structure. We discuss the reduction by symmetries, by constraints as well as the possible, non trivial, combinations of both. We finally introduce a new, general framework to perform the reduction of physical systems in an algebraic setup.

math-ph↗

Reduction of Lie--Jordan algebras: Quantum

In this paper we present a theory of reduction of quantum systems in the presence of symmetries and constraints. The language used is that of Lie--Jordan Banach algebras, which are discussed in some detail together with spectrum properties and the space of states. The reduced Lie--Jordan Banach algebra is characterized together with the Dirac states on the physical algebra of observables.

math-ph↗

Groupoids and the tomographic picture of quantum mechanics

The existing relation between the tomographic description of quantum states and the convolution algebra of certain discrete groupoids represented on Hilbert spaces will be discussed. The realizations of groupoid algebras based on qudit, photon-number (Fock) states and symplectic tomography quantizers and dequantizers will be constructed. Conditions for identifying the convolution product of groupoid functions and the star--product arising from a quantization--dequantization scheme will be given. A tomographic approach to construct quasi--distributions out of suitable immersions of groupoids into Hilbert spaces will be formulated and, finally, intertwining kernels for such generalized symplectic tomograms will be evaluated explicitly.

math-ph↗

Null Phase Curves and Manifolds in Geometric Phase Theory

Bargmann invariants and null phase curves are known to be important ingredients in understanding the essential nature of the geometric phase in quantum mechanics. Null phase manifolds in quantum-mechanical ray spaces are submanifolds made up entirely of null phase curves, and so are equally important for geometric phase considerations. It is shown that the complete characterization of null phase manifolds involves both the Riemannian metric structure and the symplectic structure of ray space in equal measure, which thus brings together these two aspects in a natural manner.

quant-ph↗

Realization of associative products in terms of Moyal and tomographic symbols

The quantizer-dequantizer method allows to construct associative products on any measure space. Here we consider an inverse problem: given an associative product is it possible to realize it within the quantizer-dequantizer framework? The answer is positive in finite dimensions and we give a few examples in infinite dimensions.

math-ph↗

Invariant Forms and Automorphisms of Locally Homogeneous Multisymplectic Manifolds

It is shown that the geometry of locally homogeneous multisymplectic manifolds (that is, smooth manifolds equipped with a closed nondegenerate form of degree > 1, which is locally homogeneous of degree k with respect to a local Euler field) is characterized by their automorphisms. Thus, locally homogeneous multisymplectic manifolds extend the family of classical geometries possessing a similar property: symplectic, volume and contact. The proof of the first result relies on the characterization of invariant differential forms with respect to the graded Lie algebra of infinitesimal automorphisms, and on the study of the local properties of Hamiltonian vector fields on locally multisymplectic manifolds. In particular it is proved that the group of multisymplectic diffeomorphisms acts (strongly locally) transitively on the manifold. It is also shown that the graded Lie algebra of infinitesimal automorphisms of a locally homogeneous multisymplectic manifold characterizes their multisymplectic diffeomorphisms.

math.DG↗

Three lectures on global boundary conditions and the theory of self--adjoint extensions of the covariant Laplace--Beltrami and Dirac operators on Riemannian manifolds with boundary

In these three lectures we will discuss some fundamental aspects of the theory of self-adjoint extensions of the covariant Laplace-Beltrami and Dirac operators on compact Riemannian manifolds with smooth boundary emphasizing the relation with the theory of global boundary conditions. Self-adjoint extensions of symmetric operators, specially of the Laplace-Beltrami and Dirac operators, are fundamental in Quantum Physics as they determine either the energy of quantum systems and/or their unitary evolution. The well-known von Neumann's theory of self-adjoint extensions of symmetric operators is not always easily applicable to differential operators, while the description of extensions in terms of boundary conditions constitutes a more natural approach. Thus an effort is done in offering a description of self-adjoint extensions in terms of global boundary conditions showing how an important family of self-adjoint extensions for the Laplace-Beltrami and Dirac operators are easily describable in this way. Moreover boundary conditions play in most cases an significant physical role and give rise to important physical phenomena like the Casimir effect. The geometrical and topological structure of the space of global boundary conditions determining regular self-adjoint extensions for these fundamental differential operators is described. It is shown that there is a natural homology class dual of the Maslov class of the space. A new feature of the theory that is succinctly presented here is the relation between topology change on the system and the topology of the space of self-adjoint extensions of its Hamiltonian. Some examples will be commented and the one-dimensional case will be thoroughly discussed.

math-ph↗

A pedagogical presentation of a $C^\star$-algebraic approach to quantum tomography

It is now well established that quantum tomography provides an alternative picture of quantum mechanics. It is common to introduce tomographic concepts starting with the Schrodinger-Dirac picture of quantum mechanics on Hilbert spaces. In this picture states are a primary concept and observables are derived from them. On the other hand, the Heisenberg picture,which has evolved in the $C^\star-$algebraic approach to quantum mechanics, starts with the algebra of observables and introduce states as a derived concept. The equivalence between these two pictures amounts essentially, to the Gelfand-Naimark-Segal construction. In this construction, the abstract $% C^\star-$algebra is realized as an algebra of operators acting on a constructed Hilbert space. The representation one defines may be reducible or irreducible, but in either case it allows to identify an unitary group associated with the $C^\star-$algebra by means of its invertible elements. In this picture both states and observables are appropriate functions on the group, it follows that also quantum tomograms are strictly related with appropriate functions (positive-type)on the group. In this paper we present, by means of very simple examples, the tomographic description emerging from the set of ideas connected with the $C^\star-$algebra picture of quantum mechanics. In particular, the tomographic probability distributions are introduced for finite and compact groups and an autonomous criterion to recognize a given probability distribution as a tomogram of quantum state is formulated.

quant-ph↗

A Hamiltonian Algorithm for Singular Optimal LQ Control Systems

A Hamiltonian algorithm, both theoretical and numerical, to obtain the reduced equations implementing Pontryagine's Maximum Principle for singular linear-quadratic optimal control problems is presented. This algorithm is inspired on the well-known Rabier-Rheinhboldt constraints algorithm used to solve differential-algebraic equations. Its geometrical content is exploited fully by implementing a Hamiltonian extension of it which is closer to Gotay-Nester presymplectic constraint algorithm used to solve singular Hamiltonian systems. Thus, given an optimal control problem whose optimal feedback is given in implicit form, a consistent set of equations is obtained describing the first order differential conditions of Pontryaguine's Maximum Principle. Such equations are shown to be Hamiltonian and the set of first class constraints corresponding to controls that are not determined, are obtained explicitly. The strength of the algorithm is shown by exhibiting a numerical implementation with partial feedback on the controls that provides a partial optimal feedback law for the problem. The numerical algorithm is inspired on a previous analysis by the authors of the consistency conditions for singular linear--quadratic optimal control problems. The numerical algorithm is explicitly Hamiltonian. It is shown that only two possibilities can arise for the reduced Hamiltonian PMP: that the reduced equations are completely determined or that they depend on a family of free parameters that will be called the "gauge" controls of the system determined by the first class constraints. The existence of these extra degrees of freedom opens new possibilities for the search of solutions. Numerical evidence of the stability of the algorithm is presented by discussing various relevant numerical experiments.

math.OC↗

On the multilinear Hausdorff problem of moments

Given a multi-index sequence $μ_{\mathbf{k}}$, $\mathbf{k} = (k_1,..., k_n) \in \mathbb{N}_0^n$, necessary and sufficient conditions are given for the existence of a regular Borel polymeasure $γ$ on the unit interval $I= [0,1]$ such that $μ_{\mathbf{k}} = \int_{I^n} t_1^{k_1}\otimes ... \otimes t_n^{k_n} γ$. This problem will be called the weak multilinear Hausdorff problem of moments for $μ_{\mathbf{k}}$. Comparison with classical results will allow us to relate the weak multilinear Hausdorff problem with the multivariate Hausdorff problem. A solution to the strong multilinear Hausdorff problem of moments will be provided by exhibiting necessary and sufficient conditions for the existence of a Radon measure $μ$ on $[0,1]$ such that $L_μ(f_1,..., f_n) = \int_{I} f_1(t) ... f_n(t) μ(dt)$ where $L_μ$ is the $n$-linear moment functional on the space of continuous functions on the unit interval defined by the sequence $μ_{\mathbf{k}}$. Finally the previous results will be used to provide a characterization of a class of weakly harmonizable stochastic processes with bimeasures supported on compact sets.

math.FA↗

A representation theorem for orthogonally additive polynomials in Riesz spaces

The aim of this article is to prove a representation theorem for orthogonally additive polynomials in the spirit of the recent theorem on representation of orthogonally additive polynomials on Banach lattices but for the setting of Riesz spaces. To this purpose the notion of $p$--orthosymmetric multilinear form is introduced and it is shown to be equivalent to the orthogonally additive property of the corresponding polynomial. Then the space of positive orthogonally additive polynomials on an Archimedean Riesz space taking values on an uniformly complete Archimedean Riesz space is shown to be isomorphic to the space of positive linear forms on the $n$-power in the sense of Boulabiar and Buskes of the original Riesz space.

math.FA↗

Quantum Control and Representation Theory

A new notion of controllability for quantum systems that takes advantage of the linear superposition of quantum states is introduced. We call such notion von Neumann controllabilty and it is shown that it is strictly weaker than the usual notion of pure state and operator controlability. We provide a simple and effective characterization of it by using tools from the theory of unitary representations of Lie groups. In this sense we are able to approach the problem of control of quantum states from a new perspective, that of the theory of unitary representations of Lie groups. A few examples of physical interest and the particular instances of compact and nilpotent dynamical Lie groups are discussed.

quant-ph↗

Optimal Control Realizations of Lagrangian Systems with Symmetry

A new relation among a class of optimal control systems and Lagrangian systems with symmetry is discussed. It will be shown that a family of solutions of optimal control systems whose control equation are obtained by means of a group action are in correspondence with the solutions of a mechanical Lagrangian system with symmetry. This result also explains the equivalence of the class of Lagrangian systems with symmetry and optimal control problems discussed in \cite{Bl98}, \cite{Bl00}. The explicit realization of this correspondence is obtained by a judicious use of Clebsch variables and Lin constraints, a technique originally developed to provide simple realizations of Lagrangian systems with symmetry. It is noteworthy to point out that this correspondence exchanges the role of state and control variables for control systems with the configuration and Clebsch variables for the corresponding Lagrangian system. These results are illustrated with various simple applications.

math.OC↗

A numerical algorithm for singular optimal LQ control systems

A numerical algorithm to obtain the consistent conditions satisfied by singular arcs for singular linear-quadratic optimal control problems is presented. The algorithm is based on the presymplectic constraint algorithm (PCA) by Gotay-Nester \cite{Go78,Vo99} that allows to solve presymplectic hamiltonian systems and that provides a geometrical framework to the Dirac-Bergmann theory of constraints for singular Lagrangian systems \cite{Di49}. The numerical implementation of the algorithm is based on the singular value decomposition that, on each step allows to construct a semi-explicit system. Several examples and experiments are discussed, among them a family of arbitrary large singular LQ systems with index 3 and a family of examples of arbitrary large index, all of them exhibiting stable behaviour.

math.OC↗

The Geometry of Integrable and Superintegrable Systems

The group of automorphisms of the geometry of an integrable system is considered. The geometrical structure used to obtain it is provided by a normal form representation of integrable systems that do not depend on any additional geometrical structure like symplectic, Poisson, etc. Such geometrical structure provides a generalized toroidal bundle on the carrier space of the system. Non--canonical diffeomorphisms of such structure generate alternative Hamiltonian structures for complete integrable Hamiltonian systems. The energy-period theorem provides the first non--trivial obstruction for the equivalence of integrable systems.

math-ph↗

Reduction of Lie-Jordan Banach algebras and quantum states

A theory of reduction of Lie-Jordan Banach algebras with respect to either a Jordan ideal or a Lie-Jordan subalgebra is presented. This theory is compared with the standard reduction of C*-algebras of observables of a quantum system in the presence of quantum constraints. It is shown that the later corresponds to the particular instance of the reduction of Lie-Jordan Banach algebras with respect to a Lie-Jordan subalgebra as described in this paper. The space of states of the reduced Lie-Jordan Banach algebras is described in terms of equivalence classes of extensions to the full algebra and their GNS representations are characterized in the same way. A few simple examples are discussed that illustrates some of the main results.

math-ph↗

On the tomographic description of classical fields

After a general description of the tomographic picture for classical systems, a tomographic description of free classical scalar fields is proposed both in a finite cavity and the continuum. The tomographic description is constructed in analogy with the classical tomographic picture of an ensemble of harmonic oscillators. The tomograms of a number of relevant states such as the canonical distribution, the classical counterpart of quantum coherent states and a new family of so called Gauss--Laguerre states, are discussed. Finally the Liouville equation for field states is described in the tomographic picture offering an alternative description of the dynamics of the system that can be extended naturally to other fields.

math-ph↗