Generalized Tractability for Multivariate Problems Part&#x00a0;II: Linear Tensor Product Problems, Linear Information, and Unrestricted Tractability
Authors: Michael Gnewuch, Henryk Wo&#x017a;niakowski
Venue: Foundations of Computational Mathematics (2009)

We continue the study of generalized tractability initiated in our previous paper &#x201c;Generalized tractability for multivariate problems, Part I: Linear tensor product problems and linear information&#x201d;, J.&#x00a0;Complex. 23:262&#x2013;295, 2007. We study linear tensor product problems for which we can compute linear information which is given by arbitrary continuous linear functionals. We want to approximate an operator S d given as the d-fold tensor product of a compact linear operator S 1 for d=1,2,&#x2026;, with &#x2016;S 1&#x2016;=1 and S 1 having at least two positive singular values. Let n(&#x03b5;,S d ) be the minimal number of information evaluations needed to approximate S d to within &#x03b5;&#x2208;[0,1]. We study generalized tractability by verifying when n(&#x03b5;,S d ) can be bounded by a multiple of a power of T(&#x03b5; &#x2212;1,d) for all (&#x03b5; &#x2212;1,d)&#x2208;&#x03a9;&#x2286;[1,&#x221e;)&#x00d7;&#x2115;. Here, T is a tractability function which is non-decreasing in both variables and grows slower than exponentially to infinity. We study the exponent of tractability which is the smallest power of T(&#x03b5; &#x2212;1,d) whose multiple bounds n(&#x03b5;,S d ). We also study weak tractability, i.e., when $\lim_{\varepsilon^{-1}+d\to\infty,(\varepsilon^{-1},d)\in \varOmega}\ln n(\varepsilon,S_{d})/(\varepsilon^{-1}+d)=0$. In our previous paper, we studied generalized tractability for proper subsets &#x03a9; of [1,&#x221e;)&#x00d7;&#x2115;, whereas in this paper we take the unrestricted domain &#x03a9; unr=[1,&#x221e;)&#x00d7;&#x2115;. We consider the three cases for which we have only finitely many positive singular values of S 1, or they decay exponentially or polynomially fast. Weak tractability holds for these three cases, and for all linear tensor product problems for which the singular values of S 1 decay slightly faster than logarithmically. We provide necessary and sufficient conditions on the function&#x00a0;T such that generalized tractability holds. These conditions are obtained in terms of the singular values of S 1 and mostly asymptotic properties of T. The tractability conditions tell us how fast T must go to infinity. It is known that T must go to infinity faster than polynomially. We show that generalized tractability is obtained for T(x,y)=x 1+ln&#x2009;y . We also study tractability functions T of product form, T(x,y)=f 1(x)f 2(x). Assume that a i =lim&#x2009;inf&#x2009;x&#x2192;&#x221e;(ln&#x2009;ln&#x2009;f i (x))/(ln&#x2009;ln&#x2009;x) is finite for i=1,2. Then generalized tractability takes place iff $$a_{i}>1\quad\mbox{and}\quad(a_{1}-1)(a_{2}-1)\ge1$$, and if (a 1&#x2212;1)(a 2&#x2212;1)=1 then we need to assume one more condition given in the paper. If (a 1&#x2212;1)(a 2&#x2212;1)>1 then the exponent of tractability is zero, and if (a 1&#x2212;1)(a 2&#x2212;1)=1 then the exponent of tractability is finite. It is interesting to add that for T being of the product form, the tractability conditions as well as the exponent of tractability depend only on the second singular eigenvalue of S 1 and they do not depend on the rate of their decay. Finally, we compare the results obtained in this paper for the unrestricted domain &#x03a9; unr with the results from our previous paper obtained for the restricted domain &#x03a9; res=[1,&#x221e;)&#x00d7;{1,2,&#x2026;,d *}&#x222a;[1,&#x03b5; 0&#x2212;1)&#x00d7;&#x2115; with d *&#x2265;1 and &#x03b5; 0&#x2208;(0,1). In general, the tractability results are quite different. We may have generalized tractability for the restricted domain and no generalized tractability for the unrestricted domain which is the case, for instance, for polynomial tractability T(x,y)=xy. We may also have generalized tractability for both domains with different or with the same exponents of tractability.