Dual Quaternion Knowledge Graph Embeddings

Total Page:16

File Type:pdf, Size:1020Kb

Dual Quaternion Knowledge Graph Embeddings The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) Dual Quaternion Knowledge Graph Embeddings Zongsheng Cao 1,2, Qianqian Xu 3,*, Zhiyong Yang 1,2, Xiaochun Cao 1,2,6, Qingming Huang 3,4,5,6,* 1 State Key Laboratory of Information Security, Institute of Information Engineering, CAS, Beijing, China 2 School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China 3 Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, CAS, Beijing, China 4 School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China 5 Key Laboratory of Big Data Mining and Knowledge Management, Chinese Academy of Sciences, Beijing, China 6 Peng Cheng Laboratory, Shenzhen, China fcaozongsheng,yangzhiyong,[email protected], [email protected], [email protected] Abstract In this paper, we study the problem of learning representations of entities and relations in the knowledge graph for the link pre- diction task. Our idea is based on the observation that the vast majority of the related work only models the relation as a sin- gle geometric operation such as translation or rotation, which limits the representation power of the underlying models and makes it harder to match the complicated relations existed in real-world datasets. To embrace a richer set of relational information, we propose a new method called dual quaternion Figure 1: An illustration of that DualE is a unified framework knowledge graph embeddings (DualE), which introduces dual of translation family and rotation family. quaternions into knowledge graph embeddings. Specifically, a dual quaternion behaves like a “complex quaternion” with its real and imaginary part all being quaternary. The core of DualE lies a specific design of dual-quaternion-based multiplication, could be traced back to TransE (Bordes et al. 2013). A re- which universally models relations as the compositions of a markable trait of the models belonging to this family is that series of translation and rotation operations. The major merits they provide a natural way to represent the hierarchical rela- of DualE are three-fold: 1) it is the first unified framework tions which are extremely common in KGs. And its variants embracing both rotation-based and translation-based models such as (Wang et al. 2014; Lin et al. 2015) can model the in 3D space, 2) it expands the embedding space to the dual multiple relations pattern. Meanwhile, rotation family refers quaternion space with a more intuitive physical and geometric to the models in which the relations are modeled as rota- interpretation, 3) it satisfies the key patterns and the multiple tion operations, which typically includes (Sun et al. 2019; relations pattern of relational representation learning. Exper- Zhang et al. 2019). As what is claimed in the representative imental results on four real-world datasets demonstrate the work RotatE (Sun et al. 2019), rotation can model all the effectiveness of our DualE method. three fundamental patterns of relations in KG, i.e., symme- try/antisymmetry, inversion, and composition. A thorough Introduction discussion of these methods is delayed to the next section. Knowledge Graph (KG) represents a collection of interlinked With the efforts of the translation family and rotation fam- descriptions of entities, namely, real-world objects, events, ily models, we have witnessed great success of KG-based situations, or abstract concepts. During the past decade, KG applications. Nonetheless, a single translation or rotation is has been proven to be an indispensable build-block for a wide not always a better way to represent relations. For example, spectrum of applications ranging from question answering, translation family cannot model all the three fundamental knowledge inference to natural language processing. To effec- patterns (Sun et al. 2019); rotation family models have little tively integrate KG into downstream AI applications, a key effect on hierarchical relations and multiple relations pattern. step, known as Knowledge Graph Embedding (KGE), then See the motivation part for more detailed analysis on this comes into play as a powerful tool which encodes entities and issue. As such, we find that the strengths of translation fam- relations of the graph into low-dimensional representations. ily and rotation family are essentially complementary. This brings about the question that is there a way to unify both We could roughly divide the vast majority of KGE method- translation and rotation in one framework? s into two general families based on how relations in KG are formulated. As the name suggests, translation family refers Fortunately, we can seek out a solution by means of a to the models which regard relations as translations, which number field named dual quaternion, which is proposed by William Kingdom Clifford (Clifford 1871). The dual quater- Copyright c 2021, Association for the Advancement of Artificial nion has an intuitive geometric and physical interpretation: Intelligence (www.aaai.org). All rights reserved. (1) It can represent both translation and rotation. (2) It pro- 6894 vides an elegant way of solving a range of problems that are tail entity through rotational operation in the complex space otherwise complex, such as rigid transformations. with only one rotating surface. As a remarkable property, In this paper, we propose a new method called dual quater- RotatE is the first model to unify symmetry/antisymmetry, nion knowledge graph embeddings (DualE). As a key instru- inversion, and composition patterns for KGE. This suggests ment, we introduce the dual quaternion as the number field that rotation operations in the complex space have a strong of the embedding space. Specifically, embeddings in a dual potential to empower a universal knowledge representation. quaternion space are vectors in the hypercomplex space Hd This is why we name this direction after rotation. Most recent- formed as a+b, where a and b are two quaternions represent- ly, QuatE (Zhang et al. 2019) extends the complex space into ing the real and dual part of the vector, respectively. It could the quaternion space with two rotating surfaces. However, be proved that with a proper definition of dual-quaternion- rotation family cannot model the hierarchical structure, nor based multiplication, we can represent relations in the KGs can it model multiple relations between two entities simulta- as compositions of translation and rotation operations. As neously. shown in Figure 1, this allows us to unify the previous studies KGE with Deep Learning. Recently there are some models in the translation family and rotation family. using neural networks to produce KG embeddings with re- To summarize, our contributions are as follows: 1) We pro- markable effects. For instance, R-GCN (Schlichtkrull et al. vide theoretical analyses on why both rotation and translation 2018), ConvE (Dettmers et al. 2017) and ConvKB (Nguyen operations are necessary for knowledge graph embedding. 2) et al. 2018), KBGAT (Nathani et al. 2019), A2N (Bansal et al. We propose a new framework called DualE to effectively in- 2019). A downside of these methods is that the geometric tegrate rotation and translation operations in KG embedding meaning is not clear or the transformation is single. methods. 3) We conduct a series of theoretical and empirical analyses to show the strength of DualE against some of the Problem Setup SOTA methods. Problem Definition Related Work In the KGE problem, we define the head entity, the relation and the tail entity as h, r and t, respectively. Now we define Recall that we divide the majority of KGE methods rough- r ly into two families according to the way they manipulate a triplet as (h; r; t), which represents h ! t, i.e., the head relations. In this section, we take a further step to provide a entity h is related to tail entity t by a relation r. Then a detailed review of the methods in each family. knowledge graph could be represented by means of a set Translation Family. This family includes TransE (Bordes of specific triplets (h; r; t) ⊆ V × R × V, where V and et al. 2013) and its variants. The common trait of these meth- R are entity and relation sets, respectively. Practically, it ods is that they all model relations as translations between is impossible to collect a complete knowledge graph with heads and tails in the embedding space. TransE (Bordes et al. pure human efforts. The link prediction task then comes into 2013) is the first model that realizes this assumption based on play as a powerful application to automatically infer missing the principle head + relation ≈ tail. TransH (Wang et al. links in a knowledge graph. From a practical perspective, our 2014), TransR (Lin et al. 2015), TransD (Ji et al. 2015), and ultimate goal is then to develop effective knowledge graph TransA (Xiao et al. 2015) then improve this idea with dif- embedding algorithms for the link prediction task. In this way, ferent projection strategies. TransG (Xiao, Huang, and Zhu our algorithm will simultaneously produce proper embedding 2016) and KG2E (He et al. 2015) further inject probabilis- of the nodes/relations as well as the confidence score of a tic principles into this framework by considering Bayesian given triplet (h; r; t). nonparametric Gaussian mixture model and Gaussian distri- bution covariance, respectively. TranSparse (Ji et al. 2016) Motivation provides adaptive sparsity to the transfer matrices in search Before introducing the motivation, we give definitions of of a solution to heterogeneity and imbalance issues of KGs. the key patterns (see Appendix for the definitions of sym- Last but definitely not the least, a recent work called TorusE metry/antisymmetry, inversion, composition patterns) and (Ebisu and Ichise 2018) adopts torus to avoid forcing embed- multiple relations pattern first. ding to be on a sphere. In one word, translation family models Definition 1 Relations ri are multiple if 8i 2 f0; ··· ; mg, provide a simple yet effective way to achieve better results (h; ri; t) can hold in KGs simultaneously.
Recommended publications
  • Application of Dual Quaternions on Selected Problems
    APPLICATION OF DUAL QUATERNIONS ON SELECTED PROBLEMS Jitka Prošková Dissertation thesis Supervisor: Doc. RNDr. Miroslav Láviˇcka, Ph.D. Plze ˇn, 2017 APLIKACE DUÁLNÍCH KVATERNIONU˚ NA VYBRANÉ PROBLÉMY Jitka Prošková Dizertaˇcní práce Školitel: Doc. RNDr. Miroslav Láviˇcka, Ph.D. Plze ˇn, 2017 Acknowledgement I would like to thank all the people who have supported me during my studies. Especially many thanks belong to my family for their moral and material support and my advisor doc. RNDr. Miroslav Láviˇcka, Ph.D. for his guidance. I hereby declare that this Ph.D. thesis is completely my own work and that I used only the cited sources. Plzeˇn, July 20, 2017, ........................... i Annotation In recent years, the study of quaternions has become an active research area of applied geometry, mainly due to an elegant and efficient possibility to represent using them ro- tations in three dimensional space. Thanks to their distinguished properties, quaternions are often used in computer graphics, inverse kinematics robotics or physics. Furthermore, dual quaternions are ordered pairs of quaternions. They are especially suitable for de- scribing rigid transformations, i.e., compositions of rotations and translations. It means that this structure can be considered as a very efficient tool for solving mathematical problems originated for instance in kinematics, bioinformatics or geodesy, i.e., whenever the motion of a rigid body defined as a continuous set of displacements is investigated. The main goal of this thesis is to provide a theoretical analysis and practical applications of the dual quaternions on the selected problems originated in geometric modelling and other sciences or various branches of technical practise.
    [Show full text]
  • The 22Nd International Conference on Finite Or Infinite Dimensional
    The 22nd International Conference on Finite or Infinite Dimensional Complex Analysis and Applications August 8{August 11, 2014 Dongguk University Gyeongju, Republic of Korea The 22nd International Conference on Finite or Infinite Dimensional Complex Analysis and Applications http://22.icfidcaa.org August 8{11, 2014 Dongguk University Gyeongju, Republic of Korea Organized by • Dongguk University (Gyeongju Campus) • Youngnam Mathematical Society • BK21PLUS Center for Math Research and Education at PNU • Gyeongsang National University Supported by • KOFST (The Korean Federation of Science and Technology Societies) August 2, 2014 Contents Preface, Welcome and Acknowledgements ..................................1 Committee ......................................................................3 Topics of Conference ...........................................................4 History and Publications ......................................................5 Welcome Address ..............................................................8 Outline of Activities ...........................................................9 Details of Activities ..........................................................12 Abstracts of Talks .............................................................30 1 Preface, Welcome and Acknowledgements The 22nd International Conference on Finite or Infinite Dimensional Complex Analy- sis and Applications is being held at Dongguk University (Gyeongju), continuing to The 16th International Conference on Finite or Infinite Dimensional Complex
    [Show full text]
  • Exponential and Cayley Maps for Dual Quaternions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by LSBU Research Open Exponential and Cayley maps for Dual Quaternions J.M. Selig Abstract. In this work various maps between the space of twists and the space of finite screws are studied. Dual quaternions can be used to represent rigid-body motions, both finite screw motions and infinitesimal motions, called twists. The finite screws are elements of the group of rigid-body motions while the twists are elements of the Lie algebra of this group. The group of rigid-body displacements are represented by dual quaternions satisfying a simple relation in the algebra. The space of group elements can be though of as a six-dimensional quadric in seven-dimensional projective space, this quadric is known as the Study quadric. The twists are represented by pure dual quaternions which satisfy a degree 4 polynomial relation. This means that analytic maps between the Lie algebra and its Lie group can be written as a cubic polynomials. In order to find these polynomials a system of mutually annihilating idempotents and nilpotents is introduced. This system also helps find relations for the inverse maps. The geometry of these maps is also briefly studied. In particular, the image of a line of twists through the origin (a screw) is found. These turn out to be various rational curves in the Study quadric, a conic, twisted cubic and rational quartic for the maps under consideration. Mathematics Subject Classification (2000). Primary 11E88; Secondary 22E99. Keywords. Dual quaternions, exponential map, Cayley map.
    [Show full text]
  • Dual Quaternion Sample Reduction for SE(2) Estimation
    Dual Quaternion Sample Reduction for SE(2) Estimation Kailai Li, Florian Pfaff, and Uwe D. Hanebeck Intelligent Sensor-Actuator-Systems Laboratory (ISAS) Institute for Anthropomatics and Robotics Karlsruhe Institute of Technology (KIT), Germany [email protected], fl[email protected], [email protected] Abstract—We present a novel sample reduction scheme for random variables belonging to the SE(2) group by means of Dirac mixture approximation. For this, dual quaternions are employed to represent uncertain planar transformations. The Cramer–von´ Mises distance is modified as a smooth metric to measure the statistical distance between Dirac mixtures on the manifold of planar dual quaternions. Samples of reduced size are then ob- tained by minimizing the probability divergence via Riemannian optimization while interpreting the correlation between rotation and translation. We further deploy the proposed scheme for non- parametric modeling of estimates for nonlinear SE(2) estimation. Simulations show superior tracking performance of the sample reduction-based filter compared with Monte Carlo-based as well as parametric model-based planar dual quaternion filters. Figure 1: Examples of the proposed sample reduction tech- I. INTRODUCTION nique for planar rigid motions. Here, 2000 random samples Estimation of planar motions is ubiquitous and play a (yellow) drawn from different underlying distributions are fundamental role in many application scenarios, such as optimally approximated by 20 samples (blue) on the manifold odometry and scene reconstruction, object tracking as well of planar dual quaternions. as remote sensing, etc [1]–[5]. Planar motions, incorporating both rotations and translations on a plane, are mathematically described by elements belonging to the two-dimensional spe- which can be easily violated under large noise levels (e.g., cial Euclidean group SE(2).
    [Show full text]
  • Representing the Motion of Objects in Contact Using Dual Quaternions and Its Applications
    Representing the Motion of Objects in Contact using Dual Quaternions and its Applications George V Paul and Katsushi Ikeuchi August 1 1997 CMU-RI-TR-97-31 Robotics Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890 © 1997 Carnegie Mellon University This work was done partly at the Robotics Institute, Carnegie Mellon University, Pitts- burgh PA, and partly at the Institute of Industrial Science, University of Tokyo, Tokyo, Japan. iii Abstract This report presents a general method for representing the motion of an object while maintaining contact with other fixed objects. The motivation for our work is the assembly plan from observation (APO) system. The APO system observes a human perform an assembly task. It then analyzes the observations to reconstruct the assembly plan used in the task. Finally, the APO converts the assembly plan into a program for a robot which can repeat the demonstrated task. The position and orientation of an object, known as its configuration can be represented using dual vectors. We use dual quaternions to represent the configuration of objects in 3D space. When an object maintains a set of contacts with other fixed objects, its configuration will be constrained to lie on a surface in configuration space called the c-surface. The c-sur- face is determined by the geometry of the object features in contact. We propose a general method to represent c-surfaces in dual vector space. Given a set of contacts, we choose a ref- erence contact and represent the c-surface as a parametric equation based on it. The contacts other than the reference contact will impose constraints on these parameters.
    [Show full text]
  • Dual Quaternions in Spatial Kinematics in an Algebraic Sense
    Turk J Math 32 (2008) , 373 – 391. c TUB¨ ITAK˙ Dual Quaternions in Spatial Kinematics in an Algebraic Sense Bedia Akyar Abstract This paper presents the finite spatial displacements and spatial screw motions by using dual quaternions and Hamilton operators. The representations are considered as 4 × 4 matrices and the relative motion for three dual spheres is considered in terms of Hamilton operators for a dual quaternion. The relation between Hamilton operators and the transformation matrix has been given in a different way. By considering operations on screw motions, representation of spatial displacements is also given. Key Words: Dual quaternions, Hamilton operators, Lie algebras. 1. Introduction The matrix representation of spatial displacements of rigid bodies has an important role in kinematics and the mathematical description of displacements. Veldkamp and Yang-Freudenstein investigated the use of dual numbers, dual numbers matrix and dual quaternions in instantaneous spatial kinematics in [9] and [10], respectively. In [10], an application of dual quaternion algebra to the analysis of spatial mechanisms was given. A comparison of representations of general spatial motion was given by Rooney in [8]. Hiller- Woernle worked on a unified representation of spatial displacements. In their paper [7], the representation is based on the screw displacement pair, i.e., the dual number extension of the rotational displacement pair, and consists of the dual unit vector of the screw axis AMS Mathematics Subject Classification: 53A17, 53A25, 70B10. 373 AKYAR and the associate dual angle of the amplitude. Chevallier gave a unified algebraic approach to mathematical methods in kinematics in [4]. This approach requires screw theory, dual numbers and Lie groups.
    [Show full text]
  • Homothetic Motions with Dual Octonions in Dual 8−Space
    Turkish Journal of Mathematics Turk J Math (2016) 40: 90 { 97 http://journals.tubitak.gov.tr/math/ ⃝c TUB¨ ITAK_ Research Article doi:10.3906/mat-1505-84 Homothetic motions with dual octonions in dual 8−space Hesna KABADAYI∗ Department of Mathematics, Ankara University, Ankara, Turkey Received: 25.05.2015 • Accepted/Published Online: 21.07.2015 • Final Version: 01.01.2016 Abstract: In this study, for dual octonions in dual 8−space D8 over the domain of coefficients D; we give a matrix that is similar to a Hamilton operator. By means of this matrix a new motion is defined and this motion is proven to be homothetic. For this one parameter dual homothetic motion, we prove some theorems about dual velocities, dual pole points, and dual pole curves. Furthermore, after defining dual accelerations, we show that the motion defined by the regular order m dual curve, at every t-instant, has only one acceleration center of order (m − 1) : Key words: Dual octonions, homothetic motion, dual curve, dual space 1. Introduction John T. Graves discovered octonions in 1843. Arthur Cayley also discovered them independently and, on account of this, they are sometimes referred to as Cayley numbers. The octonions form a normed division algebra over real numbers. They are nonassociative and non- commutative but alternative, which is a weaker form of associativity. Octonions have applications in string theory, special relativity, and quantum logic. They have some interesting features and are related to a number of exceptional structures, such as exceptional Lie groups, in mathematics. { } The set of dual numbers D = ba = a + "a∗ : " =6 0;"2 = 0; a; a∗ 2 R is a commutative ring with a unit.
    [Show full text]
  • Inverse Kinematics with Dual-Quaternions, Exponential-Maps, and Joint Limits
    International Journal on Advances in Intelligent Systems, vol 6 no 1 & 2, year 2013, http://www.iariajournals.org/intelligent_systems/ 53 Inverse Kinematics with Dual-Quaternions, Exponential-Maps, and Joint Limits Ben Kenwright Newcastle University School of Computing Science United Kingdom [email protected] Abstract—We present a novel approach for solving articu- is an iterative, efficient, low memory method of solving lated inverse kinematic problems (e.g., character structures) linear systems of equations of the form Ax = b. Hence, by means of an iterative dual-quaternion and exponential- we integrate the Gauss-Seidel iterative algorithm with an mapping approach. As dual-quaternions are a break from the norm and offer a straightforward and computationally efficient articulated IK problem to produce a flexible whole system technique for representing kinematic transforms (i.e., position IK solution for time critical systems, such as games. This and translation). Dual-quaternions are capable of represent method is used as it offers a flexible, robust solution with both translation and rotation in a unified state space variable the ability to trade accuracy for speed and give good visual with its own set of algebraic equations for concatenation outcomes. and manipulation. Hence, an articulated structure can be represented by a set of dual-quaternion transforms, which we Furthermore, to make the Gauss-Seidel method a practical can manipulate using inverse kinematics (IK) to accomplish IK solution for an articulated hand structure, it needs to specific goals (e.g., moving end-effectors towards targets). We enforce joint limits. We incorporate joint limits by modi- use the projected Gauss-Seidel iterative method to solve the IK fying the update scheme to include an iterative projection problem with joint limits.
    [Show full text]
  • Space Kinematics and Projective Differential Geometry Over the Ring
    Space Kinematics and Projective Differential Geometry Over the Ring of Dual Numbers∗ Johannes Siegele, Hans-Peter Schröcker, Martin Pfurner Department of Basic Sciences in Engineering Sciences University of Innsbruck, Austria February 5, 2021 Abstract We study an isomorphism between the group of rigid body displacements and the group of dual quaternions modulo the dual number multiplicative group from the viewpoint of differential geometry in a projective space over the dual numbers. Some seemingly weird phenomena in this space have lucid kinematic interpretations. An example is the existence of non-straight curves with a continuum of osculating tangents which correspond to motions in a cylinder group with osculating vertical Darboux motions. We also suggest geometrically meaningful ways to select osculating conics of a curve in this projective space and illustrate their corresponding motions. Furthermore, we investigate factorizability of these special motions and use the obtained results for the construction of overconstrained linkages. Key Words: rational motion, motion polynomial, factorization, vertical Darboux motion, helical motion, osculating line, osculating conic, null cone motion, linkage MSC 2020: 16S36 53A20 70B10 1 Introduction The eight-dimensional real algebra DH of dual quaternions provides a well-known model for the group SE(3) of rigid body displacements. Dual quaternions with non-zero real norm represent elements of SE(3) and are uniquely determined up to real scalar multiples. In the ∼ 7 projectivization P(DH) = P (R) they correspond to points of the Study quadric S minus an exceptional subspace E of dimension three [5]. The Study quadric model provides a rich geometric and algebraic environment for investi- arXiv:2006.14259v3 [math.DG] 4 Feb 2021 gating questions of space kinematics.
    [Show full text]
  • Exploring Group Theory and Topology for Analyzing the Structure of Biology
    Noname manuscript No. (will be inserted by the editor) Exploring group theory and topology for analyzing the structure of biology Shun Adachi Received: date / Accepted: date Abstract The concepts of population and species play a fundamental role in biology. The existence and precise definition of higher-order hierarchies, such as division into species, is open to debate among biologists. First, we seek to show a fractal structure of species. We are able to define a species as a p-Sylow subgroup of a particular community in a single niche, confirmed by topological analysis. We named this model the patch with zeta dominance (PzDom) model. Next, the topological nature of the system is carefully examined and for test- ing purposes, species density data are used in conjunction with data derived from liquid-chromatography mass spectrometry of proteins. We confirm the induction of hierarchy and time through a one-dimensional probability space with certain topologies. For further clarification of induced fractals including the relation to renormal- ization in physics, a theoretical development is proposed based on a newly identified fact, namely that scaling parameters for magnetization exactly cor- respond to imaginary parts of the Riemann zeta function’s nontrivial zeros. A master torus and a Lagrangian/Hamiltonian are derived expressing fractal structures as a solution for diminishing divergent terms in renormalization. We will also focus on an application of our developed model. We extend current PzDom model to the so-called exPzDom model to qualify population dynamics as a topological matter as a whole, not focusing on hierarchy. The indicators in the exPzDom model adhere well to the empirical dynamics of SARS-CoV-2 infected people and align appropriately with actual policies instituted by the S.
    [Show full text]
  • Approaching Dual Quaternions from Matrix Algebra Federico Thomas, Member, IEEE
    SUBMITTED TO THE IEEE TRANSACTIONS ON ROBOTICS 1 Approaching Dual Quaternions From Matrix Algebra Federico Thomas, Member, IEEE Abstract—Dual quaternions give a neat and succinct way on Computer Vision, Robot Kinematics and Dynamics, or to encapsulate both translations and rotations into a unified Computer Graphics. representation that can easily be concatenated and interpolated. Unfortunately, the combination of quaternions and dual numbers Surprisingly, despite their long life, the use of quaternions in seem quite abstract and somewhat arbitrary when approached engineering is not free from confusions which mainly concern: for the first time. Actually, the use of quaternions or dual num- bers separately are already seen as a break in mainstream robot kinematics, which is based on homogeneous transformations. This 1) The order of quaternion multiplication. Quaternions are paper shows how dual quaternions arise in a natural way when sometimes multiplied in the opposite order than rotation approximating 3D homogeneous transformations by 4D rotation matrices, as in [4]. The origin of this can be found in matrices. This results in a seamless presentation of rigid-body the way vector coordinates are represented. For example, transformations based on matrices and dual quaternions which in [5], a celebrated book on Computer Graphics, point permits building intuition about the use of quaternions and their generalizations. coordinates are represented by row vectors instead of column vectors, as is the common practice in Robotics. Index Terms —Spatial kinematics, quaternions, biquaternions, Then, transformation matrices post-multiply a point double quaternions, dual quaternions, Cayley factorization. vector to produce a new point vector. When using quaternions, instead of homogeneous transformations, I.
    [Show full text]
  • Skinning with Dual Quaternions
    Skinning with Dual Quaternions Ladislav Kavan∗ 1,2 Steven Collins1 Jiˇr´ı Z´ˇ ara2 Carol O’Sullivan1 1Trinity College Dublin, 2Czech Technical University in Prague 84.9 FPS 197.4 FPS 55.1 FPS 122 FPS Log-matrix Blending Dual Quaternions Spherical Blend Skinning Dual Quaternions Figure 1: A comparison of dual quaternion skinning with previous methods: log-matrix blending [Cordier and Magnenat-Thalmann 2005] and spherical blend skinning [Kavan and Zara 2005]. The proposed approach not only eliminates artifacts, but is also much easier to implement and more than twice as fast. Abstract deformation or enveloping. It is sometimes used not only for skin deformation (as the name suggests) but also to animate cloth, be- Skinning of skeletally deformable models is extensively used for cause it is considerably faster than physically based cloth simula- real-time animation of characters, creatures and similar objects. tion [Cordier and Magnenat-Thalmann 2005]. The basic princi- The standard solution, linear blend skinning, has some serious ple is that skinning transformations are represented by matrices and drawbacks that require artist intervention. Therefore, a number of blended linearly. It is very well known that the direct linear com- alternatives have been proposed in recent years. All of them suc- bination of matrices is a troublesome way of blending transforma- cessfully combat some of the artifacts, but none challenge the sim- tions. This produces artifacts in the deformed skin, even if we re- plicity and efficiency of linear blend skinning. As a result, linear strict the skinning transformations to rigid ones (i.e., composition blend skinning is still the number one choice for the majority of of a rotation and translation).
    [Show full text]