Related papers: On a general theorem for additive Levy processes

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…

A new object, called the velocity tensor, is introduced. It allows to formulate a generally covariant mechanics. Some properties of the velocity tensor are derived.

We extend the idea of tempering stable Levy processes to tempering more general classes of Levy processes. We show that the original process can be decomposed into the sum of the tempered process and an independent point process of large…

Combinatorial Levy processes evolve on general state spaces of countable combinatorial structures. In this setting, the usual Levy process properties of stationary, independent increments are defined in an unconventional way in terms of the…

Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list-sorting algorithms, and we demonstrate them in the Theorema system. We use the classical principle of extracting the algorithm as…

We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be…

A new generalization of the classical separate algebraicity theorem is suggested and proved.

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

In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.

In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

We consider a process $Z$ on the real line composed from a L\'evy process and its exponentially tilted version killed with arbitrary rates and give an expression for the joint law of $Z$ seen from its supremum, the supremum $\overline Z$…

In this paper we show an index theorem for gerbes

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

The purpose of this paper is to introduce the notion of a generalized derivation which derivates a prescribed family of smooth vector-valued functions of several variables. The basic calculus rules are established and then a result derived…

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.

In this paper we discuss and prove some new strong convergence theorems for partial sums and Fej\'er means with respect to the Vilenkin system.

We provide a new and elementary proof of Levy's second arcsine law for Brownian motion. The only tools required are basic properties of Brownian motion and Poisson processes, and the ballot theorem. Our proof is readily extended to Brownian…