The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
16 views

Is support function of a convex curve in $\mathbb{R}^2$ absolutely continuous?

There is an example of a convex function of two variables that is convex but not absolutely continuous. The level set of this function is a convex curve. To construct one example of such a function ...
1
vote
0answers
18 views

Upper bound on the number of convex connected components of the complement of the zero set of a polynomial

The classic Milnor-Thom upper bound on the sum of the Betti numbers of real algebraic sets (for a nice exposition and references, see e.g. N.R. Wallach, On a Theorem of Milnor and Thom, in S. Gindikin ...
4
votes
1answer
157 views

Atiyah-Guillemin-Sternberg convexity theorem

I would like to study the Atiyah-Guillemin-Sternberg convexity theorem: proof and applications. I am already familiarised with hamiltonian actions, moment maps...and with elementary Morse theory. So ...
3
votes
1answer
149 views

A lottery on coins in a convex set

You play the following game. You get $4n$ gold coins and have to arrange them in the unit square in general position (no two coins have the same x or the same y coordinate). Call this set of coins ...
4
votes
2answers
101 views

Cluster Variables for non-convex n-gons

Most of the lectures and lecture notes on Cluster Algebras (at least from Combinatorial point of view) start with mutations of the diagonals of a convex n-gon (mostly the pentagon) as the illustration ...
3
votes
1answer
120 views

The center of a minimal convex superbody

Is the following true? CONJECTURE: $\,$ Let $\ B\ C\subseteq\mathbb R^n\ $ be convex bodies in $\mathbb R^n$ such that $\ C\ $ is centrally symmetric, $\ B\subseteq C,\ $ and $\ t\!\cdot\! B\ $ ...
13
votes
1answer
354 views

On convergence of convex bodies

Let $K\subset \mathbb{R}^n$ be a compact convex set of full dimension. Assume that $0\in \partial K$. Question 1. Is it true that there exists $\varepsilon_0>0$ such that for any ...
1
vote
0answers
68 views

Projecting on a a special polyhedron

Let $X$ be an $n$-by-$p$ matrix and consider the closed convex polyhedron $$\mathcal P_X := \{y \in \mathbb R^n | \|X^Ty\|_\infty \le 1\}.$$ Notice that $\mathcal P_X$ is symmetric about the origin. ...
1
vote
0answers
38 views

Projecting on a convex compact polytope with special form

Let $E$ be a large sparse $l$-by-$n$ matrix ($l$ and $n$ can be in the billions...) with coefficients in $\{-1, 0, 1\}$: the first row of $E$ is the vector $(1,0,0,\ldots,0) \in \mathbb R^n$, and ...
2
votes
4answers
107 views

Show that the Minkowski sum of two triangles in 3D is the union of Minkowski sums of each triangle along the other's edges?

I'd like to show (or disprove) the claim that the Minkowski sum of two triangles with vertices in $\mathbb{R}^3$, $A+B$, is equal to the union of the unions of the Minkowski sums of $A$ along all ...
1
vote
0answers
36 views

Checking integer points of given infinity norm on intersection

If we have convex region $\mathscr R$ given as intersection of a convex polytope $\mathscr P$ and an ellisoid $\mathscr E$ in $\ell^2$ norm is there an efficient way to test if there is an integer ...
1
vote
2answers
40 views

Can we prove that a normal surface of an extreme point of a convex subset of a simplex is a separating hyperplane?

Let's assume that we have a simplex $G = \{x\in R^d|\sum_{i=1}^d x_i=1, x_i\ge 0 , i = 1, 2, .., d\}$ and a polyhedral convex subset $H \subseteq G$. Is it possible to prove that for any extremal ...
11
votes
1answer
293 views

Minimize sum of $\ell_2$ norm and linear combination, on simplex

Let $\Delta_n := \{x \in \mathbb{R}^n | x \ge 0, \sum_{1 \le i \le n}x_i = 1\}$ be the $n$-simplex. For $a, b \in \mathbb R^n$, with $\Delta_n \not \ni a$, consider the problem of computing the ...
6
votes
0answers
53 views

Convex hull of the orbit of a matrix under permutations

Let $P$ be a generic permutation matrix on $\mathbb{R}^n$. For any vector $x \in \mathbb{R}^n$, the convex hull of the set $\{ Px : \; \text{$P$ is a permutation matrix}\}$ is the set of vectors ...
4
votes
1answer
184 views

Questions about the regularity of the “norm” associated to a convex set

Suppose $K\subset \mathbb{R} ^n$ is a closed convex set whose interior contains the origin. We can assign a gauge function to $K$ as $g_{K}(x):=\inf\{\lambda>0 \mid x\in\lambda K\}$. $g_K$ has all ...
5
votes
0answers
68 views

What is the maximal convex hull in $\mathbb R^3$ of a tree with fixed total length?

Denote by $\mathcal T_n$ the set of all trees on $n$ nodes. For a tree $T\in\mathcal T_n$, we assign to each edge a non-negative length such that the sum of all lengths is 1. Denote by $v(T)$ the ...
0
votes
0answers
23 views

Efficient sampling from a polytope with large number of contraints [duplicate]

As far as I know, the most popular way to sample from a polytope (in H-representation) \begin{equation} \mathcal{P} := \{z \in \mathbb{R}^n | (Az)_j \le b_j\; \forall j=1,2,\ldots,m\} \end{equation} ...
1
vote
0answers
42 views

Number of simplices contained in a convex body

I am interested in the following question: Given a convex body $K$ in $\mathbb{R}^d$ and an $\epsilon>0$ small enough, how many $d$-simplices $\{D_i\}_{i=1}^m\subset K$ do we need at least so that ...
0
votes
0answers
60 views

Maximum value of linear function on the intersection of a parametrized family of balls

Let $C$ be a (nonempty) closed convex subset of $\mathbb{R}^n$ and $a, b \in \mathbb{R}^n$. Using the normal cone characterization of the euclidean projection operator $\mathrm{proj}_C$ (recall that ...
13
votes
0answers
236 views

A functional inequality about log-concave functions

Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that: $$ \int_{\mathbb{R}^{n}} \langle ...
2
votes
1answer
73 views

Internal edges in Convex Polytopes

Suppose $S\subset{\mathbb R}^n$ is an infinite subset that is in general position which means that the intersection of $S$ with every affine subspace of dimension $d<n$ always contains at most ...
4
votes
0answers
103 views

Alexandrov-Fenchel inequality for sets of positive reach

If $E$ is a convex subset of $\mathbb{R}^n$ with $|E| = |B_1|$, then one consequence of the classical Alexandrov-Fenchel inequalities from convex geometry is that $$\int_{\partial E} H_{\partial E} ...
1
vote
0answers
62 views

Affine-regular hexagon in convex body

An affine-regular $n$-gon is a non-degenerate affine image of the regular $n$-gon. It seems to be a standard fact in combinatorial geometry that inside every convex compact set $K\subseteq \mathbb ...
0
votes
1answer
113 views

Convex cones: strict separation

Consider two closed convex cones $A$ and $B$ in $\mathbb{R}^3$. Assume that they are convex even without zero vector, i.e. $A \setminus \{0\}$ and $B \setminus \{0\}$ are also convex (it helps to ...
4
votes
0answers
181 views

Osculating ellipsoids

Let $K$ be a given smooth, origin-symmetric, strictly convex body in $n$ dimensional euclidean space. At every point $x$ on the boundary of $K$ there exists an origin-symmetric ellipsoid $E_x$ that ...
4
votes
1answer
161 views

Ascertain properties of a new kind of rectilinear-convex set

PREABMLE TO MY QUESTION I am reading about convex sets and hulls in orthogonal/rectilinear spaces. As can be seen in this publication, for a given set of points in $\mathbb{R}^{2}$, there are many ...
3
votes
1answer
129 views

A family of convex bodies in Banach-Mazur position

Let $\{K_i\}$ be a family of smooth, origin-symmetric, strictly convex bodies such that $K_i$ converge in the Hausdorff distance (or you may assume $\partial K_i\to \partial K$ smoothly, in the sense ...
1
vote
1answer
188 views

does every compact convex set in c0 have but countably many extreme points

This seems plausible, given the properties of the unit ball of $c_0$. I have a compact set in a complex Banach space $X$ whose closed convex hull has uncountably many extreme points. It would be ...
0
votes
0answers
45 views

A question about the approximation of convex cones

I have the following question which maybe is too naive. Let $K$ be a convex cone on $\mathbf{R}^n$. Can we approximate $K$ by a sequence of polyhedral convex cone $K_i$ such that for any compactly ...
7
votes
0answers
114 views

Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem, solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires "planks" (parallel strips) of total width $\ge d$ in order to completely cover a ...
5
votes
1answer
71 views

Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints? $x_1+x_2+...+x_n = 1$ $a_1 \le x_1 \le b_1$ $a_2 \le x_2 \le b_2$ $...$ $a_n \le ...
2
votes
1answer
111 views

Set of regular points in an Alexandrov space with curvature bounded below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere $S^{n-1}$. ...
1
vote
0answers
54 views

Finding optimal linear transformation for intersection of convex polytopes

I previously posted this on MathSE and am now trying here. I have the following situation, as shown in the following diagram: $W=\{w_i\}_{i=1..|W|}$ is a set of vertices (show in diagram in ...
3
votes
1answer
156 views

Matching moments in even dimensions

Let $D$ be a probability distribution on the unit interval $[0,1]$ with moments $\mu_i=\mathbb{E}_D [x^i]$. Let $\delta(x)$ be a singleton probability distribution with all weight at $x\in [0,1]$. ...
8
votes
1answer
189 views

Tighter Caratheodory on the moment curve?

The moment curve is the set of points of the form $$(t,t^2,t^3,...,t^n) \in R^n$$ Let $M$ be the portion of the moment curve where $t\in [0,1]$, and let $\overline{M}$ be the convex hull of $M$. ...
5
votes
2answers
99 views

Inscribed parallelotope in a $d$-simplex

The problem setup is simple: Given a $d$-simplex $\Delta_d:=\{(x_1,\cdots,x_d):x_i\geq 0,\sum_i x_i\leq 1\}$, can we construct a finite sequence of parallelotope $A_i$ so that $\Delta_d=\cup_{i=1}^N ...
1
vote
0answers
35 views

Perimeters of the cells of a convex tessellation

Let $C$ be a compact, convex region in $\mathbb{R}^2$, and say we have scalars $a_i, b_i, c_i$ for $i\in\{1,\dots,n\}$. Consider the tessellation $R_1,\dots,R_n$ of $C$ defined by letting ...
1
vote
0answers
44 views

Inscribed polytopal approximation to a convex body

This question is on the continuation of the post Approximation of convex body by polytopes The central problem I am interested is an explicit construction of inscribed polytope with at most $n$ ...
3
votes
1answer
259 views

Find the minimum distance between two convex hulls

We work over $\mathbb{R}^N$. Let $\mathbf{P}_1$ denote the hyperplane constructed using $N$ points, each of which is on a different axis (there are $N$ axes). We denote by $\mathbf{P}_2$ the convex ...
5
votes
0answers
59 views

Measure-minimizing simplex with fixed inradius

Let $\Delta^n$ be an $n$-simplex in $\mathbb{R}^n$. Let $V$ be the volume and $r$ the inradius (radius of the inscribed sphere) of $\Delta^n$. There is a well-known result that $$ V \geq ...
3
votes
1answer
107 views

The sign of the mean curvature on convex cones in three dimensions

my question is as follows. It is known that a closed smooth curve in $R^2$ is convex iff its (signed) curvature has a constant sign. I wonder if one can characterize smooth convex cones in $R^3$ in a ...
0
votes
0answers
55 views

lattice basis reduction of the orbit of a rational vector on the torus

LEt $v=(p_1/q,...,p_n/q)$ be a vector of the torus $\mathbb{T}^n$, such that for any $i$, $p_i$ and $q$ are relatively prime. Let $L= \{ kv \mod \mathbb{T}^n , k=0,...,q-1 \}$. What is the lattice ...
4
votes
0answers
93 views

Prove or disprove a claim about covering a polytope by convex polytopes in a certain way

Here is the claim: Given a polytope $K$ in a unit ball in $\mathbb{R}^d$, there exists a universal constant $C(d)>0$ depending only on $d$ and a countable collection of convex polytopes ...
7
votes
4answers
123 views

Uniform Sampling Subject to Linear Equalities and Non-Negativity Constraint

I'm trying to sample uniformly on the intersections of faces of several simplicies, with all coordinates being non-negative. That is, given constraints $$A\vec{w}=\vec{b} \ \ and \ \ \vec{w} \geq ...
17
votes
5answers
2k views

How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the "concentration-of-measure" phenomenon is that, for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$, "most of the mass is close to the equator, for any equator."1 ...
6
votes
1answer
162 views

partition of a convex set into squares

Let $P$ denote the perimeter function. It's not hard to prove that for any rectangle $R$ in $\mathbb{R}^2$, $R$ can be partitioned into a countable collection of squares $\{Q_k\}_{k=1}^{\infty}$ such ...
6
votes
1answer
109 views

Lattice parallelogram of minimal area containing convex lattice polygon

What is the minimal constant $\alpha$ so that for any convex lattice polygon $F$ there exists a lattice parallelogram $P\supseteq F$ of area $A(P)\leq \alpha\cdot A(F)$? It is not hard to show that ...
5
votes
1answer
170 views

Measurement of “symmetry” of a convex body

I often hear that the regular simplex is "the least" symmetric convex body, and I've heard that there are some measures of symmetry of a body, that the simplex minimizes. Could you please explain or ...
9
votes
4answers
337 views

When is the convex hull of two space curves the union of lines?

I am interested in the convex hull of two space curves. Let $A,B\subset \mathbb R^3$ be two spaces curves. I am interested in when $\mathrm {con} (A \cup B)$ equals to $$\bigcup _{a\in A,b\in B} ...
0
votes
0answers
61 views

center of divisorial valuations on toric varieties

Suppose we are given a divisorial valuation $\mathcal{v}$ on a smooth toric variety $X_{\Sigma}$ (for a fan $\Sigma$), i.e. $\mathcal{v}$ is the valuation induced by a torus invariant divisor ...