Related papers: Hereditary completeness for systems of exponential…

We consider equally-weighted Cantor measures $\mu_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$, $i=0,1,...,q-1$, where $q<b$. We classify the $(q,b)$ so that they have infinitely many mutually orthogonal…

In this paper, we study an infinite system of Fredholm series of polynomials in $\lambda$, formed, in the classical way, for a continuous Hilbert-Schmidt kernel on $\mathbb{R}\times\mathbb{R}$ of the form…

For certain one-dimensional Schroedinger-type difference operators with a complex potential, a "complete" set of exponentially decaying eigenvectors is shown to exist. "Completeness" entails that the parameters involved are obtained through…

We introduce the notion of a cellular system in order to deal with quasi-hereditary algebras. We shall prove that a necessary and sufficient condition for an algebra to be quasi-hereditary is the existence of a full divisible cellular…

We establish a criterion for the completeness of an exponential system in the spaces of functions continuous on a convex compact set and holomorphic in the interior of this compact set, as well as in the spaces of holomorphic functions in…

Inspired by the work of Borwein and Erdelyi \cite{BE1997JAMS} on generalizations of M\"{u}ntz's theorem, we investigate the properties of the system $\{x^{\lambda_n}\}_{n=1}^{\infty}$ in weighted $L^p (A)$ spaces, for $p\ge 1$, denoted by…

A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…

We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…

We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain $\Omega$ of a rectangular domain $I\times I$ to a covariance kernel on the entire domain $I\times I$. For a…

We show that every sequence $f_1, f_2, \cdots$ of real-valued random variables with $\sup_{n \in \N} \E (f_n^2) < \infty$ contains a subsequence $f_{k_1}, f_{k_2}, \cdots$ converging in \textsc{Ces\`aro} mean to some $\,f_\infty \in…

Let $L$ be a periodic self-adjoint linear elliptic operator in $\R^n$ with coefficients periodic with respect to a lattice $\G$, e.g. Schr\"{o}dinger operator $(i^{-1}\partial/\partial_x-A(x))^2+V(x)$ with periodic magnetic and electric…

A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor,…

We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…

We obtain two results concerning the Feichtinger conjecture for systems of normalized reproducing kernels in the model subspace $K_\Theta = H^2\ominus \Theta H^2$ of the Hardy space $H^2$, where $\Theta$ is an inner function. First, we…

We present an accurate investigation of the algebraic conditions that the symbols of a convergent, univariate, binary, non-stationary subdivision scheme should fulfill in order to reproduce spaces of exponential polynomials. A subdivision…

We investigate existence and qualitative properties of globally defined and positive radial solutions of the Lane-Emden system, posed on a Cartan-Hadamard model manifold $ \mathbb{M}^n $. We prove that, for critical or supercritical…

We provide a characterization of discrete sets $\Lambda \subset \mathbb{R}$ that admit a function whose $\Lambda$-translates are complete in the Hardy space $H^1(\mathbb{R})$. In particular, we show that such a set cannot be uniformly…

Generalizing previous work of Iwaniec, Luo, and Sarnak (2000), we use information from one-level density theorems to estimate the proportion of non-vanishing of $L$-functions in a family at a low-lying height on the critical line (measured…

We have completely rewritten the paper, and corrected the proofs. We construct an exponential map at any point in the (n-1)-skeleton minus the (n-2)-skeleton of an n-dimensional Riemannian polyhedron. We have added allover the…

Let $\ee>0$ and $\fff$ be a family of finite subsets of the Cantor set $\ccc$. Following D. H. Fremlin, we say that $\fff$ is $\ee$-filling over $\ccc$ if $\fff$ is hereditary and for every $F\subseteq\ccc$ finite there exists $G\subseteq…