Lattice periodicity and X-ray crystallinity The strictest form of order in a solid is
lattice periodicity: a certain pattern (the arrangement of atoms in a
unit cell) is repeated again and again to form a translationally invariant
tiling of space. This is the defining property of a
crystal. Possible symmetries have been classified in 14
Bravais lattices and 230
space groups. Lattice periodicity implies
long-range order: if only one unit cell is known, then by virtue of the translational symmetry it is possible to accurately predict all atomic positions at arbitrary distances. During much of the 20th century, the converse was also taken for granted – until the discovery of
quasicrystals in 1982 showed that there are perfectly deterministic tilings that do not possess lattice periodicity. Besides structural order, one may consider
charge ordering,
spin ordering,
magnetic ordering, and compositional ordering. Magnetic ordering is observable in
neutron diffraction. It is a
thermodynamic entropy concept often displayed by a second-order
phase transition. Generally speaking, high thermal energy is associated with disorder and low thermal energy with ordering, although there have been violations of this. Ordering peaks become apparent in diffraction experiments at low energy.
Long-range order Long-range order characterizes physical
systems in which remote portions of the same sample exhibit
correlated behavior. This can be expressed as a
correlation function, namely the
spin-spin correlation function: : G(x,x') = \langle s(x),s(x') \rangle. \, where
s is the spin quantum number and
x is the distance function within the particular system. This function is equal to unity when x=x' and decreases as the distance |x-x'| increases. Typically, it
decays exponentially to zero at large distances, and the system is considered to be disordered. But if the correlation function decays to a constant value at large |x-x'| then the system is said to possess long-range order. If it decays to zero as a power of the distance then it is called quasi-long-range order (for details see Chapter 11 in the textbook cited below. See also
Berezinskii–Kosterlitz–Thouless transition). Note that what constitutes a large value of |x-x'| is understood in the sense of
asymptotics. ==Quenched disorder==