相关论文: On a general theorem for additive Levy processes

We discuss some variants of cone theorem for movable curves in any codimensions.

We establish a general Liouville type theorem for conformally invariant fully nonlinear equations.

Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorption, making each scientific premise clear and every step of…

This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with…

In a recent paper we gave a sufficient condition for the strong mixing property of the Levy-transformation. In this note we show that it actually implies a much stronger property, namely exactness.

In this note, a generalization of the Thompson transfer lemma and its various extensions, most recently due to Lyons, is proven in the context of saturated fusion systems. A strengthening of Alperin's fusion theorem is also given in this…

We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this…

In this paper, we present a comprehensive theory of generalized and weak generalized convolutions, illustrate it by a large number of examples, and discuss the related infinitely divisible distributions. We consider L\'{e}vy and additive…

An technically interesting proof of a known theorem.

It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…

In this article we consider the Levy processes and the corresponding semigroup. We represent the generator of this semigroup in a convolution form. Using the obtained convolution form and the theory of integral equations we investigate the…

We give a new simpler proof of a theorem of Jayne and Rogers.

We give a new proof of Lucas' Theorem in elementary number theory.

The object of this paper is to generalize a theorem on the binomial coefficient [4] to the case in an arithmetic progression. We will also give a slightly stronger result than Langevin's [2].

The class of Levy processes for which overshoots are almost surely constant quantities is precisely characterized.

In this paper we prove several theorems about the behavior of index of Lie algebras derived from associative algebras under tensor products of underlying associative algebras.

We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the…

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…