Related papers: On subcartesian spaces Leibniz' rule implies the c…
A Lie-Hamilton system is a nonautonomous system of first-order ordinary differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional Lie algebra, a Vessiot-Guldberg Lie algebra,…
In this paper we give a complete classification of the Leibniz algebras of biderivations of right Leibniz algebras of dimension up to three over a field $\mathbb{F}$, with $\operatorname{char}(\mathbb{F})\neq 2$. We describe the main…
Many modern numerical methods in computational science and engineering rely on derivatives of mathematical models for the phenomena under investigation. The computation of these derivatives often represents the bottleneck in terms of…
Invertible compositions of one-dimensional maps are studied which are assumed to include maps with non-positive Schwarzian derivative and others whose sum of distortions is bounded. If the assumptions of the Koebe principle hold, we show…
Leibniz's rule for the $n$-th derivative of a product is a very well known and extremely useful formula. In this article, we introduce an analogous explicit formula for the $n$-th derivative of a quotient of two functions. Later, we use…
We generalize Siegel's theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree d or less over some number field.…
We provide a vast class of counterexamples to the chain rule for the divergence of bounded vector fields in three space dimensions. Our convex integration approach allows us to produce renormalization defects of various kinds, which in a…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a…
Basic aspects of differential geometry can be extended to various non-classical settings: Lipschitz manifolds, rectifiable sets, sub-Riemannian manifolds, Banach manifolds, Weiner space, etc. Although the constructions differ, in each of…
The (left-)curtain coupling, introduced by Beiglb\"ock and the author is an extreme element of the set of "martingale" couplings between two real probability measures in convex order. It enjoys remarkable properties with respect to order…
The combinatorial description via ribbon graphs of the moduli space of Riemann surfaces makes it possible to define combinatorial cycles in a natural way. Witten and Kontsevich first conjectured that these classes are polynomials in the…
We study the structures of arbitrary split Leibniz triple systems. By developing techniques of connections of roots for this kind of triple systems, under certain conditions, in the case of $T$ being of maximal length, the simplicity of the…
We show that there is a sequence of operations on the positively graded part of a differential graded algebra making it into an L-infinity algebra. The formulas for the higher brackets involve Bernoulli numbers. The construction generalizes…
We study two types of approximations of Lipschitz maps with derivatives of maximal slopes on Banach spaces. First, we characterize the Radon-Nikod\'ym property in terms of strongly norm attaining Lipschitz maps and maximal derivative…
In this note we generalize the main result in [DIV: R. Di Gennaro, G. Ilardi, J. Valles, Singular hypersurfaces characterizing the Lefschetz properties J. Lond. Math. Soc. (2) 89 (2014), no. 1, 194-212] on artinian ideals failing Lefschetz…
The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the…
Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical framework, where one of the primary axioms is the reverse chain…
A coordinate-free proof of the Maximum Principle is provided in the specific case of an optimal control problem with fixed time. Our treatment heavily relies on a special notion of variation of curves that consist of a concatenation of…
We define smooth notions of concordance and sliceness for spatial graphs. We prove that sliceness of a spatial graph is equivalent to a condition on a set of linking numbers together with sliceness of a link associated to the graph. This…