Abstract. In this paper we study the almost everywhere convergence of the expansions related to the self-adjoint extension of the LaplaceBeltrami operator on the unit sphere. The sufficient conditions for summability is obtained. The more general properties and representation by the eigenfunctions of the Laplace-Beltrami operator of the Liouville space L 1 is used. For the orders of Riesz means...

We investigate the distribution of nonuniform complexities in uniform complexity classes We prove that almost every problem decidable in exponential space has essentially maximum circuit size and space bounded Kolmogorov complexity almost everywhere The circuit size lower bound actually exceeds and thereby strengthens the Shannon n n lower bound for almost every problem with no computability co...

This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be “replaced”, equivalently w.r.t. reachability, by another one with no nested loops. From a practical view point, we show that flatness is a necessary and sufficient condition for termination of accelerated symbolic model checking, a...

Let ω denote the set of natural numbers. For functions f, g : ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2 of infinite sequences of 0’s and 1’s. A Turing oracle B is said to be almost everywhere dominating if, for measure one many X ∈ 2, each function which is Turing computable from...