-structure on the deformation complex of a morphism

-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is the extension of a -algebra by an associative algebra. Actions of -algebras on associative and -algebras are analyzed; extensions of -algebras by associative and -algebras that they act upon are constructed. The resulting -algebra on the deformation complex of a morphism is shown to be quasi-isomorphic to the -algebra on the deformation complex of the corresponding diagram algebra.     

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 .     

On realistic terrains

We study worst-case complexities of visibility and distance structures on terrains under realistic assumptions on edge length ratios and the angles of the triangles, and a more general low-density assumption. We show that the visibility map of a point for a realistic terrain with n triangles has complexity . We also prove that the shortest path between two points p and q on a realistic terrain passes through triangles, and that the bisector of p and q has complexity . We use these results to show that the shortest path map for any point on a realistic terrain has complexity , and that the Voronoi diagram for any set of m points on a realistic terrain has complexity and . Our results immediately imply more efficient algorithms for computing the various structures on realistic terrains.     

Weak and point-wise convergence in for filter convergence

We study those filters on for which weak -convergence of bounded sequences in C(K) is equivalent to point-wise -convergence. We show that it is sufficient to require this property only for C[0,1] and that the filter-analogue of the Rainwater extremal test theorem arises from it. There are ultrafilters which do not have this property and under the continuum hypothesis there are ultrafilters which have it. This implies that the validity of the Lebesgue dominated convergence theorem for -convergence is more restrictive than the property which we study.     

Hypercyclic sequences of PDE-preserving operators

A sequence of continuous linear operators is said to be hypercyclic if there exists a vector , called hypercyclic for , such that {T_nx:n0} is dense. A continuous linear operator, acting on some suitable function space, is PDE-preserving for a given set of convolution operators, when it map every kernel set for these operators invariantly. We establish hypercyclic sequences of PDE-preserving operators on , and study closed infinite-dimensional subspaces of, except for zero, hypercyclic vectors for these sequences.     

All-derivable points in continuous nest algebras

Let be an operator algebra on a Hilbert space. We say that an element is an all-derivable point of for the strong operator topology if every strong operator topology continuous derivable linear mapping φ at G (i.e. φ(ST)=φ(S)T+Sφ(T) for any with ST=G) is a derivation. Let be a continuous nest on a complex and separable Hilbert space H. We show in this paper that every orthogonal projection operator P(M) () is an all-derivable point of for the strong operator topology.     

On fractional maximal function and fractional integral on the Laguerre hypergroup

Let be the Laguerre hypergroup which is the fundamental manifold of the radial function space for the Heisenberg group. In this paper we obtain necessary and sufficient conditions on the parameters for the boundedness of the fractional maximal operator and the fractional integral operator on the Laguerre hypergroup from the spaces to the spaces and from the spaces to the weak spaces .     

Spaces of holomorphic functions in regular domains

Let Ω be a regular domain in the complex plane , . Let be the linear space over of the holomorphic functions f in Ω such that f⁽ⁿ⁾ is bounded in Ω and is continuously extendible to the closure of Ω, n=0,1,2,… . We endow , in a natural manner, with a structure of Fréchet space and we obtain dense subspaces F of , with good topological linear properties, also satisfying that each function f of F, distinct from zero, does not extend holomorphically outside Ω.     

Gagliardo–Nirenberg inequalities in regular Orlicz spaces involving nonlinear expressions

We consider a triple of N-functions (M,H,J) that satisfy the Δ^′-condition, and suppose that an additive variant of interpolation inequality holds

where , is an arbitrary set invariant with respect to external and internal dilations. We show that the above inequality implies its certain nonlinear variant involving the expressions and . Various generalizations of this inequality to the more general class of N-functions, measures and to higher order derivatives are also discussed and the examples are presented.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

Iterated function systems on multifunctions and inverse problems

In this paper, we first consider the problem of defining IFS operators on the space of non-empty compact and convex subsets of . After defining a complete metric on , we construct an IFS operator and show some properties. A notable feature is the definition of a type of weak inner product on . We then define a family of complete metrics on the space of all measurable set-valued functions (with values in ), and extend the weak inner product to this space. Following this, we construct IFS operators on these spaces. We close with a brief discussion of the inverse problem of approximating an arbitrary multifunction by the attractor of an IFS.     

Strong uniform continuity

Let be an ideal of subsets of a metric space X,d. This paper considers a strengthening of the notion of uniform continuity of a function restricted to members of which reduces to ordinary continuity when consists of the finite subsets of X and agrees with uniform continuity on members of when is either the power set of X or the family of compact subsets of X. The paper also presents new function space topologies that are well suited to this strengthening. As a consequence of the general theory, we display necessary and sufficient conditions for continuity of the pointwise limit of a net of continuous functions.     

Oscillation of second-order damped dynamic equations on time scales

The study of dynamic equations on time scales has been created in order to unify the study of differential and difference equations. The general idea is to prove a result for a dynamic equation where the domain of the unknown function is a so-called time scale, which may be an arbitrary closed subset of the reals. This way results not only related to the set of real numbers or set of integers but those pertaining to more general time scales are obtained. In this paper, by employing the Riccati transformation technique we will establish some oscillation criteria for second-order linear and nonlinear dynamic equations with damping terms on a time scale . Our results in the special case when and extend and improve some well-known oscillation results for second-order linear and nonlinear differential and difference equations and are essentially new on the time scales , h>0, for q>1, , etc. Some examples are considered to illustrate our main results.     

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 .     

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 .     

There's something about the diameter

We study diameter preserving linear bijections from onto where X, Y are compact Hausdorff spaces and V, Z are Banach spaces. For instance, we obtain that if X has at least four points, Z is linearly isometric to V and either Z is a space or Z^* is strictly convex or smooth, then there is a diameter preserving linear bijection from onto if and only if X is homeomorphic to Y. We also consider the case when X and Y are not compact but locally compact spaces.     

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

Improved variance estimation under sub-space restriction

For the linear regression model , we assume that for a given positive definite scale matrix , the error vector has a multivariate normal distribution and has the inverted Wishart distribution. For under an orthogonal sub-space restriction , we propose restricted unbiased, preliminary test and Stein-type estimators of variance of the error term, for when the scale of the inverse Wishart distribution is assumed to be unknown. We compare the weighted quadratic risks of the underlying estimators and propose dominance pictures for them.     

On partial sums of certain meromophic -valent functions

In this paper, we study the ratio of meromorphic p-valent functions in the punctured disk U^*={z:0<|z|<1} of the form to its sequence of partial sums of the form . Also, we determine sharp lower bounds for and .     

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 .