Source author record

Sean Dewar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
4close collaborators

Published work

3 publications

preprint2024arXiv

Identifying contact graphs of sphere packings with generic radii

Ozkan et al. conjectured that any packing of nn spheres with generic radii will be stress-free, and hence will have at most 3n−63n-6 contacts. In this paper we prove that this conjecture is true for any sphere packing with contact graph of the form G⊕K2G \oplus K_2, i.e., the graph formed by connecting every vertex in a graph GG to every vertex in the complete graph with two vertices. We also prove the converse of the conjecture holds in this special case: specifically, a graph G⊕K2G \oplus K_2 is the contact graph of a generic radii sphere packing if and only if GG is a penny graph with no cycles.

preprint2022arXiv

Uniquely realisable graphs in analytic normed planes

A bar-joint framework (G,p)(G,p) in the Euclidean space Ed\mathbb{E}^d is globally rigid if it is the unique realisation, up to rigid congruences, of GG in Ed\mathbb{E}^d with the edge lengths of (G,p)(G,p). Building on key results of Hendrickson and Connelly, Jackson and Jordán gave a complete combinatorial characterisation of when a generic framework is global rigidity in E2\mathbb{E}^2. We prove an analogous result when the Euclidean norm is replaced by any norm that is analytic on R2∖{0}\mathbb{R}^2 \setminus \{0\}. More precisely, we show that a graph G=(V,E)G=(V,E) is globally rigid in a non-Euclidean analytic normed plane if and only if GG is 2-connected and G−eG-e contains 2 edge-disjoint spanning trees for all e∈Ee\in E. The main technical tool is a recursive construction of 2-connected and redundantly rigid graphs in analytic normed planes. We also obtain some sufficient conditions for global rigidity as corollaries of our main result and prove that the analogous necessary conditions hold in dd-dimensional analytic normed spaces.

preprint2021arXiv

Spectral conditions for graph rigidity in the Euclidean plane

Rigidity is the property of a structure that does not flex. It is well studied in discrete geometry and mechanics, and has applications in material science, engineering and biological sciences. A bar-and-joint framework is a pair (G,p)(G,p) of graph GG together with a map pp of the vertices of GG into the Euclidean plane. We view the edges of (G,p)(G, p) as bars and the vertices as universal joints. The vertices can move continuously as long as the distances between pairs of adjacent vertices are preserved. The framework is rigid if any such motion preserves the distances between all pairs of vertices. In 1970, Laman obtained a combinatorial characterization of rigid graphs in the Euclidean plane. In 1982, Lovász and Yemini discovered a new characterization and proved that every 66-connected graph is rigid. Combined with a characterization of global rigidity, their proof actually implies that every 6-connected graph is globally rigid. Consequently, if Fiedler's algebraic connectivity is greater than 5, then GG is globally rigid. In this paper, we improve this bound and show that for a graph GG with minimum degree δ≥6δ\geq 6, if its algebraic connectivity is greater than 2+1δ−12+\frac{1}{δ-1}, then GG is rigid and if its algebraic connectivity is greater than 2+2δ−12+\frac{2}{δ-1}, then GG is globally rigid. Our results imply that every connected regular Ramanujan graph with degree at least 88 is globally rigid. We also prove a more general result giving a sufficient spectral condition for the existence of kk edge-disjoint spanning rigid subgraphs. The same condition implies that a graph contains kk edge-disjoint spanning 22-connected subgraphs. This result extends previous spectral conditions for packing edge-disjoint spanning trees.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.