Clarkson's algorithm for violator spaces

Clarkson's algorithm is a three-staged randomized algorithm for solving linear programs. This algorithm has been simplified and adapted to fit the framework of LP-type problems. In this framework we can tackle a number of non-linear problems such as computing the smallest enclosing ball of a set of points in Rd. In 2006, it has been shown that the algorithm in its original form works for violator spaces too, which are a proper generalization of LP-type problems. It was not clear, however, whether previous simplifications of the algorithm carry over to the new setting.In this paper we show the following theoretical results: (a) It is shown, for the first time, that Clarkson's second stage can be simplified. (b) The previous simplifications of Clarkson's first stage carry over to the violator space setting. (c) The equivalence of violator spaces and partitions of the hypercube by hypercubes.     

Violator spaces: Structure and algorithms

Sharir and Welzl introduced an abstract framework for optimization problems, called LP-type problems or also generalized linear programming problems, which proved useful in algorithm design. We define a new, and as we believe, simpler and more natural framework: violator spaces, which constitute a proper generalization of LP-type problems. We show that Clarkson's randomized algorithms for low-dimensional linear programming work in the context of violator spaces. For example, in this way we obtain the fastest known algorithm for the P-matrix generalized linear complementarity problem with a constant number of blocks. We also give two new characterizations of LP-type problems: they are equivalent to acyclic violator spaces, as well as to concrete LP-type problems (informally, the constraints in a concrete LP-type problem are subsets of a linearly ordered ground set, and the value of a set of constraints is the minimum of its intersection).     

Random matrices and subexponential operator spaces

We introduce and study a generalization of the notion of exact operator space that we call subexponential. Using Random Matrices we show that the factorization results of Grothendieck type that are known in the exact case all extend to the subexponential case, but we exhibit (a continuum of distinct) examples of non-exact subexponential operator spaces, as well as a C*-algebra that is subexponential with constant 1 but not exact. We also show that OH, R + C and max(?₂) (or any other maximal operator space) are not subexponential.     

Closed embeddings of Hilbert spaces

Motivated by questions related to embeddings of homogeneous Sobolev spaces and to comparison of function spaces and operator ranges, we introduce the notion of closely embedded Hilbert spaces as an extension of that of continuous embedding of Hilbert spaces. We show that this notion is a special case of that of Hilbert spaces induced by unbounded positive selfadjoint operators that corresponds to kernel operators in the sense of L. Schwartz. Certain canonical representations and characterizations of uniqueness of closed embeddings are obtained. We exemplify these constructions by closed, but not continuous, embeddings of Hilbert spaces of holomorphic functions. An application to the closed embedding of a homogeneous Sobolev space on Rn in L₂(Rn), based on the singular integral operator associated to the Riesz potential, and a comparison to the case of the singular integral operator associated to the Bessel potential are also presented. As a second application we show that a closed embedding of two operator ranges corresponds to absolute continuity, in the sense of T. Ando, of the corresponding kernel operators.     

Shift-invariant spaces on LCA groups

In this article we extend the theory of shift-invariant spaces to the context of LCA groups. We introduce the notion of H-invariant space for a countable discrete subgroup H of an LCA group G, and show that the concept of range function and the techniques of fiberization are valid in this context. As a consequence of this generalization we prove characterizations of frames and Riesz bases of these spaces extending previous results, that were known for Rd and the lattice Zd.     

An order-theoretic perspective on categorial closure operators

This paper deals with an order-theoretic analysis of certain structures studied in category theory. A categorical closure operator (cco in short) is a structure on a category, which mimics the structure on the category of topological spaces formed by closing subspaces of topological spaces. Such structures play a significant role not only in categorical topology, but also in topos theory and categorical algebra. In the case when the category is a poset, as a particular instance of the notion of a cco, one obtains what we call in this paper a binary closure operator (bco in short). We show in this paper that bco’s allow one to see more easily the connections between standard conditions on general cco’s, and furthermore, we show that these connections for cco’s can be even deduced from the corresponding ones for bco’s, when considering cco’s relative to a well-behaved class of monorphisms as in the literature. The main advantage of the approach to such cco’s via bco’s is that the notion of a bco is self-dual (relative to the usual posetal duality), and by applying this duality to cco’s, independent results on cco’s are brought together. In particular, we can unify basic facts about hereditary closure operators with similar facts about minimal closure operators. Bco’s also reveal some new links between categorical closure operators, the usual unary closure and interior operators, modularity law in order and lattice theory, the theory of factorization systems and torsion theory.     

Visibility in semi-convex spaces

We introduce the notion of a semi-convex space as a unifying framework for the treatment of various notions of convexity in the plane. Semi-convex spaces are a generalization of convexity spaces that are more appropriate for investigating issues of visibility. We define the notion of visibility within the general framework of semi-convex spaces, and investigate the relationship between visibility, kernels, and skulls. We prove the Kernel Theorem and the Cover Kernel Theorem, both of which relate kernels and skulls. Based on these results for semi-convex spaces we prove a theorem about metrics in the plane and demonstrate the utility of our theory with two examples of semi-convex spaces based on geodesic convexity and staircase convexity.This research was supported by the Deutsche Forschungsgemeinschaft under grant No. Ot 64/8-1, Diskrete Probleme, under grants of the Natural Sciences and Engineering Research Council of Canada, and from the Information Technology Research Centre of Ontario. In addition, the research of the first author was also supported by a NSERC international fellowship.     

Anisotropic isoparametric hypersurfaces in Euclidean spaces

In this paper, by Nomizu’s method and some technical treatment of the asymmetry of the F-Weingarten operator, we obtain a classification of complete anisotropic isoparametric hypersurfaces, i.e., hypersurfaces with constant anisotropic principal curvatures, in Euclidean spaces, which is a generalization of the classical case for isoparametric hypersurfaces in Euclidean spaces. On the other hand, by an example of local anisotropic isoparametric surface constructed by B. Palmer, we find that in general anisotropic isoparametric hypersurfaces have both local and global aspects as in the theory of proper Dupin hypersurfaces, which differs from classical isoparametric hypersurfaces.     

Extensions of L-fuzzy closure spaces

In this paper, we study the extension theory to L-fuzzy closure spaces, where L is a strictly two-sided, commutative quantale lattice. We give new notions such as L-fuzzy stack, L-fuzzy c-grill and trace of a point. Also, we construct order relation and equivalence relation between two extensions. Also, We introduce the concept of a principal extension of L-fuzzy closure space and study some of its applications.     

Factorizing operators on Banach function spaces through spaces of multiplication operators

In order to extend the theory of optimal domains for continuous operators on a Banach function space X(μ) over a finite measure μ, we consider operators T satisfying other type of inequalities than the one given by the continuity which occur in several well-known factorization theorems (for instance, Pisier Factorization Theorem through Lorentz spaces, pth-power factorable operators …). We prove that such a T factorizes through a space of multiplication operators which can be understood in a certain sense as the optimal domain for T. Our extended optimal domain technique does not need necessarily the equivalence between μ and the measure defined by the operator T and, by using δ-rings, μ is allowed to be infinite. Classical and new examples and applications of our results are also given, including some new results on the Hardy operator and a factorization theorem through Hilbert spaces.     

Function spaces in metrically generated theories

The theory of metrically generated constructs provides us with an excellent setting for the study of function spaces. In this paper we develop a function space theory for metrically generated constructs and, by considering different metrically generated constructs, we capture interesting examples. For instance, for uniform spaces we retrieve the uniformity of uniform convergence and its generalization to Σ-convergence and for UG-spaces we obtain a quantified version of these structures. Our theory also allows for many applications, in particular we are able to characterize the complete subspaces of these function spaces and we succeed in producing an appropriate Ascoli theorem.     

Extreme point axioms for closure spaces

A pair (X,τ) of a finite set X and a closure operator τ:2^X→2^X is called a closure space. The class of closure spaces includes matroids as well as antimatroids. Associated with a closure space (X,τ), the extreme point operator ex:2^X→2^X is defined as ex(A)={p|p∈A,p∉τ(A-{p})}. We give characterizations of extreme point operators of closure spaces, matroids and antimatroids, respectively.     

Chaotic dynamics of the heat semigroup on the Damek-Ricci spaces

We consider the rank one Riemannian symmetric spaces of noncompact type and their non-symmetric generalization, namely the Damek-Ricci spaces. We show that the heat semigroup generated by a certain perturbation of the Laplace-Beltrami operator of these spaces is chaotic on their L _p -spaces when p > 2. The range of p and the corresponding perturbation are sharp. A precursor to this result is due to Ji and Weber [19] where it was shown that under identical conditions the heat operator is subspace-chaotic on the Riemannian symmetric spaces, which is weaker than it being chaotic. We also extend the results to the Lorentz spaces L _p,q , which are generalizations of the Lebesgue spaces. This enables us to point out that the chaoticity degenerates to subspace-chaoticity only when q = ∞.     

A note on integral-convexity in Banach spaces

In the present paper we focus on a generalization of the notion of integral convexity. This concept, introduced in [J.Y. Wang, Y.M. Ma, The integral convexity of sets and functionals in Banach spaces, J. Math. Anal. Appl. 295 (2004) 211-224] by replacing, in the definition of classical notion of convexity, the sum by the integral, has interesting applications in optimal control problems. By using, instead of Bochner integral, a more general vector integral, that of Pettis, we obtain some results on integral-extreme points of subsets of a Banach space stronger than those given in [J.Y. Wang, Y.M. Ma, The integral convexity of sets and functionals in Banach spaces, J. Math. Anal. Appl. 295 (2004) 211-224]. Finally, a natural example coming from measure theory is included, in order to reflect the relationships between different kinds of integral convexity.     

Fuzzy minimal structure and fuzzy minimal vector spaces

This paper deals with fuzzy minimal spaces as a new generalization of the notion of fuzzy topology. Moreover, we present the continuity of fuzzy functions in this setting. We also introduce and investigate the class of fuzzy minimal vector spaces as a generalization of the class of fuzzy topological vector spaces.     

Compact-like operators between non-archimedean normed spaces

The Fredholm theory for compact operators on a non-archimedean Banach space E, as recently developed by W. Schikhof, does not work if the hypothesis of the completeness of E is dropped. This observation led the authors to introduce two new ideals of operators between non-archimedean normed spaces which, in the case of Banach spaces coincide with the ideal of the compact operators. They also investigate in various ways the possible equality of the three operator ideals.     

The exterior algebra for Wiemann manifolds

We discuss the theory of infinite-dimensional manifolds from the point of view of establishing a widely applicable framework for generalization of the finite-dimensional Hodge theory. The principal result is the development of an exterior algebra based on a weakened definition of differentiation, so that “C^∞” partitions of unity are available for paracompact manifolds modelled on arbitrary real separable Banach spaces. We prove a Poincaré lemma for our new notion of exterior differentiation, and go on to discuss the relationship of the exterior derivative with current research efforts toward the definition of an infinite-dimensional Laplace-Beltrami operator.     

The RAGE theorem in Banach spaces

A generalization of the so called RAGE theorems from scattering theory in Hilbėrt spaces to a more general class of uniformly boundedC ₀-semigroups on Banach spaces is given. The extension is based on the notion of weak almost periodicity (in the sense of Eberlein). This research is based on parts of Chapter 3 of the author’s dissertation at Essen University. The work of the author was supported by the Deutsche Forschungsgemeinschaft (DFG).     

Completion of merotopic spaces and extension of uniformly continuous maps

A general Riesz merotopic space (X, ν) determines a not necessarily topological closure operator c_ν on X. The space (X, ν) is said to be complete if every cluster on (X, ν) is contained in an adherence grill on (X, c_ν). We discuss a method of obtaining a large class of completions of a given Riesz merotopic space with induced T₁ closure space. As special cases we get the simple completion, which induces a simple closure space extension, and the strict completion, which induces a strict closure space extension. We show that the category of complete separated T₁ Riesz merotopic spaces is epireflective in the category of separated T₁ Riesz merotopic spaces, the reflection of an object being the simple completion. Similarly the category of complete clan-covered quasi-regular T₁ Riesz merotopic spaces is epireflective in the category of clan-covered quasi-regular T₁ Riesz merotopic spaces, the reflection of an object being the strict completion.