Showing 1–50 of 75 results for author: Schicho, J

Positivity sets of hinge functions

Authors: Josef Schicho, Ayush Kumar Tewari, Audie Warren

Abstract: In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $\mathbb R^d$. We give various examples of such one-layer neural networks. In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $\mathbb R^d$. We give various examples of such one-layer neural networks. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Pentagonal bipyramids lead to the smallest flexible embedded polyhedron

Authors: Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: Steffen's polyhedron was believed to have the least number of vertices among polyhedra that can flex without self-intersections. Maksimov clarified that the pentagonal bipyramid with one face subdivided into three is the only polyhedron with fewer vertices for which the existence of a self-intersection-free flex was open. Since subdividing a face into three does not change the mobility, we focus o… ▽ More Steffen's polyhedron was believed to have the least number of vertices among polyhedra that can flex without self-intersections. Maksimov clarified that the pentagonal bipyramid with one face subdivided into three is the only polyhedron with fewer vertices for which the existence of a self-intersection-free flex was open. Since subdividing a face into three does not change the mobility, we focus on flexible pentagonal bipyramids. When a bipyramid flexes, the distance between the two opposite vertices of the two pyramids changes; associating the position of the bipyramid to this distance yields an algebraic map that determines a nontrivial extension of rational function fields. We classify flexible pentagonal bipyramids with respect to the Galois group of this field extension and provide examples for each class, building on a construction proposed by Nelson. Surprisingly, one of our constructions yields a flexible pentagonal bipyramid that can be extended to an embedded flexible polyhedron with 8 vertices. The latter hence solves the open question. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: 31 pages

On the Genus of One Degree of Freedom Planar Linkages via Tropical Geometry

Authors: Josef Schicho, Ayush Kumar Tewari, Audie Warren

Abstract: This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an… ▽ More This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an algorithm to compute this genus. We provide an implementation in Python and give various examples. △ Less

Submitted 29 January, 2025; v1 submitted 1 August, 2024; originally announced August 2024.

MSC Class: 52C25; 70B15; 14T90

Irreducible components of sets of points in the plane that satisfy distance conditions

Authors: Niels Lubbes, Mehdi Makhul, Josef Schicho, Audie Warren

Abstract: For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreduci… ▽ More For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially. △ Less

Submitted 1 March, 2024; originally announced March 2024.

MSC Class: 52C25; 70B15; 51K05; 51F99

Phylogenetic Trees and the Moduli Space of n Points on the Projective Line

Authors: Herwig Hauser, Jiayue Qi, Josef Schicho

Abstract: This is an expository paper. The geometry of phylogenetic trees is used to present in an accessible and pleasant fashion the results of Deligne, Mumford, and Knudsen about the moduli space of n distinct points on the projective line and its compactification, the moduli space of n-pointed stable curves of genus zero. This is an expository paper. The geometry of phylogenetic trees is used to present in an accessible and pleasant fashion the results of Deligne, Mumford, and Knudsen about the moduli space of n distinct points on the projective line and its compactification, the moduli space of n-pointed stable curves of genus zero. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 60 pages, 30 figures

MSC Class: 2020: 14-02; 14D20; 14D22; 14H10; 05C05

Calibrating Figures

Authors: Niels Lubbes, Josef Schicho

Abstract: It is known that a camera can be calibrated using three pictures of either squares, spheres, or surfaces of revolution. We give a new method to calibrate a camera with the picture of a single torus. It is known that a camera can be calibrated using three pictures of either squares, spheres, or surfaces of revolution. We give a new method to calibrate a camera with the picture of a single torus. △ Less

Submitted 20 June, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

MSC Class: 14N05; 51F99

Journal ref: Comput. Aided Geom. Des. 112 (2024) 102365

Calligraphs and sphere realizations

Authors: Matteo Gallet, Georg Grasegger, Niels Lubbes, Josef Schicho

Abstract: We introduce a recursive procedure for computing the number of realizations of a minimally rigid graph on the sphere up to rotations. We accomplish this by combining two ingredients. The first is a framework that allows us to think of such realizations as of elements of a moduli space of stable rational curves with marked points. The second is the idea of splitting a minimally rigid graph into two… ▽ More We introduce a recursive procedure for computing the number of realizations of a minimally rigid graph on the sphere up to rotations. We accomplish this by combining two ingredients. The first is a framework that allows us to think of such realizations as of elements of a moduli space of stable rational curves with marked points. The second is the idea of splitting a minimally rigid graph into two subgraphs, called calligraphs, that admit one degree of freedom and that share only a single edge and a further vertex. This idea has been recently employed for realizations of graphs in the plane up to isometries. The key result is that we can associate to a calligraph a triple of natural numbers with a special property: whenever a minimally rigid graph is split into two calligraphs, the number of realizations of the former equals the product of the two triples of the latter, where this product is specified by a fixed quadratic form. These triples and quadratic form codify the fact that we express realizations as intersections of two curves on the blowup of a sphere along two pairs of complex conjugate points. △ Less

Submitted 29 August, 2023; originally announced August 2023.

MSC Class: 52C25; 70B15; 14C17; 14H10

How to Reconstruct a Planar Map From its Branching Curve

Authors: Eriola Hoxhaj, Josef Schicho

Abstract: We present an algorithm for constructing a map $\mathbb{P}^2\to\mathbb{P}^2$ with a given branching curve. The stepping stone is the ramification curve, which is obtained as the linear normalization of the branching curve. We present an algorithm for constructing a map $\mathbb{P}^2\to\mathbb{P}^2$ with a given branching curve. The stepping stone is the ramification curve, which is obtained as the linear normalization of the branching curve. △ Less

Submitted 18 July, 2023; originally announced July 2023.

On Galois groups of type-1 minimally rigid graphs

Authors: Mehdi Makhul, Josef Schicho, Audie Warren

Abstract: For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any s… ▽ More For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any such group is totally imprimitive, i.e., it is determined by all the partitions it preserves. △ Less

Submitted 15 January, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Representing Piecewise Linear Functions by Functions with Small Arity

Authors: Christoph Koutschan, Bernhard Moser, Anton Ponomarchuk, Josef Schicho

Abstract: A piecewise linear function can be described in different forms: as an arbitrarily nested expression of $\min$- and $\max$-functions, as a difference of two convex piecewise linear functions, or as a linear combination of maxima of affine-linear functions. In this paper, we provide two main results: first, we show that for every piecewise linear function there exists a linear combination of… ▽ More A piecewise linear function can be described in different forms: as an arbitrarily nested expression of $\min$- and $\max$-functions, as a difference of two convex piecewise linear functions, or as a linear combination of maxima of affine-linear functions. In this paper, we provide two main results: first, we show that for every piecewise linear function there exists a linear combination of $\max$-functions with at most $n+1$ arguments, and give an algorithm for its computation. Moreover, these arguments are contained in the finite set of affine-linear functions that coincide with the given function in some open set. Second, we prove that the piecewise linear function $\max(0, x_{1}, \ldots, x_{n})$ cannot be represented as a linear combination of maxima of less than $n+1$ affine-linear arguments. This was conjectured by Wang and Sun in 2005 in a paper on representations of piecewise linear functions as linear combination of maxima. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Using Algebraic Geometry to Reconstruct a Darboux Cyclide from a Calibrated Camera Picture

Authors: Eriola Hoxhaj, Jean Michel Menjanahary, Josef Schicho

Abstract: The task of recognizing an algebraic surface from a single apparent contour can be reduced to the recovering of a homogeneous equation in four variables from its discriminant. In this paper, we use the fact that Darboux cyclides have a singularity along the absolute conic in order to recognize them up to Euclidean similarity transformations. The task of recognizing an algebraic surface from a single apparent contour can be reduced to the recovering of a homogeneous equation in four variables from its discriminant. In this paper, we use the fact that Darboux cyclides have a singularity along the absolute conic in order to recognize them up to Euclidean similarity transformations. △ Less

Submitted 27 February, 2023; v1 submitted 10 August, 2022; originally announced August 2022.

Comments: 15 pages, 14 figures

Journal ref: Applicable Algebra in Engineering, Communication and Computing 36, 255--271 (2025)

Tri-linear birational maps in dimension three

Authors: Laurent Busé, Pablo González-Mazón, Josef Schicho

Abstract: A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization… ▽ More A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set $\mathfrak{Bir}_{(1,1,1)}$ of tri-linear birational maps, up to composition with an automorphism of $\mathbb{P}_\mathbb{C}^3$, is a locally closed algebraic subset of the Grassmannian of $4$-dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on $\mathfrak{Bir}_{(1,1,1)}$ given by composition with automorphisms of $(\mathbb{P}_\mathbb{C}^1)^3$ defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations. △ Less

Submitted 3 November, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: 28 pages, 1 figure; to appear in Mathematics of Computation (AMS)

Zero-sum cycles in flexible non-triangular polyhedra

Authors: Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: Finding necessary conditions for the geometry of flexible polyhedra is a classical problem that has received attention also in recent times. For flexible polyhedra with triangular faces, we showed in a previous work the existence of cycles with a sign assignment for their edges, such that the signed sum of the edge lengths along the cycle is zero. In this work, we extend this result to flexible no… ▽ More Finding necessary conditions for the geometry of flexible polyhedra is a classical problem that has received attention also in recent times. For flexible polyhedra with triangular faces, we showed in a previous work the existence of cycles with a sign assignment for their edges, such that the signed sum of the edge lengths along the cycle is zero. In this work, we extend this result to flexible non-triangular polyhedra. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: 9 pages

Journal ref: In: Holderbaum W., Selig J.M. (eds) 2nd IMA Conference on Mathematics of Robotics. IMA 2020. Springer Proceedings in Advanced Robotics, vol 21. Springer, Cham (2022)

A new line-symmetric mobile infinity-pod

Authors: Matteo Gallet, Josef Schicho

Abstract: We construct parallel manipulators with one degree of freedom and admitting infinitely many legs lying on a curve of degree ten and genus six. Our technique relies upon a duality between the spaces parametrizing all the possible legs and all the possible configurations of a manipulator. Before describing our construction, we show how this duality helps explaining several known phenomena regarding… ▽ More We construct parallel manipulators with one degree of freedom and admitting infinitely many legs lying on a curve of degree ten and genus six. Our technique relies upon a duality between the spaces parametrizing all the possible legs and all the possible configurations of a manipulator. Before describing our construction, we show how this duality helps explaining several known phenomena regarding mobility of parallel manipulators. △ Less

Submitted 30 March, 2021; originally announced March 2021.

Comments: 14 pages

Classification of higher Mobility closed-loop Linkages

Authors: Tiago Duarte Guerreiro, Zijia Li, Josef Schicho

Abstract: We provide a complete classification of paradoxical closed-loop $n$-linkages, where $n\geq6$, of mobility $n-4$ or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for $nR$-linkages of mobility $n-5$. Our main new tool is a geometric relation between a linkage $L$ and another linkage $L'$ resulting from adding equations to the conf… ▽ More We provide a complete classification of paradoxical closed-loop $n$-linkages, where $n\geq6$, of mobility $n-4$ or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for $nR$-linkages of mobility $n-5$. Our main new tool is a geometric relation between a linkage $L$ and another linkage $L'$ resulting from adding equations to the configuration space of $L$. We then lift known classification results for $L'$ to $L$ using this relation. △ Less

Submitted 27 July, 2022; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 20 pp. Final version. To appear on Ann. Mat. Pura Appl

Hexapods with a small linear span

Authors: Hans-Christian Graf von Bothmer, Matteo Gallet, Josef Schicho

Abstract: The understanding of mobile hexapods, i.e., parallel manipulators with six legs, is one of the driving questions in theoretical kinematics. We aim at contributing to this understanding by employing techniques from algebraic geometry. The set of configurations of a mobile hexapod with one degree of freedom has the structure of a projective curve, which hence has a degree and an embedding dimension.… ▽ More The understanding of mobile hexapods, i.e., parallel manipulators with six legs, is one of the driving questions in theoretical kinematics. We aim at contributing to this understanding by employing techniques from algebraic geometry. The set of configurations of a mobile hexapod with one degree of freedom has the structure of a projective curve, which hence has a degree and an embedding dimension. Our main result is a classification of configuration curves of hexapods that satisfy some restrictions on their embedding dimension. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 41 pages

Five Equivalent Representations of a Phylogenetic Tree

Authors: Jiayue Qi, Josef Schicho

Abstract: A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two. In this paper, we axiomatically define four other discrete structures on the set of leaves. We prove that each of these structures is an equivalent representation of a phylogenetic tree. A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two. In this paper, we axiomatically define four other discrete structures on the set of leaves. We prove that each of these structures is an equivalent representation of a phylogenetic tree. △ Less

Submitted 26 March, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

MSC Class: 05C99

Projective isomorphisms between rational surfaces

Authors: Bert Jüttler, Niels Lubbes, Josef Schicho

Abstract: We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by modifying the parametric maps such that the components of the resulting maps have lower degree. Our method can be used to compute affine, Euclidean and Möbius isomorphi… ▽ More We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by modifying the parametric maps such that the components of the resulting maps have lower degree. Our method can be used to compute affine, Euclidean and Möbius isomorphisms between surfaces. △ Less

Submitted 17 December, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

MSC Class: 14J50; 14J26

Journal ref: J. Algebra 594 (2022) 571-596

Zero-sum cycles in flexible polyhedra

Authors: Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: We show that if a polyhedron in the three-dimensional affine space with triangular faces is flexible, i.e., can be continuously deformed preserving the shape of its faces, then there is a cycle of edges whose lengths sum up to zero once suitably weighted by 1 and -1. We do this via elementary combinatorial considerations, made possible by a well-known compactification of the three-dimensional affi… ▽ More We show that if a polyhedron in the three-dimensional affine space with triangular faces is flexible, i.e., can be continuously deformed preserving the shape of its faces, then there is a cycle of edges whose lengths sum up to zero once suitably weighted by 1 and -1. We do this via elementary combinatorial considerations, made possible by a well-known compactification of the three-dimensional affine space as a quadric in the four-dimensional projective space. The compactification is related to the Euclidean metric, and allows us to use a simple degeneration technique that reduces the problem to its one-dimensional analogue, which is trivial to solve. △ Less

Submitted 18 March, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

MSC Class: 52B10; 52C25; 70B15

Journal ref: Bulletin of the London Mathematical Society (2022). 54(1):112-125

On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs

Authors: Evangelos Bartzos, Ioannis Z. Emiris, Josef Schicho

Abstract: Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solution… ▽ More Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solutions naturally extend the notion of real embeddings, thus allowing us to employ bounds on complex roots. We focus on multihomogeneous B{é}zout (m-B{é}zout) bounds of algebraic systems since they are fast to compute and rather tight for systems exhibiting structure as in our case. We introduce two methods to relate such bounds to combinatorial properties of minimally rigid graphs in $\mathbb{C}^d$ and $S^d$. The first relates the number of graph orientations to the m-Bézout bound, while the second leverages a matrix permanent formulation. Using these approaches we improve the best known asymptotic upper bounds for planar graphs in dimension~3, and all minimally rigid graphs in dimension $d\geq 5$, both in the Euclidean and spherical case. Our computations indicate that m-Bézout bounds are tight for embeddings of planar graphs in $S^2$ and $\mathbb{C}^3$. We exploit Bernstein's second theorem on the exactness of mixed volume, and relate it to the m-B{é}zout bound by analyzing the associated Newton polytopes. We reduce the number of checks required to verify exactness by an exponential factor, and conjecture further that it suffices to check a linear instead of an exponential number of cases overall. △ Less

Submitted 2 July, 2020; v1 submitted 29 May, 2020; originally announced May 2020.

MSC Class: 52C25; 13P15; 52A39; 15A15

And Yet It Moves: Paradoxically Moving Linkages in Kinematics

Authors: Josef Schicho

Abstract: The configuration space of a mechanical linkage, consisting of rigid bodies moving in space constrained by joints, is defined by algebraic conditions. If these equations do not define a complete intersection, then the dimension of the configuration space is higher than expected. These linkages violate the Chebychev-Grübler-Kutzbach formula for the degree of freedom of mobility. Mathematicians deve… ▽ More The configuration space of a mechanical linkage, consisting of rigid bodies moving in space constrained by joints, is defined by algebraic conditions. If these equations do not define a complete intersection, then the dimension of the configuration space is higher than expected. These linkages violate the Chebychev-Grübler-Kutzbach formula for the degree of freedom of mobility. Mathematicians developed a variety of methods to describe and understand this phenomenon. This paper explains some of them. △ Less

Submitted 27 April, 2020; originally announced April 2020.

Comments: 29 pages, 15 figures

MSC Class: 70B10; 53A17

Combinatorics of Bricard's octahedra

Authors: Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: We re-prove the classification of flexible octahedra, obtained by Bricard at the beginning of the XX century, by means of combinatorial objects satisfying some elementary rules. The explanations of these rules rely on the use of a well-known creation of modern algebraic geometry, the moduli space of stable rational curves with marked points, for the description of configurations of graphs on the s… ▽ More We re-prove the classification of flexible octahedra, obtained by Bricard at the beginning of the XX century, by means of combinatorial objects satisfying some elementary rules. The explanations of these rules rely on the use of a well-known creation of modern algebraic geometry, the moduli space of stable rational curves with marked points, for the description of configurations of graphs on the sphere. Once one accepts the objects and the rules, the classification becomes elementary (though not trivial) and can be enjoyed without the need of a very deep background on the topic. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: 40 pages, 23 figures. Animations of flexible octahedra available at https://jan.legersky.cz/project/bricard_octahedra/

Journal ref: Comptes Rendus. Mathématique, Tome 359 (2021) no. 1, pp. 7-38

On the Classification of Motions of Paradoxically Movable Graphs

Authors: Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: Edge lengths of a graph are called flexible if there exist infinitely many non-congruent realizations of the graph in the plane satisfying these edge lengths. It has been shown recently that a graph has flexible edge lengths if and only if the graph has a special type of edge coloring called NAC-coloring. We address the question how to determine all possible proper flexible edge lengths from the s… ▽ More Edge lengths of a graph are called flexible if there exist infinitely many non-congruent realizations of the graph in the plane satisfying these edge lengths. It has been shown recently that a graph has flexible edge lengths if and only if the graph has a special type of edge coloring called NAC-coloring. We address the question how to determine all possible proper flexible edge lengths from the set of all NAC-colorings of a graph. We do so using restrictions to 4-cycle subgraphs. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Journal ref: Journal of Computational Geometry (2020). 11(1):548-575

On the existence of paradoxical motions of generically rigid graphs on the sphere

Authors: Matteo Gallet, Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: We interpret realizations of a graph on the sphere up to rotations as elements of a moduli space of curves of genus zero. We focus on those graphs that admit an assignment of edge lengths on the sphere resulting in a flexible object. Our interpretation of realizations allows us to provide a combinatorial characterization of these graphs in terms of the existence of particular colorings of the edge… ▽ More We interpret realizations of a graph on the sphere up to rotations as elements of a moduli space of curves of genus zero. We focus on those graphs that admit an assignment of edge lengths on the sphere resulting in a flexible object. Our interpretation of realizations allows us to provide a combinatorial characterization of these graphs in terms of the existence of particular colorings of the edges. Moreover, we determine necessary relations for flexibility between the spherical lengths of the edges. We conclude by classifying all possible motions on the sphere of the complete bipartite graph with $3+3$ vertices where no two vertices coincide or are antipodal. △ Less

Submitted 23 May, 2022; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 42 pages. This is the accepted version of the manuscript; the final version of this work is https://doi.org/10.1137/19M1289467

Journal ref: SIAM J. Discrete Math., 35(1), 325-361 (2021)

Reconstruction of rational ruled surfaces from their silhouettes

Authors: Matteo Gallet, Niels Lubbes, Josef Schicho, Jan Vršek

Abstract: We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general projections to $\mathbb{p}^3$ of rational normal scrolls. In the first case, we use the fact that every such surface is the projection of the tangent developable of… ▽ More We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general projections to $\mathbb{p}^3$ of rational normal scrolls. In the first case, we use the fact that every such surface is the projection of the tangent developable of a rational normal curve, while in the second we start by reconstructing the rational normal scroll. In both instances we then reconstruct the correct projection to $\mathbb{p}^3$ of these surfaces by exploiting the information contained in the singularities of the apparent contour. △ Less

Submitted 27 April, 2021; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 17 pages

Journal ref: Journal of Symbolic Computation, Volume 104, May-June 2021, Pages 366-380

Counting realizations of Laman graphs on the sphere

Authors: Matteo Gallet, Georg Grasegger, Josef Schicho

Abstract: We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space. We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: 15 pages

Journal ref: Electronic Journal of Combinatorics, 2020

Graphs with Flexible Labelings allowing Injective Realizations

Authors: Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: We consider realizations of a graph in the plane such that the distances between adjacent vertices satisfy the constraints given by an edge labeling. If there are infinitely many such realizations, counted modulo rigid motions, the labeling is called flexible. The existence of a flexible labeling, possibly non-generic, has been characterized combinatorially by the existence of a so called NAC-colo… ▽ More We consider realizations of a graph in the plane such that the distances between adjacent vertices satisfy the constraints given by an edge labeling. If there are infinitely many such realizations, counted modulo rigid motions, the labeling is called flexible. The existence of a flexible labeling, possibly non-generic, has been characterized combinatorially by the existence of a so called NAC-coloring. Nevertheless, the corresponding realizations are often non-injective. In this paper, we focus on flexible labelings with infinitely many injective realizations. We provide a necessary combinatorial condition on existence of such a labeling based also on NAC-colorings of the graph. By introducing new tools for the construction of such labelings, we show that the necessary condition is also sufficient up to 8 vertices, but this is not true in general for more vertices. △ Less

Submitted 19 December, 2019; v1 submitted 16 November, 2018; originally announced November 2018.

Journal ref: Discrete Mathematics (2020). 343(6): Art. 111713

Reconstruction of surfaces with ordinary singularities from their silhouettes

Authors: Matteo Gallet, Niels Lubbes, Josef Schicho, Jan Vršek

Abstract: We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus. We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus. △ Less

Submitted 23 April, 2021; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 36 pages

MSC Class: 14Q10 (14J99)

Journal ref: SIAM J. Appl. Algebra Geometry, 3(3), 472-506 (2019)

An application of Bertini Theorem

Authors: Mehdi Makhul, Josef Schicho

Abstract: Given an irreducible variety $X$ over a finite field, the density of hypersurfaces of varying degree $d$ intersecting $X$ in an irreducible subvariety is $1$, by a result of Charles and Poonen. In this note, we analyse the situation fixing $d=1$ and extend the base field instead of the degree $d$. We compute the probability that a random linear subspace of the right dimension intersects $X$ in a g… ▽ More Given an irreducible variety $X$ over a finite field, the density of hypersurfaces of varying degree $d$ intersecting $X$ in an irreducible subvariety is $1$, by a result of Charles and Poonen. In this note, we analyse the situation fixing $d=1$ and extend the base field instead of the degree $d$. We compute the probability that a random linear subspace of the right dimension intersects $X$ in a given number of points. △ Less

Submitted 10 February, 2020; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 6 pages

MSC Class: 14G15 (11G25)

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

Kinematic generation of Darboux cyclides

Authors: Niels Lubbes, Josef Schicho

Abstract: We state a relation between two families of lines that cover a quadric surface in the Study quadric and two families of circles that cover a Darboux cyclide. We state a relation between two families of lines that cover a quadric surface in the Study quadric and two families of circles that cover a Darboux cyclide. △ Less

Submitted 14 March, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

MSC Class: 14J26; 53A17; 53A05

Journal ref: Comput. Aided Geom. Des. 64 (2018) 11-14

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

Probabilities of incidence between lines and a plane curve over finite fields

Authors: Mehdi Makhul, Josef Schicho, Matteo Gallet

Abstract: We study the probability for a random line to intersect a given plane curve, defined over a finite field, in a given number of points defined over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of Chebotarev density theorem for function fields can be used t… ▽ More We study the probability for a random line to intersect a given plane curve, defined over a finite field, in a given number of points defined over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of Chebotarev density theorem for function fields can be used to prove the existence of these limits, and to compute them under a mildly stronger condition, known as simple tangency. Partial results have already appeared in the literature, and we propose this work as an introduction to the use of Chebotarev theorem in the context of incidence geometry. Finally, Veronese maps allow us to compute similar probabilities of intersection between a given curve and random curves of given degree. △ Less

Submitted 29 April, 2021; v1 submitted 16 November, 2017; originally announced November 2017.

Comments: 17 pages

Journal ref: Finite Fields and Their Applications, Volume 61, January 2020, 101582

Graphs with Flexible Labelings

Authors: Georg Grasegger, Jan Legerský, Josef Schicho

Abstract: For a flexible labeling of a graph, it is possible to construct infinitely many non-equivalent realizations keeping the distances of connected points constant. We give a combinatorial characterization of graphs that have flexible labelings. The characterization is based on colorings of the edges with restrictions on the cycles. Furthermore, we give necessary criteria and sufficient ones for the ex… ▽ More For a flexible labeling of a graph, it is possible to construct infinitely many non-equivalent realizations keeping the distances of connected points constant. We give a combinatorial characterization of graphs that have flexible labelings. The characterization is based on colorings of the edges with restrictions on the cycles. Furthermore, we give necessary criteria and sufficient ones for the existence of such colorings. △ Less

Submitted 19 November, 2018; v1 submitted 17 August, 2017; originally announced August 2017.

MSC Class: 51K99; 70B99; 05C78

Journal ref: Discrete and Computational Geometry (2019). 62(2):461-480

Counting projections of rational curves

Authors: Matteo Gallet, Josef Schicho

Abstract: Given two general rational curves of the same degree in two projective spaces, one can ask whether there exists a third rational curve of the same degree that projects to both of them. We show that, under suitable assumptions on the degree of the curves and the dimensions of the two given ambient projective spaces, the number of curves and projections fulfilling the requirements is finite. Using s… ▽ More Given two general rational curves of the same degree in two projective spaces, one can ask whether there exists a third rational curve of the same degree that projects to both of them. We show that, under suitable assumptions on the degree of the curves and the dimensions of the two given ambient projective spaces, the number of curves and projections fulfilling the requirements is finite. Using standard techniques in intersection theory and the Bott residue formula, we compute this number. △ Less

Submitted 22 May, 2022; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 27 pages. This is the accepted version of the manuscript; the published version is available at https://link.springer.com/article/10.1007/s11856-020-2071-3

Journal ref: Israel Journal of Mathematics, volume 240, pages 503-538 (2020)

Computing the number of realizations of a Laman graph

Authors: Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho

Abstract: Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main id… ▽ More Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view. △ Less

Submitted 11 October, 2017; v1 submitted 12 July, 2017; originally announced July 2017.

Comments: Extended abstract; the long version is arxiv:1701.05500

MSC Class: 14T05; 14N99; 52C25; 05C99

Journal ref: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017) 61, pp. 207-213, 2017

The number of realizations of a Laman graph

Authors: Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan, Niels Lubbes, Josef Schicho

Abstract: Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive form… ▽ More Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive formula for the number of complex solutions of such systems. △ Less

Submitted 28 November, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 36 pages

MSC Class: 14T05; 14N99; 52C25; 05C99

Journal ref: SIAM Journal on Applied Algebra and Geometry, Volume 2, Issue 1, p. 94-125, 2018

On sets defining few ordinary circles

Authors: Aaron Lin, Mehdi Makhul, Hossein Nassajian Mojarrad, Josef Schicho, Konrad Swanepoel, Frank de Zeeuw

Abstract: An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to thi… ▽ More An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to this minimum. We also consider the circle variant of the orchard problem. We prove that $P$ spans at most $\frac{1}{24}n^3 - O(n^2)$ circles passing through exactly four points of $P$. Here we determine the exact maximum and the extremal configurations for all sufficiently large $n$. These results are based on the following structure theorem. If $n$ is sufficiently large depending on $K$, and $P$ is a set of $n$ points spanning at most $Kn^2$ ordinary circles, then all but $O(K)$ points of $P$ lie on an algebraic curve of degree at most four. Our proofs rely on a recent result of Green and Tao on ordinary lines, combined with circular inversion and some classical results regarding algebraic curves. △ Less

Submitted 11 September, 2018; v1 submitted 22 July, 2016; originally announced July 2016.

Comments: 28 pages, 6 figures. Post-publication corrections to Theorems 1.3 and 1.5 with corresponding updates to Sections 4.1 and 4.2. The earlier preprint arXiv:1412.8314 is subsumed by this paper and will not be published independently

MSC Class: 52C10

Journal ref: Disc. Comp. Geom. 59 (2018), no. 1, 59--87

Mobile Icosapods

Authors: Matteo Gallet, Georg Nawratil, Josef Schicho, J. M. Selig

Abstract: Pods are mechanical devices constituted of two rigid bodies, the base and the platform, connected by a number of other rigid bodies, called legs, that are anchored via spherical joints. It is possible to prove that the maximal number of legs of a mobile pod, when finite, is 20. In 1904, Borel designed a technique to construct examples of such 20-pods, but could not constrain the legs to have base… ▽ More Pods are mechanical devices constituted of two rigid bodies, the base and the platform, connected by a number of other rigid bodies, called legs, that are anchored via spherical joints. It is possible to prove that the maximal number of legs of a mobile pod, when finite, is 20. In 1904, Borel designed a technique to construct examples of such 20-pods, but could not constrain the legs to have base and platform points with real coordinates. We show that Borel's construction yields all mobile 20-pods, and that it is possible to construct examples with all real coordinates. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: 22 pages, 4 figures

MSC Class: 14L35; 70B15; 14P10

Journal ref: Advances in Applied Mathematics, Volume 88, July 2017, Pages 1-25

Addendum to Pentapods with Mobility 2

Authors: Georg Nawratil, Josef Schicho

Abstract: In a foregoing publication the authors studied pentapods with mobility 2, where neither all platform anchor points nor all base anchor points are located on a line. It turned out that the given classification is incomplete. This addendum is devoted to the discussion of the missing cases resulting in additional solutions already known to Duporcq. In a foregoing publication the authors studied pentapods with mobility 2, where neither all platform anchor points nor all base anchor points are located on a line. It turned out that the given classification is incomplete. This addendum is devoted to the discussion of the missing cases resulting in additional solutions already known to Duporcq. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 9 pages, 6 figures

Liaison Linkages

Authors: Matteo Gallet, Georg Nawratil, Josef Schicho

Abstract: The complete classification of hexapods - also known as Stewart Gough platforms - of mobility one is still open. To tackle this problem, we can associate to each hexapod of mobility one an algebraic curve, called the configuration curve. In this paper we establish an upper bound for the degree of this curve, assuming the hexapod is general enough. Moreover, we provide a construction of hexapods wi… ▽ More The complete classification of hexapods - also known as Stewart Gough platforms - of mobility one is still open. To tackle this problem, we can associate to each hexapod of mobility one an algebraic curve, called the configuration curve. In this paper we establish an upper bound for the degree of this curve, assuming the hexapod is general enough. Moreover, we provide a construction of hexapods with curves of maximal degree, which is based on liaison, a technique used in the theory of algebraic curves. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 40 pages, 6 figures

Journal ref: Journal of Symbolic Computation, Volume 79, Part 1, March-April 2017, Pages 65-98

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

On a conjecture of Tian

Authors: Hamid Abban, Ivan Cheltsov, Josef Schicho

Abstract: We study Tian's $α$-invariant in comparison with the $α_1$-invariant for pairs $(S_d,H)$ consisting of a smooth surface $S_d$ of degree $d$ in the projective three-dimensional space and a hyperplane section $H$. A conjecture of Tian asserts that $α(S_d,H)=α_1(S_d,H)$. We show that this is indeed true for $d=4$ (the result is well known for $d\leqslant 3$), and we show that $α(S_d,H)<α_1(S_d,H)$ fo… ▽ More We study Tian's $α$-invariant in comparison with the $α_1$-invariant for pairs $(S_d,H)$ consisting of a smooth surface $S_d$ of degree $d$ in the projective three-dimensional space and a hyperplane section $H$. A conjecture of Tian asserts that $α(S_d,H)=α_1(S_d,H)$. We show that this is indeed true for $d=4$ (the result is well known for $d\leqslant 3$), and we show that $α(S_d,H)<α_1(S_d,H)$ for $d\geqslant 8$ provided that $S_d$ is general enough. We also construct examples of $S_d$, for $d=6$ and $d=7$, for which Tian's conjecture fails. We provide a candidate counterexample for $S_5$. △ Less

Submitted 20 April, 2017; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: Final version. To appear in Mathematische Zeitschrift

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

Planar Linkages Following a Prescribed Motion

Authors: Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar

Abstract: Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of years, and recently also computer scientists. Already in 1876, Kempe proposed a procedure for solving the problem in full generality, but his constructions tend to be extremely complicated. We provide a novel algorithm that produces much simpler… ▽ More Designing mechanical devices, called linkages, that draw a given plane curve has been a topic that interested engineers and mathematicians for hundreds of years, and recently also computer scientists. Already in 1876, Kempe proposed a procedure for solving the problem in full generality, but his constructions tend to be extremely complicated. We provide a novel algorithm that produces much simpler linkages, but works only for parametric curves. Our approach is to transform the problem into a factorization task over some noncommutative algebra. We show how to compute such a factorization, and how to use it to construct a linkage tracing a given curve. △ Less

Submitted 5 April, 2016; v1 submitted 19 February, 2015; originally announced February 2015.

Comments: 33 pages, 12 figures

MSC Class: 70B15; 68W30; 70G55; 20G20; 16Z05; 14P05; 12Y05

Journal ref: Mathematics of Computation 86 (2017), pages 473-506

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

Ambiguities in a Problem in Planar Geodesy

Authors: Josef Schicho, Matteo Gallet

Abstract: This is a study of a problem in geodesy with methods from complex algebraic geometry: for a fixed number of measure points and target points at unknown position in the Euclidean plane, we study the problem of determining their relative position when the viewing angles between target points seen from measure points are known. In particular, we determine all situations in which there is more than on… ▽ More This is a study of a problem in geodesy with methods from complex algebraic geometry: for a fixed number of measure points and target points at unknown position in the Euclidean plane, we study the problem of determining their relative position when the viewing angles between target points seen from measure points are known. In particular, we determine all situations in which there is more than one solution. △ Less

Submitted 27 January, 2015; v1 submitted 28 October, 2014; originally announced October 2014.

Journal ref: SIGMA 11 (2015), 008, 13 pages

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