SymmetryAdapted Phonon Analysis of Nanotubes (to appear in J. Mech. Phys. Solids)
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 noncrystalline but highly symmetric nanostructures. Our strategy is to use an intermediate linear transformation from realspace to an intermediate space in which the Hessian matrix of second derivatives is blockcirculant. The blockcirculant 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 blockdiagonal 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 almostdiagonalize the Hessian, the framework provides an important conceptual simplification to interpret the phonon curves. Our findings include that, first, not all nonoptic longwavelength modes are zero energy and conversely not all zero energy modes are longwavelength; 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 nonrankone 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 onedimensional 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
Contents
 1 Introduction
 2 Notation
 3 Objective Structures
 4 Normal Mode Analysis in Objective Structures
 5 A Numerical Example: Dispersion Curves of Carbon Nanotubes
 6 Long Wavelength and Rigid Body Modes for Carbon Nanotubes
 7 Phonons and Stability
 8 Energy Transport in Helical Objective Structures
 9 Discussion
 A Relation between Objective group generators and carbon nanotube geometry
 B The Discrete Fourier Transform and BlockDiagonalization of Hessians of Periodic Crystals
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 frameindifference. In brief, [Jam06] and following works have shown that many highly symmetric but noncrystalline 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 frameindifference, 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 blockcirculant 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 onedimensional systems to do numerical calculations. Except where stated as a model system, we use the wellcharacterized Tersoff interatomic potential for carbon that provides a balance between bondorder 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 axialloadfree and twistingmomentfree nanotubes; in fact, as recent work shows, the load and moment free structure of chiral nanotubes likely does not correspond to the assumed highlysymmetric configuration [VBSF10, 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 softmode 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 atomistictocontinuum 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 blockcirculant; 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 blockdiagonalize 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 longwavelength (in the Fourier space), and rigidbody and uniform deformation modes in real space. Unlike crystals, rigidbody modes in nanotubes are not always at longwavelength, and longwavelength nonoptic 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 “nonrankone 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 softmode analysis.

Section 8 studies energy transport in nanotubes. We find characteristic oscillations in the phonon spectra that motivate a simple onedimensional geometric nonlocal model of energy transport. The model provides insight into the balance between energy transport along axial and helical directions. The geometricallymotivated nature of the model gives it universal applicability to helical structures of all kinds.
2 Notation
denotes the set of all integers and the set of triples of all integers.
For a quantity , the Fourier transform is denoted by .
To avoid ambiguity, the summation convention is not used and sums are always indicated explicitly.
Throughout the paper, and are used for the number of atoms per unit cell and the number of unit cells in the OS respectively. Note that is always finite but can be infinite. The unit cells are labeled by multiindices denoted by boldface, i.e. , and atoms within a given unit cell are labeled by regular nonbold indices. For example, the position of the atom in the unit cell is denoted .
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 corresponding to an OS with degrees of freedom (DoFs). Such a matrix can be divided into blocks, with each block further subdivided into subblocks of size . Then, denotes a subblock, typically corresponding to the pair of atoms labeled by and . Also, denotes a matrix, typically corresponding to atoms in the unit cells labeled and .
Similarly, for a vector of size , writing denotes the th block of of size typically corresponding to the unit cell labeled by . Further, denotes a subblock of of size , typically corresponding to the atom in the unit cell labeled by .
For Fourier quantities, the correspondences for subblocks 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 be a set of isometries indexed by a multiindex. Each element of has the form where is orthogonal and is a vector.
The action of an isometry on a point is
(3.1) 
Composition of mappings then provides:
This motivates a definition for multiplication of isometries:
(3.2) 
From this definition, it follows that the identity element is and the inverse of is defined by .
If the set 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 on a given point gives an objective atomic structure. In addition, placing an atom of species at each of the points given by the action of elements of on a given set of points gives an objective molecular structure.
In this paper, we will consider OS described by groups of the form
(3.3) 
Here, , and are the generators of the group. We assume that they commute, i.e. and so on. This immediately implies that itself is Abelian. As shown in [DEJ], 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 by enlarging the unit cell and neglecting certain intraunit cell symmetries.
Denoting the atomic positions in the unit cell by , the OS is described by
(3.4) 
Using (3.2), we have that
(3.5) 
for positive exponents . Negative exponents are defined through the inverse.
An important property of OS is that elements of map images of the unit cell to each other. For instance, consider the and images of the unit cell:
(3.6) 
These relations follow directly from the closure and commuting properties of the Abelian group .
Consider the orthogonal part of :
This provides the important relation:
(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 . The vectors are the lattice vectors.
Carbon nanotubes require only two generators. Therefore, we set to the identity. For a nanotube with axis and centered at , we use:
(3.8) 
following (A.1). Here is a rotation tensor with angle . The generator is a rotation isometry, and is a screw isometry The parameters depend on the chiral indices of the nanotube. In this description, the unit cell has 2 atoms at positions and . The relations between these parameters and are described in Appendix A.
We note the important special case that when the chiral indices and of the nanotube are relatively prime, reduces to the identity.
The 2atom 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 , where and the indices and run over integers and . The unit cell now consists of atoms. To generate the nanotube, we then define the group with and . Note that is a subgroup of . The action of elements of on the enlarged unit cell define precisely the same nanotube as using on the 2atom 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 frameindifference, the potential energy of the OS, where and , 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 , i.e., consider the transformation .
(3.9) 
The key observation that enabled Objective Molecular Dynamics [DJ07, DJ10] is as follows. The force on atom is . Starting from the potential energy in (3.9), we perturb atom along the coordinate direction and atom along the coordinate direction . Formally, we can write:
(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 identically and taking the limit of :
(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 . Taking the limit consecutively of and :
(3.12) 
Note that for a periodic crystal for all , therefore providing the standard relation that 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 blockdiagonalization of the Hessian such that each block is of size . 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 be the equilibrium configuration. Consider a perturbation about this configuration and use a Taylor expansion:
(4.1) 
Since is an equilibrium configuration, the first derivative does not appear. Neglecting terms higher than quadratic:
(4.2) 
Taking the limit of , the force on the atom is:
(4.3) 
In compact matrix form,
(4.4) 
and are the mass and Hessian matrices respectively. Note that is diagonal and trivially inverted. So define .
The linear form of (4.4) implies that solutions are exponentials, i.e., where is the angular frequency. Therefore, we seek to solve the eigenvalue problem:
(4.5) 
and are the eigenvalues and eigenvectors of , with . In generic finite structures, solving this eigenvalue problem can be computationally demanding. In infinite periodic crystals, is blockcirculant as noted above. Consequently, it can be blockdiagonalized using the Fourier transform, thus converting the problem of solving a system into solving systems of size . Note that this is only formally true, because 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 matrix, we can calculate the eigenvalues of matrices times (Appendix B). For an OS however, is not blockcirculant. We deal with this in Section 4.2.
4.2 Blockdiagonalization for an Objective Structure
As noted immediately above, the Hessian in an OS is not blockcirculant; however, there is a close analogy in (3.12), i.e. . As we show below, the linear transformation defined by the matrix
(4.6) 
takes us to the Objective Space in which is blockcirculant. It is then possible to blockdiagonalize using the DFT.
In the onedimensional case has the form:
(4.7) 
We note that onedimensional does not refer to realspace but rather to the number of slots in the multiindex that indexes the unit cells.
Each submatrix is a blockdiagonal matrix
(4.8) 
and each is a orthogonal tensor. is obviously orthogonal.
Defining and substituting this in (4.5), we get
(4.9) 
where is the transformed Hessian matrix. We now show that is blockcirculant. Using (4.6), we have that:
(4.10) 
Now, substitute (3.12) into (4.10):
(4.11) 
where we have used (3.7) and .
Therefore, is blockcirculant and can be blockdiagonalized by the DFT as described in Appendix B. Essentially, we use two successive linear transforms to solve
(4.12) 
where is blockdiagonal and
(4.13a)  
(4.13b) 
Since is blockdiagonal, we can simplify the dynamical equation (4.12) to read:
(4.14) 
where is the eigenvalue corresponding to the eigenvector . From (B.2) and (4.2)
(4.15) 
For the wave vector associated with , (4.14) gives solutions analogous to the multiple branches in a phonon spectrum. We index these by . The displacement of the atom induced by the normal mode labeled by the wavevector and the th branch is obtained by solving for in (4.13a) and using (B.4) and (4.6):
(4.16) 
As can be seen from (4.13b), acts first on the Hessian matrix and “unwraps” the structure by transforming it to Objective Space. Subsequently, acts on the unwrapped periodic structure. Therefore both position vector and wave vector are defined in Objective Space. The quantities can be obtained using the standard method for periodic systems outlined in Appendix B.
We summarize the key steps in our algorithm:

Calculate , the Hessian matrix corresponding to interactions between any chosen unit cell, labeled , and the neighboring cells. The size of is .

Multiply each vertical block of by the rotation matrix of that block, i.e. calculate .

Calculate , the dynamical matrix associated with wave vector .

Find the eigenvalues, , and eigenvectors, , of .

The normalized displacement of the atoms are . The wave vector and the branch number respectively are labeled by and .
5 A Numerical Example: Dispersion Curves of Carbon Nanotubes
While the OS framework can be used for nanotubes with any chirality, in this section we focus on 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 and a translation . 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 ) and rotation (around ). The generators are and a screw . 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: and a screw 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 cell^{4}^{4}4OS constructed by noncommuting groups can describe carbon nanotubes with 1 atom per unit cell, but the complexity introduced by the noncommuting elements is formidable.. The generators are and . In Choices 1, 2, 3, the wavevector was onedimensional because the structure was indexed by a single index (not a triplevalued multiindex). In this case, the wavevector is two dimensional, but takes only discrete values in the direction corresponding to the rotation. This is because once we raise the rotation to the 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.
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 . Each unit cell in the crosssection has the same displacement (in Objective Space) in the direction that corresponds to the discrete component of the wavevectors. Roughly, this corresponds to “crosssections” that retain their “shape” and remain circular. The lowest three modes corresponding to and are plotted in Fig. 4.
Next, consider the case when , the component of the wavevector in the discrete direction, is nonzero. In this case, the crosssections no longer remain circular. Fig. 5 shows examples of these modes. Notice the relation between and the symmetry of the crosssection.
Fig. 6 shows an assortment of generic phonon modes at finite wavevectors.
5.1 Density of States (DoS) of a 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 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.
6 Long Wavelength and Rigid Body Modes for Carbon Nanotubes
In a 3D periodic crystal lattice, the lowest three eigenvalue branches tend linearly to as . 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 longwavelength deformation corresponding to uniform radial expansion costs finite energy in realspace even in the limit of , thereby giving only two eigenvalue branches that tend to . The essential explanation for these observations is that longwavelength is now defined with respect to objective space and not real space, whereas rigidbody 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 , (ii) twist / rotation with uniformly tangential motion, and (iii) bending / translation in the plane normal to . The bending mode is characterized by two degenerate branches with zero slope. The degeneracy is due the subspace of translations in the plane being twodimensional [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 . This corresponds to the rigid translation modes in the plane normal to , 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 . We recall that that 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 . In addition, for , we see only two branches that go to as the wavevector tends to zero; the lowest nonzero branch corresponds to uniform radial motion of the atoms. Because every unit cell has precisely the same deformation (in Objective space), this appears at . 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 . 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 denoted by . Denote the corresponding displacement in Objective space by . For a normal mode with wavevector , if we set that the displacements in Objective space of corresponding atoms in every unit cell are the same, i.e. for every and , then the DFT from Appendix B gives:
(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 acousticlike mode. It is longwavelength in Objective space, and rigid body rotation in real space with zero energy in the limit.
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 acousticlike 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 longwavelength limit.
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 realspace displacement of atom by induced by a normal mode, and denote the corresponding displacement in Objective space by . Consider a rigid body translation mode in real space, i.e., for any two atoms and , we have . We now find the wave vector that corresponds to this deformation.
Now assume , implying , giving the complex eigenvalue problem:
(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 . Therefore,
(6.4) 
The eigenvalues of are therefore and , where and are the group parameters for the nanotube (Appendix A).
There are therefore three modes corresponding to rigid body translation:

. Since this holds for all , the wavevector is zero. The eigenvector will coincide with , and from (4.16) it follows that all the atoms will move axially. This mode is rigid translation in the axial direction.

. As with , the wavevector at which this rigid body translation occurs is . Since the wavevector is meaningful only up to sign, this is essentially the same. The eigenvector is also orthogonal to 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 .
The phonon frequency of all of these modes is zero because rigid motions in realspace 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.
7 Phonons and Stability
Phonon analysis provides important insights into the stability of crystals through identifying soft modes, i.e., nonrigid 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 nonrankone 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 positivedefiniteness of the stiffness against all tensors in the 6dimensional strain space; rather it tests only against the subspace of strains that are symmetrized rankone 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 bruteforce 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 nonrank one modes in carbon nanotubes. That is, assuming that all phonon branches are positive, and in addition those branches that tend to 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 torsionextensionbending. The second finding that we discuss is a numerical study of torsional buckling using two unit cells, one with atoms and another with 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 Longwavelength Modes
The fact that there do not exist analogs of nonrank one modes in carbon nanotubes is made clear by the use of the OS framework. The OS description shows that nanotubes are onedimensional 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 welldefined. Essentially, it corresponds to the nonidentical environments of atoms being replaced by a large unit cell in which atoms relax in possibly nonuniform ways. However, an important feature of this OS description is that bending now occurs at . The net result is that either the bending modulus cannot be defined, or if it can be defined then bending occurs at . This is important for our calculation below.
In a 2D Bravais lattice, phonon stability tests deformations of the form
Here and 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
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 are stable, where corresponds to axial stretch, twist, or bending, then it follows that deformations of the form 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
Softmode techniques to detect instabilities at the crystallevel have a long history in mechanics, as far back as [HM77]. Recently, they have been combined with bifurcation techniques to understand structural transformations in shapememory 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 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 postinstability deformation.
We use two different unit cells, one with atoms and the other with atoms. The smaller unit cell requires OS group generators given by and and is shown in Fig. 12. The larger unit cell requires a single translational generator, .
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 nm) compared to nm for the smaller unit cell. However, the phonon analysis of the smaller unit cell indicates that an eigenvalue becomes negative at about 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 CauchyBorn rule. Specifically, loss of phonon stability is an indicator that the unit cell must be enlarged, i.e. affinely applied farfield boundary conditions do not give affine deformations of each unit cell [FT02].
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 shortrange interactions, i.e. the interactions are between neighbors that are nearby in terms of the labeling index, and the latter corresponds to longrange 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 where and 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 and , respectively. As discussed in previous sections, two branches corresponding to torsion and axial elongation start from the origin, and one branch touches the axis at precisely . We mention that if we had used the periodic description for these nanotubes, we would require at least and atoms in the unit cell for the and nanotubes respectively. Besides the significantly larger computational expense, it would imply that Figs. 13 and 14a contain and 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 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 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.
8.1 A Simplified OneDimensional 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 shortrange interactions that are due to neighbors along the helix in real space, and there are longrange 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 nonpositive labels. Roughly, we want the energy flux crossing the surface represented by the dashed line. In real space, the roughly equalstrength bonds that cross the dividing surface are between atom pairs . In objective space, only the first of these bonds is “local” while the others are all “nonlocal”.
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.
For an OS , we write down the total energy flux from a subbody to over a time interval :
(8.1) 
The superposed represents the time derivative. The term is the force between the atoms and ; while this is not always a uniquelydefined quantity in multibody potentials, in a linearized system this is simply .
We now compute the energy flux for a single phonon mode where is a phase that eventually gets integrated out and disappears. We set the averaging interval to a single cycle, i.e., . The energy flux is therefore