Abstract:For families of Hamiltonians defined by parts that are local, the most general definition of a symmetry algebra is the commutant algebra, i.e., the algebra of operators that commute with each local part. Thinking about symmetry algebras as commutant algebras allows for the treatment of conventional symmetries and unconventional symmetries (e.g., those responsible for weak ergodicity breaking phenomena) on equal algebraic footing. In this work, we discuss two methods for numerically constructing this commutant algebra starting from a family of Hamiltonians. First, we use the equivalence of this problem to that of simultaneous block-diagonalization of a given set of local operators, and discuss a probabilistic method that has been found to work with probability 1 for both Abelian and non-Abelian symmetries or commutant algebras. Second, we map this problem onto the problem of determining frustration-free ground states of certain Hamiltonians, and we use ideas from tensor network algorithms to efficiently solve this problem in one dimension. These numerical methods are useful in detecting standard and non-standard conserved quantities in families of Hamiltonians, which includes examples of regular symmetries, Hilbert space fragmentation, and quantum many-body scars, and we show many such examples. In addition, they are necessary for verifying several conjectures on the structure of the commutant algebras in these cases, which we have put forward in earlier works. Finally, we also discuss similar methods for the inverse problem of determining local operators with a given symmetry or commutant algebra, which connects to existing methods in the literature. A special case of this construction reduces to well-known ``Eigenstate to Hamiltonian" methods for constructing Hermitian local operators that have a given state as an eigenstate.

Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs

Detecting and Handling Reflection Symmetries in Mixed-Integer (Nonlinear) Programming

Algorithms Transcending the SAT-Symmetry Interface

Symmetries in Linear and Integer Programs

An adaptive prefix-assignment technique for symmetry reduction

Symmetries in Integer Programs

Improving Discrete Model Representations via Symmetry Considerations

Algorithms for highly symmetric linear and integer programs

Parallel Computation of Combinatorial Symmetries

Handling Sub-symmetry in Integer Programming using Activation Handlers

The Complexity of Symmetry Breaking Beyond Lex-Leader

Breaking Value Symmetry

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

Using monodromy to recover symmetries of polynomial systems

Symmetry within Solutions

Numerical Methods for Detecting Symmetries and Commutant Algebras

An efficient numerical algorithm for solving linear systems with cyclic tridiagonal coefficient matrices

Efficient quantum algorithms for testing symmetries of open quantum systems

Exploiting Symmetries in Optimal Quantum Circuit Design

Breaking Reflection Symmetry: Evolving Long Dynamical Cycles in Boolean Systems

Symmetry within and between solutions