- freely available
- re-usable
symmetry 2014, 6(2), 308-328; doi:10.3390/sym6020308
Published: 24 April 2014
Abstract
: A crystallographic bar-joint framework, in ℝ^{d}, 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 are characterised in terms of a matrix-valued function, Φ_{ } (z), on the d-torus, ^{d}, determined by a full rank translation symmetry group and an associated motif of joints and bars.1. Introduction
The rigidity of a crystallographic bar-joint framework, , in the Euclidean spaces, ℝ^{d}, with respect to periodic first order flexes is determined by a finite matrix, the associated periodic rigidity matrix. For essentially generic frameworks of this type in two dimensions, there is a deeper combinatorial characterisation, which is a counterpart of Laman's characterisation of the infinitesimal rigidity of generic placements of finite graphs in the plane. See Ross [1]. For related results and characterisations of other forms of periodic infinitesimal rigidity, see Borcea and Streinu [2,3], Connelly, Shen and Smith [4], Malestein and Theran [5], Owen and Power [6], Power [7,8] and Ross, Schulze and Whiteley [9].
There is also extensive literature in condensed matter physics concerning the nature and multiplicity of low-energy oscillations and rigid unit modes (RUMs) for material crystals in three dimensions. In this case, Bloch's theorem applies, and the excitation modes are periodic modulo a phase factor. The set of phase factors, or, equivalently, the set of reduced wave vectors for the modes, provides what may be viewed as the RUM spectrum of the crystal. See Dove et al. [10], Giddy et al. [11] and Wegner [12], for example. In Owen and Power [6] and Power [8], the RUM spectrum was formalised in mathematical terms as a subset, Ω( ), of the d-torus, ^{d}, or as an equivalent subset of [0, 1)^{d}, which arises from a choice of translation group . This set of multi-phases is determined by a matrix-valued function, Φ_{ }(z), on ^{d} with the value at z = 1̂ = (1, 1, … , 1) providing the corresponding periodic rigidity matrix for .
In the present article, we move beyond periodicity and consider infinitesimal flexes of a crystallographic bar-joint framework, which are almost periodic in the classical sense of Bohr. Such flexes are independent of any choice of translation group and so are intrinsic to as an infinite bar-joint framework. It is shown that is almost periodically infinitesimally rigid if and only if for some choice of translation group, it is periodically infinitesimally rigid, and the corresponding RUM spectrum is the minimal set {1̂}. More generally, we show how the almost periodic infinitesimal flexes of are determined in terms of the matrix function, Φ_{ }(z).
An ongoing interest in the analysis of low-energy modes in material science is to quantify the implications of symmetry and local geometry for the set of RUM wave vectors. See, for example, Kapko et al. [13], where the phenomenon of extensible flexibility is related to the maximal symmetry and minimal density forms of an idealised zeolite crystal framework. Here, the term, extensive flexibility, corresponds to a maximal rigid unit mode spectrum Ω( ) = ^{3}. We show that for crystal frameworks whose RUM spectrum decomposes into a finite union of linear components, there is a corresponding vector space decomposition of the almost periodic flex space. The flexes in these subspaces are periodic in specific directions associated with certain symmetries of the crystallographic point group.
In Section 4, we give a small gallery of crystal frameworks, which display a variety of periodic and almost periodic flexibility properties.
2. Crystal Frameworks and the RUM Spectrum
A bar-joint framework in the Euclidean space, ℝ^{d}, is a pair consisting of a simple undirected graph G = (V, E) and an injective map p : V → ℝ^{d}. A (real) infinitesimal flex of (G, p) is a field of velocities, or velocity vectors, u(v), assigned to the joints, p(v), such that, for every edge, vw ∈ E,
Definition 1
A crystal framework, , is a bar-joint framework (G, p) for which there exist finite subsets, F_{v} ⊆ p(V) and F_{e} ⊆ p(E), and a full rank translation group, , such that:
The pair (F_{v}, F_{e}) is called a motif for . The elements of F_{v} are called motif vertices, and the elements of F_{e} are called motif edges. The translation group, , is necessarily of the form:
In the consideration of infinitesimal rigidity relative to general periodic flexes, or almost periodic flexes, it is convenient and natural to consider complex velocity vectors u : F_{v} × ℤ^{d} → ℂ^{d}. Indeed, such vectors are infinitesimal flexes if and only if their real and imaginary parts are infinitesimal flexes. A velocity vector u : F_{v} × ℤ^{d} → ℂ^{d} for is said to be
local if u(v, k) ≠ 0 for at least one and at most finitely many (v, k) ∈ F_{v} × ℤ^{d};
strictly periodic if u(v, k) = u(v, 0) for all (v, k) ∈ F_{v} × ℤ^{d};
supercell periodic if u(v, k) = u(v, 0) for each motif vertex v ∈ F_{v} and for all k in a full rank subgroup of ℤ^{d} of the form m_{1}ℤ × ⋯ × m_{d}ℤ.
2.1. The Symbol Function and Rigidity Matrix
We now define the symbol function, Φ_{ }(z), of a crystal framework and the rigidity matrix, R( ), from which it is derived. The d-dimensional torus is ^{d} = {(z_{1}, …, z_{d}) ∈ ℂ^{d} : |z_{1}| = ⋯ = |z_{d}| = 1}. For k ∈ Z^{d}, the associated monomial function, f : ^{d} → ℂ, given by $f\left({z}_{1},\dots ,{z}_{d}\right)={z}_{1}^{{k}_{1}}\dots {z}_{d}^{{k}_{d}}$, is written simply as z^{k}.
Definition 2
Let be a crystal framework in ℝ^{d} with motif (F_{v}, F_{e}), and for e = (v, k)(w, l) ∈ F_{e}, let p(e) = p(v, k) − p(w, l). Then, Φ_{ }(z) is a matrix-valued function on ^{d}, which assigns a finite |F_{e}| × d|F_{v}| matrix to each z ∈ ^{d}. The rows of Φ_{ }(z) are labelled by the edges of F_{e}, and the columns are labelled by the vertex-coordinate pairs in F_{v} × {1,…, d}. The row for an edge e = (v, k)(w, l) with v ≠ w takes the form,
Definition 3
Let be a crystal framework in ℝ^{d} with motif (F_{v}, F_{e}), and for e = vw ∈ F_{e}, let p(e) = p(v) − p(w). Then, R( ) is the infinite matrix, whose rows are labelled by the edges, (e, k) in F_{e} × ℤ^{d}, and whose columns are labelled by the pairs, (v, k) in F_{v} × ℤ^{d}. The row for an edge (e, k) = (v, l + k)(w, m + k), with e = (v, l)(w, m) ∈ F_{e}, takes the form:
It follows from this definition that a velocity vector u : F_{v} × ℤ^{d} → ℝ^{d} is an infinitesimal flex for if and only if R( ) u = 0.
2.2. The RUM Spectrum
Let ω = (w_{1},…, ω_{d}) ∈ ^{d}. A velocity vector u : F_{v} × ℤ^{d} → ℂ^{d} is said to be ω-phase-periodic if u(v, k) = ω^{k}u(v, 0) for all (v, k) ∈ F_{v} × ℤ^{d}. Here, ω^{k} is the product ${\omega}_{1}^{{k}_{1}}\dots {\omega}_{d}^{{k}_{d}}$. We also write u = b ⊗ e_{ω} for this vector, where b is the vector (u(v, 0))_{v} in ℂ^{d|Fv|} and e_{ω} is the multi-sequence (ω^{k})_{k∈ℤd}. We refer to ω as a multi-phase for u. The velocity vector u is said to be phase-periodic if it is ω-phase-periodic for some multi-phase ω ∈ ^{d}.
To explain this terminology, note that a multi-phase is a d-tuple of unimodular complex numbers ω = (e^{iθ1}, … , e^{iθd}). The k-th entry corresponds to the phase variation of the velocity vector, u, in the direction of the k-th lattice direction. The d-tuple of real numbers θ = (θ_{1}, … , θ_{d}) can be taken to have entries in the interval [0, 2π), in which case, θ can be considered as the reduced wave vector of the velocity vector, u (see [8] for further remarks on this dynamical connection).
The following theorem is given in [8,14].
Theorem 1
Let be a crystal framework in ℝ^{d}; let ω ∈ ^{d} and let u = b ⊗ e_{ω}, with b ∈ F_{v} × ℂ^{d}, be a ω-phase-periodic velocity vector. Then, the following conditions are equivalent:
- (i)
R( )u = 0;
- (ii)
Φ_{ }(ω̅)b = 0.
The RUM spectrum, Ω( ), of is defined to be the set of multi-phases, ω, for which there exists a nonzero phase-periodic infinitesimal flex for as an infinite-bar-joint framework, or, equivalently, as the set of multi-phases for which the rank of the matrix, Φ_{ }(ω̅), is less than d|F_{v}|.
Note that the strictly periodic velocity vectors for are, by definition, precisely the phase-periodic velocity vectors, which have multi-phase 1̂ = (1,…, 1) ∈ ^{d}. Evidently, the RUM spectrum must always contain the point, 1̂ ∈ ^{d}, as every constant velocity vector, u, is a phase-periodic infinitesimal flex with multi-phase 1̂. Thus, the RUM spectrum of is a singleton (i.e., it contains only the single point, 1̂ if and only if every phase-periodic infinitesimal flex for is strictly periodic.
Corollary 1
Let be a crystal framework in ℝ^{d} with translation group . Then, the following statements are equivalent:
- (i)
The -periodic real infinitesimal flexes of are trivial;
- (ii)
The -periodic complex infinitesimal flexes of are trivial;
- (iii)
The periodic rigidity matrix Φ_{ }(1,…, 1) has rank equal to d|F_{v}| − d.
We may view phase-periodic infinitesimal flexes of a crystal framework as the pure flexes with (possibly incommensurate) oscillatory variation relative to the periodicity lattice. Note that finite linear combinations of such flexes need not be phase-periodic, but will in fact be almost periodic in the sense of Definition 4 below Our main theorem may be viewed as an almost periodic flex variant of the general principle that general motions can be synthesised by combinations of purely oscillatory motions.
3. Almost Periodic Rigidity
In this section, we first outline the proof of the fundamental approximation theorem for uniformly almost periodic functions and its counterpart for almost periodic sequences. These ensure that a function (or sequence), which is almost periodic in the sense of Bohr, is approximable by trigonometric functions (or sequences) that are obtained in an explicit manner from convolution with Bochner-Fejér kernels. A convenient self-contained exposition of this fact for function approximation is given in Partington [15]. (See also [16,17]). The direct arguments there can be extended to almost periodic vector-valued functions on ℤ^{d}, and this embraces the setting of velocity fields relevant to the almost periodic rigidity of crystal frameworks (see Definition 4). The constructive approximation theorem that we require is given in Theorem 2. This theorem together with Lemmas 1 and 2 leads to the almost periodic rigidity theorem.
3.1. Almost Periodic Sequences
First, we recall the classical theory for univariable functions on ℝ. The Fejér kernel functions are given by:
Note first that it is elementary that the functions, g_{n}(x), has the form g_{n}(x) = [f, R_{x} K_{n}], where [·, ·] is the mean inner product:
Similar considerations apply to the space, AP(ℤ, ℂ), of almost periodic sequences. The approximants are general trigonometric sequences, that is, sequences, (h(k))_{k∈ℤ}, that have a finite sum form:
The following fundamental approximation theorem indicates the explicit construction of the Bochner-Fejér kernels ${K}_{n}^{\prime}$ for h as coordinate-wise products of appropriate Fejér sequences.
Theorem 2
Let h be a sequence in AP (ℤ, ℂ); let α_{1},α_{2}, … be a maximal subset of the Bohr spectrum Λ(h), which is independent over ℚ, and for n = 1, 2,… let:
The main ingredient in the proof of the theorem is that the Bohr spectrum is nonempty if h ≠ 0, and the arguments for this depend on the equivalence of Bohr almost periodicity with the Bochner condition that the set of translates of h is precompact for the uniform norm (see [15]).
The arguments leading to Theorem 2 can be generalised to obtain an exact counterpart theorem for AP(ℤ^{d}, ℂ^{r}). The approximating trigonometric sequences, g, now have a finite sum form:
The metric that is appropriate in our context for the approximation of velocity fields is the uniform metric or norm ∥ · ∥_{∞}; for velocity fields h, h′, we have:
Theorem 3
Let h be a sequence in AP(ℤ^{2}, ℂ^{r}), let (α_{1}, β_{1}), (α_{2}, β_{2}),… be a maximal subset of Λ (h) ⊂ [0,2π)^{2}, which is independent over ℚ, and for n = 1,2,… let:
Note that here, [·, ·]_{ℤ2} is the natural well-defined sesquilinear map from AP(ℤ^{2}, ℂ^{r}) × AP(ℤ^{2}, ℂ) to ℂ^{r}.
We remark that the theory of uniformly almost periodic multi-variable functions on ℝ^{d} and on ℤ^{d} is part of the abstract theory of almost periodic functions on locally compact abelian groups, due to Bochner and von Neumann [18]. For further details, see also Levitan and Zhikov [19], Loomis [20] and Shubin[21].
3.2. Almost Periodic Rigidity
We now characterise when a crystal framework admits no nontrivial almost periodic infinitesimal flexes, and in this case, we say that it is almost periodically rigid. This is evidently a form of rigidity, which is independent of any choice of translation group.
For a crystal framework, , with full rank translation group , various linear transformations may be associated with the rigidity matrix, R( ). These transformations are restrictions of the induced linear transformation:
The right shift operators on the domain and codomain of R( ) for the integral vector, l in ℤ^{d}, are denoted by ${R}_{l}^{V}$ and ${R}_{l}^{E}$, respectively. Here, the right shift of a sequence, h(k, κ), by l is the sequence, h(k − l, κ). We note that:
Definition 4
Let h : ℤ^{d} × F_{v} → ℂ^{d} be a velocity field.
An integral vector, l in ℤ^{d}, is an ε-translation vector for h if${\Vert {R}_{l}^{V}\left(h\right)-h\Vert}_{\infty}<\u220a$.
The velocity field, h, is Bohr almost periodic if for every ∊ > 0, the set of ∊-translation vectors, l, is relatively dense in ℝ^{d}.
Lemma 1
Let g be the vector-valued trigonometric multi-sequence with finite sum representation:
Proof
For ω = (ω_{1}, … , ω_{d}) ∈ ^{d} and N ∈ ℕ, let R^{V} (ω, N) be the linear map on the normed space ℓ^{∞}(ℤ^{d} × F_{v}, ℂ^{d}) given in terms of the right shift operators, ${R}_{k}^{V}$, k ∈ ℤ^{d}, by:
Lemma 2
Let K be a trigonometric polynomial in AP(ℤ^{d} × F_{v}, ℂ), and let h be an infinitesimal flex for in AP(ℤ^{d} × F_{v}, ℂ^{d}). Then, the mean convolution multi-sequence g : ℤ^{d} × F_{v} → ℂ^{d} given by g(k, v_{κ}) = [h, R_{k}(K)]ℤ_{d} is an infinitesimal flex for .
Proof
By linearity, it suffices to assume that K is the elementary multi-sequence, e_{ω}, so that K(k) = ω^{k} for k ∈ ℤ^{d}. Then, g is the uniform limit of the sequence (g_{N}), where:
The following theorem shows that a crystal framework is almost periodically rigid if and only if it is periodically rigid and the RUM spectrum is trivial.
Theorem 4
Let be a crystallographic bar-joint framework in ℝ^{d}. The following statements are equivalent:
- (i)
Every almost periodic infinitesimal flex of is trivial;
- (ii)
Every strictly periodic infinitesimal flex of is trivial, and Ω( ) = {1̂}.
Proof
(i) ⇒ (ii) This follows, since every phase-periodic infinitesimal flex is also an almost periodic infinitesimal flex.
(ii) ⇒ (i) Let u be an almost periodic infinitesimal flex. Then, by Theorem 3, for d dimensions, u is a uniform limit of the sequence, (g_{n}), of trigonometric sequences in AP(ℤ^{d} × F_{v}, ℂ^{d}) given by:
We note that it follows from the proof of the theorem that any almost periodic infinitesimal flex is approximable by a sequence of finite linear combinations of phase-periodic flexes, with approximation in the sense of uniform convergence for the uniform norm given before in Theorem 3. For supercell periodic flexes, one can be more specific, as in the following proposition, which essentially follows from Theorem 1 and Lemma 1 (see also [8]).
Proposition 5
Let be a crystallographic bar-joint framework in ℝ^{d}. Then, the space of supercell periodic infinitesimal flexes for m-fold periodicity with m = (m_{1},…, m_{d}) is equal to the linear span of:
In particular, every supercell periodic infinitesimal flex for is an almost periodic infinitesimal flex for .
The Bohr spectrum of an almost periodic infinitesimal flex, u, of the crystal framework, , is the finite or countable set given by:
We see in the next section that Ω( ), as a subset of [0, 1)^{d}, often decomposes as a union of linear components. This is the case, for example, in two dimensions if Φ_{ }(z) is a square matrix function, whose determinant polynomial, det Φ_{ }(z), either vanishes identically or factorises into simple factors of the form (z^{n} − λw^{m}) with |λ| = 1. It follows that each almost periodic flex, u, of admits a finite sum decomposition u_{1} + ⋯ + u_{r} in which each component, u_{i}, is an almost periodic flex, whose Bohr spectrum lies in the i-th linear component. Such component flexes are partially periodic, being periodic in certain directions of translational symmetry.
4. Gallery of Crystal Frameworks
We now exhibit a number of illustrative examples. The first two of these show two extreme cases: firstly, where the RUM spectrum is a singleton, and secondly, where the RUM spectrum is ^{d}.
Example 1
Let = (G, p) be the crystallographic bar-joint framework with motif (F_{v}, F_{e}) and translation group indicated in Table 1. Simplifying earlier notation, the motif vertex is labelled v and the motif edges are labelled e_{0} = v(0, 0)v(1, 0), e_{1} = v(1, 0)v(0, 1) and e_{2} = v(0, 0)v(0, 1). The translation group is = {k_{1}a_{1} + k_{2}a_{2} : k_{1},k_{2} ∈ ℤ}, where a_{1} = (1, 0) and${a}_{2}=\left(\frac{1}{2},\frac{\sqrt{3}}{2}\right)$. The symbol function for is,
In fact, is sequentially infinitesimally rigid in the sense that there exists an increasing chain of finite subgraphs G_{1} ⊂ G_{2} ⊂ ⋯ of G, such that every vertex of G is contained in some G_{n} and each sub-framework (G_{n}, p) is infinitesimally rigid. For example, for each n, take G_{n} to be the vertex-induced subgraph on {v(k_{1}, k_{2}) : (k_{1}, k_{2}) ∈ ℤ^{2}, |k_{i}| ≤ n}. It follows that admits no nontrivial infinitesimal flexes and, so, is (absolutely) infinitesimally rigid as a bar-joint framework. In [22], we obtain a general characterisation of countable simple graphs, G, whose locally generic placements are infinitesimally rigid in this sense. The condition is that G should contain a vertex-complete chain of (2, 3)-tight subgraphs. The crystal framework, , may be viewed as a non-generic placement of such a graph, which remains infinitesimally rigid despite the crystallographic symmetry.
If the symbol function, Φ_{ }(z), is a square matrix, then the determinant of Φ_{ }(z) gives rise to the crystal polynomial, p_{ }(z) (see [8]). It is shown in [6] that such a crystal framework has a local infinitesimal flex if and only if the crystal polynomial, p_{ }(z), is identically zero.
Example 2
Consider the crystal framework, , with the motif and translation group shown in Table 2. The motif vertices are v_{0} = (0, 0) and${v}_{1}=\left(\frac{1}{2},\frac{1}{2}\right)$. The motif edges are e_{0} = v_{0}(0, 0)v_{0}(1, 0), e_{1} = v_{0}(0, 0)v_{0}(0, 1), e_{2} = v_{0}(0, 1)v_{1}(0, 0) and e_{3} = v_{0}(1, 0)v_{1}(0, 0). Note that the symbol function, Φ_{ }(z,w), is a square matrix,
Recall that a velocity vector u is supercell periodic for a crystal framework, , if u(v_{κ}, 0) = u(v_{κ}, k) for each motif vertex, v_{κ}, and all k in a full rank subgroup of ℤ^{d}.
Example 3
Let be the crystallographic bar-joint framework with motif (F_{v}, F_{e}) and translation group indicated in Table 3. Note that has symbol function,
Example 4
Let be the crystallographic bar-joint framework in ℝ^{2}, which is indicated in Table 4. The motif vertices are p(v_{0}) = (0, 0) and$p\left({v}_{1}\right)=\left(\frac{1}{3},-\frac{2}{3}\right)$. The symbol function, Φ_{ }(z, w) is,
As we have noted, the RUM dimension of a crystal framework, , is the dimension of the RUM spectrum, Ω( ), as a real algebraic variety (see [8]).
Example 5
The crystal framework, , illustrated in Table 5 has motif vertices v_{0} = (0,0), ${v}_{1}=\left(\frac{1}{2},\frac{\sqrt{3}}{2}\right)$ and v_{2} = (0, 1). The symbol function is a square matrix,
The crystal polynomial factors in to linear parts,
Example 6
Let be the crystal framework illustrated in Table 6. The symbol function, Φ(z, w), is the square matrix,
The following two examples, shown in Tables 7 and 8, have the same underlying graph and the same crystallographic point group, the dihedral group, _{2v}. However, the former has RUM dimension one and is linearly indecomposable while the latter has RUM dimension zero. Note that four-regular crystal frameworks such as these have a square symbol function.
Example 7
Let be the crystal framework with |F_{e}| = d|F_{v}| illustrated in Table 7. The symbol function, Φ_{ }(z,w), is,
Example 8
Let be the crystal framework illustrated in Table 8. The framework motif satisfies |F_{e}| = d|F_{v}|, and so, the symbol function, Φ_{ }(z,w), is a square matrix,
Example 9
The crystal framework illustrated in Table 9 is based on a motif consisting of a regular octagon of equilateral triangles. The crystal polynomial is,
Let be the basic one-dimensional grid framework for the lattice, ℤ in ℝ. For any crystal framework, in ℝ^{d}, one may construct a product framework = × _{ℤ} in ℝ^{d+1}, whose intersection with the hyperplanes ℝ^{d} × {n} are copies of and where these copies are connected by the edges ((p(v), n), (p(v), n + 1)). In the case that has square matrix symbol function Φ_{ }(z_{1},…,z_{d}), it is straightforward to verify that:
Example 10
Let be the three-dimensional framework derived from the regular octagon framework of Example 9. Then the crystal polynomial admits a three-fold factorisation and it follows that the RUM spectrum has the topological structure of four two-dimensional tori connected over the common circle of points (1, 1, z) in ^{3}.
Further Work
The examples above and the foregoing analysis suggest a number of intriguing lines of investigation.
On the computational side, it would be of interest to explore the variation of the RUM spectrum with respect to parameters determining distinct placements, as in the pair given in Tables 7 and 8. Parameter curves of constant RUM dimension and their connections with crystallographic symmetry would be of particular interest.
On the theoretical side, it is natural now to seek characterisations of almost periodic infinitesimal rigidity and flexibility for frameworks that are almost periodic or quasicrystallographic. One class of such frameworks would require a vertex set that is an almost periodic perturbation (or even an incommensurate periodic perturbation) of a periodic framework vertex set, with the bar lengths adjusted accordingly.
D. Kitson and S. C. Power are supported by the Engineering and Physical Sciences Research Council (EPSRC) grant EP/J008648/1.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Ross, E. The rigidity of periodic body-bar frameworks on the fixed torus. Phil. Trans. R. Soc. A 2014, 372, doi:10.1098/rsta.2012.0112.
- Borcea, C.S.; Streinu, I. Periodic frameworks and flexibility. Proc. R. Soc. A 2010, 466, 2633–2649, doi:10.1098/rspa.2009.0676.
- Borcea, C.S.; Streinu, I. Frameworks with crystallographic symmetry. Phil. Trans. R. Soc. A 2014, 372, doi:10.1098/rsta.2012.0143.
- Connelly, R.; Shen, J.D.; Smith, A.D. Ball packings with periodic constraints. Available online: http://arxiv.org/abs/1301.0664 (accessed on 18 April 2014).
- Malestein, J.; Theran, L. Generic combinatorial rigidity of periodic frameworks. Adv. Math. 2013, 233, 291–331, doi:10.1016/j.aim.2012.10.007.
- Owen, J.C.; Power, S.C. Infinite bar-joint frameworks, crystals and operator theory. N. Y. J. Math. 2011, 17, 445–490.
- Power, S.C. Crystal frameworks, symmetry and affinely periodic flexes. Available online: http://arxiv.org/pdf/1103.1914v3.pdf (accessed on 18 April 2014).
- Power, S.C. Polynomials for crystal frameworks and the rigid unit mode spectrum. Phil. Trans. R. Soc. A 2014, 372, doi:10.1098/rsta.2012.0030.
- Ross, E.; Schulze, B.; Whiteley, W. Finite motions from periodic frameworks with added symmetry. Int. J. Solids Struct. 2011, 48, 1711–1729, doi:10.1016/j.ijsolstr.2011.02.018.
- Dove, M.T.; Pryde, A.K.A.; Heine, V.; Hammonds, K.D. Exotic distributions of rigid unit modes in the reciprocal spaces of framework aluminosilicates. J. Phys. Condens. Matter 2007, 19, doi:10.1088/0953-8984/19/27/275209.
- Giddy, A.P.; Dove, M.T.; Pawley, G.S.; Heine, V. The determination of rigid unit modes as potential soft modes for displacive phase transitions in framework crystal structures. Acta Crystallogr. 1993, A49, 697–703.
- Wegner, F. Rigid-unit modes in tetrahedral crystals. J. Phys. Condens. Matter 2007, 19, 406–218.
- Kapko, V.; Dawson, C.; Rivin, I.; Treacy, M.M.J. Density of Mechanisms within the Flexibility Window of Zeolites. Phys. Rev. Lett. 2011, 107, doi:10.1103/PhysRevLett.112.068103.
- Power, S.C. Crystal frameworks, matrix-valued functions and rigidity operators, Operator Theory: Advances and Applications. In Concrete Operators, Spectral Theory, Operators in Harmonic Analysis and Approximation: 22nd International Workshop in Operator Theory and Its Application; Springer: Birkhäuser Basel, Switzerland, 2014; Volume 236.
- Partington, J.R. Linear operators and linear systems. An analytical approach to control theory. In London Mathematical Society Student Texts, 60; Cambridge University Press: Cambridge, UK, 2004.
- Besicovitch, A.S.; Bohr, H. Almost periodicity and general trigonometric series. Acta Math. 1931, 57, 203–292, doi:10.1007/BF02403047.
- Besicovitch, A.S. Almost Periodic Functions; Dover Publications, Inc.: New York, NY, USA, 1955.
- Bochner, S.; von Neumann, J. Almost periodic functions in groups. II. Trans. Amer. Math. Soc. 1935, 37, 21–50.
- Levitan, B.M.; Zhikov, V.V. Almost Periodic Functions and Differential Equations; Cambridge University Press: Cambridge, UK, 1982.
- Loomis, L.H. An Introduction to Abstract Harmonic Analysis; D. Van Nostrand Company, Inc.: New York, NY, USA, 1953.
- Šubin, M.A. Almost periodic functions and partial differential operators. Russ. Math. Surv. 1978, 33, doi:10.1070/RM1978v033n02ABEH002303.
- Kitson, D.; Power, S.C. The rigidity of infinite graphs. Available online: http://arxiv.org/abs/1310.1860 (accessed on 18 April 2014).
Table 1. An infinitesimally rigid crystal framework. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 2. A crystal framework with the full rigid unit mode (RUM) spectrum. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 3. A crystal framework with the RUM spectrum Ω( ) = {(1, 1), (−1, 1)}. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 4. A crystal framework with Ω( ) = {(1, 1)} and nontrivial strictly periodic flexes. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 5. A crystal framework with RUM dimension one. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 6. A crystal framework with supercell periodic flexes. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 7. A crystal framework with the linearly decomposable RUM spectrum. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 8. A crystal framework with finite RUM spectrum. |
Motif | Translation group | Crystal framework |
---|---|---|
Table 9. A crystal framework with the linearly indecomposable RUM spectrum. |
Motif | Translation group | Crystal framework |
---|---|---|
© 2014 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).