Related papers: Complementability of exponential systems
All exactly integrable systems connected with the semisimple algebras of the second rank with an arbitrary choice of the grading in them are presented in explicit form. General solution of such systems are expressed in terms of the matrix…
Given a graph E we define E-algebraic branching systems, show their existence and how they induce representations of the associated Leavitt path algebra. We also give sufficient conditions to guarantee faithfulness of the representations…
We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.
The purpose of this work is to explore the existence and properties of reproducing kernel Hilbert subspaces of $L^2(\C, \, d^2z/\pi)$ based on subsets of complex Hermite polynomials. The resulting coherent states (CS) form a family…
A set of integers $A$ is computably encodable if every infinite set of integers has an infinite subset computing $A$. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this…
The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…
Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying H\"ormander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable,…
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calculus modulo. We show in this paper that this simple extension…
A Lie algebra $K$ over a field of characteristic zero $E$ is called a completion of a rational Lie algebra $L$, if it contains $L$ as $\mathbb{Q}$-subalgebra and the $E$-span of $L$ is equal to $K$. The class of all completions of a…
Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…
We work with the structure consisting of all computably enumerable (c.e.) sets ordered by set inclusion. The question we will partially address is which c.e.\ sets are autormorphic to low (or low$_2$ sets. Using work of Miller, we can see…
Let $\gg$ be the Lie algebra of a compact Lie group and let $\theta$ be any automorphism of $\gg$. Let $\gk$ denote the fixed point subalgebra $\gg^\theta$. In this paper we present LiE programs that, for any finite dimensional complex…
This note consists of two largely independent parts. In the first part we give conditions on the kernel $k: \Omega \times \Omega \rightarrow \mathbb{R}$ of a reproducing kernel Hilbert space $H$ continuously embedded via the identity…
A set of complex numbers $\Lambda=\{\lambda_n,\mu_n\}_{n=1}^{\infty}$ with multiple terms \[ \{\lambda_n,\mu_n\}_{n=1}^{\infty}:= \{\underbrace{\lambda_1,\lambda_1,\dots,\lambda_1}_{\mu_1 - times},…
We establish a relation between the approximation in $L^2[-\pi,\pi]$ by exponentials with the set of frequencies of Beurling--Malliavin density less than $1$ and the meromorphic interpolation at $\mathbb Z$. Furthermore, we show that…
We show that for any finite-dimensional algebra $\Lambda$ of infinite representation type, over a perfect field, there is a bounded principal ideal domain $\Gamma$ and a representation embedding from $\Gamma -$mod into $\Lambda -$mod. As an…
We consider a complete nonnegative biminimal submanifold M (that is, a complete biminimal submanifold with lambda>=0) in a Euclidean space E^N. Assume that the immersion is proper, that is, the preimage of every compact set in E^N is also…
On a complete, connected, non-compact Riemannian manifold, with Ricci curvature bounded from below, we establish exponential decay estimates at infinity for the spherical sums of the resolvent kernel, i.e., the integral kernel of the…
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…
Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the…