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 .     

n-Star modules over ring extensions

We give conditions under which an n-star module extends to an n-star module, or an n-tilting module, over a ring extension R of A. In case that R is a split extension of A by Q, we obtain that is a 1-tilting module (respectively, a 1-star module) if and only if is a 1-tilting module (respectively, a 1-star module) and generates both and (respectively, generates ), where is an injective cogenerator in the category of all left A-modules. These extend results in [I. Assem, N. Marmaridis, Tilting modules over split-by-nilpotent extensions, Comm. Algebra 26 (1998) 1547–1555; K.R. Fuller, *-Modules over ring extensions, Comm. Algebra 25 (1997) 2839–2860] by removing the restrictions on R and Q.     

A characterization and equations for minimal shape-preserving projections

Let X denote a (real) Banach space and V an n-dimensional subspace. We denote by the space of all bounded linear operators from X into V; let be the set of all projections in . For a given , we denote by the set of operators such that PSS. When , we characterize those for which P is minimal. This characterization is then utilized in several applications and examples.     

Local lagrange interpolation with cubic splines on tetrahedral partitions

We describe an algorithm for constructing a Lagrange interpolation pair based on C¹ cubic splines defined on tetrahedral partitions. In particular, given a set of points , we construct a set P containing and a spline space based on a tetrahedral partition whose set of vertices include such that interpolation at the points of P is well-defined and unique. Earlier results are extended in two ways: (1) here we allow arbitrary sets , and (2) the method provides optimal approximation order of smooth functions.     

Schurian vector space categories, hereditary algebras and Roiter's norm

We associate a positive real number to any vector space K-category over a field K. Generalizing a result of Nazarova and Roiter, we show that a schurian vector space K-category is representation-finite if and only if is finite and . Such vector space categories are quasilinear, i.e. its indecomposables are simple modules over their endomorphism ring. Recently, Nazarova and Roiter introduced the concept of -faithful poset in order to clarify the structure of critical posets. Their conjecture on the precise form of -faithful posets was established by Zeldich. We generalize these results and characterize -faithful quasilinear vector space K-categories in terms of a class of hereditary algebras H_ρ(D) parametrized by a skew-field D and a rational number ρ1.     

A spectral equivalence for Jacobi matrices

We use the classical results of Baxter and Golinskii–Ibragimov to prove a new spectral equivalence for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in or for s1.     

Relative asymptotic of multiple orthogonal polynomials for Nikishin systems

We prove the relative asymptotic behavior for the ratio of two sequences of multiple orthogonal polynomials with respect to the Nikishin systems of measures. The first Nikishin system is such that for each k, σ_k has a constant sign on its compact support consisting of an interval , on which almost everywhere, and a discrete set without accumulation points in . If denotes the smallest interval containing , we assume that Δ_k∩Δ_k+1=0/, k=1,…,m−1. The second Nikishin system is a perturbation of the first by means of rational functions r_k, k=1,…,m, whose zeros and poles lie in .     

On an extremal problem of Selberg II

Let m_p be the minimum of the product under the conditions that and . In our previous paper [J. Kaneko, On an extremal problem of Selberg, J. Approx. Theory 142 (2006) 129–137], we showed that the following estimates hold. provided p255. In this note, we prove that the limit of as p→∞ exists and is expressed by the (unique) solution of some simultaneous transcendental equations. By using this expression we obtain numerically.     

Biderivations of triangular algebras

Let be a triangular algebra. A bilinear map is called a biderivation if it is a derivation with respect to both arguments. In this paper we define the concept of an extremal biderivation, and prove that under certain conditions a biderivation of a triangular algebra is a sum of an extremal and an inner biderivation. The main result is then applied to (block) upper triangular matrix algebras and nest algebras. We also consider the question when a derivation of a triangular algebra is an inner derivation.     

Limits of small functors

For a small category enriched over a suitable monoidal category , the free completion of under colimits is the presheaf category . If is large, its free completion under colimits is the -category of small presheaves on , where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on .     

Zeros of Bernoulli-type functions and best approximations

The zero sets of (D+a)ⁿg(t) with in the (t,a)-plane are investigated for and .The results are used to determine entire interpolations to functions , which give representations for the best approximation and best one-sided approximation from the class of functions of exponential type η>0 to .     

The small quantum group as a quantum double

We prove that the quantum double of the quasi-Hopf algebra of dimension attached in [P. Etingof, S. Gelaki, On radically graded finite-dimensional quasi-Hopf algebras, Mosc. Math. J. 5 (2) (2005) 371–378] to a simple complex Lie algebra and a primitive root of unity q of order n² is equivalent to Lusztig's small quantum group (under some conditions on n). We also give a conceptual construction of using the notion of de-equivariantization of tensor categories.     

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 ).     

Periodic Schur functions and slit discs

A simply connected domain is called a slit disc if minus a finite number of closed radial slits not reaching the origin. A slit disc is called rational (rationally placed) if the lengths of all its circular arcs between neighboring slits (the arguments of the slits) are rational multiples of 2π. The conformal mapping of onto , (0)=0, ^′(0)>0, extends to a continuous function on mapping it onto . A finite union E of closed non-intersecting arcs e_k on is called rational if for every k, ν_E(e_k) being the harmonic measures of e_k at ∞ for the domain . A compact E is rational if and only if there is a rational slit disc such that . A compact E essentially supports a measure with periodic Verblunsky parameters if and only if for a rationally placed . For any tuple (α₁,…,α_g+1) of positive numbers with ∑_kα_k=1 there is a finite family of closed non-intersecting arcs e_k on such that ν_E(e_k)=α_k. For any set and any >0 there is a rationally placed compact such that the Lebesgue measure |EE^*| of the symmetric difference EE^* is smaller than .     

Formal extension and quotients of the invariant holonomic system

Let be a semisimple Lie algebra and a Cartan subalgebra of . Fix . Let be the invariant holonomic system (see [R. Hotta, M. Kashiwara, The invariant holonomic system on a semisimple Lie algebra, Invent. Math. 75 (1984) 327–358]). First we investigate its formal extension . In the sequel we calculate the characteristic variety of some simple quotients of and its Fourier transform .     

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 .     

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 .     

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.     

Engel graph associated with a group

Let G be a non-Engel group and let L(G) be the set of all left Engel elements of G. Associate with G a graph as follows: Take G L(G) as vertices of and join two distinct vertices x and y whenever [x,_ky]≠1 and [y,_kx]≠1 for all positive integers k. We call , the Engel graph of G. In this paper we study the graph theoretical properties of .