The Convexity and the Gaussian Curvature Estimates for the Level Sets of Harmonic Functions on Convex Rings in Space Forms

In this paper, we first establish a constant rank theorem for the second fundamental form of the convex level sets of harmonic functions in space forms. Applying the deformation process, we prove that the level sets of the harmonic functions on convex rings in space forms are strictly convex. Moreover, we give a lower bound for the Gaussian curvature of the convex level sets of harmonic functions in terms of the Gaussian curvature of the boundary and the norm of the gradient on the boundary.     

A new class of alternative theorems for SOS-convex inequalities and robust optimization

In this paper, we present a new class of alternative theorems for SOS-convex inequality systems without any qualifications. This class of theorems provides an alternative equations in terms of sums of squares to the solvability of the given inequality system. A strong separation theorem for convex sets, described by convex polynomial inequalities, plays a key role in establishing the class of alternative theorems. Consequently, we show that the optimal values of various classes of robust convex optimization problems are equal to the optimal values of related semidefinite programming problems (SDPs) and so, the value of the robust problem can be found by solving a single SDP. The class of problems includes programs with SOS-convex polynomials under data uncertainty in the objective function such as uncertain quadratically constrained quadratic programs. The SOS-convexity is a computationally tractable relaxation of convexity for a real polynomial. We also provide an application of our theorem of the alternative to a multi-objective convex optimization under data uncertainty.     

Some Computational Aspects of Geodesic Convex Sets in a Simple Polygon

In this article, we deal with some computational aspects of geodesic convex sets. Motzkin-type theorem, Radon-type theorem, and Helly-type theorem for geodesic convex sets are shown. In particular, given a finite collection of geodesic convex sets in a simple polygon and an “oracle,” which accepts as input three sets of the collection and which gives as its output an intersection point or reports its nonexistence; we present an algorithm for finding an intersection point of this collection.     

Weakly Convex Sets and Their Properties

In this paper, the notion of a weakly convex set is introduced. Sharp estimates for the weak convexity constants of the sum and difference of such sets are given. It is proved that, in Hilbert space, the smoothness of a set is equivalent to the weak convexity of the set and its complement. Here, by definition, the smoothness of a set means that the field of unit outward normal vectors is defined on the boundary of the set; this vector field satisfies the Lipschitz condition. We obtain the minimax theorem for a class of problems with smooth Lebesgue sets of the goal function and strongly convex constraints. As an application of the results obtained, we prove the alternative theorem for program strategies in a linear differential quality game.     

A generalization of the Shapley–Ichiishi result

The Shapley–Ichiishi result states that a game is convex if and only if the convex hull of marginal vectors equals the core. In this paper, we generalize this result by distinguishing equivalence classes of balanced games that share the same core structure. We then associate a system of linear inequalities with each equivalence class, and we show that the system defines the class. Application of this general theorem to the class of convex games yields an alternative proof of the Shapley–Ichiishi result. Other applications range from computation of stable sets in non-cooperative game theory to determination of classes of TU games on which the core correspondence is additive (even linear). For the case of convex games we prove that the theorem provides the minimal defining system of linear inequalities. An example shows that this is not necessarily true for other equivalence classes of balanced games.     

Power-law estimates for the central limit theorem for convex sets

We investigate the rate of convergence in the central limit theorem for convex sets established in [B. Klartag, A central limit theorem for convex sets, Invent. Math., in press. [8]]. We obtain bounds with a power-law dependence on the dimension. These bounds are asymptotically better than the logarithmic estimates which follow from the original proof of the central limit theorem for convex sets.     

Minkowski’s theorem for arbitrary convex sets

V. Klee extended a well-known theorem of Minkowski to non-compact convex sets. We generalize Minkowski’s theorem to convex sets which are not necessarily closed.     

Order Types of Convex Bodies

We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of order type for point sets. This order type turns out to be an oriented matroid. We also give new upper bounds on the Erdős–Szekeres theorem in the context of convex bodies.     

Computability of Minimizers and Separating Hyperplanes

We prove in recursive analysis an existence theorem for computable minimizers of convex computable continuous real-valued functions, and a computable separation theorem for convex sets in ?^m. Mathematics Subject Classification: 03F60, 52A40.     

Banach空间上凸集的凸性

以Banach空间的一般凸集为研究对象,将Banach空间的凸性研究推广到了内部非空的凸集上．打破了从单位球出发研究Banach空间几何的具有局限性的研究方法,给出了严格凸集的若干特征刻画及性质,并得到了严格凸集和光滑集之间的对偶定理．     

The affine representation theorem for abstract convex geometries

A convex geometry is a combinatorial abstract model introduced by Edelman and Jamison which captures a combinatorial essence of “convexity” shared by some objects including finite point sets, partially ordered sets, trees, rooted graphs. In this paper, we introduce a generalized convex shelling, and show that every convex geometry can be represented as a generalized convex shelling. This is “the representation theorem for convex geometries” analogous to “the representation theorem for oriented matroids” by Folkman and Lawrence. An important feature is that our representation theorem is affine-geometric while that for oriented matroids is topological. Thus our representation theorem indicates the intrinsic simplicity of convex geometries, and opens a new research direction in the theory of convex geometries.     

A Helly-type theorem for higher-dimensional transversals

We prove that a collection of compact convex sets of bounded diameters in that is unbounded in k independent directions has a k-flat transversal for k<d if and only if every d+1 of the sets have a k-transversal. This result generalizes a theorem of Hadwiger(–Danzer–Grünbaum–Klee) on line transversals for an unbounded family of compact convex sets. It is the first Helly-type theorem known for transversals of dimension between 1 and d−1.     

A generalization of the Gronwall-Bellman lemma and its applications

In this study we present an important theorem of the alternative involving convex functions and convex cones. From this theorem we develop saddle value optimality criteria and stationary optimality criteria for convex programs. Under suitable constraint qualification we obtain a generalized form of the Kuhn-Tucker conditions. We also use the theorem of the alternative in developing an important duality theorem. No duality gaps are encountered under the constraint qualification imposed earlier and the dual problem always possesses a solution. Moreover, it is shown that all constraint qualifications assure that the primal problem is stable in the sense used by Gale and others. The notion of stability is closely tied up with the positivity of the lagrangian multiplier of the objective function.     

一般化凸空间上截口定理及其对择一不等式的应用

我们根据一般化凸空间上的KKM型定理得到了截口定理,然后作为它的应用讨论了若干个择一不等式.最后,引进了一个具体的一般化凸空间并在该空间上讨论了择一不等式解的存在性问题.     

A STRONG OPTIMIZATION THEOREM IN LOCALLY CONVEX SPACES

This paper presents a geometric characterization of convex sets in locally convex spaces on which a strong optimization theorem of the Stegall-type holds, and gives Collier's theorem of w Asplund spaces a localized setting.     

Frank separation of two convex sets and Hahn-Banach theorem

First we give some elementary properties of the core of a subset relative to a linear subspace. Then we prove a theorem on the frank separation of two convex sets. This theorem admits as particular cases the known theorems on the frank separation and introduces new cases. Finally, we provide a very general version of the Hahn-Banach theorem in an analytic form.     

Unified approach to some geometric results in variational analysis

Based on a study of a minimization problem, we present the following results applicable to possibly nonconvex sets in a Banach space: an approximate projection result, an extended extremal principle, a nonconvex separation theorem, a generalized Bishop-Phelps theorem and a separable point result. The classical result of Dieudonné (on separation of two convex sets in a finite-dimensional space) is also extended to a nonconvex setting.     

About a minimax theorem of Matthies,Strang and Christiansen

We give a new minisup theorem for noncompact strategy sets. Our result is of the type of the Matthies-Strang-Christiansen minimax theorem where the hyperplane should be replaced by any closed convex set. As an application, we derive a slight generalization of the Matthies-Strang-Christiansen minimax theorem.     

模糊量及模糊数的表现特性

模糊集的表现定理是模糊数学的最基本理论.在表现定理的基础上,对各种模糊量:包括凸模糊量、正规模糊量、正规凸模糊量、凸有界模糊量、模糊数、有限模糊数、对称模糊数的表现定理进行了深入的研究,从而建立了不同类型模糊量与普通集合之间的联系.     

广义凸函数的特征性质

提出广义凸集、广义凸函数、中间点广义凸函数、端点广义凸函数四个定义,通过定义条件P1,研究条件P1所蕴含的等式关系,进而得到一个基础性定理一稠密性定理和一个相对条件较弱的推论,最后将结果应用于若干不同类型的广义凸函数类,尤其是s-凸函数、几何凸函数、rp-凸函数,得到它们所共有的一个特征性质,即满足稠密性定理．