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.
Selects points from Jordan domains on Riemannian surfaces.
problem Selecting points from Jordan domains in Riemannian surfaces.
method Fiber bundle theory and conformal mappings.
result Space of Jordan domains retracts onto round disks.
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.
The paper studies geometric properties of group equivariant operators and their Riemannian structure.
problem Understanding the geometric structure of group equivariant operators.
method Endowing the space of group equivariant non-expansive operators with a Riemannian manifold structure and using gradient descent methods.
result Gradient descent methods can be applied to minimize cost functions on the space of group equivariant non-expansive operators.
The study examines how equivariance in networks affects generalization error using PAC-Bayesian bounds.
problem Understanding how equivariance in networks impacts generalization error.
method Utilized PAC-Bayesian analysis for equivariant networks, deriving norm-based bounds for generalization error.
result The bound indicates that using larger group size in the model improves generalization error.
The aim of this paper is to provide a general mathematical framework for group equivariance in the machine learning context. The framework builds on a synergy between persistent homology and the theory of group actions. We define group-equivariant non-expansive operators (GENEOs), which are maps between function spaces…
Study improves generalization bounds for equivariant networks on Markov data.
problem Challenges in integrating equivariance with Markov dependencies in neural networks.
method Applied McDiarmid's inequality and computed covering number using group theory.
result Derived upper bound on Rademacher complexity for equivariant neural networks on Markov datasets.
Classical models describe primary visual cortex (V1) as a filter bank of orientation-selective linear-nonlinear (LN) or energy models, but these models fail to predict neural responses to natural stimuli accurately. Recent work shows that models based on convolutional neural networks (CNNs) lead to much more accurate p…
Equivariant MuZero improves generalization in procedurally generated environments.
problem Leveraging world models for robust generalization in real-world scenarios.
method Incorporates symmetries of the environment into MuZero's world-model architecture, making MuZero equivariant to certain groups of transformations.
result Improves data efficiency and generalization capabilities, demonstrated on procedurally generated MiniPacman and Chaser.
We prove the existence of a center, or continuous selection of a point, in the relative interior of C1 embedded k-disks in Riemannian n-manifolds. If k≤3 the center can be made equivariant with respect to the isometries of the manifold, and under mild assumptions the same holds for k=4=n. By contrast, for…
Performance of neural networks can be significantly improved by encoding known invariance for particular tasks. Many image classification tasks, such as those related to cellular imaging, exhibit invariance to rotation. We present a novel scheme using the magnitude response of the 2D-discrete-Fourier transform (2D-DFT)…
Optimal classification requires choosing the right group symmetries, contrary to intuition.
problem Improving binary classification performance by selecting appropriate group symmetries.
method Developed a theoretical framework for designing group equivariant neural networks.
result Optimal classification performance is achieved by selecting the appropriate subgroups of symmetries, not the largest equivariant groups.
ESAN improves graph neural networks by processing subgraphs.
problem Limitations of MPNNs in graph isomorphism.
method ESAN represents graphs as sets of subgraphs and processes them with equivariant architectures.
result ESAN increases the expressive power of GNNs and more expressive architectures.
A universal collection of 4 invariants improves neural network accuracy for molecular dynamics.
problem Improving accuracy of neural networks in molecular dynamics.
method Developed a universal collection of 4 smooth scalar invariants on M(3) x M(3) and evaluated their effectiveness in a PONITA neural network architecture.
result Using a universal collection of invariants significantly improves neural network accuracy.
The paper addresses selection bias in conformal prediction for focal units.
problem Selection bias in marginally valid conformal prediction intervals for focal units.
method A general framework for constructing selection-conditional coverage prediction sets.
result Efficient methods for various selection rules with exact finite-sample coverage.
A new method for generating sets and graphs without requiring exchangeability.
problem Generating exchangeable distributions for sets and graphs is challenging.
method Top-n creation, a differentiable generation mechanism that selects relevant points from a latent vector.
result Top-n method outperforms i.i.d. generation in various tasks.
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.
As announced in [12], we develop a calculus of Fourier integral G-operators on any Lie groupoid G. For that purpose, we study convolability and invertibility of Lagrangian conic submanifolds of the symplectic groupoid T * G. We also identify those Lagrangian which correspond to equivariant families parametrized by the …
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.
AbDiffuser generates full-atom antibodies with sequence and structure fidelity.
problem Generating high-fidelity antibodies with both structure and sequence information.
method Equivariant and physics-informed diffusion model with novel protein structure representation.
result AbDiffuser generates antibodies with sequence and structural properties matching a reference set.
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).
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.