Tables for
Volume C
Mathematical, physical and chemical tables
Edited by E. Prince

International Tables for Crystallography (2006). Vol. C, ch. 8.3, pp. 693-698

Section 8.3.1. Constrained models

E. Prince,a L. W. Fingerb and J. H. Konnertc

aNIST Center for Neutron Research, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA,bGeophysical Laboratory, Carnegie Institution of Washington, 5251 Broad Branch Road NW, Washington, DC 20015-1305, USA, and cLaboratory for the Structure of Matter, Code 6030, Naval Research Laboratory, Washington, DC 20375-5000, USA

8.3.1. Constrained models

| top | pdf |

The techniques of least squares are applicable for refining almost any model, but the question of the suitability of the model remains. The addition of parameters may reduce the residual disagreement, but lead to solutions that have no physical or chemical validity. Addition of constraints is one method of constricting the solutions. Lagrange undetermined multipliers

| top | pdf |

The classical technique for application of constraints is the use of Lagrange undetermined multipliers, in which the set of p parameters, [x_j], is augmented by [p-q] [(q\lt p)] additional unknowns, λk, one for each constraint relationship desired. The problem may be stated in the form: find the minimum of [S=\textstyle\sum\limits_{i=1}^nw_i[y_i-M_i({\bf x})]^2,\eqno (]subject to the condition [f_k({\bf x})=0\quad (k=1,2,\ldots,p-q).\eqno (]This may be shown (Gill, Murray & Wright, 1981[link]) to be equivalent to the problem: find a point at which the gradient of [S^{\prime }=\textstyle\sum\limits_{i=1}^nw_i[y_i-M_i({\bf x})]^2+\textstyle\sum\limits_{k=1}^{p-q}\lambda _k\;f_k({\bf x})\eqno (]vanishes. Solving for the stationary point leads to a set of simultaneous equations of the form [\partial S^{\prime }/\partial x_j=\partial S/\partial x_j+\textstyle\sum\limits _{k=1}^{p-q}\lambda _k\partial f_k({\bf x})/\partial x_j=0\eqno (]and [\partial S^{\prime }/\partial \lambda _k=f_k({\bf x})=0.\eqno (]Thus, the number of equations, and the number of unknowns, is increased from p to 2pq. In cases where the number of constraint relations is small, and where it may be difficult to solve the relations for some of the parameters in terms of the rest, this method yields the desired results without too much additional computation (Ralph & Finger, 1982[link]). With the large numbers of parameters, and large numbers of constraints, that arise in many crystallographic problems, however, the use of Lagrange multipliers is computationally inefficient and cumbersome. Direct application of constraints

| top | pdf |

In most cases encountered in crystallography, constraints may be applied directly, thus reducing rather than increasing the size of the normal-equations matrix. For each constraint introduced, one of the parameters becomes dependent on the remaining set, and the rank of the remaining system is reduced by one. For p parameters and pq constraints, the problem reduces to q parameters. If the Gauss–Newton algorithm is used (Section 8.1.4[link] ), the normal-equations matrix is ATWA, where [A_{ij}=\partial M_i/\partial x_j,\eqno (]and W is a weight matrix. A constrained model, [M_i({\bf z})], maybe constructed using relations of the form [x_j=g_j(z_1,z_2,\ldots, z_q).\eqno (]Applying the chain rule for differentiation, the normal-equations matrix for the constrained model is BTWB, where [B_{ik}=\partial M_i({\bf x})/\partial z_k=\textstyle\sum\limits_{j=1}^p\, [\partial M_i({\bf x})/\partial x_j](\partial x_j/\partial z_k).\eqno (]This may be written in matrix form B = AC, where [C_{jk}=\partial x_j/\partial z_k] defines a [p\times q] constraint matrix. The application of constraints involves (a) determination of the model to be used, (b) calculation of the elements of C, and (c) computation of the modified normal-equations matrix.

The construction of matrix C by a procedure known as the variable reduction method may be presented formally as follows: Designate by Z the matrix whose elements are [Z_{jk}=\partial g_j({\bf x})/\partial x_k,\eqno (]and partition Z in the form Z = (U, V), where V is composed of (pq) columns of Z chosen to be linearly independent, so that V is nonsingular. [V is shown as the last (pq) columns only for convenience. Any linearly independent set may be chosen.] The rows of Z form a basis for a (pq)-dimensional subspace of the p-dimensional parameter space, and we wish to construct a basis for z, a q-dimensional subspace that is orthogonal to it, so that all shifts within that subspace starting at a point where the constraints are satisfied, a feasible point, leave the values of the constraint relations unchanged. This basis is used for the columns of C, which is given by [{\bi C}=\left (\matrix {{\bi I}_q \cr -{\bi V}^{-1}{\bi U}}\right). \eqno (]In this formulation, the columns of V correspond to dependent parameters that are functions of the independent parameters corresponding to the columns of U.

Most existing programs provide for the calculation of the structure factor, F, and its partial derivatives with respect to a conventional set of parameters, including occupancy, position, isotropic or anisotropic atomic displacement factors, and possibly higher cumulants of an atomic density function (Prince, 1994[link]). The constrained calculation is usually performed by evaluating selected elements, [\partial x_j/\partial z_k]. Because the constraint matrix is often extremely sparse, calculation of a limited sum involving only the nonzero elements is usually computationally superior to a full matrix multiplication. After adjustment of the z's, equations ([link] are used to update the parameters. Using this procedure, it is not necessary to express the structure factor, or its derivatives, in terms of the refined parameters. This is particularly important when the constrained model involves arbitrary molecular shapes or rigid-body thermal motions.

The need for constraints arises most frequently when the crystal structure contains atoms in special positions. Here, certain parameters will be constant or linearly related to others. If a parameter is constrained to be a constant, the corresponding row of C will contain zeros, and that column will be ignored. When parameters are linearly dependent on others, which may occur in trigonal, hexagonal, tetragonal and cubic space groups, the modification indicated in ([link] cannot be avoided. The constraint relationships among position parameters are trivial. Levy (1956[link]) described an algorithm for determining the constraints that pertain to second and higher cumulants in the structure-factor formula. Table[link] is a summary of relations that are found for anisotropic atomic displacement factors, with a listing of the space groups in which they occur. Johnson (1970[link]) provides a table listing the number of unique coefficients for each possible site symmetry for tensors of various ranks, which is useful information for verification of constraint relationships.

Table| top | pdf |
Symmetry conditions for second-cumulant tensors

If more than one condition is applicable for a space group, the site is identified by its Wyckoff notation following the space-group symbol. The stated conditions are valid only for the first equipoint listed for the position. For space groups with alternative choices of origin, the option with a centre of symmetry has been selected.

(A) Monoclinic.

(1) Site symmetry m, 2, 2/m – four independent elements
  • (a) β12 = β23 = 0; one principal axis parallel to [010]

    All groups with unique axis b

  • (b) β13 = β23 = 0; one principal axis parallel to [001]

    All groups with unique axis c

(B) Orthorhombic.

(1) Site symmetry m, 2, 2/m – four independent elements
  • (a) β12 = β13 = 0; one principal axis parallel to [100]

    [P222(i,j,k,l)], [P222_1(a,b)], [C222_1(a)], [C222(e,f)], [F222(e,j)], [I222(e,f)], [I2_12_12_1(a)], [Pmm2(g,h)], [Pmc2_1], [Pma2(c)], [Pmn2_1], [Cmm2(e)], [Cmc2_1], [Amm2(d,e)], [Ama2(b)], [Fmm2(c)], [Imm2(d)], [Ima2(b)], [Pmmm(u,v)], [Pnnn(g,h)], [Pccm(i,j)], [Pban(g,h)], [Pmma(k)], [Pnna(d)], [Pmna(a,b,c,d,e,f,h)], [Pbcm(c)], [Pmmn(e)], [Cmcm(a,b,e,f)], [Cmca(a,b,d,f)], [Cmmm(n)], [Cccm(g)], [Cmma(c,d,h,i,m)], [Ccca(e)], [Fmmm(c,l,m)], [Fddd(e)], [Immm(l)], [Ibam(\,f)], [Ibca(c)], [Imma(a,b,f,h)]

  • (b) β12 = β23 = 0; one principal axis parallel to [010]

    [ P222(m,n,o,p)], [P222_1(c,d)], [C222_1(b)], [C222(g,h)], [F222(\,f,i)], [I222(g,h)], [I2_12_12_1(b)], [Pmm2(e,f)], [Cmm2(d)], [Amm2(c)], [Abm2(c)], [Fmm2(d)], [Imm2(c)], [Pmmm(w,x)], [Pnnn(i,j)], [Pccm(k,l)], [Pban(i,j)], [Pmma(a,b,c,d,g,h,i,j)], [Pmna(g)], [Pcca(c)], [Pmmm(\,f)], [Pbcn], [Pnma], [Cmca(e)], [Cmmm(o)], [Cccm(h)], [Cmma (e,f,j,k,n)], [Ccca(\,f)], [Fmmm(d,k,n)], [Fddd(\,f)], [Immm(m)], [Ibam(g)], [Ibca(d)], [Imma(c,d,g,i)]

  • (c) β13 = β23 = 0; one principal axis parallel to [001]

    [P222(q,r,s,t)], [P2_12_12], [C222(i,j,k)], [F222(g,h)], [I222(i,j)], [I2_12_12_1(c)], [Pcc2], [Pma2(a,b)], [Pnc2], [Pba2], [Pnn2], [Cmm2(c)], [Ccc2], [ Abm2(a,b)], [Ama2(a)], [Aba2], [Fmm2(b)], [Fdd2], [Iba2], [Ima2(a)], [Pmmm(y,z)], [Pnnn(k,l)], [Pccm(a,b,c,d,m,n,o,p,q)], [Pban(k,l)], [ Pnna(c)], [Pcca(d,e)], [Pbam], [Pccn], [Pbcm(d)], [Pnnm], [Cmcm(g)], [Cmmm(e,f,m,p,q)], [Cccm(c,d,e,f,i,j,k,l)], [Cmma(l)], [Ccca(g,h)], [Fmmm(e,j,o)], [Fddd(g)], [Immm(n)], [Ibam(c,d,h,i,j)], [Ibca(e)]

(2) Site symmetry mm2, 222, mmm – three independent elements
  • (a) β12 = β13 = β23 = 0; principal axes parallel to crystal axes

    All space groups

(C) Tetragonal.

(1) Site symmetry m, 2, 2/m – four independent elements
  • (a) β12 = β13 = 0; one principal axis parallel to [100]

    [ P422(l,m,n,o)], [P4_222(\,j,k,l,m)], [I422(h,i)], [I4_122(\,f)], [I4_1md], [P\overline {4}2m(i,j,k,l)], [P\overline {4}2c(g,i)], [I\overline {4}2m(\,f,g)], [I\overline {4}2d(d)], [P4/mcc(k,l)], [P4/nbm(k,l)], [P4/nnc(i,j)], [P4/nmm(i)], [P4_2/mmc(o,p)], [P4_2/mcm(l,m)], [P4_2/nbc(h,i)], [P4_2/nnm(i,j)], [P4_2/nmc(g)], [ I4/mmm(n)], [I4/mcm(\,j)], [I4_1/amd(c,d,f,h)], [I4_1/acd(e)]

  • (b) β12 = β23 = 0; one principal axis parallel to [010]

    [P4_122(a,b)], [P4_322(a,b)], [P4mm(e,f)], [P4_2mc], [I4mm(d)], [P\overline {4}2c(h,j)], [P\overline {4}m2(\,j,k)], [I\overline {4}m2(i)], [P4/mmm(s,t)]

  • (c) β13 = β23 = 0; one principal axis parallel to [001]

    [P4], [P4_2], [I4], [I4_1], [P\overline {4}], [I\overline {4}], [P4/m], [P4_2/m], [P4/n], [P4_2/n], [I4/m], [I4_1/a], [P422(i)], [P42_12(d)], [P4_222(g,h,i)], [P4_22_12(c,d)], [I422(\,f)], [I4_122(c)], [P4_2cm(c)], [P4_2nm(b)], [P4cc], [P4nc], [P4_2bc], [I4_1cd], [P\overline {4}2m(m)], [P\overline {4}2c(k,l,m)], [P\overline {4}2_1m(d)], [P\overline {4}21c], [P\overline {4}c2(g,h,i)], [P\overline {4}b2(e,f)], [P\overline {4}n2(e,h)], [I\overline {4}c2(\,f,g)], [I\overline {4}2m(h)], [I\overline {4}2d(c)], [P4/mmm(\,p,q)], [P4/mcc(e,i,m)], [P4/nnc(g)], [P4/mbm(i,j)], [P4/mnc(c,f,h)], [ P4/ncc(e)], [P42/mmc(q)], [P4_2/mcm(\,f,k,n)], [P4_2/nbc(\,f,g)], [P4_2/nnm(h)], [P4_2/mbc(a,c,e,f,h)], [P4_2/mnm(c,h,i)], [P4_2/ncm(\,f)], [I4/mmm(l)], [I4/mcm(k)], [I4_1/acd(d)]

  • (d) β11 = β22, β13 = −β23; one principal axis parallel to [110]

    [P422(\,j,k)], [P42_12(e,f)], [P4_122(c)], [P4_12_12], [P4_222(n,o)], [P4_22_12(e,f)], [P4_322(c)], [P4_32_12], [I422(g,j)], [I4_122(d)], [P\overline {4}m2(h,i)], [P\overline {4}c2(e,f)], [P\overline {4}b2(g,h)], [P\overline {4}n2(g)], [I\overline {4}m2(g,h)], [I\overline {4}c2(e,h)], [P4/mcc(\,j)], [P4/nbm(e,f,i,j,m)], [P4/nnc(h)], [P4/mnc(g)], [P4_2/mmc(n)], [P4_2/nbc(\,j)], [P4_2/nnm(e,f,k,l,m)], [P4_2/mbc(g)], [I4/mmm(k)], [I4/mcm(e,i)], [I4_1/amd(g)], [I4_1/acd(\,f)]

  • (e) β11 = β22, β13 = β23; one principal axis parallel to [[1\overline {1}0]]

    [I4_122(e)], [P4mm(d)], [P4bm], [P4_2cm(d)], [P4_2nm(c)], [I4mm(c)], [I4cm], [P\overline {4}2m(n)], [P\overline {4}2_1m(e)], [P\overline {4}n2(\,f)], [I\overline {4}2m(i)], [P4/mmm(r)], [P4/mbm(k)], [P4/nmm(d,e,g,h,j)], [P4/ncc(\,f)], [P4_2/mcm(o)], [P4_2/mnm(\,j)], [P4_2/nmc(\,f)], [P4_2/ncm(c,d,g,h,i)], [I4/mmm(\,f,m)], [I4/mcm(l)]

(2) Site symmetry mm2, 222, mmm – three independent elements
  • (a) β12 = β13 = β23 = 0; principal axes parallel to crystal axes

    [P422], [ P4_222(a,b,c,d)], [I422(c)], [P4mm], [P4_2mc], [ I4mm], [ I4_1md], [ P\overline {4}2m(e,f)], [ P\overline {4}2c], [ P\overline {4}m2], [ I\overline {4}m2], [ I\overline {4}2m(c)], [P4/mmm(e,f,i,l,m,n,o)], [P4/mcc], [P4/nnc], [P4/nmm], [P4_2/mmc], [P4_2/mcm(e)], [P4_2/nbc(a,b)], [P4_2/nnm(c)], [P4_2/nmc], [I4/mmm(c,g,i,j)], [I4_1/amd]

  • (b) β11 = β22, β13 = β23 = 0; principal axes parallel to [110], [[1\overline {1}0]] and [001]

    [P42_12], [P4_222(e,f)], [P4_22_12], [I422(d)], [I4_122], [P4bm], [P4_2cm], [P4_2nm], [I4cm], [P\overline {4}2m(g,h)], [P\overline {4}2_1m], [P\overline {4}c2], [P\overline {4}b2], [P\overline {4}n2], [I\overline {4}c2], [I\overline {4}2m(e)], [P4/mmm(\,j,k)], [P4/nbm], [P4/mbm], [P4/mnc], [P4/ncc], [P4_2/mcm(a,c,g,h,i,j)], [P4_2/nbc(c)], [P4_2/nnm(d,g)], [P4_2/mbc], [P4_2/mnm], [P4_2/ncm], [I4/mmm(h)], [I4/mcm], [I4_1/acd]

(3) Site symmetry 4, [\overline {4}], 4/m, 4mm, [\overline {4}2m], 422, 4/mmm – two independent elements
  • (a) β11 = β22, β12 = β13 = β23 = 0; uniaxial with unique axis parallel to [001]

    All space groups

(D) Trigonal (hexagonal axes) and hexagonal.

(1) Site symmetry m, 2, 2/m – four independent elements
  • (a) β13 = β23 = 0; one principal axis parallel to [001]

    [P6], [P6_2], [P6_4], [P\overline 6], [P6/m], [P6_3/m], [P622(i)], [P6_222(e,f)], [P6_422(e,f)], [P6cc], [P \overline 6m2(l,m)], [P\overline 6c2(k)], [P\overline 62m(\,j,k)], [P\overline 62c(h)], [P6/mmm(\,p,q)], [P6/mcc(g,i,l)], [P6_3/mcm(\,j)], [P6_3/mmc(\,j)]

  • (b) β11 = β22, β13 = −β23; one principal axis parallel to [110]

    [P3m1], [R3m], [P\overline 3m1(i)], [R\overline 3m(h)], [P6mm(e)], [P6_3mc], [P\overline 6m2(n)]

  • (c) β11 = β22, β13 = β23; one principal axis parallel to [[2\overline 10]]

    [P312], [P3_112], [P3_212], [P\overline 31m(i,j)], [P\overline 31c], [P622(l,m)], [P\overline 6c2(\;j)]

  • (d) β22 = 2β12, 2β13 = β23; one principal axis parallel to [100]

    [P321], [P3_121], [P3_221], [R32], [P\overline {3}m1(e,f,g,h)], [P\overline {3}c1], [R\overline {3}m(d,e,f,g)], [R\overline {3}c], [P622(\,j,k)], [P6_122(a)], [P6_522(a)], [P6_222(g,h)], [P6_422(g,h)], [P6_322(g)], [P\overline {6}2c(g)], [P6/mmm(o)], [P6/mcc(\,j)], [P6_3/mmc(g,i,k)]

  • (e) β22 = 2β12, β23 = 0; one principal axis parallel to [210]

    [P31m], [P\overline {3}1m(\,f,g,k)], [P6_122(b)], [P6_522(b)], [P6_222(i,j)], [P6_422(i,j)], [P6_322(h)], [P6mm(d)], [P6_3cm], [P\overline {6}2m(i)], [P6/mmm(n)], [P6/mcc(k)], [P6_3/mcm(\,f,i,k)]

(2) Site symmetry mm2, 222, mmm – three independent elements
  • (a) β22 = 2β12, β13 = β23 = 0; principal axes parallel to [100] and [001]

    [P622], [P6_222], [P6_422], [P6mm], [P\overline {6}2m], [P6/mmm], [P6/mcc], [P6_3/mcm], [P6_3/mmc]

  • (b) β11 = β22, β13 = β23 = 0; principal axes parallel to [110], [[2\overline {1}0]] and [001]

    [P\overline {6}m2]

(3) Site symmetry 3, [\overline {3}], 3m, 32, [\overline {3}m], [\overline {6}], 6, 6/m, [\overline {6}m2], 6mm, 622, [6/mmm] – two independent elements
  • (a) β11 = β22 = 2β12, β13 = β23 = 0; unique axis parallel to c

    All space groups

(E) Cubic.

(1) Site symmetry m, 2, 2/m – four independent elements
  • (a) β12 = β13 = 0; one principal axis parallel to [100]

    [P23], [F23], [I23], [I2_13], [Pm\overline {3}], [Pn\overline {3}], [Fm\overline {3}], [Fd\overline {3}], [Im\overline {3}], [Ia\overline {3}], [P432(h)], [P4_232(h,i,j)], [F432(i)], [F4_132(\,f)], [I432(g)], [I4_132(\,f)], [P\overline {4}3m(h)], [I\overline {4}3m(\,f)], [P\overline {4}3n], [F\overline {4}3c], [I\overline {4}3d], [Pm\overline {3}m(k,l)], [Pn\overline {3}n(g)], [Pm\overline {3}n(k)], [Pn\overline {3}m(h)], [Fm\overline {3}m(\,j)], [Fm\overline {3}c(i)], [Fd\overline {3}c(\,f)], [Im\overline {3}m(\,j)], [Ia\overline {3}d(\,f)]

  • (b) β11 = β22, β13 = β23; one principal axis parallel to [[1\overline {1}0]]

    [P\overline {4}3m(i)], [F\overline {4}3m], [I\overline {4}3m(g)], [Pm\overline {3}m(m)], [Pn\overline {3}m(k)], [Fm\overline {3}m(k)], [Fd\overline {3}m(g)], [Im\overline {3}m(k)]

  • (c) β22 = β33, β12 = −β13; one principal axis parallel to [011]

    [P432(i,j)], [P4_232(l)], [F432(g,h)], [I432(h)], [P4_132], [I4_132(g)], [Pn\overline {3}n(h)], [Pm\overline {3}n(\,j)], [Pn\overline {3}m(\,j)], [Fm\overline {3}c(h)]

  • (d) β22 = β33, β12 = β13; one principal axis parallel to [[01\overline 1]]

    [ P4_232(k)], [F4_132(g)], [I432(i)], [P4_332], [I4_132(h)], [Pn\overline 3m(i)], [Fd\overline 3m(h,i)], [Fd\overline 3c(g)], [Im\overline 3m(i)], [Ia\overline 3d(g)]

(2) Site symmetry mm2, 222, mmm – three independent elements
  • (a) β12 = β13 = β23 = 0; principal axes parallel to crystal axes

    [P23], [I23], [Pm\overline 3], [Pn\overline 3], [Fm\overline 3], [Im\overline 3], [P4_232(d)], [P\overline 43n], [Pm\overline 3m(h)], [Pm\overline 3n], [Fm\overline 3c], [Im\overline 3m(g)]

  • (b) β22 = β33, β12 = β13 = 0; principal axes parallel to [011], [[01\overline 1]] and [100]

    [P4_232(e,f)], [F432], [I432], [I4_132], [P\overline 43m], [F\overline 43m], [I\overline 43m], [Pm\overline 3m(i,j)], [Pn\overline 3m], [Fm\overline 3m], [Fd\overline 3m], [Im\overline 3m(h)], [Ia\overline 3d]

(3) Site symmetry 3, [\overline 3], 3m, 32, [\overline 3m], [\overline 6], 6, 6/m, [\overline 6m2], 6mm, 622, 6/mmm – two independent elements
  • (a) β11 = β22 = β33, β12 = β13 = β23; unique axis parallel to [111]

    All space groups

(4) Site symmetry 4, [\overline {4}], 4/m, 4mm, [\overline {4}2m], 422, 4/mmm – two independent elements
  • (a) β22 = β33, β12 = β13 = β23 = 0; uniaxial with unique axis parallel to [100]

    All space groups

(5) Site symmetry 23, m3, [\overline {4}3m], 432, m3m – one independent element
  • (a) β11 = β22 = β33, β12 = β13 = β23 = 0; isotropic

    All space groups

Another important use of constraints applies to the occupancies of certain sites in the crystal where, for example, a molecule is disordered in two or more possible orientations or (very common in minerals) several elements are distributed among several sites. In both cases, refinement of all of the fractional occupancies tends to be extremely ill conditioned, because of high correlations between occupancies and atomic displacement parameters. The overall chemistry, however, may be known from electron microprobe (Finger, 1969[link]) or other analytic techniques to much better precision than it is possible to determine it using diffraction data alone. The constraining equations for the occupancies of n species in m sites have the form [\textstyle\sum\limits _{i=1}^mb_ia_{ij}=p_j,\eqno (]where [b_i] is the multiplicity of the ith site, [a_{ij}] is the fractional occupancy of the jth species in the ith site, and p is the total number of atoms of species j per unit cell. For a given crystal structure and composition, the bs and ps are known, and, furthermore, it is possible to write an additional constraint for the total occupancy of each site, [\textstyle\sum\limits _{j=1}^na_{ij}=1.\eqno (]If necessary, vacancies may be included as one of the n species present. In theory, ([link] and ([link] could be solved for (n − 1) × (m − 1) unknown parameters, [a_{ij}], with m + n − 1 constraint relations, but, in practice, at most one occupancy factor per site can be refined. When constraints are applied, the correlations between occupancies and displacement factors are greatly reduced.

In the analysis of a crystal structure, it may be desirable to test various constraints on the shape or symmetry of a molecule. For example, the molecule of a particular compound may have orthorhombic symmetry in the liquid or vapour phase, but crystallize with a monoclinic or triclinic space group. Without constraints, it is impossible to determine whether the crystallization has caused changes in the molecular conformation. Residual errors in the observations will invariably lead to deviations from the original molecular geometry, but these may or may not be meaningful.

With molecular-shape constraints, it is possible to constrain the geometry to any desired conformation. The first step is to describe the molecule in a special, orthonormal coordinate system that has a well defined relationship between the coordinate axes and the symmetry elements. If this system is properly chosen, the description of the molecule is easy. The next step is to describe the transformation between this orthonormal system and the crystallographic axes. A standard, orthonormal coordinate system (Prince, 1994[link]) can be constructed with its x axis parallel to a and its z axis parallel to c*. If the special system is translated with respect to the standard system so that they share a common origin, Eulerian angles, ω, χ, and ϕ, may be used to define a matrix that rotates the special coordinates into the standard system. Angle ω is defined as the clockwise rotation through which the special system must be rotated about the z axis of the standard system to bring the z axis of the special system into the x, z plane of the standard system. Similarly, angle χ is the clockwise angle through which the resulting, special system must be rotated about the y axis of the standard system to bring the z axes into coincidence, and, finally, angle ϕ is the clockwise angle through which the special system must be rotated about the common z axes to bring the other axes into coincidence. The overall transformation is given by[{\bi R} = \left(\matrix{\cos\varphi\cos\chi\cos\omega - \sin\varphi\sin\omega&\cos\varphi\cos\chi\sin\omega + \sin\varphi\cos\omega &-\cos\varphi\sin\chi \cr -\sin\varphi\cos\chi\cos\omega - \cos\varphi\sin\omega &-\sin\varphi\cos\chi\sin\omega + \cos\varphi\cos\omega&\sin\varphi\sin\chi \cr \sin\chi\cos\omega&\sin\chi\sin\omega &\cos\chi \cr }\right). \eqno(]

The overall transformation of a vector, x′, from the special coordinate system to the crystallographic system is given by [{\bf x}={\bi D}^{-1}{\bi R}{\bf x}^{\prime }+{\bf t},\eqno (]where t is the origin offset between the two systems and D is the upper triangular Cholesky factor (Subsection[link] ) of the metric tensor, G, which is defined by [{\bf G}=\left (\matrix{ {\bf a}\cdot {\bf a} &{\bf a}\cdot {\bf b} &{\bf a}\cdot {\bf c} \cr {\bf a}\cdot {\bf b} &{\bf b}\cdot {\bf b} &{\bf b}\cdot {\bf c} \cr {\bf a}\cdot {\bf c} &{\bf b}\cdot {\bf c} &{\bf c}\cdot {\bf c}}\right). \eqno (]Equations ([link] are the constraint relationships, and the refinable parameters include the adjustable parameters in the special system, the origin offset, and the three rotation angles. This set of parameters, although it is written in a very different manner, is a linear transformation of a subset of the conventional crystallographic parameters, so that statistical tests based on the F ratio or Hamilton's R ratio (Section 8.4.2[link] ; Hamilton, 1964[link]) may be used to assess significance. Shape constraints differ from those owing to space group or chemical conditions in that the constraint equations ([link] are not linear functions of the independent parameters. Thus, the elements of C are not constants and must therefore be evaluated in each iteration of the refinement algorithm.

Another area in which application of constraints is important arises whenever some portion of the structure undergoes thermal motion as a rigid entity. One means of determining rigid-motion parameters is to refine the conventional, anisotropic atomic displacement factors of all atoms individually and to fit a librational model to the resulting thermal factors (Schomaker & Trueblood, 1968[link]). A problem arises with this approach because the presence of libration implies curvilinear motion in the crystallographic system, and thus the probability density function for an atom that does not lie on the axis of libration cannot be described by a Gaussian function in a rectilinear coordinate system. For neutron diffraction, where H atoms have major scattering power, the effect may be large enough to affect convergence (Prince, Dickens & Rush, 1974[link]). Anharmonic (third-cumulant) terms could be used, but the number of parameters increases rapidly, because there are as many as ten, independent, third cumulant tensor elements per atom.

Thermal motions of rigid bodies are represented by a symmetric, translation tensor, T, a symmetric, libration tensor, L, and a nonsymmetric, screw correlation tensor, S (Cruickshank, 1961[link]; Schomaker & Trueblood, 1968[link]). Any sequence of rotations of a rigid body about a fixed point is equivalent to a single, finite rotation about some axis passing through the fixed point. This rotation can be represented (Prince, 1994[link]) by an axial vector, [{\boldlambda}], where |[{\boldlambda}]| is the magnitude of the rotation, and the direction cosines of the axis with respect to some system of orthogonal axes are given by [\alpha_i=\lambda_i/|{\boldlambda}|=\lambda _i/(\lambda _1^2+\lambda _2^2+\lambda _3^2)^{1/2}]. An exact expression for the displacement, u, of a point in the rigid body, located by a vector r from the centre of mass, owing to a rotation [{\boldlambda}] about an axis passing through the centre of mass is [{\bf u}=(\sin |{\boldlambda}|/|{\boldlambda}|)({\boldlambda}\times {\bf r})+[(1-\cos |{\boldlambda}|)/|{\boldlambda}|^2][{\boldlambda}\times ({\boldlambda}\times {\bf r})]. \eqno (]For small rotations, the trigonometric functions can be replaced by power-series expansions, and, because of the extremely rapid convergence of these series, ([link] is approximated extremely well, even for values of |[{\boldlambda}]| as large as 0.5 rad, by [{\bf u}=(1-|{\boldlambda}|^2/6)({\boldlambda}\times {\bf r})+[(1/2)-|{\boldlambda}|^2/24][{{\boldlambda}\times }({\boldlambda}\times {\bf r})].\eqno (]By expansion of the vector products, this can be written [\eqalignno{ u_i &= \textstyle\sum \limits _{j=1}^3 \; \left (A({\bf r})_{ij}\lambda _j+\textstyle\sum \limits _{k=1}^3 \; \left \{ B({\bf r})_{ijk}\lambda _j \lambda _k+\left. \textstyle\sum \limits _{l=1}^3 \; \right [C({\bf r})_{ijkl} \lambda _j \lambda _k \lambda _l\right. \right. \cr &\quad+\left. \left. \left. \textstyle\sum \limits _{m=1}^3\, D({\bf r})_{ijklm} \lambda _j \lambda _k \lambda _l \lambda _m\right] \right \} \right), & (}]where the coefficients, [A({\bf r})_{ij}], [B({\bf r})_{ijk}], [C({\bf r})_{ijkl}], and [D({\bf r})_{ijklm}] are multiples of components of r. For example, [[{\boldlambda}\times{\bf r}]_1=\lambda _2r_3-\lambda _3r_2], so that A(r)11 = 0, A(r)12 = r3, and A(r)13 = −r2. These coefficients have been tabulated by Sygusch (1976[link]), and expressed in Fortran source code by Prince (1994[link]).

If the centre of mass of the rigid body also moves, the total displacement of the point at r is v = u + t, where t is the displacement of the centre of mass from its equilibrium position. A discussion of the effects of rigid-body motion on diffraction intensities involves quantities like [\left \langle v_i\right \rangle ], [\left \langle v_iv_j\right \rangle ], and so forth, the ensemble averages of these quantities over many unit cells, which may be assumed to be equal to the time averages for one unit cell over a long time. The rigid-body-motion tensors are defined by [T_{ij}] = [\left \langle t_it_j\right \rangle], [L_{ij}] = [\left \langle \lambda _i\lambda _j\right \rangle ], and [S_{ij}] = [\left \langle \lambda _it_j\right \rangle ]. The distributions of [t_i] and [\lambda _i] can usually be assumed to be approximately Gaussian, so that fourth moments can be expressed in terms of second moments. Thus, [\left \langle \lambda _i\lambda _j\lambda _k\lambda _l\right \rangle] = [L_{ij}L_{kl}+L_{ik}L_{jl}+L_{il}L_{jk}], [\left \langle \lambda _i\lambda _jt_kt_l\right \rangle] = [L_{ij}T_{kl}+S_{ik}S_{jl}+S_{il}S_{jk}], and so forth. If the elements of t and [{\boldlambda}] are measured with respect to their mean positions, [\left \langle t_i\right \rangle] = [\left \langle \lambda _i\right \rangle ] = 0. Third moments, quantities like [\left \langle \lambda _i\lambda _jt_k\right \rangle ], do not necessarily vanish, except when the rigid body is centrosymmetric, but their effects virtually always are small, and can be neglected.

A particle that is part of a librating, rigid body undergoes a curvilinear motion that results in its having a mean position that is displaced from its equilibrium position. This causes an apparent shortening of interatomic distances, which must be corrected for if accurate values of bond lengths are to be derived. The displacement, d, from the equilibrium position to the mean position is (Prince & Finger, 1973[link]) [\eqalign{ d_i=\left \langle v_i\right \rangle &= \left. \textstyle\sum \limits _{j=1}^3\,  \textstyle\sum \limits _{k=1}^3\, \right [B({\bf r})_{ijk} L_{jk} \cr &\quad \left. + \textstyle\sum \limits _{l=1}^3\, \textstyle\sum \limits _{m=1}^3\, D({\bf r})_{ijklm}(L_{jk} L_{lm}+L_{jl} L_{km}+L_{jm} L_{kl})\right].} \eqno (]

Anisotropic atomic displacement factors, [\beta _{ij}], [B_{ij}], or [U_{ij} ], are related by simple, linear transformations that are functions of the unit-cell constants to the quantity [\kappa _{ij}=\left \langle v_iv_j\right \rangle -\left \langle v_i\right\rangle\!\left\langle v_j\right\rangle ]. If the rigid body has a centre of symmetry, so that the elements of S vanish, this is given by [\eqalignno{ \kappa _{ij}&= T_{ij}+\textstyle\sum \limits _{k=1}^3 \, \textstyle\sum \limits _{l=1}^3\biggl (A({\bf r})_{ik}\, A({\bf r})_{jl}\, L_{kl}+\textstyle\sum \limits _{m=1}^3 \; \textstyle\sum \limits _{n=1}^3\, \{3[A({\bf r})_{ik}C ({\bf r}) _{jlmn} \cr &\quad +A({\bf r})_{jk}C({\bf r})_{ilmn}]+2B({\bf r})_{ikm}\, B({\bf r})_{jln}\}\, L_{kl}\, L_{mn}\biggr). &(}]

Expressions including elements of S have been given by Sygusch (1976[link]) and, in Fortran source code, by Prince (1994[link]). Expressions for anisotropic atomic displacement factors in terms of T, L, and S that included only terms linear in the tensor elements were given by Schomaker & Trueblood (1968[link]), who pointed out that the diagonal elements of S never appeared individually, but only as the differences of pairs, so that the expressions were invariant under the addition of a constant to all three elements. This `trace of S singularity' was resolved by applying the additional constraint S11 + S22 + S33 = 0. As was pointed out by Sygusch (1976[link]), the inclusion of terms that are quadratic in the tensor elements removes this indeterminacy, but the effects of the additional terms are so small that the problem remains extremely ill conditioned. In practice, therefore, these elements should still be treated as underdetermined.

Prince (1994[link]) lists the symmetry restrictions for each type of tensor for various point groups. Although the description of thermal motion is essentially harmonic within the rigid-body system, the structure-factor formulation must include what appear to be anharmonic terms. Prince also presents computer routines that contain the relations between the elements of T, L, and S and the second- and third-cumulant tensor elements. As in the case of shape constraints, the equations are nonlinear, and the elements of C must be re-evaluated in each iteration.


Cruickshank, D. W. J. (1961). Coordinate errors due to rotational oscillations of molecules. Acta Cryst. 14, 896–897.
Finger, L. W. (1969). The crystal structure and cation distribution of a grunerite. Mineral. Soc. Am. Spec. Pap. 2, 95–100.
Gill, P. E., Murray, W. & Wright, M. M. (1981). Practical optimization. New York: Academic Press.
Hamilton, W. C. (1964). Statistics in physical science: estimation, hypothesis testing and least squares. New York: Ronald Press.
Johnson, C. K. (1970). Generalized treatments for thermal motion. Thermal neutron diffraction, edited by B. T. M. Willis, pp. 132–160. Oxford University Press.
Levy, H. A. (1956). Symmetry relations among coefficients of anisotropic temperature factors. Acta Cryst. 9, 679.
Prince, E. (1994). Mathematical techniques in crystallography and materials science, 2nd ed. Berlin/Heidelberg/New York/London/Paris/Tokyo/Hong Kong/Barcelona/Budapest: Spring-Verlag.
Prince, E., Dickens, B. & Rush, J. J. (1974). A study of one-dimensional hindered rotation in NH3OHClO4. Acta Cryst. B30, 1167–1172.
Prince, E. & Finger, L. W. (1973). Use of constraints on thermal motion in structure refinement of molecules with librating side groups. Acta Cryst. B29, 179–183.
Ralph, R. L. & Finger, L. W. (1982). A computer program for refinement of crystal orientation matrix and lattice constants from diffractometer data with lattice symmetry constraints. J. Appl. Cryst. 15, 537–539.
Schomaker, V. & Trueblood, K. N. (1968). On the rigid-body motion of molecules in crystals. Acta Cryst. B24, 63–76.
Sygusch, J. (1976). Constrained thermal motion refinement for a rigid molecule with librating side groups. Acta Cryst. B32, 3295–3298.

to end of page
to top of page