Searcharxiv⌕ Search

arXiv subjects

S. C. Power

Publications and source records attributed to S. C. Power.

At least 19 recordsLinked to original sources
arXiv2021

Parallelogram frameworks and flexible quasicrystals

The first-order flex space of the bar-joint framework $G_P$ of a parallelogram tiling $P$ is determined in terms of an explicit free basis. Applications are given to braced parallelogram frameworks and to quasicrystal frameworks associated with multigrids in the sense of de Bruijn and Beenker. In particular we characterise rigid bracing patterns, identify quasicrystal frameworks with finite dimensional flex spaces, and define a zero mode spectrum.

math.MG↗
arXiv2018

The first-order flexibility of a crystal framework

Four sets of necessary and sufficient conditions are obtained for the first-order rigidity of a periodic bond-node framework \C in R^d which is of crystallographic type. In particular, an extremal rank characterisation is obtained which incorporates a multi-variable matrix-valued transfer function Ψ_\C(z) defined on the product space C^d_* = (C\{0})^d. In general the first-order flex space is shown to be the closed linear span of polynomially weighted geometric velocity fields whose geometric multi-factors in C^d_* lie in a finite set. Paradoxically, first-order rigid crystal frameworks may possess nontrivial nondifferentiable continuous motions. The examples given are associated with aperiodic displacive phase transitions between periodic states.

math-ph↗
arXiv2017

Elementary proofs of Kempe universality

An elementary proof is given to show that a parametrised algebraic curve in the plane may be traced out, in the sense of A. B. Kempe, by a finite pinned linkage. Additionally it is shown that any parametrised continuous curve γ: [0,1] to R^2 may be traced out by an infinite linkage where the valencies of the joints is uniformly bounded. We also discuss related Kempe universality theorems and give a novel correction of Kempe's original argument.

math.MG↗
arXiv2016

String-node nets and meshes

New classes of distance-constrained structures are introduced, namely string-node nets and meshes, a mesh being a string-node net for which the nodes are dense in the strings. Various construction schemes are given including the minimal extension of a (countable) line segment net by an arbitrary countable scaling group. A linear mesh has strings that are straight lines and nodes given by the intersection points of these lines. Classes of linear meshes, such as the regular linear meshes in R^2 and R^3, are defined and classified. Contrasting flexing and rigidity properties are obtained for some fundamental meshes in the plane with respect to noncrossing motions in the space of smooth meshes.

math.MG↗
arXiv2014

The almost periodic rigidity of crystallographic bar-joint frameworks

A crystallographic bar-joint framework C is shown to be almost periodically infinitesimally rigid if and only if it is strictly periodically infinitesimally rigid and the rigid unit mode (RUM) spectrum is a singleton. Moreover the almost periodic infinitesimal flexes of C are characterised in terms of a matrix-valued function on the d-torus determined by a full rank translation symmetry group and an associated motif of joints and bars.

math.MG↗
arXiv2013

The rigidity of infinite graphs

A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1 2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.

math.MG↗
arXiv2013

Polynomials for Crystal Frameworks and the Rigid Unit Mode Spectrum

To each discrete translationally periodic bar-joint framework $\C$ in $\bR^d$ we associate a matrix-valued function $Φ_\C(z)$ defined on the d-torus. The rigid unit mode spectrum $Ω(\C)$ of $\C$ is defined in terms of the multi-phases of phase-periodic infinitesimal flexes and is shown to correspond to the singular points of the function $z \to \rank Φ_\C(z)$ and also to the set of wave vectors of harmonic excitations which have vanishing energy in the long wavelength limit. To a crystal framework in Maxwell counting equilibrium, which corresponds to $Φ_\C(z)$ being square, the determinant of $Φ_\C(z)$ gives rise to a unique multi-variable polynomial $p_\C(z_1,\dots,z_d)$. For ideal zeolites the algebraic variety of zeros of $p_\C(z)$ on the d-torus coincides with the RUM spectrum. The matrix function is related to other aspects of idealised framework rigidity and flexibility and in particular leads to an explicit formula for the number of supercell-periodic floppy modes. In the case of certain zeolite frameworks in dimensions 2 and 3 direct proofs are given to show the maximal floppy mode property (order $N$). In particular this is the case for the cubic symmetry sodalite framework and some other idealised zeolites.

math.CO↗
arXiv2012

Rigidity of Frameworks Supported on Surfaces

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 union of concentric cylinders, necessary and sufficient combinatorial conditions are obtained for the minimal rigidity of generic frameworks.

math.CO↗
arXiv2011

Crystal Frameworks, Matrix-valued Functions and Rigidity Operators

An introduction and survey is given of some recent work on the infinitesimal dynamics of \textit{crystal frameworks}, that is, of translationally periodic discrete bond-node structures in $\mathbb{R}^d$, for $ d=2,3,...$. We discuss the rigidity matrix, a fundamental object from finite bar-joint framework theory, rigidity operators, matrix-function representations and low energy phonons. These phonons in material crystals, such as quartz and zeolites, are known as rigid unit modes, or RUMs, and are associated with the relative motions of rigid units, such as ~SiO$_4$ tetrahedra in the tetrahedral polyhedral bond-node model for quartz. We also introduce semi-infinite crystal frameworks, bi-crystal frameworks and associated multi-variable Toeplitz operators.

math.MG↗
arXiv2010

Frameworks, Symmetry and Rigidity

Symmetry equations are obtained for the rigidity matrix of a bar-joint framework in R^d. These form the basis for a short proof of the Fowler-Guest symmetry group generalisation of the Calladine-Maxwell counting rules. Similar symmetry equations are obtained for the Jacobian of diverse framework systems, including constrained point-line systems that appear in CAD, body-pin frameworks, hybrid systems of distance constrained objects and infinite bar-joint frameworks. This leads to generalised forms of the Fowler-Guest character formula together with counting rules in terms of counts of symmetry-fixed elements. Necessary conditions for isostaticity are obtained for asymmetric frameworks, both when symmetries are present in subframeworks and when symmetries occur in partition-derived frameworks.

math.MG↗
arXiv2008

Infinite Bar-Joint Frameworks

Some aspects of a mathematical theory of rigidity and flexibility are developed for general infinite frameworks and two main results are obtained. In the first sufficient conditions, of a uniform local nature, are obtained for the existence of a proper flex of an infinite framework. In the second it is shown how continuous paths in the plane may be simulated by infinite Kempe linkages.

math.FA↗
arXiv2004

Reflexivity of the translation-dilation algebras on L^2(R)

The hyperbolic algebra A_h, studied recently by Katavolos and Power, is the weak star closed operator algebra on L^2(R) generated by H^\infty(R), as multiplication operators, and by the dilation operators V_t, t \geq 0, given by V_t f(x) = e^{t/2} f(e^t x). We show that A_h is a reflexive operator algebra and that the four dimensional manifold Lat A_h (with the natural topology) is the reflexive hull of a natural two dimensional subspace.

math.FA↗
arXiv2000

Approximately finitely acting operator algebras

Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E with respect to star-extendible homomorphisms. The invariants in the algebraic case consist of an additive semigroup, with scale, which is a right module for the semiring $V_E = Hom_u(E \otimes \sK, E \otimes \sK)$ of unitary equivalence classes of star-extendible homomorphisms. This semigroup is referred to as the dimension module invariant. In the operator algebra case the invariants consist of a metrized additive semigroup with scale and a contractive right module $V_E$-action. Subcategories of algebras determined by restricted classes of embeddings, such as 1-decomposable embeddings between digraph algebras, are also classified in terms of simplified dimension module invariants.

math.OA↗
arXiv1999

Grothendieck group invariants for partly self-adjoint operator algebras

Various partially ordered Grothendieck group invariants are introduced for general operator algebras and these are used in the classification of direct systems and direct limits of finite-dimensional complex incidence algebras with common reduced digraph H (systems of H-algebras). In particular the dimension distribution group G(A; C), defined for an operator algebra A and a self-adjoint subalgebra C, generalises both the K0 group of a sigma unital C*-algebra B and the spectrum (fundamental relation) R(A) of a regular limit A of triangular digraph algebras. This invariant is more economical and computable than the so called regular Grothendieck group which nevertheless forms the basis for a complete classification of regular systems of H-algebras.

math.OA↗
arXiv1998

The Classification of Limits of 2n-cycle Algebras

We obtain a complete classification of the locally finite algebras and the operator algebras, given as algebraic inductive limits and Banach algebraic inductive limits respectively, of direct systems: A_1 contained in A_2 contained in A_3 and so on. Here the A_k are 2n-cycle algebras, where n is at least 3 and the inclusions are of rigid type. The complete isomorphism invariant is essentially the triple (K_0(A), H_1(A), Sigma(A)) where K_0(A) is viewed as a scaled ordered group, H_1(A) is a partial isometry homology group and Sigma(A), contained in the direct sum of K_0(A) and H_1(A), is the 2n-cycle joint scale.

math.OA↗
arXiv1998

Relative positions of matroid algebras

A classification is given for (regular) positions of direct sums of two matroid algebras (unital algebraic limits of matrix algebras) in a matroid superalgebra, where the individual summands have index 2 in their associated corner algebra. A similar classification is obtained for positions of direct sums of 2-symmetric algebras and, in the odd case, for the positions of sums of 2-symmetric C*-algebras in matroid C*-algebras. The approach relies on an analysis of intermediate non-self-adjoint operator algebras and the classifications are given in terms of K0 invariants, partial isometry homology and scales in the associated composite K0-homology group.

math.OA↗
arXiv1994

Infinite Lexicographic Products of Triangular Algebras

Some new connections are given between linear orderings and triangular operator algebras. A lexicograhic product is defined for triangular operator algebras and the Jacobson radical of an infinite lexicographic product of upper triangular matrix algebras is determined.

funct-an↗