English
Related papers

Related papers: Angular constraints on planar frameworks

200 papers

A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid…

Combinatorics · Mathematics 2012-11-12 Shin-ichi Tanigawa

When can a plane graph with prescribed edge lengths and prescribed angles (from among $\{0,180^\circ, 360^\circ$\}) be folded flat to lie in an infinitesimally thin line, without crossings? This problem generalizes the classic theory of…

Computational Geometry · Computer Science 2018-03-20 Zachary Abel , Erik D. Demaine , Martin L. Demaine , David Eppstein , Anna Lubiw , Ryuhei Uehara

We provide a way of determining the infinitesimal rigidity of rod configurations realizing a rank two incidence geometry in the Euclidean plane. We model each rod with a cone over its point set and prove that the resulting geometric…

Combinatorics · Mathematics 2022-04-28 Signe Lundqvist , Klara Stokes , Lars-Daniel Öhman

Using particle-scale models to accurately describe property enhancements and phase transitions in macroscopic behavior is a major engineering challenge in composite materials science. To address some of these challenges, we use the graph…

Disordered Systems and Neural Networks · Physics 2018-09-12 Samuel Heroy , Dane Taylor , Feng Shi , M. Gregory Forest , Peter J. Mucha

We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…

General Mathematics · Mathematics 2025-05-27 Stanislav Semenov

A framework is a graph and a map from its vertices to R^d. A framework is called universally rigid if there is no other framework with the same graph and edge lengths in R^d' for any d'. A framework attachment is a framework constructed by…

Metric Geometry · Mathematics 2010-11-23 Kiril Ratmanski

A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various…

The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Linear systems with the same underlying matrix structure…

Symbolic Computation · Computer Science 2022-01-04 Philip Todd

In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration…

Metric Geometry · Mathematics 2015-12-09 O. Karpenkov

This paper formulates a novel problem on graphs: find the minimal subset of edges in a fully connected graph, such that the resulting graph contains all spanning trees for a set of specifed sub-graphs. This formulation is motivated by an…

Discrete Mathematics · Computer Science 2017-07-18 Nicholas Harvey , Vahab Mirrokni , David Karger , Virginia Savova , Leonid Peshkin

We give a combinatorial characterization of minimally rigid planar frameworks with orientation-preserving crystallographic symmetry, under the constraint of forced symmetry. The main theorems are proved by extending the methods of the first…

Metric Geometry · Mathematics 2013-05-31 Justin Malestein , Louis Theran

We discuss a link between graph theory and geometry that arises when considering graph dynamical systems with odd interactions. The equilibrium set in such systems is not a collection of isolated points, but rather a union of manifolds,…

Dynamical Systems · Mathematics 2024-08-28 Davide Sclosa

Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated…

Combinatorics · Mathematics 2022-08-05 June Huh , Benjamin Schröter , Botong Wang

A disordered system is denominated `annealed' when the interactions themselves may evolve and adjust their values to lower the free energy. The opposite (`quenched') situation when disorder is fixed, is the one relevant for physical…

Disordered Systems and Neural Networks · Physics 2022-03-09 Laura Foini , Jorge Kurchan

In the Metric Dimension problem, one asks for a minimum-size set $R$ of vertices such that for any pair of vertices of the graph, there is a vertex from $R$ whose two distances to the vertices of the pair are distinct. This problem has…

Combinatorics · Mathematics 2026-04-17 Antoine Dailly , Florent Foucaud , Anni Hakanen

We discuss the problem of embedding graphs in the plane with restrictions on the vertex mapping. In particular, we introduce a technique for drawing planar graphs with a fixed vertex mapping that bounds the number of times edges bend. An…

Computational Geometry · Computer Science 2012-06-05 Taylor Gordon

Data constraints are fundamental for practical data modelling, and a verifiable conformance of a data instance to a safety-critical constraint (satisfaction relation) is a corner-stone of safety assurance. Diagrammatic constraints are…

Logic in Computer Science · Computer Science 2023-06-29 Zinovy Diskin

A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established…

Metric Geometry · Mathematics 2017-02-14 Anthony Nixon , Bernd Schulze , Shin-ichi Tanigawa , Walter Whiteley

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every…

Computational Geometry · Computer Science 2012-03-28 Sergio Cabello , Bojan Mohar

A (bar-and-joint) framework is a set of points in a normed space with a set of fixed distance constraints between them. Determining whether a framework is locally rigid - i.e. whether every other suitably close framework with the same…

Metric Geometry · Mathematics 2024-01-18 Sean Dewar