arXiv ScienceSearch

arXiv · 2509.19479

PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems

Abstract

Despite the prevalence of symmetry in scientific linear systems, these structural properties are often underutilized by standard computational software. This paper introduces PySymmetry, an open-source Sage/Python framework that implements classical representation theory to simplify G-equivariant linear systems. PySymmetry uses projection operators to generate symmetry-adapted bases, transforming equivariant operators into a more efficient block-diagonal form. Its functionalities include defining and reducing representations, calculating multiplicities, and obtaining the explicit block structure. We demonstrate PySymmetry's versatility through three case studies: a chemistry application, a numerical benchmark on the non-Hermitian Schrödinger equation that achieved a performance increase of over 17x compared to standard methods, and a symbolic investigation that enabled the first complete analytical classification of a challenging problem in celestial mechanics. Designed for seamless integration with libraries like NumPy and SciPy, PySymmetry offers a powerful, user-friendly tool for exploring symmetries in theoretical and applied contexts. ```

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leon D. da Silva, Marcelo P. Santos. 2025-09-23. PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems. https://arxiv.org/abs/2509.19479

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

KEEP EXPLORING

Related papers

Subindices and subfactors of $\mathbb{Z}_n$ and $k$-index stability of finite groups

We study subindices, subfactors, and index stability in the cyclic group $\mathbb{Z}_n$. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index unstable. Finally, we present some problems and a research project extending the study to 3-subsets and general $k$-subsets.

math.GR

Virtually generating graphs of pro-$p$ groups

We study the virtually generating graph of pro-$p$ groups. We show that various classes of pro-$p$ groups have connected virtually generating graph and we bound its diameter in these cases; e.g.\ compact subgroups of analytic groups over local fields and the Nottingham group.

math.GR

Surface subgroups of Baumslag doubles along short words

If $U$ is a minimal, diskbusting, finite list of words in a free group $F_n$ of rank $n$ such that the sum of the lengths of words in $U$ is at most $2n+4$, we prove that the natural presentation complex of the Baumslag double of $F_n$ along $U$ virtually contains a $π_1$-injective embedded closed hyperbolic surface. This verifies the Tiling Conjecture of Kim and Wilton for this type of lists of words, and in particular, implies that the corresponding Baumslag double contains a hyperbolic surface subgroup.

math.GR