Skip to content
aiqbench takeMachine Learning

aiqbench analysis

This research introduces a novel mathematical representation for atomistic systems that simultaneously satisfies physical symmetry invariance, uniqueness, and efficiency by leveraging graded geometric maps and multisymmetric pooling. By integrating topological features like persistent homology into an equivariant transformer architecture, the approach effectively distinguishes enantiomers while maintaining computational tractability at $O(N^2)$ or better. The work represents a significant theoretical advancement for machine learning applications in quantum chemistry and materials science where distinguishing chiral properties is critical.
Source coveringarXiv
What this isA model's reading of the article and related coverage, written for aiqbench. Not the publisher's words.

Polyatomic Complexes: A topologically-informed learning representation for atomistic systems

arXiv3 min read

arXiv:2409.15600v3 Announce Type: replace Abstract: A representation of a molecule or material should be invariant to the symmetries of physics, unique, continuous, efficient and general. These properties, however, are hard to satisfy at once: a descriptor invariant under the full orthogonal group $O(3)$ gives a molecule and its mirror image the same value, and so cannot distinguish enantiomers whose properties differ. Pozdnyakov showed this follows from the invariance itself, not from a lack of parameters. We show the criteria can be met at once if the geometric map is graded by the sign character of $O(3)$ and pooled multisymmetrically. We construct such a map $\Phi$: its even block factors through the Gram matrix and is provably chirality-blind, while its parity-odd block of signed triple products separates enantiomers on an open dense full-measure set of interacting configurations. Two standard obstructions to uniqueness, fixed output length and componentwise pooling, are artifacts of the pooling rule, removed by multisymmetric power sums of order at most $N$. We establish uniqueness for a complete descriptor $\Phi^\star$ built from the distance matrix, signed volumes and atom types, injective up to $SE(3)\times S_N$ on all configurations. $\Phi^\star$ is non-constructive, however; the implemented map is the bounded-cutoff $\Phi$, generically injective, pooling at order $2$, running in $O(N^2)$, or $O(N)$ with neighbor lists. The algebraic core is machine-checked in Lean 4. Because the underlying object is a cell complex, it also yields invariant, stable topological features $\Psi$ (persistent homology and a Hodge-Laplacian spectrum) encoding global ring and cage structure invisible to bounded-cutoff descriptors. The pair $(\Phi,\Psi)$ feeds a compact parity-graded equivariant transformer.

Abstract:A representation of a molecule or material should be invariant to the symmetries of physics, unique, continuous, efficient and general. These properties, however, are hard to satisfy at once: a descriptor invariant under the full orthogonal group $O(3)$ gives a molecule and its mirror image the same value, and so cannot distinguish enantiomers whose properties differ. Pozdnyakov showed this follows from the invariance itself, not from a lack of parameters. We show the criteria can be met at once if the geometric map is graded by the sign character of $O(3)$ and pooled multisymmetrically. We construct such a map $\Phi$: its even block factors through the Gram matrix and is provably chirality-blind, while its parity-odd block of signed triple products separates enantiomers on an open dense full-measure set of interacting configurations. Two standard obstructions to uniqueness, fixed output length and componentwise pooling, are artifacts of the pooling rule, removed by multisymmetric power sums of order at most $N$. We establish uniqueness for a complete descriptor $\Phi^\star$ built from the distance matrix, signed volumes and atom types, injective up to $SE(3)\times S_N$ on all configurations. $\Phi^\star$ is non-constructive, however; the implemented map is the bounded-cutoff $\Phi$, generically injective, pooling at order $2$, running in $O(N^2)$, or $O(N)$ with neighbor lists. The algebraic core is machine-checked in Lean 4. Because the underlying object is a cell complex, it also yields invariant, stable topological features $\Psi$ (persistent homology and a Hodge-Laplacian spectrum) encoding global ring and cage structure invisible to bounded-cutoff descriptors. The pair $(\Phi,\Psi)$ feeds a compact parity-graded equivariant transformer.

Machine Learning (cs.LG); Computational Physics (physics.comp-ph)

arXiv:2409.15600 [cs.LG]

(or arXiv:2409.15600v3 [cs.LG] for this version)

https://doi.org/10.48550/arXiv.2409.15600 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Full text under the publisher's open licence · 353 words

Related coverage