Search arXiv⌕ Search

arXiv subjects

Stephen Power

Publications and source records attributed to Stephen Power.

14 recordsLinked to original sources
arXiv2022

Equilibrium stresses and rigidity for infinite tensegrities and frameworks

Asymptotic equilibrium stresses are defined for countably infinite tensegrities and generalisations of the Roth-Whiteley characterisation of first-order rigidity are obtained. Generalisations of prestress stability and second order rigidity are given for countably infinite bar-joint frameworks and are shown to give sufficient conditions for continuous rigidity relative to certain prescribed motions. The proofs are based on a new short proof for finite frameworks that prestress stability ensures continuous rigidity.

math.MG↗
arXiv2021

Linear zero mode spectra for quasicrystals

A converse is given to the well-known fact that a hyperplane localised zero mode of a crystallographic bar-joint framework gives rise to a line or lines in the zero mode (RUM) spectrum. These connections motivate definitions of linear zero mode spectra, for an aperiodic bar-joint framework $G$, that are based on relatively dense sets of linearly localised flexes. For a Delone framework in the plane the limit spectrum ${\bf L}_{lim}(G, a)$ is defined in this way, as a subset of the reciprocal space for a reference basis $a$ of the ambient space. A smaller spectrum, the slippage spectrum ${\bf L}_{slip}(G, a)$, is also defined. In the case of the quasicrystal parallelogram frameworks associated with regular multi-grids, in the sense of de Bruijn and Beenker, these spectra coincide and are determined in terms of the geometry of $G$.

math.MG↗
arXiv2020

Non-Euclidean braced grids

Necessary and sufficient conditions are obtained for the infinitesimal rigidity of braced grids in the plane with respect to non-Euclidean norms. Component rectangles of the grid may carry 0, 1 or 2 diagonal braces, and the combinatorial part of the conditions is given in terms of a matroid for the bicoloured bipartite multigraph defined by the braces.

math.MG↗
arXiv2020

The parabolic algebra revisited

The parabolic algebra A_p is the weakly closed algebra on L^2(R) generated by the unitary semigroup of right translations and the unitary semigroup of multiplication by the analytic exponential functions e^{i\lambda x}, \lambda \geq 0. This algebra is reflexive with an invariant subspace lattice, Lat A_p, which is naturally homeomorphic to the unit disc (Katavolos and Power, 1997). This identification is used here to classify strongly irreducible isometric representations of the partial Weyl commutation relations. The notion of a synthetic subspace lattice is extended from commutative to noncommutative lattices and it is shown that Lat A_p is nonsynthetic relative to the maximal abelian multiplication subalgebra of A_p. Also, operator algebras derived from isometric representations of A_p and from compact perturbations are defined and determined.

math.OA↗
arXiv2020

Projective plane graphs and 3-rigidity

It is shown that a simple graph which is embeddable in the real projective plane is minimally 3-rigid if and only if it is (3,6)-tight. Moreover the topologically uncontractible embedded graphs of this type are constructible from one of 8 embedded graphs by a sequence of vertex splitting moves. In particular the characterisation of minimal 3-rigidity holds for a triangulated Mobius strip.

math.CO↗
arXiv2019

Isotopy classes of 3-periodic net embeddings

Entangled embedded periodic nets and crystal frameworks are defined, along with their dimension type, homogeneity type, adjacency depth and periodic isotopy type. We obtain periodic isotopy classifications for various families of embedded nets with small quotient graphs. We enumerate the 25 periodic isotopy classes of depth 1 embedded nets with a single vertex quotient graph. Additionally, we classify embeddings of n-fold copies of pcu with all connected components in a parallel orientation and n vertices in a repeat unit, and determine their maximal symmetry periodic isotopes. We also introduce the methodology of linear graph knots on the flat 3-torus [0, 1)^3. These graph knots, with linear edges, are spatial embeddings of the labelled quotient graphs of an embedded net which are associated with its periodicity bases.

math.GT↗
arXiv2017

Double-distance frameworks and mixed sparsity graphs

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 geodesic distance constraints, (ii) frameworks in the plane with Euclidean and non-Euclidean distance constraints, and (iii) direction-length frameworks in the non-Euclidean plane.

math.MG↗
arXiv2015

The generic minimal rigidity of a partially triangulated torus

A simple graph is $3$-rigid if its generic bar-joint frameworks in $R^3$ are infinitesimally rigid. Necessary and sufficient conditions are obtained for the minimal $3$-rigidity of a simple graph which is obtained from the $1$-skeleton of a triangulated torus by the deletion of edges interior to a triangulated disc.

math.CO↗
arXiv2015

The generic rigidity of triangulated spheres with blocks and holes

A simple graph G=(V,E) is 3-rigid if its generic bar-joint frameworks in R3 are infinitesimally rigid. Block and hole graphs are derived from triangulated spheres by the removal of edges and the addition of minimally rigid subgraphs, known as blocks, in some of the resulting holes. Combinatorial characterisations of minimal $3$-rigidity are obtained for these graphs in the case of a single block and finitely many holes or a single hole and finitely many blocks. These results confirm a conjecture of Whiteley from 1988 and special cases of a stronger conjecture of Finbow-Singh and Whiteley from 2013.

math.CO↗
arXiv2014

The operator algebra generated by the translation, dilation and multiplication semigroups

The weak operator topology closed operator algebra on $L^2(R)$ generated by the one-parameter semigroups for translation, dilation and multiplication by $exp(i\lambda x), \lambda \geq 0$, is shown to be a reflexive operator algebra, in the sense of Halmos, with invariant subspace lattice equal to a binest. This triple semigroup algebra, $A_{ph}$, is antisymmetric in the sense that $A_{ph} \cap A_{ph}^*= CI$, it has a nonzero proper weakly closed ideal generated by the finite-rank operators, and its unitary automorphism group is $R$. Furthermore, the 8 choices of semigroup triples provide 2 unitary equivalence classes of operator algebras, with $A_{ph}$ and $A_{ph}^*$ being chiral representatives.

math.OA↗
arXiv2013

Infinitesimal rigidity for non-Euclidean bar-joint frameworks

The minimal infinitesimal rigidity of bar-joint frameworks in the non-Euclidean spaces (R^2, ||.||_q) are characterised in terms of (2,2)-tight graphs. Specifically, a generically placed bar-joint framework (G,p) in the plane is minimally infinitesimally rigid with respect to a non-Euclidean l^q norm if and only if the underlying graph G = (V,E) contains 2|V|-2 edges and every subgraph H=(V(H),E(H)) contains at most 2|V(H)|-2 edges.

math.MG↗
arXiv2012

A characterisation of generically rigid frameworks on surfaces of revolution

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 locally tangential infinitesimal motions while the cylinder has 2, we obtain here a Laman-Henneberg theorem for frameworks on algebraic surfaces with a 1-dimensional space of tangential motions. Such surfaces include the torus, helicoids and surfaces of revolution. The relevant class of graphs are the (2,1)-tight graphs, in contrast to (2,3)-tightness for the plane/sphere and (2,2)-tightness for the cylinder. The proof uses a new characterisation of simple (2,1)-tight graphs and an inductive construction requiring generic rigidity preservation for 5 graph moves, including the two Henneberg moves, an edge joining move and various vertex surgery moves.

math.MG↗
arXiv2011

Crystal frameworks, symmetry and affinely periodic flexes

Symmetry equations are obtained for the rigidity matrices associated with various forms of infinitesimal flexibility for an idealised bond-node crystal framework $\C$ in $\bR^d$. These equations are used to derive symmetry-adapted Maxwell-Calladine counting formulae for periodic self-stresses and affinely periodic infinitesimal mechanisms. The symmetry equations also lead to general Fowler-Guest formulae connecting the character lists of subrepresentations of the crystallographic space and point groups which are associated with bonds, nodes, stresses, flexes and rigid motions. A new derivation is also given for the Borcea-Streinu rigidity matrix and the correspondence between its nullspace and the space of affinely periodic infinitesimal flexes.

math.CO↗