arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2510.13746

Continuous invariant-based asymmetries of periodic crystals quantify deviations from higher symmetry

Surya Majumder·Daniel Widdowson·Yury Elkin·Olga Anosova·Andrew I Cooper·Graeme M Day·Vitaliy Kurlin
View original source ↗Read source document ↗Export metadata ↓

Abstract

Ideal symmetry is known to break down under almost any noise. One measure of asymmetry in a periodic crystal is the relative multiplicity Z' of geometrically non-equivalent units. However, Z' discontinuously changes under almost any displacement of atoms, which can arbitrarily scale up a primitive cell. This discontinuity was recently resolved by a hierarchy of invariant descriptors that continuously change under all small perturbations. We introduce a Continuous Invariant-based Asymmetry (CIA) to quantify (in physically meaningful Angstroms) the deviation of a periodic crystal from a higher symmetry form. Our experiments on several Crystal Structure Prediction datasets show that about a half of simulated crystals have high values of CIA, while all experimental structures in these datasets have CIA=0. On another hand, many crystals with high values Z' in the Cambridge Structural Database (CSD) turned out to be close to more symmetric forms with Z'<=1 due to low values of CIAs.

Explore related subjects

math.MGcond-mat.mtrl-sci

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Surya Majumder, Daniel Widdowson, Yury Elkin, Olga Anosova, Andrew I Cooper, Graeme M Day, Vitaliy Kurlin. 2026-02-05. Continuous invariant-based asymmetries of periodic crystals quantify deviations from higher symmetry. https://arxiv.org/abs/2510.13746

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The disjoint disks property for Busemann $G$-spaces

We prove that every finite-dimensional Busemann \(G\)-space of dimension at least five has the disjoint disks property (DDP). For a sufficiently small metric sphere \(L=S(c,r)\), we show that every embedded arc contained in an exact distance level is a homotopical \(Z_2\)-set in \(L\). It follows that \(L\) has the disjoint arc-disk property and the disjoint homotopies property. Daverman's product theorem then gives DDP for \(L\times\mathbb R\), and a local avoidance argument at the center yields DDP for the ambient \(G\)-space. Since finite-dimensional Busemann \(G\)-spaces are generalized manifolds, in dimensions at least five the remaining obstruction to the Busemann conjecture is the resolution problem.

math.MG↗
arXiv2026

Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space

Let $(\mathcal{M},d_{\mathrm{GH}})$ denote the Gromov-Hausdorff space of isometry classes of nonempty compact metric spaces. We prove that every nonempty compact metric space is isometrically embeddable into $(\mathcal{M},d_{\mathrm{GH}})$. More precisely, for every $D>0$ and every nonempty compact metric space $K$ with $\operatorname{diam} K\le D$, we realize the space of all $1$-Lipschitz functions on $K$ with values in $[0,D]$ as a family of metrics on a fixed Cantor space. Under this realization, the Gromov-Hausdorff distance agrees exactly with the uniform distance between functions, and each resulting metric space has diameter at most $76D$. We also construct finite approximations for which the Gromov-Hausdorff distance is given by an exact formula, together with a uniform approximation estimate.

math.MG↗
arXiv2026

Measure contraction property on isometric leaves and monotone fibres

For finite measures with positive densities on convex Euclidean supports, we prove that $MCP(κ,N)$ passes with unchanged parameters to almost every isometric leaf of an arbitrary nonexpansive map. The proof rests on a sharp contraction inequality for geometric conditional densities, with exponent equal to the leaf codimension. The inherited dimension parameter is optimal. A total-variation limit on resolvent graphs extends the result to inverse fibres of maximal monotone relations, including convex gradient fibres. We also disprove Klartag's curvature-dimension inheritance conjecture by a firmly nonexpansive example in dimension three and a gradient example in dimension four. In codimension one, affinity of the geometric density yields curvature-dimension inheritance. The first example also gives failure on monotone fibres. Both constructions admit arbitrarily large curvature loss, including for a fixed Gaussian ambient measure on families of leaves of positive quotient measure.

math.MG↗