Related papers: Body-and-cad Geometric Constraint Systems
Optimal recursive decomposition (or DR-planning) is crucial for analyzing, designing, solving or finding realizations of geometric constraint sytems. While the optimal DR-planning problem is NP-hard even for general 2D bar-joint constraint…
We introduce complex intersection bodies and show that their properties and applications are similar to those of their real counterparts. In particular, we generalize Busemann's theorem to the complex case by proving that complex…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
Here the buckling of inextensible rods due to axial body forces is mapped to 1d, nonrelativistic, time-independent quantum mechanics. Focusing on the pedagogical case of rods confined to 2d, three simple and physically realizable…
We consider the classical 3-body system with $d$ degrees of freedom $(d>1)$ at zero total angular momentum. The study is restricted to potentials $V$ that depend solely on relative (mutual) distances $r_{ij}=\mid {\bf r}_i - {\bf r}_j\mid$…
Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of generically rigid structures. We define a new family called {\bf graded sparse graphs}, arising from generically…
We use the numerical conformal bootstrap to study boundary quantum electrodynamics, the theory of a four dimensional photon in a half space coupled to charged conformal matter on the boundary. This system is believed to be a boundary…
A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity…
A $d$-dimensional tensegrity framework $(T,p)$ is an edge-labeled geometric graph in ${\mathbb R}^d$, which consists of a graph $T=(V,B\cup C\cup S)$ and a map $p:V\to {\mathbb R}^d$. The labels determine whether an edge $uv$ of $T$…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…
This work considers the distance constrained formation control problem with an additional constraint requiring that the formation exhibits a specified spatial symmetry. We employ recent results from the theory of symmetry-forced rigidity to…
We give a combinatorial characterization of generic minimal rigidity for planar periodic frameworks. The characterization is a true analogue of the Maxwell-Laman Theorem from rigidity theory: it is stated in terms of a finite combinatorial…
We define cone structures and asymptotic invariants for multigraded systems of ideals, and show that essentially the only restrictions on such structures is convexity, which is imposed formally.
We consider a hierarchy of classical Liouville completely integrable models sharing the same (linear) $r$--matrix structure obtained through an $N$--th jet--extension of $\mathfrak{su}(2)$ rational Gaudin models. The main goal of the…
A recently introduced approach for the dynamical analysis and quantization of field theoretical models with second class constraints is ilustrated applied to linearized gravity in 3-D. The canonical structure of two different models of…
The Maxwell-Calladine index theorem plays a central role in our current understanding of the mechanical rigidity of discrete materials. By considering the geometric constraints each material component imposes on a set of underlying degrees…
The combinatorial characterization of generic rigidity for bar-joint frameworks in dimensions $d \ge 3$ has been a long-standing open problem in discrete geometry. While the two-dimensional case was resolved in 1927 by Pollaczek-Geiringer…
We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erd\H{o}s problem of finding…
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…
For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then…