New method breaks symmetry in neural networks, improving sample efficiency.
problem Symmetry in neural networks limits their ability to learn unique features.
method Introduces 'relaxed equivariance' to overcome symmetry limitations.
result Equivariant multilayer perceptrons (E-MLPs) can now break symmetry at the sample level.
New framework uses symmetry-based matrices for efficient, flexible NNs.
problem Designing neural networks with relaxed equivariance.
method Symmetry-based structured matrices, Group Matrices (GMs).
result GMs enable competitive performance with fewer parameters.
This work relaxes GNN symmetries to approximate automorphisms, improving model performance.
problem Improving graph neural network performance on asymmetric graphs.
method Formalizing approximate symmetries via graph coarsening, introducing a bias-variance formula.
result Best generalization performance achieved by choosing a larger symmetry group than automorphisms but smaller than permutations.
New method finds Lie group representations without explicit groups, enabling new neural network architectures.
problem Building neural networks equivariant to arbitrary Lie groups.
method Algorithm to find Lie group representations from Lie algebra structure constants. Self-contained method for constructing Lie group-equivariant neural networks.
result First object-tracking model equivariant to the Poincaré group.
Derives Fredholm criteria for isotypical components from a Simonenko principle.
problem Finding Fredholm conditions for isotypical components of invariant pseudodifferential operators.
method General Simonenko's local principle and equivariant local principle for restriction to isotypical components.
result Full proof of equivariant local principle and extension of results.
New method selects equivariant models using uncertainty metrics.
problem Selecting equivariant models among pretrained ones with varying symmetry biases.
method Uncertainty-aware model selection using frequentist, Bayesian, and calibration-based measures.
result Bayesian model evidence often misaligns with predictive performance.
A new method relaxes molecules without needing non-equilibrium data.
problem Molecular relaxation requires understanding non-equilibrium structures.
method MoreRed: molecular relaxation by reverse diffusion with time step prediction.
result MoreRed learns a simpler pseudo potential energy surface.
Let M be an oriented even-dimensional Riemannian manifold on which a discrete group Γ of orientation-preserving isometries acts freely, so that the quotient X=M/Γ is compact. We prove a vanishing theorem for a half-kernel of a Γ-invariant Dirac operator on a Γ-equivariant Clifford module over M, twisted by …
We discuss the finite sample theoretical properties of online predictions in non-stationary time series under model misspecification. To analyze the theoretical predictive properties of statistical methods under this setting, we first define the Kullback-Leibler risk, in order to place the problem within a decision the…
Study of invariants on manifolds with boundary involving equivariant spectral flow and η-invariants.
problem Equivariant invariants on manifolds with boundary.
method Analysis of Dirac operators, winding numbers, spectral flow, Maslov indices, and η-invariants.
result Established relation between equivariant η-invariants and Maslov triple indices.
Group-equivariant subsampling layers improve CNNs' equivariance.
problem Non-translation equivariance in subsampling operations.
method Translation and group-equivariant subsampling/upsampling layers.
result Group-equivariant autoencoders learn equivariant representations.
Study of equivariant ribbon concordance using Khovanov homology.
problem Understanding equivariant ribbon concordance.
method Functoriality of equivariant Khovanov homology under equivariant cobordisms, and induced split injection.
result Equivariant ribbon concordances induce a split injection on equivariant Khovanov homology.
Defines a new homomorphism for strongly invertible knots, proving equivariant algebraic concordance.
problem Equivariant algebraic concordance of strongly invertible knots.
method Defining a homomorphism Φ from equivariant concordance group to a new equivariant algebraic concordance group, proving it lifts known homomorphisms and provides new obstructions. result Obtains a new obstruction to equivariant sliceness and novel lower bounds on equivariant slice genus.
Defines an equivariant Ruelle dynamical zeta function for flows on manifolds.
problem Defining a zeta function for equivariant flows on manifolds.
method Equivariant generalization of Guillemin's trace formula.
result Computes the equivariant Ruelle zeta function in various examples.
Study of equivariant movie moves for involutive links.
problem Equivariant cobordisms between involutive links.
method Equivariant Morse theory and singularity theory.
result 39 equivariant movie moves for isotopic cobordisms.
We define the equivariant holonomy of an invariant connection on a principal U(1)-bundle. The properties of the ordinary holonomy are generalized to the equivariant setting. In particular, equivariant U(1)-bundles with connection are shown to be classified by its equivariant holonomy modulo isomorphisms. We also show t…
A bound on knot unknotting using equivariant signature.
problem Equivariant unknotting of knots.
method Analysis of strongly invertible knots and application of equivariant unknotting moves.
result The equivariant signature provides a lower bound for the equivariant unknotting number.
New proof for 4D symplectic manifolds: equivariant cohomology determines diffeotype.
problem Determining if 4D symplectic manifolds are diffeomorphic based on their equivariant cohomology.
method Proved that equivariant cohomology rings of Hamiltonian circle actions on 4D symplectic manifolds determine their equivariant diffeotypes.
result Isomorphism of equivariant cohomology rings implies equivariant diffeomorphism for 4D symplectic manifolds.
The paper develops methods for calculating equivariant homology from Morse functions.
problem Calculating equivariant homology from equivariant Morse functions.
method Alter equivariant Morse functions to stable ones, use generic equivariant metrics, and analyze the Morse spectral sequence.
result Equivariant Morse functions induce a filtration that computes equivariant homology.
Efficiently samples and learns densities with symmetries using equivariant methods.
problem Efficiently sampling and learning densities with symmetries.
method Equivariant Stein Variational Gradient Descent (SVGD) and equivariant energy based models.
result Improves and scales up training of energy based models.
Study shows non-equivariant and equivariant non-orientable 4-genus of periodic knots can differ.
problem Exploring differences in non-orientable 4-genus for periodic knots.
method Analyzed p-periodic knots, showing differences in equivariant and non-equivariant non-orientable 4-genus.
result Differences exist in non-equivariant and equivariant non-orientable 4-genus for periodic knots.
In this paper, we establish an infinitesimal equivariant index formula in the noncommutative geometry framework using Greiner's approach to heat kernel asymptotics. An infinitesimal equivariant index formula for odd dimensional manifolds is also given. We define infinitesimal equivariant eta cochains, prove their regul…
Equivariant trisections for group actions on 4-manifolds are introduced and studied.
problem Understanding the equivariant topology of G-manifolds and their quotients. method Introducing G-equivariant trisections and bridge trisections, and establishing their existence for G-manifolds. result Any G-manifold X admits a G-equivariant trisection such that a G-invariant surface S is in equivariant bridge trisection position. This work introduces a method for almost equivariance in neural networks using Lie algebra convolutions.
problem Real-world data often does not conform to strict group equivariances, leading to underperformance in models.
method Definition and practical implementation of almost equivariance through Lie algebra convolutions.
result Demonstrated the validity of the approach through benchmarking against fully equivariant settings.
Equivariant neural networks use symmetry to interpret complex data.
problem Interpreting and understanding the behavior of equivariant neural networks.
method Decompose layers into simple representations and analyze nonlinear activation functions.
result Equivariant neural networks can be interpreted using a filtration generalizing Fourier series.
Study on equivariant Heegaard genus of reducible 3-manifolds with group actions.
problem Understanding the equivariant Heegaard genus of reducible 3-manifolds with group actions.
method Thin position theory for 3-dimensional orbifolds to establish bounds on equivariant Heegaard genus.
result Sharp bounds on equivariant Heegaard genus of reducible manifolds, similar to tunnel number results.
We show that J. Lott's equivariant higher analytic torsion for compact group actions depends only on the equivariant Euler characteristic.
New equivariant version of Khovanov homology for annuli.
problem Developing a new mathematical framework for annular Khovanov homology.
method Using Frobenius algebra and equivariant cohomology of CP1. result Introduced an equivariant version of the Temperley-Lieb algebra.
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We sh…
Develops a theory for equivariant networks with partial domain symmetry.
problem Limited analysis of equivariant networks with partial domain symmetry.
method Proposes pointwise definitions of correct, incorrect, and extrinsic equivariance.
result Establishes error lower bounds for networks with partial symmetry.
In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.
Paper develops equivariant basic cohomology for Lie groupoids.
problem Equivariant cohomology for Lie groupoids with weak actions.
method Using Kan fibrations and fiber structures, constructing models and comparing with existing theories.
result Equivariant basic cohomology theory for orbifolds and Lie groupoids.
On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant ge…
We construct for an equivariant cohomology theory for proper equivariant CW-complexes an equivariant Chern character, provided that certain conditions about the coefficients are satisfied. These conditions are fulfilled if the coefficients of the equivariant cohomology theory possess a Mackey structure. Such a structur…
Universal MLPs with a single hidden layer can learn any function.
problem Learning on various data structures like sequences, images, sets, and graphs.
method Using group theory, the paper proves the universality of a broad class of equivariant MLPs with a single hidden layer.
result Having a hidden layer on which the group acts regularly is sufficient for universal equivariance (invariance).
New method improves neural network verification by considering multivariate input space of ReLU neurons.
problem Improving the effectiveness of neural network verification algorithms.
method A new tightened convex relaxation for ReLU neurons considering multivariate input space.
result Our convex relaxation is significantly stronger than the commonly used univariate-input relaxation.
In this paper, we prove that infinitesimal equivariant Chern-Connes characters are well-defined. We decompose an equivariant index as a pairing of infinitesimal equivariant Chern-Connes characters with the Chern character of an idempotent matrix. We compute the limit of infinitesimal equivariant Chern- Connes character…
Develops approximately equivariant neural processes for better data modeling.
problem Real-world data often breaks exact equivariance; how to model this?
method General approach to creating approximately equivariant architectures, applicable to any model and symmetry group.
result Approximately equivariant neural processes outperform non-equivariant and strictly equivariant models in regression tasks.
Paper uses algebraic methods to prove an equivariant Poincaré-Hopf theorem.
problem Equivariant index theory on manifolds.
method Localization algebras and Witten deformation techniques in K-homology.
result Established an equivariant version of the Poincaré-Hopf theorem.
Unified classification of equivariant principal bundles using higher homotopy theory.
problem Unified classification of equivariant principal bundles.
method Smooth Oka principle, singular-cohesive homotopy theory, internally describing principal bundles.
result Unified classification results for equivariant principal bundles.
Generalizes CNNs for Lie group equivariance across various data types.
problem Equivariance to transformations like rotations for non-image data.
method Constructs equivariant convolutional layers for Lie groups.
result Models conserve linear and angular momentum in Hamiltonian systems.
New regularizers tighten convex relaxation bounds for neural networks.
problem Large gap between certifiable and empirical robustness in neural networks.
method Two regularizers to train neural networks yielding tighter convex relaxation bounds.
result Higher certified accuracy with proposed regularizers.
In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.
Measures equivariance in vision models using Lie derivative.
problem Understanding the role of equivariance in recent vision models.
method Introducing Lie derivative to measure equivariance with strong mathematical foundations and minimal hyperparameters.
result Many violations of equivariance can be linked to spatial aliasing in network layers, and larger models tend to display more equivariance.
EquivCNP learns group symmetries for conditional data.
problem Learning conditional models with data symmetries.
method Group equivariant decomposition and Lie group convolutional layers.
result EquivCNP achieves comparable performance and zero-shot generalization.
Proves an equivariant version of Heegaard Floer link surgery formula.
problem Equivariant knot surgery in S3. method Naturality theorem for bordered modules.
result Kernel of forgetful map contains a Z∞-summand. Characterizes a specific type of neural network for alternating group equivariance.
problem Understanding and characterizing neural networks with alternating group equivariance.
method Characterization of all possible An-equivariant neural networks using tensor powers of Rn. result Found a basis of matrices for learnable, linear An-equivariant layer functions. Study on 2-bridge knots, proving equivariant concordance order is infinite.
problem Equivariant concordance of 2-bridge knots.
method Formula for butterfly polynomial, two proofs of non-equivariant sliceness, new invariant for strongly invertible knots.
result Equivariant concordance order of 2-bridge knots is infinite.