New pushforward operation on vector pseudo-bundles creates new examples.
problem Creating new objects from vector bundle theory in diffeology.
method Introducing pushforward operation on diffeological vector pseudo-bundles.
result Pushforward operation produces new projective diffeological vector spaces.
Transforms classical connections using pushforwards and gauge transformations.
problem Transforming classical connections in categorical settings.
method Constructing pushforwards and applying gauge transformations to decorated path spaces.
result Combines traditional gauge transformation with affine translation.
New operations defined on moduli spaces for bundles with orientations.
problem Pushforward operations for principal bundles with orientations.
method Developed a general theory of pushforward operations for principal G-bundles, constructing specific operations for G=BU(1). result Classified all stable pushforward operations and showed they are generated by the projective Euler and rank operations.
Study normal bundle and deformation to get new pushforward maps.
problem Construct pushforward maps in various homology theories.
method Use deformation Lie groupoids to construct pushforward maps.
result Functoriality of pushforward maps recovers and generalizes previous cases.
This study improves GANs by learning latent distributions and pushforward maps.
problem Improving the performance of GANs with optimal transport metrics.
method Focuses on the interplay between latent distribution and generator complexity.
result Learning latent distributions and pushforward maps can significantly reduce sample complexity.
Following Hopkins and Singer, we give a definition for the differential equivariant K-theory of a smooth manifold acted upon by a finite group. The ring structure for differential equivariant K-theory is developed explicitly. We also construct a pushforward map which parallels the topological pushforward in equivariant…
The paper examines convergence of currents and forms under smooth diffeomorphisms.
problem Analyzing convergence of currents and forms under C0-limits of diffeomorphisms. method Geometric analysis, measure theory, homotopy theory.
result Pushforwards of rectifiable currents converge in the flat norm.
We define disentanglement in generative models and prove it's related to identifiable factors.
problem Understanding disentanglement in generative models like VAEs and GANs.
method Characterized disentanglement in smooth generative pushforward models using the SVD of the Jacobian.
result Disentanglement is identifiable under certain conditions on the generator, promoting separable factors.
This paper learns prior models from indirect data efficiently.
problem Learning prior models from indirect data in Bayesian inversion.
method Generative model of prior as pushforward of Gaussian in latent space, learned by minimizing loss function.
result Efficient residual-based neural operator approximation for forward model learning.
Paper develops methods for analyzing forms with synchronized singularities.
problem Analyzing forms with synchronized singularities.
method Exact reduction, analytic transfer, and geometric recomposition.
result Transfer of sparse domination principle to synchronized singular forms.
Study X-ray transform on manifolds, desingularize, and improve mapping properties.
problem Characterize mapping properties of X-ray transform and its adjoint on manifolds with strictly convex boundary.
method Use b-fibrations, desingularize, and apply Melrose's Pushforward Theorem to analyze polyhomogeneous functions.
result Improved mapping properties of X-ray transform and its adjoint, recovering sharp results.
The paper proves positivity of characteristic forms for certain vector bundles.
problem Characterizing positivity conditions for vector bundles.
method Operator theory, pushforward identities, and differential forms.
result Schur polynomials in Chern forms of Nakano and Griffiths positive vector bundles are positive as differential forms.
We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This construct…
We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).
New guarantees for uniquely identifying transport maps and vector fields from finite measure-valued data.
problem Unique recovery of transport maps and vector fields from finite measure-valued data.
method Use of Whitney and Takens embedding theorems to establish conditions for unique identification.
result New metric for comparing diffeomorphisms and analogous results in infinitesimal settings.
Paper compares Bergman kernel and Masur-Veech measure on Teichmüller space.
problem Comparing Bergman kernel and Masur-Veech measure on Teichmüller space.
method Comparison between Bergman kernel form and pushforward measure of Masur-Veech measure.
result Obtained a comparison between the Bergman kernel form and the pushforward measure of the Masur-Veech measure.
QFIL improves offline RL by filtering data to reduce bias and variance.
problem Improving offline reinforcement learning policies with limited data.
method QFIL uses a filtered dataset to improve policies, trading off bias and variance through quantile selection.
result QFIL provides a safe policy improvement step with function approximation and effectively balances bias and variance.
We study the algebraic properties of the generalized Futaki invariant of an almost Fano variety and prove that it is in fact a pushforward to a point of an appropriate equivariant Chow cohomology class of the variety. This allows us to use Bott-type formulae for calculating the invariant. We show this use on some examp…
Paper introduces a novel map learning algorithm for domain translation and adaptation.
problem Learning a map between related data spaces that can be applied to out-of-sample data and satisfies application-specific constraints.
method Utilizes normalizing flows to parameterize a map that minimizes a probability distance and application-specific regularizers, solving a modified optimal transport problem.
result The proposed method (parOT) outperforms existing optimal transport approaches in domain adaptation and translation tasks.
For L↪X a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to (X,L) as an orbifold with corners equipped with a group action. Some essential constructions involving orbifolds with corners are also discussed, including th…
We propose a general framework to learn deep generative models via \textbf{V}ariational \textbf{Gr}adient Fl\textbf{ow} (VGrow) on probability spaces. The evolving distribution that asymptotically converges to the target distribution is governed by a vector field, which is the negative gradient of the first variation o…
Constructs a model for differential KO-theory using Clifford modules.
problem Refining Atiyah and Singer's families index with differential structure.
method Builds a model using families of Clifford modules with superconnection.
result Affords a differential refinement of Atiyah and Singer's families index.
Algorithm samples polygons of fixed edge lengths in any dimension.
problem Sampling random closed polygons with fixed edge lengths in any dimension.
method Weighted edge vectors on unit sphere, Möbius transformation, reweighting factors.
result Algorithm samples polygons according to standard probability measures efficiently.
This work proposes a new neural implicit manifold model for more accurate density estimation on manifolds.
problem Current generative models struggle with representing manifolds accurately and learning densities within them.
method Proposes a neural implicit manifold model and a constrained energy-based model to learn manifold-supported distributions.
result The proposed model can learn manifold-supported distributions with complex topologies more accurately than pushforward models.
New Hilbert bundles with ends defined from indexed bases.
problem Defining new structures in Hilbert bundles.
method Indexed bases and unitary operators of finite propagation.
result Characteristic classes of Hilbert bundles with ends.
Toeplitz operators linked to submultiplicative filtrations and weighted Bergman kernels.
problem Analyzing the asymptotics of weighted Bergman kernels for submultiplicative filtrations.
method Demonstrated that weight operator is a Toeplitz operator; analyzed asymptotics of weighted Bergman kernels.
result Local refinement of convergence of jumping measures towards geodesic ray pushforward measure.
In this paper, we investigate topological aspects of indices of twisted geometric operators on manifolds equipped with fibered boundaries. We define K-groups relative to the pushforward for boundary fibration, and show that indices of twisted geometric operators, defined by complete Φ or edge metrics, can be regard…
New surface observables yield 2-knot invariants in nonabelian theories.
problem Developing new invariants for nonabelian theories.
method Introducing surface observables in BF theory and Yang-Mills theory.
result Surface observables induce new 2-knot invariants and electric fluxes.
Algorithm learns polynomial transformations of Gaussian distributions.
problem Learning high-dimensional polynomial transformations of Gaussian distributions.
method Polynomial-time algorithms for smoothed settings, tensor ring decomposition.
result First end-to-end guarantees for learning pushforwards under neural networks.
The purpose of this paper is to study the action of the mapping class group on the moduli space of representations of the fundamental group of a non-orientable surface into SU(2). The action is shown to be ergodic with respect to a natural measure. This measure is defined using the push-forward measure associated to a …
It is shown that for knots with a sufficiently regular character variety the Dubois' torsion detects the A-polynomial of the knot. A global formula for the integral of the Dubois torsion is given. The formula looks like the heat kernel regularization of the formula for the Witten-Reshetikhin-Turaev invariant of the dou…
Generalized Stacey-Roberts lemma for Banach manifolds.
problem Constructing Lie groupoids of smooth mappings in infinite-dimensional geometry.
method Generalization of the Stacey-Roberts lemma to Banach manifolds with smooth partitions of unity.
result Remedied an error in the original proof for finite-dimensional setting.
Inverts operator on hyperbolic surfaces, constructing invariant distributions.
problem Constructing explicit inversion formula for X-ray normal operator.
method First, inversion formula for attenuated normal operator on Poincaré disk and closed hyperbolic surfaces. Then, explicit construction of invariant distributions.
result Explicit construction of invariant distributions with prescribed pushforward.
Paper organizes sampling methods for generative modeling.
problem Challenges in sampling with diffusion models.
method Reviews and organizes existing sampling methods.
result Reveals links between methods to overcome challenges.
We prove two-sided inequalities for the Lp-norm of a pushforward or pullback (with respect to an orientation-preserving diffeomorphism) on oriented volume and Riemannian manifolds. For a function or density on a volume manifold, these bounds depend only on the Jacobian determinant, which arises through the change of…
We give an infinite dimensional description of the differential K-theory of a manifold M. The generators are triples [H,A,ω] where H is a Z2-graded Hilbert bundle on M, A is a superconnection on H and ω is a differential form on M. The relations involve eta forms. We show that the ensuing gro…
We provide several constructions in differential KO-theory. First, we construct a differential refinement of the A^-genus and a pushforward leading to a Riemann-Roch theorem. We set up a differential refinement of the Atiyah-Hirzebruch spectral sequence (AHSS) for differential KO-theory and explicitly identify t…
Geometric Gaussian approximations capture any distribution.
problem Approximating complex probability distributions.
method Geometric Gaussian approximations through diffeomorphisms or exponential maps.
result Geometric Gaussian approximations are universal, capturing any distribution.
This paper uses Karcher's formulation [Kar99] of the O'Neill tensors [O'N66,Gra67] to derive a concise formula for the family Ωε of curvature forms obtained by shrinking the fibers of a submersion π:M→B of semi-Riemannian manifolds by a factor of 1−ε. The formula clearly shows that as ε approaches 1, Ωε …
The paper shows how Sobolev maps affect currents in metric spaces.
problem Understanding how Sobolev maps affect currents in metric spaces.
method Proving that a Sobolev map pushes almost every compactly supported integral current to an Ambrosio-Kirchheim integral current.
result The paper proves an isoperimetric inequality for Sobolev mappings relative to bounded, closed, and additive cochains.
Extending the earlier results for analytic curve segments, in this article we describe the asymptotic behaviour of evolution of a finite segment of a C^n-smooth curve under the geodesic flow on the unit tangent bundle of a finite volume hyperbolic n-manifold. In particular, we show that if the curve satisfies certain n…
New estimates show spectral gap stability in RCD spaces, close to Beta distribution.
problem Stability of spectral gap bounds in metric-measure spaces.
method Combines L1-functional inequality and Stein's method. result Sharp quantitative estimate for spectral gap stability.
Optimal Transport (OT) naturally arises in many machine learning applications, yet the heavy computational burden limits its wide-spread uses. To address the scalability issue, we propose an implicit generative learning-based framework called SPOT (Scalable Push-forward of Optimal Transport). Specifically, we approxima…
In this paper we explain how non-abelian Hodge theory allows one to compute the L2 cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise L2 cohomology of a tame harmonic bundle o…
Geometric AD framework simplifies derivative computation in JAX.
problem Efficient and accurate automatic differentiation.
method Jet functors and Weil algebras for geometric analysis.
result Unified view of derivative propagation with algebraic exactness.
Novel construction of Bauer--Furuta invariant using sheaves of spectra.
problem Constructing the Bauer--Furuta invariant without finite-dimensional approximations.
method Using sheaves of spectra and Borel--Moore homology, avoiding approximations.
result Defines the shriek functors and Thom spectra for index calculations.
Unified approach unites GANs and diffusion models using particle methods.
problem Combining GANs and diffusion models for generative tasks.
method Proposes a unified framework where generator training is seen as a generalization of particle models.
result Demonstrates that GANs and diffusion models can be integrated within a unified framework.
Estimates Lelong numbers of Monge-Ampère products for Kähler manifolds.
problem Estimating Lelong numbers of Monge-Ampère products on Kähler manifolds.
method Analyzes generalized Monge-Ampère products and applies estimates to Chern and Segre currents of pseudoeffective vector bundles.
result Generalizes a recent result about pseudoeffective vector bundles and their nefness.