Related papers: Derivatives for Containers in Univalent Foundation…
We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: (1) a unipotent analogue of…
In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…
We study the gradient and higher order derivative estimates for the transmission problem in the presence of closely located inclusions. We show that in two dimensions, when relative conductivities of circular inclusions have different…
Let $X$ be a perfect, compact subset of the complex plane, and let $D^{(1)}(X)$ denote the (complex) algebra of continuously complex-differentiable functions on $X$. Then $D^{(1)}(X)$ is a normed algebra of functions but, in some cases,…
Real-world classification problems must contend with domain shift, the (potential) mismatch between the domain where a model is deployed and the domain(s) where the training data was gathered. Methods to handle such problems must specify…
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…
The purpose of this paper is to present a universal approach to the study of controllability/observability problems for infinite dimensional systems governed by some stochastic/deterministic partial differential equations. The crucial…
Validation is a major challenge in differentiable programming. The state of the art is based on algorithmic differentiation. Consistency of first-order tangent and adjoint programs is defined by a well-known first-order differential…
We show that, in 't Hooft's large N limit, matrix models can be formulated as a classical theory whose equations of motion are the factorized Schwinger--Dyson equations. We discover an action principle for this classical theory. This action…
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect…
The ability to represent complex high dimensional probability distributions in a compact form is one of the key insights in the field of graphical models. Factored representations are ubiquitous in machine learning and lead to major…
We study the relationship between derived categories of factorizations on gauged Landau-Ginzburg models related by variations of the linearization in Geometric Invariant Theory. Under assumptions on the variation, we show the derived…
In this paper we will explore two different proposals for the action for causal sets: the Benincasa-Dowker action and a modified version of the chain action. We propose a variational principle for two-dimensional causal sets and use it for…
This paper introduces a new derivative parsing algorithm for recognition of parsing expression grammars. Derivative parsing is shown to have a polynomial worst-case time bound, an improvement on the exponential bound of the recursive…
Starting from kicked equations of motion with derivatives of non-integer orders, we obtain "fractional" discrete maps. These maps are generalizations of well-known universal, standard, dissipative, kicked damped rotator maps. The main…
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving…
This work further develops the properties of fractional differential forms. In particular, finite dimensional subspaces of fractional form spaces are considered. An inner product, Hodge dual, and covariant derivative are defined. Coordinate…
We present a unified derivation of covariant time derivatives, which transform as tensors under a time-dependent coordinate change. Such derivatives are essential for formulating physical laws in a frame-independent manner. Three specific…
In this note we highlight a common origin for many ubiquitous geometric structures, as well as several new ones by using only the functors of differential calculus in A.M Vinogradov's original sense, adapted to special classes of (graded)…
We propose a finite element discretisation approach for the incompressible Euler equations which mimics their geometric structure and their variational derivation. In particular, we derive a finite element method that arises from a…