Search

We construct the vector field associated with the GKLS generator for systems described by Gaussian states. This vector field is defined on the dual space of the algebra of operators, restricted to operators quadratic in position and momentum. It is shown that the GKLS dynamics accepts a decomposition principle, that is, this vector field can be decomposed in three parts, a conservative Hamiltonian component, a gradient-like and a Choi-Krauss vector field. The last two terms are considered a "perturbation" associated with dissipation. Examples are presented for a harmonic oscillator with different dissipation terms., Comment: 33 pages, 6 figures

If $\eta$ is a contact form on a manifold $M$ such that the orbits of the Reeb vector field form a simple foliation $\mathcal{F}$ on $M$, then the presymplectic 2-form $d\eta$ on $M$ induces a symplectic structure $\omega$ on the quotient manifold $N=M/\mathcal{F}$. We call $(M,\eta)$ a $\textit contactification$ of the symplectic manifold $(N,\omega)$. First, we present an explicit geometric construction of contactifications of some coadjoint orbits of connected Lie groups. Our construction is a far going generalization of the well-known contactification of the complex projective space $\mathbb{C}P^{n-1}$, being the unit sphere $S^{2n-1}$ in $\mathbb{C}^{n}$, and equipped with the restriction of the Liouville 1-form on $\mathbb{C}^n$. Second, we describe a constructive procedure for obtaining contactification in the process of the Marsden-Weinstein-Meyer symplectic reduction and indicate geometric obstructions for the existence of compact contactifications. Third, we show that contactifications provide a nice geometrical tool for a Lagrangian description of Hamiltonian systems on compact symplectic manifolds $(N,\omega)$, on which symplectic forms never admit a `vector potential'., Comment: 30 pages

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 investigate the general properties of the dimensional reduction of the Dirac theory, formulated in a Minkowski spacetime with an arbitrary number of spatial dimensions. This is done by applying Hadamard's method of descent, which consists in conceiving low-dimensional theories as a specialization of high-dimensional ones that are uniform along the additional space coordinate. We show that the Dirac equation reduces to either a single Dirac equation or two decoupled Dirac equations, depending on whether the higher-dimensional manifold has even or odd spatial dimensions, respectively. Furthermore, we construct and discuss an explicit hierarchy of representations in which this procedure becomes manifest and can easily be iterated., Comment: 22 pages, several figures

We perform a reduction from three to two spatial dimensions of the physics of a spin-1/2 fermion coupled to the electromagnetic field, by applying Hadamard's method of descent. We consider first the free case, in which motion is determined by the Dirac equation, and then the coupling with a dynamical electromagnetic field, governed by the Dirac-Maxwell equations. We find that invariance along one spatial direction splits the free Dirac equation in two decoupled theories. On the other hand, a dimensional reduction in the presence of an electromagnetic field provides a more complicated theory in 2+1 dimensions, in which the method of descent is extended by using the covariant derivative. Equations simplify, but decoupling between different physical sectors occurs only if specific classes of solutions are considered., Comment: 21 pages, 1 figure

We prove that the D\'iaz-Park's sharpness conjecture holds for saturated fusion systems defined on a Sylow $p$-subgroup of the group ${\rm G}_2(p)$, for $p\geq 5$.

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!

Creases are purposely introduced to thin structures for designing deployable origami, artistic geometries, and functional structures with tunable nonlinear mechanics. Modeling the mechanics of creased structures is challenging because creases introduce geometric discontinuity and often have complex mechanical responses due to the local material damage. In this work, we propose a continuous description of the sharp geometry of creases and apply it to the study of \emph{creased annuli}, made by introducing radial creases to annular strips with the creases annealed to behave elastically. We find creased annuli have generic bistability and can be folded into various compact shapes, depending on the crease pattern and the overcurvature of the flat annulus. We use a regularized Dirac delta function (RDDF) to describe the geometry of a crease, with the finite spike of the RDDF capturing the localized curvature. Together with anisotropic rod theory, we solve the nonlinear mechanics of creased annuli, with its stability determined by the standard conjugate point test. We find excellent agreement between precision tabletop models, numerical predictions from our analytical framework, and modeling results from finite element simulations. We further show that by varying the rest curvature of the thin strip, dynamic switches between different states of creased annuli can be achieved, which could inspire the design of novel deployable and morphable structures. We believe our smooth description of discontinuous geometries will benefit to the mechanical modeling and design of a wide spectrum of engineering structures that embrace geometric and material discontinuities.

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

We study the isospectrality problem for a free quantum particle confined in a ring with a junction, analyzing all the self-adjoint realizations of the corresponding Hamiltonian in terms of a boundary condition at the junction. In particular, by characterizing the energy spectrum in terms of a spectral function, we classify the self-adjoint realizations in two classes, identifying all the families of isospectral Hamiltonians. These two classes turn out to be discerned by the action of parity (i.e. space reflection), which plays a central role in our discussion., Comment: 15 pages, 3 figures

We consider some natural (functorial) lifts of geometric objects associated with statistical manifolds (metric tensor, dual connections, skewness tensor, etc.) to higher tangent bundles. It turns out that the lifted objects form again a statistical manifold structure, this time on the higher tangent bundles, with the only difference that the metric tensor is pseudo-Riemannian. What is more, natural lifts of potentials (called also divergence or contrast functions) turn out to be again potentials, this time for the lifted statistical structures. We propose an analogous procedure for lifting statistical structures on Lie algebroids and lifting contrast functions which are defined on Lie groupoids. In particular, we study in detail Lie groupoid structures of higher tangent bundles of Lie groupoids. Our geometric constructions of lifts are illustrated by explicit examples, including some important statistical models and potential functions on Lie groupoids., Comment: 44 pages, the version to be published in Rev. Math. Phys

DESTINY+ is an upcoming JAXA Epsilon medium-class mission to fly by the Geminids meteor shower parent body (3200) Phaethon. It will be the world's first spacecraft to escape from a near-geostationary transfer orbit into deep space using a low-thrust propulsion system. In doing so, DESTINY+ will demonstrate a number of technologies that include a highly efficient ion engine system, lightweight solar array panels, and advanced asteroid flyby observation instruments. These demonstrations will pave the way for JAXA's envisioned low-cost, high-frequency space exploration plans. Following the Phaethon flyby observation, DESTINY+ will visit additional asteroids as its extended mission. The mission design is divided into three phases: a spiral-shaped apogee-raising phase, a multi-lunar-flyby phase to escape Earth, and an interplanetary and asteroids flyby phase. The main challenges include the optimization of the many-revolution low-thrust spiral phase under operational constraints; the design of a multi-lunar-flyby sequence in a multi-body environment; and the design of multiple asteroid flybys connected via Earth gravity assists. This paper shows a novel, practical approach to tackle these complex problems, and presents feasible solutions found within the mass budget and mission constraints. Among them, the baseline solution is shown and discussed in depth; DESTINY+ will spend two years raising its apogee with ion engines, followed by four lunar gravity assists, and a flyby of asteroids (3200) Phaethon and (155140) 2005 UD. Finally, the flight operations plan for the spiral phase and the asteroid flyby phase are presented in detail.

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.

We derive one- and two-dimensional models for classical electromagnetism by making use of Hadamard's method of descent. Low-dimensional electromagnetism is conceived as a specialization of the higher dimensional one, in which the fields are uniform along the additional spatial directions. This strategy yields two independent electromagnetisms in two spatial coordinates, and four independent electromagnetisms in one spatial coordinate., Comment: 17 pages, 5 figures

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

Following the analysis we have presented in a previous paper (that we refer to as [I]), we describe a Noether theorem related to symmetries, with the associated reduction procedures, for classical dynamics within the Lagrangian and the Hamilton-Jacobi formalism., Comment: 60 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!

Context: Until recently, camera networks designed for monitoring fireballs worldwide were not fully automated, implying that in case of a meteorite fall, the recovery campaign was rarely immediate. This was an important limiting factor as the most fragile - hence precious - meteorites must be recovered rapidly to avoid their alteration. Aims: The Fireball Recovery and InterPlanetary Observation Network (FRIPON) scientific project was designed to overcome this limitation. This network comprises a fully automated camera and radio network deployed over a significant fraction of western Europe and a small fraction of Canada. As of today, it consists of 150 cameras and 25 European radio receivers and covers an area of about 1.5 million square kilometers., Comment: 54 pages, 14 figures

In this study, we explore the mechanics of a bigon and a bigon ring from a combination of experiments and numerical simulations. A bigon is a simple elastic network consisting of two initially straight strips that are deformed to intersect with each other through a fixed intersection angle at each end. A bigon ring is a novel multistable structure composed of a series of bigons arranged to form a loop. We find that a bigon ring usually contains several families of stable states and one of them is a multiply-covered loop, which is similar to the folding behavior of a bandsaw blade. To model bigons and bigon rings, we propose a numerical framework combining several existing techniques to study mechanics of elastic networks consisting of thin strips. Each strip is modeled as a Kirchhoff rod, and the entire strip network is formulated as a two-point boundary value problem (BVP) that can be solved by a general-purpose BVP solver. Together with numerical continuation, we apply the numerical framework to study static equilibria and bifurcations of the bigons and bigon rings. Both numerical and experimental results show that the intersection angle and the aspect ratio of the strip's cross section contribute to the bistability of a bigon and the multistability of a bigon ring; the latter also depends on the number of bigon cells in the ring. The numerical results further reveal interesting connections among various stable states in a bigon ring. Our numerical framework can be applied to general elastic rod networks that may contain flexible joints, naturally curved strips of different lengths, etc. The folding and multistable behaviors of a bigon ring may inspire the design of novel deployable and morphable structures

In this work it is shown that there is an inherent nonlinear evolution in the dynamics of the so-called generalized coherent states. To show this, the immersion of a classical manifold into the Hilbert space of quantum mechanics is employed. Then one may parametrize the time-dependence of the wave function through the variation of parameters in the classical manifold. Therefore, the immersion allows to consider the so-called principle of analogy, i.e. using the procedures and structures available from the classical setting to employ them in the quantum framework.

We review how an algebraic formulation for the dynamics of a physical system allows to describe a reduction procedure for both classical and quantum evolutions., Comment: 18 pages

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

We use the general setting for contrast (potential) functions in statistical and information geometry provided by Lie groupoids and Lie algebroids. The contrast functions are defined on Lie groupoids and give rise to two-forms and three-forms on the corresponding Lie algebroid. We study the case when the two-form is degenerate and show how in sufficiently regular cases one reduces it to a pseudometric structures. Transversal Levi-Civita connections for Riemannian foliations are generalized to the Lie groupoid/Lie algebroid case., Comment: 15 pages

Coherently with the principle of analogy suggested by Dirac, we describe a general setting for reducing a classical dynamics, and the role of the Noether theorem -- connecting symmetries with constants of the motion -- within a reduction. This is the first of two papers, and it focuses on the reduction within the Poisson and the symplectic formalism., Comment: 50 pages, revised version

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