-
The Ribaucour families of discrete R-congruences
Authors:
Thilo Rörig,
Gudrun Szewieczek
Abstract:
While a generic smooth Ribaucour sphere congruence admits exactly two envelopes, a discrete R-congruence gives rise to a 2-parameter family of discrete enveloping surfaces. The main purpose of this paper is to gain geometric insights into this ambiguity. In particular, discrete R-congruences that are enveloped by discrete channel surfaces and discrete Legendre maps with one family of spherical cur…
▽ More
While a generic smooth Ribaucour sphere congruence admits exactly two envelopes, a discrete R-congruence gives rise to a 2-parameter family of discrete enveloping surfaces. The main purpose of this paper is to gain geometric insights into this ambiguity. In particular, discrete R-congruences that are enveloped by discrete channel surfaces and discrete Legendre maps with one family of spherical curvature lines are discussed.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Orthogonal ring patterns in the plane
Authors:
Alexander I. Bobenko,
Tim Hoffmann,
Thilo Rörig
Abstract:
We introduce orthogonal ring patterns consisting of pairs of concentric circles generalizing circle patterns. We show that orthogonal ring patterns are governed by the same equation as circle patterns. For every ring pattern there exists a one parameter family of patterns that interpolates between a circle pattern and its dual. We construct ring pattern analogues of the Doyle spiral, Erf and…
▽ More
We introduce orthogonal ring patterns consisting of pairs of concentric circles generalizing circle patterns. We show that orthogonal ring patterns are governed by the same equation as circle patterns. For every ring pattern there exists a one parameter family of patterns that interpolates between a circle pattern and its dual. We construct ring pattern analogues of the Doyle spiral, Erf and $z^α$ functions. We also derive a variational principle and compute ring patterns based on Dirichlet and Neumann boundary conditions.
△ Less
Submitted 27 October, 2023; v1 submitted 16 November, 2019;
originally announced November 2019.
-
Multi-Nets. Classification of discrete and smooth surfaces with characteristic properties on arbitrary parameter rectangles
Authors:
Alexander I. Bobenko,
Helmut Pottmann,
Thilo Rörig
Abstract:
We investigate the common underlying discrete structures for various smooth and discrete nets. The main idea is to impose the characteristic properties of the nets not only on elementary quadrilaterals but also on larger parameter rectangles. For discrete planar quadrilateral nets, circular nets, $Q^*$-nets and conical nets we obtain a characterization of the corresponding discrete multi-nets. In…
▽ More
We investigate the common underlying discrete structures for various smooth and discrete nets. The main idea is to impose the characteristic properties of the nets not only on elementary quadrilaterals but also on larger parameter rectangles. For discrete planar quadrilateral nets, circular nets, $Q^*$-nets and conical nets we obtain a characterization of the corresponding discrete multi-nets. In the limit these discrete nets lead to some classical classes of smooth surfaces. Furthermore, we propose to use the characterized discrete nets as discrete extensions for the nets to obtain structure preserving subdivision schemes.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Supercyclidic nets
Authors:
Alexander I. Bobenko,
Emanuel Huhnen-Venedey,
Thilo Rörig
Abstract:
Supercyclides are surfaces with a characteristic conjugate parametrization consisting of two families of conics. Patches of supercyclides can be adapted to a Q-net (a discrete quadrilateral net with planar faces) such that neighboring surface patches share tangent planes along common boundary curves. We call the resulting patchworks 'supercyclidic nets' and show that every Q-net in…
▽ More
Supercyclides are surfaces with a characteristic conjugate parametrization consisting of two families of conics. Patches of supercyclides can be adapted to a Q-net (a discrete quadrilateral net with planar faces) such that neighboring surface patches share tangent planes along common boundary curves. We call the resulting patchworks 'supercyclidic nets' and show that every Q-net in $\mathbb{R}P^3$ can be extended to a supercyclidic net. The construction is governed by a multidimensionally consistent 3D system. One essential aspect of the theory is the extension of a given Q-net in $\mathbb{R}P^N$ to a system of circumscribed discrete torsal line systems. We present a description of the latter in terms of projective reflections that generalizes the systems of orthogonal reflections which govern the extension of circular nets to cyclidic nets by means of Dupin cyclide patches.
△ Less
Submitted 23 December, 2014;
originally announced December 2014.
-
Discretization of asymptotic line parametrizations using hyperboloid patches
Authors:
Emanuel Huhnen-Venedey,
Thilo Rörig
Abstract:
Two-dimensional affine A-nets in 3-space are quadrilateral meshes that discretize surfaces parametrized along asymptotic lines. The characterizing property of A-nets is planarity of vertex stars, so for generic A-nets the elementary quadrilaterals are skew. We classify the simply connected affine A-nets that can be extended to continuously differentiable surfaces by gluing hyperboloid surface patc…
▽ More
Two-dimensional affine A-nets in 3-space are quadrilateral meshes that discretize surfaces parametrized along asymptotic lines. The characterizing property of A-nets is planarity of vertex stars, so for generic A-nets the elementary quadrilaterals are skew. We classify the simply connected affine A-nets that can be extended to continuously differentiable surfaces by gluing hyperboloid surface patches into the skew quadrilaterals. The resulting surfaces are called "hyperbolic nets" and are a novel piecewise smooth discretization of surfaces parametrized along asymptotic lines. It turns out that a simply connected affine A-net has to satisfy one combinatorial and one geometric condition to be extendable - all vertices have to be of even degree and all quadrilateral strips have to be "equi-twisted". Furthermore, if an A-net can be extended to a hyperbolic net, then there exists a 1-parameter family of such C^1-surfaces. It is briefly explained how the generation of hyperbolic nets can be implemented on a computer. The article uses the projective model of Pluecker geometry to describe A-nets and hyperboloids.
△ Less
Submitted 15 December, 2011;
originally announced December 2011.
-
Polyhedral Surfaces in Wedge Products
Authors:
Thilo Rörig,
Günter M. Ziegler
Abstract:
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of…
▽ More
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005).
One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.
△ Less
Submitted 21 August, 2009;
originally announced August 2009.
-
Non-projectability of polytope skeleta
Authors:
Thilo Rörig,
Raman Sanyal
Abstract:
We investigate necessary conditions for the existence of projections of polytopes that preserve full k-skeleta. More precisely, given the combinatorics of a polytope and the dimension e of the target space, what are obstructions to the existence of a geometric realization of a polytope with the given combinatorial type such that a linear projection to e-space strictly preserves the k-skeleton. B…
▽ More
We investigate necessary conditions for the existence of projections of polytopes that preserve full k-skeleta. More precisely, given the combinatorics of a polytope and the dimension e of the target space, what are obstructions to the existence of a geometric realization of a polytope with the given combinatorial type such that a linear projection to e-space strictly preserves the k-skeleton. Building on the work of Sanyal (2009), we develop a general framework to calculate obstructions to the existence of such realizations using topological combinatorics. Our obstructions take the form of graph colorings and linear integer programs. We focus on polytopes of product type and calculate the obstructions for products of polygons, products of simplices, and wedge products of polytopes. Our results show the limitations of constructions for the deformed products of polygons of Sanyal & Ziegler (2009) and the wedge product surfaces of Rörig & Ziegler (2009) and complement their results.
△ Less
Submitted 6 August, 2009;
originally announced August 2009.
-
Drawing polytopal graphs with polymake
Authors:
Ewgenij Gawrilow,
Michael Joswig,
Thilo Rörig,
Nikolaus Witte
Abstract:
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces and tropical polytopes. In all our cases we arrive at specific, geometrically motivated, graph drawing problems. The methods displayed are implemented in the so…
▽ More
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces and tropical polytopes. In all our cases we arrive at specific, geometrically motivated, graph drawing problems. The methods displayed are implemented in the software system polymake.
△ Less
Submitted 15 November, 2007;
originally announced November 2007.
-
Zonotopes With Large 2D Cuts
Authors:
Thilo Rörig,
Nikolaus Witte,
Günter M. Ziegler
Abstract:
There are d-dimensional zonotopes with n zones for which a 2-dimensional central section has Ω(n^{d-1}) vertices. For d=3 this was known, with examples provided by the "Ukrainian easter eggs'' by Eppstein et al. Our result is asymptotically optimal for all fixed d>=2.
There are d-dimensional zonotopes with n zones for which a 2-dimensional central section has Ω(n^{d-1}) vertices. For d=3 this was known, with examples provided by the "Ukrainian easter eggs'' by Eppstein et al. Our result is asymptotically optimal for all fixed d>=2.
△ Less
Submitted 3 June, 2008; v1 submitted 16 October, 2007;
originally announced October 2007.