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.     

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.     

On the restriction map of the Fourier-Stieltjes algebra B(G) and Bp(G)

G is a locally compact group that contains the semidirect product J of a closed normal subgroup H and a closed connected subgroup K. Conditions on J are given that imply that the restriction map B_p(G) → B_p(H) (1 < p < ∞; G amenable if p ≠ 2) of the Fourier-Stieltjes algebras is not surjective. It is also shown that if the restriction map B(J) → B(H) is surjective, J need not be a direct product, even if H is nilpotent.     

Smoothness and duality in Lp(E, μ)

Let (T, Σ, μ) be a measure space, E a Banach space, and L_p(E, μ) the Lebesque-Bochner function spaces for 1 < p < ∞. It is shown that L_p(E, μ) is smooth if and only if E is smooth. From this result a Radon-Nikodym theorem for conjugates of smooth Banach spaces is established, and thus a general geometric condition on E sufficient to ensure that $\text{L}{}_{\mathrm{p}}\text{(E, μ)}{}^1\text{? L}{}_{\mathrm{q}}\text{(E}{}^1\text{, μ)}$ for all p, 1 < p < ∞. Alternate proofs of certain known results concerning the duals of L_p(E, μ) spaces are provided.     

On countable bounded tightness for spaces Cp(X)

It is well known that the space C_p([0,1]) has countable tightness but it is not Fréchet-Urysohn. Let X be a Cech-complete topological space. We prove that the space C_p(X) of continuous real-valued functions on X endowed with the pointwise topology is Fréchet-Urysohn if and only if C_p(X) has countable bounded tightness, i.e., for every subset A of C_p(X) and every x in the closure of A in C_p(X) there exists a countable and bounding subset of A whose closure contains x. We study also the problem when the weak topology of a locally convex space has countable bounded tightness. Additional results in this direction are provided.     

Efimov spaces and the separable quotient problem for spaces Cp(K)

The classic Rosenthal–Lacey theorem asserts that the Banach space $C(K)$ of continuous real-valued maps on an infinite compact space K has a quotient isomorphic to c or ${?}_2$. More recently, Ka?kol and Saxon [20] proved that the space $C_p(K)$ endowed with the pointwise topology has an infinite-dimensional separable quotient algebra iff K has an infinite countable closed subset. Hence $C_p(\beta \mathbb{N})$ lacks infinite-dimensional separable quotient algebras. This motivates the following question: (?) Does$C_p(K)$admit an infinite-dimensional separable quotient (shortly SQ) for any infinite compact space K? Particularly, does $C_p(\beta \mathbb{N})$ admit SQ? Our main theorem implies that $C_p(K)$ has SQ for any compact space K containing a copy of $\beta \mathbb{N}$. Consequently, this result reduces problem (?) to the case when K is an Efimov space (i.e. K is an infinite compact space that contains neither a non-trivial convergent sequence nor a copy of $\beta \mathbb{N}$). Although, it is unknown if Efimov spaces exist in ZFC, we show, making use of some result of R. de la Vega (2008) (under ?), that for some Efimov space K the space $C_p(K)$ has SQ. Some applications of the main result are provided.     

The Canonical Basis for the Quantum Group of Type B2

We use the Ringel-Hall algebra approach to study the canonical basis elements for the quantum group of type B₂ which are characterized in Xi [12]. However, our approach simplifies several computations there.     

Operator-valued Fourier multiplier theorems on Lp(X) and geometry of Banach spaces

This paper gives the optimal order l of smoothness in the Mihlin and Hörmander conditions for operator-valued Fourier multiplier theorems. This optimal order l is determined by the geometry of the underlying Banach spaces (e.g. Fourier type). This requires a new approach to such multiplier theorems, which in turn leads to rather weak assumptions formulated in terms of Besov norms.     

Some results for the queues Mx/M/c and GIx/ G/c

We develop for the queue M^x/M/c an upper bound for the mean queue length and lower bounds for the delay probabilities (that of an arrival group and that of an arbitrary customer in the arrival group). An approximate formula is also developed for the general bulk-arrival queue GI^x/G/c. Preliminary numerical studies have indicated excellent performance of the results.     

Zeros of the functions f(n) = Σi=0(−1)i(in−2i)

The main result of this paper is the following: the only zeros of the title function are at n = 3 and n = 12. This is achieved by means of the recursion function for f(n), viz. F(x) = x³ ? x ? 1 which has only one real root w. This turns out to be the fundamental unit of Q(w). From the norm equation of the units, N(w) = x³ + y³ + z³ ? 3xyz + 2x²z + xz² ? xy² ? yz² = 1, and the negative powers of w which are of binary form, the result follows. The paper concludes with two remarkable combinatorial identities.     

Central limit problem on Lp (p ≥ 2) II. Compactness of infinitely divisible laws

Compactness criterion for a sequence of infinitely divisible laws in terms of their Lévy-Khinchine representations is obtained. As a consequence, analog of classical central limit theorems without the assumption of bounded variance on the triangular arrays are proved.     

K-theoretic amenability for SL2(Qp), and the action on the associated tree

It is proved that if a locally compact group G acts simplicially on a tree in such a way that the stabilizers of the vertices are amenable, then G is K-amenable. In particular, the canonical map from the full C¹-algebra onto the reduced C¹-algebra of G induces isomorphisms in K-theory. The main corollary of our result is that SL₂(Q_p) and some other groups over local fields are K-amenable.     

A residual transcendental extension of a valuation on K to K(x1, … , xn)

Let v be a valuation of a field K, G_v its value group and k_v its residue field. Let w be an extension of v to K(x₁, … , x_n). w is called a residual transcendental extension of v if k_w/k_v is a transcendental extension. In this study a residual transcendental extension w of v to K(x₁, … , x_n) such that transdegk_w/k_v = n is defined and some considerations related with this valuation are given.     

On a continuous analogue of the stochastic difference equation Xn=ρXn-1+Bn

Let B₁, B₂, ... be a sequence of independent, identically distributed random variables, letX₀ be a random variable that is independent ofB_n forn?1, let ρ be a constant such that 0<ρ<1 and letX₁,X₂, ... be another sequence of random variables that are defined recursively by the relationshipsX_n=ρX_n-1+B_n. It can be shown that the sequence of random variablesX₁,X₂, ... converges in law to a random variableX if and only ifE[log⁺¦B₁¦]<∞. In this paper we let {B(t):0≦t<∞} be a stochastic process with independent, homogeneous increments and define another stochastic process {X(t):0?t<∞} that stands in the same relationship to the stochastic process {B(t):0?t<∞} as the sequence of random variablesX₁,X₂,...stands toB₁,B₂,.... It is shown thatX(t) converges in law to a random variableX ast →+∞ if and only ifE[log⁺¦B(1)¦]<∞ in which caseX has a distribution function of class L. Several other related results are obtained. The main analytical tool used to obtain these results is a theorem of Lukacs concerning characteristic functions of certain stochastic integrals.     

Least squares solutions to AX = B for bisymmetric matrices under a central principal submatrix constraint and the optimal approximation

A matrix A∈R^n×n is called a bisymmetric matrix if its elements a_i,j satisfy the properties a_i,j=a_j,i and a_i,j=a_n-j+1,n-i+1 for 1?i,j?n. This paper considers least squares solutions to the matrix equation AX=B for A under a central principal submatrix constraint and the optimal approximation. A central principal submatrix is a submatrix obtained by deleting the same number of rows and columns in edges of a given matrix. We first discuss the specified structure of bisymmetric matrices and their central principal submatrices. Then we give some necessary and sufficient conditions for the solvability of the least squares problem, and derive the general representation of the solutions. Moreover, we also obtain the expression of the solution to the corresponding optimal approximation problem.     

Regularizing effects for ut + Aϑ(u) = 0 in L1

Various initial-boundary value problems and Cauchy problems can be written in the form $\text{du}\text{dt}\text{+ A?(u) = 0}$, where ?:R→$\text{R}$ is nondecreasing and A is the linear generator of strongly continuous nonexpansive semigroup e^?tA in an L¹ space. For example, if A = ?Δ (subject, perhaps, to suitable boundary conditions) we obtain equations arising in flow in a porous medium or plasma physics (depending on the choice of ?) while if $\text{A =}\text{?}\text{?x}$ acting in L¹($\text{R}$) we have a scalar conservation law. In this paper we show that if M, m > 0 and m?′² ? ν??′' ? M?′², where ν ? {1,?1}, then (roughly speaking), the norm of $\text{t}\text{du}\text{dt}$ may be estimated in terms of the initial data u₀ in L¹. Such estimates give information about the regularity of solutions, asymptotic behaviour, etc., in applications. Side issues, such as the introduction of sufficiently regular approximate problems on which estimates can be made and the assignment of a precise meaning to the operator A?, are also dealt with. These considerations are of independent interest.     

Derivations and Automorphisms of the Positive Part of the Two-parameter Quantum Group Ur,s(B3)

We compute the derivations of the positive part of the two-parameter quantum group U_(r,s)(B_3) and show that the Hochschild cohomology group of degree 1 of this algebra is a threedimensional vector space over the base field C. We also compute the groups of(Hopf) algebra automorphisms of the augmented two-parameter quantized enveloping algebra ?_(r,s)~(≥0)(B_3).