Showing 1–45 of 45 results for author: Schröcker, H

Rational Motions of Minimal Quaternionic Degree with Prescribed Line Trajectories

Authors: Zülal Derin Yaqub, Hans-Peter Schröcker

Abstract: In this paper, we study how to find rational motions that move a line along a given rational ruled surface. Our goal is to find motions with the lowest possible degree using dual quaternions. While similar problems for point trajectories are well known, the case of line trajectories is more complicated and has not been studied. We explain when such motions exist and how to compute them. Our method… ▽ More In this paper, we study how to find rational motions that move a line along a given rational ruled surface. Our goal is to find motions with the lowest possible degree using dual quaternions. While similar problems for point trajectories are well known, the case of line trajectories is more complicated and has not been studied. We explain when such motions exist and how to compute them. Our method gives explicit formulas for constructing these motions and shows that, in many cases, the solution is unique. We also show examples and explain how to use these results to design simple mechanisms that move a line in the desired way. This work helps to better understand the relationship between rational motions and ruled surfaces and may be useful for future research in mechanism design. △ Less

Submitted 22 June, 2025; originally announced June 2025.

MSC Class: 70B10; 51J15; 51N15; 70E15; 14J26; 11R52; 65D17

Closed Bounded Rational Framing Motions

Authors: Hans-Peter Schröcker, Zbyněk Šír

Abstract: We present a method for constructing all bounded rational motions that frame a space curve $\mathbf{r}(t)$. This means that the motion guides an orthogonal frame along the curve such that one frame axis is in direction of the curve tangent. Existence of (bounded) framing motions is equivalent to $\mathbf{r}(t)$ being a (bounded) rational Pythagorean Hodograph curve. In contrast to previous constru… ▽ More We present a method for constructing all bounded rational motions that frame a space curve $\mathbf{r}(t)$. This means that the motion guides an orthogonal frame along the curve such that one frame axis is in direction of the curve tangent. Existence of (bounded) framing motions is equivalent to $\mathbf{r}(t)$ being a (bounded) rational Pythagorean Hodograph curve. In contrast to previous constructions that rely on polynomial curves with smooth self-intersection, our motions and curves are infinitely differentiable. To this end, we develop the theory of Pythagorean hodograph curves parameterized over the projective line. We also provide a simple geometric necessary and sufficient condition on the spherical part of the motion, given by the homogeneous quaternionic preimage of the Pythagorean hodograph curve, that ensures the existence of a corresponding bounded, rational, and even regular framing motion. The translation part comes from the speed distribution, which must be a special positive rational function. This can in practice be ensured by semidefinite optimization methods. We illustrate our findings with a number of examples. △ Less

Submitted 21 May, 2025; originally announced May 2025.

MSC Class: 65D17; 53A04; 70B10

Minimal Surfaces via Complex Quaternions

Authors: Amedeo Altavilla, Hans-Peter Schröcker, Zbyněk Šír, Jan Vršek

Abstract: Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new app… ▽ More Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new approach to generating minimal surfaces via quaternionic transformations. This method extends classical Weierstraß-Enneper representations and provides insights into the interplay between quaternionic analysis, PH curves, and minimal surface geometry. Additionally, we discuss the role of the Sylvester equation in this framework and demonstrate practical examples, including the construction of Enneper surface patches. The findings open new avenues in computational geometry and geometric modeling, bridging abstract algebraic structures with practical applications in CAD and computer graphics. △ Less

Submitted 24 April, 2025; originally announced April 2025.

MSC Class: 53A10 16H05 46S05 65D17

Quadratic Motion Polynomials With Irregular Factorizations

Authors: Daren A. Thimm, Zijia Li, Hans-Peter Schröcker, Johannes Siegele

Abstract: There exists an algorithm for the factorization of motion polynomials that works in generic cases. It hinges on the invertibility of a certain coefficient occurring in the algorithm. If this coefficient is not invertible, factorizations may or may not exist. In the case of existence we call this an irregular factorization. We characterize quadratic motion polynomials with irregular factorizations… ▽ More There exists an algorithm for the factorization of motion polynomials that works in generic cases. It hinges on the invertibility of a certain coefficient occurring in the algorithm. If this coefficient is not invertible, factorizations may or may not exist. In the case of existence we call this an irregular factorization. We characterize quadratic motion polynomials with irregular factorizations in terms of algebraic equations and present examples whose number of unique factorizations range from one to infinitely many. For two special sub-cases we show the unique existence of such polynomials. In case of commuting factors we obtain the conformal Villarceau motion, in case of rigid body motions the circular translation. △ Less

Submitted 11 April, 2025; originally announced April 2025.

MSC Class: 12D05 15A66 70B10 16S36 30C15

Rational Motions of Minimal Quaternionic Degree with Prescribed Plane Trajectories

Authors: Zülal Derin Yaqub, Hans-Peter Schröcker

Abstract: This paper investigates the construction of rational motions of a minimal quaternionic degree that generate a prescribed plane trajectory (a ``rational torse''). Using the algebraic framework of dual quaternions, we formulate the problem as a system of polynomial equations. We derive necessary and sufficient conditions for the existence of such motions, establish a method to compute solutions and… ▽ More This paper investigates the construction of rational motions of a minimal quaternionic degree that generate a prescribed plane trajectory (a ``rational torse''). Using the algebraic framework of dual quaternions, we formulate the problem as a system of polynomial equations. We derive necessary and sufficient conditions for the existence of such motions, establish a method to compute solutions and characterize solutions of minimal degree. Our findings reveal that a rational torse is realizable as a trajectory of a rational motion if and only if its Gauss map is rational. Furthermore, we demonstrate that the minimal degree of a motion polynomial is geometrically related to a drop of degree of the Gauss and algebraically determined by the structure of the torse's associated plane polynomial and the real greatest common divisor of its vector part. The developed theoretical framework has potential applications in robotics, computer-aided design, and computational kinematic, offering a systematic approach to constructing rational motions of small algebraic complexity. △ Less

Submitted 4 February, 2025; originally announced February 2025.

MSC Class: 70B10 51J15 51N15 70E15 14J26 11R52 65D17

Quadratic Spinor Polynomials with Infinitely Many Factorizations

Authors: Zijia Li, Hans-Peter Schröcker, Johannes Siegele, Daren A. Thimm

Abstract: Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the decomposition of the rational motion into elementary motions. Generic spinor polynomials allow for a finite number of factorizations. We present two examples of qua… ▽ More Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the decomposition of the rational motion into elementary motions. Generic spinor polynomials allow for a finite number of factorizations. We present two examples of quadratic spinor polynomials that admit infinitely many factorizations. One of them, the circular translation, is well-known. The other one has only been introduced recently but in a different context. We not only compute all factorizations of these conformal motions but also interpret them geometrically. △ Less

Submitted 22 February, 2024; originally announced February 2024.

MSC Class: 15A66; 15A67; 51B10; 51F15; 53A05

A Geometric Algorithm for the Factorization of Spinor Polynomials

Authors: Zijia Li, Hans-Peter Schröcker, Johannes Siegele

Abstract: We present a new algorithm to decompose generic spinor polynomials into linear factors. Spinor polynomials are certain polynomials with coefficients in the geometric algebra of dimension three that parametrize rational conformal motions. The factorization algorithm is based on the "kinematics at infinity" of the underlying rational motion. Factorizations exist generically but not generally and are… ▽ More We present a new algorithm to decompose generic spinor polynomials into linear factors. Spinor polynomials are certain polynomials with coefficients in the geometric algebra of dimension three that parametrize rational conformal motions. The factorization algorithm is based on the "kinematics at infinity" of the underlying rational motion. Factorizations exist generically but not generally and are typically not unique. We prove that generic multiples of non-factorizable spinor polynomials admit factorizations and we demonstrate at hand of an example how our ideas can be used to tackle the hitherto unsolved problem of "factorizing" algebraic motions. △ Less

Submitted 13 November, 2023; v1 submitted 30 October, 2023; originally announced October 2023.

MSC Class: 15A66 15A67 20G20 51B10 51F15

Three Paths to Rational Curves with Rational Arc Length

Authors: Hans-Peter Schröcker, Zbyněk Šìr

Abstract: We solve the so far open problem of constructing all spatial rational curves with rational arc length functions. More precisely, we present three different methods for this construction. The first method adapts a recent approach of (Kalkan et al. 2022) to rational PH curves and requires solving a modestly sized system of linear equations. The second constructs the curve by imposing zero-residue co… ▽ More We solve the so far open problem of constructing all spatial rational curves with rational arc length functions. More precisely, we present three different methods for this construction. The first method adapts a recent approach of (Kalkan et al. 2022) to rational PH curves and requires solving a modestly sized system of linear equations. The second constructs the curve by imposing zero-residue conditions, thus extending ideas of previous papers by (Farouki and Sakkalis 2019) and the authors themselves (Schröcker and Šír 2023). The third method generalizes the dual approach of (Pottmann 1995) from planar to spatial curves. The three methods share the same quaternion based representation in which not only the PH curve but also its arc length function are compactly expressed. We also present a new proof based on the quaternion polynomial factorization theory of the well known characterization of the Pythagorean quadruples. △ Less

Submitted 5 March, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

MSC Class: 65D17

Optimal interpolation with spatial rational Pythagorean hodograph curves

Authors: Hans-Peter Schröcker, Zbyněk Šìr

Abstract: Using a residuum approach, we provide a complete description of the space of the rational spatial curves of given tangent directions. The rational Pythagorean hodograph curves are obtained as a special case when the norm of the direction field is a perfect square. The basis for the curve space is given explicitly. Consequently a number of interpolation problems ($G^1$, $C^1$, $C^2$, $C^1/G^2$) in… ▽ More Using a residuum approach, we provide a complete description of the space of the rational spatial curves of given tangent directions. The rational Pythagorean hodograph curves are obtained as a special case when the norm of the direction field is a perfect square. The basis for the curve space is given explicitly. Consequently a number of interpolation problems ($G^1$, $C^1$, $C^2$, $C^1/G^2$) in this space become linear, cusp avoidance can be encoded by linear inequalities, and optimization problems like minimal energy or optimal length are quadratic and can be solved efficiently via quadratic programming. We outline the interpolation/optimization strategy and demonstrate it on several examples. △ Less

Submitted 28 June, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

MSC Class: 65D17

Partial Fraction Decomposition for Rational Pythagorean Hodograph Curves

Authors: Hans-Peter Schröcker, Zbyněk Šír

Abstract: All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces defined by fixing the denominator polynomial and describe the construction of canonical bases for them. We also show (as an analogy to the fraction decompositi… ▽ More All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces defined by fixing the denominator polynomial and describe the construction of canonical bases for them. We also show (as an analogy to the fraction decomposition of rational functions) that any element of the vector space can be obtained as a finite sum of curves with single roots at the denominator. Our results give insight into the structure of these spaces, clarify the role of their polynomial and truly rational (non-polynomial) curves, and suggest applications to interpolation problems. △ Less

Submitted 30 January, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

MSC Class: 65D17

Motion Polynomials Admitting a Factorization with Linear Factors

Authors: Zijia Li, Hans-Peter Schröcker, Mikhail Skopenkov, Daniel F. Scharler

Abstract: Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear factors, and we give an algorithm to compute them. We can use those linear factors to construct mechanisms because the factorization corresponds to the decomposit… ▽ More Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear factors, and we give an algorithm to compute them. We can use those linear factors to construct mechanisms because the factorization corresponds to the decomposition of the rational motion into simple rotations or translations. Bounded motion polynomials always admit a factorization into linear factors after multiplying with a suitable real or quaternion polynomial. Our criterion for factorizability allows us to improve on earlier algorithms to compute a suitable real or quaternion polynomial co-factor. △ Less

Submitted 2 December, 2024; v1 submitted 6 September, 2022; originally announced September 2022.

MSC Class: 12D05 15A66 16S36 30C15 70B10

A Multi-Bennett 8R Mechanism Obtained From Factorization of Bivariate Motion Polynomials

Authors: Johanna Frischauf, Martin Pfurner, Daniel F. Scharler, Hans-Peter Schröcker

Abstract: We present a closed-loop 8R mechanism with two degrees of freedom whose motion exhibits curious properties. In any point of a two-dimensional component of its configuration variety it is possible to fix every second joint while retaining one degree of freedom. This shows that the even and the odd axes, respectively, always form a Bennett mechanism. In this mechanism, opposite distances and angles… ▽ More We present a closed-loop 8R mechanism with two degrees of freedom whose motion exhibits curious properties. In any point of a two-dimensional component of its configuration variety it is possible to fix every second joint while retaining one degree of freedom. This shows that the even and the odd axes, respectively, always form a Bennett mechanism. In this mechanism, opposite distances and angles are equal and all offsets are zero. The 8R mechanism has four "totally aligned" configurations in which the common normals of any pair of consecutive axes coincide. △ Less

Submitted 25 October, 2022; v1 submitted 24 August, 2022; originally announced August 2022.

MSC Class: 70B15; 16S36; 12D05

The Study Variety of Conformal Kinematics

Authors: Bahar Kalkan, Zijia Li, Hans-Peter Schröcker, Johannes Siegele

Abstract: We introduce the Study variety of conformal kinematics and investigate some of its properties. The Study variety is a projective variety of dimension ten and degree twelve in real projective space of dimension 15, and it generalizes the well-known Study quadric model of rigid body kinematics. Despite its high dimension, co-dimension, and degree it is amenable to concrete calculations via conformal… ▽ More We introduce the Study variety of conformal kinematics and investigate some of its properties. The Study variety is a projective variety of dimension ten and degree twelve in real projective space of dimension 15, and it generalizes the well-known Study quadric model of rigid body kinematics. Despite its high dimension, co-dimension, and degree it is amenable to concrete calculations via conformal geometric algebra (CGA) associated to three-dimensional Euclidean space. Calculations are facilitated by a four quaternion representation which extends the dual quaternion description of rigid body kinematics. In particular, we study straight lines on the Study variety. It turns out that they are related to a class of one-parametric conformal motions introduced by L. Dorst in 2016. Similar to rigid body kinematics, straight lines (that is, Dorst's motions) are important for the decomposition of rational conformal motions into lower degree motions via the factorization of certain polynomials with coefficients in CGA. △ Less

Submitted 7 November, 2022; v1 submitted 2 December, 2021; originally announced December 2021.

MSC Class: 15A66; 15A67; 20G20; 51B10; 51F15

Journal ref: Kalkan, B., Li, Z., Schröcker, HP., Siegele, J. The Study Variety of Conformal Kinematics. Adv. Appl. Clifford Algebras 32, 44 (2022)

Rational Framing Motions and Spatial Rational Pythagorean Hodograph Curves

Authors: Bahar Kalkan, Daniel F. Scharler, Hans-Peter Schröcker, Zbyněk Šír

Abstract: We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is determined be a modestly sized and nicely structured system of linear equations. Rather surprisingly, generic input data will only result in polynomial PH curves… ▽ More We propose a new method for constructing rational spatial Pythagorean Hodograph (PH) curves based on determining a suitable rational framing motion. While the spherical component of the framing motion is arbitrary, the translation part is determined be a modestly sized and nicely structured system of linear equations. Rather surprisingly, generic input data will only result in polynomial PH curves. We provide a complete characterization of all cases that admit truly rational (non-polynomial) solutions. Examples illustrate our ideas and relate them to existing literature. △ Less

Submitted 24 October, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

MSC Class: 65D17

A Multiplication Technique for the Factorization of Bivariate Quaternionic Polynomials

Authors: Johanna Lercher, Hans-Peter Schröcker

Abstract: We consider bivariate polynomials over the skew field of quaternions, where the indeterminates commute with all coefficients and with each other. We analyze existence of univariate factorizations, that is, factorizations with univariate linear factors. A necessary condition for existence of univariate factorizations is factorization of the norm polynomial into a product of univariate polynomials.… ▽ More We consider bivariate polynomials over the skew field of quaternions, where the indeterminates commute with all coefficients and with each other. We analyze existence of univariate factorizations, that is, factorizations with univariate linear factors. A necessary condition for existence of univariate factorizations is factorization of the norm polynomial into a product of univariate polynomials. This condition is, however, not sufficient. Our central result states that univariate factorizations exist after multiplication with a suitable univariate real polynomial as long as the necessary factorization condition is fulfilled. We present an algorithm for computing this real polynomial and a corresponding univariate factorization. If a univariate factorization of the original polynomial exists, a suitable input of the algorithm produces a constant multiplication factor, thus giving an a posteriori condition for existence of univariate factorizations. Some factorizations obtained in this way are of interest in mechanism science. We present an example of a curious closed-loop mechanism with eight revolute joints. △ Less

Submitted 5 November, 2021; v1 submitted 18 May, 2021; originally announced May 2021.

MSC Class: 16S36; 12D05

Factorization of Quaternionic Polynomials of Bi-Degree (n,1)

Authors: Johanna Lercher, Daniel F. Scharler, Hans-Peter Schröcker, Johannes Siegele

Abstract: We consider polynomials of bi-degree $(n,1)$ over the skew field of quaternions where the indeterminates commute with each other and with all coefficients. Polynomials of this type do not generally admit factorizations. We recall a necessary and sufficient condition for existence of a factorization with univariate linear factors that has originally been stated by Skopenkov and Krasauskas. Such a f… ▽ More We consider polynomials of bi-degree $(n,1)$ over the skew field of quaternions where the indeterminates commute with each other and with all coefficients. Polynomials of this type do not generally admit factorizations. We recall a necessary and sufficient condition for existence of a factorization with univariate linear factors that has originally been stated by Skopenkov and Krasauskas. Such a factorization is, in general, non-unique by known factorization results for univariate quaternionic polynomials. We unveil existence of bivariate polynomials with non-unique factorizations that cannot be explained in this way and characterize them geometrically and algebraically. Existence of factorizations is related to the existence of special rulings of two different types (left/right) on the ruled surface parameterized by the bivariate polynomial in the projective space over the quaternions. Special non-uniqueness in above sense can be explained algebraically by commutation properties of factors in suitable factorizations. A necessary geometric condition for this to happen is degeneration to a point of at least one of the left/right rulings. △ Less

Submitted 18 February, 2022; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: This version of the article has been accepted for publication, after peer review (when applicable) but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: 10.1007/s13366-022-00629-z

MSC Class: 16S36; 12D05

An Algorithm for the Factorization of Split Quaternion Polynomials

Authors: Daniel F. Scharler, Hans-Peter Schröcker

Abstract: We present an algorithm to compute all factorizations into linear factors of univariate polynomials over the split quaternions, provided such a factorization exists. Failure of the algorithm is equivalent to non-factorizability for which we present also geometric interpretations in terms of rulings on the quadric of non-invertible split quaternions. However, suitable real polynomial multiples of s… ▽ More We present an algorithm to compute all factorizations into linear factors of univariate polynomials over the split quaternions, provided such a factorization exists. Failure of the algorithm is equivalent to non-factorizability for which we present also geometric interpretations in terms of rulings on the quadric of non-invertible split quaternions. However, suitable real polynomial multiples of split quaternion polynomials can still be factorized and we describe how to find these real polynomials. Split quaternion polynomials describe rational motions in the hyperbolic plane. Factorization with linear factors corresponds to the decomposition of the rational motion into hyperbolic rotations. Since multiplication with a real polynomial does not change the motion, this decomposition is always possible. Some of our ideas can be transferred to the factorization theory of motion polynomials. These are polynomials over the dual quaternions with real norm polynomial and they describe rational motions in Euclidean kinematics. We transfer techniques developed for split quaternions to compute new factorizations of certain dual quaternion polynomials. △ Less

Submitted 9 March, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

MSC Class: 12D05; 16S36; 51M09; 51M10; 70B10

Journal ref: Scharler, D.F., Schröcker, HP. An Algorithm for the Factorization of Split Quaternion Polynomials. Adv. Appl. Clifford Algebras 31, 29 (2021)

Factorization of Dual Quaternion Polynomials Without Study's Condition

Authors: Johannes Siegele, Martin Pfurner, Hans-Peter Schröcker

Abstract: In this paper we investigate factorizations of polynomials over the ring of dual quaternions into linear factors. While earlier results assume that the norm polynomial is real ("motion polynomials"), we only require the absence of real polynomial factors in the primal part and factorizability of the norm polynomial over the dual numbers into monic quadratic factors. This obviously necessary condit… ▽ More In this paper we investigate factorizations of polynomials over the ring of dual quaternions into linear factors. While earlier results assume that the norm polynomial is real ("motion polynomials"), we only require the absence of real polynomial factors in the primal part and factorizability of the norm polynomial over the dual numbers into monic quadratic factors. This obviously necessary condition is also sufficient for existence of factorizations. We present an algorithm to compute factorizations of these polynomials and use it for new constructions of mechanisms which cannot be obtained by existing factorization algorithms for motion polynomials. While they produce mechanisms with rotational or translational joints, our approach yields mechanisms consisting of "vertical Darboux joints". They exhibit mechanical deficiencies so that we explore ways to replace them by cylindrical joints while keeping the overall mechanism sufficiently constrained. △ Less

Submitted 19 January, 2021; v1 submitted 5 October, 2020; originally announced October 2020.

MSC Class: 16S36; 70B15

Space Kinematics and Projective Differential Geometry Over the Ring of Dual Numbers

Authors: Johannes Siegele, Hans-Peter Schröcker, Martin Pfurner

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 osculatin… ▽ More 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. △ Less

Submitted 3 February, 2021; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 14 pages, 5 figures

MSC Class: 16S36; 53A20; 70B10

Quadratic Split Quaternion Polynomials: Factorization and Geometry

Authors: Daniel F. Scharler, Johannes Siegele, Hans-Peter Schröcker

Abstract: We investigate factorizability of a quadratic split quaternion polynomial. In addition to inequality conditions for existence of such factorization, we provide lucid geometric interpretations in the projective space over the split quaternions. We investigate factorizability of a quadratic split quaternion polynomial. In addition to inequality conditions for existence of such factorization, we provide lucid geometric interpretations in the projective space over the split quaternions. △ Less

Submitted 26 August, 2020; v1 submitted 14 August, 2019; originally announced August 2019.

MSC Class: 12D05 16S36 51M09 51M10 70B10

Journal ref: Adv. Appl. Clifford Algebras, 30(11), 2020

Rational Motions with Generic Trajectories of Low Degree

Authors: Johannes Siegele, Daniel F. Scharler, Hans-Peter Schröcker

Abstract: The trajectories of a rational motion given by a polynomial of degree n in the dual quaternion model of rigid body displacements are generically of degree 2n. In this article we study those exceptional motions whose trajectory degree is lower. An algebraic criterion for this drop of degree is existence of certain right factors, a geometric criterion involves one of two families of rulings on an in… ▽ More The trajectories of a rational motion given by a polynomial of degree n in the dual quaternion model of rigid body displacements are generically of degree 2n. In this article we study those exceptional motions whose trajectory degree is lower. An algebraic criterion for this drop of degree is existence of certain right factors, a geometric criterion involves one of two families of rulings on an invariant quadric. Our characterizations allow the systematic construction of rational motions with exceptional degree reduction and explain why the trajectory degrees of a rational motion and its inverse motion can be different. △ Less

Submitted 28 October, 2019; v1 submitted 26 July, 2019; originally announced July 2019.

Comments: Accepted for publication in Comput. Aided Geom. Design

MSC Class: 70B10 16S36 14E05 14H45 51N15 51N25

A Survey on the Theory of Bonds

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: Many researchers tried to understand/explain the geometric reasons for paradoxical mobility of a mechanical linkage, i.e. the situation when a linkage allows more motions than expected from counting parameters and constraints. Bond theory is a method that aims at understanding paradoxical mobility from an algebraic point of view. Here we give a self-contained introduction of this theory and discus… ▽ More Many researchers tried to understand/explain the geometric reasons for paradoxical mobility of a mechanical linkage, i.e. the situation when a linkage allows more motions than expected from counting parameters and constraints. Bond theory is a method that aims at understanding paradoxical mobility from an algebraic point of view. Here we give a self-contained introduction of this theory and discuss its results on closed linkages with revolute or prismatic joints. △ Less

Submitted 30 July, 2018; originally announced August 2018.

Journal ref: IMA Journal of Mathematical Control and Information, Volume 35, Issue 1, 20 March 2018, Pages 279-295

The Geometry of Quadratic Quaternion Polynomials in Euclidean and Non-Euclidean Planes

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: We propose a geometric explanation for the observation that generic quadratic polynomials over split quaternions may have up to six different factorizations while generic polynomials over Hamiltonian quaternions only have two. Split quaternion polynomials of degree two are related to the coupler motion of "four-bar linkages" with equal opposite sides in universal hyperbolic geometry. A factorizati… ▽ More We propose a geometric explanation for the observation that generic quadratic polynomials over split quaternions may have up to six different factorizations while generic polynomials over Hamiltonian quaternions only have two. Split quaternion polynomials of degree two are related to the coupler motion of "four-bar linkages" with equal opposite sides in universal hyperbolic geometry. A factorization corresponds to a leg of the four-bar linkage and during the motion the legs intersect in points of a conic whose focal points are the fixed revolute joints. The number of factorizations is related by the number of real focal points which can, indeed, be six in universal hyperbolic geometry. △ Less

Submitted 9 May, 2018; originally announced May 2018.

MSC Class: 12D05; 16S36 51M09; 51M10; 70B10

Factorization Results for Left Polynomials in Some Associative Real Algebras: State of the Art, Applications, and Open Questions

Authors: Zijia Li, Daniel F. Scharler, Hans-Peter Schröcker

Abstract: We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put particular emphasis on factorization results for quaternion, dual quaternion and split quaternion polynomials. A general algorithm ensures existence of a facto… ▽ More We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put particular emphasis on factorization results for quaternion, dual quaternion and split quaternion polynomials. A general algorithm ensures existence of a factorization for generic polynomials over division rings but we also consider factorizations for non-division rings. We explain the current state of the art, present some new results and provide examples and counter examples. △ Less

Submitted 26 September, 2018; v1 submitted 16 March, 2018; originally announced March 2018.

MSC Class: 12D05; 15A66; 16S36; 30C15; 70B10

From A to B: New Methods to Interpolate Two Poses

Authors: Hans-Peter Schröcker

Abstract: We present two methods to interpolate between two given rigid body displacements. Both are based on linear interpolation in the ambient space of well-known curved point models for the group of rigid body displacements. The resulting motions are either vertical Darboux motions or cubic circular motions. Both are rational of low degree and lie in the cylinder group defined by the two input poses. We… ▽ More We present two methods to interpolate between two given rigid body displacements. Both are based on linear interpolation in the ambient space of well-known curved point models for the group of rigid body displacements. The resulting motions are either vertical Darboux motions or cubic circular motions. Both are rational of low degree and lie in the cylinder group defined by the two input poses. We unveil the essential parameters in the construction of these motions and discuss some of their properties. △ Less

Submitted 14 June, 2017; originally announced June 2017.

Comments: To appear in the Proceedings of the 11th Asian Forum on Graphic Science, Tokyo, August 6-10, 2017

MSC Class: 70B10; 65D17; 14R25

Journal ref: J. Geom. Graphics, 22(1):87-98, 2018

The Kinematic Image of RR, PR, and RP Dyads

Authors: Tudor-Dan Rad, Daniel F. Scharler, Hans-Peter Schröcker

Abstract: We provide necessary and sufficient conditions for admissible transformations in the projectivised dual quaternion model of rigid body displacements and we characterise constraint varieties of dyads with revolute and prismatic joints in this model. Projective transformations induced by coordinate changes in moving and/or fixed frame fix the quadrics of a pencil and preserve the two families of rul… ▽ More We provide necessary and sufficient conditions for admissible transformations in the projectivised dual quaternion model of rigid body displacements and we characterise constraint varieties of dyads with revolute and prismatic joints in this model. Projective transformations induced by coordinate changes in moving and/or fixed frame fix the quadrics of a pencil and preserve the two families of rulings of an exceptional three-dimensional quadric. The constraint variety of a dyad with two revolute joints is a regular ruled quadric in a three-space that contains a "null quadrilateral". If a revolute joint is replaced by a prismatic joint, this quadrilateral collapses into a pair of conjugate complex null lines and a real line but these properties are not sufficient to characterise such dyads. We provide a complete characterisation by introducing a new invariant, the "fiber projectivity", and we present examples that demonstrate its potential to explain hitherto not sufficiently well understood phenomena. △ Less

Submitted 27 July, 2016; originally announced July 2016.

MSC Class: 70B10; 70B15; 51N15; 51N25

Singular Frégier Conics in Non-Euclidean Geometry

Authors: Hans-Peter Schröcker

Abstract: The hypotenuses of all right triangles inscribed into a fixed conic $C$ with fixed right-angle vertex $p$ are incident with the Frégier point $f$ to $p$ and $C$. As $p$ varies on the conic, the locus of the Frégier point is, in general, a conic as well. We study conics $C$ whose Frégier locus is singular in Euclidean, elliptic and hyperbolic geometry. The richest variety of conics with this proper… ▽ More The hypotenuses of all right triangles inscribed into a fixed conic $C$ with fixed right-angle vertex $p$ are incident with the Frégier point $f$ to $p$ and $C$. As $p$ varies on the conic, the locus of the Frégier point is, in general, a conic as well. We study conics $C$ whose Frégier locus is singular in Euclidean, elliptic and hyperbolic geometry. The richest variety of conics with this property is obtained in hyperbolic plane while in elliptic geometry only three families of conics have a singular Frégier locus. △ Less

Submitted 24 May, 2016; originally announced May 2016.

Comments: Accepted for publication in the Proceedings of ICGG 2016, The 17th International Conference on Geometry and Graphics

MSC Class: 51M09; 51N25

Journal ref: J. Geom. Graphics, 21(2):201-208, 2017

Kempe's Universality Theorem for Rational Space Curves

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: We prove that every bounded rational space curve of degree d and circularity c can be drawn by a linkage with 9/2 d - 6c + 1 revolute joints. Our proof is based on two ingredients. The first one is the factorization theory of motion polynomials. The second one is the construction of a motion polynomial of minimum degree with given orbit. Our proof also gives the explicity construction of the linka… ▽ More We prove that every bounded rational space curve of degree d and circularity c can be drawn by a linkage with 9/2 d - 6c + 1 revolute joints. Our proof is based on two ingredients. The first one is the factorization theory of motion polynomials. The second one is the construction of a motion polynomial of minimum degree with given orbit. Our proof also gives the explicity construction of the linkage. △ Less

Submitted 11 February, 2017; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: The final publication is available at Springer via http://dx.doi.org/10.1007/s10208-017-9348-x

MSC Class: 70B05; 13F20; 65D17; 68U07

Journal ref: Found. Comput. Math., 18(2):509-536, 2018

From the Fundamental Theorem of Algebra to Kempe's Universality Theorem

Authors: Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its… ▽ More This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its introduction, it is already clear how beneficial it has been to both fields. △ Less

Submitted 19 July, 2015; originally announced July 2015.

Journal ref: Internat. Math. Nachrichten, Nr. 229 (2015), 13-26

The Rational Motion of Minimal Dual Quaternion Degree With Prescribed Trajectory

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: We give a constructive proof for the existence of a unique rational motion of minimal degree in the dual quaternion model of Euclidean displacements with a given rational parametric curve as trajectory. The minimal motion degree equals the trajectory's degree minus its circularity. Hence, it is lower than the degree of a trivial curvilinear translation for circular curves. We give a constructive proof for the existence of a unique rational motion of minimal degree in the dual quaternion model of Euclidean displacements with a given rational parametric curve as trajectory. The minimal motion degree equals the trajectory's degree minus its circularity. Hence, it is lower than the degree of a trivial curvilinear translation for circular curves. △ Less

Submitted 19 October, 2015; v1 submitted 21 April, 2015; originally announced April 2015.

MSC Class: 70B05

Journal ref: Comput. Aided Geom. Design, 41:1-9, 2016

The Kinematic Image of 2R Dyads and Exact Synthesis of 5R Linkages

Authors: Tudor-Dan Rad, Hans-Peter Schröcker

Abstract: We characterise the kinematic image of the constraint variety of a 2R dyad as a regular ruled quadric in a 3-space that contains a "null quadrilateral". Three prescribed poses determine, in general, two such quadrics. This allows us to modify a recent algorithm for the synthesis of 6R linkages in such a way that two consecutive revolute axes coincide, thus producing a 5R linkage. Using the classic… ▽ More We characterise the kinematic image of the constraint variety of a 2R dyad as a regular ruled quadric in a 3-space that contains a "null quadrilateral". Three prescribed poses determine, in general, two such quadrics. This allows us to modify a recent algorithm for the synthesis of 6R linkages in such a way that two consecutive revolute axes coincide, thus producing a 5R linkage. Using the classical geometry of twisted cubics on a quadric, we explain some of the peculiar properties of the the resulting synthesis procedure for 5R linkages. △ Less

Submitted 27 July, 2015; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: Accepted for publication in the proceedings of the IMA Conference on Mathematics of Robotics, Oxford, 2015

MSC Class: 70B15; 70B10; 12D05; 51N15

7R Darboux Linkages by Factorization of Motion Polynomials

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: In this paper, we construct two types of 7R closed single loop linkages by combining different factorizations of a general (non-vertical) Darboux motion. These factorizations are obtained by extensions of a factorization algorithm for a generic rational motion. The first type of 7R linkages has several one-dimensional configuration components and one of them corresponds to the Darboux motion. The… ▽ More In this paper, we construct two types of 7R closed single loop linkages by combining different factorizations of a general (non-vertical) Darboux motion. These factorizations are obtained by extensions of a factorization algorithm for a generic rational motion. The first type of 7R linkages has several one-dimensional configuration components and one of them corresponds to the Darboux motion. The other type is a 7R linkage with two degrees of freedom and without one-dimensional component. The Darboux motion is a curve in an irreducible two dimensional configuration component. △ Less

Submitted 29 June, 2015; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: To be published in the proceedings of the 14th IFToMM World Congress, Taipei, 2015

MSC Class: 12D05; 70B10

Factorization of Rational Motions: A Survey with Examples and Applications

Authors: Zijia Li, Tudor-Dan Rad, Josef Schicho, Hans-Peter Schröcker

Abstract: Since its introduction in 2012, the factorization theory for rational motions quickly evolved and found applications in theoretical and applied mechanism science. We provide an accessible introduction to motion factorization with many examples, summarize recent developments and hint at some new applications. In particular, we provide pseudo-code for the generic factorization algorithm, demonstrate… ▽ More Since its introduction in 2012, the factorization theory for rational motions quickly evolved and found applications in theoretical and applied mechanism science. We provide an accessible introduction to motion factorization with many examples, summarize recent developments and hint at some new applications. In particular, we provide pseudo-code for the generic factorization algorithm, demonstrate how to find a replacement linkage for a special case in the synthesis of Bennett mechanisms and, as an example of non-generic factorization, synthesize open chains for circular and elliptic translations. △ Less

Submitted 29 June, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: To be published in the proceedings of The 14th IFToMM World Congress, Taipei, 2015

MSC Class: 12D05; 70B10

Spatial Straight Line Linkages by Factorization of Motion Polynomials

Authors: Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: We use the recently introduced factorization of motion polynomials for constructing overconstrained spatial linkages with a straight line trajectory. Unlike previous examples, the end-effector motion is not translational and the link graph is a cycle. In particular, we obtain a number of linkages with four revolute and two prismatic joints and a remarkable linkage with seven revolute joints one of… ▽ More We use the recently introduced factorization of motion polynomials for constructing overconstrained spatial linkages with a straight line trajectory. Unlike previous examples, the end-effector motion is not translational and the link graph is a cycle. In particular, we obtain a number of linkages with four revolute and two prismatic joints and a remarkable linkage with seven revolute joints one of whose joints performs a Darboux motion. △ Less

Submitted 13 October, 2014; v1 submitted 10 October, 2014; originally announced October 2014.

Comments: Corrected author name

MSC Class: 70B10

Journal ref: ASME J. Mech. Robot., 8(2), 2015

The Theory of Bonds II: Closed 6R Linkages with Maximal Genus

Authors: Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker

Abstract: In this paper, we introduce a method that allows to produce necessary conditions on the Denavit--Hartenberg parameters for the mobility of a closed linkage with six rotational joints. We use it to prove that the genus of the configuration curve of a such a linkage is at most five, and to give a complete classification of the linkages with a configuration curve of degree four or five. The classific… ▽ More In this paper, we introduce a method that allows to produce necessary conditions on the Denavit--Hartenberg parameters for the mobility of a closed linkage with six rotational joints. We use it to prove that the genus of the configuration curve of a such a linkage is at most five, and to give a complete classification of the linkages with a configuration curve of degree four or five. The classification contains new families. △ Less

Submitted 25 September, 2013; originally announced September 2013.

Comments: 20 pages, 2 figures

MSC Class: 14N10

Journal ref: J. Symbolic Comput., 68(2):167-180, 2015

The Theory of Bonds: A New Method for the Analysis of Linkages

Authors: Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker

Abstract: In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a one-parametric mobility. We demonstrate the usefulness of bond theory by giving a new and transparent proof for the well-known classification of overconstrained 5R lin… ▽ More In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a one-parametric mobility. We demonstrate the usefulness of bond theory by giving a new and transparent proof for the well-known classification of overconstrained 5R linkages. △ Less

Submitted 19 July, 2013; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: more detailed explanations and additional references

MSC Class: 70B15; 51J15; 14H50

Journal ref: Mech. Machine Theory, 70, 407-424 (2013)

Factorization of Rational Curves in the Study Quadric and Revolute Linkages

Authors: Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker

Abstract: Given a generic rational curve $C$ in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly $C$. Our construction is based on the factorization of polynomials over dual quaternions. Low degree examples include the Bennett mechanisms and contain new types of overconstrained 6R-chains as sub-mechanisms. Given a generic rational curve $C$ in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly $C$. Our construction is based on the factorization of polynomials over dual quaternions. Low degree examples include the Bennett mechanisms and contain new types of overconstrained 6R-chains as sub-mechanisms. △ Less

Submitted 9 May, 2012; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: Changed arxiv abstract, corrected some types

MSC Class: 12D05; 51J15; 68T40

Journal ref: Mech. Machine Theory, Vol. 69, No. 1, pp. 142-152, 2013

Discrete Laplace Cycles of Period Four

Authors: Hans-Peter Schröcker

Abstract: We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of corresponding points form a discrete W-congruence. We derive some properties of discrete Lap… ▽ More We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of corresponding points form a discrete W-congruence. We derive some properties of discrete Laplace cycles of period four and describe two explicit methods for their construction. △ Less

Submitted 19 April, 2011; originally announced April 2011.

MSC Class: 53A20; 51A20; 53A25

Journal ref: Central European J. Mathematics, 10(2):426-439, 2012

Minimal area ellipses in the hyperbolic plane

Authors: Matthias J. Weber, Hans-Peter Schröcker

Abstract: We present uniqueness results for enclosing ellipses of minimal area in the hyperbolic plane. Uniqueness can be guaranteed if the minimizers are sought among all ellipses with prescribed axes or center. In the general case, we present a sufficient and easily verifiable criterion on the enclosed set that ensures uniqueness. We present uniqueness results for enclosing ellipses of minimal area in the hyperbolic plane. Uniqueness can be guaranteed if the minimizers are sought among all ellipses with prescribed axes or center. In the general case, we present a sufficient and easily verifiable criterion on the enclosed set that ensures uniqueness. △ Less

Submitted 6 July, 2011; v1 submitted 25 January, 2011; originally announced January 2011.

MSC Class: 52A40; 52A55; 51M10

Journal ref: Beitr. Algebra Geom., 54(1):181-200, 2013

The Bäcklund Transform of Principal Contact Element Nets

Authors: Hans-Peter Schröcker

Abstract: We investigate geometric aspects of the the Bäcklund transform of principal contact element nets. A Bäcklund transform exists if and only if it the principal contact element net is of constant negative Gaussian curvature (a pseudosphere). We describe an elementary construction of the Bäcklund transform and prove its correctness. Finally, we show that Bianchi's Permutation Theorem remains valid in… ▽ More We investigate geometric aspects of the the Bäcklund transform of principal contact element nets. A Bäcklund transform exists if and only if it the principal contact element net is of constant negative Gaussian curvature (a pseudosphere). We describe an elementary construction of the Bäcklund transform and prove its correctness. Finally, we show that Bianchi's Permutation Theorem remains valid in our discrete setting. △ Less

Submitted 16 October, 2010; originally announced October 2010.

Comments: Minor corrections and clarifications

MSC Class: 53A05; 53A17

Minimal area conics in the elliptic plane

Authors: Matthias J. Weber, Hans-Peter Schröcker

Abstract: We prove some uniqueness results for conics of minimal area that enclose a compact, full-dimensional subset of the elliptic plane. The minimal enclosing conic is unique if its center or axes are prescribed. Moreover, we provide sufficient conditions on the enclosed set that guarantee uniqueness without restrictions on the enclosing conics. Similar results are formulated for minimal enclosing conic… ▽ More We prove some uniqueness results for conics of minimal area that enclose a compact, full-dimensional subset of the elliptic plane. The minimal enclosing conic is unique if its center or axes are prescribed. Moreover, we provide sufficient conditions on the enclosed set that guarantee uniqueness without restrictions on the enclosing conics. Similar results are formulated for minimal enclosing conics of line sets as well. △ Less

Submitted 25 August, 2010; originally announced August 2010.

MSC Class: 52A40 (Primary) 52A55; 51M10 (Secondary)

Discrete Gliding Along Principal Curves

Authors: Hans-Peter Schröcker

Abstract: We consider $n$-dimensional discrete motions such that any two neighbouring positions correspond in a pure rotation ("rotating motions"). In the Study quadric model of Euclidean displacements these motions correspond to quadrilateral nets with edges contained in the Study quadric ("rotation nets"). The main focus of our investigation lies on the relation between rotation nets and discrete principa… ▽ More We consider $n$-dimensional discrete motions such that any two neighbouring positions correspond in a pure rotation ("rotating motions"). In the Study quadric model of Euclidean displacements these motions correspond to quadrilateral nets with edges contained in the Study quadric ("rotation nets"). The main focus of our investigation lies on the relation between rotation nets and discrete principal contact element nets. We show that every principal contact element net occurs in infinitely many ways as trajectory of a discrete rotating motion (a discrete gliding motion on the underlying surface). Moreover, we construct discrete rotating motions with two non-parallel principal contact element net trajectories. Rotation nets with this property can be consistently extended to higher dimensions. △ Less

Submitted 8 April, 2010; originally announced April 2010.

MSC Class: 53A17; 53A05; 52C35

Journal ref: J. Geom. Graphics, 14(2):171-180, 2010

Contributions to Four-Position Theory with Relative Rotations

Authors: Hans-Peter Schröcker

Abstract: We consider the geometry of four spatial displacements, arranged in cyclic order, such that the relative motion between neighbouring displacements is a pure rotation. We compute the locus of points whose homologous images lie on a circle, the locus of oriented planes whose homologous images are tangent to a cone of revolution, and the locus of oriented lines whose homologous images form a skew q… ▽ More We consider the geometry of four spatial displacements, arranged in cyclic order, such that the relative motion between neighbouring displacements is a pure rotation. We compute the locus of points whose homologous images lie on a circle, the locus of oriented planes whose homologous images are tangent to a cone of revolution, and the locus of oriented lines whose homologous images form a skew quadrilateral on a hyperboloid of revolution. △ Less

Submitted 27 November, 2009; originally announced November 2009.

MSC Class: 70B10

Journal ref: New Trends in Mechanism Science, Analysis and Design (Mechanism and Machine Science 5), pages 21-28 (2010)

Orthologic Tetrahedra with Intersecting Edges

Authors: Hans-Peter Schröcker

Abstract: Two tetrahedra are called orthologic if the lines through vertices of one and perpendicular to corresponding faces of the other are intersecting. This is equivalent to the orthogonality of non-corresponding edges. We prove that the additional assumption of intersecting non-corresponding edges ("orthosecting tetrahedra") implies that the six intersection points lie on a sphere. To a given tetrahe… ▽ More Two tetrahedra are called orthologic if the lines through vertices of one and perpendicular to corresponding faces of the other are intersecting. This is equivalent to the orthogonality of non-corresponding edges. We prove that the additional assumption of intersecting non-corresponding edges ("orthosecting tetrahedra") implies that the six intersection points lie on a sphere. To a given tetrahedron there exists generally a one-parametric family of orthosecting tetrahedra. The orthographic projection of the locus of one vertex onto the corresponding face plane of the given tetrahedron is a curve which remains fixed under isogonal conjugation. This allows the construction of pairs of conjugate orthosecting tetrahedra to a given tetrahedron. △ Less

Submitted 19 October, 2009; v1 submitted 8 October, 2009; originally announced October 2009.

Comments: Included additional reference and possible topics of future research (reflecting suggestions from the reviewing process)

MSC Class: 51M04

Journal ref: KoG, 13:13-18, 2009

Davis' Convexity Theorem and Extremal Ellipsoids

Authors: Matthias J. Weber, Hans-Peter Schröcker

Abstract: We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the ellipsoid. Simple examples with non-unique minimal or maximal ellipsoids conclude this article. We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the ellipsoid. Simple examples with non-unique minimal or maximal ellipsoids conclude this article. △ Less

Submitted 25 August, 2009; v1 submitted 7 July, 2009; originally announced July 2009.

Comments: 10 pages, 4 figures

MSC Class: 52A27; 52A20

Journal ref: Beitr. Algebra Geom 51:1 (2010) 263-274