--- title: 'Bravais-Lattice Test: Criteria and Applications' url: https://www.emergentmind.com/topics/bravais-lattice-test type: topic --- # Bravais-Lattice Test: Criteria and Applications “Bravais-Lattice Test” is best understood as an *Editor’s term* for a family of criteria that decide whether a Bravais lattice satisfies a prescribed property: local stability under finite perturbations, global optimality at fixed density, membership in a Bravais symmetry class, or compatibility with a transport or deformation mechanism. In the literature, such tests are formulated through radial interaction energies, theta functions, Hessians on fixed-density lattice manifolds, metric-tensor reduction in \(G^6\) or Selling space \(S^6\), and rank-one or dynamical signatures [1505.08047; 1502.03839; 1611.07798; 1203.5146; 2303.03122; 1910.12652; 2303.04621]. ## 1. Formal settings and principal meanings A Bravais lattice in \(d\) dimensions is written as \[ L=\bigoplus_{i=1}^d \mathbb Z u_i \] or, equivalently, \(L=A\mathbb Z^d\) for an invertible matrix \(A\). In fixed-density problems the relevant scalar is the covolume \(|\det A|\), with density \(1/|\det A|\). In crystallographic determination, the same object is represented by a Gram matrix \(G\), by a \(G^6\) metric vector \[ \mathbf g=(a^2,b^2,c^2,2bc\cos\alpha,2ac\cos\beta,2ab\cos\gamma), \] or by six Selling scalars in a Cartesian space \(S^6\) [1505.08047; 1710.05581; 1203.5146; 2303.03122]. The phrase covers several non-equivalent tasks. In some works it means a sufficient condition for local minimality of a given lattice under a family of radial potentials; in others it means a criterion for triangular optimality among two-dimensional Bravais lattices; in crystallography it means a reduction-theoretic decision rule for Bravais type; and in dynamics or mechanics it means using transport or rank-one compatibility to infer lattice geometry or deformation modes [1505.08047; 1502.03839; 2312.07909; 1910.12652; 2303.04621]. | Context | Tested object | Representative criterion | |---|---|---| | Energy stability | \(\Delta_L^\alpha(V;B)\) under finite perturbations | small pressure, fast decay, local convexity | | Fixed-density optimality | \(E_f[L]\) or \(\mathcal E_{f,\mu}[L]\) | complete monotonicity or nonnegative theta kernel | | Cubic local optimality | Hessian of \(E_f\) at SC, FCC, BCC | positive definiteness or saddle structure | | Bravais determination | reduced metric in \(G^6\) or \(S^6\) | distance to boundary polytopes or Delone-type projectors | | Dynamics and mechanics | current direction or interface compatibility | ballistic attractors or rank-one reflection criteria | ## 2. Compact local minimality as an energy-stability test For radial interactions, one formulation starts from a \(d\)-admissible potential \(V\in C^2((0,\infty))\) whose lattice sums for \(V\), \(V'\), and \(V''\) are absolutely convergent. The energy per particle is \[ E_V[L]=\sum_{x\in L^*}V(\|x\|), \] and the relevant perturbations are not full lattice deformations but \(\alpha\)-compact perturbations of a finite set \(B\subset L\). If \(L^\alpha(B)=(L\setminus B)\cup B^\alpha\), the energy variation is \[ \Delta_L^\alpha(V;B)=\sum_{b^\alpha\in B^\alpha}\sum_{y\in L^\alpha(B),\,y\neq b^\alpha}V(\|b^\alpha-y\|)-\sum_{b\in B}\sum_{x\in L,\,x\neq b}V(\|b-x\|). \] A lattice is an \(N\)-compact local minimum if every perturbation of at most \(N\) particles, for sufficiently small \(\alpha\), satisfies \(\Delta_L^\alpha(V;B)\ge 0\) [1505.08047]. The decisive quantities are the first-neighbor distance \(\lambda_1\), the second-neighbor distance \(\lambda_2\), and the pressure \[ \mathcal P(L,V):=-\sum_{x\in L^*}\|x\|V'(\|x\|). \] The sufficient condition is expressed through an \((L,\theta)\)-family \((V_\theta)\) satisfying three hypotheses: a small-pressure bound \(|\mathcal P(L,V_\theta)|\le C\theta^{1+\mu}\), fast decay \[ |V_\theta''(r)|\le \theta^{2+\varepsilon}r^{-p-2}\qquad (r>r_0,\ p>d), \] and uniform local convexity \(V_\theta''(r)\ge \eta>0\) near \(\lambda_1\). Under these assumptions, for every \(N\in\mathbb N\) there exists \(\theta_0>0\) such that \(L\) is an \(N\)-compact local minimum for every \(\theta\le \theta_0\), and the maximal perturbation radius can be taken as \(\alpha_0=\theta\). The proof is an explicit first- and second-variation estimate, \[ \Delta_L^\theta(V_\theta;B)\ge 2\eta\theta^2-N\bigl(A\theta^{2+\varepsilon}+B\theta^{2+\mu}+C\theta^{3+\varepsilon}+D\theta^{4+\varepsilon}\bigr), \] so nearest-neighbor convexity dominates long-range corrections for small \(\theta\) [1505.08047]. This test is strictly stronger than local minimality under uniform dilations. The same framework defines the isothermal compressibility through \[ \frac{1}{\kappa_T}=A\frac{d^2E_{V_\theta}[L]}{dA^2} =\frac{1}{4A}\sum_{x\in L^*}\left(\|x\|^2V_\theta''(\|x\|)-\|x\|V_\theta'(\|x\|)\right), \] and shows that zero pressure together with positive compressibility implies local minimality among dilations. The paper explicitly stresses that local minimality among dilations does not imply \(N\)-compact local minimality, and gives a one-dimensional counterexample [1505.08047]. ## 3. Fixed-density optimality tests in two dimensions A second major meaning of the term concerns deciding which Bravais lattice minimizes an interaction energy at fixed area \(A\). For a radial potential \(r\mapsto f(r^2)\), the energy per point is \[ E_f[L]=\sum_{p\in L\setminus\{0\}}f(\|p\|^2), \] and the key auxiliary object is the lattice theta function \[ \theta_L(\alpha)=\sum_{p\in L}e^{-2\pi\alpha\|p\|^2}. \] Montgomery’s theorem states that, among Bravais lattices of fixed area, the triangular lattice \(\Lambda_A\) uniquely minimizes \(\theta_L(\alpha)\) for every \(\alpha>0\). This leads to a practical criterion: if \(f\) is admissible and has inverse Laplace transform \(\mu_f\), then \[ E_f[L]=\frac{\pi}{A}\int_1^\infty \left[\theta_L\!\left(\frac{y}{2A}\right)-1\right] \left[y^{-1}\mu_f\!\left(\frac{\pi}{yA}\right)+\mu_f\!\left(\frac{\pi y}{A}\right)\right]\,dy+C_A. \] Hence the kernel \[ G_A(y):=y^{-1}\mu_f\!\left(\frac{\pi}{yA}\right)+\mu_f\!\left(\frac{\pi y}{A}\right) \] acts as a fixed-density Bravais-lattice test: if \(G_A(y)\ge 0\) for almost every \(y\in[1,\infty)\), then \(\Lambda_A\) is the unique minimizer. In particular, if \(f\) is completely monotonic, then \(\mu_f\ge 0\) and the triangular lattice is the unique minimizer for every area [1502.03839]. The same logic extends to spatially extended particles. For a radially symmetric probability measure \(\mu\) and interaction \(f\in\mathcal F\), the energy is \[ \mathcal E_{f,\mu}[L] =\sum_{x\in L}'\iint_{\mathbb R^2\times\mathbb R^2}f(u-x-v)\,d\mu(u)\,d\mu(v). \] Two regimes are isolated. If the mass distribution is radial and sufficiently concentrated, there exists \(\varepsilon_0(f,\mu)>0\) such that for \(0\le \varepsilon<\varepsilon_0\) the triangular lattice is the unique minimizer at unit density. If, more strongly, both \(f\) and the radial density \(\rho\) of \(\mu\) admit completely monotone Laplace representations, then the triangular lattice is the unique minimizer for all unit-density Bravais lattices, independent of concentration scale [1710.05581]. For concrete pair potentials, the conclusions become density dependent. In the two-dimensional Lennard–Jones case, \[ E_{LJ}(L)=\zeta_L(12)-2\zeta_L(6), \] one sufficient high-density condition is \[ A^3\le \frac{\pi^3}{120}, \] which guarantees that \(\Lambda_A\) is the unique minimizer among lattices of area \(A\). By contrast, the triangular lattice is not optimal at sufficiently small density, and a necessary condition is obtained from \[ A\le \inf_{|L|=1,\;L\neq\Lambda_1} \left(\frac{\zeta_L(12)-\zeta_{\Lambda_1}(12)} {2(\zeta_L(6)-\zeta_{\Lambda_1}(6))}\right)^{1/3}. \] For the Thomas–Fermi interaction, \[ E_{TF}(L)=\frac12\sum_{x\in L^*}K_0(\sqrt{\pi}\,\|x\|), \] the triangular lattice is the unique minimizer for every fixed area because the kernel representation is a positive integral of theta terms. The same paper also gives an explicit convex decreasing positive potential, \[ V(r)=\frac{14}{r^2}-\frac{40}{r^3}+\frac{35}{r^4}, \] for which the triangular lattice is not a minimizer for some areas, showing that convexity and monotonicity alone are insufficient [1402.2751; 1502.03839]. ## 4. Hessian and local-optimality tests for cubic lattices In three dimensions, a Bravais-lattice test is often a Hessian test at a high-symmetry lattice of fixed volume. Using Ennola’s five-parameter description \((u,v,x,y,z)\), the energy \[ E_f[L]=\sum_{p\in L\setminus\{0\}}f(|p|^2) \] is differentiated with respect to shape parameters at fixed covolume \(V\). For every \(f\in\mathcal F\), the simple cubic lattice \({}^3\), the face-centered cubic lattice \(D_3\), and the body-centered cubic lattice \(D_3^*\) are critical points. At SC the Hessian is block diagonal in \((u,v)\) and \((x,y,z)\); at FCC it reduces to three scalar lattice sums involving \[ \sum R^2 f''(CR),\qquad \sum R f'(CR),\qquad \sum T f''(CR), \] where \(R(m,n,p)=m^2+n^2+p^2+mp+np\) and \(T(m,n,p)=mn(m+p)(n+p)\). This reduction is the local-optimality test in its most explicit form: the sign of a small set of scalar combinations determines minimum, maximum, or saddle behavior [1611.07798]. For theta energies \(f_\alpha(r)=e^{-\alpha r}\), the classification is sharp. SC is a saddle point for every \(\alpha>0\). FCC is a saddle point for sufficiently small \(\alpha\) and a local minimizer for sufficiently large \(\alpha\); by theta duality the corresponding statements for BCC exchange the small-\(\alpha\) and large-\(\alpha\) regimes. For Lennard–Jones-type energies \[ f(r)=\frac{a_2}{r^{x_2}}-\frac{a_1}{r^{x_1}},\qquad \frac32