Research Article | Open Access
Christian Wülker, Sipu Ruan, Gregory S. Chirikjian, "Quantizing Euclidean Motions via Double-Coset Decomposition", Research, vol. 2019, Article ID 1608396, 16 pages, 2019. https://doi.org/10.34133/2019/1608396
Quantizing Euclidean Motions via Double-Coset Decomposition
Concepts from mathematical crystallography and group theory are used here to quantize the group of rigid-body motions, resulting in a “motion alphabet” with which robot motion primitives are expressed. From these primitives it is possible to develop a dictionary of physical actions. Equipped with an alphabet of the sort developed here, intelligent actions of robots in the world can be approximated with finite sequences of characters, thereby forming the foundation of a language in which robot motion is articulated. In particular, we use the discrete handedness-preserving symmetries of macromolecular crystals (known in mathematical crystallography as Sohncke space groups) to form a coarse discretization of the space of rigid-body motions. This discretization is made finer by subdividing using the concept of double-coset decomposition. More specifically, a very efficient, equivolumetric quantization of spatial motion can be defined using the group-theoretic concept of a double-coset decomposition of the form , where is a Sohncke space group and is a finite group of rotational symmetries such as those of the icosahedron. The resulting discrete alphabet is based on a very uniform sampling of and is a tool for describing the continuous trajectories of robots and humans. An efficient coarse-to-fine search algorithm is presented to round off any motion sampled from the continuous group of motions to the nearest element of our alphabet. It is shown that our alphabet and this efficient rounding algorithm can be used as a geometric data structure to accelerate the performance of other sampling schemes designed for desirable dispersion or discrepancy properties. Moreover, the general “signals to symbols” problem in artificial intelligence is cast in this framework for robots moving continuously in the world.
The aim of this paper is to develop a “motion alphabet” with which robot motion primitives are expressed. From these primitives one can develop a dictionary of physical actions. Two main themes from the theory of Lie groups are used to construct this alphabet (or quantization) and to efficiently solve the “signals to symbols” problem in this context: (1) the decomposition of a Lie group into cosets, double cosets, and corresponding fundamental domains; (2) the possibility of constructing such fundamental domains as Voronoi or Voronoi-like cells.
Equipped with an alphabet of the sort developed in this paper and the associated algorithms for efficiently rounding off continuous motions to nearby discrete representatives, intelligent actions of robots in the world can be approximated with finite sequences of characters, thereby forming the foundation of a language in which robot motion is articulated.
At the macroscopic scale, the world can be thought of as continuous. Coarse descriptions of this continuous world are used by intelligent systems (e.g., humans and computers) to classify objects, actions, and scenarios. The classical “signals to symbols” problem in artificial intelligence (AI) seeks to bin everything in the continuous world into countable classes characterized by strings of discrete symbols, such as the letters in an alphabet. In a sense, this is the inverse problem of what the genetic code does, since the finite alphabet encodes the morphology and metabolism of every living creature that moves in the continuous world and processes information with an analog brain.
Discrete alphabets (including the Roman alphabet, the radicals that form characters in Asian languages, sign language, etc.) form the basis for all human languages . All discrete characters can be reduced to a binary code, e.g., ASCII or Morse code in the case of western letters. The efficiency of an alphabet (or a code) depends on how much information can be conveyed with a given number of symbols, and how difficult it is to convey those symbols. For example, since the letter “e” is the most often used symbol in the English language, it is represented by a single “” in Morse code. Perhaps the simplest and most widely occurring motion of a robot is the “nil motion”, or identity element of the motion group, describing the “home” pose (position and orientation), which coincidentally can be denoted simply as “”. All other elements of our motion alphabet will be written as a product of the form where , a crystallographic space group, and , a finite group of rotational symmetries.
As an example of how discrete symbols classify the world, consider how each of the following sentences describes a class of situations in which there is continuous freedom which becomes more restricted as the number of discrete symbols increases:(1)The cat is on the table.(2)The black cat is sitting on the table.(3)The black cat is sitting on the table and looking at you.
In (1), the cat could be of any color and lying down, sitting, or standing in an infinite variety of postures. The color and posture of the cat get somewhat restricted as the sentences get longer, but we still do not know how the cat is sitting, what its tail is doing, how big it is, its weight, the color of its eyes, etc. Indeed, the sentence would need to be quite long to hone in on what is actually going on, hence the old saying “one picture is worth a thousand words.”
The basic problem that must be reconciled by intelligent robots is to approximate, or round off, continuous objects and actions within a discrete descriptive framework and then truncate the discrete description at some finite level given limitations on computational and sensing resources. This is true in both machine-learning (ML) frameworks such as deep learning and classical AI. A specific kind of rounding off (of Euclidean motions) is the main subject of this paper, which is about making precise the round-off statement in the context of motions of objects and intelligent agents in the world.
A real-world problem that can be addressed using this discrete description of motions is robot motion planning, which is one of the fundamental topics in the field of intelligent robotics. It has a wide range of applications such as autonomous vehicles [2–4], mechanical parts assembly [5, 6], space on-orbit manipulations , and protein folding . In general, motion planning seeks to answer the query: “how to plan a path that guides the robot from a given start pose to an end pose subject to some geometric or dynamical constraints”. And a popular way that has been applied for decades is to build a “roadmap” , which is basically a graph structure consisting of valid vertices and edges. A large number of efficient algorithms have been proposed such as visibility graph , Voronoi graph , cell decomposition , probabilistic roadmap , and their variants. For a given environment and constraints (obstacles, nonholonomic constraints, etc.), a roadmap provides information with qualified vertices and connectivity among nearby vertices. And once a query is submitted, graph searching algorithms give a valid optimal sequence of motions from the roadmap. Although a roadmap method is able to answer multiple searching queries, when the environment is changing, those vertices or edges information needs to be updated. To some extent, quantizing a continuous motion of the robot from a predefined motion alphabet is closely related to the roadmap concept. However, the advantage lies in the storage and representation of the motion sequences—once a rich library of alphabets is built a priori, representing different motions in different environment subject to different constraints is just a matter of combinations and ordering of the alphabet indices.
The major contributions of this paper are listed as follows:
(1) A “signals to symbols” framework for Euclidean motions based on double-coset decomposition is proposed and its properties are analyzed.
(2) Concrete formulations of the motion alphabet are constructed through crystallographic symmetry.
(3) Fast decoding algorithms via coarse-to-fine double-coset decomposition are proposed and numerically verified.
(4) Comparisons with existing methods for discretizing the Euclidean group and decoding random motions are performed.
(5) A fast hybrid search method that incorporates some existing sampling methods for rotation group with good dispersion or discrepancy properties has been proposed and verified.
The remainder of this paper is structured as follows: In Section 2, a review of the immense literature on machine intelligence as it applies to intelligent robot action in the world is provided. This is a rapidly changing field and impossible to capture in full detail, but some classical highlights are covered. Section 3 reviews some relevant aspects of abstract group theory. This is made concrete in Section 4 which focuses on the group of rigid-body motions. Section 5 reviews crystallographic symmetry, which is a source of discrete symbols from which a motion alphabet is constructed. In Section 6, we develop a motion alphabet by “dividing up” the group of rigid-body motions via fine double-coset decomposition based on a crystallographic Sohncke space group and the subgroup of rotational symmetries of the icosahedron. Section 7 presents other choices for motion alphabets and solves the decoding problem efficiently by introducing a coarse-to-fine search scheme. In Section 8, comparisons with existing methods for sampling rotations and Euclidean motions are performed, and it is shown how our alphabet can be used as a geometric data structure to enhance the speed of these other motion-approximation methods.
2. Literature Review
This section reviews two largely disjoint areas of the literature: (1) the interface between group theory and machine learning and AI; (2) sampling methods and measures of their quality.
2.1. Lie Groups in Machine Learning and AI
The recognition of human (and humanoid-robot) actions has been studied from many different perspectives including [14–19]. Probabilistic graphical models , generative models , and recently “SE3-nets”  have been used to describe motion uncertainty in the context of learning. Works on vision and reasoning use concepts of quotient operations to mod out irrelevant information [23–25].
Group-theoretic methods (and abstract algebra more generally) can be found sprinkled throughout the AI literature [26–32]. Although group theory has long history [33–35], it is still a useful and popular tool for solving problems related to motions [36–40].
Of particular importance in the current context is the relationship between artificial intelligence and machine learning. AI arose as a branch of cybernetics, focusing on artificial aspects of reasoning and cognition, thereby leading to a redefinition of cybernetics to focus on information and control. Machine learning (and particularly deep neural networks) led by Hinton, LeCun, Bengio, and others can be viewed as an alternative to classical AI [41–45]. Recently, geometric and algebraic methods are being explored in some forms of machine learning [46–48].
The goal of this paper is to develop an alphabet of basic motions from which discrete words that capture the essence of a continuous motion/action are constructed. Throughout the literature, discretization of motions has attracted significant interest, where the Euclidean group is one of the popular ones . In particular, the uniform sampling of rotations, either random or deterministic, has a wide range of applications [50–56]. This is also one of the applications that this work will address. The discretization of the continuous motions will generate part of a dictionary. This dictionary will, in the future, serve as the knowledge base for an expert system that will enable the robot to function at first use “right out of the box.”
2.2. Measurements of Sample Quality: Discrepancy, Dispersion, Consistency, and Uniformity
Sampling rotations in an efficient way play important roles in several fields including computer graphics [50, 57], protein crystallography , molecular physics , materials science , and robot motion planning [53, 55].
Several measures of the quality of a finite sampled set of rotations have been proposed in the literature. One is discrepancy as defined and used in [53, 61, 62]:where is a collection of measurable subsets of SO(3), is a finite set of sample points in SO(3), and is the number of elements in the finite set . This concept was updated recently to include products of motion groups .
Natural measures of distance between rotations, or between rigid-body motions, can be computed in a variety of different ways, as reviewed in detail in .
Given any such metric, , the dispersion of the points can be computed as where is a set of the sampled elements in SO(3).
In addition to discrepancy and dispersion, many other measures of sample quality can be defined. For example, a sampling can be called consistent if the distribution of the round-off error for any random rotation is concentrated. Therefore, we define the consistency of a set of samples on SO(3) aswhere and is the standard deviation of the set of distances between each sample point and its nearest neighbor. Here a low value of indicates high consistency. For example, if is zero, then every point in the set has nearest neighbors of the same distance. Moreover, if each point in the set has many neighbors that achieve the minimal value of distance, then the set has a high level of uniformity, which can be quantified as follows. For each compute the subset as Then the cardinality of this set measures the number of equally close nearest neighbors to , and uniformity weights this by the spread of this number:where a high value indicates high uniformity. The numerator reflects the number of nearest neighbors for the worst sample, and the denominator reflects the spread (with included since the difference between max and min can be zero).
For example, an integer lattice in 3D Euclidean space has a high level of uniformity with regard to the Euclidean metric, with each point having six nearest neighbors, each with the same minimized value of distance, and so and . A spherical close-packing can have an even higher value of .
3. Some Relevant Aspects of Group Theory
The alphabets constructed in this paper consist of carefully chosen elements of the group of rigid-body motions, drawn from fundamental domains of double-coset spaces. Since this terminology might not be familiar to some readers with an interest in the topic, the relevant concepts from group theory are reviewed here. The concept of a group itself is assumed to be known.
3.1. Definitions and Properties
Let a group and a subgroup be given. For an element , the corresponding left coset is defined as Analogously, the respective right coset is defined as
A subgroup is called a normal subgroup of if it is conjugated to itself; for all . If is both a normal and a proper subgroup of , then it is denoted as .
A group can be divided into cosets (left or right), all with the same number of elements, and the set of all these cosets is called a coset space. In general, the left-coset space and the right-coset space are different from each other, except when is normal in G (), in which case for all . In this special case is a factor (or quotient) group.
Given two subgroups , it is also possible to define double cosets and the corresponding double-coset space,
Given a left-coset decomposition with respect to a subgroup , it is possible to define a (nonunique) fundamental domain consisting of exactly one element per left coset. Since a group can be partitioned into disjoint cosets, it is and(and analogously in the right-coset case ). It is important to note that we are generally dealing with unions of disjoint sets in this paper. When , such fundamental domain is a group with respect to the original group operation modulo , and this group is isomorphic to .
Given two subgroups , the corresponding double-coset decomposition is and we further have thatwhere is a fundamental domain for the double-coset space consisting of exactly one element per double coset. When is a Lie group (i.e., when has the structure of a differentiable manifold, and when further the group operation and inversion are compatible with this smooth structure) and are discrete subgroups, then such fundamental domains and will have the same dimensionality as , but smaller volume.
When is a Lie group, one way to construct fundamental domains is as Voronoi-like cells: Since is a smooth manifold, a proper distance function (metric) exists, and we can definewhere is the identity element of , and when ,Above we have defined the interior of fundamental domains. The union of the corresponding shifts of these open sets will not in general completely exhaust G (cf. (16) and (18)). However, a set of measure zero will at most be missing, which is not relevant for our practical purposes.
A unimodular Lie group is one for which there exists an integration measure, , or equivalently a volume element , such that for every integrable function , In the case of a compact Lie group such as , .
In terms of Euler angles , it is well known that the volume element for SO(3) is  Consequently, sampling uniformly in Euler angles leads to clumping of samples around and , and under sampling near .
Some authors therefore sample nonuniformly, by making a change of coordinates as . Then , and . This results in equivolumetric portioning of in the coordinates with volume element
However, equipartitioning into units of equal volume is not the same as equipartitioning into units of equal shape. One attempt to partition based on shape arose nearly 50 years ago in the context of protein crystallography, where Lattman  realized that the metric tensor for SO(3) as expressed in Euler angles could be diagonalized by changing to . This diagonalization does not change the volume element, which remains .
Group theory has been a cornerstone in all areas of the physical sciences including crystallography, classical mechanics, quantum mechanics, chemistry, and particle physics. Moreover, in classical works on finite automata theory, attempts were made to incorporate the theory of finite groups [26–28]. Many roboticists and computer vision researchers know about the special Euclidean group , which is a Lie group that describes rigid-body motions. This will be discussed later, after first reviewing the group of pure rotations.
3.2. A Concrete Example: The Rotation Group
In the following, the abstract definitions are illustrated with a concrete example. The set of rotation matrices is called the special orthogonal group and is denoted as . That is,where is the identity matrix. Here the group operation is simply matrix multiplication. It is not difficult to show that is the group identity, given any two that the matrix product , and that is the inverse of .
Explicitly for , elements of the associated Lie algebra , which correspond to infinitesimal rotations, are skew-symmetric matrices and the matrix exponential (or exponential) map gives where is the dual vector corresponding to . The opposite operation gives . The parameters , , and can be thought of as Cartesian coordinates in the Lie algebra , and when these coordinates are restricted to the range , they can be used to parameterize all of through the exponential map. When the point is at the boundary. In such a case and describe the same rotation, and so one model for is that of a solid ball of radius in Euclidean space, with antipodal points identified as being equivalent, or “glued.”
The inverse map for each is the matrix logarithm. This degenerates when the rotation angle is . By restricting the discussion to the case when , the logarithm is uniquely defined on a subset of depleted by the set of measure zero defined by . This depletion will have no effect on our formulation. Indeed, we can define the metric when is not a rotation by , and otherwise .
It is interesting to note that the above distance function for is bi-invariant; i.e., Using this particular metric it is possible to construct Voronoi cells (in the classical sense) in for fundamental domains and , because then (19) and (20) becomeandrespectively.
Of particular interest to us are the cases where is one of the finite groups of rotational symmetries of the Platonic solids. This is shown in Figure 1 (see also ). In this figure the fundamental domains are depicted in exponential coordinates in (identified with a ball of radius , as explained above). Note that this is a conceptual plot, since actually the edges and faces of these Voronoi cells are slightly bent. The number of elements in is 12 for the group of tetrahedral, for the group of octahedral, and for the group of icosahedral rotational symmetries. By the left (or right) action of on the respective fundamental domain, it is possible to (almost completely) cover ; cf. (16).
The coset spaces resulting from quotienting the rotation group by discrete subgroups have been studied in the pure mathematics literature under the names “spherical space forms”  and Poincaré homology 3-spheres . The geometric and topological properties of these manifolds are related to how the opposing faces of our tiles can be glued together.
If is the group of rotational symmetry operations of the icosahedron, then and can be viewed as a dodecahedral cell centered at the origin of the Lie algebra (see Figure 1, right). If we choose the second subgroup to be a conjugated group of the tetrahedral, octahedral, or icosahedral symmetries (i.e., , where is the group of the rotational symmetries of the respective Platonic solid and is chosen such that ), then the Voronoi cell takes a shape as exemplarily shown in Figure 2. On the other hand, if we choose , then cannot be constructed as a Voronoi cell, but it can be chosen as an irregular tetrahedron (the ruby region in Figure 3), yielding a subdivision of the dodecahedral cell by conjugation of the tetrahedron with the elements in . Note that such conjugation has the effect of rotation in since . Similarly, if , then a -fold division of can be computed to represent , and can be reconstructed from these pieces, again by conjugation.
When choosing to be icosahedral and or , this means that we can divide into 3600 pieces of equal size. The 3600 respective barycentric or Voronoi centers of these cells can be taken as a discretization of , and any of these centers can be written in a unique way as where with . This means that any one of the 3600 points corresponds to a two-letter word .
A natural question to ask is then, for , how do we find the closest word to approximate it? This decoding or “signals to symbols” problem is addressed in Section 7.1.
4. Rigid-Body Motions as a Group Used for Framing Robots
Given any rigid object or multi-rigid-body actor (such as a human, robot, self-driving car, or smart house), the behavior and use of this item involve the time evolution of its conformation and its overall position and orientation, or “pose”. A common descriptive framework for both the internal (conformational) degrees of freedom and their relative pose (configuration) is to attach reference frames on each rigid component.
Let denote a rigid-body motion relative to a reference frame fixed in space, where is a rotation matrix and is a translation vector. The set of all such motions forms a six-dimensional Lie group, the special Euclidean group . This is a group because the composition operation satisfies the properties of closure and associativity, the identity exists and is simply (with zero translation), and the inverse of is . Note that is not commutative (Abelian). The group operation is the same as multiplying homogeneous transformation matrices; i.e.,
In the case of planar motions, we deal with the special Euclidean group , where is parameterized by a single angle , and has components , totalling three degrees of freedom. is the group of rotations in , defined analogously to (23). In general, is an example of an outer (or external) semidirect product which combines the two groups and into the new group The underlying set of this group is the Cartesian product , but the symbol ⋉ reflects the fact that the group operation is not simply , which is also a group (called the direct product), but does not reflect the way that rigid-body motions work.
The next section reviews the handedness-preserving (Sohncke) crystallographic space groups, which are discrete subgroups of and which form an important component of the motion alphabets developed in this paper.
5. Crystallographic Groups
A crystallographic group is a discrete (and also cocompact) subgroup of the Euclidean group , where is the orthogonal group consisting of all orthogonal real-valued matrices (defined as in (23) for , but also allowing there). In addition to rotations, the group also contains reflections and rotoreflections (improper rotations). If , a crystallographic group is commonly called a space group, for , it is referred to as a wallpaper group. The literature on mathematical crystallography is immense and spans many decades. Some notable introductions include [68–71]. The relationship between torsion-free crystallographic groups (i.e., Bieberbach groups; see below) and flat manifolds has been studied extensively [72–76].
Elements of a crystallographic group can be expressed as pairswhere (a discrete point group, i.e., a subgroup of ), (a lattice in ), and . In particular, is the translational part of a glide-reflection or screw-displacement lattice motion. In general will satisfy the cocycle identities where is the subgroup of pure (or primitive) translations in , which is always normal (). The “” removes components in the sum that are in , in analogy with, for example, in modulo- arithmetic.
If an element is of finite order (i.e., if there exists an such that ), it is called a torsion element. The group is called torsion-free (or a Bieberbach group) if it is free of torsion elements. This is equivalent to the property that no element other than the identity has a fixed point (i.e., a point with ). If in (33), then can be written as the semidirect product and the group is called symmorphic. Of the 230 possible types of space groups, 73 can be decomposed in this way. These are the symmorphic space groups. Bieberbach groups are not symmorphic.
In the theory of crystallographic groups, a well-known isomorphism is due to the above-mentioned fact that the translation subgroup of is normal: Moreover, it can be shown that is not only discrete, but must be finite. In the case the point group will belong to one of 32 discrete crystallographic point groups that constitute the so-called crystal classes.
In the context of space groups, we can distinguish between Bieberbach (i.e., torsion-free) groups as one extreme, and groups which contain only the identity and torsion elements (rotations, reflections, and improper rotations) as the other extreme, with all other space groups lying somewhat “in between.” For a symmorphic space group , a Bieberbach subgroup with minimum index in is the subgroup of primitive translations; for many nonsymmorphic space groups, on the other hand, there is a Bieberbach subgroup with index allowing for a decomposition of as a group product [77, p. 719]where is a proper subgroup of , and thus . If , then (36) is an inner (or internal) semidirect product (). In this case, the decomposition is unique for each . Another useful property is that each of the 65 Sohncke space groups (i.e., handedness-preserving space groups ) can be written as a productwhere and are, respectively, Bieberbach and symmorphic subgroups (see [77, Thm. 3]). If and or is normal, then (37) is an inner semidirect product, and for every there exist unique and such that . If both and are normal, then is decomposed into the inner direct product .
6. A Motion Alphabet Based on a Fine Double-Coset Decomposition
The essence of language is communicating information about the continuous world using a finite number of symbols, characters, or patterns. In the same spirit, in classical AI, a fundamental goal is to convert perceptual information from the continuous world to strings of symbols drawn from a finite alphabet, so that the machinery of finite-state automata reasoning can be applied. Every action of a robot in the physical world can be described as a sequence of paths in . Such paths are continuous mathematical trajectories which can be viewed as “signals”.
A fundamental problem in AI and sensory perception is the so-called “signals to symbols” problem [78–80], in which observations in the continuous world are converted to coarsified representations (i.e., symbols), on which AI systems can execute logical reasoning algorithms. A natural way to discretize the space of paths is to first discretize time, thereby reducing the infinite dimensions of the path space to a finite number of dimensions, and then to replace each sampled pose on the path with a rounded-off version in a discrete set (the alphabet of maneuvers). Because does not have dense subgroups, a clever discretization needs to be constructed.
In the three-dimensional case, one of the finest space groups is which has a total of 24 rotational elements corresponding to the rotational symmetry operations of a cube (cf. [69, p. 634f]). Therefore, if we want to quantize rigid-body motions with a resolution that is reasonable for real-world tasks, something finer than rounding off to the nearest element of is necessary.
Building on ideas introduced in the context of protein-packing models in X-ray crystallography [55, 65, 77, 81, 82], we can augment by an auxiliary discrete rotation group. For example, let denote the group of rotational symmetries of the icosahedron (as a discrete subgroup of ). has 60 elements, and there is no lattice of discrete translations that corresponds to it. In particular, and , the identity element. This means that the double-coset space is a compact Riemannian manifold. It is possible to define a compact fundamental domain using (20). Restricting the quotient map from to to the fundamental domain then gives a bijective (i.e., one-to-one) mapping from to . Moreover, the action of (from the left) and (from the right) gives a way to tile with disjoint shifts of , because (cf. (18))Intensive study of the fundamental domains and has been conducted (ibid.).
When the fundamental domain is constructed using (20), it has the identity element at its center, and so the tiling in (38) has the effect of sampling each center point by moving from to where and . In other words, the product can be used as a quantized version of . The number of rotational elements will be which is sufficiently fine to capture the essence of any frame along a trajectory during a robot task. The alphabet defined by is infinite, but by limiting the extent of translations to be contained in a bounded region, it becomes finite. This means that continuous trajectories can be translated into a finite string of alphabet characters (Figure 4). This opens up the possibility of mapping these quantized trajectories into words expressed in a natural language.
An important advantage of the quantization scheme (38) is that the shifted fundamental domains will all have the same volume; i.e.,where is the (left- and right-invariant) Haar measure on the (unimodular) Lie group . This means that the centers of these shifted fundamental domains used for quantization at the same time also allow for a very uniform sampling of the group .
7. More Alphabets and Coarse-to-Fine Decoding Algorithms
As explained above, after wisely designing a pair of discrete subgroups with , we can construct a fundamental domain as in (20) and decompose as in (38). There are many other ways to choose and , as explained in . A particularly simple choice is the Cartesian productwhere is the point group of and the lattice of primitive translations. Alternatively, given decomposition (36), another natural choice is Here and are not (double-)coset spaces—because and —but are orbit spaces consisting, respectively, of orbits and (, ). The fundamental domains and above can be constructed by choosing exactly one point per orbit, which is consistent with the definitions in Section 3. Different fundamental domains such as those above can be used to express different quantizations via (38).
7.1. The Purely Rotational Case
The choice for in (40) allows us to bootstrap off of the fundamental domains for double-coset spaces for discussed earlier. In fact, we can go even further and describe an motion trajectory in (as a direct product rather than a semidirect product). This is not merely to make things easier—viewing pose change trajectories in this way has some advantages, as described in , where the direct product is called the pose change group and is denoted as . Therefore, below we describe in some detail how the “signals to symbols” problem can be solved efficiently in the purely rotational case.
Since (40) is a set rather than a group, we can view it as a subset of either or . Either way, the general decoding problem reduces to this: Given , and , how can we efficiently find the unique pair such thatwith ? In particular, if the Voronoi choice is made for , solving (42) allows for simply rounding off to , as indicated in Section 3.2.
The question then becomes how to do this. With the crystallographic constraint, in it is possible to define such that (octahedral symmetry) and (icosahedral symmetry), leading to combinations. In , on the other hand, subgroups need not be restricted to the crystallographic constraint, and we can have more rotational elements (see below). The question is, is there a better way to test for and than two nested for loops over and resulting in a large number of evaluations to find where is minimized, which is equivalent to solving (42) when the Voronoi choice is made for ?
The answer is positive, and we shall now present a technique to achieve this. Consider the double-coset space , where is the group of rotational symmetries of the icosahedron and is a conjugated group, with being chosen so that . It is thus . We can construct a fundamental domain for the coset space as a dodecahedral Voronoi cell (cf. (28) and Figure 1, right). Due to the Voronoi property, we can find the shifted tile containing the rotation of interest by computing the distance of to the 60 tile centers . We then know that lies in the identity-centered tile . We can construct the fundamental domain for the double-coset space as a Voronoi cell, too (cf. (29) and Figure 2, right). Since the shifts of this identity-centered fundamental domain will cover , they will also cover . However, the number of required shifts will be much smaller than . Indeed, we found that approximately shifted fundamental domains are sufficient when the conjugation element is empirically chosen, for example, to minimize the extent of . We chose in this particular way so as to minimize the round-off error in the quantization scheme. We can now quickly find the shifted fundamental domain containing the above by exploiting the Voronoi property of these shifted domains. We then have that , and so the decomposition (42) is found. Instead of the 3600 distances on , in the above technique, we have to compute only about distances, resulting in a potential speedup of approximately . We further exploited the fact that , the trace wherein can be computed efficiently as as well as the fact that if and only if .
An even more efficient decoding algorithm can be obtained when considering the double-coset space , where is the group of rotational icosahedral symmetry. Here again we can use the dodecahedral Voronoi fundamental domain for the coset space and find the shifted tile containing the rotation easily as described above. As a fundamental domain for the double-coset space, we can choose the tetrahedral wedge shown in Figure 3. We can find the conjugated wedge containing the “pulled-back” rotation by using one of the standard query methods. We then know that , and so (42) is solved.
We note that as is the case in Section 6 (cf. (39)), the shifts of the fundamental domains and above all have the same volume, which is an important advantage of the double-coset approach presented in this paper.
7.2. Planar-Motion Alphabets Based on Wallpaper Groups
As mentioned in Section 5, crystallographic groups are called wallpaper groups in the two-dimensional setting. Figure 5 shows fundamental domains constructed using (19) for instances of the well-known wallpaper groups (cf. [69, Chap. 6]) , , , , and (see also ), all of which are symmorphic. Here is identified with , with the and axes representing translations in and direction and the axis representing the rotation angle . These fundamental domains are generated using the Euclidean metric on , adapted so as to take into account the -periodicity in the rotation angle . It is important to note that this metric is left- but not right-invariant (there is no bi-invariant metric on ). Therefore, the fundamental domains shown in Figure 5 are actually Voronoi rather than Voronoi-like cells (as is the case for , cf. (28)).
The group consists solely of translations, constituting a parallelogrammatic lattice in the translational - plane. This results in a box with (irregular) hexagonal shape in the - plane and height as the fundamental domain . In addition to the translations in , the wallpaper group also contains a rotation of order two (i.e., with angle ). Therefore, the fundamental domain also has a hexagonal shape in the translational plane, but the height is only (from to ) instead of . The group is a group with rotations of order four (i.e., with angles , , and ), as well as translations in a square lattice. Thus the fundamental domain has the shape of a square in the translational plane, with its height being (from to ). The groups and both have a hexagonal translation lattice. In addition to these translations, contains rotations of order three (rotation angles and ), while contains rotations of order six (rotation angles , , , , and ). Both fundamental domains and have a regular hexagonal shape in the translational plane, with a height of (from to ) and (from to ), respectively.
As an example of a planar-motion alphabet similar to the one described in Section 6, let us consider the double-coset space with and , whereis the group of rotations of order (). It is and so we can construct a fundamental domain as a Voronoi-like cell using (20). This is shown in Figure 6 for . In fact, because the left-invariant metric used here is also invariant under purely rotational actions from the right, the fundamental domain is a classical Voronoi cell here, too (again as in the case of , cf. (29)). Analogously as in Section 6, we can use the alphabet for an equivolumetric quantization of , which at the same time allows for a very uniform sampling of the group. Because the scaling of the translational lattice in the wallpaper groups is arbitrary, we can make the alphabet arbitrarily fine by reducing the translational scaling in and increasing the parameter above.
To illustrate the use of the planar-motion alphabets constructed above, let us consider the trajectory , , where is a rotation by an angle of and We may discretize at the five equidistant time points , . As a motion alphabet for , let us use . We can denote the elements of by with the index as in (45). Let us denote the elements of as , where and denote the translation in and direction, respectively, while indicates a rotation by an angle of . The continuous motion trajectory can now be expressed as the sentence , , , , .
To close this section, we shall discuss how such decoding problem can be solved efficiently. We can use the same coarse-to-fine search scheme that we used in the purely rotational case in the previous section: In a first step, for a given element , we find such that . This step is particularly easy in the case of when compared with, e.g., the group (with anisotropic translational lattice). In fact, as implied by Figure 7, in the case of the above step can be realized by appropriately rounding off (in the decimal sense) the translational components of , as well as the rotation angle. In the case of , on the other hand, we would have to compute the distances of to the Voronoi centers. In a second step, we search for the shifted fundamental domain containing the pulled-back element by a purely rotational search. The decomposition of then reads with . Of course it is also possible to first treat the translational part of and then, say, the rotational part. With appropriate modifications, the above coarse-to-fine decoding scheme can also be used with the fine alphabet for developed in Section 6.
8. Comparisons and Applications
To clearly demonstrate the advantageous potential of our proposed discretization and decoding algorithms, we provide comparisons of performance with existing methods and introduce a hybrid sampling method to take advantage of the speed and low dispersion properties.
8.1. The Accuracy and Speed of Rounding Off Motions
8.1.1. Uniformity of Sampling on SO(3)
Discretization on SO(3) is an important application of this work, which gives equivolumetric decomposition of the group in the sense that any rotation is located inside an identical Voronoi cell. The uniformity is essential to evaluate how good a sampling method is, and can be measured by dispersion, discrepancy, consistency, etc., as introduced in Section 2.2. For the computations of dispersion and consistency in this work, is the distance metric defined in Section 3.2.
We compare the dispersion (3), consistency (4), and uniformity (7) of our method in sampling from SO(3) with uniform Euler angles and uniform sampling using Hopf fibration . For the dispersion comparison, we randomly generate 10000 rotations and compute the distance with the nearest sample. The maximum value of these 10000 resulting distances approximates the dispersion. For the consistency, on the other hand, for each sample, we compute the distance to its nearest sample and take the standard deviation. And for the uniformity measure, we compute the number of nearest neighbors of each sample.
For our method, we decompose SO(3) using the double-coset space , where is the group of rotational symmetries of the icosahedron and , where is chosen such that We found that the 181 shifted fundamental domains with center closest to the identity are sufficient to cover . And for the Euler angle, we choose parameterization and uniformly generate and within their range and such that .
In terms of the dispersion, our method is higher than the other two methods: the dispersion of ours is 0.4291, Hopf fibration method is 0.2690, and Euler angle method is 0.3401. However, for the consistency, ours can achieve 0 deviation, while Hopf is 0.0264 and Euler angle is 0.0865. This consistency result is a significant advantage of our method in the sense that the sampling grid always has equi-distance edges. Also since the number of nearest neighbors with minimum distance for our method is always 2, the uniformity is 2. This also outperforms the other two methods, where Hopf fibration has a uniformity of 0.25, and Euler angle is only 0.0303. The results show that our method can be used in uniformly sampling rotations from SO(3).
8.1.2. Computational Time of SO(3) Nearest Neighbor Search
Another key factor for performance evaluation is the running time when searching for the nearest sample for a random rotation. A common and efficient way is using the Euler angle parameterization. Suppose we are given a set of sample points constructed using Euler angles (either with or without sampling, or Lattman’s diagonalization of the metric tensor, as discussed in the Introduction). Then given an arbitrary rotation, , one can compute its Euler angles and attempt to round off to the nearest Euler angles in the sample set as . This is simple and fast to compute, but because Euler angles are not an equi-metric spacing, the resulting rounded rotation matrix may not be the closest of the sampled rotations to . In contrast, our method is both fast and accurate in the sense of metric round-off.
To illustrate this, we perform a comparison here at an Intel Core i7-4790 CPU at and with Matlab R2018b. For our method, we use the double-coset space , where we have a faster version of the decoding algorithm. Comparisons are performed with the Euler angle searching method (described above). 1000 random rotations are generated and localized to the nearest sample from the sampling list. The accuracy of computing the nearest neighbor is evaluated using the brute-force nearest neighbor search (i.e., minimization of the distance with respect to both and ).
The result shows that the proposed decoding algorithm yields an average runtime for each search at around in our method, while the Euler angle method runs per rotation. Both methods are at the same level of efficiency, but ours outperforms in terms of round-off accuracy. Figure 8 shows the minimum distance between the queried rotations (50 of all the testing rotations are shown for a clearer plot) to the set of samples. Ours can always find the true nearest neighbor, while Euler angle sometimes returns the sample which is not the nearest to the queried rotation.
8.2. Combining the Benefits of Speed and Good Dispersion Properties
Sampling methods such as those based on the Hopf fibration were designed for good performance in terms of minimal dispersion and consequently outperform both Euler angles and our sampling scheme in terms of minimizing dispersion. Ours was designed for rapid query. However, if one wants both, it is possible to simply combine them in a natural way as follows:
(1) Partition any given set of sample rotations with desirable properties (such as dispersion and discrepancy) by determining in which shard each sample point belongs.
(2) Given an arbitrary rotation, determine to which double-coset fundamental domain it belongs.
(3) Compute the distance between the arbitrary given rotation and all sample points in the same shard, and those in the nearest surrounding shards.
In this scheme the number of sample points could be in the same order or even much higher than the number of shards.
We perform a numerical experiment to verify this proposed hybrid searching method using the decomposition. As a preprocessing step, we first compute the nearest neighbors for each of the 60 elements in , and we find that each rotation is surrounded by 12 neighbors. This step is to construct a connectivity map for the single-coset space or, in other words, for each icosahedron cell. Then we uniformly sample 10000 rotations using Hopf fibration, which is known to have low dispersion and discrepancy. For each sample, we decompose the rotation group via our proposed fast decoding algorithm and precompute a list of index pair, which locates the cell and shard of those samples. Afterwards, we randomly generate 1000 rotations and the goal is to find their closest sampling rotations. For each of the random rotations, we decompose it, locate the cell (determined by the first index), and then calculate the minimum distance with all the samples located in the same cell and the 12 neighboring cells. By using this hybrid method, the running time is around 5 times faster than the brute-force searching method, and the resulting minimum distance is verified to be correct.
Another experiment has also been performed using the decomposition. The difference with the previous test is the preprocess, where here we precompute the nearest neighbors for the 3600 elements, where . This is equivalent to finding the neighbors of each shard in the double-coset space. The same sampling and testing sets are input into the hybrid algorithm and we achieve a speedup of around 20 times than the brute-force method. Also, the resulting minimum distance is verified as accurate.
Robot tasks involve continuous motions in space. The quantization of these motions by introducing a class of motion alphabets has been established in this paper. With such an alphabet, continuous motion trajectories can be captured with finite words/sentences. It was demonstrated in some examples how the possibility of constructing fundamental domains for coset and double-coset spaces as Voronoi or Voronoi-like cells can be used to solve this decoding or “signals to symbols” problem efficiently via a coarse-to-fine search scheme. The performance, such as uniformity, of the proposed group discretization method and the fast decoding algorithms are compared with other existing methods. The alphabets developed here will be used in the future to facilitate the connection between advances in artificial intelligence (such as the use of artificial neural networks) and physical robots acting in the world.
The findings and opinions expressed here are only those of the authors, and not of the funding agencies.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this article.
This work was performed under Office of Naval Research Award N00014-17-1-2142 and National Science Foundation grant CCF-1640970. The authors gratefully acknowledge the supporting agencies.
- M. Studdert-Kennedy, “How did language go discrete,” Evolutionary Prerequisites for Language, 2005.
- A. Sgorbissa, “Integrated robot planning, path following, and obstacle avoidance in two and three dimensions: Wheeled robots, underwater vehicles, and multicopters,” International Journal of Robotics Research, vol. 38, no. 7, pp. 853–876, 2019.
- Z. Shiller and Y.-R. Gwo, “Dynamic motion planning of autonomous vehicles,” IEEE Transactions on Robotics and Automation, vol. 7, no. 2, pp. 241–249, 1991.
- D. Dolgov, S. Thrun, M. Montemerlo, and J. Diebel, “Path planning for autonomous vehicles in unknown semi-structured environments,” International Journal of Robotics Research, vol. 29, no. 5, pp. 485–501, 2010.
- A. Gandia, S. Parascho, R. Rust, G. Casas, F. Gramazio, and M. Kohler, “Towards automatic path planning for robotically assembled spatial structures,” in Robotic Fabrication in Architecture, Art and Design, pp. 59–73, Springer, 2018.
- M. Dogar, A. Spielberg, S. Baker, and D. Rus, “Multi-robot grasp planning for sequential assembly operations,” Autonomous Robots, vol. 43, no. 3, pp. 649–664, 2019.
- F. Capolupo and P. Labourdette, “Receding-horizon trajectory planning algorithm for passively safe on-orbit inspection missions,” Journal of Guidance, Control, and Dynamics, vol. 42, no. 5, pp. 1–10, 2019.
- N. M. Amato and G. Song, “Using motion planning to study protein folding pathways,” Journal of Computational Biology, vol. 9, no. 2, pp. 149–168, 2002.
- L. Jean-Claude, Robot Motion Planning, vol. 124, Springer Science & Business Media, 2012.
- H. Han-Pang and C. Shu-Yun, “Dynamic visibility graph for path planning,” in Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No. 04CH37566), vol. 3, pp. 2813–2818, IEEE, Sendai, Japan, 2004.
- P. Bhattacharya, M. L. Gavrilova, and L. Marina, “Voronoi diagram in optimal path planning,” in Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD '07), pp. 38–47, IEEE, July 2007.
- F. Lingelbach, “Path planning using probabilistic cell decomposition,” in Proceedings of the IEEE International Conference on Robotics and Automation, 2004 (ICRA’04), vol. 1, pp. 467–472, IEEE, 2004.
- L. E. Kavraki and L. Jean-Claude, “Probabilistic roadmaps for robot path planning,” 1998.
- A. Yilmaz and M. Shah, “Actions sketch: a novel action representation,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR '05), vol. 1, pp. 984–989, June 2005.
- A. Yilmaz and M. Shah, “A differential geometric approach to representing the human actions,” Computer Vision and Image Understanding, vol. 109, no. 3, pp. 335–351, 2008.
- P. Turaga, R. Chellappa, V. S. Subrahmanian, and O. Udrea, “Machine recognition of human activities: a survey,” IEEE Transactions on Circuits and Systems for Video Technology, vol. 18, no. 11, pp. 1473–1488, 2008.
- J. Liu, B. Kuipers, and S. Savarese, “Recognizing human actions by attributes,” in Proceedings of the Conference on Computer Vision and Pattern Recognition, pp. 3337–3344, 2011.
- R. Vemulapalli, F. Arrate, and R. Chellappa, “Human action recognition by representing 3D skeletons as points in a lie group,” in Proceedings of the 27th IEEE Conference on Computer Vision and Pattern Recognition (CVPR '14), pp. 588–595, Columbus, Ohio, USA, June 2014.
- K. Hausman, S. Niekum, S. Osentoski, and G. S. Sukhatme, “Active articulation model estimation through interactive perception,” in Proceedings of the 2015 IEEE International Conference on Robotics and Automation, ICRA 2015, pp. 3305–3312, USA, May 2015.
- D. Koller and N. Friedman, Probabilistic Graphical Models: Principles and Techniques, MIT Press, Cambridge, MA, USA, 2009.
- M. Leyton, A Generative Theory of Shape, Springer-Verlag, Berlin, Heidelberg, Germany, 2003.
- A. Byravan and D. Fox, “SE3-nets: learning rigid body motion using deep neural networks,” in Proceedings of the 2017 IEEE International Conference on Robotics and Automation, ICRA 2017, pp. 173–180, Singapore, June 2017.
- S. Soatto, “Actionable information in vision,” in Proceedings of the 12th International Conference on Computer Vision, ICCV 2009, pp. 2138–2145, Japan, October 2009.
- Y. Li, C. Fermuller, Y. Aloimonos, and H. Ji, “Learning shift-invariant sparse representation of actions,” in Proceedings of the 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2010, pp. 2630–2637, USA, June 2010.
- L. Zhang and B. Zhang, Quotient Space Based Problem Solving: A Theoretical Foundation of Granular Computing, Morgan Kaufmann Publishers Inc, Burlington, MA, USA, 2014.
- J. Hartmanis, Algebraic Structure Theory of Sequential Machines, Prentice-Hall, Englewood Cliffs, NJ, USA, 1966.
- A. Ginzburg, Algebraic Theory of Automata, Academic Press, New York, NY, USA, 1968.
- M. A. Arbib, Theories of Abstract Automata, Prentice-Hall, Englewood Cliffs, NJ, USA, 1969.
- M. Minsky and S. Papert, Perceptrons: An Introduction to Computational Geometry, The MIT Press, Cambridge, MA, USA, 1987.
- Y. Liu and R. T. Collins, “Computational model for repeated pattern perception using Frieze and wallpaper groups,” in Proceedings of the CVPR '2000: IEEE Conference on Computer Vision and Pattern Recognition, vol. 1, pp. 537–544, June 2000.
- T. C. Henderson, X. Fan, S. Devnani, S. Kumar, E. Cohen, and E. Grant, “Symmetry as an organizational principle in cognitive sensor networks,” UUCS-09-005, University of Utah, 2009.
- C. Kiddon and P. Domingos, “Symmetry-based semantic parsing,” in Proceedings of the 2014 Workshop on Learning Semantics, 2015.
- H. F. Baker, “Alternants and continuous groups,” Proceedings of the London Mathematical Society, vol. 2, no. 1, pp. 24–47, 1905.
- D. A. Suprunenko, Matrix Groups, vol. 45, American Mathematical Society, 1976.
- G. Birkhoff and S. M. Lane, A Survey of Modern Algebra, AK Peters/CRC Press, 1998.
- J. M. Selig, “Lie groups and Lie algebras in robotics,” in Computational Noncommutative Algebra and Applications, pp. 101–125, Springer, 2004.
- R. M. Murray, S. S. Sastry, and Z. Li, A Mathematical Introduction to Robotic Manipulation, CRC Press, Boca Raton, FL, USA, 1st edition, 1994.
- Q. Ma, Z. Goh, S. Ruan, and G. S. Chirikjian, “Probabilistic approaches to the AXB= YCZ calibration problem in multi-robot systems,” Autonomous Robots, vol. 42, no. 7, pp. 1497–1520, 2018.
- A. Müller, “Screw and Lie group theory in multibody dynamics: recursive algorithms and equations of motion of tree-topology systems,” Multibody System Dynamics, vol. 42, no. 2, pp. 219–248, 2018.
- G. S. Chirikjian, R. Mahony, S. Ruan, and J. Trumpf, “Pose changes from a different point of view,” Journal of Mechanisms and Robotics, vol. 10, no. 2, Article ID 021008, 2018.
- Y. LeCun, L. Bottou, Y. Bengio, and P. Haffner, “Gradient-based learning applied to document recognition,” Proceedings of the IEEE, vol. 86, no. 11, pp. 2278–2323, 1998.
- G. E. Hinton, S. Osindero, and Y.-W. Teh, “A fast learning algorithm for deep belief nets,” Neural Computation, vol. 18, no. 7, pp. 1527–1554, 2006.
- Y. Bengio, P. Lamblin, D. Popovici, and H. Larochelle, “Greedy layer-wise training of deep networks,” in Proceedings of the 20th Annual Conference on Neural Information Processing Systems (NIPS '06), pp. 153–160, Cambridge, Mass, USA, December 2006.
- Y. Bengio, “Learning deep architectures for AI,” Foundations and Trends in Machine Learning, vol. 2, no. 1, pp. 1–127, 2009.
- J. Tompson, A. Jain, Y. LeCun, and C. Bregler, “Joint training of a convolutional network and a graphical model for human pose estimation,” in Proceedings of the 28th Annual Conference on Neural Information Processing Systems 2014, NIPS 2014, vol. 1, pp. 1799–1807, Canada, December 2014.
- M. Vejdemo-Johansson, F. T. Pokorny, P. Skraba, and D. Kragic, “Cohomological learning of periodic motion,” Applicable Algebra in Engineering, Communication and Computing, vol. 26, no. 1-2, pp. 5–26, 2015.
- T. S. Cohen and M. Welling, “Group equivariant convolutional networks,” in Proceedings of the 33rd International Conference on Machine Learning, vol. 48, pp. 2990–2999, 2016.
- S. Dieleman, J. De Fauw, and K. Kavukcuoglu, “Exploiting cyclic symmetry in convolutional neural networks,” in Proceedings of the 33rd International Conference on Machine Learning, vol. 48, pp. 1889–1898, 2016.
- J. J. Kuffner, “Effective sampling and distance metrics for 3D rigid body path planning,” in Proceedings of the International Conference on Robotics and Automation (ICRA), Citeseer, pp. 3993–3998, 2004.
- A. James, “Fast random rotation matrices,” in Graphics Gems III (IBM Version), pp. 117–120, Elsevier, 1992.
- A. Yershova and S. M. LaValle, “Deterministic sampling methods for spheres and SO(3),” in Proceedings of the IEEE International Conference on Robotics and Automation, 2004 (ICRA’04), vol. 4, pp. 3974–3980, IEEE, USA, May 2004.
- J. C. Mitchell, “Sampling rotation groups by successive orthogonal images,” SIAM Journal on Scientific Computing, vol. 30, no. 1, pp. 525–547, 2008.
- A. Yershova, S. Jain, S. M. Lavalle, and J. C. Mitchell, “Generating uniform incremental grids on SO3 using the hopf fibration,” International Journal of Robotics Research, vol. 29, no. 7, pp. 801–812, 2010.
- Y. Yan and G. S. Chirikjian, “Almost-uniform sampling of rotations for conformational searches in robotics and structural biology,” in Proceedings of the 2012 IEEE International Conference on Robotics and Automation, ICRA 2012, pp. 4254–4259, USA, May 2012.
- Y. Yan and G. S. Chirikjian, “Voronoi cells in lie groups and coset decompositions: implications for optimization, integration,” in Proceedings of the 52nd Conference on Decision and Control, pp. 1137–1143, 2013.
- R. Blaser and P. Fryzlewicz, “Random rotation ensembles,” The Journal of Machine Learning Research, vol. 17, no. 1, pp. 126–151, 2016.
- K. Shoemake, “Uniform random rotations,” in Graphics Gems III (IBM Version), pp. 124–132, Elsevier, 1992.
- E. E. Lattman, “Optimal sampling of the rotation function,” Acta Crystallographica Section B: Structural Crystallography and Crystal Chemistry, vol. 28, no. 4, pp. 1065–1068, 1972.
- D. J. Evans, “On the representatation of orientation space,” Molecular Physics, vol. 34, no. 2, pp. 317–325, 1977.
- A. Morawiec and D. P. Field, “Rodrigues parameterization for orientation and misorientation distributions,” Philosophical Magazine A, vol. 73, no. 4, pp. 1113–1130, 1996.
- B. Chazelle, The Discrepancy Method: Randomness and Complexity, Cambridge University Press, 2001.
- J. Matousek, Geometric Discrepancy: An Illustrated Guide, vol. 18, Springer Science & Business Media, 2009.
- B. Chandrajit, B. Abhishek, E. Chattopadhyay, and D. Zuckerman, “On low discrepancy samplings in product spaces of motion groups,” 2014, https://arxiv.org/abs/1411.7753.
- G. S. Chirikjian and A. B. Kyatkin, Harmonic Analysis for Engineers and Applied Scientists, Dover Publications, New York, NY, USA, 2nd edition, 2016.
- G. S. Chirikjian, S. Sajjadi, B. Shiffman, and S. M. Zucker, “Mathematical aspects of molecular replacement: IV. Measure-theoretic properties of motion spaces,” Acta Crystallographica, vol. 73, no. 5, pp. 387–402, 2017.
- M. M. Postnikov, “Three-dimensional spherical forms,” Akademiya Nauk SSSR. Trudy Matematicheskogo Instituta Imeni V. A. Steklova, vol. 196, pp. 114–146, 1991.
- R. C. Kirby and M. G. Scharlemann, “Eight faces of the Poincaré homology 3-sphere,” in Geometric Topology, pp. 113–146, Elsevier, 1979.
- T. Janssen, Crystallographic Groups, Elsevier, New Yory, NY, USA, 1973.
- T. Hahn, Ed., International Tables for Crystallography, Volume A: Space Group Symmetry, International Union for Crystallography (IUCr), Chester, UK, 2002.
- M. I. Aroyo, J. M. Perez-Mato, C. Capillas et al., “Bilbao crystallographic server: I. databases and crystallographic computing programs,” Zeitschrift für Kristallographie, vol. 221, no. 1, pp. 15–27, 2006.
- H. Wondratschek and U. Müller, Eds., International Tables for Crystallography, Volume A1: Symmetry Relations Between Space Groups, International Union for Crystallography (IUCr), Chester, UK, 2008.
- W. Hantzsche and H. Wendt, “Dreidimensionale euklidische raumformen,” Mathematische Annalen, vol. 110, no. 1, pp. 593–611, 1935.
- L. S. Charlap, Bieberbach Groups and Flat Manifolds, Springer-Verlag, New York, NY, USA, 1986.
- J. M. Montesinos, Classical Tessellations and Three-Manifolds, Springer-Verlag, Berlin, Heidelberg, Germany, 1987.
- J. A. Wolf, Spaces of Constant Curvature, AMS Chelsea Publishing, New York, NY, USA, 2010.
- A. Szczepanski, Geometry of Crystallographic Groups, World Scientific, Singapore, 2012.
- G. S. Chirikjian, K. Ratnayake, and S. Sajjadi, “Decomposition of Sohncke space groups into products of Bieberbach and symmorphic parts,” Zeitschrift fur Kristallographie, vol. 230, no. 12, pp. 719–741, 2015.
- R. S. Jackendoff, Semantics and Cognition, MIT Press, Cambridge, MA, USA, 1985.
- T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design, Ablex Publishing Corporation, Norwood, NJ, USA, 1986.
- S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Pearson Education Inc, Upper Saddle River, NJ, USA, 3rd edition, 2009.
- G. S. Chirikjian, “Mathematical aspects of molecular replacement. I. algebraic properties of motion spaces,” Acta Crystallographica Section A Foundations of Crystallography, vol. 67, no. 5, pp. 435–446, 2011.
- G. S. Chirikjian, “Kinematics meets crystallography: the concept of a motion space,” Journal of Computing and Information Science in Engineering, vol. 15, no. 1, Article ID 011012, 2015.
Copyright © 2019 Christian Wülker et al. Exclusive licensee Science and Technology Review Publishing House. Distributed under a Creative Commons Attribution License (CC BY 4.0).