Optimal query error of quantum approximation on some Sobolev classes

We study the approximation of the imbedding of functions from anisotropic and general-ized Sobolev classes into Lq([0,1]d) space in the quantum model of computation. Based on the quantum algorithms for approximation of finite imbedding from LpN to LNq , we develop quantum algorithms for approximating the imbedding from anisotropic Sobolev classes B(Wpr ([0,1]d)) to Lq([0,1]d) space for all 1 q,p ∞ and prove their optimality. Our results show that for p < q the quantum model of computation can bring a speedup roughly up to a squaring of the rate in the classical deterministic and randomized settings.     

QUANTUM COMPLEXITY OF THE INTEGRATION PROBLEM FOR ANISOTROPIC CLASSES

We obtain the optimal order of high-dimensional integration complexity in the quantumcomputation model in anisotropic Sobolev classes W∞^r ([0, 1]^d) and Hǒlder Nikolskii classes H∞^r([0, 1]^d). It is proved that for these classes of functions there is a speed-up of quantum algorithms over deterministic classical algorithms due to factor n^-1 and over randomized classical methods due to factor n^-1/2. Moreover, we give an estimation for optimal query complexity in the class H∞^∧ (D) whose smoothness index is the boundary of some complete set in Z ^d.     

Lower bound for quantum integration error on anisotropic Sobolev classes

We study the approximation of the integration of multivariate functions in the quantum model of computation. Using a new reduction approach we obtain a lower bound of the n-th minimal query error on anisotropic Sobolev class R（Wpr（[0, 1]d）） （r R＋d）. Then combining this result with our previous one we determine the optimal bound of n-th minimal query error for anisotropic Hblder- Nikolskii class R（H∞r（[0,1]d）） and Sobolev class R（W∞r（[0,1]d））. The results show that for these two types of classes the quantum algorithms give significant speed up over classical deterministic and randomized algorithms.     

QUANTUM COMPLEXITY OF SOBOLEV IMBEDDINGS＊

Using a new reduction approach,we derive a lower bound of quantum complexity for the approximation of imbeddings from anisotropic Sobolev classes B(Wrp([0,1]d)) to anisotropic Sobolev space Wrq([0,1]d)...     

GABOR ANALYSIS OF THE SPACES M（p,q,w）（R~d） AND S（p,q,r,w,ω）（R~d）

Let g be a non-zero rapidly decreasing function and w be a weight function. In this article in analog to modulation space, we define the space M(p, q, w)(Rd) to be the subspace of tempered distributions f ∈ S′(Rd) such that the Gabor transform Vg(f) of f is in the weighted Lorentz space L(p, q, wdμ) (R2d). We endow this space with a suitable norm and show that it becomes a Banach space and invariant under time frequence shifts for 1 ≤ p, q ≤∞. We also investigate the embeddings between these spaces and the dual space of M(p, q, w)(Rd). Later we define the space S(p, q, r, w, ω)(Rd) for 1 < p < ∞, 1 ≤ q ≤∞. We endow it with a sum norm and show that it becomes a Banach convolution algebra. We also discuss some properties of S(p, q, r, w, ω)(Rd). At the end of this article, we characterize the multipliers of the spaces M(p, q, w)(Rd) and S(p, q, r, w, ω)(Rd).     

On the Indecomposable Modules of Uq（sl（2）） Constructed via Ore-extension

Let A be a subalgebra of Uq (sl(2)) generated by K, K-1 and F and Aδ be a subalgebra of Uq (sl(2)) generated by K, K-1 (and also Fd if q is a primitive d-th root of unity with d an odd number). Given an Aδ -module M, a Uq (sl(2))-module AAδ M is constructed via the iterated Ore extension of Uq (sl(2)) in a unified framework for any q. Then all the submodules of AAδ M are determined for a fixed finite-dimensional indecomposable Aδ -module M . It turns out that for some indecomposable Aδ -module M , the Uq (sl(2))-module AAδ M is indecomposable, which is not in the BGG-categories Oq associated with quantum groups in general.     

DOMAIN OF THE DOUBLE SEQUENTIAL BAND MATRIX B（r,s） ON SOME MADDOX＇S SPACES

The domain of generalized difference matrix B(r, s) in the classical spaces l∞,c, and c0 was recently studied by Kirisci and Bassar in [16]. The main goal of this article is to introduce the paranormed sequence spaces l∞( B, p), c( B, p), and c0( B, p), which are more general and comprehensive than the corresponding consequences of the matrix domain of B(r, s), as well as other studies in literature. Besides this, the alpha-, beta-, and gamma-duals of the spaces l∞( B, p), c( B, p), and c0( B, p) are computed and the bases of the spaces c( B, p)and c0( B, p) are constructed. The final section of this article is devoted to the characterization of the classes(λ( B, p) :) and( : λ( B, p)), where λ∈ {c, c0, l∞}and is any given sequence space. Additionally, the characterization of some other classes which are related to the space of almost convergent sequences is obtained by means of a given lemma.     

Matching Realization of Uq（sln＋1） of Higher Rank in the Quantum Weyl Algebra Wq（2n）

In the paper, we further realize the higher rank quantized universal enveloping algebra Uq（sln＋1） as certain quantum differential operators in the quantum Weyl algebra Wq （2n） defined over the quantum divided power algebra Sq（n） of rank n. We give the quantum differential operators realization for both the simple root vectors and the non-simple root vectors of Uq（sln＋1）. The nice behavior of the quantum root vectors formulas under the action of the Lusztig symmetries once again indicates that our realization model is naturally matched.     

A COUNTEREXAMPLE ON MONOTONE MuNTZ APPROXIMATION Ⅱ

We adopt the following symbols and notations. Let C_([0,1])~N be the class of all real continuous functions in [0,1] which have N continuousderivatives, L_[0,1]~p be the space of real pth power integrable functions on [0,1], and Δ~k, asusual, be the class of kth monotone functions.     

A RECOGNITION OF SIMPLE GROUPS PSL（3, q） BY THEIR ELEMENT ORDERS

For any group G, denote byπe(G) the set of orders of elements in G. Given a finite group G, let h(πe (G)) be the number of isomorphism classes of finite groups with the same set πe(G) of element orders. A group G is called k-recognizable if h(πe(G)) = k <∞, otherwise G is called non-recognizable. Also a 1-recognizable group is called a recognizable (or characterizable) group. In this paper the authors show that the simple groups PSL(3,q), where 3 < q≡±2 (mod 5) and (6, (q-1)/2) = 1, are recognizable.     

Bases of the quantum cluster algebra of the Kronecker quiver

We construct bar-invariant Z[q ±1/2 ]-bases of the quantum cluster algebra of Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the corresponding cluster algebra. As a byproduct, we prove positivity of the elements in these bases.     

A FAMILY OF BERNSTEIN QUASI-INTERPOLANTS ON[0,1]

Suppose that we want to approximate fC[0,1]by polynomials in P_n,using only itsvalues on X_n={i/n,0≤i≤n}.This can be done by the Lagrange interpolant L_n f or theclassical Bernstein polynomial B_n f.But,when n tends to infinity,L_n f does not converge to fin general and the convergence of B_n f to fis very slow.We define a family of operators B~(k)_n,n≥k,which are intermediate ones between B(0)_n=B~(1)_n=B_n and B~(n)_n=L_n,and we studysome of their properties.In particular,we prove a Voronovskaja-type theorem which assertsthat B~(k)_n f-f=0(n~(-[(k+2)/2))for f sufficiently regular.Moreover,B(k)_n f uses only values of B_n f and its derivaties and can be computed by DeCasteljau or subdivision algorithms.     

ON THE TRANSFORMATIONS OF THE POTENTIALS,INTEGRABLE EVOLUTION EQUATIONS AND B(A|¨)CKLUND TRANSFORMATIONS

The generalization of the AKNS method,Calogero method and Konopelchenkomethod is given in three respects,First,the new fundamental relations associated with thematrix spectral problem and a new explicit expression related to the matrixes B and Cwhich are contained in the transformations of the transition matrixes are obtained.Thenthe wide classes of the integrable evolution equations are conveniently derived withoutimproperly assuming B=C.Finally,an important property of the operator L_A is showed,the conditions connected with the temporal half of the B(a|¨)cklund transformations and thenew simple expressions of the integrals of motion are deduced.     

THE PROPAGATION OF NONSTATIONARY FILTRATION WITH ABSORPTION

We point out a mistake in [1] in the proof of infinite propagation of the weak solution of Cauchyproblem for the equation u_(?)=(A(u))_(xx)=(?)(u).A more natural condition is given and the infinitepropagation property for boundary value problem is studied.Finally,we discuss the supports of theweak solutions.     

THE GLOBAL APPROXIMATION BY LEFT-BERNSTEIN-DURRMEYER QUASI-INTERPOLANTS IN Lp[0, 1]

In this paper,we will use the 2r-th Ditzian-Totik modulus of smoothness wp^2r(f,t)p to discuss the direct and inverse theorem of approximation by Left-Bernstein-Durrmeyer quasi-interpolants Mn^[2r-1]f for functions of the space Lp[0,1](1≤p≤ ∞)。     

Trigonometric Widths and Best N-Term Approximations of the Generalized Periodic Besov Classes B_(p,θ)~Ω

In this paper,we determine the estimates exact in order for the trigonometric widths and the best n-term trigonometric approximations of the generalized classes of periodic functions B(p,θ)Ω in the space Lq for some values of parameters p,q.     

Optimal Recovery of Functions on the Sphere on a Sobolev Spaces with a Gaussian Measure in the Average Case Setting

In this paper, we study optimal recovery(reconstruction) of functions on the sphere in the average case setting. We obtain the asymptotic orders of average sampling numbers of a Sobolev space on the sphere with a Gaussian measure in the Ld-1q(S) metric for 1 ≤ q ≤∞, and show that some worst-case asymptotically optimal algorithms are also asymptotically optimal in the average case setting in the Ldq(S-1)metric for 1 ≤ q ≤∞.     

ON THE STABILITY OF FUSION FRAMES （FRAMES OF SUBSPACES）

A frame is an orthonormal basis-like collection of vectors in a Hilbert space, but need not be a basis or orthonormal. A fusion frame (frame of subspaces) is a frame-like collection of subspaces in a Hilbert space, thereby constructing a frame for the whole space by joining sequences of frames for subspaces. Moreover the notion of fusion frames provide a framework for applications and providing efficient and robust information processing algorithms.In this paper we study the conditions under which removing an element from a fusion frame, again we obtain another fusion frame. We give another proof of [5, Corollary 3.3(iii)] with extra information about the bounds.     

Efficiency of weak greedy algorithms for m-term approximations

We investigate the efficiency of weak greedy algorithms for m-term expansional approximation with respect to quasi-greedy bases in general Banach spaces.We estimate the corresponding Lebesgue constants for the weak thresholding greedy algorithm(WTGA) and weak Chebyshev thresholding greedy algorithm.Then we discuss the greedy approximation on some function classes.For some sparse classes induced by uniformly bounded quasi-greedy bases of L_p,1p∞,we show that the WTGA realizes the order of the best m-term approximation.Finally,we compare the efficiency of the weak Chebyshev greedy algorithm(WCGA) with the thresholding greedy algorithm(TGA) when applying them to quasi-greedy bases in L_p,1≤p∞,by establishing the corresponding Lebesgue-type inequalities.It seems that when p2 the WCGA is better than the TGA.     

Least-Squares Mirrorsymmetric Solution for Matrix Equations （AX=B, XC=D）

In this paper, least-squaxes mirrorsymmetric solution for matrix equations (AX = B, XC = D) and its optimal approximation is considered. With special expression of mirrorsymmetric matrices, a general representation of solution for the least-squares problem is obtained. In addition, the optimal approximate solution and some algorithms to obtain the optimal approximation are provided.