-
Exploring the Adjugate Matrix Approach to Quaternion Pose Extraction
Authors:
Andrew J. Hanson,
Sonya M. Hanson
Abstract:
Quaternions are important for a wide variety of rotation-related problems in computer graphics, machine vision, and robotics. We study the nontrivial geometry of the relationship between quaternions and rotation matrices by exploiting the adjugate matrix of the characteristic equation of a related eigenvalue problem to obtain the manifold of the space of a quaternion eigenvector. We argue that qua…
▽ More
Quaternions are important for a wide variety of rotation-related problems in computer graphics, machine vision, and robotics. We study the nontrivial geometry of the relationship between quaternions and rotation matrices by exploiting the adjugate matrix of the characteristic equation of a related eigenvalue problem to obtain the manifold of the space of a quaternion eigenvector. We argue that quaternions parameterized by their corresponding rotation matrices cannot be expressed, for example, in machine learning tasks, as single-valued functions: the quaternion solution must instead be treated as a manifold, with different algebraic solutions for each of several single-valued sectors represented by the adjugate matrix. We conclude with novel constructions exploiting the quaternion adjugate variables to revisit several classic pose estimation applications: 2D point-cloud matching, 2D point-cloud-to-projection matching, 3D point-cloud matching, 3D orthographic point-cloud-to-projection matching, and 3D perspective point-cloud-to-projection matching. We find an exact solution to the 3D orthographic least squares pose extraction problem, and apply it successfully also to the perspective pose extraction problem with results that improve on existing methods.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
The Quaternion-Based Spatial Coordinate and Orientation Frame Alignment Problems
Authors:
Andrew J. Hanson
Abstract:
We review the general problem of finding a global rotation that transforms a given set of points and/or coordinate frames (the "test" data) into the best possible alignment with a corresponding set (the "reference" data). For 3D point data, this "orthogonal Procrustes problem" is often phrased in terms of minimizing a root-mean-square deviation or RMSD corresponding to a Euclidean distance measure…
▽ More
We review the general problem of finding a global rotation that transforms a given set of points and/or coordinate frames (the "test" data) into the best possible alignment with a corresponding set (the "reference" data). For 3D point data, this "orthogonal Procrustes problem" is often phrased in terms of minimizing a root-mean-square deviation or RMSD corresponding to a Euclidean distance measure relating the two sets of matched coordinates. We focus on quaternion eigensystem methods that have been exploited to solve this problem for at least five decades in several different bodies of scientific literature where they were discovered independently. While numerical methods for the eigenvalue solutions dominate much of this literature, it has long been realized that the quaternion-based RMSD optimization problem can also be solved using exact algebraic expressions based on the form of the quartic equation solution published by Cardano in 1545; we focus on these exact solutions to expose the structure of the entire eigensystem for the traditional 3D spatial alignment problem. We then explore the structure of the less-studied orientation data context, investigating how quaternion methods can be extended to solve the corresponding 3D quaternion orientation frame alignment (QFA) problem, noting the interesting equivalence of this problem to the rotation-averaging problem, which also has been the subject of independent literature threads. We conclude with a brief discussion of the combined 3D translation-orientation data alignment problem. Appendices are devoted to a tutorial on quaternion frames, a related quaternion technique for extracting quaternions from rotation matrices, and a review of quaternion rotation-averaging methods relevant to the orientation-frame alignment problem. Supplementary Material covers extensions of quaternion methods to the 4D problem.
△ Less
Submitted 26 February, 2020; v1 submitted 7 April, 2018;
originally announced April 2018.
-
Quantum Interval-Valued Probability: Contextuality and the Born Rule
Authors:
Yu-Tsung Tai,
Andrew J. Hanson,
Gerardo Ortiz,
Amr Sabry
Abstract:
We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of quantum mechanics such as contextuality and the Born rule. While foundational results such as the Kochen-Specker and Gleason theorems are valid in the context of infinite precision, they fail to hold in…
▽ More
We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of quantum mechanics such as contextuality and the Born rule. While foundational results such as the Kochen-Specker and Gleason theorems are valid in the context of infinite precision, they fail to hold in general in a world with limited resources. Here we employ an interval-valued framework to establish bounds on the validity of those theorems in realistic experimental environments. In this way, not only can we quantify the idea of finite-precision measurement within our theory, but we can also suggest a possible resolution of the Meyer-Mermin debate on the impact of finite-precision measurement on the Kochen-Specker theorem.
△ Less
Submitted 5 April, 2018; v1 submitted 24 December, 2017;
originally announced December 2017.
-
Charting the Interstellar Magnetic Field causing the Interstellar Boundary Explorer (IBEX) Ribbon of Energetic Neutral Atoms
Authors:
P. C. Frisch,
A. Berdyugin,
V. Piirola,
A. M. Magalhaes,
D. B. Seriacopi,
S. J. Wiktorowicz,
B-G Andersson,
H. O. Funsten,
D. J. McComas,
N. A. Schwadron,
J. D. Slavin,
A. J. Hanson,
C. -W. Fu
Abstract:
The interstellar magnetic field (ISMF) near the heliosphere is a basic part of the solar neighborhood that can only be studied using polarized starlight. Results of an ongoing survey of polarized starlight are analyzed with the goal of linking the interstellar magnetic field that shapes the heliosphere to the nearby field in interstellar space. New results for the direction of the nearby ISMF, bas…
▽ More
The interstellar magnetic field (ISMF) near the heliosphere is a basic part of the solar neighborhood that can only be studied using polarized starlight. Results of an ongoing survey of polarized starlight are analyzed with the goal of linking the interstellar magnetic field that shapes the heliosphere to the nearby field in interstellar space. New results for the direction of the nearby ISMF, based on a merit function that utilizes polarization position angles, identify several magnetic components. The dominant interstellar field, B_pol, is aligned with the direction L,B= 36.2,49.0 (+/-16.0) degrees and is within 8 degrees of the IBEX Ribbon ISMF direction. Stars tracing B_pol have the same mean distance as stars that do not trace B_pol, but show weaker polarizations consistent with lower column densities of polarizing grains. The variations in the polarization position angle directions indicate a low level of magnetic turbulence. B_pol is found after excluding polarizations that trace a separate magnetic structure that apparently is due to interstellar dust deflected around the heliosphere. Local interstellar cloud velocities relative to the LSR increase with the angles between the LSR velocities and ISMF, indicating that the kinematics of local interstellar material is ordered by the ISMF. Polarization and color excess data are consistent with an extension of Loop I to the solar vicinity. Polarizations are consistent with previous findings of more efficient grain alignment in low column density sightlines. Optical polarization and color excess data indicate the presence of nearby interstellar dust in the BICEP2 field. Color excess E(B-V) indicates an optical extinction of A_V about 0.59 mag in the BICEP2 field, while the polarization data indicate that A_V is larger than 0.09 mag. The IBEX Ribbon ISMF extends to the boundaries of the BICEP2 region.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
Discrete Quantum Theories
Authors:
Andrew J. Hanson,
Gerardo Ortiz,
Amr Sabry,
Yu-Tsung Tai
Abstract:
We explore finite-field frameworks for quantum theory and quantum computation. The simplest theory, defined over unrestricted finite fields, is unnaturally strong. A second framework employs only finite fields with no solution to x^2+1=0, and thus permits an elegant complex representation of the extended field by adjoining i=\sqrt{-1}. Quantum theories over these fields recover much of the structu…
▽ More
We explore finite-field frameworks for quantum theory and quantum computation. The simplest theory, defined over unrestricted finite fields, is unnaturally strong. A second framework employs only finite fields with no solution to x^2+1=0, and thus permits an elegant complex representation of the extended field by adjoining i=\sqrt{-1}. Quantum theories over these fields recover much of the structure of conventional quantum theory except for the condition that vanishing inner products arise only from null states; unnaturally strong computational power may still occur. Finally, we are led to consider one more framework, with further restrictions on the finite fields, that recovers a local transitive order and a locally-consistent notion of inner product with a new notion of cardinal probability. In this framework, conventional quantum mechanics and quantum computation emerge locally (though not globally) as the size of the underlying field increases. Interestingly, the framework allows one to choose separate finite fields for system description and for measurement: the size of the first field quantifies the resources needed to describe the system and the size of the second quantifies the resources used by the observer. This resource-based perspective potentially provides insights into quantitative measures for actual computational power, the complexity of quantum system definition and evolution, and the independent question of the cost of the measurement process.
△ Less
Submitted 14 May, 2013;
originally announced May 2013.
-
Amplitude-Based Approach to Evidence Accumulation
Authors:
A. J. Hanson
Abstract:
We point out the need to use probability amplitudes rather than probabilities to model evidence accumulation in decision processes involving real physical sensors. Optical information processing systems are given as typical examples of systems that naturally gather evidence in this manner. We derive a new, amplitude-based generalization of the Hough transform technique used for object recognition…
▽ More
We point out the need to use probability amplitudes rather than probabilities to model evidence accumulation in decision processes involving real physical sensors. Optical information processing systems are given as typical examples of systems that naturally gather evidence in this manner. We derive a new, amplitude-based generalization of the Hough transform technique used for object recognition in machine vision. We argue that one should use complex Hough accumulators and square their magnitudes to get a proper probabilistic interpretation of the likelihood that an object is present. Finally, we suggest that probability amplitudes may have natural applications in connectionist models, as well as in formulating knowledge-based reasoning problems.
△ Less
Submitted 27 March, 2013;
originally announced April 2013.
-
Geometry of Discrete Quantum Computing
Authors:
Andrew J. Hanson,
Gerardo Ortiz,
Amr Sabry,
Yu-Tsung Tai
Abstract:
Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2^{n} infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions o…
▽ More
Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2^{n} infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions of physics to be consistent with computable numbers. Our purpose here is to examine the geometric implications of using finite fields Fp and finite complexified fields Fp^2 (based on primes p congruent to 3 mod{4}) as the basis for computations in a theory of discrete quantum computing, which would therefore become a computable theory. Because the states of a discrete n-qubit system are in principle enumerable, we are able to determine the proportions of entangled and unentangled states. In particular, we extend the Hopf fibration that defines the irreducible state space of conventional continuous n-qubit theories (which is the complex projective space CP{2^{n}-1}) to an analogous discrete geometry in which the Hopf circle for any n is found to be a discrete set of p+1 points. The tally of unit-length n-qubit states is given, and reduced via the generalized Hopf fibration to DCP{2^{n}-1}, the discrete analog of the complex projective space, which has p^{2^{n}-1} (p-1)\prod_{k=1}^{n-1} (p^{2^{k}}+1) irreducible states. Using a measure of entanglement, the purity, we explore the entanglement features of discrete quantum states and find that the n-qubit states based on the complexified field Fp^2 have p^{n} (p-1)^{n} unentangled states (the product of the tally for a single qubit) with purity 1, and they have p^{n+1}(p-1)(p+1)^{n-1} maximally entangled states with purity zero.
△ Less
Submitted 16 May, 2013; v1 submitted 25 June, 2012;
originally announced June 2012.
-
The Power of Discrete Quantum Theories
Authors:
Andrew J. Hanson,
Gerardo Ortiz,
Amr Sabry,
Jeremiah Willcock
Abstract:
We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most g…
▽ More
We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most general approach chooses finite fields with no solution to x^2+1=0, and thus permits an elegant complex-like representation of the extended field by adjoining i=sqrt(-1). Quantum theories over these fields retain the notion of unitaries and --- for particular problem sizes --- allow the same algorithms as conventional quantum theory. These theories, however, still support unnaturally strong computations for certain problem sizes, but the possibility of such phenomena decreases as the size of the field increases.
△ Less
Submitted 8 April, 2011;
originally announced April 2011.
-
A tessellation for algebraic surfaces in CP3
Authors:
Andrew J. Hanson,
Ji-** Sha
Abstract:
We present an explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F(n) embedded in CP3 defined by the equation z0^n + z1^n + z2^n + z3^n = 0 in the standard homogeneous coordinates [z0, z1, z2, z3], where n is any positive integer. Note that F(4) in particular is a K3 surface. Our tessellation contains a minimal number of vertices, namely the n-th roots of unity in the…
▽ More
We present an explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F(n) embedded in CP3 defined by the equation z0^n + z1^n + z2^n + z3^n = 0 in the standard homogeneous coordinates [z0, z1, z2, z3], where n is any positive integer. Note that F(4) in particular is a K3 surface. Our tessellation contains a minimal number of vertices, namely the n-th roots of unity in the six standard projective lines CP1 in CP3, which form an obvious framework for constructing a natural tessellation of F(n). Our tessellation is invariant under the action of the obvious isomorphism group of F(n) induced by permutations and phase multiplications of the coordinates, and the action is transitive on the set of 4-cells. The tessellation is built upon a similar triangulation for the corresponding algebraic curves in CP2.
△ Less
Submitted 20 April, 2008;
originally announced April 2008.
-
A Contour Integral Representation for the Dual Five-Point Function and a Symmetry of the Genus Four Surface in R6
Authors:
Andrew J. Hanson,
Ji-** Sha
Abstract:
The invention of the "dual resonance model" N-point functions BN motivated the development of current string theory. The simplest of these models, the four-point function B4, is the classical Euler Beta function. Many standard methods of complex analysis in a single variable have been applied to elucidate the properties of the Euler Beta function, leading, for example, to analytic continuation f…
▽ More
The invention of the "dual resonance model" N-point functions BN motivated the development of current string theory. The simplest of these models, the four-point function B4, is the classical Euler Beta function. Many standard methods of complex analysis in a single variable have been applied to elucidate the properties of the Euler Beta function, leading, for example, to analytic continuation formulas such as the contour-integral representation obtained by Pochhammer in 1890. Here we explore the geometry underlying the dual five-point function B5, the simplest generalization of the Euler Beta function. Analyzing the B5 integrand leads to a polyhedral structure for the five-crosscap surface, embedded in RP5, that has 12 pentagonal faces and a symmetry group of order 120 in PGL(6). We find a Pochhammer-like representation for B5 that is a contour integral along a surface of genus five. The symmetric embedding of the five-crosscap surface in RP5 is doubly covered by a symmetric embedding of the surface of genus four in R6 that has a polyhedral structure with 24 pentagonal faces and a symmetry group of order 240 in O(6). The methods appear generalizable to all N, and the resulting structures seem to be related to associahedra in arbitrary dimensions.
△ Less
Submitted 17 October, 2005;
originally announced October 2005.