相关论文: Jet Functors and Weil Algebras in Automatic Differ…

We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable…

We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…

Computing partial differential equation (PDE) operators via nested backpropagation is expensive, yet popular, and severely restricts their utility for scientific machine learning. Recent advances, like the forward Laplacian and randomizing…

An extension to higher dimensions of the Bel-Debever characterization of the Weyl tensor is considered. This provides algebraic conditions that uniquely determine the multiplicity of a Weyl aligned null direction (WAND), and thus the…

Automatic Differentiation (AD) is instrumental for science and industry. It is a tool to evaluate the derivative of a function specified through a computer program. The range of AD application domain spans from Machine Learning to Robotics…

We present semantic correctness proofs of forward-mode Automatic Differentiation (AD) for languages with sources of partiality such as partial operations, lazy conditionals on real parameters, iteration, and term and type recursion. We…

This thesis studies the representation theory and linear structures of $\mathcal{Q}$-manifolds and higher Lie algebroids. We introduce differential graded modules (or for short DG-modules) of $\mathcal{Q}$-manifolds and the equivalent…

RooFit is a toolkit for statistical modeling and fitting used by most experiments in particle physics. Just as data sets from next-generation experiments grow, processing requirements for physics analysis become more computationally…

We introduce the reflexive hull discriminant as a tool to study noncommutative algebras that are finitely generated, but not necessarily free, over their centers. As an example, we compute the reflexive hull discriminants for quantum…

Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…

Many problems in Physics and Chemistry are formulated as the minimization of a functional. Therefore, methods for solving these problems typically require differentiating maps whose input and/or output are functions -- commonly referred to…

We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars,…

This paper presents a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). They are generated by formulating the underlying minimization problem (a deterministic cost function) from the perspective of Geometric…

Variational Autoencoders (VAEs) are powerful generative models widely used for learning interpretable latent spaces, quantifying uncertainty, and compressing data for downstream generative tasks. VAEs typically rely on diagonal Gaussian…

Let G be a connected reductive algebraic group and let G'=[G,G] be its derived subgroup. Let (G,V) be a multiplicity free representation with a one dimensional quotient (see definition below). We prove that the algebra D(V)^{G'} of…

We construct the Weil restriction map for l-adic cohomology and, more generally, for mixed Weil cohomology theories. We study its compatibility with the motivic cycle class map and show that these constructions admit a natural…

We present the classical coordinate-free formalism for forward and backward mode ad in the real and complex setting. We show how to formally derive the forward and backward formulae for a number of matrix functions starting from basic…

We establish the arithmetic Siegel-Weil formula on the modular curve $\mathcal{X}_{0}(N)$ for arbitrary level $N$, i.e., we relate the arithmetic degrees of special cycles on $\mathcal{X}_{0}(N)$ to the derivatives of Fourier coefficients…

The assumption of conditional independence among observed variables, primarily used in the Variational Autoencoder (VAE) decoder modeling, has limitations when dealing with high-dimensional datasets or complex correlation structures among…

We propose the use of automatic differentiation through the programming framework jax for accelerating a variety of analysis tasks throughout gravitational wave (GW) science. Firstly, we demonstrate that complete waveforms which cover the…