Related papers: Partial Signatures and the Yoshida-Nicolaescu Theo…
Kossowski and Kriele derived boundary conditions on the metric at a surface of signature change. We point out that their derivation is based not only on certain smoothness assumptions but also on a postulated form of the Einstein field…
In this paper, we establish a generalization of Sturm--Picone comparison theorem for a pair of fractional nonlocal equations: \begin{eqnarray*} \begin{gathered} (-div. (A_1(x)\nabla))^{s} u = C_{1}(x) u \,\,\,\mbox{in}\,\,\Omega, u = 0…
Maslov indices are integers that appear in semiclassical wave functions and quantization conditions. They are often notoriously difficult to compute. We present methods of computing the Maslov index that rely only on typically elementary…
This is the second paper devoted to the numerical version of Signature-inverse Theorem in terms of the underlying joint invariants. Signature Theorem and its Inverse guarantee any application of differential invariant signature curves to…
The 'signature method' refers to a collection of feature extraction techniques for multivariate time series, derived from the theory of controlled differential equations. There is a great deal of flexibility as to how this method can be…
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…
Using Y.Andr\'e's result on differential equations staisfied by $E$-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between…
These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…
We give an exposition of the Morse Index Theorem in the Riemannian case in terms of the Maslov index, following and expanding upon Arnold's seminal paper. We emphasize the symplectic arguments in the proof and aim to be as self-contained as…
We describe a new approach to the canonical decompositions of 3-manifolds along tori and annuli due to Jaco-Shalen and Johannson (with ideas from Waldhausen) - the so-called JSJ-decomposition theorem. This approach gives an accessible proof…
In a first contribution, we revisit two certificates of positivity on (possibly non-compact) basic semialgebraic sets due to Putinar and Vasilescu [Comptes Rendus de l'Acad\'emie des Sciences-Series I-Mathematics, 328(6) (1999) pp.…
A general model of age-structured population dynamics is developed and the fundamental properties of its solutions are analyzed. The model is a semilinear partial differential equation with a nonlinear nonlocal boundary condition.…
The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus. Elementary definitions of probability…
In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus,…
We prove the existence of axially symmetric solutions to the Vlasov--Poisson system in a rotating setting for sufficiently small angular velocity. The constructed steady states depend on Jacobi's integral and the proof relies on an implicit…
Let PC be the group of bijections from [0, 1[ to itself which are continuous outside a finite set. Let PC be its quotient by the subgroup of finitely supported permutations. We show that the Kapoudjian class of PC vanishes. That is, the…
Tensors are often studied by introducing preorders such as restriction and degeneration: the former describes transformations of the tensors by local linear maps on its tensor factors; the latter describes transformations where the local…
The Divergence Theorem as usually stated cannot be applied across a change of signature unless it is re-expressed to allow for a finite source term on the signature change surface. Consequently all conservation laws must also be `modified',…
Taking the signature of the closure of a braid defines a map from the braid group to the integers. In 2005, Gambaudo and Ghys expressed the homomorphism defect of this map in terms of the Meyer cocycle and the Burau representation. In the…