Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 36721

A branch of geometry dealing with convex sets and functions. Polytopes, convex bodies, discrete geometry, linear programming, antimatroids, ...

5 votes
Accepted

Reference request for elementary convex geometry property

Indeed, this can be proved more simply, and in greater generality -- assuming only that the support of $P$ is contained in $C$ (rather than in $\mathcal X$). Indeed, without loss of generality the aff …
Iosif Pinelis's user avatar
1 vote
Accepted

Does approximately null gradient imply approximately global minimum for convex functions?

$\newcommand\Om\Omega\newcommand\R{\Bbb R}$The answer is no. Indeed, for real $k>0$, let $$G_k:=\{(x,y)\in\Bbb R^2\colon x>1,|y|<k\sqrt x\}. $$ For $(x,y)\in G_2$, let $$f_0(x,y):=y^2/x-1.$$ For all $ …
Iosif Pinelis's user avatar
0 votes
Accepted

Simple convergence of convex compact set implies Hausdorff convergence

A counterexample is given by $n=2$, $C=\{(0,0)\}$, and $C_k=\{(t,kt)\colon0\le t\le1\}$ (or one can instead take $C_k=\{(t,t/k)\colon0\le t\le1\}$). Another counterexample, in the same spirit, is give …
Iosif Pinelis's user avatar
2 votes

Centroid of Minkowski sum

The tautological answer to the question "what is the centroid $x_C$ of $C$?" is "the centroid $x_C$ of $C$ is the centroid $x_C$ of $C$". It is hardly possible to give a better answer to this questio …
Iosif Pinelis's user avatar
1 vote

Convex sets via fixed point equations

$\newcommand\R{\Bbb R}$If $X=S\cup T(X)$, then $$T(X)=T(S)\cup T^2(X),\quad X=S\cup T(S)\cup T^2(X), \ldots, \\ X=S\cup T(S)\cup\cdots\cup T^{n-1}(S)\cup T^n(X) \\ \subseteq Y:=S\cup T(S)\cup\cdots\ …
Iosif Pinelis's user avatar
9 votes
Accepted

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

$\newcommand{\na}{\nabla}\newcommand{\R}{\mathbb R}\newcommand{\ep}{\varepsilon}\newcommand{\de}{\delta}$Let $Y$ denote the interior of $X$. Then indeed $g:=\na f$ is a homeomorphism of $Y$ onto $g(Y) …
Iosif Pinelis's user avatar
6 votes
Accepted

Prove inequality: $2\Big[ \sum_{k=0}^{n} (k+1) a_k \Big]^2 -\Big[1+ \sum_{k=0}^{n} a_k \Big]...

A counterexample is given by the following conditions: $n=185$, $$a_k=\sum_{j=k}^n b_j,\quad b_j:=\frac{c_j}{j+1}, \quad c_j:=\frac{1000}7\,1(j=47)+\frac{302}7\,1(j=185).$$ Indeed, then $a_0\ge\cdots …
Iosif Pinelis's user avatar
0 votes

Joint maximizer of a strongly concave function

$\newcommand\R{\mathbb R}$It suffices that $f$ just be strongly concave (your conditions 1 and 2 then hold automatically). Indeed, then $$f(y)\le f(x)+h\cdot(y-x)-m|y-x|^2/2$$ for some $x\in\R^2$, som …
Iosif Pinelis's user avatar
2 votes
Accepted

On 'special' points on uniform planar convex regions defined in terms of moment of inertia

$\newcommand{\la}{\lambda}\newcommand{\de}{\delta}\newcommand{\ep}{\delta}$The answer is as follows: Yes, if the special point is allowed to be not in $C$, and then the moments of inertia of $C$ abou …
Iosif Pinelis's user avatar
4 votes
Accepted

Conic hull of a rectangle

A counterexample is given by $n=2$, $[a_1,b_1]=[-2,1]$, $[a_2,b_2]=[-1,2]$. (Make a picture.) Even if the $n$-box $S$ is required to be a subset of $[0,\infty)^n$, the answer will still be no. E.g., …
Iosif Pinelis's user avatar
0 votes
Accepted

If $|P|<\infty$ and $C=P\cap\partial(\textrm{Conv}(P))$, then $P\subset\textrm{Conv}(C)$?

$\newcommand\conv{\operatorname{conv}}\newcommand\ext{\operatorname{ext}}\newcommand\p{\partial}$The answer is yes. Indeed, let $K:=\conv P$ (the convex hull of $P$), let $\p K$ be the boundary of $K$ …
Iosif Pinelis's user avatar
2 votes
Accepted

Reference request: Inequalities involving convex sets and Gaussian variables stated in a pap...

$\newcommand{\R}{\mathbb R}\renewcommand{\th}{\theta}\newcommand{\ep}{\varepsilon} $This indeed follows immediately from Theorem 15 of Talagrand, Regularity of Gaussian processes, Acta Math. 159, No. …
Iosif Pinelis's user avatar
1 vote

A claim on concurrency of 'Width Bisectors' of planar convex regions

$\newcommand\de\delta\newcommand\R{\mathbb R}$As in the previous answer, assume that $C$ is a compact convex subset of $\R^2$. The condition that all the width bisectors of $C$ are concurrent means th …
Iosif Pinelis's user avatar
3 votes
Accepted

A claim on concurrency of 'Width Bisectors' of planar convex regions

We should assume that $C$ is closed; otherwise, there are easy counterexamples. If $C$ is unbounded, then there is at most one width bisector, and hence easy counterexamples again. So, assume that $C$ …
Iosif Pinelis's user avatar
1 vote
Accepted

Link between asymptotic cone and the boundary of a convex set

$\newcommand{\R}{\mathbb R}\newcommand{\inter}{\operatorname{int}}$The answer is yes. Here is the proof. The asymptotic cone of $C$ is \begin{equation*} K:=C^{as}=\{y\in\R^n\colon \exists(x_k) \te …
Iosif Pinelis's user avatar

15 30 50 per page