More Like this

1. The equivariant degree and an enriched count of rational cubics

   Bethea, Candace; Wickelgren, Kirsten (February 2025, arXiv pre-print repository)

   NA (Ed.)

   We define the equivariant degree and local degree of a proper G-equivariant map between smooth G-manifolds when G is a compact Lie group and prove a local to global result. We show the local degree can be used to compute the equivariant Euler characteristic of a smooth, compact G-manifold and the Euler number of a relatively oriented G-equivariant vector bundle when G is finite. As an application, we give an equivariantly enriched count of rational plane cubics through a G-invariant set of 8 general points in ℂℙ2, valued in the representation ring and Burnside ring of a finite group. When ℤ/2 acts by pointwise complex conjugation this recovers a signed count of real rational cubics. 

   more » « less
2. A General Framework for Robust G-Invariance in G-Equivariant Networks

   Sanborn, Sophia; Miolane, Nina (December 2023, NeurIPS 2023)

   We introduce a general method for achieving robust group-invariance in group-equivariant convolutional neural networks (G-CNNs), which we call the G-triple-correlation (G-TC) layer. The approach leverages the theory of the triple-correlation on groups, which is the unique, lowest-degree polynomial invariant map that is also complete. Many commonly used invariant maps--such as the max--are incomplete: they remove both group and signal structure. A complete invariant, by contrast, removes only the variation due to the actions of the group, while preserving all information about the structure of the signal. The completeness of the triple correlation endows the G-TC layer with strong robustness, which can be observed in its resistance to invariance-based adversarial attacks. In addition, we observe that it yields measurable improvements in classification accuracy over standard Max G-Pooling in G-CNN architectures. We provide a general and efficient implementation of the method for any discretized group, which requires only a table defining the group's product structure. We demonstrate the benefits of this method for G-CNNs defined on both commutative and non-commutative groups--SO(2), O(2), SO(3), and O(3) (discretized as the cyclic C8, dihedral D16, chiral octahedral O and full octahedral Oh groups)--acting on ℝ2 and ℝ3 on both G-MNIST and G-ModelNet10 datasets. 

   more » « less
3. Irreducible characters of even degree and normal Sylow 2-subgroups

   https://doi.org/10.1017/S0305004116000669  

   HUNG, NGUYEN NGOC; TIEP, PHAM HUU (March 2017, Mathematical Proceedings of the Cambridge Philosophical Society)

   Abstract The classical Itô-Michler theorem on character degrees of finite groups asserts that if the degree of every complex irreducible character of a finite group G is coprime to a given prime p , then G has a normal Sylow p -subgroup. We propose a new direction to generalize this theorem by introducing an invariant concerning character degrees. We show that if the average degree of linear and even-degree irreducible characters of G is less than 4/3 then G has a normal Sylow 2-subgroup, as well as corresponding analogues for real-valued characters and strongly real characters. These results improve on several earlier results concerning the Itô-Michler theorem. 

   more » « less
4. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

   https://doi.org/10.4171/QT/216  

   Jones, Corey (October 2024, Quantum Topology)

   For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show that it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a latticeL\subseteq \mathbb{R}^{n}satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebrasAof operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric QCA to\mathbf{Aut}_{\mathrm{br}}(\mathbf{DHR}(A)), containing symmetric finite-depth circuits in the kernel. For a spin chain with fusion categorical symmetry\mathcal{D}, we show that the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center\mathcal{Z}(\mathcal{D}). We use this to show that, for the double spin-flip action\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}, the group of symmetric QCA modulo symmetric finite-depth circuits in 1D contains a copy ofS_{3}; hence, it is non-abelian, in contrast to the case with no symmetry. 

   more » « less
5. Which Hessenberg varieties are GKM?

   https://doi.org/10.4310/PAMQ.2023.v19.n4.a8  

   Goldin, Rebecca; Tymoczko, Julianna (September 2023, Pure and Applied Mathematics Quarterly)

   Karshon, Yael; Melrose, Richard; Uhlmann, Gunther; Uribe, Alejandro (Ed.)

   Hessenberg varieties H(X,H) form a class of subvarieties of the flag variety G/B, parameterized by an operator X and certain subspaces H of the Lie algebra of G. We identify several families of Hessenberg varieties in type A_{n−1} that are T -stable subvarieties of G/B, as well as families that are invariant under a subtorus K of T. In particular, these varieties are candidates for the use of equivariant methods to study their geometry. Indeed, we are able to show that some of these varieties are unions of Schubert varieties, while others cannot be such unions. Among the T-stable Hessenberg varieties, we identify several that are GKM spaces, meaning T acts with isolated fixed points and a finite number of one-dimensional orbits, though we also show that not all Hessenberg varieties with torus actions and finitely many fixed points are GKM. We conclude with a series of open questions about Hessenberg varieties, both in type A_{n−1} and in general Lie type. 

   more » « less