Searcharxiv⌕ Search

arXiv subjects

Gábor Domokos

Publications and source records attributed to Gábor Domokos.

30 records · Page 2Linked to original sources
arXiv2021

Mono-monostatic polyhedra with uniform point masses have at least 8 vertices

The monostatic property of convex polyhedra (i.e. the property of having just one stable or unstable static equilibrium point) has been in the focus of research ever since Conway and Guy published the proof of the existence of the first such object, followed by the constructions of Bezdek and Reshetov. These examples establish $F\leq 14, V\leq 18$ as the respective \emph{upper bounds} for the minimal number of faces and vertices for a homogeneous mono-stable polyhedron. By proving that no mono-stable homogeneous tetrahedron existed, Conway and Guy established for the same problem the lower bounds for the number of faces and vertices as $F, V \geq 5$ and the same lower bounds were also established for the mono-unstable case. It is also clear that the $F,V \geq 5$ bounds also apply for convex, homogeneous point sets with unit masses at each point (also called polyhedral 0-skeletons) and they are also valid for mono-monostatic polyhedra with exactly on stable and one unstable equilibrium point (both homogeneous and 0-skeletons). Here we present an algorithm by which we improve the lower bound to $V\geq 8$ vertices (implying $f \geq 6$ faces) on mono-unstable and mono-monostable 0-skeletons. Our algorithm appears to be less well suited to compute the lower bounds for mono-stability. We point out these difficulties in connection with the work of Dawson and Finbow who explored the monostatic property of simplices in higher dimensions.

math.MG↗
arXiv2020

Computing critical point evolution under planar curvature flows

We present a numerical method for computing the evolution of a planar, star-shaped curve under a broad class of curvature-driven geometric flows, which we refer to as the Andrews-Bloore flows. This family of flows has two parameters that control one constant and one curvature-dependent component for the velocity in the direction of the normal to the curve. The Andrews-Bloore flow includes as special cases the well known Eikonal, curve-shortening and affine shortening flows, and for positive parameter values its evolution shrinks the area enclosed by the curve to zero in finite time. A question of key interest has been how the shape itself, as well as various shape descriptors evolve as this limit is approached. Star-like curves can be represented by a periodic scalar polar distance function $r(φ)$ measured from a reference point. An important question is how the numbers and the trajectories of critical points of the distance function $r(φ)$ and of the curvature $κ(φ)$ evolve under the Andrews-Bloore flows for different choices of the parameters. Our method is specifically designed to meet the challenge of computing accurate trajectories of these critical points up to the vicinity of a limiting shape. Each curve is represented by a piecewise polynomial periodic distance function, as determined by a chosen mesh; different types of meshes and mesh adaptation can be chosen to ensure a good balance between accuracy and computational cost. As we demonstrate with benchmark tests and two longer case studies, our method allows one to perform numerical investigations into subtle questions of planar curve evolution. More specifically we provide illustrations of some known results, numerical evidence for two stated conjectures, as well as new insights and observations regarding the limit shapes of initial curves with different types of symmetry.

math.DS↗
arXiv2020

Plato's cube and the natural geometry of fragmentation

Plato envisioned Earth's building blocks as cubes, a shape rarely found in nature. The solar system is littered, however, with distorted polyhedra -- shards of rock and ice produced by ubiquitous fragmentation. We apply the theory of convex mosaics to show that the average geometry of natural 2D fragments, from mud cracks to Earth's tectonic plates, has two attractors: "Platonic" quadrangles and "Voronoi" hexagons. In 3D the Platonic attractor is dominant: remarkably, the average shape of natural rock fragments is cuboid. When viewed through the lens of convex mosaics, natural fragments are indeed geometric shadows of Plato's forms. Simulations show that generic binary breakup drives all mosaics toward the Platonic attractor, explaining the ubiquity of cuboid averages. Deviations from binary fracture produce more exotic patterns that are genetically linked to the formative stress field. We compute the universal pattern generator establishing this link, for 2D and 3D fragmentation.

cond-mat.soft↗
arXiv2018

Tracking critical points on evolving curves and surfaces

In recent years it became apparent that geophysical abrasion can be well characterized by the time evolution $N(t)$ of the number $N$ of static balance points of the abrading particle. Static balance points correspond to the critical points of the particle's surface represented as a scalar distance function $r$, measured from the center of mass, so their time evolution can be expressed as $N(r(t))$. The mathematical model of the particle can be constructed on two scales: on the macro scale the particle may be viewed as a smooth, convex manifold described by the smooth distance function $r$ with $N=N(r)$ equilibria, while on the micro scale the particle's natural model is a finely discretized, convex polyhedral approximation $r^Δ$ of $r$, with $N^Δ=N(r^Δ)$ equilibria. There is strong intuitive evidence suggesting that under some particular evolution models $N(t)$ and $N^Δ(t)$ primarily evolve in the opposite manner. Here we create the mathematical framework necessary to understand these phenomenon more broadly, regardless of the particular evolution equation. We study micro and macro events in one-parameter families of curves and surfaces, corresponding to bifurcations triggering the jumps in $N(t)$ and $N^Δ(t)$. We show that the intuitive picture developed for curvature-driven flows is not only correct, it has universal validity, as long as the evolving surface $r$ is smooth. In this case, bifurcations associated with $r$ and $r^Δ$ are coupled to some extent: resonance-like phenomena in $N^Δ(t)$ can be used to forecast downward jumps in $N(t)$ (but not upward jumps). Beyond proving rigorous results for the $Δ\to 0$ limit on the nontrivial interplay between singularities in the discrete and continuum approximations we also show that our mathematical model is structurally stable, i.e. it may be verified by computer simulations.

math.DS↗
arXiv2017

Explaining the elongated shape of 'Oumuamua by the Eikonal abrasion model

The photometry of the minor body with extrasolar origin (1I/2017 U1) 'Oumuamua revealed an unprecedented shape: Meech et al. (2017) reported a shape elongation b/a close to 1/10, which calls for theoretical explanation. Here we show that the abrasion of a primordial asteroid by a huge number of tiny particles ultimately leads to such elongated shape. The model (called the Eikonal equation) predicting this outcome was already suggested in Domokos et al. (2009) to play an important role in the evolution of asteroid shapes.

astro-ph.EP↗
arXiv2017

A shape evolution model under affine transformations

In this note we describe a discrete dynamical system acting on the similarity classes of a plane convex body within the affine class of the body. We find invariant elements in all affine classes, and describe the orbits of bodies in some special classes. We point out applications with abrasion processes of pebble shapes.

math.MG↗
arXiv2015

A topological classification of convex bodies

The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.

math.DG↗
arXiv2015

A genealogy of convex solids via local and global bifurcations of gradient vector fields

Three-dimensional convex bodies can be classified in terms of the number and stability types of critical points on which they can balance at rest on a horizontal plane. For typical bodies these are nondegenerate maxima, minima, and saddle-points, the numbers of which provide a primary classification. Secondary and tertiary classifications use graphs to describe orbits connecting these critical points in the gradient vector field associated with each body. In previous work it was shown that these classifications are complete in that no class is empty. Here we construct 1- and 2-parameter families of convex bodies connecting members of adjacent primary and secondary classes and show that transitions between them can be realized by codimension 1 saddle-node and saddle-saddle (heteroclinic) bifurcations in the gradient vector fields. Our results indicate that all combinatorially possible transitions can be realized in physical shape evolution processes, e.g. by abrasion of sedimentary particles.

math.MG↗
arXiv2014

On the average number of normals through points of a convex body

In 1944, Santaló asked about the average number of normals through a point of a given convex body. Since then, numerous results appeared in the literature about this problem. The aim of this paper is to give a concise summary of these results, with some new, recent developments. We point out connections of this problem to static equilibria of rigid bodies as well as to geometric partial differential equations of surface evolution.

math.MG↗
arXiv2012

Generating spherical multiquadrangulations by restricted vertex splittings and the reducibility of equilibrium classes

A quadrangulation is a graph embedded on the sphere such that each face is bounded by a walk of length 4, parallel edges allowed. All quadrangulations can be generated by a sequence of graph operations called vertex splitting, starting from the path P_2 of length 2. We define the degree D of a splitting S and consider restricted splittings S_{i,j} with i <= D <= j. It is known that S_{2,3} generate all simple quadrangulations. Here we investigate the cases S_{1,2}, S_{1,3}, S_{1,1}, S_{2,2}, S_{3,3}. First we show that the splittings S_{1,2} are exactly the monotone ones in the sense that the resulting graph contains the original as a subgraph. Then we show that they define a set of nontrivial ancestors beyond P_2 and each quadrangulation has a unique ancestor. Our results have a direct geometric interpretation in the context of mechanical equilibria of convex bodies. The topology of the equilibria corresponds to a 2-coloured quadrangulation with independent set sizes s, u. The numbers s, u identify the primary equilibrium class associated with the body by Várkonyi and Domokos. We show that both S_{1,1} and S_{2,2} generate all primary classes from a finite set of ancestors which is closely related to their geometric results. If, beyond s and u, the full topology of the quadrangulation is considered, we arrive at the more refined secondary equilibrium classes. As Domokos, Lángi and Szabó showed recently, one can create the geometric counterparts of unrestricted splittings to generate all secondary classes. Our results show that S_{1,2} can only generate a limited range of secondary classes from the same ancestor. The geometric interpretation of the additional ancestors defined by monotone splittings shows that minimal polyhedra play a key role in this process. We also present computational results on the number of secondary classes and multiquadrangulations.

cs.DM↗
arXiv2011

The mechanics of rocking stones: equilibria on separated scales

Rocking stones, balanced in counter-intuitive positions have always intrigued geologists. In our paper we explain this phenomenon based on high-precision scans of pebbles which exhibit similar behavior. We construct their convex hull and the heteroclinic graph carrying their equilibrium points. By systematic simplification of the arising Morse-Smale complex in a one-parameter process we show that equilibria occur typically in highly localized groups (flocks), the number of the latter can be reliably observed and determined by hand experiments. Both local and global (micro and macro) equilibria can be either stable or unstable. Most commonly, rocks and pebbles are balanced on stable local equilibria belonging to stable flocks. However, it is possible to balance a convex body on a stable local equilibrium belonging to an unstable flock and this is the intriguing mechanical scenario corresponding to rocking stones. Since outside observers can only reliably perceive flocks, the last described situation will appear counter-intuitive. Comparison of computer experiments to hand experiments reveals that the latter are consistent, i.e. the flocks can be reliably counted and the pebble classification system proposed in our previous work (Domokos et al 2010) is robustly applicable. We also find an interesting logarithmic relationship between the Zingg parameters and the average number of global equilibrium points, indicating a close relationship between the two systems.

physics.geo-ph↗