Related papers: Function spaces for second-order polynomial time
A generic differential operator on the vectorial space of polynomial functions was presented in a recent work and applied in the study of differential relations fulfilled by polynomial sequences either orthogonal or 2-orthogonal. Using the…
We introduce two classes of right quaternionic Hilbert spaces in the context of slice polyregular functions, generalizing the so-called slice and full hyperholomorphic Bargmann spaces. Their basic properties are discussed, the explicit…
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…
On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…
We construct a monadic second-order sentence that characterizes the ternary relations that are the betweenness relations of finite or infinite partial orders. We prove that no first-order sentence can do that. We characterize the partial…
This paper is the second part of our series of works to establish $L^2$ estimates and existence theorems for the $\overline{\partial}$ operators in infinite dimensions. In this part, we consider the most difficult case, i.e., the underlying…
We reconsider non-degenerate second order superintegrable systems in dimension two as geometric structures on conformal surfaces. This extends a formalism developed by the authors, initially introduced for (pseudo-)Riemannian manifolds of…
We develop further quaternionic analysis introducing left and right doubly regular functions. We derive Cauchy-Fueter type formulas for these doubly regular functions that can be regarded as another counterpart of Cauchy's integral formula…
Given an uncountable, compact metric space, we show that there exists no reproducing kernel Hilbert space that contains the space of all continuous functions on this compact space.
The polynomial multiplication problem has attracted considerable attention since the early days of computer algebra, and several algorithms have been designed to achieve the best possible time complexity. More recently, efforts have been…
We extend Haviland's theorem on the integral representation of positive linear functionals on usual (real multivariate) polynomials to the integral representation of positive linear maps on operator polynomials mapping into the space of…
The vector space of all polynomial functions of degree $k$ on a box of dimension $n$ is of dimension ${n \choose k}$. A consequence of this fact is that a function can be approximated on vertices of the box using other vertices to higher…
We demonstrate counterexamples to Wilmshurst's conjecture on the valence of harmonic polynomials in the plane, and we conjecture a bound that is linear in the analytic degree for each fixed anti-analytic degree. Then we initiate a…
We study how the adoption of an evaluation mechanism with sharing and memoization impacts the class of functions which can be computed in polynomial time. We first show how a natural cost model in which lookup for an already computed value…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…
We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to…
This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown…
We consider the fractional Schrodinger equation with a logarithmic nonlinearity, when the power of the Laplacian is between zero and one. We prove global existence results in three different functional spaces: the Sobolev space…
We consider the problem of determining the Fourier integral in the Hilbert space of square integrable functions. Fourier integral is the scalar product of two functions belonging to the Hilbert space of square integrable functions and the…