Related papers: Partial Signatures and the Yoshida-Nicolaescu Theo…
In this paper, we obtain two Lichnerowicz type formulas for sub-signature operators. And we give the proof of Kastler-Kalau-Walze type theorems for sub-signature operators on 4-dimensional and 6-dimensional compact manifolds with…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We prove the H\"{o}lder continuity of sign-changing solutions to the equation of the type $$\frac{\partial}{\partial t}\big(|u|^{q-1} u\big)- div\Big(|D u|^{p-2}\,D u\Big)=0,$$ where numbers $p$, $q$ satisfy the conditions $$0<q<p-1\quad…
We consider a degenerate stochastic differential equation that has a sticky point in the Markov process sense. We prove that weak existence and weak uniqueness hold, but that pathwise uniqueness does not hold nor does a strong solution…
Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…
We give a descriptive construction of trees for multi-ended graphs, which yields yet another proof of Stallings' theorem on ends of groups. Even though our proof is, in principle, not very different from already existing proofs and it draws…
The paper presents a new proof of O'Cinneide's characterization theorem. It is much simpler than the original one and constructive in the sense that we not only show the existence of a phase type representation, but present a procedure…
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud's relative representability theorem, we give sufficient conditions…
In this paper we prove that under weak conditions a nonautonomous Young differential equation possesses a unique solution which depends continuously on initial conditions. The proofs use estimates in p-variation norms, greedy time…
We describe the formalization of the Ionescu-Tulcea theorem, showing the existence of a probability measure on the space of trajectories of a Markov chain, in the proof assistant Lean using the integrated library Mathlib. We first present a…
We describe how the use of a different degeneration from that considered by Eisenbud and Harris leads to a simple and characteristic-independent proof of the Brill-Noether theorem using limit linear series. As suggested by the degeneration,…
This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of…
In the paper, we are concerned with degenerate stochastic differential equations with jumps. Firstly, we establish two support theorems for the solutions of the degenerate stochastic equations, under different (sufficient) conditions.…
A technical point regarding the invariance of Polyakov's nonlocal form of the effective action under uniform rescalings is briefly addressed.
We present a global version of the {\L}ojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the mapping defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that…
The sequence of so-called signature moments describes the laws of many stochastic processes in analogy with how the sequence of moments describes the laws of vector-valued random variables. However, even for vector-valued random variables,…
Novel criteria for global asymptotic stability of nonlinear uncertain finite-dimensional systems are presented. The results are obtained by a combination of the "discretization approach" and the ideas contained in the proof of the original…
An Ito formula is developed in a context consistent with the development of abstract existence and unique- ness theorems for nonlinear stochastic partial differential equations, which are singular or degenerate. This is a generalization of…
The signature transform, defined by the formal tensor series of global iterated path integrals, is a homomorphism between the path space and the tensor algebra that has been studied in geometry, control theory, number theory as well as…
We use the G-signature theorem to define an invariant of strongly invertible knots analogous to the knot signature.