On the Equivalence Between Type I Liouville Dynamical Systems in the Plane and the Sphere

Producción CientíficaSeparable Hamiltonian systems either in sphero-conical coordinates on an S2 sphere or in elliptic coordinates on a R2 plane are described in a unified way. A back and forth route connecting these Liouville Type I separable systems is unveiled. It is shown how the gnomonic projection and its inverse map allow us to pass from a Liouville Type I separable system with a spherical configuration space to its Liouville Type I partners where the configuration space is a plane and back. Several selected spherical separable systems and their planar cousins are discussed in a classical context

Projective dynamics and classical gravitation

Given a real vector space V of finite dimension, together with a particular homogeneous field of bivectors that we call a "field of projective forces", we define a law of dynamics such that the position of the particle is a "ray" i.e. a half-line drawn from the origin of V. The impulsion is a bivector whose support is a 2-plane containing the ray. Throwing the particle with a given initial impulsion defines a projective trajectory. It is a curve in the space of rays S(V), together with an impulsion attached to each ray. In the simplest example where the force is identically zero, the curve is a straight line and the impulsion a constant bivector. A striking feature of projective dynamics appears: the trajectories are not parameterized. Among the projective force fields corresponding to a central force, the one defining the Kepler problem is simpler than those corresponding to other homogeneities. Here the thrown ray describes a quadratic cone whose section by a hyperplane corresponds to a Keplerian conic. An original point of view on the hidden symmetries of the Kepler problem emerges, and clarifies some remarks due to Halphen and Appell. We also get the unexpected conclusion that there exists a notion of divergence-free field of projective forces if and only if dim V=4. No metric is involved in the axioms of projective dynamics.Comment: 20 pages, 4 figure

Projective dynamics and first integrals

We present the theory of tensors with Young tableau symmetry as an efficient computational tool in dealing with the polynomial first integrals of a natural system in classical mechanics. We relate a special kind of such first integrals, already studied by Lundmark, to Beltrami's theorem about projectively flat Riemannian manifolds. We set the ground for a new and simple theory of the integrable systems having only quadratic first integrals. This theory begins with two centered quadrics related by central projection, each quadric being a model of a space of constant curvature. Finally, we present an extension of these models to the case of degenerate quadratic forms.Comment: 39 pages, 2 figure

Kustaanheimo-Stiefel Regularization and the Quadrupolar Conjugacy

In this note, we present the Kustaanheimo-Stiefel regularization in a symplectic and quaternionic fashion. The bilinear relation is associated with the moment map of the $S^{1}$- action of the Kustaanheimo-Stiefel transformation, which yields a concise proof of the symplecticity of the Kustaanheimo-Stiefel transformation symplectically reduced by this circle action. The relation between the Kustaanheimo-Stiefel regularization and the Levi-Civita regularization is established via the investigation of the Levi-Civita planes. A set of Darboux coordinates (which we call Chenciner-F\'ejoz coordinates) is generalized from the planar case to the spatial case. Finally, we obtain a conjugacy relation between the integrable approximating dynamics of the lunar spatial three-body problem and its regularized counterpart, similar to the conjugacy relation between the extended averaged system and the averaged regularized system in the planar case.Comment: 19 pages, corrected versio

Qudits of composite dimension, mutually unbiased bases and projective ring geometry

The $d^2$ Pauli operators attached to a composite qudit in dimension $d$ may be mapped to the vectors of the symplectic module $\mathcal{Z}_d^{2}$ ($\mathcal{Z}_d$ the modular ring). As a result, perpendicular vectors correspond to commuting operators, a free cyclic submodule to a maximal commuting set, and disjoint such sets to mutually unbiased bases. For dimensions $d=6,~10,~15,~12$, and 18, the fine structure and the incidence between maximal commuting sets is found to reproduce the projective line over the rings $\mathcal{Z}_{6}$, $\mathcal{Z}_{10}$, $\mathcal{Z}_{15}$, $\mathcal{Z}_6 \times \mathbf{F}_4$ and $\mathcal{Z}_6 \times \mathcal{Z}_3$, respectively.Comment: 10 pages (Fast Track communication). Journal of Physics A Mathematical and Theoretical (2008) accepte

Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?

We study the commutation relations within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. Illustrative low dimensional examples are the quartit ($q=4$) and two-qubit ($q=2^2$) systems, the octit ($q=8$), qubit/quartit ($q=2\times 4$) and three-qubit ($q=2^3$) systems, and so on. In the single qudit case, e.g. $q=4,8,12,...$, one defines a bijection between the $\sigma (q)$ maximal commuting sets [with $\sigma[q)$ the sum of divisors of $q$] of Pauli observables and the maximal submodules of the modular ring $\mathbb{Z}_q^2$, that arrange into the projective line $P_1(\mathbb{Z}_q)$ and a independent set of size $\sigma (q)-\psi(q)$ [with $\psi(q)$ the Dedekind psi function]. In the multiple qudit case, e.g. $q=2^2, 2^3, 3^2,...$, the Pauli graphs rely on symplectic polar spaces such as the generalized quadrangles GQ(2,2) (if $q=2^2$) and GQ(3,3) (if $q=3^2$). More precisely, in dimension $p^n$ ($p$ a prime) of the Hilbert space, the observables of the Pauli group (modulo the center) are seen as the elements of the $2n$-dimensional vector space over the field $\mathbb{F}_p$. In this space, one makes use of the commutator to define a symplectic polar space $W_{2n-1}(p)$ of cardinality $\sigma(p^{2n-1})$, that encodes the maximal commuting sets of the Pauli group by its totally isotropic subspaces. Building blocks of $W_{2n-1}(p)$ are punctured polar spaces (i.e. a observable and all maximum cliques passing to it are removed) of size given by the Dedekind psi function $\psi(p^{2n-1})$. For multiple qudit mixtures (e.g. qubit/quartit, qubit/octit and so on), one finds multiple copies of polar spaces, ponctured polar spaces, hypercube geometries and other intricate structures. Such structures play a role in the science of quantum information.Comment: 18 pages, version submiited to J. Phys. A: Math. Theo

Weak mutually unbiased bases

Quantum systems with variables in ${\mathbb Z}(d)$ are considered. The properties of lines in the ${\mathbb Z}(d)\times {\mathbb Z}(d)$ phase space of these systems, are studied. Weak mutually unbiased bases in these systems are defined as bases for which the overlap of any two vectors in two different bases, is equal to $d^{-1/2}$ or alternatively to one of the $d_i^{-1/2},0$ (where $d_i$ is a divisor of $d$ apart from $d,1$). They are designed for the geometry of the ${\mathbb Z}(d)\times {\mathbb Z}(d)$ phase space, in the sense that there is a duality between the weak mutually unbiased bases and the maximal lines through the origin. In the special case of prime $d$, there are no divisors of $d$ apart from $1,d$ and the weak mutually unbiased bases are mutually unbiased bases

The Definition of Mach's Principle

Two definitions of Mach's principle are proposed. Both are related to gauge theory, are universal in scope and amount to formulations of causality that take into account the relational nature of position, time, and size. One of them leads directly to general relativity and may have relevance to the problem of creating a quantum theory of gravity.Comment: To be published in Foundations of Physics as invited contribution to Peter Mittelstaedt's 80th Birthday Festschrift. 30 page

Pauli graphs, Riemann hypothesis, Goldbach pairs

Let consider the Pauli group $\mathcal{P}_q=$ with unitary quantum generators $X$ (shift) and $Z$ (clock) acting on the vectors of the $q$-dimensional Hilbert space via $X|s> =|s+1>$ and $Z|s> =\omega^s |s>$, with $\omega=\exp(2i\pi/q)$. It has been found that the number of maximal mutually commuting sets within $\mathcal{P}_q$ is controlled by the Dedekind psi function $\psi(q)=q \prod_{p|q}(1+\frac{1}{p})$ (with $p$ a prime) \cite{Planat2011} and that there exists a specific inequality $\frac{\psi (q)}{q}>e^{\gamma}\log \log q$, involving the Euler constant $\gamma \sim 0.577$, that is only satisfied at specific low dimensions $q \in \mathcal {A}=\{2,3,4,5,6,8,10,12,18,30\}$. The set $\mathcal{A}$ is closely related to the set $\mathcal{A} \cup \{1,24\}$ of integers that are totally Goldbach, i.e. that consist of all primes $p2$) is equivalent to Riemann hypothesis. Introducing the Hardy-Littlewood function $R(q)=2 C_2 \prod_{p|n}\frac{p-1}{p-2}$ (with $C_2 \sim 0.660$ the twin prime constant), that is used for estimating the number $g(q) \sim R(q) \frac{q}{\ln^2 q}$ of Goldbach pairs, one shows that the new inequality $\frac{R(N_r)}{\log \log N_r} \gtrapprox e^{\gamma}$ is also equivalent to Riemann hypothesis. In this paper, these number theoretical properties are discusssed in the context of the qudit commutation structure.Comment: 11 page