Search arXivSearch

arXiv · 2007.08056

Automatic transformation of irreducible representations for efficient contraction of tensors with cyclic group symmetry

Abstract

Tensor contractions are ubiquitous in computational chemistry and physics, where tensors generally represent states or operators and contractions express the algebra of these quantities. In this context, the states and operators often preserve physical conservation laws, which are manifested as group symmetries in the tensors. These group symmetries imply that each tensor has block sparsity and can be stored in a reduced form. For nontrivial contractions, the memory footprint and cost are lowered, respectively, by a linear and a quadratic factor in the number of symmetry sectors. State-of-the-art tensor contraction software libraries exploit this opportunity by iterating over blocks or using general block-sparse tensor representations. Both approaches entail overhead in performance and code complexity. With intuition aided by tensor diagrams, we present a technique, irreducible representation alignment, which enables efficient handling of Abelian group symmetries via only dense tensors, by using contraction-specific reduced forms. This technique yields a general algorithm for arbitrary group symmetric contractions, which we implement in Python and apply to a variety of representative contractions from quantum chemistry and tensor network methods. As a consequence of relying on only dense tensor contractions, we can easily make use of efficient batched matrix multiplication via Intel's MKL and distributed tensor contraction via the Cyclops library, achieving good efficiency and parallel scalability on up to 4096 Knights Landing cores of a supercomputer.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yang Gao, Phillip Helms, Garnet Kin-Lic Chan, Edgar Solomonik. 2022-09-25. Automatic transformation of irreducible representations for efficient contraction of tensors with cyclic group symmetry. https://arxiv.org/abs/2007.08056

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

KEEP EXPLORING

Related papers

Spin disorder competing with positional symmetry breaking governs the metal-insulator behavior in oxide paramagnets

Numerous transition-metal oxides have low-temperature, long-range-ordered antiferromagnetic (AFM) states that are generally insulating, and high-temperature, disordered paramagnetic (PM) phases. The latter can be either insulating (predicted here for NaFeO3), or metallic (predicted here and previously observed in NaOsO3). Similar distinctions have been traditionally affected in strongly correlated models by the value used for Coulomb repulsion U. Here we show an alternative, strong-correlation-free (U=0) view suggesting that the distinction between insulating and metallic PM phases is governed by the competition between local magnetic moment disorder and the polymorphous distribution of off-center atomic displacements. Such parameter-free, energy-lowering symmetry breaking density functional calculations provide a framework for understanding metal-insulator behaviors across different quantum materials in terms of measurable local structural and magnetic parameters.

physics.comp-ph

Digital Twin of an Argon-Hydrogen Plasma Reactor

The principal proof of concept revolves around an argon-hydrogen plasma reactor that melts, reduces, atomizes and quenches critical raw material in one step, with premium spherical powder as the deliverable output and control of the composition chemistry. Each usage of the reactor is monitored through thermocouples and pressure sensors, which provide a daily data source of the real-world experiments. The reactor is modeled through COMSOL Multiphysics, which represents the core solver used to provide multiphysics simulations. The usage of COMSOL is complemented with Artificial Intelligence (AI) models, to enable seamless data assimilation and optimization. This paper presents the COMSOL twin of the reaction chamber and converging-diverging nozzle, together with a custom phase-change particle-tracing layer validated on Ti-6Al-4V (Ti64). Moreover, we highlight how the synergy between COMSOL simulations and AI-based digital surrogates can be leveraged to build self-consistent optimization loops geared toward (i) fully autonomous live control of the reactor and (ii) optimization of the process.

physics.comp-ph

Efficient calculation of inductive coupling for arrays of wire ring resonators

Generalization of the inductance to the case of non-quasistatic electromagnetic field oscillations appears to be fruitful when considering wireless power transfer and RF metamaterials consisting of thin wire loop meta-atoms. When dealing with large systems of interacting loops carrying currents, efficiency and precision of calculation in the presence of retardation is crucial. In this work, we derive a series expansion of such generalized inductance and propose a way for its efficient numerical approximation. Illustrative examples are provided both for inductance convergence of a pair of two loops and extinction efficiency for scattering by metamaterial samples.

physics.comp-ph