Related papers: On a general theorem for additive Levy processes

Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for a fully verified proof. To be practical, most of the fully…

In this paper we present another proof of the analytic version of the Hahn-Banach theorem in terms of convex functionals.

In this paper, we are concerned with the representation of an important sublinear expectation under which framework a new stochastic process G-L\'evy process has been introduced. We show the existence of a weakly compact family of…

We study sums of independent and identically distributed random velocities in special relativity. We show that the resulting one-dimensional velocity distributions are not only stable under relativistic velocity addition but define a…

The following article is one of introduction to additive frieze patterns, linking the subject to multiplicative frieze patterns. We also add two new theorems about additive frieze patterns (see theorem 2 and 5) and a conjecture about…

We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]

We provide a version of the celebrated theorem of Koml\'os in which, rather then random quantities, a sequence of finitely additive measures is considered. We obtain a form of the subsequence principle and some applications.

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk\'y's theorem assert that set-generic extensions of a given…

Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

In this paper we study the convergence of solutions for (possibly degenerate) stochastic differential equations driven by L\'evy processes, when the coefficients converge in some appropriate sense. First, we prove, by means of a…

We study the properties of the multiplicative structure on valuations on convex sets. We prove a new version of the hard Lefschetz theorem for even translation invariant continuous valuations, and discuss related problems of integral…

We present the theory of hard exclusive processes, at medium and asymptotical energies, illustrated through some selected examples.

In this note we demonstrate that a number of case-heavy combinatorial proofs in the mathematical phylogenetics literature can be proven more compactly using computational support. We use these techniques to also prove several new…

In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration strategies has been added to the mix.

In the paper we develop the method of higher energies. New upper bounds for the additive energies of convex sets, sets A with small |AA| and |A(A+1)| are obtained. We prove new structural results, including higher sumsets, and develop the…

A new probalistic approach to general relativistic kinetic theory is proposed. The general relativistic Boltzmann equation is linked to a new Markov process in a completely intrinsic way. This treatment is then used to prove the causal…