Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
30 views

Converse of Scherk–Segre theorem on the number of vertices of a convex space curve

It is well known that any smooth simple closed convex curve $\gamma$ in $\mathbb{R}^{3}$ that meets no plane in more than 4 points has exactly 4 vertices, i.e., points of vanishing torsion; here "...
Matteo Raffaelli's user avatar
2 votes
0 answers
85 views

On the trajectory followed by a point P on a planar convex region C when P is mapped repeatedly to the farthest point to it on C

Consider a planar convex region $C$. Let us define a mapping of a point $P$ on $C$ to that point on C that is farthest from $P$. Obviously, if from an initial position of $P$, we do this mapping ...
Nandakumar R's user avatar
  • 5,979
1 vote
0 answers
118 views

'Uniformity' of surfaces of 3D convex solids

We try to go a little further from Which convex solids have geodesics on the surface that lie entirely in a plane? Definitions: The surface of a finite 3D convex body may be called a convex surface. ...
Nandakumar R's user avatar
  • 5,979
1 vote
0 answers
99 views

Shortest loop through vertices of a convex polytope

Let $P$ be a convex polytope in Euclidean space $\mathbf{R}^3$ and $\Gamma$ be a closed curve which passes through all vertices of $P$. How small can the length $L$ of $\Gamma$ be? More specifically, ...
Mohammad Ghomi's user avatar
1 vote
0 answers
109 views

Which convex solids have geodesics on the surface that lie entirely in a plane?

We add a bit to On partitioning the surface of a convex solid into geodesically convex equal area regions Consider a convex 3D solid body C - not necessarily a polyhedral body. What could be said ...
Nandakumar R's user avatar
  • 5,979
0 votes
1 answer
91 views

On nontrapping manifolds

Suppose that $(M,g)$ is a compact connected smooth Riemannian manifold without boundary. Let $U \subset M$ be a smooth submanifold of codimension zero with smooth boundary and assume that $U$ is ...
Ali's user avatar
  • 4,135
1 vote
0 answers
91 views

Does convexity of boundary implies geodesic convexity?

I came across the following result (mentioned on Pg. 3 of this talk) that states that If $D$ is an open connected subset of a complete Riemannian manifold with smooth metric then $\partial D$ convex ...
Student's user avatar
  • 537
7 votes
3 answers
703 views

A continuous version of Carathéodory's convex hull theorem

A well-known theorem of Caratheodory states that any point in the convex hull of a set $X\subset R^n$ lies in the convex hull of at most $n+1$ points of $X$. I am wondering about a version of this ...
Mohammad Ghomi's user avatar
8 votes
1 answer
473 views

Is the gradient of a strictly convex, continuously differentiable function a homeomorphism?

Let $X\subseteq\mathbb{R}^n$ be a convex set. Let $f:X\to\mathbb{R}$ be a strictly convex function that is differentiable on the (non-empty) relative interior of $X$. $\nabla f$ is a bijection, but is ...
rick's user avatar
  • 199
4 votes
1 answer
139 views

Characterization of convexity by connectedness of hyperplane sections

Let $S$ be a smooth closed connected embedded hypersurface in $\mathbb R^n$. Is it true that $S$ is convex, i.e. is a boundary of a convex set, if and only if any section of $S$ by a hyperplane is ...
Dmitrii Korshunov's user avatar
4 votes
1 answer
186 views

Convex hull of 3 points in Cartan-Hadamard manifolds

Can the convex hull of $3$ points in a Cartan-Hadamard manifold be smooth? A Cartan-Hadamard manifold $M$ is a complete simply connected manifold with nonpositive curvature (so it includes the ...
Mohammad Ghomi's user avatar
1 vote
0 answers
107 views

Planar sections of convex sets in Cartan-Hadamard manifolds

Let $X$ be a convex set in Euclidean space $\mathbf{R}^n$ and $p\in\mathbf{R}^n$ be a fixed point. Then any plane $\Pi$ passing through $p$ intersects $X$ in a convex set. Conversely, this property ...
Mohammad Ghomi's user avatar
8 votes
1 answer
223 views

Convex hulls of compact sets in a 2-manifold

Let $(\mathbb{R}^2,g)$ be a complete Riemannian manifold. Let $K\subset \mathbb{R}^2$ be a compact, connected set, and let $\text{conv}(K)$ be its convex hull, i.e., the intersection of all ...
C M's user avatar
  • 381
2 votes
1 answer
83 views

On equipartitions of surfaces of 3D convex regions

Let S be the surface of a 3D convex region (a 'convex surface'). Let S' be a subset of S. We shall refer to S' as geodetically convex in S if the following condition holds: If A and B are two points ...
Nandakumar R's user avatar
  • 5,979
0 votes
0 answers
126 views

Question about symmetric bilinear form and convex geometry

Consider a Finsler norm $\varphi$ in $R^4$, and a positive definite symmetric bilinear form $S$, there also exists a vector-valued symmetric linear form $Q$, such that if $S(v, w) = 0$, then $Q(v, w)$ ...
threeautumn's user avatar
3 votes
0 answers
70 views

Characterizing image of integral transform applied to sections of a fiber bundle

Geometry is not my area, and so, I am not sure the title accurately captures what I am interested in exactly... I hope the tags are appropriate. For any vector $v$, denote it's $i$-th component by $v_{...
Atom Vayalinkal's user avatar
1 vote
0 answers
111 views

Maximizing the minimum curvature of a convex shape with a given volume in higher dimensions

Given any $d$-dimensional convex shape $S$ in the Euclidean space with $d\gg 1$, let $K_{\min}(S)$ be the minimum value of the Gaussian curvature of its boundary. Question: What is the maximum value $...
Penelope Benenati's user avatar
2 votes
0 answers
33 views

Decreasing magnitude of spherical centroid (simplex version)

Let $\sigma$ be the uniform measure on $\mathbb{S}^{d-1}\subset \mathbb{R}^d$. For any region $R\subset \mathbb{S}^{d-1}$, let $X_R$ be a random variable which is uniformly distributed across $R$. We ...
Aaron Goldsmith's user avatar
2 votes
0 answers
134 views

Norm of the Lipschitz-Killing differential forms

I am currently learning about the theory of Normal Cycles which makes use of the language of currents and differential forms. They are defined in the following way The Lipschitz-Killing curvature form ...
Taraellum's user avatar
6 votes
2 answers
377 views

Convex surfaces with minimal total curvature in Cartan-Hadamard 3-space

A Cartan-Hadamard 3-space $M$ is a complete simply connected 3-dimensional Riemannian manifold with nonpositive sectional curvature. A (smooth) convex surface $\Gamma\subset M$ is an embedded ...
Mohammad Ghomi's user avatar
1 vote
1 answer
139 views

On the Lipschitz continuity of the unit-normal vector field of a polytope

Let $\mu$ be a probability measure on $\mathbb R^n$ and let $P$ be a compact polytope in $\mathbb R^n$. For any $x \in \mathbb R^n \setminus P$, let $p(x) \in P$ be (unique!) point in $P$ which is ...
dohmatob's user avatar
  • 6,853
9 votes
2 answers
379 views

Which convex bodies roll straight?

Let $K$ be a convex body in $\mathbb{R}^3$. Suppose $K$ is held at some position and orientation on an inclined plane, and released. Let there be sufficient friction so that it rolls without slippage. ...
Joseph O'Rourke's user avatar
4 votes
1 answer
110 views

Separation of convexity on uniquely geodesic space

A metric $d: X \times X \to [0,\infty)$ is said to be intrinsic provided that the distance between any two points is the infimum of the lengths of paths joining the points. A space is an inner metric ...
Shijie Gu's user avatar
  • 2,083
5 votes
1 answer
226 views

Sufficient condition for geodesic convexity/connectedness

Let $(\Sigma,g)$ be a connected smooth Riemannian manifold without boundary. By a minimizing geodesic I mean a geodesic whose length equals the distance between its endpoints. Let us consider the ...
Ettore Minguzzi's user avatar
1 vote
1 answer
304 views

Does projective transformation preserve convexity? [closed]

Does projective transformation preserve convexity? Notice: Ignore the trivial case which projects a convex curve to a straight line.
Nan Zhang's user avatar
7 votes
2 answers
358 views

Cone unfolding of space curves

There is a natural length-preserving operation which transforms any rectifiable space curve $\gamma\colon [a,b]\to R^n$ into a planar curve $\tilde\gamma \colon [a,b]\to R^2$. This operation, which ...
Mohammad Ghomi's user avatar
6 votes
1 answer
337 views

Is Gauss map of a free boundary convex disk a diffeomorphism?

I asked this question on MSE, but obtained no answer. Maybe this is the right place to post it. Let $D$ be a properly embedded free boundary disk in the closed unit ball $\mathbb{B}^3$ of $\mathbb{R}^...
Eduardo Longa's user avatar
2 votes
0 answers
98 views

For a manifold of positive curvature, can we lower bound the distance between unit normals?

Suppose $M \subset \mathbb R^d$ is a $C^2$ $(d-1)$-manifold. In particular I am interested in when $M$ is the set $\{x \in \mathbb R^d: f(x) \le 1\}$ for some $C^2$ function $f:\mathbb R^d \to \...
Daron's user avatar
  • 1,955
2 votes
1 answer
152 views

How to define "interior" for the unit arc? [closed]

Let the unit arc be, $$\{x \in \mathbb{R}^2| x_1^2 + x_2^2 =1, x_1 \geq 0, x_2 \geq 0\}$$ There is something I found curious about the unit arc which is that, It has an empty interior viewed as a ...
Olórin's user avatar
  • 179
7 votes
1 answer
483 views

Furthest distance half the diameter?

Let $S$ be the surface of a convex body, polyhedral or smooth, embedded in $\mathbb{R}^3$. For a point $x \in S$, let $F(x)$ be the set of furthest points from $x$, measured by shortest paths on the ...
Joseph O'Rourke's user avatar
1 vote
0 answers
99 views

Inheriting quasiconvexity from convex function after re-parametrisation of space into the Stiefel manifold

Consider a function $f(S): \mathcal{S} \to \mathbb{R}$, where $\mathcal{S}$ is the convex cone of all positive semidefinite complex $M\times M$ Hermitian matrices. The function $f(\cdot )$ is concave ...
Jesús Rodríguez's user avatar
3 votes
1 answer
484 views

Is there exists (strictly) convex function on hemisphere?

Given $\mathbb{S}^n_+:=\{x\in \mathbb{R}^{n+1}: |x|=1,x_{n+1}>0\}$ be the open domain in $\mathbb{S}^n$, or be viewed as the geodesic ball centered at the pole with radius $\frac{\pi}{2}$ in $\...
John Sung's user avatar
  • 111
3 votes
0 answers
194 views

About Minkowski's problem

Let $f$ be a positive function over the unit sphere $S^{d-1}$. Minkowski's problem is to find a convex body $K$ in ${\mathbb R}^d$, whose Gauss curvature is prescribed as a function of the normal ...
Denis Serre's user avatar
  • 52.3k
1 vote
0 answers
68 views

Curvature of projection function onto a smooth curve

Suppose we have a smooth curve $C$ lying in $\mathbb{R}^2$, and let us consider the orthogonal projection function $P_C(x)$ onto the curve, described by $$P_C(x) = argmin_{y \in C} \Vert x - y \Vert$$...
Longti's user avatar
  • 141
1 vote
1 answer
223 views

Does $f$ have the same minimiser as $\|\nabla f \|$ for $f$ strictly convex?

This question is migrated from MathStackExchange where it seemed to be too hard. I wonder does anyone here have any ideas? Suppose $f: K \to \mathbb R$ is $\mathcal C^2$ and strictly convex on some ...
Daron's user avatar
  • 1,955
17 votes
3 answers
972 views

What is known about sufficient conditions for the rigidity of a convex surface?

A convex surface is a connected open subset of the boundary of a convex body in $\mathbb{R}^3$. An "infinitesimal bending" of a convex surface $S$ is a deformation of $S$ given by a velocity field $v:...
Eben Kadile's user avatar
3 votes
1 answer
258 views

Polygon of convex arcs

Convex polygons in the plane $R^2$ arise in linear programming where the constraints are linear. The objective linear function attains its maximum at a vertex of the feasible region(if exists). Assume ...
Semsem's user avatar
  • 422
9 votes
1 answer
341 views

Log-concavity of areas of level sets

Suppose $f: \mathbb{R}^d \to \mathbb{R}$ is a smooth convex function. Consider the level sets of the function, namely $M_s = \{x: f(x) = s\}$. Is it true/known that the surface areas of $M_s$ are ...
Andy Mack's user avatar
  • 265
0 votes
3 answers
111 views

On the properness of the graph of a convex function

Let $f : \Omega \subseteq \mathbb{R}^n \to \mathbb{R}$ be a smooth and convex function. Let us assume that $\Gamma_f = \mathrm{graph}(f) $ is a complete hypersurface of $\mathbb{R}^{n+1}$. Then I know ...
Onil90's user avatar
  • 823
14 votes
4 answers
963 views

Steiner's inequality reference request

I remember seeing somewhere that for every connected compact set $\Omega$ in $\mathbb{R}^2$ with piecewise $C^1$ boundary we have $$A(\Omega_r)\leq A(\Omega)+L(\partial \Omega)r+ \pi r^2,$$ where $$\...
Michael's user avatar
  • 295
6 votes
1 answer
254 views

Triangulations of convex surfaces

Let $M$ be a smooth closed positively curved surface in Euclidean 3-space, $T$ be a geodesic triangulation of $M$, and $E$ be the edge graph of the convex hull of vertices of $T$. It is easy to see ...
Mohammad Ghomi's user avatar
5 votes
1 answer
295 views

Existence of geodesic convex functions

By a result of Shing-Tung Yau [1974, Mathematische Annalen 207: 269-270], there are no non-trivial continuous geodesic convex functions on complete manifolds with finite volume. What happened if we ...
Mahdi - Free Palestine's user avatar
12 votes
1 answer
281 views

Rigidity of doubled convex caps

Suppose that we have a convex cap, i.e., a convex surface in $R^3$ homeomorphic to a disk whose boundary lies in a plane. Reflect the cap through the plane of its boundary and glue it back to the ...
Mohammad Ghomi's user avatar
1 vote
0 answers
43 views

Quantitative error control in Minkowski-Stein formula

Let $K\subseteq\mathbb R^d$ be a compact convex body with non-empty interior, and $E$ be a $(d-1)$-dimensional linear subspace of $\mathbb R^d$. Let $\theta\in\mathbb R^d$ be the unit vector such that ...
Yining Wang's user avatar
7 votes
1 answer
419 views

The concept of convex foliation

A $n-1$ dimensional submanifold $N\subset \mathbb{R}^n$ is called a convex submanifold if for every $x\in N$ ,ther is a neighborhood $W$ of $x$ in $N$ such that $W$ entirly lies at one side of $T_x N$...
Ali Taghavi's user avatar
1 vote
0 answers
131 views

Maximum of the Dirichlet eigenvalue of Monge-Ampere equation arrived at regular simplex

There is a article http://pages.iu.edu/~nqle/MA_EVP.pdf of NAM Q.LE state a conjecture of when the eigenvalue of Monge-Ampere equation will arrive the maximum. It divide into two part: Conjecture ...
Hu xiyu's user avatar
  • 697
2 votes
0 answers
34 views

Do internal stable sets contain big manifolds?

Given two strictly concave functions $u_{i}$ with continuous derivatives in $\mathbb{R}^{k}$. We define their upper levels at a point $x$ of these functions as the set of points y such that $u_i(y)>...
Francesco Ciardiello's user avatar
1 vote
0 answers
126 views

What is an umbilic point of a convex polyhedron?

An umbilic point of a smooth ($C^2$) convex surface in Euclidean 3-space is a point where the principal curvatures are equal. Is there some good way to generalize this notion to convex polyhedra? See ...
Mohammad Ghomi's user avatar
13 votes
2 answers
872 views

Intrinsic vs Extrinsic geometry of convex surfaces

By Alexandrov's isometric embedding theorem, any locally convex metric prescribed on the sphere admits a realization as a convex surface in Euclidean 3-space, which, by Pogorelov's rigidity result, is ...
Mohammad Ghomi's user avatar
10 votes
0 answers
265 views

Plank invariant measures on convex bodies

Let $K\subset R^2$ be a convex body, i.e., a compact convex set with interior points. A plank $P$ is the region between a pair of parallel lines in $R^2$. Let us say that $P$ intersects $K$ properly ...
Mohammad Ghomi's user avatar