Search

We define the gauge potentials of Poisson electrodynamics as sections of a symplectic realization of the spacetime manifold and infinitesimal gauge transformations as a representation of the associated Lie algebroid acting on the symplectic realization. Finite gauge transformations are obtained by integrating the sections of the Lie algebroid to bisections of a symplectic groupoid, which form a one-parameter group of transformations, whose action on the fields of the theory is realized in terms of an action groupoid. A covariant electromagnetic two-form is obtained, together with a dual two-form, invariant under gauge transformations. The duality appearing in the picture originates from the existence of a pair of orthogonal foliations of the symplectic realization, which produce dual quotient manifolds, one related with space-time, the other with momenta., Comment: 23 pages. No figures. Revised version: contains a comparison with ref. [9]. References added

An extension of Cencov's categorical description of classical inference theory to the domain of quantum systems is presented. It provides a novel categorical foundation to the theory of quantum information that embraces both classical and quantum information theory in a natural way, while also allowing to formalise the notion of quantum environment. A first application of these ideas is provided by extending the notion of statistical manifold to incorporate categories, and investigating a possible, uniparametric Cramer-Rao inequality in this setting., Comment: 20 pages, comments are welcome!

It is well known that certain features of a quantum theory cannot be described in the standard picture on a Hilbert space. In particular, this happens when we try to formally frame a quantum field theory, or a thermodynamic system with finite density. This forces us to introduce different types of algebras, more general than the ones we usually encounter in a standard course of quantum mechanics. We show how these algebras naturally arise in the Schwinger description of the quantum mechanics of an infinite spin chain. In particular, we use the machinery of Dirac-Feynman-Schwinger (DFS) states developed in recent works to introduce a dynamics based on the modular theory by Tomita-Takesaki, and consequently we apply this approach to describe the Ising model., Comment: 42 pages, 1 figure

We go on with the program started in the companion paper [CDI+] of defining a Poisson bracket structure on the space of solutions of the equations of motion of first order Hamiltonian field theories. The case of non-Abelian gauge theories is addressed by using a suitable version of the coisotropic embedding theorem.

We analyse the problem of defining a Poisson bracket structure on the space of solutions of the equations of motions of first order Hamiltonian field theories. The cases of Hamiltonian mechanical point systems (as a (0 + 1)-dimensional field) and more general field theories without gauge symmetries are addressed by showing the existence of a symplectic (and, thus, a Poisson) structure on the space of solutions. Also the easiest case of gauge theory, namely free electrodynamics, is considered: within this problem, a pre-symplectic tensor on the space of solutions is introduced, and a Poisson structure is induced in terms of a flat connection on a suitable bundle associated to the theory.

Given a real, finite-dimensional, smooth parallelizable Riemannian manifold $(\mathcal{N},G)$ endowed with a teleparallel connection $\nabla$ determined by a choice of a global basis of vector fields on $\mathcal{N}$, we show that the $G$-dual connection $\nabla^{*}$ of $\nabla$ in the sense of Information Geometry must be the teleparallel connection determined by the basis of $G$-gradient vector fields associated with a basis of differential one-forms which is (almost) dual to the basis of vector fields determining $\nabla$. We call any such pair $(\nabla,\nabla^{*})$ a $G$-dual teleparallel pair. Then, after defining a covariant $(0,3)$ tensor $T$ uniquely determined by $(\mathcal{N},G,\nabla,\nabla^{*})$, we show that $T$ being symmetric in the first two entries is equivalent to $\nabla$ being torsion-free, that $T$ being symmetric in the first and third entry is equivalent to $\nabla^{*}$ being torsion free, and that $T$ being symmetric in the second and third entries is equivalent to the basis vectors determining $\nabla$ ($\nabla^{*}$) being parallel-transported by $\nabla^{*}$ ($\nabla$). Therefore, $G$-dual teleparallel pairs provide a generalization of the notion of Statistical Manifolds usually employed in Information Geometry, and we present explicit examples of $G$-dual teleparallel pairs arising both in the context of both Classical and Quantum Information Geometry., Comment: version 2: minor revisions following reviews, and minor cosmetic changes. Comments are welcome!

Starting from the canonical symmetroid $\mathcal{S}(G)$ associated with a groupoid $G$, the issue of describing dynamical maps in the groupoidal approach to Quantum Mechanics is addressed. After inducing a Haar measure on the canonical symmetroid $\mathcal{S}(G)$, the associated von-Neumann groupoid algebra is constructed. It is shown that the left-regular representation allows to define linear maps on the groupoid-algebra of the groupoid $G$ and given subsets of functions are associated with completely positive maps. Some simple examples are also presented., Comment: 21 pages

In this paper the problem of tomographic reconstruction of states is investigated within the so-called Schwinger's picture of Quantum Mechanics in which a groupoid is associated with every quantum system. The attention is focused on spin tomography: In this context the groupoid of interest is the groupoid of pairs over a finite set. In a nutshell, this groupoid is made up of transitions between all possible pairs of outcomes belonging to a finite set. In addition, these transitions possess a partial composition rule, generalizing the notion of groups. The main goal of the paper consists in providing a reconstruction formula for states on the groupoid-algebra associated with the observables of the system. Using the group of bisections of this groupoid, which are special subsets in one-to-one correspondence with the outcomes, a frame is defined and it is used to prove the validity of the tomographic reconstruction. The special case of the set of outcomes being the set of integers modulo n, with n odd prime, is considered in detail. In this case the subgroup of discrete affine linear transformations, whose graphs are linear subspaces of the groupoid, provides a \textit{quorum} in close analogy with the continuos case., Comment: 32 pages

Noticing that the space of the solutions of a first order Hamiltonian field theory has a pre-symplectic structure, we describe a class of conserved charges on it associated to the momentum map determined by any symmetry group of transformations. Gauge theories are dealt with by using a symplectic regularization based on an application of Gotay's coisotropic embedding theorem. The analysis of Electrodynamics and of the Klein-Gordon theory illustrates the main results of the theory as well as the emergence of the energy-momentum tensor algebra of conserved currents.

A novel derivation of Feynman's sum-over-histories construction of the quantum propagator using the groupoidal description of Schwinger picture of Quantum Mechanics is presented. It is shown that such construction corresponds to the GNS representation of a natural family of states called Dirac-Feynman-Schwinger (DFS) states. Such states are obtained from a q-Lagrangian function $\ell$ on the groupoid of configurations of the system. The groupoid of histories of the system is constructed and the q-Lagrangian $\ell$ allow to define a DFS state on the algebra of the groupoid. The particular instance of the groupoid of pairs of a Riemannian manifold serves to illustrate Feynman's original derivation of the propagator for a point particle described by a classical Lagrangian $L$., Comment: 16 pages

Using the recently developed groupoidal description of Schwinger's picture of Quantum Mechanics, a new approach to Dirac's fundamental question on the role of the Lagrangian in Quantum Mechanics is provided. It is shown that a function $\ell$ on the groupoid of configurations (or kinematical groupoid) of a quantum system determines a state on the von Neumann algebra of the histories of the system. This function, which we call {\itshape q-Lagrangian}, can be described in terms of a new function $\mathcal{L}$ on the Lie algebroid of the theory. When the kinematical groupoid is the pair groupoid of a smooth manifold $M$, the quadratic expansion of $\mathcal{L}$ will reproduce the standard Lagrangians on $TM$ used to describe the classical dynamics of particles., Comment: 12 pages

Starting from the groupoid approach to Schwinger's picture of Quantum Mechanics, a proposal for the description of symmetries in this framework is advanced.It is shown that, given a groupoid $G\rightrightarrows \Omega$ associated with a (quantum) system, there are two possible descriptions of its symmetries, one "microscopic", the other one "global".The microscopic point of view leads to the introduction of an additional layer over the grupoid $G$, giving rise to a suitable algebraic structure of 2-groupoid.On the other hand, taking advantage of the notion of group of bisections of a given groupoid, the global perspective allows to construct a group of symmetries out of a 2-groupoid.The latter notion allows to introduce an analog of the Wigner's theorem for quantum symmetries in the groupoid approach to Quantum Mechanics., Comment: 25 pages, 2 figures

Schr\"{o}dinger's famous Gedankenexperiment involving a cat is used as a motivation to discuss the evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently. It is shown that the notion of classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. In accordance with Raggio's theorem, the impossibility of evolving the product state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution which is internal to the composite system itself is proved in the groupoid formalism., Comment: 24 pages. A slightly different version this work will has appeared in Entropy. The main difference is that in the version published in Entropy no mention is made of Schr\"{o}dinger's cat Gedankenexperiment. Comments and suggestions are more than welcome!

A novel reduction procedure for covariant classical field theories, reflecting the generalized symplectic reduction theory of Hamiltonian systems, is presented. The departure point of this reduction procedure consists in the choice of a submanifold of the manifold of solutions of the equations describing a field theory. Then, the covariance of the geometrical objects involved, will allow to define equations of motion on a reduced space. The computation of the canonical geometrical structure is performed neatly by using the geometrical framework provided by the multisymplectic description of covariant field theories. The procedure is illustrated by reducing the D'Alembert theory on a five-dimensional Minkowski space-time to a massive Klein-Gordon theory in four dimensions and, more interestingly, to the Schr\"odinger equation in 3+1 dimensions., Comment: 14 pages

The analysis of the covariant brackets on the space of functions on the solutions to a variational problem in the framework of contact geometry initiated in the companion letter Ref.19 is extended to the case of the multisymplectic formulation of the free Klein-Gordon theory and of the free Schr\"{o}dinger equation., Comment: 16 pages

The formulation of covariant brackets on the space of solutions to a variational problem is analyzed in the framework of contact geometry. It is argued that the Poisson algebra on the space of functionals on fields should be read as a Poisson subalgebra within an algebra of functions equipped with a Jacobi bracket on a suitable contact manifold., Comment: 16 pages

An explicit Lagrangian description is given for the Heisenberg equation on the algebra of operators of a quantum system, and for the Landau-von Neumann equation on the manifold of quantum states which are isospectral with respect to a fixed reference quantum state., Comment: 13 pages

The groupoids description of Schwinger's picture of quantum mechanics is continued by discussing the closely related notions of composition of systems, subsystems, and their independence. Physical subsystems have a neat algebraic description as subgroupoids of the Schwinger's groupoid of the system. The groupoids picture offers two natural notions of composition of systems: Direct and free products of groupoids, that will be analyzed in depth as well as their universal character. Finally, the notion of independence of subsystems will be reviewed, finding that the usual notion of independence, as well as the notion of free independence, find a natural realm in the groupoids formalism. The ideas described in this paper will be illustrated by using the EPRB experiment. It will be observed that, in addition to the notion of the non-separability provided by the entangled state of the system, there is an intrinsic `non-separability' associated to the impossibility of identifying the entangled particles as subsystems of the total system., Comment: 32 pages. Comments are welcome!

In this paper we will present tha main features of what can be called Schwinger's foundational approach to Quantum Mechanics. The basic ingredients of this formulation are the \textit{selective measurements}, whose algebraic composition rules define a mathematical structure called groupoid, which is associated with any physical system. After the introduction of the basic axioms of a groupoid, the concepts of observables and states, statistical interpretation and evolution are derived. An example is finally introduced to support the theoretical description of this approach., Comment: 14 pages, Proceedings PAFT 2019

In this paper a generalized form of relativistic dynamics is presented: A realization of the Poincar\'e algebra is provided in terms of vector fields on the tangent bundle of a simultaneity surface in $\mathbb{R}^4$. The construction of this realization is explicitly shown to clarify the role of the commutation relations of the Poincar\'e algebra versus their description in terms of Poisson brackets in the no-interaction theorem. Moreover, a geometrical analysis of the ``eleventh generator'' formalism introduced by Sudarshan and Mukunda is outlined, this formalism being at the basis of many proposals which evaded the no-interaction theorem., Comment: 15 pages

Schwinger's algebra of selective measurements has a natural interpretation in the formalism of groupoids. Its kinematical foundations, as well as the structure of the algebra of observables of the theory, was presented in two previous papers (arXiv:1905.12274 and arXiv:1907.03883). In this paper, a closer look to the statistical interpretation of the theory is taken and it is found that an interpretation in terms of Sorkin's quantum measure emerges naturally. It is proven that a suitable class of states of the algebra of virtual transitions of the theory allows to define quantum measures by means of the corresponding decoherence functionals. Quantum measures satisfying a reproducing property are described and a class of states, called factorizable states, possessing the Dirac-Feynman `exponential of the action' form are characterized. Finally, Schwinger's transformation functions are interpreted similarly as transition amplitudes defined by suitable states. The simple examples of the qubit and the double slit experiment are described in detail, illustrating the main aspects of the theory., Comment: 39 pages. Comments are welcome!

The notion of composite system made up of distinguishable parties is investigated in the context of arbitrary convex spaces., Comment: 9 pages. Comments are welcome

Schwinger's algebra of selective measurements has a natural interpretation in terms of groupoids. This approach is pushed forward in this paper to show that the theory of coherent states has a natural setting in the framework of groupoids. Thus given a quantum mechanical system with associated Hilbert space determined by a representation of a groupoid, it is shown that any invariant subset of the group of invertible elements in the groupoid algebra determines a family of generalized coherent states provided that a completeness condition is satisfied. The standard coherent states for the harmonic oscillator as well as generalized coherent states for f-oscillators are exemplified in this picture., Comment: 24 pages, 1 figure

The kinematical foundations of Schwinger's algebra of selective measurements were discussed in a previous paper (arXiv:1905.12274) and, as a consequence of this, a new picture of quantum mechanics based on groupoids was proposed. In this paper, the dynamical aspects of the theory are analysed. For that, the algebra generated by the observables, as well as the notion of state, are dicussed, and the structure of the transition functions, that plays an instrumental role in Schwinger's picture, is elucidated. A Hamiltonian picture of dynamical evolution emerges naturally, and the formalism offers a simple way to discuss the quantum-to-classical transition. Some basic examples, the qubit and the harmonic oscillator, are examined, and the relation with the standard Dirac-Schr\"odinger and Born-Jordan-Heisenberg pictures is discussed., Comment: 32 pages. Comments are welcome!

The manifold structure of subsets of classical probability distributions and quantum density operators in infinite dimensions is investigated in the context of $C^{*}$-algebras and actions of Banach-Lie groups. Specificaly, classical probability distributions and quantum density operators may be both described as states (in the functional analytic sense) on a given $C^{*}$-algebra $\mathscr{A}$ which is Abelian for Classical states, and non-Abelian for Quantum states. In this contribution, the space of states $\mathscr{S}$ of a possibly infinite-dimensional, unital $C^{*}$-algebra $\mathscr{A}$ is partitioned into the disjoint union of the orbits of an action of the group $\mathscr{G}$ of invertible elements of $\mathscr{A}$. Then, we prove that the orbits through density operators on an infinite-dimensional, separable Hilbert space $\mathcal{H}$ are smooth, homogeneous Banach manifolds of $\mathscr{G}=\mathcal{GL}(\mathcal{H})$, and, when $\mathscr{A}$ admits a faithful tracial state $\tau$ like it happens in the Classical case when we consider probability distributions with full support, we prove that the orbit through $\tau$ is a smooth, homogeneous Banach manifold for $\mathscr{G}$., Comment: 35 pages. Revised version in which some imprecise statements have been amended. Comments are welcome!

A new picture of Quantum Mechanics based on the theory of groupoids is presented. This picture provides the mathematical background for Schwinger's algebra of selective measurements and helps to understand its scope and eventual applications. In this first paper, the kinematical background is described using elementary notions from category theory, in particular the notion of 2-groupoids as well as their representations. Some basic results are presented, and the relation with the standard Dirac-Schr\"odinger and Born-Jordan-Heisenberg pictures are succinctly discussed., Comment: 32 pages. Comments are welcome!

The geometrical description of Quantum Mechanics is reviewed and proposed as an alternative picture to the standard ones. The basic notions of observables, states, evolution and composition of systems are analised from this perspective, the relevant geometrical structures and their associated algebraic properties are highlighted, and the Qubit example is thoroughly discussed., Comment: 20 pages, comments are welcome!

We review the geometry of the space of quantum states $\mathscr{S}(\mathcal{H})$ of a finite-level quantum system with Hilbert space $\mathcal{H}$ from a group-theoretical point of view. This space carries two stratifications generated by the action of two different Lie groups: the special unitary group $\mathcal{SU}(\mathcal{H})$ and its complexification $\mathcal{SL}(\mathcal{H})$, the complex special linear group. A stratum of the stratification generated by $\mathcal{SU}(\mathcal{H})$ is composed of isospectral states, that is, density operators with the same spectrum, A stratum of the stratification generated by $\mathcal{SL}(\mathcal{H})$ is composed of quantum states with the same rank. We prove that on every submanifold of isospectral quantum states there is also a canonical left action of $\mathcal{SL}(\mathcal{H})$ which is related with the canonical K\"{a}hler structure on isospectral quantum states. The fundamental vector fields of this $\mathcal{SL}(\mathcal{H})$-action are divided into Hamiltonian and gradient vector fields. The former give rise to invertible maps on $\mathscr{S}(\mathcal{H})$ that preserve the von Neumann entropy and the convex structure of $\mathscr{S}(\mathcal{H})$, while the latter give rise to invertible maps on $\mathscr{S}(\mathcal{H})$ that preserve the von Neumann entropy but not the convex structure of $\mathscr{S}(\mathcal{H})$. A similar decomposition is given for the $\mathcal{SL}(\mathcal{H})$-action generating the stratification of $\mathscr{S}(\mathcal{H})$ into manifolds of quantum states with the same rank, where gradient vector fields preserve the rank but do not preserve entropy. Some comments on multipartite quantum systems are made. It is proved that the sets of product states of a multipartite quantum system are homogeneous manifolds for the action of the complex special linear group associated with the partition.

A representation theorem for non-semibounded Hermitian quadratic forms in terms of a (non-semibounded) self-adjoint operator is proven. The main assumptions are closability of the Hermitian quadratic form, the direct integral structure of the underlying Hilbert space and orthogonal additivity. We apply this result to several examples, including the position operator in quantum mechanics and quadratic forms invariant under a unitary representation of a separable locally compact group. The case of invariance under a compact group is also discussed in detail., Comment: Substantial changes with respect to v1. Introduction of the notion of strong representability and substantial simplification of the proofs in Section 4. To appear in J. Math. Anal. Appl

In this short letter we review Schwinger's formulation of Quantum Mechanics and we argue that the mathematical structure behind Schwinger's "Symbolism of Atomic Measurements" is that of a groupoid. In this framework, both the Hilbert space (Schr\"{o}dinger picture) and the $C^{*}$-algebra (Heisenberg picture) of the system turn out to be derived concepts, that is, they arise from the underlying groupoid structure., Comment: 7 pages

On the affine space containing the space $\mathcal{S}$ of quantum states of finite-dimensional systems there are contravariant tensor fields by means of which it is possible to define Hamiltonian and gradient vector fields encoding relevant geometrical properties of $\mathcal{S}$. Guided by Dirac's analogy principle, we will use them as inspiration to define contravariant tensor fields, Hamiltonian and gradient vector fields on the affine space containing the space of fair probability distributions on a finite sample space and analyse their geometrical properties. Most of our considerations will be dealt with for the simple example of a three-level system., Comment: 16 pages

The use of the quantizer-dequantizer formalism to describe the evolution of a quantum system is reconsidered. We show that it is possible to embed a manifold in the space of quantum states of a given auxiliary system by means of an appropriate quantizer-dequantizer system. If this manifold of states is invariant with respect to some unitary evolution, the quantizer-dequantizer system provides a classical-like realization of such dynamics, which in general is non linear. Integrability properties are also discussed. Weyl systems and generalized coherente states are used as a simple illustration of these ideas., Comment: 15 pages

In this paper we shall consider the stratified manifold of quantum states and the vector fields which act on it. In particular, we show that the infinitesimal generator of the GKLS evolution is composed of a generator of unitary transformations plus a gradient vector field along with a Kraus vector field transversal to the strata defined by the involutive distribution generated by the former ones., Comment: 30 pages, 2 figures, comments are welcome

We show that the space of observables of test particles carries a natural Jacobi structure which is manifestly invariant under the action of the Poincar\'{e} group. Poisson algebras may be obtained by imposing further requirements. A generalization of Peierls procedure is used to extend this Jacobi bracket on the space of time-like geodesics on Minkowski space-time., Comment: 13 pages Submitted to MPLA

A geometrical approach to the covariant formulation of the dynamics of relativistic systems is introduced. A realization of Peierls brackets by means of a bivector field over the space of solutions of the Euler-Lagrange equations of a variational principle is presented. The method is illustrated with some relevant examples., Comment: 14 pages

A numerical algorithm that computes the decomposition of any finite-dimen\-sio\-nal unitary reducible representation of a compact Lie group is presented. The algorithm, which does not rely on an algebraic insight on the group structure, is inspired by quantum mechanical notions. After generating two adapted states (these objects will be conveniently defined in {\bf Def.\,II.1}) and after appropriate algebraic manipulations, the algorithm returns the block matrix structure of the representation in terms of its irreducible components. It also provides an adapted orthonormal basis. The algorithm can be used to compute the Clebsch--Gordan coefficients of the tensor product of irreducible representations of a given compact Lie group. The performance of the algorithm is tested on various examples: the decomposition of the regular representation of two finite groups and the computation of Clebsch--Gordan coefficients of two examples of tensor products of representations of $SU(2)$., Comment: Updated paper. arXiv admin note: text overlap with arXiv:1512.08248

A covariant Hamiltonian description of Palatini's gravity on manifolds with boundary is presented. Palatini's gravity appears as a gauge theory satisfying a constraint in a certain topological limit. This approach allows the consideration of non-trivial topological situations. The multisymplectic framework for first-order covariant Hamiltonian field theories on manifolds with boundary, developed in [Ib15], enables analysis of the system at the boundary. The reduced phase space of the system is determined to be a symplectic manifold with a distinguished isotropic submanifold corresponding to the boundary data of the solutions of the Euler-Lagrange equations., Comment: 27 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:1506.00338

The use of unitary invariant subspaces of a Hilbert space $\mathcal{H}$ is nowadays a recognized fact in the treatment of sampling problems. Indeed, shift-invariant subspaces of $L^2(\mathbb{R})$ and also periodic extensions of finite signals are remarkable examples where this occurs. As a consequence, the availability of an abstract unitary sampling theory becomes a useful tool to handle these problems. In this paper we derive a sampling theory for tensor products of unitary invariant subspaces. This allows to merge the cases of finitely/infinitely generated unitary invariant subspaces formerly studied in the mathematical literature, it also allows to introduce the several variables case. As the involved samples are identified as frame coefficients in suitable tensor product spaces, the relevant mathematical technique is that of frame theory, involving both, finite/infinite dimensional cases.

The natural topological, differentiable and geometrical structures on the space of light rays of a given spacetime are discussed. The relation between the causality properties of the original spacetime and the natural structures on the space of light rays are stressed. Finally, a symplectic geometrical approach to the construction of the canonical contact structure on the space of light rays is offered.

The multisymplectic formalism of field theories developed by many mathematicians over the last fifty years is extended in this work to deal with manifolds that have boundaries. In particular, we develop a multisymplectic framework for first order covariant Hamiltonian field theories on manifolds with boundaries. This work is a geometric fulfillment of Fock's characterization of field theories as it appears in recent work by Cattaneo, Mnev and Reshetikhin [Ca14]. This framework leads to a true geometric understanding of conventional choices for boundary conditions. For example, the boundary condition that the pull-back of the 1-form on the cotangent space of fields at the boundary vanish, i.e. \pi * \alpha = 0 , is shown to be a consequence of our finding that the boundary fields of the theory lie in the 0-level set of the moment map of the gauge group of the theory. It is also shown that the natural way to interpret Euler-Lagrange equations as an evolution system near the boundary is as a presymplectic system in an extended phase space containing the natural configuration and momenta fields at the boundary together with extra degrees of freedom corresponding to the transversal components at the boundary of the momenta fields of the theory. The consistency conditions at the boundary are analyzed and the reduced phase space of the system is determined to be a symplectic manifold with a distinguished isotropic submanifold corresponding to the boundary data of the solutions of Euler-Lagrange equations. This setting makes it possible to define well-posed boundary conditions, and provides the adequate setting for the canonical quantization of the system. The notions of the theory will be tested against three significant examples: scalar fields, Poisson\sigma-model and Yang-Mills theories., Comment: 42 pages, 2 figures

Given a unitary representation of a Lie group $G$ on a Hilbert space $\mathcal{H}$, we develop the theory of $G$-invariant self-adjoint extensions of symmetric operators both using von Neumann's theorem and the theory of quadratic forms. We also analyze the relation between the reduction theory of the unitary representation and the reduction of the $G$-invariant unbounded operator. We also prove a $G$-invariant version of the representation theorem for quadratic forms. The previous results are applied to the study of $G$-invariant self-adjoint extensions of the Laplace-Beltrami operator on a smooth Riemannian manifold with boundary on which the group $G$ acts. These extensions are labeled by admissible unitaries $U$ acting on the $L^2$-space at the boundary and having spectral gap at $-1$. It is shown that if the unitary representation $V$ of the symmetry group $G$ is traceable, then the self-adjoint extension of the Laplace-Beltrami operator determined by $U$ is $G$-invariant if $U$ and $V$ commute at the boundary. Various significant examples are discussed at the end., Comment: General stylistic improvements and typos corrected. References added. 27 pages, 1 figure. To appear in Annales Henri Poincar\'e

We construct in this article a class of closed semi-bounded quadratic forms on the space of square integrable functions over a smooth Riemannian manifold with smooth boundary. Each of these quadratic forms specifies a semi-bounded self-adjoint extension of the Laplace-Beltrami operator. These quadratic forms are based on the Lagrange boundary form on the manifold and a family of domains parametrized by a suitable class of unitary operators on the boundary that will be called admissible. The corresponding quadratic forms are semi-bounded below and closable. Finally, the representing operators correspond to semi-bounded self-adjoint extensions of the Laplace-Beltrami operator. This family of extensions is compared with results existing in the literature and various examples and applications are discussed.

We give a general solution to the question when the convex hulls of orbits of quantum states on a finite-dimensional Hilbert space under unitary actions of a compact group have a non-empty interior in the surrounding space of all density states. The same approach can be applied to study convex combinations of quantum channels. The importance of both problems stems from the fact that, usually, only sets with non-vanishing volumes in the embedding spaces of all states or channels are of practical importance. For the group of local transformations on a bipartite system we characterize maximally entangled states by properties of a convex hull of orbits through them. We also compare two partial characteristics of convex bodies in terms of largest balls and maximum volume ellipsoids contained in them and show that, in general, they do not coincide. Separable states, mixed-unitary channels and k-entangled states are also considered as examples of our techniques., Comment: 18 pages, 1 figure

Geometrization of physical theories have always played an important role in their analysis and development. In this contribution we discuss various aspects concerning the geometrization of physical theories: from classical mechanics to quantum mechanics. We will concentrate our attention into quantum theories and we will show how to use in a systematic way the transition from algebraic to geometrical structures to explore their geometry, mainly its Jordan-Lie structure., Comment: Old paper (2009) posted for archival purposes

A numerical algorithm to solve the spectral problem for arbitrary self-adjoint extensions of 1D regular Schroedinger operators is presented. It is shown that the set of all self-adjoint extensions of 1D regular Schroedinger operators is in one-to-one correspondence with the group of unitary operators on the finite dimensional Hilbert space of boundary data, and they are characterized by a generalized class of boundary conditions that include the well-known Dirichlet, Neumann, Robin, (quasi-)periodic boundary conditions, etc. The numerical algorithm is based on a nonlocal boundary extension of the finite element method and their convergence is proved. An appropriate basis of boundary functions must be introduced to deal with arbitrary boundary conditions and the conditioning of its computation is analyzed. Some significant numerical experiments are also discussed as well as the comparison with some standard algorithms. In particular it is shown that appropriate perturbations of standard boundary conditions for the free particle leads to the theoretically predicted result of very large absolute values of the negative groundlevels of the system as well as the localization of the corresponding eigenvectors at the boundary (edge states)., Comment: 24 pages, 6 figures

We discuss the use of Dirac structures to obtain a better understanding of the geometry of a class of optimal control problems and their reduction by symmetries. In particular we will show how to extend the reduction of Dirac structures recently proposed by Yoshimura and Marsden [Yo09] to describe the reduction of a class of optimal control problems with a Lie group of symmetry. We will prove that, as in the case of reduction of implicit Hamiltonian or Lagrangian systems, the reduction of the variational principle and the reduction of the Dirac structure describing the Pontryagin Maximum Principle first order differential conditions coincide. Moreover they will also reproduce E. Mart\'inez Lie algebroids reduction approach [Mr04] to optimal control systems with symmetry. The geodesic subriemannian problem considered as an optimal control problem on the Heisenberg group, will be discussed as a simple example illustrating these results.

In the present work we review the twisted field construction of quantum field theory on noncommutative spacetimes based on twisted Poincar\'e invariance. We present the latest development in the field, in particular the notion of equivalence of such quantum field theories on a noncommutative spacetime, in this regard we work out explicitly the inequivalence between twisted quantum field theories on Moyal and Wick-Voros planes; the duality between deformations of the multiplication map on the algebra of functions on spacetime $\mathscr{F}(\mathbb{R}^4)$ and coproduct deformations of the Poincar\'e-Hopf algebra $H\mathscr{P}$ acting on~$\mathscr{F}(\mathbb{R}^4)$; the appearance of a nonassociative product on $\mathscr{F}(\mathbb{R}^4)$ when gauge fields are also included in the picture. The last part of the manuscript is dedicated to the phenomenology of noncommutative quantum field theories in the particular approach adopted in this review. CPT violating processes, modification of two-point temperature correlation function in CMB spectrum analysis and Pauli-forbidden transition in ${\rm Be}^4$ are all effects which show up in such a noncommutative setting. We review how they appear and in particular the constraint we can infer from comparison between theoretical computations and experimental bounds on such effects. The best bound we can get, coming from Borexino experiment, is $\gtrsim 10^{24}$ TeV for the energy scale of noncommutativity, which corresponds to a length scale $\lesssim 10^{-43}$ m. This bound comes from a different model of spacetime deformation more adapted to applications in atomic physics. It is thus model dependent even though similar bounds are expected for the Moyal spacetime as well as argued elsewhere.

The question of finding solutions to given implicit differential equations (IDE) has been answered by several authors in the last few years, using different approaches, in an algebraic and also a geometric setting. Many of those results assume in one way or another that the subimmersion theorem can be applied at several stages of the reduction algorithm, which, roughly speaking, allows to reduce a given IDE to a collection of ODE depending on parameters. The main purpose of the present paper is to improve some of the known results by introducing at each stage of the reduction algorithm a desingularization of the manifolds with singularities that may appear when the subimmersion theorem cannot be applied. This can be done for analytic IDE by using some fundamental results on subanalytic subsets and desingularization of closed subanalytic subsets due mainly to Lojasiewicz, Hironaka, Gabrielov, Hardt, Bierstone, Milman and Sussmann, among others. We will show how this approach helps to understand the dynamics given by the Lagrange-D'Alembert-Poincare equations for the symmetric elastic sphere., Comment: 50 pages