Related papers: Complementability of exponential systems

In this paper a new general approach is developed to construct and study Lebesgue type decompositions of linear operators $T$ in the Hilbert space setting. The new approach allows to introduce an essentially wider class of Lebesgue type…

We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…

We consider exponential systems $E\left(\Lambda\right)=\left\{ e^{i\lambda t}\right\} _{\lambda\in\Lambda}$ for $\Lambda\subset\mathbb{Z}$. It has been shown by Londner and Olevskii in [9] that there exists a subset of the circle, of…

The Feichtinger Conjecture, if true, would have as a corollary that for each set $E\subset \T$ and $\Lambda \subset \Z$, there is a partition $\Lambda_1,...,\Lambda_N$ of $\Z$ such that for each $1\le i \le N$, $\{\exp(2\pi i x\lambda):…

We discuss completeness, minimality, and basisness, in $L^2[0, \pi]$ and $L^p[0, \pi]$, $p \neq 2$, of dilated systems $u_n(x) = S(nx)$, $n \in \mathbb{N}$, where $S$ is a trigonometric polynomial $S(x) = \sum_{k = 0}^m a_k \sin(kx), \quad…

We characterize the completeness and frame/basis property of a union of under-sampled windowed exponentials of the form $$ {\mathcal F}(g): =\{e^{2\pi i n x}: n\ge 0\}\cup \{g(x)e^{2\pi i nx}: n<0\} $$ for $L^2[-1/2,1/2]$ by the spectra of…

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…

Using the Spectral Theorem for unbounded self-adjoint operators we prove that any countable family of Lagrangian subspaces of a symplectic Hilbert space admits a common complementary Lagrangian.

The recent generalizations of Boltzmann-Gibbs statistics mathematically relies on the deformed logarithmic and exponential functions defined through some deformation parameters. In the present work, we investigate whether a deformed…

We give a characterization of those functions whose all translates are complete in certain Orlicz space $L^{\Phi}(\mathbb{R})$. As a consequence, we identified those discrete sets $\Lambda \subseteq \mathbb{R}$ such that there exists a…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

The paper studies completeness of the polynomials in weighted $L_p$-spaces on half line. It is shown that the completeness of polynomials does not hold for a wide class of weights, including the weights $\exp(- r t^q)$ with $r>0$ and $q\in…

Representation theory is shown to be incomplete in terms of enumerating all integrable limits of quantum systems. As a consequence, one can find exactly solvable Hamiltonians which have apparently strongly broken symmetry. The number of…

We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy…

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…

Let $AL^{2}_{\phi}(\mathbb{D})$ denote the closed subspace of $L^{2}(\mathbb{D},e^{-2\phi}d\lambda)$ consisting of holomorphic functions in the unit disc ${\mathbb D}$. For certain class of subharmonic funcions $\phi : {\mathbb…

A set is autoreducible if it can be reduced to itself by a Turing machine that does not ask its own input to the oracle. We use autoreducibility to separate the polynomial-time hierarchy from polynomial space by showing that all…

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

In the setting of exponential investors and uncertainty governed by Brownian motions we first prove the existence of an incomplete equilibrium for a general class of models. We then introduce a tractable class of exponential-quadratic…

Given a function $b$, holomorphic on the disc and bounded by 1, one can construct an associated reproducing kernel Hilbert space called the de Branges--Rovnyak space $H(b)$. We explore representations of such spaces via descriptions of the…