Related papers: Tractability of linear ill-posed problems in Hilbe…
Conditional stability estimates require additional regularization for obtaining stable approximate solutions if the validity area of such estimates is not completely known. In this context, we consider ill-posed nonlinear inverse problems…
We consider dynamical low-rank approximations to parabolic problems on higher-order tensor manifolds in Hilbert spaces. In addition to existence of solutions and their stability with respect to perturbations to the problem data, we show…
We propose a method for solving constrained fixed point problems involving compositions of Lipschitz pseudo contractive and firmly nonexpansive operators in Hilbert spaces. Each iteration of the method uses separate evaluations of these…
Low-rank tensor approximation techniques attempt to mitigate the overwhelming complexity of linear algebra tasks arising from high-dimensional applications. In this work, we study the low-rank approximability of solutions to linear systems…
We characterize a three-weight inequality for an iterated discrete Hardy-type operator. In the case when the domain space is a weighted space $\ell^p$ with $p\in(0,1]$, we develop characterizations which enable us to reduce the problem to…
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such…
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of…
In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the…
An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…
We show that a Hilbert space bounded linear operator has an $m$-isometric lifting for some integer $m\ge 1$ if and only if the norms of its powers grow polynomially. In analogy with unitary dilations of contractions, we prove that such…
Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational…
We present two novel results about Hilbert space operators which are nilpotent of order two. First, we prove that such operators are indestructible complex symmetric operators, in the sense that tensoring them with any operator yields a…
We address an optimal reachability problem for a planar manipulator in a constrained environment. After introducing the optmization problem in full generality, we practically embed the geometry of the workspace in the problem, by…
We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used;…
A new understanding of the notion of the stable solution to ill-posed problems is proposed. The new notion is more realistic than the old one and better fits the practical computational needs. A method for constructing stable solutions in…
If an invertible linear dynamical systems is Li-York chaotic or other chaotic, what's about it's inverse dynamics? what's about it's adjoint dynamics? With this unresolved but basic problems, this paper will give a criterion for Lebesgue…
In the theory of tractability of multivariate problems one usually studies problems with finite smoothness. Then we want to know which $s$-variate problems can be approximated to within $\varepsilon$ by using, say, polynomially many in $s$…
The non-integrability of the Hill problem makes that its global dynamics must be necessarily approached numerically. However, the analytical approach is feasible in the computation of relevant solutions. In particular, the nonlinear…
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 derive and analyse a new variant of the iteratively regularized Landweber iteration, for solving linear and nonlinear ill-posed inverse problems. The method takes into account training data, which are used to estimate the interior of a…