The convexity tag has no wiki summary.

**57**

votes

**0**answers

3k views

### Volumes of Sets of Constant Width in High Dimensions

Background
The n dimensional Euclidean ball of radius 1/2 has width 1 in every direction. Namely, when you consider a pair of parallel tangent hyperplanes in any direction the distance between them ...

**30**

votes

**0**answers

923 views

### Two-convexity ⇒ Lefschetz?

Assume that
$\Omega$ is an open simply connected set in $\mathbb R^n$
(two-convexity) if 3 faces of a 3-simplex belong to $\Omega$ then whole simplex in $\Omega$.
Is it true that any component of ...

**14**

votes

**0**answers

148 views

### Finite union of closed convex sets is triangulable?

I posted this question on Stackoverflow, but didn't get an answer.
Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable, that is, ...

**14**

votes

**0**answers

438 views

### An open problem in convex geometry

Is it possible to find four norms $\| \cdot\|_k$ $( 1 \leq k \leq 4)$ on the plane such that a three-dimensional normed space containing four subspaces isometric to these normed planes does not exist? ...

**12**

votes

**0**answers

1k views

### Infinite convex combinations in a Banach space

Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds:
For any sequence $(x_k)_{k\ge0}$ in $C$, and for
any sequence of non-negative real numbers ...

**11**

votes

**0**answers

180 views

### How large are the smallest-area projections of a high-dimensional convex body?

Let $B$ be a convex body in $\mathbb{R}^d$, equipped with its standard Euclidean form, and assume that
$$\intop_B x \, dx = 0$$
$$\frac{1}{|B|_d} \intop_B x_i x_j \, dx = \delta_{ij},$$
a ...

**8**

votes

**0**answers

298 views

### What is the “positive part” of the unit ball in $M_n(R)$ ?

In ${\bf M}_n(\mathbb R)$, let us consider the usual operator norm
$$\|A\|=\sup\frac{\|Ax\|}{\|x\|},$$
where $\|x\|$ is the Euclidian norm.
The closed unit ball $B$ is the set of contractions (in the ...

**7**

votes

**0**answers

340 views

### Minkowski's Inequality for Integrals in Orlicz spaces

EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces.
Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, ...

**7**

votes

**0**answers

200 views

### Is $Q_n(x)=\sigma_{n+1}(x)/\sigma_n(x)$ logarithmically convex on $\mathbf{R}$?

In 1975 J. van de Lune considered the monotony properties of the canonical Riemann Upper and Lower sums for $\int_0^1 t^xdt$, with $x>0$.
Writing $\sigma_n(x) := 1^x+2^x+\cdots+n^x$ these sums are
...

**7**

votes

**0**answers

223 views

### Are plactic classes convex under the right weak Bruhat order?

For those who are unfamiliar with the terminology, I'll explain a little.
The symmetric group $S_n$, as a type A Coxeter group, has generators $\{s_1,\ldots,s_{n-1}\}$ with relations (1) $s_i^2$ for ...

**6**

votes

**0**answers

71 views

### In what sense is the Bayesian posterior mean a “convex combination”?

I asked this on math.stackexchange with no response, I'm hoping someone here might have something.
Suppose I want to estimate $x \in \mathbb{R}^n$ from two signals with zero mean, normally ...

**6**

votes

**0**answers

144 views

### Is an infinite-dimensional “Lebesgue measure” uniquely determined by a set of positive finite measure?

Let $\mu$ be a probability measure on a subset $C \subset \mathbb{R}^\infty$ of the space of sequences, and assume, for simplicity, that $C$ is closed and convex.
We say that $\mu$ admits shifts if ...

**6**

votes

**0**answers

163 views

### Choquet theory and Hilbert's fourth problem

The following text is an attempt to see Hilbert's fourth problem in a new light.
Definition. A pseudometric $d$ on $\mathbb{R}^n$ is called projective if whenever a point $z$ belongs to a line ...

**6**

votes

**0**answers

128 views

### Variations on a problem of S. Mazur

In problem 76 of the Scottish Book Mazur asked
Given a convex body $K$ in three-dimensional space and a point $o$ in its interior, consider the surface $S$ formed by all points $p$ such that the ...

**5**

votes

**0**answers

107 views

### Star shaped sets with a midpoint

Suppose $U$ is an open subset of $\mathbb{R}^n$ which is star shaped with respect to $p\in U$. I'll call $p$ a midpoint of $U$ if for any line $\ell$ through $p$, the point $p$ is the midpoint of the ...

**5**

votes

**0**answers

107 views

### Geometry of the metric cone

Let us say that two metrics $d$ and $d_0$ on a set $X$ are related if there exist positive constants $0 < \alpha \leq \beta$ such that
$$
\alpha \,\left(d_0(x,y) + d_0(y,z) - d_0(x,z)\right) \leq
...

**5**

votes

**0**answers

263 views

### Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...

**4**

votes

**0**answers

80 views

### Prove a complicated function (in epidemic spreading search) to be convex

When analyse epidemic spreading, I came across to prove that a complicated function $f(x)$ is convex when $0 \leq x \leq 1$.
\begin{equation}
f(x)=\frac{b_1g'(x) f_1(x)^{n-2}+g'(1) \gamma}{g'(1) ( ...

**4**

votes

**0**answers

156 views

### When is the sum of a weak-$*$ closed convex cone and a subspace also weak-$*$ closed?

Let $X$ be a Banach space. Suppose $C \subset X^*$ is a convex cone and $V \subset X^*$ is a subspace, and suppose both $C$ and $V$ are closed in the weak-$*$ topology. Are there any general ...

**4**

votes

**0**answers

114 views

### Hilbert metric of a sum of cones

Suppose that $K_{1}$ and $K_{2}$ are pointed closed cones in a finite-dimensional space $V$ whose Hilbert metrics $d_{1},d_{2}$ are known. Is there a way to express the Hilbert metric of $K_{1}+K_{2}$ ...

**4**

votes

**0**answers

158 views

### Convex bodies with symmetric shadows.

Theorem. If all orthogonal projections of a convex body $K \subset \mathbb{R}^n$ onto $2$-dimensional subspaces have a center of symmetry, then $K$ has a center of symmetry.
This is a classic result ...

**4**

votes

**0**answers

161 views

### Is it possible to solve the argument maximization problem $\arg\max_x \langle x,l \rangle −f_1(x)−f_2(x)$ via convex duality?

I am attempting to solve the argument maximization problem
$$\arg\sup_x \{ \langle x,l \rangle − f_1(x)−f_2(x) \} \ \ \ \ \ \ \ \ \ \ (1)$$
where the functions $f_1$ and $f_2$ are concave but ...

**3**

votes

**0**answers

85 views

### This function looks quasiconvex, can't understand why

Suppose that $\mathbf{C}$ is a given matrix with non-negative entries in $\mathbb{R}^{m\times n}$ and $d$ is a given scalar, and let $g(\mathbf{y})$ be defined by ...

**3**

votes

**0**answers

69 views

### Covering fat objects with fat objects

The family of rectangles has the cover property, i.e.:
For every $R\geq 1$, $k\geq 1$: every rectangle with aspect ratio $kR$ can be exactly covered by $\lceil k\rceil$ (possibly overlapping) ...

**3**

votes

**0**answers

84 views

### Covering points with a convex hull

Consider a set of $n$ points $x_1,\ldots,x_n \in \mathbb{R}^d$, for some $n \gg d$. Suppose $\{x_1,\ldots,x_n\} \subset C \subset \mathbb{R}^d$. Say that a set of points $y_1,\ldots,y_m \in C$ covers ...

**3**

votes

**0**answers

160 views

### Characterizing curves that bound strictly convex regions

Consider a closed curve on the plane so that if we perform any translation and dilation on it, the resulting curve intersects the original curve at most twice. Does this property characterize the ...

**2**

votes

**0**answers

56 views

### Regularity of the Minkowski functionnal of a convex

Let $K$ be a convex compact set in $\mathbb{R}^2$ with $0 \in \overset{\circ}{K}$. The Minkowski functional associated to K is:
\begin{align*}
\varphi_K(x):= \inf \left\{t>0 \; : \; tx \in K ...

**2**

votes

**0**answers

93 views

### Lower convex envelope of a function involving entropy

Suppose two discrete random variables $X$ and $Y$ defined on finite sets $\mathcal{X}$ and $\mathcal{Y}$ are given and also suppose the conditional distribution $P_{Y|X}$ (i.e, channel) is fixed. We ...

**2**

votes

**0**answers

100 views

### proving quasi convexity of multivariable function

Given
an arbitrary $(N \times N)$ square matrix ${\bf X}$
a positive definite $(M\times M)$ matrix ${\bf T}$
a $(Q\times MN), Q< MN$ matrix ${\bf Z}$ consisting of only 1s and 0s where there is
...

**2**

votes

**0**answers

72 views

### Strictly Convex Smoothing of a function defined on an affine manifold

A function defined on an interval is strongly convex if it has positive definite second derivative. A function on an affine manifold is strongly convex
if its restriction to each line is. An affine ...

**2**

votes

**0**answers

115 views

### Convex functions with non-singular hessian measure are continuously differentiable?

It is known that every convex function $f: \Omega\to \mathbb{R}$, $\Omega$ convex subset of $\mathbb{R}^n$, has a weak derivative of bounded variation $Df\in BV_{loc}(\mathbb{R}^n)$ (e.g. Evans and ...

**2**

votes

**0**answers

66 views

### Are there pathological examples of log-concave measures that admit no shifts?

Does there exist a random vector $X$ in, say, the space $\mathbb{R}^\infty$ of sequences that has the following properties?
The distribution of $X$ is log-concave, i.e. for every $n$ the joint ...

**2**

votes

**0**answers

100 views

### Why pseudoconvexity is important in Partial differential equation theory?

I am a new researcher in mathematics and I work on convexity. Are convexity and pseudoconvexity related topics and in which respect to PDE theory ? One of the important results in PDE theory is the ...

**2**

votes

**0**answers

43 views

### Conditions under which a set of points have a low weight representation under some basis

Let $S \subset R^d$ be a convex polytope in $d$ dimensional real space. Say that $S$ has weight $w$ if there exists some basis $x_1,\ldots,x_d$ such that for every point $v \in S$, we can write $v = ...

**2**

votes

**0**answers

70 views

### Fastest 'Oracle' Algorithm for satisfying a single linear constraint on a convex set?

In this paper by Arora, Hazan, and Kale (http://www.cs.princeton.edu/~arora/pubs/MWsurvey.pdf) a method is given for using the Multiplicative Weights Update algorithm to quickly solve Linear Programs ...

**2**

votes

**0**answers

134 views

### A subclass of log-concave functions satifying a sum inequality

Suppose $f:[0,\infty)\to[0,\infty)$ is continuous and for all positive integers $m$ and real $x\geq0$, $\alpha,\beta>0$:
$$
...

**2**

votes

**0**answers

238 views

### Erdős-Szekeres empty pseudoconvex $k$-gons

I am wondering if the
Erdős-Szekeres
empty convex $k$-gon question has a different answer if
convexity is replaced by a pseudoline-version of convexity.
The empty convex $k$-gon question
is a variant ...

**2**

votes

**0**answers

139 views

### Minimally 6-connected 3D discrete lines that are convex lattice sets

There are several definitions of 3D discrete lines, e.g. http://diwww.epfl.ch/w3lsp/publications/discretegeo/nratddl.html , http://dx.doi.org/10.1007/978-3-642-19867-0_4 . However, I know of none that ...

**2**

votes

**0**answers

243 views

### Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?

Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with
weak-$*$ topology (weak topology induced by the continuous functions).
Consider a ...

**2**

votes

**0**answers

176 views

### Radon transform and Log-concavity

This question is related to (but different from) that of Darsh Ranjan.
Is there a characterization of the functions $f:\mathbb R^n\rightarrow\mathbb R_{\ge0}$ whose Radon transform $\hat ...

**1**

vote

**0**answers

59 views

### How is this transformation related to the Legendre transform?

I stumbled over the following transform in a statistical mechanics paper:
Unfortunately, no mathematical details were given there, which is why I wanted to ask here about this transform.
Let $s : ...

**1**

vote

**0**answers

75 views

### Convex Optimization related problem

Suppose two non-negative convex functions $f$ and $g$ be given.
We want to solve the following optimization
$$\max_{g\leq\epsilon}f.$$
Now suppose that both $f$ and $g$ can be upper-bounded by a ...

**1**

vote

**0**answers

30 views

### Changing a nonlinear equality constraint into some conic inequality plus rank constraint

If we have a constraint optimization problem in which one of our constraint is $\prod\limits_{k = 1}^N {\left( {x - {a_k}} \right) = 0} $ . How could this nonlinear equality condition be changed into ...

**1**

vote

**0**answers

54 views

### Given a multivariate polynomial with even degree, can we find its tightest convex polynomial 'envelop'?

To be specific, given a multivariate polynomial function $f: \mathbb{R}^n \rightarrow \mathbb{R}$ with even degree $2d$, can we construct a convex polynomial function $g$, such that:
$\forall ...

**1**

vote

**0**answers

97 views

### Proving solution to linear parabolic PDE is convex with negative third derivative

I have a PDE in $g(y,t)$ of the form
\begin{equation}
a\frac{\partial^2g}{\partial y^2}y^2-b\frac{\partial g}{\partial y}y -rg + \frac{\partial g}{\partial t} - c = 0
\end{equation}
in which $a$, $b$, ...

**1**

vote

**0**answers

68 views

### Directional derivates and unique subgradients

I have a question about the fine structure of convex functions. Convex functions behave very regular in the interior of their domain of definition (e.g. they are locally Lipschitz continuous there) ...

**1**

vote

**0**answers

214 views

### Proof of an inequality for a linear combination of three trigonometric functions

Given a function $$f(t) = k_{1} \sin(t+\alpha) + k_{3} \sin(3t+\beta) + k_{5} \sin(5t+\gamma)$$
where $k_{1}, k_{3}$ and $k_{5}$ are all positive parameters, and the three phase angles, $ ...

**1**

vote

**0**answers

58 views

### Symmetry of Sundry Planar Convex Sets of Constant Width & Minimal Area

In a much broader paper in “Optimization Methods & Software 27,6 (2012) pp1073-1099” Bayen & Henrion consider planar compact, convex sets with support functions which are finite Fourier ...

**1**

vote

**0**answers

92 views

### Linearization of cones

Suppose that $K$ is a closed convex cone in $R^{n}$. Is there a "nice" function $f:R^{n} \rightarrow R^{m}$ so that $f(K)$ is a subspace? What about an approximate subspace?

**1**

vote

**0**answers

58 views

### Reference request: Compact metrizable semilattices with small connected semilattices are absolute retracts

Let $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract.
Here is ...