Skip to main content

Showing 1–49 of 49 results for author: Nixon, A

Searching in archive math. Search in all archives.
.
  1. arXiv:2506.22214  [pdf, ps, other

    math.CO

    5-regular graphs and the 3-dimensional rigidity matroid

    Authors: Rebecca Monks, Anthony Nixon

    Abstract: 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 matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised indepen… ▽ More

    Submitted 27 June, 2025; originally announced June 2025.

    Comments: 26 pages, 3 figures

    MSC Class: 52C25; 05C10

  2. arXiv:2505.06590  [pdf, ps, other

    math.CO math.MG

    Generalised Erdős distance theory on graphs

    Authors: Sean Dewar, Nora Frankl, Samuel Mansfield, Anthony Nixon, Jonathan Passant, Audie Warren

    Abstract: The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hype… ▽ More

    Submitted 10 May, 2025; originally announced May 2025.

    Comments: 46 pages, 2 figures

  3. arXiv:2502.10255  [pdf, other

    math.CO math.AG math.MG

    A tropical approach to rigidity: counting realisations of frameworks

    Authors: Oliver Clarke, Sean Dewar, Daniel Green Tripp, James Maxwell, Anthony Nixon, Yue Ren, Ben Smith

    Abstract: A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underly… ▽ More

    Submitted 14 February, 2025; originally announced February 2025.

    Comments: 33 pages, 10 figures

    MSC Class: 52C25 (Primary) 14T90; 14T15 (Secondary)

  4. arXiv:2412.16018  [pdf, other

    math.CO

    Stable cuts, NAC-colourings and flexible realisations of graphs

    Authors: Katie Clinch, Dániel Garamvölgyi, John Haslegrave, Tony Huynh, Jan Legerský, Anthony Nixon

    Abstract: A (2-dimensional) realisation of a graph $G$ is a pair $(G,p)$, where $p$ maps the vertices of $G$ to $\mathbb{R}^2$. A realisation is flexible if it can be continuously deformed while keeping the edge lengths fixed, and rigid otherwise. Similarly, a graph is flexible if its generic realisations are flexible, and rigid otherwise. We show that a minimally rigid graph has a flexible realisation wi… ▽ More

    Submitted 20 December, 2024; originally announced December 2024.

    Comments: 18 pages, 7 figures

    MSC Class: 52C25; 05C15

  5. arXiv:2412.14782  [pdf, ps, other

    math.CO

    $k$-fold Circuits in Matroids

    Authors: Bill Jackson, Anthony Nixon, Ben Smith

    Abstract: Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in certain families of matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and derive foundational re… ▽ More

    Submitted 19 December, 2024; originally announced December 2024.

    Comments: 23 pages, 3 figures

    MSC Class: 05B35; 06C10; 90C27

  6. arXiv:2410.04450  [pdf, ps, other

    math.CO cs.DM

    Triangulated spheres with holes in triangulated surfaces

    Authors: Katie Clinch, Sean Dewar, Niloufar Fuladi, Maximilian Gorsky, Tony Huynh, Eleftherios Kastis, Atsuhiro Nakamoto, Anthony Nixon, Brigitte Servatius

    Abstract: Let $\mathbb{S}_h$ denote a sphere with $h$ holes. Given a triangulation $G$ of a surface $\mathbb{M}$, we consider the question of when $G$ contains a spanning subgraph $H$ such that $H$ is a triangulated $\mathbb{S}_h$. We give a new short proof of a theorem of Nevo and Tarabykin that every triangulation $G$ of the torus contains a spanning subgraph which is a triangulated cylinder. For arbitrar… ▽ More

    Submitted 20 April, 2025; v1 submitted 6 October, 2024; originally announced October 2024.

    Comments: Paper has been completely rewritten to address an error in the previous version. Lemma 2.1 (and all subsequent theorems which relied upon it) is incorrect. We thank Atsuhiro Nakamoto for alerting us of the error. The current version has a new title, two new results, and Atsuhiro Nakamoto as a new co-author. 8 pages, 0 figures

    MSC Class: 57Kxx; 05C10 ACM Class: G.2.2

  7. arXiv:2407.10700  [pdf, other

    q-bio.GN math.CO math.MG math.OC

    Single-cell 3D genome reconstruction in the haploid setting using rigidity theory

    Authors: Sean Dewar, Georg Grasegger, Kaie Kubjas, Fatemeh Mohammadi, Anthony Nixon

    Abstract: This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combination… ▽ More

    Submitted 15 July, 2024; originally announced July 2024.

  8. arXiv:2403.16145  [pdf, ps, other

    math.CO math.MG

    Angular constraints on planar frameworks

    Authors: Sean Dewar, Georg Grasegger, Anthony Nixon, Zvi Rosen, William Sims, Meera Sitharam, David Urizar

    Abstract: Consider a collection of points and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on this set of elements is the well studied 2-dimensional rigidity matroid. This article analyzes a construction on top of the set of slopes given by an angle constraint system of incidences and angles. In this setting we provide a matricial rigidity for… ▽ More

    Submitted 24 March, 2024; originally announced March 2024.

    Comments: 27 pages, 7 figures, 3 tables

    MSC Class: 52C25 (Primary) 05C10; 52C35 (Secondary)

  9. arXiv:2402.17499  [pdf, ps, other

    math.CO math.MG

    Rigidity of nearly planar classes of graphs

    Authors: Sean Dewar, Georg Grasegger, Eleftherios Kastis, Anthony Nixon, Brigitte Servatius

    Abstract: We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph… ▽ More

    Submitted 27 February, 2024; originally announced February 2024.

    Comments: 29 pages, 9 figures, 4 tables

    MSC Class: 52C25 (Primary) O5C10; 62H22 (Secondary)

  10. arXiv:2402.14093  [pdf, ps, other

    math.CO math.MG

    Rigid frameworks with dilation constraints

    Authors: Sean Dewar, Anthony Nixon, Andrew Sainsbury

    Abstract: We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean $d$-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity. We then consider generic global rigidity. In particular, we provide an algebraic sufficient condition and a weak necessary condition. We also construct a large… ▽ More

    Submitted 21 February, 2024; originally announced February 2024.

    Comments: 15 pages, 1 figure

  11. arXiv:2312.12158  [pdf, ps, other

    math.CO math.MG

    Rigidity of symmetric linearly constrained frameworks in the plane

    Authors: Anthony Nixon, Bernd Schulze, Joseph Wall

    Abstract: A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks… ▽ More

    Submitted 19 December, 2023; originally announced December 2023.

    Comments: 26 pages, 9 figures. arXiv admin note: text overlap with arXiv:2210.06060

    MSC Class: 52C25; 05C70; 20C35

  12. arXiv:2307.03525  [pdf, other

    math.CO math.MG

    On the uniqueness of collections of pennies and marbles

    Authors: Sean Dewar, Georg Grasegger, Kaie Kubjas, Fatemeh Mohammadi, Anthony Nixon

    Abstract: In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity th… ▽ More

    Submitted 7 July, 2023; originally announced July 2023.

    Comments: 9 pages, 11 figures

    MSC Class: 05C10; 52C25; 52C17

  13. arXiv:2305.18990  [pdf, ps, other

    math.MG cs.CG math.CO

    Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints

    Authors: James Cruickshank, Fatemeh Mohammadi, Anthony Nixon, Shin-ichi Tanigawa

    Abstract: The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem… ▽ More

    Submitted 23 January, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

  14. arXiv:2210.11081  [pdf, ps, other

    math.CO math.MG math.ST

    Computing maximum likelihood thresholds using graph rigidity

    Authors: Daniel Irving Bernstein, Sean Dewar, Steven J. Gortler, Anthony Nixon, Meera Sitharam, Louis Theran

    Abstract: The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on… ▽ More

    Submitted 20 October, 2022; originally announced October 2022.

    Comments: 15 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:2108.02185

    MSC Class: 62H12 (Primary); 52C25 (Secondary)

    Journal ref: Alg. Stat. 14 (2023) 287-305

  15. arXiv:2210.06060  [pdf, ps, other

    math.CO math.MG

    Rigidity of symmetric frameworks on the cylinder

    Authors: Anthony Nixon, Bernd Schulze, Joseph Wall

    Abstract: A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in… ▽ More

    Submitted 15 December, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

    Comments: 37 pages, 17 figures

    MSC Class: 52C25; 05C70; 20C35

  16. arXiv:2208.09308  [pdf, other

    math.CO

    Global Rigidity of Line Constrained Frameworks

    Authors: James Cruickshank, Fatemeh Mohammadi, Harshit J Motwani, Anthony Nixon, Shin-ichi Tanigawa

    Abstract: We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a… ▽ More

    Submitted 12 October, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

    Comments: 24 pages, 5 figures

    MSC Class: 52C25 (Primary); 05C10 (Secondary)

  17. arXiv:2207.08763  [pdf, other

    math.MG math.CO

    Universal Rigidity of Ladders on the line

    Authors: Bryan Chen, Robert Connelly, Steven J. Gortler, Anthony Nixon, Louis Theran

    Abstract: In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it… ▽ More

    Submitted 18 July, 2022; originally announced July 2022.

    MSC Class: 70C20 (52C25)

  18. arXiv:2206.07426  [pdf, ps, other

    math.CO math.MG

    Uniquely realisable graphs in analytic normed planes

    Authors: Sean Dewar, John Hewetson, Anthony Nixon

    Abstract: A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(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 $\mathbb{E}^2$. We prove an… ▽ More

    Submitted 15 June, 2022; originally announced June 2022.

    Comments: 40 pages, 16 figures

    MSC Class: 52C25; 05C10; 52A21; 53A35; 52B40

  19. arXiv:2202.09165  [pdf, ps, other

    math.CO math.MG

    Quotient graphs of symmetrically rigid frameworks

    Authors: Sean Dewar, Georg Grasegger, Eleftherios Kastis, Anthony Nixon

    Abstract: A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the… ▽ More

    Submitted 18 February, 2022; originally announced February 2022.

    Comments: 31 pages, 11 figures

    MSC Class: 52C25 (Primary) 05E18; 05C10; 60C05 (Secondary)

  20. arXiv:2112.10480  [pdf, ps, other

    math.CO math.MG

    Coincident-point rigidity in normed planes

    Authors: Sean Dewar, John Hewetson, Anthony Nixon

    Abstract: A bar-joint framework $(G,p)$ is the combination of a graph $G$ and a map $p$ assigning positions, in some space, to the vertices of $G$. The framework is rigid if every edge-length-preserving continuous motion of the vertices arises from an isometry of the space. We will analyse rigidity when the space is a (non-Euclidean) normed plane and two designated vertices are mapped to the same position.… ▽ More

    Submitted 20 December, 2021; originally announced December 2021.

    Comments: 12 pages, 6 figures

    MSC Class: 52C25; 05C10; 52B40; 46B20

  21. Generalised rigid body motions in non-Euclidean planes with applications to global rigidity

    Authors: Sean Dewar, Anthony Nixon

    Abstract: A bar-joint framework $(G,p)$ in a (non-Euclidean) real normed plane $X$ is the combination of a finite, simple graph $G$ and a placement $p$ of the vertices in $X$. A framework $(G,p)$ is globally rigid in $X$ if every other framework $(G,q)$ in $X$ with the same edge lengths as $(G,p)$ arises from an isometry of $X$. The weaker property of local rigidity in normed planes (where only $(G,q)$ with… ▽ More

    Submitted 14 August, 2021; originally announced August 2021.

    Comments: 33 pages, 6 figures

    MSC Class: 52C25; 05C10; 52A21

    Journal ref: Journal of Mathematical Analysis and Applications (2022)

  22. arXiv:2108.02185  [pdf, other

    math.CO math.ST

    Maximum likelihood thresholds via graph rigidity

    Authors: Daniel Irving Bernstein, Sean Dewar, Steven J. Gortler, Anthony Nixon, Meera Sitharam, Louis Theran

    Abstract: The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph. We use… ▽ More

    Submitted 5 December, 2023; v1 submitted 4 August, 2021; originally announced August 2021.

    Comments: In press at Annals of Applied Probability

    MSC Class: 05C75; 62A99; 52C25; 62R01; 90C25

  23. arXiv:2104.01892  [pdf, other

    math.CO math.AG math.MG

    Universal rigidity on the line, point order

    Authors: Bryan Chen, Robert Connelly, Anthony Nixon, Louis Theran

    Abstract: We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen.

    Submitted 5 April, 2021; originally announced April 2021.

    Comments: 9 pages, 6 figures

    MSC Class: 14R99

  24. Which graphs are rigid in $\ell_p^d$?

    Authors: Sean Dewar, Derek Kitson, Anthony Nixon

    Abstract: We present three results which support the conjecture that a graph is minimally rigid in $d$-dimensional $\ell_p$-space, where $p\in (1,\infty)$ and $p\not=2$, if and only if it is $(d,d)$-tight. Firstly, we introduce a graph bracing operation which preserves independence in the generic rigidity matroid when passing from $\ell_p^d$ to $\ell_p^{d+1}$. We then prove that every $(d,d)$-sparse graph w… ▽ More

    Submitted 26 January, 2024; v1 submitted 31 July, 2020; originally announced July 2020.

    Comments: 21 pages

    MSC Class: 52C25 (Primary); 05C50 (Secondary)

    Journal ref: Journal of Global Optimization (2021)

  25. arXiv:2005.11051  [pdf, ps, other

    math.CO math.MG

    An improved bound for the rigidity of linearly constrained frameworks

    Authors: Bill Jackson, Anthony Nixon, Shin-Ichi Tanigawa

    Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank,… ▽ More

    Submitted 2 July, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

    Comments: 6 pages. This version corrects an error in the proof of Theorem 3.2

    MSC Class: 52C25; 05C10; 53A05

  26. Flexible circuits in the $d$-dimensional rigidity matroid

    Authors: Georg Grasegger, Hakan Guler, Bill Jackson, Anthony Nixon

    Abstract: A bar-joint framework $(G,p)$ in $\mathbb{R}^d$ is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of $\mathbb{R}^d$. It is known that, when $(G,p)$ is generic, its rigidity depends only on the underlying graph $G$, and is determined by the rank of the edge set of $G$ in the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. Complete combina… ▽ More

    Submitted 24 March, 2023; v1 submitted 14 March, 2020; originally announced March 2020.

    Comments: 21 pages, 6 figures. Final version, with a short corrigendum appended to the end which gives counterexamples to Lemma 18(a) and Conjecture 17

    MSC Class: 52C25; 05C10

  27. arXiv:2003.00961  [pdf, other

    math.NA

    A surface finite element method for computational modelling of cell blebbing

    Authors: Björn Stinner, Andreas Dedner, Adam Nixon

    Abstract: Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The de… ▽ More

    Submitted 2 March, 2020; originally announced March 2020.

    MSC Class: 65M60

  28. arXiv:1906.10926  [pdf, ps, other

    math.CO math.MG

    Global rigidity of 2-dimensional linearly constrained frameworks

    Authors: Hakan Guler, Bill Jackson, Anthony Nixon

    Abstract: A linearly constrained framework in $\mathbb{R}^d$ is a point configuration together with a system of constraints which fixes the distances between some pairs of points and additionally restricts some of the points to lie in given affine subspaces. It is globally rigid if the configuration is uniquely defined by the constraint system, and is rigid if it is uniquely defined within some small open n… ▽ More

    Submitted 17 July, 2019; v1 submitted 26 June, 2019; originally announced June 2019.

    Comments: 33 pages, 13 figures

    MSC Class: 52C25; 05C10; 53A05

  29. arXiv:1906.00578  [pdf, other

    math.CO math.MG

    Pairing symmetries for Euclidean and spherical frameworks

    Authors: Katie Clinch, Anthony Nixon, Bernd Schulze, Walter Whiteley

    Abstract: In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equ… ▽ More

    Submitted 6 June, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

    Comments: 30 pages, 5 figures

    MSC Class: 52C25; 05C10; 51E15

  30. arXiv:1808.04484  [pdf, other

    math.MG math.CO

    Rigidity of symmetric frameworks in normed spaces

    Authors: Derek Kitson, Anthony Nixon, Bernd Schulze

    Abstract: We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the… ▽ More

    Submitted 16 April, 2020; v1 submitted 13 August, 2018; originally announced August 2018.

    Comments: 42 pages, 11 figures. This version contains corrected proofs and more detailed explanations have been provided for greater clarity

    MSC Class: 52C25; 20C35; 05C50

  31. arXiv:1804.00411  [pdf, ps, other

    math.CO math.MG

    Rigidity of linearly-constrained frameworks

    Authors: James Cruickshank, Hakan Guler, Bill Jackson, Anthony Nixon

    Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension… ▽ More

    Submitted 29 June, 2018; v1 submitted 2 April, 2018; originally announced April 2018.

    Comments: 12 pages, 2 figures

    MSC Class: 52C25; 05C10; 53A05

  32. arXiv:1709.06349  [pdf, ps, other

    math.MG math.CO

    Double-distance frameworks and mixed sparsity graphs

    Authors: Anthony Nixon, Stephen Power

    Abstract: A rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint frameworks in a variety of such contexts. The main results are combinatorial characterisations for (i) frameworks restricted to surfaces with both Euclidean and geode… ▽ More

    Submitted 23 August, 2019; v1 submitted 19 September, 2017; originally announced September 2017.

    Comments: Revised version, 23 pages, 6 figures. The analysis of the projective plane frameworks (whose proofs were incomplete) has been removed for discussion elsewhere. This double-distance context is defined in the final section of the revision together with other settings with underlying (2,1)-sparsity

  33. arXiv:1703.06844  [pdf, other

    math.CO math.MG

    Point-hyperplane frameworks, slider joints, and rigidity preserving transformations

    Authors: Yaser Eftekhari, Bill Jackson, Anthony Nixon, Bernd Schulze, Shin-ichi Tanigawa, Walter Whiteley

    Abstract: 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 different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consist… ▽ More

    Submitted 20 March, 2017; originally announced March 2017.

    Comments: 33 pages, 9 figures

    MSC Class: 52C25

  34. arXiv:1610.07755  [pdf, ps, other

    math.CO math.MG

    Global rigidity of generic frameworks on the cylinder

    Authors: Bill Jackson, Anthony Nixon

    Abstract: We show that a generic framework $(G,p)$ on the cylinder is globally rigid if and only if $G$ is a complete graph on at most four vertices or $G$ is both redundantly rigid and $2$-connected. To prove the theorem we also derive a new recursive construction of circuits in the simple $(2,2)$-sparse matroid, and a characterisation of rigidity for generic frameworks on the cylinder when a single design… ▽ More

    Submitted 14 October, 2018; v1 submitted 25 October, 2016; originally announced October 2016.

    Comments: 31 pages, 15 figures, revised version

    MSC Class: 52C25

  35. arXiv:1607.02039  [pdf, other

    math.CO math.MG

    Rigid cylindrical frameworks with two coincident points

    Authors: Bill Jackson, Viktoria Kaszanitzky, Anthony Nixon

    Abstract: We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered. We then apply our results to show that vertex splitting, under the additional assumption that the new edge is redundant, preserves the property of being generi… ▽ More

    Submitted 7 July, 2016; originally announced July 2016.

    Comments: 21 pages, 3 figures

    MSC Class: 52C25

  36. arXiv:1604.05226  [pdf, ps, other

    math.CO

    A constructive characterisation of circuits in the simple $(2,1)$-sparse matroid

    Authors: Thomas A McCourt, Anthony Nixon

    Abstract: A simple graph $G=(V,E)$ is a $(2,1)$-circuit if $|E|=2|V|$ and $|E(H)|\leq 2|V(H)|-1$ for every proper subgraph $H$ of $G$. Motivated, in part, by ongoing work to understand unique realisations of graphs on surfaces, we derive a constructive characterisation of $(2,1)$-circuits. The characterisation uses the well known 1-extension and $X$-replacement operations as well as several summation moves… ▽ More

    Submitted 8 January, 2018; v1 submitted 18 April, 2016; originally announced April 2016.

    Comments: 25 pages, 17 figures, revised following reviewer comments

    MSC Class: 52C25; 05C75

  37. arXiv:1508.00666  [pdf, other

    cond-mat.dis-nn math.CO math.MG

    Anchored boundary conditions for locally isostatic networks

    Authors: Louis Theran, Anthony Nixon, Elissa Ross, Mahdi Sadjadi, Brigitte Servatius, M. F. Thorpe

    Abstract: Finite pieces of locally isostatic networks have a large number of floppy modes because of missing constraints at the surface. Here we show that by imposing suitable boundary conditions at the surface, the network can be rendered effectively isostatic. We refer to these as anchored boundary conditions. An important example is formed by a two-dimensional network of corner sharing triangles, which i… ▽ More

    Submitted 10 November, 2017; v1 submitted 4 August, 2015; originally announced August 2015.

    Comments: 12 pages, 8 figures. v2 fixes typos and expands the exposition. v3 updated bibliography

    Journal ref: Phys. Rev. E 92, 053306 (2015)

  38. arXiv:1501.01391  [pdf, ps, other

    math.MG math.CO

    Rigidity of frameworks on expanding spheres

    Authors: Anthony Nixon, Bernd Schulze, Shin-ichi Tanigawa, Walter Whiteley

    Abstract: 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 for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This i… ▽ More

    Submitted 11 February, 2017; v1 submitted 7 January, 2015; originally announced January 2015.

    Comments: 22 pages, 2 figures, updated references

    MSC Class: 52C25; 05B35; 05C10; 70B15

  39. arXiv:1406.5996  [pdf, ps, other

    math.MG

    Stress matrices and global rigidity of frameworks on surfaces

    Authors: Bill Jackson, Anthony Nixon

    Abstract: In 2005, Bob Connelly showed that a generic framework in $\bR^d$ is globally rigid if it has a stress matrix of maximum possible rank, and that this sufficient condition for generic global rigidity is preserved by the 1-extension operation. His results gave a key step in the characterisation of generic global rigidity in the plane. We extend these results to frameworks on surfaces in $\bR^3$. For… ▽ More

    Submitted 19 June, 2015; v1 submitted 23 June, 2014; originally announced June 2014.

    Comments: Significant changes due to an error in the proof of Theorem 5.1 in the previous version which we have only been able to resolve for 'generic' surfaces

    MSC Class: 52C25

  40. arXiv:1405.1701  [pdf, ps, other

    math.GR

    Generating groups using hypergraphs

    Authors: Nick Gill, Neil I. Gillespie, Anthony Nixon, Jason Semeraro

    Abstract: To a set $\mathcal{B}$ of 4-subsets of a set $Ω$ of size $n$ we introduce an invariant called the `hole stabilizer' which generalises a construction of Conway, Elkies and Martin of the Mathieu group $M_{12}$ based on Loyd's `15-puzzle'. It is shown that hole stabilizers may be regarded as objects inside an objective partial group (in the sense of Chermak). We classify pairs $(Ω,\mathcal{B})$ with… ▽ More

    Submitted 30 December, 2015; v1 submitted 7 May, 2014; originally announced May 2014.

    Comments: 16 pages

    MSC Class: 20B15; 20B25; 05B05

  41. arXiv:1404.1505  [pdf, other

    math.CO math.MG

    Symmetry adapted Assur decompositions

    Authors: Anthony Nixon, Bernd Schulze, Adnan Sljoka, Walter Whiteley

    Abstract: Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the r… ▽ More

    Submitted 5 April, 2014; originally announced April 2014.

    Comments: 40 pages, 22 figures

    MSC Class: 52C25

  42. arXiv:1312.1480  [pdf, ps, other

    math.MG math.CO

    Symmetry-forced rigidity of frameworks on surfaces

    Authors: Anthony Nixon, Bernd Schulze

    Abstract: A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie o… ▽ More

    Submitted 30 July, 2015; v1 submitted 5 December, 2013; originally announced December 2013.

    Comments: Numerous improvements to the exposition following referee reports. The proof of Lemma 8.3 was not valid in all cases, so two new lemmas (8.5 and 8.6) have been added to rectify this

    MSC Class: Primary: 52C25; 70B15; 05C10 Secondary: 05B35; 68R10

  43. arXiv:1306.2346  [pdf, ps, other

    math.MG math.CO

    Necessary Conditions for the Generic Global Rigidity of Frameworks on Surfaces

    Authors: Bill Jackson, Thomas McCourt, Anthony Nixon

    Abstract: A result due in its various parts to Hendrickson, Connelly, and Jackson and Jordán, provides a purely combinatorial characterisation of global rigidity for generic bar-joint frameworks in $\mathbb{R}^2$. The analogous conditions are known to be insufficient to characterise generic global rigidity in higher dimensions. Recently Laman-type characterisations of rigidity have been obtained for generic… ▽ More

    Submitted 10 June, 2013; originally announced June 2013.

    Comments: 13 pages

    MSC Class: 52C25

  44. arXiv:1210.7073  [pdf, other

    math.MG math.CO

    A characterisation of generically rigid frameworks on surfaces of revolution

    Authors: Anthony Nixon, John Owen, Stephen Power

    Abstract: A foundational theorem of Laman provides a counting characterisation of the finite simple graphs whose generic bar-joint frameworks in two dimensions are infinitesimally rigid. Recently a Laman-type characterisation was obtained for frameworks in three dimensions whose vertices are constrained to concentric spheres or to concentric cylinders. Noting that the plane and the sphere have 3 independent… ▽ More

    Submitted 9 June, 2014; v1 submitted 26 October, 2012; originally announced October 2012.

    Comments: 23 pages, 5 figures. Minor revisions - most importantly, the new version has a different title

    MSC Class: 52C25; 05B35; 05C10; 53A05

  45. arXiv:1204.1349  [pdf, other

    math.CO math.MG

    Periodic Rigidity on a Variable Torus Using Inductive Constructions

    Authors: Anthony Nixon, Elissa Ross

    Abstract: In this paper we prove a recursive characterisation of generic rigidity for frameworks periodic with respect to a partially variable lattice. We follow the approach of modelling periodic frameworks as frameworks on a torus and use the language of gain graphs for the finite counterpart of a periodic graph. In this setting we employ variants of the Henneberg operations used frequently in rigidity th… ▽ More

    Submitted 5 April, 2012; originally announced April 2012.

    Comments: 33 pages, 9 figures

    MSC Class: 52C25

  46. arXiv:1203.6623  [pdf, ps, other

    math.MG math.CO

    One brick at a time: a survey of inductive constructions in rigidity theory

    Authors: Anthony Nixon, Elissa Ross

    Abstract: We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding framework. We describe a number of cases in which characterisations of rigidity were proved by inductive constructions. That is, by identifying recursive operations th… ▽ More

    Submitted 17 June, 2013; v1 submitted 29 March, 2012; originally announced March 2012.

    Comments: 24 pages, 12 figures, final version

    MSC Class: 52C25

  47. arXiv:1202.3294  [pdf, ps, other

    math.CO cs.DM

    A Constructive Characterisation of Circuits in the Simple (2,2)-sparsity Matroid

    Authors: Anthony Nixon

    Abstract: We provide a constructive characterisation of circuits in the simple (2,2)-sparsity matroid. A circuit is a simple graph G=(V,E) with |E|=2|V|-1 and the number of edges induced by any $X \subsetneq V$ is at most 2|X|-2. Insisting on simplicity results in the Henneberg operation being enough only when the graph is sufficiently connected. Thus we introduce 3 different join operations to complete the… ▽ More

    Submitted 21 June, 2013; v1 submitted 15 February, 2012; originally announced February 2012.

    Comments: 22 pages, 6 figures. Changes to presentation

    MSC Class: 52C25; 05B35

  48. arXiv:1103.2967  [pdf, ps, other

    math.CO math.MG

    An Inductive Construction of (2,1)-tight Graphs

    Authors: Anthony Nixon, John Owen

    Abstract: The simple graphs $G=(V,E)$ that satisfy $|E'|\leq 2|V'|-l$ for any subgraph (and for $l=1,2,3$) are the $(2,l)$-sparse graphs. Those that also satisfy $|E|=2|V|-l$ are the $(2,l)$-tight graphs. These can be characterised by their decompositions into two edge disjoint spanning subgraphs of various types. The Henneberg--Laman theorem characterises $(2,3)$-tight graphs inductively in terms of two si… ▽ More

    Submitted 16 October, 2012; v1 submitted 15 March, 2011; originally announced March 2011.

    Comments: 14 pages, 7 figures, revised and shortened after comments from referees

    MSC Class: 52C25; 05B35; 05C05; 05C10

  49. arXiv:1009.3772  [pdf, ps, other

    math.CO math.MG

    Rigidity of Frameworks Supported on Surfaces

    Authors: A. Nixon, J. C. Owen, S. C. Power

    Abstract: A theorem of Laman gives a combinatorial characterisation of the graphs that admit a realisation as a minimally rigid generic bar-joint framework in $\bR^2$. A more general theory is developed for frameworks in $\bR^3$ whose vertices are constrained to move on a two-dimensional smooth submanifold $\M$. Furthermore, when $\M$ is a union of concentric spheres, or a union of parallel planes or a unio… ▽ More

    Submitted 4 October, 2012; v1 submitted 20 September, 2010; originally announced September 2010.

    Comments: Final version, 28 pages, with new figures

    MSC Class: 52C25; 05B35; 05C10