Approximation of Sobolev classes by polynomials and ridge functions

Let be the usual Sobolev class of functions on the unit ball in , and be the subclass of all radial functions in . We show that for the classes and , the orders of best approximation by polynomials in coincide. We also obtain exact orders of best approximation in of the classes by ridge functions and, as an immediate consequence, we obtain the same orders in for the usual Sobolev classes .     

Additive maps preserving the ascent and descent of operators

Let and be the algebras of all bounded linear operators on infinite dimensional complex Banach spaces X and Y, respectively. We characterize additive maps from onto preserving different quantities such as the nullity, the defect, the ascent, and the descent of operators.     

The predicative Frege hierarchy

In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 (2) (2007) 619–624] using a different proof. Another consequence of the our main result is that is mutually interpretable with Kalmar Arithmetic (a.k.a. EA, EFA, , Q3). The fact that interprets EA was proved earlier by Burgess. We provide a different proof.Each of the theories is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, , is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable with is finitely axiomatizable.     

Integral-type operators from iterated logarithmic Bloch spaces to Zygmund-type spaces

Let denote the space of all holomorphic functions on the unit ball of and the radial derivative of h. In this paper we study the boundedness and compactness of the following integral operator:, from iterated logarithmic Bloch spaces to Zygmund-type spaces.     

Norms of some operators on the Bergman and the Hardy space in the unit polydisk and the unit ball

Let H(X) be the class of all holomorphic functions on the set and uH(X). We calculate operator norms of the multiplication operators M_u(f)=uf, on the weighted Bergman space , as well as on the Hardy space H^p(X), where X is the unit polydisk or the unit ball in . We also calculate the norm of the weighted composition operator from the weighted Bergman space , and the Hardy space , to a weighted-type space on the unit polydisk.     

Sparse p-version BEM for first kind boundary integral equations with random loading

We consider the weakly singular boundary integral equation on a deterministic smooth closed curve with random loading g(ω). Given the kth order statistical moment of g, the aim is the efficient deterministic computation of the kth order statistical moment of u. We derive a deterministic formulation for the kth statistical moment. It is posed in the tensor product Sobolev space and involves the k-fold tensor product operator . The standard full tensor product Galerkin BEM requires unknowns for the kth moment problem, where N is the number of unknowns needed to discretize Γ. Extending ideas of [V.N. Temlyakov, Approximation of functions with bounded mixed derivative, Proc. Steklov Inst. Math. (1989) vi+121. A translation of Trudy Mat. Inst. Steklov 178 (1986)], we develop the p-Sparse Grid Galerkin BEM to reduce the number of unknowns from to .     

Region of variability for close-to-convex functions-II

For a complex number α with let be the class of analytic functions f in the unit disk with f(0)=0 satisfying in , for some convex univalent function in . For any fixed , and we shall determine the region of variability V(z₀,α,λ) for f(z₀) when f ranges over the class

In the final section we graphically illustrate the region of variability for several sets of parameters z₀ and α.     

Integral-type operators from Bloch-type spaces to Zygmund-type spaces

Let denote the space of all holomorphic functions on the unit ball . This paper investigates the following integral-type operator with symbol

where is the radial derivative of g. The boundedness and compactness of the operator T_g from Bloch-type spaces to Zygmund-type spaces are studied.     

A unified class of k-uniformly convex functions defined by the Dziok–Srivastava linear operator

The main purpose of this paper is to introduce a new class of functions which are analytic in the open unit disk . We obtain various results including characterization, coefficient estimates, and distortion and covering theorems, for functions belonging to the class .     

Norm of pre-Schwarzian derivative for the class of k-uniformly convex and k-starlike functions

A quasiconformal extension for the class of k-uniformly convex functions, denoted , and for the class of k-starlike functions, denoted is provided. Also, estimation of the norm of pre-Schwarzian derivative in is given.     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

Polynomial-time approximation schemes for piercing and covering with applications in wireless networks

Let be a set of disks of arbitrary radii in the plane, and let be a set of points. We study the following three problems: (i) Assuming contains the set of center points of disks in , find a minimum-cardinality subset of (if exists), such that each disk in is pierced by at least h points of , where h is a given constant. We call this problem minimum h-piercing. (ii) Assuming is such that for each there exists a point in whose distance from D's center is at most αr(D), where r(D) is D's radius and 0α<1 is a given constant, find a minimum-cardinality subset of , such that each disk in is pierced by at least one point of . We call this problem minimum discrete piercing with cores. (iii) Assuming is the set of center points of disks in , and that each covers at most l points of , where l is a constant, find a minimum-cardinality subset of , such that each point of is covered by at least one disk of . We call this problem minimum center covering. For each of these problems we present a constant-factor approximation algorithm (trivial for problem (iii)), followed by a polynomial-time approximation scheme. The polynomial-time approximation schemes are based on an adapted and extended version of Chan's [T.M. Chan, Polynomial-time approximation schemes for packing and piercing fat objects, J. Algorithms 46 (2003) 178–189] separator theorem. Our PTAS for problem (ii) enables one, in practical cases, to obtain a (1+ε)-approximation for minimum discrete piercing (i.e., for arbitrary ).     

Lattices generated by orbits of subspaces under finite singular pseudo-symplectic groups I

Let be the (2ν+1+l)-dimensional vector space over the finite field . In the paper we assume that is a finite field of characteristic 2, and the singular pseudo-symplectic groups of degree 2ν+1+l over . Let be any orbit of subspaces under . Denote by the set of subspaces which are intersections of subspaces in and the intersection of the empty set of subspaces of is assumed to be . By ordering by ordinary or reverse inclusion, two lattices are obtained. This paper studies the inclusion relations between different lattices, a characterization of subspaces contained in a given lattice , and the characteristic polynomial of .     

Common hermitian and positive solutions to the adjointable operator equations ,

Let be a C^*-algebra. For any Hilbert -modules H and K, let be the set of adjointable operators from H to K. Let H,K,L be Hilbert -modules, and . In this paper, we propose necessary and sufficient conditions for the existence of common hermitian and positive solutions to the equations , and obtain the formulae for the general forms of these solutions. Some results, known for finite matrices and Hilbert space operators, are extended to the adjointable operators acting on Hilbert C^*-modules.     

A characterization of the natural embedding of the split Cayley hexagon in by intersection numbers

In this paper, we prove that a set of q⁵+q⁴+q³+q²+q+1 lines of with the properties that (1) every point of is incident with either 0 or q+1 elements of , (2) every plane of is incident with either 0, 1 or q+1 elements of , (3) every solid of is incident with either 0, 1, q+1 or 2q+1 elements of , and (4) every hyperplane of is incident with at most q³+3q²+3q members of , is necessarily the set of lines of a regularly embedded split Cayley generalized hexagon in .     

Sequential definitions of compactness

A subset F of a topological space is sequentially compact if any sequence of points in F has a convergent subsequence whose limit is in F. We say that a subset F of a topological group X is G-sequentially compact if any sequence of points in F has a convergent subsequence such that where G is an additive function from a subgroup of the group of all sequences of points in X. We investigate the impact of changing the definition of convergence of sequences on the structure of sequentially compactness of sets in the sense of G-sequential compactness. Sequential compactness is a special case of this generalization when G=lim.     

Inheritance of hyper-duality in imprimitive Bose–Mesner algebras

We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose–Mesner algebras associated with a hyper-dual pair of imprimitive Bose–Mesner algebras. Let and denote Bose–Mesner algebras. Suppose there is a hyper-duality ψ from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to . Also suppose that is imprimitive with respect to a subset of Hadamard idempotents, so is dual imprimitive with respect to the subset of primitive idempotents, where is the formal duality associated with ψ. Let denote the block Bose–Mesner algebra of on the block containing p, and let denote the quotient Bose–Mesner algebra of with respect to . Then there is a hyper-duality from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to .     

On ternary Kloosterman sums modulo 12

Let K(a) denote the Kloosterman sum on . It is easy to see that for all . We completely characterize those for which , and . The simplicity of the characterization allows us to count the number of the belonging to each of these three classes. As a byproduct we offer an alternative proof for a new class of quasi-perfect ternary linear codes recently presented by Danev and Dodunekov.     

Asymptotic behavior of large solution to elliptic equation of Bieberbach–Rademacher type with convection terms

We analyze the asymptotic behavior of solutions to nonlinear elliptic equation Δu±|u|^q=b(x)f(u) in Ω, subject to the singular boundary condition u(x)=∞ as , where Ω is a smooth bounded domain in R^N, for some , and . Our approach employs Karamata regular variation theory combined with the method of lower and supper solution.     

Configurations in abelian categories. II. Ringel–Hall algebras

This is the second in a series on configurations in an abelian category . Given a finite poset (I,), an (I,)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in satisfying some axioms, where J,KI. Configurations describe how an object X in decomposes into subobjects.The first paper defined configurations and studied moduli spaces of (I,)-configurations in , using the theory of Artin stacks. It showed well-behaved moduli stacks of objects and configurations in exist when is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod- of representations of a quiver Q.Write for the vector space of -valued constructible functions on the stack . Motivated by the idea of Ringel–Hall algebras, we define an associative multiplication * on using pushforwards and pullbacks along 1-morphisms between configuration moduli stacks, so that is a -algebra. We also study representations of , the Lie subalgebra of functions supported on indecomposables, and other algebraic structures on .Then we generalize all these ideas to stack functions , a universal generalization of constructible functions, containing more information. When Extⁱ(X,Y)=0 for all and i>1, or when for P a Calabi–Yau 3-fold, we construct (Lie) algebra morphisms from stack algebras to explicit algebras, which will be important in the sequels on invariants counting τ-semistable objects in .