Related papers: A new, self-contained proof of Shahgholian's theor…

It is well-known that every convex function admits an affine support at every interior point of a domain. Convex functions of higher order (precisely of an odd order) have a similar property: they are supported by the polynomials of degree…

We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some…

In this work, we present a new efficient method for convex shape representation, which is regardless of the dimension of the concerned objects, using level-set approaches. Convexity prior is very useful for object completion in computer…

In the 1970s, the collar theorem was proven, establishing the existence of uniform tubular neighborhoods of simple closed geodesics on compact surfaces, whose widths depend only on the lengths of the geodesics and the lower bound of the…

We prove a compactness theorem for metrics with Bounded Integral Curvature on a fixed closed surface $\Sigma$. As a corollary, we obtain a compactification of the space of Riemannian metrics with conical singularities, where an accumulation…

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…

The paper studies a higher order unfitted finite element method for the Stokes system posed on a surface in three-dimensional space. The method employs generalized Taylor-Hood finite element pairs on tetrahedral bulk mesh to discretize the…

Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…

In this paper, two parallel notions of convexity of sets are introduced in the abelian semigroup setting. The connection of these notions to algebraic and to set-theoretic operations is investigated. A formula for the computation of the…

We give a geometric approach to the proof of the $\lambda$-lemma. In particular, we point out the role pseudoconvexity plays in the proof.

We prove a constant rank theorem for the second fundamental form of the spatial convex level surfaces of solutions to equations $u_t=F(\n^2u, \n u, u, t)$ under a structural condition, and give a geometric lower bound of the principal…

We use the square peg problem for smooth curves to prove a generalized table Theorem for real valued functions on Riemannian surfaces with odd Euler characteristic. We then use this result to prove the table conjecture for even functions on…

By carrying out refined point-wise estimates for the mean curvature, we prove better rigidity theorems of Lagrangian and symplectic translating solitons.

There are many four vertex type theorems appearing in the literature, coming in both smooth and discrete flavors. The most familiar of these is the classical theorem in differential geometry, which states that the curvature function of a…

In this paper, we prove the Smulian s theorem on Frechet differentiability of norm,and present some of its geometric results concerning the Gateaux and Frechet differentiability of norm and properties of the allied space and its dual such…

In the present work, we consider Zuckerberg's method for geometric convex-hull proofs introduced in [Geometric proofs for convex hull defining formulations, Operations Research Letters 44(5), 625-629 (2016)]. It has only been scarcely…

Recently a simple proof of the generalizations of Hawking's black hole topology theorem and its application to topological black holes for higher dimensional ($n\geq 4$) spacetimes was given \cite{rnew}. By applying the associated new line…

In this paper, we prove that a two-dimensional self-shrinker, homeomorphic to the sphere, immersed in the three dimensional Euclidean space is a round sphere, provided its mean curvature and the norm of its position vector have an upper…

For a family of weight functions invariant under a finite reflection group, the boundedness of a maximal function on the unit sphere is established and used to prove a multiplier theorem for the orthogonal expansions with respect to the…

The current paper discusses some new results about conformal polynomic surface parameterizations. A new theorem is proved: Given a conformal polynomic surface parameterization of any degree it must be harmonic on each component. As a first…