This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Symmetry-Adapted Phonon Analysis of Nanotubes (to appear in J. Mech. Phys. Solids)

Amin Aghaei111Email: aghaei@cmu.edu , Kaushik Dayal222Email: kaushik@cmu.edu  and Ryan S. Elliott333Email: elliott@aem.umn.edu
∗† Carnegie Mellon University, Pittsburgh, PA 15213
University of Minnesota, Minneapolis, MN 55455
(August 16, 2025)
Abstract

The characteristics of phonons, i.e. linearized normal modes of vibration, provide important insights into many aspects of crystals, e.g. stability and thermodynamics. In this paper, we use the Objective Structures framework to make concrete analogies between crystalline phonons and normal modes of vibration in non-crystalline but highly symmetric nanostructures. Our strategy is to use an intermediate linear transformation from real-space to an intermediate space in which the Hessian matrix of second derivatives is block-circulant. The block-circulant nature of the Hessian enables us to then follow the procedure to obtain phonons in crystals: namely, we use the Discrete Fourier Transform from this intermediate space to obtain a block-diagonal matrix that is readily diagonalizable. We formulate this for general Objective Structures and then apply it to study carbon nanotubes of various chiralities that are subjected to axial elongation and torsional deformation. We compare the phonon spectra computed in the Objective Framework with spectra computed for armchair and zigzag nanotubes. We also demonstrate the approach by computing the Density of States. In addition to the computational efficiency afforded by Objective Structures in providing the transformations to almost-diagonalize the Hessian, the framework provides an important conceptual simplification to interpret the phonon curves. Our findings include that, first, not all non-optic long-wavelength modes are zero energy and conversely not all zero energy modes are long-wavelength; second, the phonon curves accurately predict both the onset as well as the soft modes for instabilities such as torsional buckling; and third, unlike crystals where phonon stability does not provide information on stability with respect to non-rank-one deformation modes, phonon stability in nanotubes is sufficient to guarantee stability with respect to all perturbations that do not involve structural modes. Our finding of characteristic oscillations in the phonon curves motivates a simple one-dimensional geometric nonlocal model of energy transport in generic Objective Structures. The model shows the interesting interplay between energy transport along axial and helical directions.

Dedicated to Richard D. James on the occasion of his 60th Birthday

1 Introduction

Phonons, i.e. normal modes, are extremely important to understand the properties of crystals. For instance, phonon analysis provides insight into thermodynamic properties and mechanical stability [Dov93, BH98, ETS06, EST06]. In this paper, we use the framework of Objective Structures (OS) introduced by James [Jam06] to extend the notion of phonon analysis to noncrystalline but symmetric nanostructures.

OS generalizes the notion of a crystal or periodicity by using ideas from frame-indifference. In brief, [Jam06] and following works have shown that many highly symmetric but non-crystalline nanostructures have close analogies to crystals. These analogies have led to some important practical methods: e.g., a generalization of periodic boundary conditions for classical molecular dynamics and tight binding to enable the analysis of chiral nanostructures as well as the ability to apply torsional loads [ZAD11, ZJD09b, ZJD09a, ZDS10, DJ07, NZJD10, DJ10, DJ11, AD12, AD11]. All of these exploit the fact that the symmetries of the nanostructure, together with frame-indifference, imply that the first derivative of the potential energy has certain symmetries. This symmetry in the first derivative is a generalization of the fact that forces on image atoms are identical in a periodic crystal.

In this paper, we exploit in an essential way the symmetry in the second derivative of the potential energy, i.e. the Hessian matrix has various submatrices that are related to each other. While this was noted by James [Jam06], it has not been exploited in practical calculations. Here, we find that this property implies that a preliminary linear transformation renders the Hessian matrix block-circulant as in periodic crystals, thus enabling the use of standard Fourier techniques after the preliminary transformation. While a significant part of our analysis is general and applies broadly to all structures that belong to the family of OS, we also specialize the analysis to carbon nanotubes and other one-dimensional systems to do numerical calculations. Except where stated as a model system, we use the well-characterized Tersoff interatomic potential for carbon that provides a balance between bond-order accuracy and computational efficiency [Ter88].

We emphasize that many researchers have studied phonons in carbon nanotubes for over a decade now. For instance, an early example is [YKV95]; a more recent review is [JDD08]. An important feature of all of these studies is that they directly use methods from periodic systems. This often requires the use of very large unit cells that require expensive calculations to compute the phonon analysis, and more importantly the computed information is extremely complex and difficult to analyze for new physics. Recent papers that exploit the symmetry of nanotubes are [GLW08, PL06].

We go beyond these methods in some significant ways. First, our approach based on OS provides a tight link to deformation of the nanotubes. This is critical to go beyond exclusively axial-load-free and twisting-moment-free nanotubes; in fact, as recent work shows, the load- and moment- free structure of chiral nanotubes likely does not correspond to the assumed highly-symmetric configuration [VBSF+10, ZAD11, AD12]. Relaxing or applying such loads is readily accomplished using the OS framework [Jam06, DJ07].

Second, our analysis exposes the close analogies to periodic crystals; additionally, it is general and applicable to a wide variety of OS that go beyond carbon nanotubes. In addition to providing a conceptual unity, this can potentially enable important practical advances such as integrating our method with other techniques developed for periodic crystals. For instance, we provide a demonstration of phonon soft-mode stability analysis to detect instabilities under torsion. Such analyses, in combination with OS methods for bending and other deformations, can conceivably provide insight into complex phenomena such as nanotube rippling [AA08]. Further, multiscale atomistic-to-continuum numerical methods have recently been used to predict structural phase transformations in crystals using phonon stability as a critical component [DELT07, Ell07]; conceivably, similar methods for complex OS nanostructures can be built on the phonon approach provided here. Another potentially important application of our phonon approach is, e.g., as a basis to construct effective Hamiltonian models that have been effective in predicting structural phase transformations in crystals based on soft modes.

The paper is organized as follows:

  • Section 2 describes the notation used in the paper.

  • Section 3 outlines the relevant aspects of OS, and the properties of the Hessian matrix in an OS. In crystals, each row of the Hessian is simply a shifted copy of the previous row, i.e. it is block-circulant; in OS, each row of the Hessian is related to the previous row but in a more complex way that involves the symmetry parameters of the structure.

  • Section 4 sets up the linearized equations of motion, presents the transformation to the intermediate Objective space as a similarity transform, presents the standard Discrete Fourier Transform as a similarity transform, and uses a composition of these transforms to block-diagonalize the Hessian matrix.

  • Section 5 shows examples of phonon spectra computed by the OS framework and contrasts these with standard phonon spectra. The OS framework provides important conceptual simplifications in understanding these curves. We also demonstrate the computation of the density of states.

  • Section 6 examines modes that are long-wavelength (in the Fourier space), and rigid-body and uniform deformation modes in real space. Unlike crystals, rigid-body modes in nanotubes are not always at long-wavelength, and long-wavelength non-optic modes do not always correspond to zero energy even in the limit.

  • Section 7 examines the stability information provided by phonons, in particular contrasting nanotubes with crystals in regards to analogies to “non-rank-one modes” in crystals that are not tested by phonon stability. We also demonstrate a numerical example of torsional buckling and examine the predictions of phonon soft-mode analysis.

  • Section 8 studies energy transport in nanotubes. We find characteristic oscillations in the phonon spectra that motivate a simple one-dimensional geometric nonlocal model of energy transport. The model provides insight into the balance between energy transport along axial and helical directions. The geometrically-motivated nature of the model gives it universal applicability to helical structures of all kinds.

2 Notation

\mathbb{Z} denotes the set of all integers and 3\mathbb{Z}^{3} the set of triples of all integers.

For a quantity 𝐀{\mathbf{A}}, the Fourier transform is denoted by 𝐀~\tilde{{\mathbf{A}}}.

To avoid ambiguity, the summation convention is not used and sums are always indicated explicitly.

Throughout the paper, MM and NN are used for the number of atoms per unit cell and the number of unit cells in the OS respectively. Note that MM is always finite but NN can be infinite. The unit cells are labeled by multi-indices denoted by boldface, i.e. 𝐢=(i1,i2,i3){\mathbf{i}}=(i_{1},i_{2},i_{3}), and atoms within a given unit cell are labeled by regular non-bold indices. For example, the position of the kk atom in the 𝐢{\mathbf{i}} unit cell is denoted 𝐱𝐢,k{\mathbf{x}}_{{\mathbf{i}},k}.

Bold lower case and upper case letters represent vectors and matrices, respectively. The rectangular Cartesian component and the exponent of a vector or matrix are shown respectively by Greek letters and lower case Latin letters as superscripts.

The subscripts of vectors and matrices are used to convey information about the structure of the quantity in addition to denoting components. We will often deal with matrices of size 3MN×3MN3MN\times 3MN corresponding to an OS with 3MN3MN degrees of freedom (DoFs). Such a matrix 𝐀{\mathbf{A}} can be divided into N×NN\times N blocks, with each block further sub-divided into M×MM\times M sub-blocks of size 3×33\times 3. Then, 𝐀(𝐢,k)(𝐣,l){\mathbf{A}}_{({\mathbf{i}},k)({\mathbf{j}},l)} denotes a 3×33\times 3 sub-block, typically corresponding to the pair of atoms labeled by (𝐢,k)({\mathbf{i}},k) and (𝐣,l)({\mathbf{j}},l). Also, 𝐀𝐢𝐣{\mathbf{A}}_{{\mathbf{i}}{\mathbf{j}}} denotes a 3M×3M3M\times 3M matrix, typically corresponding to atoms in the unit cells labeled 𝐢{\mathbf{i}} and 𝐣{\mathbf{j}}.

Similarly, for a vector 𝐛{\mathbf{b}} of size 3MN×13MN\times 1, writing 𝐛𝐢{\mathbf{b}}_{\mathbf{i}} denotes the 𝐢{\mathbf{i}}-th block of 𝐛{\mathbf{b}} of size 3M×13M\times 1 typically corresponding to the unit cell labeled by 𝐢{\mathbf{i}}. Further, 𝐛𝐢,k{\mathbf{b}}_{{\mathbf{i}},k} denotes a sub-block of 𝐛𝐢{\mathbf{b}}_{\mathbf{i}} of size 3×13\times 1, typically corresponding to the atom kk in the unit cell labeled by 𝐢{\mathbf{i}}.

For Fourier quantities, the correspondences for sub-blocks in vectors and matrices are not to unit cells but rather to wave numbers.

3 Objective Structures

James [Jam06] defined an objective atomic structure as a finite or infinite set of atoms in which every atom sees the same environment up to translation and rotation. Similarly, an objective molecular structure is defined as a structure with a number of identical molecules, each molecule consisting of a number of atoms, arranged such that corresponding atoms in every molecule see the same environment up to translation and rotation. We note that the molecules in an objective molecular structure need not correspond to standard physical molecules as usually understood. Bravais (multi) lattices are special cases of objective atomic (molecular) structures in which each atom (molecule) has the same environment up to translation and the rotation is trivial.

Following recent works that build on James’ original formulation, e.g. [DEJ, DJ11, DJ10, AD11, AD12], we can define OS equivalently in the language of group theory. The group theoretic approach enables practical calculations. Let G={g𝟎,g𝟏,,g𝐍}G=\{g_{\bf 0},g_{\bf 1},\cdots,g_{{\mathbf{N}}}\} be a set of isometries indexed by a multi-index. Each element of GG has the form g𝐣=(𝐐𝐣|𝐜𝐣)g_{{\mathbf{j}}}=({\mathbf{Q}}_{{\mathbf{j}}}|{\mathbf{c}}_{{\mathbf{j}}}) where 𝐐𝐣O(3){\mathbf{Q}}_{{\mathbf{j}}}\in O(3) is orthogonal and 𝐜𝐣3{\mathbf{c}}_{{\mathbf{j}}}\in\mathbb{R}^{3} is a vector.

The action of an isometry on a point 𝐱3{\mathbf{x}}\in\mathbb{R}^{3} is

g𝐣(𝐱)=𝐐𝐣𝐱+𝐜𝐣g_{{\mathbf{j}}}({\mathbf{x}})={\mathbf{Q}}_{{\mathbf{j}}}{\mathbf{x}}+{\mathbf{c}}_{{\mathbf{j}}} (3.1)

Composition of mappings then provides:

g𝐢(g𝐣(𝐱))=𝐐𝐢(𝐐𝐣𝐱+𝐜𝐣)+𝐜𝐢=𝐐𝐢𝐐𝐣𝐱+𝐐𝐢𝐜𝐣+𝐜𝐢g_{\mathbf{i}}(g_{\mathbf{j}}({\mathbf{x}}))={\mathbf{Q}}_{\mathbf{i}}\left({\mathbf{Q}}_{\mathbf{j}}{\mathbf{x}}+{\mathbf{c}}_{\mathbf{j}}\right)+{\mathbf{c}}_{\mathbf{i}}={\mathbf{Q}}_{\mathbf{i}}{\mathbf{Q}}_{\mathbf{j}}{\mathbf{x}}+{\mathbf{Q}}_{\mathbf{i}}{\mathbf{c}}_{\mathbf{j}}+{\mathbf{c}}_{\mathbf{i}}

This motivates a definition for multiplication of isometries:

g𝐢g𝐣=(𝐐𝐢𝐐𝐣|𝐐𝐢𝐜𝐣+𝐜𝐢)g_{\mathbf{i}}g_{\mathbf{j}}=({\mathbf{Q}}_{\mathbf{i}}{\mathbf{Q}}_{\mathbf{j}}|{\mathbf{Q}}_{\mathbf{i}}{\mathbf{c}}_{\mathbf{j}}+{\mathbf{c}}_{\mathbf{i}}) (3.2)

From this definition, it follows that the identity element is g𝟎:=(𝐈|𝟎)g_{\bf 0}:=({\mathbf{I}}|\mathbf{0}) and the inverse of g𝐢g_{\mathbf{i}} is defined by g𝐢1:=(𝐐𝐢T|𝐐𝐢T𝐜𝐢)g_{\mathbf{i}}^{-1}:=({\mathbf{Q}}_{\mathbf{i}}^{T}|-{\mathbf{Q}}_{\mathbf{i}}^{T}{\mathbf{c}}_{\mathbf{i}}).

If the set GG is additionally a group with respect to the multiplication operation above, then placing an atom at each of the points given by the action of elements of GG on a given point 𝐱0{\mathbf{x}}_{0} gives an objective atomic structure. In addition, placing an atom of species kk at each of the points given by the action of elements of GG on a given set of points 𝐱0,k{\mathbf{x}}_{0,k} gives an objective molecular structure.

In this paper, we will consider OS described by groups of the form

G={g1i1g2i2g3i3;(i1,i2,i3)3}G=\{g_{1}^{i_{1}}g_{2}^{i_{2}}g_{3}^{i_{3}}\;;\;(i_{1},i_{2},i_{3})\in\mathbb{Z}^{3}\} (3.3)

Here, g1=(𝐐¯1|𝐜¯1)g_{1}=(\bar{\mathbf{Q}}_{1}|\bar{\mathbf{c}}_{1}), g2=(𝐐¯2|𝐜¯2)g_{2}=(\bar{\mathbf{Q}}_{2}|\bar{\mathbf{c}}_{2}) and g3=(𝐐¯3|𝐜¯3)g_{3}=(\bar{\mathbf{Q}}_{3}|\bar{\mathbf{c}}_{3}) are the generators of the group. We assume that they commute, i.e. g1g2=g2g1g_{1}g_{2}=g_{2}g_{1} and so on. This immediately implies that GG itself is Abelian. As shown in [DEJ], GG of this form does not describe all possible OS; however, as also shown there, those OS that cannot directly be described can nevertheless be described by such a GG by enlarging the unit cell and neglecting certain intra-unit cell symmetries.

Denoting the atomic positions in the unit cell by 𝐱(0,0,0),k:=𝐱𝟎,k,k=1,,M{\mathbf{x}}_{(0,0,0),k}:=\mathbf{x}_{\mathbf{0},k},k=1,\ldots,M, the OS is described by

𝐱𝐢,k:=𝐱(i1,i2,i3),k=g1i1g2i2g3i3(𝐱𝟎,k)=𝐐𝐢𝐱𝟎,k+𝐜𝐢;𝐢=(i1,i2,i3)3\mathbf{x}_{{\mathbf{i}},k}:={\mathbf{x}}_{(i_{1},i_{2},i_{3}),k}=g_{1}^{i_{1}}g_{2}^{i_{2}}g_{3}^{i_{3}}(\mathbf{x}_{\mathbf{0},k})={\mathbf{Q}}_{\mathbf{i}}\mathbf{x}_{\mathbf{0},k}+{\mathbf{c}}_{\mathbf{i}}\quad;\quad{\mathbf{i}}=(i_{1},i_{2},i_{3})\in\mathbb{Z}^{3} (3.4)

Using (3.2), we have that

𝐐𝐢=𝐐¯1i1𝐐¯2i2𝐐¯3i3,𝐜𝐢=𝐐¯1i1𝐐¯2i2(p=0p=i31𝐐¯3p𝐜¯3)+𝐐¯1i1(p=0p=i21𝐐¯2p𝐜¯2)+(p=0p=i11𝐐¯1p𝐜¯1){\mathbf{Q}}_{\mathbf{i}}=\bar{\mathbf{Q}}_{1}^{i_{1}}\bar{\mathbf{Q}}_{2}^{i_{2}}\bar{\mathbf{Q}}_{3}^{i_{3}},\quad{\mathbf{c}}_{\mathbf{i}}=\bar{\mathbf{Q}}_{1}^{i_{1}}\bar{\mathbf{Q}}_{2}^{i_{2}}\left(\sum_{p=0}^{p=i_{3}-1}\bar{\mathbf{Q}}_{3}^{p}\bar{\mathbf{c}}_{3}\right)+\bar{\mathbf{Q}}_{1}^{i_{1}}\left(\sum_{p=0}^{p=i_{2}-1}\bar{\mathbf{Q}}_{2}^{p}\bar{\mathbf{c}}_{2}\right)+\left(\sum_{p=0}^{p=i_{1}-1}\bar{\mathbf{Q}}_{1}^{p}\bar{\mathbf{c}}_{1}\right) (3.5)

for positive exponents i1,i2,i3i_{1},i_{2},i_{3}. Negative exponents are defined through the inverse.

An important property of OS is that elements of GG map images of the unit cell 𝐱𝟎,k\mathbf{x}_{\mathbf{0},k} to each other. For instance, consider the 𝐢{\mathbf{i}} and 𝐣{\mathbf{j}} images of the unit cell:

𝐱𝐢,k=g1i1g2i2g3i3(𝐱𝟎,k)=(g1i1j1g2i2j2g3i3j3)(g1j1g2j2g3j3)(𝐱𝟎,k)=(g1i1j1g2i2j2g3i3j3)(𝐱𝐣,k)\mathbf{x}_{{\mathbf{i}},k}=g_{1}^{i_{1}}g_{2}^{i_{2}}g_{3}^{i_{3}}(\mathbf{x}_{\mathbf{0},k})=\left(g_{1}^{i_{1}-j_{1}}g_{2}^{i_{2}-j_{2}}g_{3}^{i_{3}-j_{3}}\right)\left(g_{1}^{j_{1}}g_{2}^{j_{2}}g_{3}^{j_{3}}\right)(\mathbf{x}_{\mathbf{0},k})=\left(g_{1}^{i_{1}-j_{1}}g_{2}^{i_{2}-j_{2}}g_{3}^{i_{3}-j_{3}}\right)({\mathbf{x}}_{{\mathbf{j}},k}) (3.6)

These relations follow directly from the closure and commuting properties of the Abelian group GG.

Consider the orthogonal part of g1i1j1g2i2j2g3i3j3g_{1}^{i_{1}-j_{1}}g_{2}^{i_{2}-j_{2}}g_{3}^{i_{3}-j_{3}}:

(𝐐𝐢𝐣|𝐜𝐢𝐣)=g1i1j1g2i2j2g3i3j3=(g1i1g2i2g3i3)(g1j1g2j2g3j3)=(𝐐𝐢|𝐜𝐢)(𝐐𝐣|𝐜𝐣)1=(𝐐𝐢𝐐𝐣T|𝐐𝐢𝐐𝐣T𝐜𝐣+𝐜𝐢)({\mathbf{Q}}_{{\mathbf{i}}-{\mathbf{j}}}|{\mathbf{c}}_{{\mathbf{i}}-{\mathbf{j}}})=g_{1}^{i_{1}-j_{1}}g_{2}^{i_{2}-j_{2}}g_{3}^{i_{3}-j_{3}}=\left(g_{1}^{i_{1}}g_{2}^{i_{2}}g_{3}^{i_{3}}\right)\left(g_{1}^{-j_{1}}g_{2}^{-j_{2}}g_{3}^{-j_{3}}\right)=({\mathbf{Q}}_{\mathbf{i}}|{\mathbf{c}}_{\mathbf{i}})({\mathbf{Q}}_{\mathbf{j}}|{\mathbf{c}}_{\mathbf{j}})^{-1}=({\mathbf{Q}}_{\mathbf{i}}{\mathbf{Q}}_{\mathbf{j}}^{T}|-{\mathbf{Q}}_{\mathbf{i}}{\mathbf{Q}}_{\mathbf{j}}^{T}{\mathbf{c}}_{\mathbf{j}}+{\mathbf{c}}_{\mathbf{i}})

This provides the important relation:

𝐐𝐢𝐐𝐣T=𝐐𝐢𝐣{\mathbf{Q}}_{\mathbf{i}}{\mathbf{Q}}_{\mathbf{j}}^{T}={\mathbf{Q}}_{{\mathbf{i}}-{\mathbf{j}}} (3.7)

3.1 Crystal Lattices and Carbon Nanotubes as Objective Structures

Two important examples of OS are crystal multilattices and carbon nanotubes. We describe them using the general OS framework above.

To describe a crystal multilattice as an OS, we simply set 𝐐¯1=𝐈,𝐐¯2=𝐈,𝐐¯3=𝐈\bar{\mathbf{Q}}_{1}={\mathbf{I}},\bar{\mathbf{Q}}_{2}={\mathbf{I}},\bar{\mathbf{Q}}_{3}={\mathbf{I}}. The vectors 𝐜¯1,𝐜¯2,𝐜¯3\bar{\mathbf{c}}_{1},\bar{\mathbf{c}}_{2},\bar{\mathbf{c}}_{3} are the lattice vectors.

Carbon nanotubes require only two generators. Therefore, we set g3g_{3} to the identity. For a nanotube with axis 𝐞{\mathbf{e}} and centered at 𝟎\bf 0, we use:

g1=(𝐑θ1|𝟎),𝐑θ1𝐞=𝐞;g2=(𝐑θ2|κ2𝐞),𝐑θ2𝐞=𝐞g_{1}=({\mathbf{R}}_{\theta_{1}}|\mathbf{0}),{\mathbf{R}}_{\theta_{1}}{\mathbf{e}}={\mathbf{e}};\qquad g_{2}=({\mathbf{R}}_{\theta_{2}}|\kappa_{2}{\mathbf{e}}),\quad{\mathbf{R}}_{\theta_{2}}{\mathbf{e}}={\mathbf{e}} (3.8)

following (A.1). Here 𝐑θ{\mathbf{R}}_{\theta} is a rotation tensor with angle θ\theta. The generator g1g_{1} is a rotation isometry, and g2g_{2} is a screw isometry The parameters κ2,θ1,θ2\kappa_{2},\theta_{1},\theta_{2} depend on the chiral indices (m,n)(m,n) of the nanotube. In this description, the unit cell has 2 atoms at positions 𝐱(0,0),0{\mathbf{x}}_{(0,0),0} and 𝐱(0,0),1{\mathbf{x}}_{(0,0),1}. The relations between these parameters and (m,n)(m,n) are described in Appendix A.

We note the important special case that when the chiral indices mm and nn of the nanotube are relatively prime, g1g_{1} reduces to the identity.

The 2-atom unit cell of (3.8) is sufficient to obtain the dispersion curves of carbon nanotubes. But, as in standard periodic calculations, small unit cells can also greatly constrain the possible deformations. This is of particular concern when using (zero temperature) atomistics to study instabilities that lead to defects. For such problems, a unit cell with more atoms can be useful. To this end, we first define an enlarged unit cell consisting of the atoms generated by g1pg2q(𝐱(0,0),k)g_{1}^{p}g_{2}^{q}({\mathbf{x}}_{(0,0),k}), where k=1,2k=1,2 and the indices pp and qq run over integers p1pp2p_{1}\leq p\leq p_{2} and q1qq2q_{1}\leq q\leq q_{2}. The unit cell now consists of 2(p2p1+1)(q2q1+1)2(p_{2}-p_{1}+1)(q_{2}-q_{1}+1) atoms. To generate the nanotube, we then define the group H={h1ih2j;(i,j)2}H=\{h_{1}^{i}h_{2}^{j};(i,j)\in\mathbb{Z}^{2}\} with h1=g1p2p1+1h_{1}=g_{1}^{p_{2}-p_{1}+1} and h1=g1p2p1+1h_{1}=g_{1}^{p_{2}-p_{1}+1}. Note that HH is a subgroup of GG. The action of elements of HH on the enlarged unit cell define precisely the same nanotube as using GG on the 2-atom unit cell. However, since the atoms in the enlarged unit cell are not constrained to each other by symmetry, they can explore a larger space of deformations.

3.2 Consequences of Frame Indifference on the Potential Energy and its Derivatives

By frame-indifference, the potential energy of the OS, ϕ(𝐱𝟎,k,,𝐱𝐢,k,)\phi({\mathbf{x}}_{\mathbf{0},k},\ldots,{\mathbf{x}}_{{\mathbf{i}},k},\ldots) where k=1,,Mk=1,\ldots,M and 𝐢=(i1,i2,i3)3{\mathbf{i}}=(i_{1},i_{2},i_{3})\in\mathbb{Z}^{3}, is invariant under rigid translations and rotations of the entire structure, assuming that external fields are either absent or also similarly transform. We apply the specific rigid translation and rotation associated to elements of GG, i.e., consider the transformation g𝐢:=g1i1g2i2g3i3g_{\bf-i}:=g_{1}^{-i_{1}}g_{2}^{-i_{2}}g_{3}^{-i_{3}}.

ϕ(𝐱𝟎,k,,𝐱𝐢,k,,𝐱𝐣,l,)=ϕ(g𝐢𝐱𝟎,k,,g𝐢𝐱𝐢,k,,g𝐢𝐱𝐣,l,)=ϕ(𝐱𝐢,k,,𝐱𝟎,k,,𝐱𝐣𝐢,l,)\phi\left(\mathbf{x}_{\mathbf{0},k},\ldots,\mathbf{x}_{{\mathbf{i}},k},\ldots,\mathbf{x}_{{\mathbf{j}},l},\ldots\right)=\phi\left(g_{\bf-i}\mathbf{x}_{\mathbf{0},k},\ldots,g_{\bf-i}\mathbf{x}_{{\mathbf{i}},k},\ldots,g_{\bf-i}\mathbf{x}_{{\mathbf{j}},l},\ldots\right)=\phi\left({\mathbf{x}}_{-{\mathbf{i}},k},\ldots,\mathbf{x}_{\mathbf{0},k},\ldots,{\mathbf{x}}_{{\mathbf{j}}-{\mathbf{i}},l},\ldots\right) (3.9)

The key observation that enabled Objective Molecular Dynamics [DJ07, DJ10] is as follows. The force on atom (𝐢,k)({\mathbf{i}},k) is 𝐟𝐢,k=ϕ𝐱𝐢,k{\mathbf{f}}_{{\mathbf{i}},k}=-\frac{\partial\phi}{\partial\mathbf{x}_{{\mathbf{i}},k}}. Starting from the potential energy in (3.9), we perturb atom (𝐢,k)({\mathbf{i}},k) along the coordinate direction 𝐞α{\mathbf{e}}^{\alpha} and atom (𝐣,l)({\mathbf{j}},l) along the coordinate direction 𝐞β{\mathbf{e}}^{\beta}. Formally, we can write:

ϕ\displaystyle\phi (𝐱𝟎,m,,𝐱𝐢,k+ϵ1𝐞α,,𝐱𝐣,l+ϵ2𝐞β,)\displaystyle\left(\mathbf{x}_{\mathbf{0},m},\ldots,\mathbf{x}_{{\mathbf{i}},k}+\epsilon_{1}{\mathbf{e}}^{\alpha},\ldots,\mathbf{x}_{{\mathbf{j}},l}+\epsilon_{2}{\mathbf{e}}^{\beta},\ldots\right)
=ϕ(g𝐢𝐱𝟎,m,,g𝐢(𝐱𝐢,k+ϵ1𝐞α),,g𝐢(𝐱𝐣,l+ϵ2𝐞β),)\displaystyle=\phi\left(g_{-{\mathbf{i}}}\mathbf{x}_{\mathbf{0},m},\ldots,g_{-{\mathbf{i}}}(\mathbf{x}_{{\mathbf{i}},k}+\epsilon_{1}{\mathbf{e}}^{\alpha}),\ldots,g_{-{\mathbf{i}}}(\mathbf{x}_{{\mathbf{j}},l}+\epsilon_{2}{\mathbf{e}}^{\beta}),\ldots\right)
=ϕ(𝐱𝐢,m,,𝐱𝟎,k+ϵ1𝐐𝐢T𝐞α,,𝐱𝐣𝐢,l+ϵ2𝐐𝐢T𝐞β,)\displaystyle=\phi\left({\mathbf{x}}_{-{\mathbf{i}},m},\ldots,\mathbf{x}_{\mathbf{0},k}+\epsilon_{1}{\mathbf{Q}}_{\mathbf{i}}^{T}{\mathbf{e}}^{\alpha},\ldots,{\mathbf{x}}_{{\mathbf{j}}-{\mathbf{i}},l}+\epsilon_{2}{\mathbf{Q}}_{\mathbf{i}}^{T}{\mathbf{e}}^{\beta},\ldots\right)
=ϕ(𝐱𝟎,k+ϵ1𝐐𝐢T𝐞α,,𝐱𝐧,m,,𝐱𝐣𝐢,l+ϵ2𝐐𝐢T𝐞β,)\displaystyle=\phi\left(\mathbf{x}_{\mathbf{0},k}+\epsilon_{1}{\mathbf{Q}}_{\mathbf{i}}^{T}{\mathbf{e}}^{\alpha},\ldots,{\mathbf{x}}_{{\mathbf{n}},m},\ldots,{\mathbf{x}}_{{\mathbf{j}}-{\mathbf{i}},l}+\epsilon_{2}{\mathbf{Q}}_{\mathbf{i}}^{T}{\mathbf{e}}^{\beta},\ldots\right) (3.10)

The calculation is justified as follows: from the first to the third line, we follow precisely (3.9), and in the last step we simply rearrange the arguments because the energy does not not depend on the labeling of the atoms.

Setting ϵ2=0\epsilon_{2}=0 identically and taking the limit of ϵ10\epsilon_{1}\rightarrow 0:

ϕx𝐢,kα=γ=13Q𝐢αγϕx𝟎,kγ𝐟𝐢,k=𝐐𝐢𝐟𝟎,k\frac{\partial\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}}=\sum_{\gamma=1}^{3}Q_{\mathbf{i}}^{\alpha\gamma}\frac{\partial\phi}{\partial x_{\mathbf{0},k}^{\gamma}}\Leftrightarrow{\mathbf{f}}_{{\mathbf{i}},k}={\mathbf{Q}}_{\mathbf{i}}{\mathbf{f}}_{\mathbf{0},k} (3.11)

This transformation law for the force acting on an atom in the unit cell and its images enables the analog of periodic molecular dynamics in general OS [DJ07, DJ10].

James [Jam06] also noted a similar transformation law for elements of the second derivative (Hessian) matrix 𝐇{\mathbf{H}}. Taking the limit consecutively of ϵ10\epsilon_{1}\rightarrow 0 and ϵ20\epsilon_{2}\rightarrow 0:

2ϕx𝐢,kαx𝐣,lβ=γ,ηQ𝐢αγ2ϕx𝟎,kγx𝐣𝐢,lηQ𝐢βη𝐇(𝐢,k)(𝐣,l)=𝐐𝐢𝐇(𝟎,k)(𝐣𝐢,l)𝐐𝐢T\frac{\partial^{2}\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}\partial x_{{\mathbf{j}},l}^{\beta}}=\sum_{\gamma,\eta}Q_{\mathbf{i}}^{\alpha\gamma}\frac{\partial^{2}\phi}{\partial x_{\mathbf{0},k}^{\gamma}\partial x_{{\mathbf{j}}-{\mathbf{i}},l}^{\eta}}Q_{\mathbf{i}}^{\beta\eta}\Leftrightarrow{\mathbf{H}}_{({\mathbf{i}},k)({\mathbf{j}},l)}={\mathbf{Q}}_{\mathbf{i}}{\mathbf{H}}_{(\mathbf{0},k)({\mathbf{j}}-{\mathbf{i}},l)}{\mathbf{Q}}_{\mathbf{i}}^{T} (3.12)

Note that for a periodic crystal 𝐐𝐢=𝐈{\mathbf{Q}}_{\mathbf{i}}={\mathbf{I}} for all 𝐢{\mathbf{i}}, therefore providing the standard relation that 𝐇{\mathbf{H}} is block circulant.

The key physical content of (3.12) is that interactions between any pair of atoms in the structure can be mapped to the interactions between atoms in the unit cell and atoms in some other image cell.

4 Normal Mode Analysis in Objective Structures

We first derive the standard linearized equations of motion in an OS. We then use the properties of the Hessian from the previous section to achieve a block-diagonalization of the Hessian such that each block is of size 3M×3M3M\times 3M. Each block is related to the frequency in Fourier space, but the transformation is not directly from real to Fourier space but goes through an intermediate linear transform.

4.1 Linearized Equation of Motion around an Equilibrium Configuration

Let 𝐱̊={𝐱̊𝐢,k;k=1,,M;𝐢3}\mathring{{\mathbf{x}}}=\{\mathring{{\mathbf{x}}}_{{\mathbf{i}},k}\;;k=1,\ldots,M\;;{\mathbf{i}}\in\mathbb{Z}^{3}\} be the equilibrium configuration. Consider a perturbation 𝐮𝐢,k{\mathbf{u}}_{{\mathbf{i}},k} about this configuration and use a Taylor expansion:

ϕ(𝐱̊+𝐮)=ϕ(𝐱̊)+(𝐢,k)α=13ϕx𝐢,kα|𝐱̊u𝐢,kα+12(𝐢,k)α=13(𝐣,l)β=132ϕx𝐢,kαx𝐣,lβ|𝐱̊u𝐢,kαu𝐣,lβ+\phi(\mathring{{\mathbf{x}}}+{\mathbf{u}})=\phi(\mathring{{\mathbf{x}}})+\sum_{({\mathbf{i}},k)}\sum_{\alpha=1}^{3}\frac{\partial\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}}\bigg{|}_{\mathring{{\mathbf{x}}}}u_{{\mathbf{i}},k}^{\alpha}+\frac{1}{2}\sum_{({\mathbf{i}},k)}\sum_{\alpha=1}^{3}\sum_{({\mathbf{j}},l)}\sum_{\beta=1}^{3}\frac{\partial^{2}\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}\partial x_{{\mathbf{j}},l}^{\beta}}\bigg{|}_{\mathring{{\mathbf{x}}}}u_{{\mathbf{i}},k}^{\alpha}u_{{\mathbf{j}},l}^{\beta}+\ldots (4.1)

Since 𝐱̊\mathring{{\mathbf{x}}} is an equilibrium configuration, the first derivative does not appear. Neglecting terms higher than quadratic:

ϕ(𝐱̊+𝐮)=ϕ(𝐱̊)+12(𝐢,k)α=13(𝐣,l)β=132ϕx𝐢,kαx𝐣,lβ|𝐱̊u𝐢,kαu𝐣,lβ\phi(\mathring{{\mathbf{x}}}+{\mathbf{u}})=\phi(\mathring{{\mathbf{x}}})+\frac{1}{2}\sum_{({\mathbf{i}},k)}\sum_{\alpha=1}^{3}\sum_{({\mathbf{j}},l)}\sum_{\beta=1}^{3}\frac{\partial^{2}\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}\partial x_{{\mathbf{j}},l}^{\beta}}\bigg{|}_{\mathring{{\mathbf{x}}}}u_{{\mathbf{i}},k}^{\alpha}u_{{\mathbf{j}},l}^{\beta} (4.2)

Taking the limit of 𝐮𝟎{\mathbf{u}}\rightarrow{\bf 0}, the force on the atom (𝐢,k)({\mathbf{i}},k) is:

mku¨𝐢,kα=f𝐢,kα:=ϕx𝐢,kα=(𝐣,l)β=132ϕx𝐢,kαx𝐣,lβu𝐣,lβ=(𝐣,l)β=13H(𝐢,k)(𝐣,l)αβu𝐣,lβm_{k}\ddot{u}^{\alpha}_{{\mathbf{i}},k}=f_{{\mathbf{i}},k}^{\alpha}:=-\frac{\partial\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}}=-\sum_{({\mathbf{j}},l)}\sum_{\beta=1}^{3}\frac{\partial^{2}\phi}{\partial x_{{\mathbf{i}},k}^{\alpha}\partial x_{{\mathbf{j}},l}^{\beta}}u_{{\mathbf{j}},l}^{\beta}=-\sum_{({\mathbf{j}},l)}\sum_{\beta=1}^{3}H_{({\mathbf{i}},k)({\mathbf{j}},l)}^{\alpha\beta}u_{{\mathbf{j}},l}^{\beta} (4.3)

In compact matrix form,

𝐌𝐮¨=𝐇𝐮{\mathbf{M}}\ddot{\mathbf{u}}=-{\mathbf{H}}{\mathbf{u}} (4.4)

𝐌{\mathbf{M}} and 𝐇{\mathbf{H}} are the 3MN×3MN3MN\times 3MN mass and Hessian matrices respectively. Note that 𝐌{\mathbf{M}} is diagonal and trivially inverted. So define 𝐇^:=𝐌1𝐇\hat{\mathbf{H}}:={\mathbf{M}}^{-1}{\mathbf{H}}.

The linear form of (4.4) implies that solutions are exponentials, i.e., 𝐮=𝐮^exp(iωt){\mathbf{u}}=\hat{\mathbf{u}}\exp(-i\omega t) where ω\omega is the angular frequency. Therefore, we seek to solve the eigenvalue problem:

ωp2𝐮^p=𝐇^𝐮^p\omega^{2}_{p}\hat{\mathbf{u}}^{p}=\hat{\mathbf{H}}\hat{\mathbf{u}}^{p} (4.5)

ωp2\omega^{2}_{p} and 𝐮^p\hat{\mathbf{u}}^{p} are the eigenvalues and eigenvectors of 𝐇^\hat{\mathbf{H}}, with p=1,,3MNp=1,\ldots,3MN. In generic finite structures, solving this eigenvalue problem can be computationally demanding. In infinite periodic crystals, 𝐇^\hat{\mathbf{H}} is block-circulant as noted above. Consequently, it can be block-diagonalized using the Fourier transform, thus converting the problem of solving a 3MN3MN system into solving NN systems of size 3M3M. Note that this is only formally true, because NN is infinite in this case; in addition, the Fourier transform enables more than just computational saving as it provides important physical insights to organize the nominally infinite number of solutions. Therefore, instead of finding the eigenvalues of a 3MN×3MN3MN\times 3MN matrix, we can calculate the eigenvalues of 3M×3M3M\times 3M matrices NN times (Appendix B). For an OS however, 𝐇^\hat{\mathbf{H}} is not block-circulant. We deal with this in Section 4.2.

4.2 Block-diagonalization for an Objective Structure

As noted immediately above, the Hessian 𝐇^\hat{\mathbf{H}} in an OS is not block-circulant; however, there is a close analogy in (3.12), i.e. 𝐇^(𝐩,k)(𝐪,l)=𝐐𝐩𝐇^(𝟎,k)(𝐪𝐩,l)𝐐𝐩T\hat{\mathbf{H}}_{({\mathbf{p}},k)({\mathbf{q}},l)}={\mathbf{Q}}_{\mathbf{p}}\hat{\mathbf{H}}_{(\mathbf{0},k)({\mathbf{q}}-{\mathbf{p}},l)}{\mathbf{Q}}_{\mathbf{p}}^{T}. As we show below, the linear transformation defined by the 3MN×3MN3MN\times 3MN matrix

𝐑(𝐩,k)(𝐪,l)=𝐐𝐩δ𝐩𝐪δkl{\mathbf{R}}_{({\mathbf{p}},k)({\mathbf{q}},l)}={\mathbf{Q}}_{\mathbf{p}}\delta_{{\mathbf{p}}{\mathbf{q}}}\delta_{kl} (4.6)

takes us to the Objective Space in which 𝐇^\hat{\mathbf{H}} is block-circulant. It is then possible to block-diagonalize 𝐇^\hat{\mathbf{H}} using the DFT.

In the one-dimensional case 𝐑{\mathbf{R}} has the form:

𝐑=[[𝐑00][𝟎][𝟎][𝟎][𝐑11][𝟎][𝟎][𝟎][𝐑(N1)(N1)]]{\mathbf{R}}=\begin{bmatrix}[{\mathbf{R}}_{00}]&[\mathbf{0}]&\cdots&[\mathbf{0}]\\ [\mathbf{0}]&[{\mathbf{R}}_{11}]&\cdots&[\mathbf{0}]\\ \vdots&\vdots&\ddots&\vdots\\ [\mathbf{0}]&[\mathbf{0}]&\cdots&[{\mathbf{R}}_{(N-1)(N-1)}]\end{bmatrix} (4.7)

We note that one-dimensional does not refer to real-space but rather to the number of slots in the multi-index that indexes the unit cells.

Each submatrix 𝐑pp{\mathbf{R}}_{pp} is a 3M×3M3M\times 3M block-diagonal matrix

𝐑pp=[[𝐐p][𝟎][𝟎][𝟎][𝐐p][𝟎][𝟎][𝟎][𝐐p]]{\mathbf{R}}_{pp}=\begin{bmatrix}[{\mathbf{Q}}_{p}]&[\mathbf{0}]&\cdots&[\mathbf{0}]\\ [\mathbf{0}]&[{\mathbf{Q}}_{p}]&\cdots&[\mathbf{0}]\\ \vdots&\vdots&\ddots&\vdots\\ [\mathbf{0}]&[\mathbf{0}]&\cdots&[{\mathbf{Q}}_{p}]\end{bmatrix} (4.8)

and each 𝐐j{\mathbf{Q}}_{j} is a 3×33\times 3 orthogonal tensor. 𝐑{\mathbf{R}} is obviously orthogonal.

Defining 𝐮^=𝐑𝐯^\hat{\mathbf{u}}={\mathbf{R}}\hat{\mathbf{v}} and substituting this in (4.5), we get

ω2𝐑𝐯^=𝐇^𝐑𝐯^ω2𝐯^=𝐑T𝐇^𝐑𝐯^=𝐃^𝐯^\omega^{2}{\mathbf{R}}\hat{\mathbf{v}}=\hat{\mathbf{H}}{\mathbf{R}}\hat{\mathbf{v}}\Rightarrow\omega^{2}\hat{\mathbf{v}}={\mathbf{R}}^{T}\hat{\mathbf{H}}{\mathbf{R}}\hat{\mathbf{v}}=\hat{\mathbf{D}}\hat{\mathbf{v}} (4.9)

where 𝐃^:=𝐑T𝐇^𝐑\hat{\mathbf{D}}:={\mathbf{R}}^{T}\hat{\mathbf{H}}{\mathbf{R}} is the transformed Hessian matrix. We now show that 𝐃^\hat{\mathbf{D}} is block-circulant. Using (4.6), we have that:

𝐃^(𝐩,k)(𝐪,l)=𝐐𝐩T𝐇^(𝐩,k)(𝐪,l)𝐐𝐪\hat{\mathbf{D}}_{({\mathbf{p}},k)({\mathbf{q}},l)}={\mathbf{Q}}_{\mathbf{p}}^{T}\hat{\mathbf{H}}_{({\mathbf{p}},k)({\mathbf{q}},l)}{\mathbf{Q}}_{\mathbf{q}} (4.10)

Now, substitute (3.12) into (4.10):

𝐃^(𝐩,k)(𝐪,l)\displaystyle\hat{\mathbf{D}}_{({\mathbf{p}},k)({\mathbf{q}},l)} =𝐐𝐩T𝐐𝐩𝐇^(𝟎,k)(𝐪𝐩,l)𝐐𝐩T𝐐𝐪\displaystyle={\mathbf{Q}}_{\mathbf{p}}^{T}{\mathbf{Q}}_{\mathbf{p}}\hat{\mathbf{H}}_{(\mathbf{0},k)({\mathbf{q}}-{\mathbf{p}},l)}{\mathbf{Q}}_{\mathbf{p}}^{T}{\mathbf{Q}}_{\mathbf{q}}
=𝐐𝟎T𝐇^(𝟎,k)(𝐪𝐩,l)𝐐𝐪𝐩\displaystyle={\mathbf{Q}}_{\mathbf{0}}^{T}\hat{\mathbf{H}}_{(\mathbf{0},k)({\mathbf{q}}-{\mathbf{p}},l)}{\mathbf{Q}}_{{\mathbf{q}}-{\mathbf{p}}}
=𝐃^(𝟎,k)(𝐪𝐩,l)\displaystyle=\hat{\mathbf{D}}_{(\mathbf{0},k)({\mathbf{q}}-{\mathbf{p}},l)} (4.11)

where we have used (3.7) and 𝐐𝟎=𝐈{\mathbf{Q}}_{\mathbf{0}}={\mathbf{I}}.

Therefore, 𝐃^\hat{\mathbf{D}} is block-circulant and can be block-diagonalized by the DFT as described in Appendix B. Essentially, we use two successive linear transforms to solve

ω2𝐯~=𝐃~𝐯~\omega^{2}\tilde{\mathbf{v}}=\tilde{\mathbf{D}}\tilde{\mathbf{v}} (4.12)

where 𝐃~\tilde{\mathbf{D}} is block-diagonal and

𝐯~=\displaystyle\tilde{\mathbf{v}}= 𝐅𝐯^=𝐅𝐑T𝐮^\displaystyle{\mathbf{F}}\hat{\mathbf{v}}={\mathbf{F}}{\mathbf{R}}^{T}\hat{\mathbf{u}} (4.13a)
𝐃~=\displaystyle\tilde{\mathbf{D}}= 𝐅𝐃^𝐅1=𝐅𝐑T𝐇^𝐑𝐅1=𝐅𝐑T𝐌1𝐇𝐑𝐅1\displaystyle{\mathbf{F}}\hat{\mathbf{D}}{\mathbf{F}}^{-1}={\mathbf{F}}{\mathbf{R}}^{T}\hat{\mathbf{H}}{\mathbf{R}}{\mathbf{F}}^{-1}={\mathbf{F}}{\mathbf{R}}^{T}{\mathbf{M}}^{-1}{\mathbf{H}}{\mathbf{R}}{\mathbf{F}}^{-1} (4.13b)

Since 𝐃~\tilde{\mathbf{D}} is block-diagonal, we can simplify the dynamical equation (4.12) to read:

(ω2)[𝐩]𝐯~𝐩=𝐃~𝐩𝐩𝐯~𝐩\left(\omega^{2}\right)^{[{\mathbf{p}}]}\tilde{\mathbf{v}}_{\mathbf{p}}=\tilde{\mathbf{D}}_{{\mathbf{p}}{\mathbf{p}}}\tilde{\mathbf{v}}_{\mathbf{p}} (4.14)

where (ω2)[𝐩]\left(\omega^{2}\right)^{[{\mathbf{p}}]} is the eigenvalue corresponding to the eigenvector 𝐯~𝐩\tilde{\mathbf{v}}_{\mathbf{p}}. From (B.2) and (4.2)

𝐃~𝐩𝐩\displaystyle\tilde{\mathbf{D}}_{{\mathbf{p}}{\mathbf{p}}} =𝐫exp[i𝐤𝐩𝐲𝐫]𝐃^𝟎𝐫\displaystyle=\sum_{\mathbf{r}}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}\hat{\mathbf{D}}_{\mathbf{0r}}
=𝐫exp[i𝐤𝐩𝐲𝐫]𝐇^𝟎𝐫𝐑𝐫𝐫\displaystyle=\sum_{\mathbf{r}}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}\hat{\mathbf{H}}_{\mathbf{0r}}{\mathbf{R}}_{{\mathbf{r}}{\mathbf{r}}} (4.15)

For the wave vector associated with 𝐩{\mathbf{p}}, (4.14) gives 3M3M solutions analogous to the multiple branches in a phonon spectrum. We index these by ν\nu. The displacement of the atom (𝐪,l)({\mathbf{q}},l) induced by the normal mode labeled by the wave-vector 𝐩{\mathbf{p}} and the ν\nu-th branch is obtained by solving for 𝐮^\hat{\mathbf{u}} in (4.13a) and using (B.4) and (4.6):

𝐮^(𝐪,l)[𝐩,ν]=1N𝐐𝐪𝐯~(𝐩,l)[ν]exp[i𝐤𝐩𝐲𝐪]\hat{\mathbf{u}}_{({\mathbf{q}},l)}^{[{\mathbf{p}},\nu]}=\frac{1}{\sqrt{N}}{\mathbf{Q}}_{\mathbf{q}}\tilde{\mathbf{v}}_{({\mathbf{p}},l)}^{[\nu]}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}}\big{]} (4.16)

As can be seen from (4.13b), 𝐑{\mathbf{R}} acts first on the Hessian matrix 𝐇^\hat{\mathbf{H}} and “unwraps” the structure by transforming it to Objective Space. Subsequently, 𝐅{\mathbf{F}} acts on the unwrapped periodic structure. Therefore both position vector 𝐲{\mathbf{y}} and wave vector 𝐤{\mathbf{k}} are defined in Objective Space. The quantities 𝐤𝐩𝐲𝐪{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}} can be obtained using the standard method for periodic systems outlined in Appendix B.

We summarize the key steps in our algorithm:

  1. 1.

    Calculate 𝐇^𝟎𝐫\hat{\mathbf{H}}_{\mathbf{0r}}, the Hessian matrix corresponding to interactions between any chosen unit cell, labeled 𝟎{\bf 0}, and the neighboring cells. The size of 𝐇^𝟎𝐫\hat{\mathbf{H}}_{\mathbf{0r}} is 3M×3MN3M\times 3MN.

  2. 2.

    Multiply each vertical block of 𝐇^𝟎𝐫\hat{\mathbf{H}}_{\mathbf{0r}} by the rotation matrix of that block, i.e. calculate 𝐇^𝟎𝐫𝐑𝐫𝐫\hat{\mathbf{H}}_{\mathbf{0r}}{\mathbf{R}}_{{\mathbf{r}}{\mathbf{r}}}.

  3. 3.

    Calculate 𝐃~𝐩𝐩=𝐫exp[i𝐤𝐩𝐲𝐫]𝐇^𝟎𝐫𝐑𝐫𝐫\tilde{\mathbf{D}}_{{\mathbf{p}}{\mathbf{p}}}=\sum_{\mathbf{r}}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}\hat{\mathbf{H}}_{\mathbf{0r}}{\mathbf{R}}_{{\mathbf{r}}{\mathbf{r}}}, the dynamical matrix associated with wave vector 𝐤𝐩{\mathbf{k}}_{\mathbf{p}}.

  4. 4.

    Find the eigenvalues, (ω2)[𝐩,ν]\left(\omega^{2}\right)^{[{\mathbf{p}},\nu]}, and eigenvectors, 𝐯~𝐩[ν]\tilde{\mathbf{v}}_{\mathbf{p}}^{[\nu]}, of 𝐃~𝐩𝐩\tilde{\mathbf{D}}_{{\mathbf{p}}{\mathbf{p}}}.

  5. 5.

    The normalized displacement of the atoms are 𝐮^(𝐪,l)[𝐩,ν]=1N𝐐𝐪𝐯~(𝐩,l)[ν]exp[i𝐤𝐩𝐲𝐪]\hat{\mathbf{u}}_{({\mathbf{q}},l)}^{[{\mathbf{p}},\nu]}=\frac{1}{\sqrt{N}}{\mathbf{Q}}_{\mathbf{q}}\tilde{\mathbf{v}}_{({\mathbf{p}},l)}^{[\nu]}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}}\big{]}. The wave vector and the branch number respectively are labeled by 𝐩{\mathbf{p}} and ν\nu.

5 A Numerical Example: Dispersion Curves of (6,6)(6,6) Carbon Nanotubes

While the OS framework can be used for nanotubes with any chirality, in this section we focus on (6,6)(6,6) carbon nanotubes to illustrate some typical features of the phonon curves. This particular chirality also has a small translational unit cell that enables comparisons with standard periodic calculations.

We compare the effect of using four different unit cells.

Choice 1:

We use a periodic unit cell with 24 atoms, the smallest number required for periodicity. In OS terms, the group generators are g1=identityg_{1}=\text{identity} and a translation g2=(𝐈|0.246nm 𝐞)g_{2}=({\mathbf{I}}|0.246\text{nm }{\mathbf{e}}). The phonon dispersion curves are plotted in Fig. 1a.

Choice 2:

We use 24 atoms in the unit cell as in Choice 1, but in this case the images are related not by periodicity but by both translation (along 𝐞{\mathbf{e}}) and rotation (around 𝐞{\mathbf{e}}). The generators are g1=identityg_{1}=\text{identity} and a screw g2=(𝐑π/3|0.246nm 𝐞)g_{2}=({\mathbf{R}}_{\pi/3}|0.246\text{nm }{\mathbf{e}}). The phonon dispersion curves are plotted in Fig. 1b.

Choice 3:

We use 12 atoms in the unit cell, with generators closely related to Choice 2: g1=identityg_{1}=\text{identity} and a screw g2=(𝐑π/6|0.123nm 𝐞)g_{2}=({\mathbf{R}}_{\pi/6}|0.123\text{nm }{\mathbf{e}}) The phonon dispersion curves are plotted in Fig. 2.

Choice 4:

We make full use of the OS framework and use 2 atoms in the unit cell444OS constructed by non-commuting groups can describe carbon nanotubes with 1 atom per unit cell, but the complexity introduced by the non-commuting elements is formidable.. The generators are g1=(𝐑π/3|𝟎)g_{1}=({\mathbf{R}}_{\pi/3}|\mathbf{0}) and g2=(𝐑π/6|0.123nm 𝐞)g_{2}=({\mathbf{R}}_{\pi/6}|0.123\text{nm }{\mathbf{e}}). In Choices 1, 2, 3, the wavevector was one-dimensional because the structure was indexed by a single index (not a triple-valued multi-index). In this case, the wavevector is two dimensional, but takes only 66 discrete values in the direction corresponding to the rotation. This is because once we raise the rotation to the 66-th power, we start over; conceptually, this is similar to a finite ring of atoms that has a finite set of normal modes. The phonon dispersion curves are plotted in Fig. 3.

Comparing the plots in Fig. 1 shows, as expected, that there is a mapping between the plots obtained from Choices 1 and 2. Any eigenvalue in one is also present in the other, though typically at a different wavevector. Further, comparing Figs. 1b and 2, shows that if we unfold the curves of Fig 1b we will recover Fig. 2. Similarly, Fig. 3 contains all the information, but in a much simpler description.

(a)

Refer to caption

(b)

Refer to caption
Figure 1: Dispersion curves of a (6,6)(6,6) carbon nanotube for (a) Choice 1 and (b) Choice 2. The wavevector is normalized by the length of the translation vector 0.246nm0.246\text{nm} in g2g_{2}. The large number of phonon curves that have equal and opposite slopes at the right edge of the plots (i.e. “folded over”) are a signature of the large unit cell.
Refer to caption
Figure 2: Dispersion curves of a (6,6)(6,6) carbon nanotubes using Choice 3. The wavevector is normalized by the length of the translation vector 0.123nm0.123\text{nm} in g2g_{2}. The band-folding shows that our unit cell still has unused symmetries.
Refer to caption
Figure 3: Dispersion curves of a (6,6)(6,6) carbon nanotube using Choice 4 with 2 atoms in the unit cell. k1k_{1} is the component of the wavevector in the continuous direction and normalized by 0.123nm0.123\text{nm}, and k2k_{2} is the component in the discrete direction and normalized by the approximate perimeter PP.

The OS description with 2 atoms per unit cell provides a useful perspective to examine the deformations. First, consider the case when the component of the wavevector in the discrete direction is 0. Each unit cell in the cross-section has the same displacement (in Objective Space) in the direction that corresponds to the discrete component of the wavevectors. Roughly, this corresponds to “cross-sections” that retain their “shape” and remain circular. The lowest three modes corresponding to k2=0k_{2}=0 and k10k_{1}\approx 0 are plotted in Fig. 4.

Next, consider the case when k2k_{2}, the component of the wavevector in the discrete direction, is non-zero. In this case, the cross-sections no longer remain circular. Fig. 5 shows examples of these modes. Notice the relation between k2k_{2} and the symmetry of the cross-section.

Refer to caption
Figure 4: Phonon modes at k10k_{1}\approx 0 and k2=0k_{2}=0 using Choice 4. (a) The undeformed reference nanotube. The colors of the atoms are only to enable visualization of the deformation. (b) The lowest branch corresponding to twisting. (c) The next-to-lowest branch corresponding to axial elongation. (d) The third-from-lowest branch corresponding to a change in radius. In each of these deformations, the cross-section remains circular.

(a)

Refer to caption

(b)

Refer to caption

(c)

Refer to caption

(d)

Refer to caption

(e)

Refer to caption
Figure 5: Some long-wavelength modes at finite k1k_{1} and k2k_{2} using Choice 4 (Fig. 3). The symmetry of the cross-section corresponds to the value of the discrete component of the wavevector. (a) Mode from second branch at k1L0/π=1/6k_{1}L_{0}/\pi=1/6 and k2P/π=1/3k_{2}P/\pi=1/3, similar to warping, (b) Mode from first branch at L0k1/π=1/3L_{0}k_{1}/\pi=1/3 and Pk2/π=2/3Pk_{2}/\pi=2/3, (c) Mode from first branch at k1L0/π=1/2k_{1}L_{0}/\pi=1/2 and Pk2/π=1Pk_{2}/\pi=1, (d) Mode from first branch at L0k1/π=2/3L_{0}k_{1}/\pi=2/3 and Pk2/π=4/3Pk_{2}/\pi=4/3, (e) Mode from first branch at L0k1/π=5/6L_{0}k_{1}/\pi=5/6 and Pk2/π=5/3Pk_{2}/\pi=5/3.

Fig. 6 shows an assortment of generic phonon modes at finite wavevectors.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 6: An assortment of phonon modes at finite wavevectors. First figure is the reference state. The colors of the atoms have no significance and are only to enable easy visualization.

5.1 Density of States (DoS) of a (6,6)(6,6) carbon nanotube

The density of states (DoS) of a system is an important thermodynamic quantity. It describes the number of modes or states available per unit energy (or frequency) at each energy level. The DoS can be calculated by making a histogram of the phonons frequencies of the system. Fig. 7 shows the DoS of a (6,6)(6,6) carbon nanotube constructed using Choices 1 and 4 for the unit cell. As expected, these curves are identical but the OS approach requires much less computational effort.

Refer to caption
Figure 7: Density of states of a (6,6)(6,6) nanotube.

6 Long Wavelength and Rigid Body Modes for Carbon Nanotubes

In a 3D periodic crystal lattice, the lowest three eigenvalue branches tend linearly to 0 as 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}. These acoustic modes correspond to uniform deformations with rigid body translation modes as the limit deformation. We find unusual contrasts with the crystal case when we apply this to carbon nanotubes. We find rigid body (zero energy) motions at both zero and finite wave vectors; in addition, we find that the long-wavelength deformation corresponding to uniform radial expansion costs finite energy in real-space even in the limit of 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}, thereby giving only two eigenvalue branches that tend to 0. The essential explanation for these observations is that long-wavelength is now defined with respect to objective space and not real space, whereas rigid-body modes are posed in real space for physical reasons.

We first outline this issue using as an example the choices of unit cell from Section 5.

In Choice 1, four branches start from the origin, Fig. 1a. These correspond to (i) axial stretch / translation with uniform motion along 𝐞{\mathbf{e}}, (ii) twist / rotation with uniformly tangential motion, and (iii) bending / translation in the plane normal to 𝐞{\mathbf{e}}. The bending mode is characterized by two degenerate branches with zero slope. The degeneracy is due the subspace of translations in the plane being two-dimensional [ADE].

In Choice 2, Fig. 1b, only two branches start from the origin. One corresponds to axial stretch / elongation, and the other one corresponds to twist / rotation. There is a branch that has zero frequency at kL0/π=1/3kL_{0}/\pi=1/3. This corresponds to the rigid translation modes in the plane normal to 𝐞{\mathbf{e}}, as we examine below.

Choice 3, Fig. 2, is very similar to Choice 3, except that the branch with zero frequency at finite wavevector now goes to zero at kL0/π=1/6kL_{0}/\pi=1/6. We recall that that L0L_{0} differs in Choices 2 and 3 precisely by a factor of 2, therefore this shift is simply because of unfolding the band diagram.

Choice 4, Fig. 3, shows the rigid translation modes at k2P/π=1/3k_{2}P/\pi=1/3. In addition, for k2P/π=0k_{2}P/\pi=0, we see only two branches that go to 0 as the wavevector tends to zero; the lowest non-zero branch corresponds to uniform radial motion of the atoms. Because every unit cell has precisely the same deformation (in Objective space), this appears at 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}. In addition, because the atoms within the unit cell do not move relative to each other, this corresponds to the acoustic modes that are zero energy at zero wavevector in crystals. The three higher branches at zero wavevector have the atoms in the unit cell moving with respect to each other, i.e. optic modes, and these are expected to have finite energy at zero wavevector.

6.1 Long Wavelength Modes in Objective Space

A long wavelength mode in Objective Space corresponds to 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}. However, uniform deformations or their limiting rigid body translation / rotation modes, do not have as close a correspondence with long wavelengths as in crystal, because of the intermediate transformation to Objective space. Consider a deformation induced by a normal mode, with the displacement in real space of atom (𝐢,j)({\mathbf{i}},j) denoted by 𝐮(𝐢,j){\mathbf{u}}_{({\mathbf{i}},j)}. Denote the corresponding displacement in Objective space by 𝐯(𝐢,j){\mathbf{v}}_{({\mathbf{i}},j)}. For a normal mode with wavevector 𝐤0{\mathbf{k}}_{0}, if we set that the displacements in Objective space of corresponding atoms in every unit cell are the same, i.e. 𝐯^(𝐩,m)=𝐯^(𝐪,m)\hat{\mathbf{v}}_{({\mathbf{p}},m)}=\hat{\mathbf{v}}_{({\mathbf{q}},m)} for every (𝐩,m)({\mathbf{p}},m) and (𝐪,m)({\mathbf{q}},m), then the DFT from Appendix B gives:

𝐯~(𝐣,m)exp[i𝐤𝐣𝐲𝐩]=𝐯~(𝐣,m)exp[i𝐤𝐣𝐲𝐪]𝐯~(𝐣,m)=exp[i𝐤𝐣(𝐲𝐩𝐲𝐪)]𝐯~(𝐣,m)𝐤0=𝟎\tilde{\mathbf{v}}_{({\mathbf{j}},m)}\exp\big{[}-i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{p}}\big{]}=\tilde{\mathbf{v}}_{({\mathbf{j}},m)}\exp\big{[}-i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{q}}\big{]}\Rightarrow\tilde{\mathbf{v}}_{({\mathbf{j}},m)}=\exp\big{[}i{\mathbf{k}}_{\mathbf{j}}\cdot({\mathbf{y}}_{\mathbf{p}}-{\mathbf{y}}_{\mathbf{q}})\big{]}\tilde{\mathbf{v}}_{({\mathbf{j}},m)}\Rightarrow{\mathbf{k}}_{0}={\bf 0} (6.1)

We consider two illustrative modes. Fig. 8 shows schematically the position and displacements movement of atoms in real and Objective space for a rigid rotation mode. Assume that all atoms within the unit cell translate uniformly, i.e., this is an acoustic-like mode. It is long-wavelength in Objective space, and rigid body rotation in real space with zero energy in the limit.

Refer to caption
Figure 8: A long-wavelength mode that corresponds to rigid rotation and therefore zero energy: (a) A schematic projection, viewed along the axis, of atomic positions and displacements in real space. All displacements are tangential. (b) In Objective space, all atoms displace uniformly, i.e., long wavelength.

Fig. 9 shows schematically the position and displacements movement of atoms in real and Objective space for a uniform expansion mode. Assume that all atoms within the unit cell translate uniformly, i.e., this is an acoustic-like mode. In Objective space, this is long wavelength, but in real space this deformation costs finite energy (proportional to the square of the amplitude) even in the long-wavelength limit.

Refer to caption
Figure 9: A long-wavelength mode that corresponds to uniform expansion rotation and therefore finite energy: (a) A schematic projection, viewed along the axis, of atomic positions and displacements in real space. All displacements are radial. (b) In Objective space, all atoms displace uniformly, i.e., long wavelength.

6.2 Uniform Deformations and Rigid Body Translation in Real Space

We now consider setting up a uniform deformation, or rather the rigid body limiting translation, in real space and then analyze the wavevector at which it appears.

As above, denote the real-space displacement of atom (𝐩,m)({\mathbf{p}},m) by 𝐮(𝐩,m){\mathbf{u}}_{({\mathbf{p}},m)} induced by a normal mode, and denote the corresponding displacement in Objective space by 𝐯(𝐩,m){\mathbf{v}}_{({\mathbf{p}},m)}. Consider a rigid body translation mode in real space, i.e., for any two atoms (𝐩,m)({\mathbf{p}},m) and (𝐪,n)({\mathbf{q}},n), we have 𝐮^(𝐩,m)=𝐮^(𝐪,n)\hat{\mathbf{u}}_{({\mathbf{p}},m)}=\hat{\mathbf{u}}_{({\mathbf{q}},n)}. We now find the wave vector 𝐤𝐣{\mathbf{k}}_{\mathbf{j}} that corresponds to this deformation.

Using (4.16):

𝐐𝐩𝐯~(𝐣,m)exp[i𝐤𝐣𝐲𝐩]=𝐐𝐪𝐯~(𝐣,n)exp[i𝐤𝐣𝐲𝐪]𝐐𝐩𝐪𝐯~(𝐣,m)=exp[i𝐤𝐣(𝐲𝐩𝐲𝐪)]𝐯~(𝐣,n){\mathbf{Q}}_{{\mathbf{p}}}\tilde{\mathbf{v}}_{({\mathbf{j}},m)}\exp\big{[}-i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{p}}\big{]}={\mathbf{Q}}_{{\mathbf{q}}}\tilde{\mathbf{v}}_{({\mathbf{j}},n)}\exp\big{[}-i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{q}}\big{]}\Rightarrow{\mathbf{Q}}_{{\mathbf{p}}-{\mathbf{q}}}\tilde{\mathbf{v}}_{({\mathbf{j}},m)}=\exp\big{[}i{\mathbf{k}}_{\mathbf{j}}\cdot({\mathbf{y}}_{\mathbf{p}}-{\mathbf{y}}_{\mathbf{q}})\big{]}\tilde{\mathbf{v}}_{({\mathbf{j}},n)} (6.2)

If 𝐩=𝐪{\mathbf{p}}={\mathbf{q}}, then 𝐐𝟎=𝐈{\mathbf{Q}}_{\mathbf{0}}={\mathbf{I}} implying that 𝐯~(𝐣,m)=𝐯~(𝐣,n)\tilde{\mathbf{v}}_{({\mathbf{j}},m)}=\tilde{\mathbf{v}}_{({\mathbf{j}},n)}.

Now assume 𝐫:=𝐩𝐪𝟎{\mathbf{r}}:={\mathbf{p}}-{\mathbf{q}}\neq\mathbf{0}, implying 𝐲𝐫=𝐲𝐩𝐲𝐪{\mathbf{y}}_{{\mathbf{r}}}={\mathbf{y}}_{{\mathbf{p}}}-{\mathbf{y}}_{{\mathbf{q}}}, giving the complex eigenvalue problem:

𝐐𝐫𝐯~(𝐣,m)=\displaystyle{\mathbf{Q}}_{{\mathbf{r}}}\tilde{\mathbf{v}}_{({\mathbf{j}},m)}= exp[i𝐤𝐣𝐲𝐫]𝐯~(𝐣,m)\displaystyle\exp\big{[}i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}\tilde{\mathbf{v}}_{({\mathbf{j}},m)} (6.3)

Recall that in nanotubes (Appendix A), the orthogonal part of the generators are coaxial and the axis further coincides with the nanotube axis 𝐞{\mathbf{e}}. Therefore,

𝐐𝐫(r1,r2)=𝐑θ1r1𝐑θ2r2=𝐑r1θ1+r2θ2{\mathbf{Q}}_{{\mathbf{r}}\equiv(r_{1},r_{2})}={\mathbf{R}}_{\theta_{1}}^{r_{1}}{\mathbf{R}}_{\theta_{2}}^{r_{2}}={\mathbf{R}}_{r_{1}\theta_{1}+r_{2}\theta_{2}} (6.4)

The eigenvalues of 𝐐𝐫{\mathbf{Q}}_{\mathbf{r}} are therefore 11 and e±i(r1θ1+r2θ2)e^{\pm i(r_{1}\theta_{1}+r_{2}\theta_{2})}, where θ1\theta_{1} and θ2\theta_{2} are the group parameters for the nanotube (Appendix A).

There are therefore three modes corresponding to rigid body translation:

  • λ1=ei𝐤𝐣𝐲𝐫=1\lambda_{1}=e^{i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{r}}}=1. Since this holds for all 𝐲𝐫{\mathbf{y}}_{\mathbf{r}}, the wavevector 𝐤𝐣{\mathbf{k}}_{\mathbf{j}} is zero. The eigenvector 𝐯~(𝐣,m)\tilde{\mathbf{v}}_{({\mathbf{j}},m)} will coincide with 𝐞{\mathbf{e}}, and from (4.16) it follows that all the atoms will move axially. This mode is rigid translation in the axial direction.

  • λ2=ei𝐤𝐣𝐲𝐫=ei(r1θ1+r2θ2)\lambda_{2}=e^{i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{r}}}=e^{i(r_{1}\theta_{1}+r_{2}\theta_{2})}. From (B.1,B.2), we have that 2πN1r1j1+2πN2r2j2=r1θ1+r2θ2\frac{2\pi}{N_{1}}r_{1}j_{1}+\frac{2\pi}{N_{2}}r_{2}j_{2}=r_{1}\theta_{1}+r_{2}\theta_{2} for all r1r_{1} and r2r_{2}. Therefore, 2πj1N1=θ1\frac{2\pi j_{1}}{N_{1}}=\theta_{1} and 2πj2N2=θ2\frac{2\pi j_{2}}{N_{2}}=\theta_{2}. That is, the wavevector at which this rigid body translation occurs is k1=θ1,k2=θ2k_{1}=\theta_{1},k_{2}=\theta_{2}. The eigenvector 𝐯~(𝐣,m)\tilde{\mathbf{v}}_{({\mathbf{j}},m)} is orthogonal to the first eigenvector 𝐞{\mathbf{e}}. In addition, using 𝐐𝐫𝐯~(𝐣,m)=eiθ𝐯~(𝐣,m){\mathbf{Q}}_{\mathbf{r}}\tilde{\mathbf{v}}_{({\mathbf{j}},m)}=e^{i\theta}\tilde{\mathbf{v}}_{({\mathbf{j}},m)} into (4.16), we find that the nanotube will rigidly translate in the plane with normal 𝐞{\mathbf{e}}.

  • λ3=ei𝐤𝐣𝐲𝐫=ei(r1θ1+r2θ2)\lambda_{3}=e^{i{\mathbf{k}}_{\mathbf{j}}\cdot{\mathbf{y}}_{\mathbf{r}}}=e^{-i(r_{1}\theta_{1}+r_{2}\theta_{2})}. As with λ2\lambda_{2}, the wavevector at which this rigid body translation occurs is k1=θ1,k2=θ2k_{1}=-\theta_{1},k_{2}=-\theta_{2}. Since the wavevector is meaningful only up to sign, this is essentially the same. The eigenvector is also orthogonal to 𝐞{\mathbf{e}} and can be chosen normal to the second eigenvector.

The latter two modes above can alternately be considered as the limiting behavior of rigid rotations around axes that are perpendicular to 𝐞{\mathbf{e}}.

The phonon frequency of all of these modes is zero because rigid motions in real-space do not cost energy. Fig. 10 demonstrates a schematic of a rigid body translation in real space that has finite wavelength in Objective space. Heuristically, the Objective transformation goes to a space that “unwraps” the structure.

Refer to caption
Figure 10: A rigid body translation with zero energy that corresponds to finite-wavelength: (a) A schematic projection, viewed along the axis, of atomic positions and displacements in real space. (b) In Objective space, it is not long wavelength.

7 Phonons and Stability

Phonon analysis provides important insights into the stability of crystals through identifying soft modes, i.e., non-rigid deformations that cost no energy [Dov93]. In addition, the phonon framework provides important insights and enables systematic identification of the appropriate larger unit cells at instabilities [ETS06, EST06]. As discussed in [ETS06], phonon analysis does not provide information about stability with respect to certain deformation modes; in particular, phonon stability does not test against non-rank-one modes. The analogy in linear continuum elasticity is that strong ellipticity tests only that waves speeds are real in all directions and all polarizations. In terms of the stiffness tensor, this does not test positive-definiteness of the stiffness against all tensors in the 6-dimensional strain space; rather it tests only against the subspace of strains that are symmetrized rank-one tensors. While phonons do test if solids are stable to uniform uniaxial extensions in every direction, they do not test if they are stable to superpositions of these, such as biaxial and triaxial stretch. Because the Fourier transform does not exist for the limit deformation, superposing modes and taking the limit is not equivalent to taking the limit and then superposing.

We also note that phonons test only the material stability but not against structural instabilities such as buckling [GMT93]. Structural instabilities are typically very sensitive to boundary conditions, e.g. the elementary Euler buckling loads. Testing the linear stability of an atomic structure against structural modes requires, in general, the brute-force solution of the full eigenproblem with a very large number of degrees of freedom.

In this section, we discuss two findings relevant to the role of phonons and stability. First, we discuss why there do not exist the analog of non-rank one modes in carbon nanotubes. That is, assuming that all phonon branches are positive, and in addition those branches that tend to 0 at long wavelength have positive slope (in the case of twisting and axial extension) or have positive second derivative (in the case of bending), then the nanotube is stable under any combination of these. In other words, a positive torsional modulus, extensional modulus, and bending modulus, do imply, unlike crystals, that they are stable under any combination of torsion-extension-bending. The second finding that we discuss is a numerical study of torsional buckling using two unit cells, one with 456456 atoms and another with 2424 atoms. As the former choice has much more freedom in deforming, we see torsional instabilities. With the latter choice, we find a signature of this instability in terms of zero phonon frequencies; in addition the eigenmode corresponding to the zero frequency predicts the nature of the instability. This also displays an important calculation that is enabled by the OS framework: torsion is simply not possible with periodic boundary conditions.

7.1 Stability Under a Combination of Long-wavelength Modes

The fact that there do not exist analogs of non-rank one modes in carbon nanotubes is made clear by the use of the OS framework. The OS description shows that nanotubes are one-dimensional in an essential way, in particular, the wavevector has only one continuous component. This enables a simple calculation to show that any superposition of twisting, extension and bending must be stable, if they are each individually stable.

First, we make a note about bending of nanotubes. As shown in [DEJ], a nanotube that bends does not remain an OS if the the group description has no generators that are translations. The difficulty with this situation is that atomic environments are no longer related, and in particular a theorem by James [Jam06] that equilibrium of single unit cell implies equilibrium of the OS is not valid. Therefore, in such a group description, it is not possible to define a bending modulus since this requires microscopic equilibrium to be meaningful. Alternately, any nanotube, even if chiral, can be described by a translational unit cell, though this cell may be very large. In this description that includes a translational generator, bending is well-defined. Essentially, it corresponds to the non-identical environments of atoms being replaced by a large unit cell in which atoms relax in possibly non-uniform ways. However, an important feature of this OS description is that bending now occurs at 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}. The net result is that either the bending modulus cannot be defined, or if it can be defined then bending occurs at 𝐤𝟎{\mathbf{k}}\rightarrow{\bf 0}. This is important for our calculation below.

In a 2D Bravais lattice, phonon stability tests deformations of the form

limk10,k2=const.𝐀1(𝐤)eik1x1,and limk20,k1=const.𝐀2(𝐤)eik2x2\lim_{k_{1}\rightarrow 0,k_{2}=const.}{\mathbf{A}}_{1}({\mathbf{k}})e^{ik_{1}x_{1}},\quad\text{and }\lim_{k_{2}\rightarrow 0,k_{1}=const.}{\mathbf{A}}_{2}({\mathbf{k}})e^{ik_{2}x_{2}}

Here 𝐀1{\mathbf{A}}_{1} and 𝐀2{\mathbf{A}}_{2} are arbitrary vectors; because of linearity, we can decompose them to correspond to polarizations of the appropriate normal modes that propagate in the same direction. Therefore, e.g., we are assured of the stability of any superposition of homogeneous shear and extension only when they are the limit of phonons that propagate in the same direction, if the component phonons are themselves stable. However, phonon stability cannot say anything about modes that involve deformations that are superpositions of phonons that propagate in different directions, i.e., a deformation of the form

limk10,k20,k1/k2=const.𝐀1(𝐤)eik1x1+𝐀2(𝐤)eik2x2\lim_{k_{1}\rightarrow 0,k_{2}\rightarrow 0,k_{1}/k_{2}=const.}{\mathbf{A}}_{1}({\mathbf{k}})e^{ik_{1}x_{1}}+{\mathbf{A}}_{2}({\mathbf{k}})e^{ik_{2}x_{2}}

For example, uniaxial stretch in each coordinate direction can be tested by the individual limits, while biaxial deformation requires the composite limit that cannot be achieved by superposing the individual limits.

In nanotubes, we only have a single continuous component of the wavevector. Therefore, all limits are with respect to only that component. If deformations of the form limk0𝐀j(k)eiky\displaystyle\lim_{k\rightarrow 0}{\mathbf{A}}_{j}(k)e^{iky} are stable, where 𝐀j{\mathbf{A}}_{j} corresponds to axial stretch, twist, or bending, then it follows that deformations of the form limk0j𝐀j(k)eiky\displaystyle\lim_{k\rightarrow 0}\sum_{j}{\mathbf{A}}_{j}(k)e^{iky} are also stable simply by superposition. Physically, if we have positive bending stiffness, positive torsional stiffness, and positive extensional stiffness, the nanotube is stable to any combination of bending, torsion, and elongation.

7.2 Torsional Instabilities of Nanotubes

Soft-mode techniques to detect instabilities at the crystal-level have a long history in mechanics, as far back as [HM77]. Recently, they have been combined with bifurcation techniques to understand structural transformations in shape-memory alloys [ETS06]. They have also proved useful in understanding defect nucleation and propagation at the atomic scale, e.g. [MR08, LD11, DB06].

We numerically study the torsional instability of a (6,6)(6,6) carbon nanotube using both phonons and (zero temperature) atomistics. Phonons in principle test the stability of a large system efficiently, while atomistics requires us to use large unit cells if we are to capture complex instabilities. We find that phonon stability provides an accurate indicator of the onset of the instability as well as the initial post-instability deformation.

We use two different unit cells, one with 2424 atoms and the other with 456456 atoms. The smaller unit cell requires OS group generators given by g1=(𝐑2π/3|𝟎)g_{1}=({\mathbf{R}}_{2\pi/3}|\mathbf{0}) and g2=(𝐑π|0.75nm 𝐞)g_{2}=({\mathbf{R}}_{\pi}|0.75\text{nm }{\mathbf{e}}) and is shown in Fig. 12. The larger unit cell requires a single translational generator, g1=(𝐈|4.8nm 𝐞)g_{1}=({\mathbf{I}}|4.8\text{nm }{\mathbf{e}}).

For both choices, we apply a small increment of twisting moment, equilibrate, and repeat the process. For the smaller unit cell, we additionally test the phonon stability by computing the phonon frequencies at each load step. The twisting moment vs. twist angle and lowest eigenvalue vs. twist angle are plotted in Fig. 11. In the atomistic simulations, the larger unit cell buckles at much lower twist angle (about 5/5^{\circ}/nm) compared to 12/12^{\circ}/nm for the smaller unit cell. However, the phonon analysis of the smaller unit cell indicates that an eigenvalue becomes negative at about 5/5^{\circ}/nm. This is consistent with the onset of buckling for the larger unit cell. Additionally, the eigenmode corresponding to the negative eigenvalue matches with buckling mode of the long tube computed directly from atomistics. The atomic deformation corresponding to the eigenmode is plotted in Fig. 12, along with phonon spectra before and at the point of instability.

This calculation also provides a method to test for one possible route to failure for the OS analog of the Cauchy-Born rule. Specifically, loss of phonon stability is an indicator that the unit cell must be enlarged, i.e. affinely applied far-field boundary conditions do not give affine deformations of each unit cell [FT02].

Refer to caption
Figure 11: Left: Twisting moment vs. twist angle using atomistics. Right: Lowest eigenvalue vs. twist angle for the smaller unit cell.
Refer to caption
Refer to caption
Refer to caption
Figure 12: Phonon stability analysis. Top left: ten lowest modes for the untwisted nanotube. Top right: ten lowest modes just after the lowest eigenvalues becomes negative. The value of the discrete wavevector is 2/3π2/3\pi. The twist angle at this state is about 5/5^{\circ}/nm. The mode going to 0 in both plots corresponds to long-wavelength bending. Bottom: the eigenmode corresponding to the zero eigenvalue. This shows the deformation predicted by phonon analysis to have zero energy. Light blue atoms denote a single unit cell. The colors are only to aid visualization.

8 Energy Transport in Helical Objective Structures

Motivated by the features of the computed phonon curves in nanotubes, in this section we present a simplified geometric model that aims to capture the key physics of energy transport. The model is based on a balance between energy transport along a helical path and energy transport along an axial path. In an “unwrapped” helix, the former corresponds to transport through short-range interactions, i.e. the interactions are between neighbors that are nearby in terms of the labeling index, and the latter corresponds to long-range interactions, i.e. the interactions are between distant atoms in terms of the labeling index. Of course, in physical space, both these types of neighbors are at comparable distances, and interactions are therefore of comparable strength.

We begin by examining the phonon curves of nanotubes (m,n)(m,n) where mm and nn are relatively prime. As noted in Appendix A, this implies that a single screw generator is sufficient to describe the nanotube with 2 atoms per unit cell. Figs. 13 and 14a show the dispersion curves of unloaded (11,9) and (7,6) nanotubes respectively. The rotation angles of the screw generator are θ1=271π3010.9003π\theta_{1}=\frac{271\pi}{301}\approx 0.9003\pi and θ1=39π1270.307π\theta_{1}=\frac{39\pi}{127}\approx 0.307\pi, respectively. As discussed in previous sections, two branches corresponding to torsion and axial elongation start from the origin, and one branch touches the kk axis at precisely θ1\theta_{1}. We mention that if we had used the periodic description for these nanotubes, we would require at least 12041204 and 508508 atoms in the unit cell for the (11,9)(11,9) and (7,6)(7,6) nanotubes respectively. Besides the significantly larger computational expense, it would imply that Figs. 13 and 14a contain 36123612 and 15241524 curves respectively! Physical interpretation would be impossible.

The key features of interest here are the “wiggles” in the phonon curves in Figs. 13 and 14a. There exist certain distinguished wavevectors at which the group velocity (i.e. slope of the dispersion curve) becomes zero in all branches. These wavevectors are primarily selected by geometry: Fig. 14 compares the curves for a (7,6)(7,6) nanotube both with no load as well as with compressive axial force and nonzero twisting moment. In addition, the phonon curves depend on the specific interatomic potential, but we have found that the distinguished wavevectors have a very weak dependence. Similar wiggles, though not as prominent are also visible in Fig. 3 for a (6,6)(6,6) nanotube. Since the group velocity gives the speed of energy transport, there is no energy transport at these distinguished wavevectors. These observations motivate a geometric model for the energy transport that neglects much of the complexity of the interatomic potential.

Refer to caption
Figure 13: Dispersion curves of a (11,9)(11,9) carbon nanotube. FD contains 2 atoms.

(a)

Refer to caption

(b)

Refer to caption
Figure 14: Dispersion curves of a (7,6)(7,6) carbon nanotube. FD contains 2 atoms. (a) relaxed nanotube (b) compressed and twisted nanotube.

8.1 A Simplified One-Dimensional Nonlocal Model for Helical Objective Structures

The key idea is that when a helix is plotted in a space that uses the path length along the helix as the coordinate, there are short-range interactions that are due to neighbors along the helix in real space, and there are long-range interactions due to interactions between neighbors that lie above on the next loop in real space. Fig. 15 shows a schematic of this geometric picture using a specific example. The goal is to write down the expression for energy transfer to the atoms with positive labels from the atoms with non-positive labels. Roughly, we want the energy flux crossing the surface represented by the dashed line. In real space, the roughly equal-strength bonds that cross the dividing surface are between atom pairs (0,1),(0,6),(1,5),(2,4),(3,3),(4,2),(5,1)(0,1),(0,6),(-1,5),(-2,4),(-3,3),(-4,2),(-5,1). In objective space, only the first of these bonds is “local” while the others are all “non-local”.

The picture above for a generic nanotube with 2 generators is not essentially different. The Objective space picture is a set of parallel atomic chains, with infinite length in the direction corresponding to the powers of the screw generator, but a finite number of parallel chains with the number of of chains corresponding to the powers of the rotation generator. This can be considered as simply a single linear chain with an expanded unit cell.

Refer to caption
Figure 15: A schematic of the of the geometric model for energy transport (a) In real space (b) In Objective space. The energy flow to be analyzed takes place across the bold dashed line, i.e., how much energy do subunits 0,1,2,0,-1,-2,\ldots transfer to the subunits 1,2,3,1,2,3,\ldots. The subunits can correspond to individual atoms or sets of atoms.

For an OS Ω\Omega, we write down the total energy flux ψ\psi from a subbody Ω+\Omega^{+} to Ω:=ΩΩ+\Omega^{-}:=\Omega\setminus\Omega^{+} over a time interval TT:

ψ=tt+T(𝐩,m)Ω+(𝐪,n)Ω𝐮˙(𝐩,m)𝐟(𝐩,m)(𝐪,n)dt\psi=\int_{t}^{t+T}\sum_{({\mathbf{p}},m)\in\Omega^{+}}\sum_{({\mathbf{q}},n)\in\Omega^{-}}\dot{\mathbf{u}}_{({\mathbf{p}},m)}\cdot{\mathbf{f}}_{({\mathbf{p}},m)({\mathbf{q}},n)}dt (8.1)

The superposed ˙\dot{\square} represents the time derivative. The term 𝐟(𝐩,m)(𝐪,n){\mathbf{f}}_{({\mathbf{p}},m)({\mathbf{q}},n)} is the force between the atoms (𝐩,m)({\mathbf{p}},m) and (𝐪,n)({\mathbf{q}},n); while this is not always a uniquely-defined quantity in multibody potentials, in a linearized system this is simply 𝐟(𝐩,m)(𝐪,n):=𝐇(𝐩,m)(𝐪,n)(𝐮(𝐩,m)𝐮(𝐪,n)){\mathbf{f}}_{({\mathbf{p}},m)({\mathbf{q}},n)}:={\mathbf{H}}_{({\mathbf{p}},m)({\mathbf{q}},n)}\left({\mathbf{u}}_{({\mathbf{p}},m)}-{\mathbf{u}}_{({\mathbf{q}},n)}\right).

We now compute the energy flux for a single phonon mode 𝐮(𝐩,m)=𝐐𝐩𝐮^mcos(𝐤𝐲𝐩ωt+ϑ){\mathbf{u}}_{({\mathbf{p}},m)}={\mathbf{Q}}_{\mathbf{p}}\hat{\mathbf{u}}_{m}\cos({\mathbf{k}}\cdot{\mathbf{y}}_{\mathbf{p}}-\omega t+\vartheta) where ϑ\vartheta is a phase that eventually gets integrated out and disappears. We set the averaging interval to a single cycle, i.e., T=2π/ωT=2\pi/\omega. The energy flux is therefore

ψ=ωtt+T(𝐩,m)Ω+(𝐪,n)Ω[𝐐𝐩𝐮^msin(𝐤𝐲𝐩ωt+ϑ)𝐇(𝐩,m)(𝐪,n)(𝐐𝐩𝐮^mcos(𝐤𝐲𝐩ωt+ϑ)𝐐𝐪𝐮^ncos(𝐤𝐲𝐪ωt+ϑ))]dt\psi=\omega\int_{t}^{t+T}\sum_{({\mathbf{p}},m)\in\Omega^{+}}\sum_{({\mathbf{q}},n)\in\Omega^{-}}\left[\begin{array}[]{c}{\mathbf{Q}}_{\mathbf{p}}\hat{\mathbf{u}}_{m}\sin({\mathbf{k}}\cdot{\mathbf{y}}_{\mathbf{p}}-\omega t+\vartheta)\cdot{\mathbf{H}}_{({\mathbf{p}},m)({\mathbf{q}},n)}\cdot\\ \left({\mathbf{Q}}_{\mathbf{p}}\hat{\mathbf{u}}_{m}\cos({\mathbf{k}}\cdot{\mathbf{y}}_{\mathbf{p}}-\omega t+\vartheta)-{\mathbf{Q}}_{\mathbf{q}}\hat{\mathbf{u}}_{n}\cos({\mathbf{k}}\cdot{\mathbf{y}}_{\mathbf{q}}-\omega t+\vartheta)\right)\end{array}\right]dt (8.2)

Using (3.12), we have that

ψ\displaystyle\psi =ω2tt+T(𝐩,m)Ω+(𝐪,n)Ω𝐮^m𝐇(𝟎,m)(𝐪𝐩,n)𝐮^msin(2𝐤𝐲𝐩2ωt+2ϑ)dt\displaystyle=\frac{\omega}{2}\int_{t}^{t+T}\sum_{({\mathbf{p}},m)\in\Omega^{+}}\sum_{({\mathbf{q}},n)\in\Omega^{-}}\hat{\mathbf{u}}_{m}\cdot{\mathbf{H}}_{(\mathbf{0},m)({\mathbf{q}}-{\mathbf{p}},n)}\hat{\mathbf{u}}_{m}\sin\big{(}2{\mathbf{k}}\cdot{\mathbf{y}}_{\mathbf{p}}-2\omega t+2\vartheta\big{)}dt
ω2tt+T(𝐩,m)Ω+(𝐪,n)Ω𝐮^m𝐇(𝟎,m)(𝐪𝐩,n)𝐐𝐪𝐩𝐮^n[sin(𝐤(𝐲𝐩+𝐲𝐪)2ωt+2ϑ)\displaystyle-\frac{\omega}{2}\int_{t}^{t+T}\sum_{({\mathbf{p}},m)\in\Omega^{+}}\sum_{({\mathbf{q}},n)\in\Omega^{-}}\hat{\mathbf{u}}_{m}\cdot{\mathbf{H}}_{(\mathbf{0},m)({\mathbf{q}}-{\mathbf{p}},n)}{\mathbf{Q}}_{{\mathbf{q}}-{\mathbf{p}}}\hat{\mathbf{u}}_{n}\Big{[}\sin\big{(}{\mathbf{k}}\cdot({\mathbf{y}}_{\mathbf{p}}+{\mathbf{y}}_{\mathbf{q}})-2\omega t+2\vartheta\big{)}
sin(𝐤(𝐲𝐩𝐲𝐪))]dt\displaystyle\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad-\sin\big{(}{\mathbf{k}}\cdot({\mathbf{y}}_{\mathbf{p}}-{\mathbf{y}}_{\mathbf{q}})\big{)}\Big{]}dt (8.3)

Since the integrals are over a complete period T=2π/ωT=2\pi/\omega, all terms of the form sin(2ωt)\sin(\ldots-2\omega t\ldots) vanish. Using (4.10), this simplifies to:

ψ=π(𝐩,m)Ω+𝐮^m(𝐪,n)Ω𝐃^(𝟎,m)(𝐪𝐩,n)sin(𝐤(𝐲𝐩𝐲𝐪))𝐮^n\psi=\pi\sum_{({\mathbf{p}},m)\in\Omega^{+}}\hat{\mathbf{u}}_{m}\cdot\sum_{({\mathbf{q}},n)\in\Omega^{-}}\hat{\mathbf{D}}_{(\mathbf{0},m)({\mathbf{q}}-{\mathbf{p}},n)}\sin\big{(}{\mathbf{k}}\cdot({\mathbf{y}}_{\mathbf{p}}-{\mathbf{y}}_{\mathbf{q}})\big{)}\hat{\mathbf{u}}_{n} (8.4)

Now consider a nanotube with two generators, i.e. a pure rotation generator with rotation angle θ2=2π/N2\theta_{2}=2\pi/N_{2}, and a screw generator with the rotation component associated to an angle π<θ1π-\pi<\theta_{1}\leq\pi. Consider the flow of energy across a surface that divides the OS into Ω={𝐪:q10}\Omega^{-}=\{{\mathbf{q}}:\ q_{1}\leq 0\} and Ω+={𝐪:q1>0}\Omega^{+}=\{{\mathbf{q}}:\ q_{1}>0\}, where the first slot in the multi-index corresponds to the screw and the second slot corresponds to the rotation. Then we can write:

ψ=πm,n𝐮^m[q2=0N21q11q1𝐃^(𝟎,m)(𝐪,n)sin(k1q1+k2q2)]𝐮^n\psi=-\pi\sum_{m,n}\hat{\mathbf{u}}_{m}\cdot\left[\sum_{q_{2}=0}^{N_{2}-1}\sum_{q_{1}\geq 1}q_{1}\hat{\mathbf{D}}_{(\mathbf{0},m)({\mathbf{q}},n)}\sin(k_{1}q_{1}+k_{2}q_{2})\right]\hat{\mathbf{u}}_{n} (8.5)

Note that the factor of q1q_{1} appears in the sum because, in an OS, various atomic bonds are symmetry-related and therefore the sum need not run over these bonds.

The component k2k_{2} of the wave vector corresponds to the pure rotation generator. Therefore, it takes only the discrete values k2=2πj/N2,j=0,,N21k_{2}=2\pi j/N_{2},j=0,\cdots,N_{2}-1.

At this point, the model is nominally exact. Our interest however is in a minimal model that captures the important features. In terms of energy transport, the wiggles in the phonon spectrum are of primary interest. We now make extremely harsh simplifying approximations on the nature of interactions, but retain the feature that interactions are non-local in Objective space. We see that this single feature is sufficient to understand the wiggles. We assume that (i) interactions are only nearest neighbor in real-space, and (ii) the magnitude of the interactions is the same for all near-neighbors. Under these assumptions, we search for the values of the wavevector at which ψ=0\psi=0.

Consider a (6,6)(6,6) nanotube (N2=6N_{2}=6 in this case). The bonds that connect Ω+\Omega^{+} and Ω\Omega^{-} under the assumptions above are (0,j)(0,j)(1,j)(1,j) and (0,j)(0,j)(1,(j+5)mod6)(1,(j+5)\mod 6) for j=05j=0\ldots 5. These are all near-neighbors both in real and Objective space. Equation (8.5) specializes to:

6(sin(k1)+sin(5k2+k1))=02sin(k1+2.5k2)cos(2.5k2)=06\left(\sin(k_{1})+\sin(5k_{2}+k_{1})\right)=0\Rightarrow 2\sin(k_{1}+2.5k_{2})\cos(2.5k_{2})=0 (8.6)

Hence, for k2=2πj/6,j=0,,5k_{2}=2\pi j/6,j=0,\ldots,5, the solution is k1=π(r5j6),rk_{1}=\pi\left(r-\frac{5j}{6}\right),r\in\mathbb{Z}. These values match exactly with with the zero-slope points in Fig. 3. In addition, there are no wiggles because all interactions are local in Objective space.

Now consider a (7,6)(7,6) nanotube. Here N2=1N_{2}=1 so there is only a single index. The nearest neighbors of the 0 unit cell are 6,7,136,7,13 and all of these are non-local in Objective space. Equation (8.5) specializes to:

6sin(6k1)+7sin(7k1)+13sin(13k1)=06\sin(6k_{1})+7\sin(7k_{1})+13\sin(13k_{1})=0 (8.7)

Numerically solving this gives the wavevectors
π×{0.000,0.102,0.154,0.206,0.307,0.404,0.463,0.520,0.614,0.703,0.771,0.839,0.921,1.000}\pi\times\{0.000,0.102,0.154,0.206,0.307,0.404,0.463,0.520,0.614,0.703,0.771,0.839,0.921,1.000\}. This matches extremely well with Fig. 14, with relative error of the order 10710^{-7}.

We next consider a (11,9)(11,9), also with N2=1N_{2}=1. The nearest neighbors of the 0 unit cell are 9,11,209,11,20 and all of these are non-local in Objective space. Therefore,

9sin(9k1)+11sin(11k1)+20sin(20k1)=09\sin(9k_{1})+11\sin(11k_{1})+20\sin(20k_{1})=0 (8.8)

Numerically solving for the wavevectors of the wiggles, we find
π×{0.0,0.066,0.101,0.134,0.199,0.260,0.301,0.342,0.398,0.452,0.501,0.552,0.598,0.643,0.70,0.762,0.798,0.836,0.900,0.967,1.0}\pi\times\{0.0,0.066,0.101,0.134,0.199,0.260,0.301,0.342,0.398,0.452,\\ 0.501,0.552,0.598,0.643,0.70,0.762,0.798,0.836,0.900,0.967,1.0\}. This again matches extremely well with the full calculation in Fig. 13, with relative error on the order of 10810^{-8}.

Finally, we compute the phonon spectra for two nanotubes with different aspect ratios using model interatomic potentials, Fig. 16. For the stubby helix, we find prominent wiggles as expected from our model that nonlocal interactions are important. For the slender helix, it behaves almost like a near-neighbor chain with no long-range interactions as we expect.

Refer to caption
Figure 16: Energy transport in helices with different aspect ratios using model interatomic potentials. The red atoms are the near-neighbors of the blue atom in real-space. In the slender helix, there is no long-range interaction and it behaves like a 1D chain. The stubby helix has long-range interaction and has prominent wiggles in the phonon spectrum.

9 Discussion

We have formulated a method to compute and understand phonon spectra in Objective Structures; this includes a broad class of complex nanostructures. The use of the OS formulation enables important advantages. For instance, it is easy to apply complex loads such as torsion. The framework also enabled us to draw the important conclusion that there is no analog of “non-rank-one” instability in nanotubes, i.e., a nanotube that is linearly stable to bending, twisting and elongation individually applied is linearly stable to any superposition of these.

The OS framework also provided a physical interpretation of the computed phonon spectra, thus enabling the construction of the simplified geometric nonlocal model for energy transport. The primarily geometric nature of the model enables it to be potentially applicable broadly to rod-like helical OS, e.g. biological systems such as DNA. The simplified model shows an interesting equivalence between curvature and non-locality; a similar equivalence also appears in understanding the kinetics of phase transformations at the atomic level [LD]. In addition, the model predicts well the interplay between axial and helical energy transport mechanisms, in particular the critical points at which these mechanisms destructively interfere have no transport.

Acknowledgments

Amin Aghaei and Kaushik Dayal thank AFOSR Computational Mathematics (FA9550-09-1-0393) and AFOSR Young Investigator Program (FA9550-12-1-0350) for financial support. Kaushik Dayal also acknowledges support from NSF Dynamical Systems (0926579), NSF Mechanics of Materials (CAREER-1150002) and ARO Solid Mechanics (W911NF-10-1-0140). Ryan S. Elliott acknowledges support from NSF CMMI-0746628 (Dr. George Hazelnut, Program Director) and The University of Minnesota Supercomputing Institute. This work was also supported in part by the NSF through TeraGrid resources provided by Pittsburgh Supercomputing Center. Kaushik Dayal thanks the Hausdorff Research Institute for Mathematics at the University of Bonn for hospitality. We thank Richard D. James for useful discussions.

Appendix A Relation between Objective group generators and carbon nanotube geometry

Consider a carbon nanotube with chiral indices (m,n)(m,n) and axis 𝐞{\mathbf{e}} centered at the origin. Following [DEJ], we have the following relation between the group generators and the geometry of the carbon nanotube when we use a 2-atom unit cell:

g1=(𝐑θ1|𝟎),𝐑θ1𝐞=𝐞,0<θ1=2πmin(|p|,|q|)GCD(n,m)2πg2=(𝐑θ2|κ2𝐞),𝐑θ2𝐞=𝐞,θ2=πp(2n+m)+q(n+2m)n2+m2+nm,κ2=3l0GCD(m,n)2n2+m2+nm\begin{split}g_{1}&=({\mathbf{R}}_{\theta_{1}}|\mathbf{0}),\quad{\mathbf{R}}_{\theta_{1}}{\mathbf{e}}={\mathbf{e}},\quad 0<\theta_{1}=\frac{2\pi\min\left(|p|,|q|\right)}{\mathop{\rm GCD}\nolimits(n,m)}\leq 2\pi\\ g_{2}&=({\mathbf{R}}_{\theta_{2}}|\kappa_{2}{\mathbf{e}}),\quad{\mathbf{R}}_{\theta_{2}}{\mathbf{e}}={\mathbf{e}},\quad\theta_{2}=\pi\frac{p(2n+m)+q(n+2m)}{n^{2}+m^{2}+nm},\quad\kappa_{2}=\frac{3l_{0}\mathop{\rm GCD}\nolimits(m,n)}{2\sqrt{n^{2}+m^{2}+nm}}\\ \end{split} (A.1)

𝐑θ{\mathbf{R}}_{\theta} is a rotation matrix with axis coinciding with 𝐞{\mathbf{e}} and rotation angle θ\theta. The quantity l0=0.142l_{0}=0.142nm is the bond length of the graphene sheet before rolling. The integers pp and qq satisfy pmqn=GCD(m,n)pm-qn=\mathop{\rm GCD}\nolimits(m,n), where GCD(m,n)\mathop{\rm GCD}\nolimits(m,n) is the greatest common divisor of mm and nn.

The radius of the nanotube is r=l02π3(n2+m2+nm)r=\frac{l_{0}}{2\pi}\sqrt{3(n^{2}+m^{2}+nm)} and the positions of the atoms in the unit cell are:

𝐱(0,0),1=\displaystyle{\mathbf{x}}_{(0,0),1}= r𝐞1\displaystyle r{\mathbf{e}}_{1}
𝐱(0,0),2=\displaystyle{\mathbf{x}}_{(0,0),2}= rcos[π(n+m)n2+m2+nm]𝐞1+rsin[π(n+m)n2+m2+nm]𝐞2+l0(mn)2n2+m2+nm𝐞\displaystyle r\cos\left[\frac{\pi(n+m)}{n^{2}+m^{2}+nm}\right]{\mathbf{e}}_{1}+r\sin\left[\frac{\pi(n+m)}{n^{2}+m^{2}+nm}\right]{\mathbf{e}}_{2}+\frac{l_{0}(m-n)}{2\sqrt{n^{2}+m^{2}+nm}}{\mathbf{e}} (A.2)

where (𝐞,𝐞1,𝐞2)({\mathbf{e}},{\mathbf{e}}_{1},{\mathbf{e}}_{2}) are orthonormal.

Note that if mm and nn are relatively prime, i.e. GCD(m,n)=1\mathop{\rm GCD}\nolimits(m,n)=1, then θ1=0\theta_{1}=0 and g1g_{1} reduces to the identity.

Appendix B The Discrete Fourier Transform and Block-Diagonalization of Hessians of Periodic Crystals

In this appendix, we rewrite the standard Discrete Fourier Transform (DFT) in the notation of matrices and apply this to block-diagonalize the Hessian of a periodic crystal. This enables a conceptual understanding of the relation between block-diagonalization in crystals and OS.

B.1 Discrete Fourier Transform and its Properties

Consider a space with coordinate 𝐲{\mathbf{y}}. Define the points 𝐲𝐩{\mathbf{y}}_{\mathbf{p}}:

𝐲𝐩=\displaystyle{\mathbf{y}}_{\mathbf{p}}= 𝐲(p1,p2,p3)=p1𝐚1+p2𝐚2+p3𝐚3\displaystyle{\mathbf{y}}_{(p_{1},p_{2},p_{3})}=p_{1}{\mathbf{a}}_{1}+p_{2}{\mathbf{a}}_{2}+p_{3}{\mathbf{a}}_{3} (B.1)

where 𝐚1,𝐚2,𝐚3{\mathbf{a}}_{1},{\mathbf{a}}_{2},{\mathbf{a}}_{3} is a basis for the space.

Consider a family of periodic functions 𝐮^𝐩,l\hat{\mathbf{u}}_{{\mathbf{p}},l} that are defined at 𝐲𝐩{\mathbf{y}}_{\mathbf{p}}, with the family indexed by ll. Physically, these correspond to the displacement of the atom ll in the unit cell at 𝐲𝐩{\mathbf{y}}_{\mathbf{p}}. From the periodicity, it follows that 𝐮^𝐩+𝐍,l=𝐮^𝐩,l\hat{\mathbf{u}}_{{\mathbf{p}}+{\mathbf{N}},l}=\hat{\mathbf{u}}_{{\mathbf{p}},l}, where 𝐍:=(N1,N2,N3){\mathbf{N}}:=(N_{1},N_{2},N_{3}) defines the periodicity.

Define the reciprocal basis through 𝐚α𝐛β=δαβ{\mathbf{a}}_{\alpha}\cdot{\mathbf{b}}_{\beta}=\delta_{\alpha\beta} and the wave vectors as

𝐤𝐪=\displaystyle{\mathbf{k}}_{\mathbf{q}}= 𝐤(q1,q2,q3)=2πq1N1𝐛1+2πq2N2𝐛2+2πq3N3𝐛3\displaystyle{\mathbf{k}}_{(q_{1},q_{2},q_{3})}=\frac{2\pi q_{1}}{N_{1}}{\mathbf{b}}_{1}+\frac{2\pi q_{2}}{N_{2}}{\mathbf{b}}_{2}+\frac{2\pi q_{3}}{N_{3}}{\mathbf{b}}_{3} (B.2)

It follows that 𝐤𝐪𝐲𝐩=2πN1p1q1+2πN2p2q2+2πN3p3q3{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{p}}=\frac{2\pi}{N_{1}}p_{1}q_{1}+\frac{2\pi}{N_{2}}p_{2}q_{2}+\frac{2\pi}{N_{3}}p_{3}q_{3}, or in one-dimension 𝐤q𝐲p=2πNpq{\mathbf{k}}_{q}\cdot{\mathbf{y}}_{p}=\frac{2\pi}{N}pq.

These imply that 𝐤𝐪𝐲𝐩=𝐤𝐩𝐲𝐪{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{p}}={\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}}. It also follows that exp[i𝐤𝐪𝐲𝟎]=exp[i𝐤𝐪𝐲𝐍]=1\exp[i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{0}}]=\exp[i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{N}}]=1 and that j=0N1exp[i𝐤p𝐲j]exp[i𝐤q𝐲j]=Nδpq\sum_{j=0}^{N-1}\exp[i{\mathbf{k}}_{p}\cdot{\mathbf{y}}_{j}]\exp[-i{\mathbf{k}}_{q}\cdot{\mathbf{y}}_{j}]=N\delta_{pq}. As we see below, exp[i𝐤𝐩𝐲𝐪]\exp[i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}}] are the components of the basis vectors of the eigenspace of a circulant matrix, and are closely related to the eigenspace for a block-circulant matrix.

The DFT is defined as

u~𝐩,lα=1N𝐪exp[i𝐤𝐩𝐲𝐪]u^𝐪,lα𝐮~=𝐅𝐮^\tilde{u}_{{\mathbf{p}},l}^{\alpha}=\frac{1}{\sqrt{N}}\sum_{{\mathbf{q}}}\exp[i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{{\mathbf{q}}}]\hat{u}_{{\mathbf{q}},l}^{\alpha}\Leftrightarrow\tilde{\mathbf{u}}={\mathbf{F}}\hat{\mathbf{u}}

where N=N1N2N3N=N_{1}N_{2}N_{3} and 𝐅{\mathbf{F}} is the DFT matrix which is independent of ll and α\alpha. The inverse DFT is

u^𝐩,lα=1N𝐪exp[i𝐤𝐪𝐲𝐩]u~𝐪,lα𝐮^=𝐅1𝐮~\hat{u}_{{\mathbf{p}},l}^{\alpha}=\frac{1}{\sqrt{N}}\sum_{{\mathbf{q}}}\exp[-i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{{\mathbf{p}}}]\tilde{u}_{{\mathbf{q}},l}^{\alpha}\Leftrightarrow\hat{\mathbf{u}}={\mathbf{F}}^{-1}\tilde{\mathbf{u}} (B.3)

This enables us to now represent the standard DFT in terms of matrix notation. For simplicity, consider a one-dimensional problem, i.e. 𝐩=(p,0,0){\mathbf{p}}=(p,0,0) and 𝐪=(q,0,0){\mathbf{q}}=(q,0,0), and pp and qq run over the integers between 0 and N1N-1. The matrix 𝐅{\mathbf{F}} can be expressed as

𝐅=[[𝐅00][𝐅01][𝐅0(N1)][𝐅10][𝐅11][𝐅1(N1)][𝐅(N1)0][𝐅(N1)1][𝐅(N1)(N1)]]{\mathbf{F}}=\begin{bmatrix}[{\mathbf{F}}_{00}]&[{\mathbf{F}}_{01}]&\cdots&[{\mathbf{F}}_{0(N-1)}]\\ [{\mathbf{F}}_{10}]&[{\mathbf{F}}_{11}]&\cdots&[{\mathbf{F}}_{1(N-1)}]\\ \vdots&\vdots&\ddots&\vdots\\ [{\mathbf{F}}_{(N-1)0}]&[{\mathbf{F}}_{(N-1)1}]&\cdots&[{\mathbf{F}}_{(N-1)(N-1)}]\\ \end{bmatrix} (B.4)

and each sub-matrix of 𝐅{\mathbf{F}} is a 3M×3M3M\times 3M matrix and defined as [𝐅pq]mn=1Nexp[i𝐤p𝐲q]δmn[{\mathbf{F}}_{pq}]_{mn}=\frac{1}{\sqrt{N}}\exp[i{\mathbf{k}}_{p}\cdot{\mathbf{y}}_{q}]\delta_{mn}.

The inverse of the Fourier transform matrix 𝐅1{\mathbf{F}}^{-1} is defined as

𝐅1=[[𝐅001][𝐅011][𝐅0(N1)1][𝐅101][𝐅111][𝐅1(N1)1][𝐅(N1)01][𝐅(N1)11][𝐅(N1)(N1)1]]{\mathbf{F}}^{-1}=\begin{bmatrix}[{\mathbf{F}}_{00}^{-1}]&[{\mathbf{F}}_{01}^{-1}]&\cdots&[{\mathbf{F}}_{0(N-1)}^{-1}]\\ [{\mathbf{F}}_{10}^{-1}]&[{\mathbf{F}}_{11}^{-1}]&\cdots&[{\mathbf{F}}_{1(N-1)}^{-1}]\\ \vdots&\vdots&\ddots&\vdots\\ [{\mathbf{F}}_{(N-1)0}^{-1}]&[{\mathbf{F}}_{(N-1)1}^{-1}]&\cdots&[{\mathbf{F}}_{(N-1)(N-1)}^{-1}]\\ \end{bmatrix} (B.5)

where [𝐅pq1]mn=1Nexp[i𝐤q𝐲p]δmn[{\mathbf{F}}_{pq}^{-1}]_{mn}=\frac{1}{\sqrt{N}}\exp[-i{\mathbf{k}}_{q}\cdot{\mathbf{y}}_{p}]\delta_{mn}.

With these definitions, 𝐅1=𝐅{\mathbf{F}}^{-1}={\mathbf{F}}^{\dagger}, where represents the adjoint, and therefore 𝐅{\mathbf{F}} is unitary.

B.2 Block-Diagonalization of a Block-Circulant Matrix using the Discrete Fourier Transform

Consider a block-circulant matrix, i.e. 𝐀𝐩𝐪=𝐀𝟎(𝐪𝐩){\mathbf{A}}_{\mathbf{pq}}={\mathbf{A}}_{\mathbf{0(q-p)}}, as arises in periodic crystals. The DFT provides the block-diagonal matrix 𝐀~=𝐅𝐀𝐅1\tilde{\mathbf{A}}={\mathbf{F}}{\mathbf{A}}{\mathbf{F}}^{-1}.

𝐀~𝐩𝐪\displaystyle\tilde{\mathbf{A}}_{\mathbf{pq}} =𝐦𝐧𝐅𝐩𝐦𝐀𝐦𝐧𝐅𝐧𝐪1\displaystyle=\sum_{\mathbf{m}}\sum_{\mathbf{n}}{\mathbf{F}}_{\mathbf{pm}}{\mathbf{A}}_{\mathbf{mn}}{\mathbf{F}}_{\mathbf{nq}}^{-1}
=𝐦𝐧(1Nexp[i𝐤𝐩𝐲𝐦]𝐈)𝐀𝐦𝐧(1Nexp[i𝐤𝐪𝐲𝐧]𝐈)\displaystyle=\sum_{\mathbf{m}}\sum_{\mathbf{n}}\big{(}\frac{1}{\sqrt{N}}\exp[i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{m}}]{\mathbf{I}}\big{)}{\mathbf{A}}_{\mathbf{mn}}\big{(}\frac{1}{\sqrt{N}}\exp[-i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{n}}]{\mathbf{I}}\big{)}
=1N𝐦𝐧exp[i𝐲𝐦(𝐤𝐩𝐤𝐪)]exp[i𝐤𝐪(𝐲𝐧𝐲𝐦)]𝐀𝐦𝐧\displaystyle=\frac{1}{N}\sum_{\mathbf{m}}\sum_{\mathbf{n}}\exp\big{[}i{\mathbf{y}}_{\mathbf{m}}\cdot\big{(}{\mathbf{k}}_{\mathbf{p}}-{\mathbf{k}}_{\mathbf{q}}\big{)}\big{]}\exp\big{[}-i{\mathbf{k}}_{\mathbf{q}}\cdot\big{(}{\mathbf{y}}_{\mathbf{n}}-{\mathbf{y}}_{\mathbf{m}}\big{)}\big{]}{\mathbf{A}}_{\mathbf{mn}}
=1N𝐦𝐧exp[i𝐲𝐦(𝐤𝐩𝐤𝐪)]exp[i𝐤𝐪(𝐲𝐧𝐲𝐦)]𝐀𝟎(𝐧𝐦)\displaystyle=\frac{1}{N}\sum_{\mathbf{m}}\sum_{\mathbf{n}}\exp\big{[}i{\mathbf{y}}_{\mathbf{m}}\cdot\big{(}{\mathbf{k}}_{\mathbf{p}}-{\mathbf{k}}_{\mathbf{q}}\big{)}\big{]}\exp\big{[}-i{\mathbf{k}}_{\mathbf{q}}\cdot\big{(}{\mathbf{y}}_{\mathbf{n}}-{\mathbf{y}}_{\mathbf{m}}\big{)}\big{]}{\mathbf{A}}_{\mathbf{0(n-m)}} (B.6)

Relabeling 𝐫=𝐧𝐦{\mathbf{r}}={\mathbf{n}}-{\mathbf{m}}, we can write 𝐲𝐫=𝐲𝐧𝐲𝐦{\mathbf{y}}_{\mathbf{r}}={\mathbf{y}}_{\mathbf{n}}-{\mathbf{y}}_{\mathbf{m}}.

𝐀~𝐩𝐪\displaystyle\tilde{\mathbf{A}}_{{\mathbf{p}}{\mathbf{q}}} =1N𝐦𝐫exp[i𝐲𝐦(𝐤𝐩𝐤𝐪)]exp[i𝐤𝐪𝐲𝐫]𝐀𝟎𝐫\displaystyle=\frac{1}{N}\sum_{\mathbf{m}}\sum_{\mathbf{r}}\exp\big{[}i{\mathbf{y}}_{\mathbf{m}}\cdot\big{(}{\mathbf{k}}_{\mathbf{p}}-{\mathbf{k}}_{\mathbf{q}}\big{)}\big{]}\exp\big{[}-i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}{\mathbf{A}}_{\mathbf{0r}}
=𝐫exp[i𝐤𝐪𝐲𝐫]𝐀𝟎𝐫δ𝐩𝐪\displaystyle=\sum_{\mathbf{r}}\exp\big{[}-i{\mathbf{k}}_{\mathbf{q}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}{\mathbf{A}}_{\mathbf{0r}}\delta_{\mathbf{pq}} (B.7)

using that j=0N1exp[i𝐤p𝐲j]exp[i𝐤q𝐲j]=Nδpq\sum_{j=0}^{N-1}\exp[i{\mathbf{k}}_{p}\cdot{\mathbf{y}}_{j}]\exp[-i{\mathbf{k}}_{q}\cdot{\mathbf{y}}_{j}]=N\delta_{pq}. Therefore, 𝐀~\tilde{\mathbf{A}} is block-diagonal. Further, since 𝐅𝐅=𝐈{\mathbf{F}}{\mathbf{F}}^{\dagger}={\mathbf{I}}, we have

𝐀𝐰=λ𝐰𝐅𝐀𝐅𝐅𝐰=λ𝐅𝐰𝐀~𝐰~=λ𝐰~{\mathbf{A}}{\mathbf{w}}=\lambda{\mathbf{w}}\Rightarrow{\mathbf{F}}{\mathbf{A}}{\mathbf{F}}^{\dagger}{\mathbf{F}}{\mathbf{w}}=\lambda{\mathbf{F}}{\mathbf{w}}\Rightarrow\tilde{\mathbf{A}}\tilde{\mathbf{w}}=\lambda\tilde{\mathbf{w}} (B.8)

Consider the specific case of the eigenvalue problem (4.5) in a periodic crystal where 𝐇^\hat{\mathbf{H}} is a block-circulant matrix. From (B.2), 𝐇~\tilde{\mathbf{H}} is block-diagonal and consequently the eigenvalue problem can be expressed as (ω2)[𝐩]𝐮~𝐩=𝐇~𝐩𝐩𝐮~𝐩{\left(\omega^{2}\right)}^{[{\mathbf{p}}]}\tilde{\mathbf{u}}_{\mathbf{p}}=\tilde{\mathbf{H}}_{\mathbf{pp}}\tilde{\mathbf{u}}_{\mathbf{p}}, where 𝐇~𝐩𝐩=𝐫exp[i𝐤𝐩𝐲𝐫]𝐇^𝟎𝐫\tilde{\mathbf{H}}_{\mathbf{pp}}=\sum_{\mathbf{r}}\exp\big{[}-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{r}}\big{]}\hat{\mathbf{H}}_{\mathbf{0r}}.

For each 𝐩{\mathbf{p}}, corresponding to a specific wave-vector 𝐤{\mathbf{k}} in (B.1,B.2), we obtain 3M3M eigenvalues and eigenvectors corresponding to the different phonon branches. Denote each branch by ν=1,,3M\nu=1,\cdots,3M, so we can write (ω2)[𝐩,ν]𝐮~𝐩[ν]=𝐇~𝐩𝐩𝐮~𝐩[ν]{\left(\omega^{2}\right)}^{[{\mathbf{p}},\nu]}\tilde{\mathbf{u}}_{\mathbf{p}}^{[\nu]}=\tilde{\mathbf{H}}_{\mathbf{pp}}\tilde{\mathbf{u}}_{\mathbf{p}}^{[\nu]}. In real-space, the atomic displacements corresponding to the normal mode with wave vector 𝐤𝐩{\mathbf{k}}_{\mathbf{p}} and ν\nu-th branch is 𝐮^𝐪,l[𝐩,ν]=1Nexp[i𝐤𝐩𝐲𝐪]𝐮~𝐩,l[ν]\hat{\mathbf{u}}_{{\mathbf{q}},l}^{[{\mathbf{p}},\nu]}=\frac{1}{\sqrt{N}}\exp[-i{\mathbf{k}}_{\mathbf{p}}\cdot{\mathbf{y}}_{\mathbf{q}}]\tilde{\mathbf{u}}_{{\mathbf{p}},l}^{[\nu]}.

References

  • [AA08] M. Arroyo and I. Arias, Rippling and a phase-transforming mesoscopic model for multiwalled carbon nanotubes, Journal of the Mechanics and Physics of Solids 56 (2008), no. 4, 1224–1244.
  • [AD11] Amin Aghaei and Kaushik Dayal, Symmetry-adapted non-equilibrium molecular dynamics of chiral carbon nanotubes under tensile loading, Journal of Applied Physics 109 (2011), 123501.
  • [AD12]   , Tension-and-Twist of Chiral Nanotubes: Torsional Buckling, Mechanical Response, and Indicators of Failure, submitted (2012).
  • [ADE] A. Aghaei, K. Dayal, and R. S. Elliott, Axial stress-driven higher-order effects in low-dimensional nanostructures due to geometric nonlinearity, in preparation.
  • [BH98] M. Born and K. Huang, Dynamical theory of crystal lattices, Oxford University Press, USA, 1998.
  • [DB06] K. Dayal and K. Bhattacharya, Kinetics of phase transformations in the peridynamic formulation of continuum mechanics, Journal of the Mechanics and Physics of Solids 54 (2006), no. 9, 1811–1842.
  • [DEJ] Kaushik Dayal, R. S. Elliott, and Richard D. James, Formulas for Objective Structures, preprint.
  • [DELT07] M. Dobson, RS Elliott, M. Luskin, and EB Tadmor, A multilattice quasicontinuum for phase transforming materials: Cascading cauchy born kinematics, Journal of Computer-Aided Materials Design 14 (2007), 219–237.
  • [DJ07] Traian Dumitrica and Richard D. James, Objective molecular dynamics, Journal of the Mechanics and Physics of Solids 55 (2007), 2206–2236.
  • [DJ10] Kaushik Dayal and Richard D. James, Nonequilibrium molecular dynamics for bulk materials and nanostructures, Journal of the Mechanics and Physics of Solids 58 (2010), 145–163.
  • [DJ11] K. Dayal and R.D. James, Design of viscometers corresponding to a universal molecular simulation method, Journal of Fluid Mechanics 1 (2011), no. 1, 1–26.
  • [Dov93] M.T. Dove, Introduction to lattice dynamics, vol. 4, Cambridge Univ Pr, 1993.
  • [Ell07] R.S. Elliott, Multiscale bifurcation and stability of multilattices, Journal of Computer-Aided Materials Design 14 (2007), 143–157.
  • [EST06] R.S. Elliott, J.A. Shaw, and N. Triantafyllidis, Stability of crystalline solids–ii: Application to temperature-induced martensitic phase transformations in a bi-atomic crystal, Journal of the Mechanics and Physics of Solids 54 (2006), no. 1, 193–232.
  • [ETS06] R.S. Elliott, N. Triantafyllidis, and J.A. Shaw, Stability of crystalline solids–i: continuum and atomic lattice considerations, Journal of the Mechanics and Physics of Solids 54 (2006), no. 1, 161–192.
  • [FT02] G. Friesecke and F. Theil, Validity and failure of the cauchy-born hypothesis in a two-dimensional mass-spring lattice, Journal of nonlinear Science 12 (2002), no. 5, 445–478.
  • [GLW08] D. Gunlycke, HM Lawler, and CT White, Lattice vibrations in single-wall carbon nanotubes, Physical Review B 77 (2008), no. 1, 014303.
  • [GMT93] G. Geymonat, S. Müller, and N. Triantafyllidis, Homogenization of nonlinearly elastic materials, microscopic bifurcation and macroscopic loss of rank-one convexity, Archive for rational mechanics and analysis 122 (1993), no. 3, 231–290.
  • [HM77] R. Hill and F. Milstein, Principles of stability analysis of ideal crystals, Physical Review B 15 (1977), no. 6, 3087.
  • [Jam06] Richard D. James, Objective structures, Journal of the Mechanics and Physics of Solids 54 (2006), 2354–2390.
  • [JDD08] A. Jorio, G. Dresselhaus, and M.S. Dresselhaus, Carbon nanotubes: advanced topics in the synthesis, structure, properties and applications, vol. 111, Springer Verlag, 2008.
  • [LD] C.T. Lu and K. Dayal, Temperature and energy transport in the kinetics of phase transformations, in preparation.
  • [LD11]   , Linear instability signals the initiation of motion of a twin plane under load, Philosophical Magazine Letters 91 (2011), no. 4, 264–271.
  • [MR08] R.E. Miller and D. Rodney, On the nonlocal nature of dislocation nucleation during nanoindentation, Journal of the Mechanics and Physics of Solids 56 (2008), no. 4, 1203–1223.
  • [NZJD10] I. Nikiforov, D.B. Zhang, Richard D. James, and Traian Dumitrica, Wavelike rippling in multiwalled carbon nanotubes under pure bending, Applied Physics Letters 96 (2010), 123107.
  • [PL06] V.N. Popov and P. Lambin, Radius and chirality dependence of the radial breathing mode and the g-band phonon modes of single-walled carbon nanotubes, Physical Review B 73 (2006), no. 8, 085407.
  • [Ter88] J. Tersoff, Empirical interatomic potential for carbon, with applications to amorphous carbon, Physical Review Letters 61 (1988), no. 21, 2879–2882.
  • [VBSF+10] DG Vercosa, EB Barros, AG Souza Filho, J. Mendes Filho, G.G. Samsonidze, R. Saito, and MS Dresselhaus, Torsional instability of chiral carbon nanotubes, Physical Review B 81 (2010), no. 16, 165430.
  • [YKV95] J. Yu, R.K. Kalia, and P. Vashishta, Phonons in graphitic tubules: A tight-binding molecular dynamics study, The Journal of chemical physics 103 (1995), 6697.
  • [ZAD11] D.B. Zhang, E. Akatyeva, and T. Dumitrică, Helical bn and zno nanotubes with intrinsic twisting: An objective molecular dynamics study, Physical Review B 84 (2011), no. 11, 115431.
  • [ZDS10] D.B. Zhang, T. Dumitrică, and G. Seifert, Helical nanotube structures of mos_ {\{2}\} with intrinsic twisting: An objective molecular dynamics study, Physical review letters 104 (2010), no. 6, 65502.
  • [ZJD09a] D.B. Zhang, RD James, and T. Dumitrică, Dislocation onset and nearly axial glide in carbon nanotubes under torsion, The Journal of chemical physics 130 (2009), 071101.
  • [ZJD09b]   , Electromechanical characterization of carbon nanotubes in torsion via symmetry adapted tight-binding objective molecular dynamics, Physical Review B 80 (2009), no. 11, 115418.