phonopy/doc/formulation.rst

486 lines
16 KiB
ReStructuredText
Raw Normal View History

.. _formulations:
2017-08-26 14:18:01 +08:00
Formulations
=============
2012-12-14 17:06:27 +08:00
2016-10-12 13:58:02 +08:00
.. contents::
:depth: 2
:local:
2012-12-14 17:06:27 +08:00
Second-order force constants
2017-08-26 14:18:01 +08:00
-----------------------------
2012-12-14 17:06:27 +08:00
Potential energy of phonon system is represented as functions of atomic
positions:
.. math::
V[\mathbf{r}(j_1 l_1),\ldots,\mathbf{r}(j_n l_N)],
where :math:`\mathbf{r}(jl)` is the point of the :math:`j`-th atom in
the :math:`l`-th unit cell and :math:`n` and :math:`N` are the number
of atoms in a unit cell and the number of unit cells, respectively. A
force and a second-order force constant :math:`\Phi_{\alpha \beta}`
are given by
.. math::
F_\alpha(jl) = -\frac{\partial V }{\partial r_\alpha(jl)}
and
.. math::
\Phi_{\alpha\beta}(jl, j'l') = \frac{\partial^2
V}{\partial r_\alpha(jl) \partial r_\beta(j'l')} =
-\frac{\partial F_\beta(j'l')}{\partial r_\alpha(jl)},
respectively, where :math:`\alpha`, :math:`\beta`, ..., are the
Cartesian indices, :math:`j`, :math:`j'`, ..., are the indices of
atoms in a unit cell, and :math:`l`, :math:`l'`, ..., are
the indices of unit cells. In the finite displacement method, the
equation for the force constants is approximated as
.. math::
\Phi_{\alpha\beta}(jl, j'l') \simeq -\frac{
F_\beta(j'l';\Delta r_\alpha{(jl)}) - F_\beta(j'l')} {\Delta
r_\alpha(jl)},
where :math:`F_\beta(j'l'; \Delta r_\alpha{(jl)})` are the forces on
atoms with a finite displacement :math:`\Delta r_\alpha{(jl)}` and
usually :math:`F_\beta(j'l') \equiv 0`.
2013-08-04 14:21:46 +08:00
.. _force_constants_solver_theory:
2018-05-30 07:02:58 +08:00
2013-11-08 13:02:37 +08:00
Modified Parlinski-Li-Kawazoe method
2017-08-26 14:18:01 +08:00
-------------------------------------
2012-12-14 17:06:27 +08:00
2013-08-04 14:21:46 +08:00
The following is a modified and simplified version of the
2016-10-12 13:58:02 +08:00
Parlinski-Li-Kawazoe method, which is just a numerical fitting
approach to obtain force constants from forces and displacements.
2012-12-14 17:06:27 +08:00
The last equation above is represented by matrices as
.. math::
\mathbf{F} = - \mathbf{U} \mathbf{P},
where :math:`\mathbf{F}`, :math:`\mathbf{P}`, and :math:`\mathbf{U}`
2013-08-04 14:21:46 +08:00
for a pair of atoms, e.g. :math:`\{jl, j'l'\}`, are given by
2012-12-14 17:06:27 +08:00
.. math::
2018-05-30 07:02:58 +08:00
\mathbf{F} =
2012-12-14 17:06:27 +08:00
\begin{pmatrix}
2018-05-30 07:02:58 +08:00
F_{x} & F_{y} & F_{z}
2012-12-14 17:06:27 +08:00
\end{pmatrix},
.. math::
2013-08-04 14:21:46 +08:00
\mathbf{P} =
2012-12-14 17:06:27 +08:00
\begin{pmatrix}
2013-08-04 14:21:46 +08:00
\Phi_{xx} & \Phi_{xy} & \Phi_{xz} \\
\Phi_{yx} & \Phi_{yy} & \Phi_{yz} \\
\Phi_{zx} & \Phi_{zy} & \Phi_{zz}
2012-12-14 17:06:27 +08:00
\end{pmatrix},
.. math::
2013-08-04 14:21:46 +08:00
\mathbf{U} =
2012-12-14 17:06:27 +08:00
\begin{pmatrix}
2013-08-04 14:21:46 +08:00
\Delta r_{x} & \Delta r_{y} & \Delta r_{z} \\
2012-12-14 17:06:27 +08:00
\end{pmatrix}.
The matrix equation is expanded for number of
forces and displacements as follows:
.. math::
\begin{pmatrix}
\mathbf{F}_1 \\
\mathbf{F}_2 \\
\vdots
\end{pmatrix}
= -
\begin{pmatrix}
\mathbf{U}_1 \\
\mathbf{U}_2 \\
\vdots
\end{pmatrix}
\mathbf{P}.
With sufficient number of atomic displacements, this
may be solved by pseudo inverse such as
.. math::
\mathbf{P} = -
\begin{pmatrix}
\mathbf{U}_1 \\
\mathbf{U}_2 \\
\vdots
\end{pmatrix}^{+}
\begin{pmatrix}
\mathbf{F}_1 \\
\mathbf{F}_2 \\
\vdots
\end{pmatrix}.
Required number of atomic displacements to solve the simultaneous
equations may be reduced using site-point symmetries. The matrix
2013-08-04 14:21:46 +08:00
equation can be written using a symmetry operation as
2012-12-14 17:06:27 +08:00
.. math::
2013-08-04 14:21:46 +08:00
\hat{R}(\mathbf{F}) = -\hat{R}(\mathbf{U})\mathbf{P},
2012-12-14 17:06:27 +08:00
2013-08-04 14:21:46 +08:00
where :math:`\hat{R}` is the site symmetry
operation centring at
:math:`\mathbf{r}(jl)`. :math:`\hat{R}(\mathbf{F})` and :math:`\hat{R}(\mathbf{U})` are defined as
:math:`\mathbf{RF}(\hat{R^{-1}}(j'l'))` and :math:`\mathbf{RU}`,
respectively, where :math:`\mathbf{R}` is the matrix
representation of the rotation operation. The combined
simultaneous equations are built such as
2012-12-14 17:06:27 +08:00
.. math::
\begin{pmatrix}
\mathbf{F}^{(1)}_1 \\
\mathbf{F}^{(2)}_1 \\
\vdots \\
\mathbf{F}^{(1)}_2 \\
\mathbf{F}^{(2)}_2 \\
\vdots \end{pmatrix} = -
\begin{pmatrix}
2018-05-30 07:02:58 +08:00
\mathbf{U}^{(1)}_1 \\
2012-12-14 17:06:27 +08:00
\vdots \\
2013-08-04 14:21:46 +08:00
\mathbf{U}^{(2)}_1 \\
\mathbf{U}^{(1)}_2 \\
\mathbf{U}^{(2)}_2 \\
2012-12-14 17:06:27 +08:00
\vdots
\end{pmatrix}
\mathbf{P}.
where the superscript with parenthesis gives the index of
site-symmetry operations. This is solved by pseudo inverse.
.. _dynacmial_matrix_theory:
Dynamical matrix
2017-08-26 14:18:01 +08:00
-----------------
2012-12-14 17:06:27 +08:00
2013-08-04 14:21:46 +08:00
In phonopy, a phase convention of dynamical matrix is used as follows:
2012-12-14 17:06:27 +08:00
.. math::
2017-08-26 14:18:01 +08:00
:label: eq_dynmat
2012-12-14 17:06:27 +08:00
D_{\alpha\beta}(jj',\mathbf{q}) = \frac{1}{\sqrt{m_j m_{j'}}}
\sum_{l'}
\Phi_{\alpha\beta}(j0, j'l')
\exp(i\mathbf{q}\cdot[\mathbf{r}(j'l')-\mathbf{r}(j0)]),
where :math:`m` is the atomic mass and :math:`\mathbf{q}` is the wave
2013-11-08 13:02:37 +08:00
vector. An equation of motion is written as
2012-12-14 17:06:27 +08:00
.. math::
\sum_{j'\beta} D_{\alpha\beta}(jj',\mathbf{q}) e_\beta(j', \mathbf{q}\nu) =
m_j [ \omega(\mathbf{q}\nu) ]^2 e_\alpha(j, \mathbf{q}\nu).
where the eigenvector of the band index :math:`\nu` at
:math:`\mathbf{q}` is obtained by the diagonalization of
:math:`\mathbf{D}(\mathbf{q})`:
.. math::
\sum_{j \alpha j' \beta}e_\alpha(j',\mathbf{q}\nu)^* D_{\alpha\beta}(jj',\mathbf{q})
e_\beta(j',\mathbf{q}\nu') = [\omega(\mathbf{q}\nu)]^2 \delta_{\nu\nu'}.
2018-05-30 07:02:58 +08:00
2012-12-14 17:06:27 +08:00
The atomic displacements :math:`\mathbf{u}` are given as
.. math::
u_\alpha(jl,t) = \left(\frac{\hbar}{2Nm_j}\right)^{\frac{1}{2}}
\sum_{\mathbf{q},\nu}\left[\omega(\mathbf{q}\nu)\right]^{-\frac{1}{2}}
\left[\hat{a}(\mathbf{q}\nu)\exp(-i\omega(\mathbf{q}\nu)t)+
\hat{a}^\dagger(\mathbf{-q}\nu)\exp({i\omega(\mathbf{q}\nu)}t)\right]
\exp({i\mathbf{q}\cdot\mathbf{r}(jl)})
e_\alpha(j,\mathbf{q}\nu),
where :math:`\hat{a}^\dagger` and :math:`\hat{a}` are the creation and
annihilation operators of phonon, :math:`\hbar` is the reduced Planck
constant, and :math:`t` is the time.
2013-07-14 15:31:47 +08:00
.. _non_analytical_term_correction_theory:
Non-analytical term correction
2018-05-30 07:02:58 +08:00
-------------------------------------
2013-07-14 15:31:47 +08:00
2018-05-30 07:02:58 +08:00
To treat long range interaction of macroscopic electric field
2013-07-14 15:31:47 +08:00
induced by polarization of collective ionic motions near the
:math:`\Gamma`-point, non-analytical term is added to dynamical matrix
(:ref:`reference_NAC`). At
:math:`\mathbf{q}\to\mathbf{0}`, the dynamical matrix with
non-analytical term is given by,
.. math::
D_{\alpha\beta}(jj',\mathbf{q}\to \mathbf{0}) =
2015-09-25 16:22:43 +08:00
D_{\alpha\beta}(jj',\mathbf{q}=\mathbf{0})
+ \frac{1}{\sqrt{m_j m_{j'}}} \frac{4\pi}{\Omega_0}
2017-10-19 17:06:15 +08:00
\frac{\left[\sum_{\gamma}q_{\gamma}Z^{*}_{j,\gamma\alpha}\right]
\left[\sum_{\gamma'}q_{\gamma'}Z^{*}_{j',\gamma'\beta}\right]}
{\sum_{\alpha\beta}q_{\alpha}\epsilon_{\alpha\beta}^{\infty}
q_{\beta}}.
2013-07-14 15:31:47 +08:00
2018-05-30 07:02:58 +08:00
Phonon frequencies at general **q**-points with long-range
dipole-dipole interaction are calculated by the
method of Gonze *et al.* (:ref:`reference_dp_dp_NAC`).
2013-01-23 10:07:06 +08:00
.. _thermal_properties_expressions:
Thermodynamic properties
2017-08-26 14:18:01 +08:00
-------------------------
2013-01-23 10:07:06 +08:00
Phonon number
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
2013-03-25 18:52:41 +08:00
n = \frac{1}{\exp(\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B} T)-1}
2013-01-23 10:07:06 +08:00
Harmonic phonon energy
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~~~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
E = \sum_{\mathbf{q}\nu}\hbar\omega(\mathbf{q}\nu)\left[\frac{1}{2} +
2013-03-25 18:52:41 +08:00
\frac{1}{\exp(\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B} T)-1}\right]
2013-01-23 10:07:06 +08:00
Constant volume heat capacity
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
C_V &= \left(\frac{\partial E}{\partial T} \right)_V \\
2013-03-25 18:52:41 +08:00
&= \sum_{\mathbf{q}\nu} k_\mathrm{B}
\left(\frac{\hbar\omega(\mathbf{q}\nu)}{k_\mathrm{B} T} \right)^2
\frac{\exp(\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B}
2018-05-30 07:02:58 +08:00
T)}{[\exp(\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B} T)-1]^2}
2013-01-23 10:07:06 +08:00
Partition function
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
2013-03-25 18:52:41 +08:00
Z = \exp(-\varphi/k_\mathrm{B} T) \prod_{\mathbf{q}\nu}
\frac{\exp(-\hbar\omega(\mathbf{q}\nu)/2k_\mathrm{B}
2018-05-30 07:02:58 +08:00
T)}{1-\exp(-\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B} T)}
2013-01-23 10:07:06 +08:00
Helmholtz free energy
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
2013-03-25 18:52:41 +08:00
F &= -k_\mathrm{B} T \ln Z \\
2013-01-23 10:07:06 +08:00
&= \varphi + \frac{1}{2} \sum_{\mathbf{q}\nu}
2013-03-25 18:52:41 +08:00
\hbar\omega(\mathbf{q}\nu) + k_\mathrm{B} T \sum_{\mathbf{q}\nu} \ln
2018-05-30 07:02:58 +08:00
\bigl[1 -\exp(-\hbar\omega(\mathbf{q}\nu)/k_\mathrm{B} T) \bigr]
2013-01-23 10:07:06 +08:00
Entropy
2017-08-26 14:18:01 +08:00
~~~~~~~~
2013-01-23 10:07:06 +08:00
.. math::
2017-10-19 17:06:15 +08:00
S &= -\frac{\partial F}{\partial T} \\ &= \frac{1}{2T}
\sum_{\mathbf{q}\nu} \hbar\omega(\mathbf{q}\nu)
\coth(\hbar\omega(\mathbf{q}\nu)/2k_\mathrm{B}T)-k_\mathrm{B}
\sum_{\mathbf{q}\nu}
\ln\left[2\sinh(\hbar\omega(\mathbf{q}\nu)/2k_\mathrm{B}T)\right]
2013-01-23 10:07:06 +08:00
2017-10-19 17:06:15 +08:00
.. include:: thermal-displacement.inc
2013-12-04 12:47:15 +08:00
2017-10-19 17:06:15 +08:00
.. include:: group-velocity.inc
2015-09-25 16:22:43 +08:00
.. _physical_unit_conversion:
2016-10-12 13:58:02 +08:00
Physical unit conversion
2017-08-26 14:18:01 +08:00
-------------------------
2015-09-25 16:22:43 +08:00
Phonopy calculates phonon frequencies based on input values from
users. In the default case, the physical units of distance, atomic
mass, force, and force constants are supposed to be
2019-07-08 15:17:09 +08:00
:math:`\text{Angstrom}`, :math:`\text{AMU}`, :math:`\text{eV/Angstrom}`, and
:math:`\text{eV/Angstrom}^2`, respectively, and the physical unit of the
2015-09-25 16:22:43 +08:00
phonon frequency is converted to THz. This conversion is made as
follows:
Internally phonon frequency has the physical unit of
2019-07-08 15:17:09 +08:00
:math:`\sqrt{\text{eV/}(\text{Angstrom}^2\cdot \text{AMU})}` in angular
2015-09-25 16:22:43 +08:00
frequency. To convert this unit to THz (not angular frequency), the
calculation of ``sqrt(EV/AMU)/Angstrom/(2*pi)/1e12`` is made. ``EV``,
``AMU``, ``Angstrom`` are the values to convert them to those in the
SI base unit, i.e., to Joule, kg, and metre, respectively. These values
implemented in phonopy are found at `a phonopy github page
2020-02-29 11:17:17 +08:00
<https://github.com/phonopy/phonopy/blob/master/phonopy/units.py>`_. This
2015-09-25 16:22:43 +08:00
unit conversion factor can be manually specified. See
:ref:`frequency_conversion_factor_tag`.
2015-09-25 16:22:43 +08:00
The unit conversion factor in the ``BORN`` file is multiplied with the second
term of the right hand side of the equation in
:ref:`non_analytical_term_correction_theory` where this equation is written
with atomic units (:ref:`Gonze and Lee, 1997 <reference_NAC>`).
The physical unit of the part of the equation corresponding to force
constants:
.. math::
2016-10-12 13:58:02 +08:00
2015-09-25 16:22:43 +08:00
\frac{4\pi}{\Omega_0}
\frac{[\sum_{\gamma}q_{\gamma}Z^{*}_{j,\gamma\alpha}]
[\sum_{\gamma'}q_{\gamma'}Z^{*}_{j',\gamma'\beta}]}
{\sum_{\alpha\beta}q_{\alpha}\epsilon_{\alpha\beta}^{\infty} q_{\beta}}.
is :math:`[\text{hartree}/\text{bohr}^2]`. In the default case for the
VASP interface, internally :math:`\Omega_0` is given in
2019-07-08 15:17:09 +08:00
:math:`\text{Angstrom}^3`. In total, the necessary unit conversion is
2015-09-25 16:22:43 +08:00
:math:`(\text{hartree} \rightarrow \text{eV}) \times (\text{bohr}
2019-07-08 15:17:09 +08:00
\rightarrow \text{Angstrom})=14.4`. In the default case of the Wien2k
2015-09-25 16:22:43 +08:00
interface, the conversion factor is :math:`(\text{hartree}
\rightarrow \text{mRy})=2000`. For the other interfaces, the
conversion factors are similarly calculated following the unit
systems employed in phonopy (:ref:`calculator_interfaces`).
2018-05-30 07:02:58 +08:00
2016-10-12 13:58:02 +08:00
.. _definition_of_commensurate_points:
2017-08-26 14:18:01 +08:00
Crystal structure
------------------
Coordinates in direct and reciprocal spaces
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
As usual, in phonopy, the Born-von Karman boundary condition is
assumed. Basis vectors of a primitive lattice are defined in three
column vectors :math:`( \mathbf{a} \; \mathbf{b} \; \mathbf{c}
)`. Coordinates of a point in the direct space :math:`\mathbf{r}` is
2017-08-26 15:10:30 +08:00
represented with respect to these basis vectors. The direct lattice
points are given by :math:`i
\mathbf{a} + j \mathbf{b} + k \mathbf{a}, \{i,
j, k \in \mathbb{Z}\}`, and the points for atoms in a unit cell :math:`x
\mathbf{a} + y \mathbf{b} + z \mathbf{a}, \{0 \le x, y, z
< 1\}`. Basis vectors of the reciprocal
lattice may be given by three row vectors, :math:`( \mathbf{a}^{*T}
/\; \mathbf{b}^{*T} /\; \mathbf{c}^{*T} )`, but here they are defined
as three column vectors as :math:`( \mathbf{a}^{*} \; \mathbf{b}^{*}
\; \mathbf{c}^{*} )` with
2017-08-26 14:18:01 +08:00
.. math::
:label: eq_rec_basis_vectors
\mathbf{a}^{*} &= \frac{\mathbf{b} \times \mathbf{c}}{\mathbf{a} \cdot
(\mathbf{b} \times \mathbf{c})}, \\
\mathbf{b}^{*} &= \frac{\mathbf{c} \times \mathbf{a}}{\mathbf{b} \cdot
(\mathbf{c} \times \mathbf{a})}, \\
\mathbf{c}^{*} &= \frac{\mathbf{a} \times \mathbf{b}}{\mathbf{c} \cdot
(\mathbf{a} \times \mathbf{b})}.
Coordinates of a point in the reciprocal space :math:`\mathbf{q}` is
represented with respect to these basis vectors, therefore :math:`q_x
2017-08-26 15:10:30 +08:00
\mathbf{a}^{*} + q_y \mathbf{b}^{*} + q_z \mathbf{c}^{*}`. The
reciprocal lattice points are given by :math:`G_x\mathbf{a}^{*} + G_y
\mathbf{b}^{*} + G_z \mathbf{c}^{*}, \{G_x,
G_y, G_z \in \mathbb{Z}\}`. Following these definition, phase
factor should be represented as :math:`\exp(2\pi
i\mathbf{q}\cdot\mathbf{r})`, however in phonopy documentation,
:math:`2\pi` is implicitly included and not shown, i.e., it is
represented like :math:`\exp(i\mathbf{q}\cdot\mathbf{r})` (e.g., see
Eq. :eq:`eq_dynmat`). In the output of the reciprocal basis vectors,
:math:`2\pi` is not included, e.g., in ``band.yaml``.
2017-08-26 14:18:01 +08:00
In phonopy, unless :ref:`primitive_axis_tag` (or ``--pa`` option) is
specified, basis vectors in direct space :math:`( \mathbf{a} \;
\mathbf{b} \; \mathbf{c})` are set from the input unit celll structure
even if it is a supercell or a conventional unit cell having centring,
therefore the basis vectors in the reciprocal space are given by
Eq. :eq:`eq_rec_basis_vectors`. When using :ref:`primitive_axis_tag`,
2017-08-26 14:25:42 +08:00
:math:`( \mathbf{a} \; \mathbf{b} \; \mathbf{c})` are set from those
transformed by the transformation matrix :math:`M_\text{p}` as written
at :ref:`primitive_axis_tag`, therefore :math:`( \mathbf{a}^{*} \;
\mathbf{b}^{*} \; \mathbf{c}^{*} )` are given by those calculated
following Eq. :eq:`eq_rec_basis_vectors` with this :math:`( \mathbf{a}
\; \mathbf{b} \; \mathbf{c})`.
2017-08-26 14:18:01 +08:00
2016-10-12 13:58:02 +08:00
Commensurate points
2017-08-26 14:18:01 +08:00
~~~~~~~~~~~~~~~~~~~~
2016-10-12 13:58:02 +08:00
In phonopy, so-called commensurate points mean the q-points whose waves are
confined in the supercell used in the phonon calculation.
To explain about the commensurate points, let basis vectors of a
2016-10-12 14:10:09 +08:00
primitive cell in direct space cell be the column vectors
2016-10-12 13:58:02 +08:00
:math:`(\mathbf{a}_\mathrm{p} \; \mathbf{b}_\mathrm{p} \;
\mathbf{c}_\mathrm{p})` and those of the supercell be
:math:`(\mathbf{a}_\mathrm{s} \; \mathbf{b}_\mathrm{s} \;
\mathbf{c}_\mathrm{s})`. The transformation of the basis vectors from
the primitive cell to the supercell is written as
.. math::
( \mathbf{a}_\mathrm{s} \; \mathbf{b}_\mathrm{s} \; \mathbf{c}_\mathrm{s} )
= ( \mathbf{a}_\mathrm{p} \; \mathbf{b}_\mathrm{p} \;
\mathbf{c}_\mathrm{p} ) \boldsymbol{P}.
:math:`\boldsymbol{P}` is given as a :math:`3\times 3` matrix and its
elements are all integers, which is a constraint we have. The
resolution for q-points being the commensurate points is determined by
:math:`\boldsymbol{P}` since one period of a wave has to be bound by
any of lattice points inside the supercell. Therefore the number of
commensurate points becomes the same as the number of the primitive
cell that can be contained in the supercell, i.e.,
:math:`\det(\boldsymbol{P})`.
Then let the basis vectors in reciprocal space be the column vectors
:math:`(\mathbf{a}^*_\mathrm{p} \; \mathbf{b}^*_\mathrm{p} \;
\mathbf{c}^*_\mathrm{p})`. Note that often reciprocal vectors are
deifned by row vectors, but column vectors are chosen here to
formulate. Formally we see the set of besis vectors are :math:`3\times
3` matrices, we have the following relation:
.. math::
( \mathbf{a}^*_\mathrm{p} \;
2017-08-26 14:18:01 +08:00
\mathbf{b}^*_\mathrm{p} \; \mathbf{c}^*_\mathrm{p} ) = (
2016-10-12 13:58:02 +08:00
\mathbf{a}_\mathrm{p} \; \mathbf{b}_\mathrm{p} \;
\mathbf{c}_\mathrm{p} )^{-\mathbf{T}}.
Similarly for the supercell, we define a relation
.. math::
( \mathbf{a}^*_\mathrm{s} \;
2017-08-26 14:18:01 +08:00
\mathbf{b}^*_\mathrm{s} \; \mathbf{c}^*_\mathrm{s} ) = (
2016-10-12 13:58:02 +08:00
\mathbf{a}_\mathrm{s} \; \mathbf{b}_\mathrm{s} \;
\mathbf{c}_\mathrm{s} )^{-\mathbf{T}}.
2018-05-30 07:02:58 +08:00
Then
2016-10-12 13:58:02 +08:00
.. math::
( \mathbf{a}^*_\mathrm{s} \; \mathbf{b}^*_\mathrm{s} \;
\mathbf{c}^*_\mathrm{s} ) \boldsymbol{P}^{\mathrm{T}} = (
\mathbf{a}^*_\mathrm{p} \; \mathbf{b}^*_\mathrm{p} \;
\mathbf{c}^*_\mathrm{p} ).
To multiply an arbitrary q-point :math:`\mathbf{q}` on both sides
.. math::
( \mathbf{a}^*_\mathrm{s} \; \mathbf{b}^*_\mathrm{s} \;
\mathbf{c}^*_\mathrm{s} ) \boldsymbol{P}^{\mathrm{T}} \mathbf{q} = (
\mathbf{a}^*_\mathrm{p} \; \mathbf{b}^*_\mathrm{p} \;
\mathbf{c}^*_\mathrm{p} ) \mathbf{q},
we find the constraint of a q-point being one of the commensurate points is
the elements of :math:`\boldsymbol{P}^{\mathrm{T}} \mathbf{q}` to be integers.