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 questions only not deleted user 78539

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

0 votes
1 answer
109 views

Orthogonal projection of a point centrally-symmetric closed convex subset of $\mathbb R^n$ n...

Let $C$ be a closed convex subset of $\mathbb R^n$ which is symmetric about the standard coordinate axes. For example, think of $C$ as the unit-ball for an $\ell_p$-norm, for some $p \in [1,\infty]$. …
dohmatob's user avatar
  • 6,853
13 votes
1 answer
2k 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 follo …
dohmatob's user avatar
  • 6,853
1 vote
1 answer
65 views

Lower-bound for $\mathbb E[e^{-b(v^\top X - c)^2}]$, when $X$ is log-concave in high-dimensions

Let $d$ be a large positive integer. Fix a unit-vector $v \in \mathbb R^d$, and scalars $b,c \in \mathbb R$ with $b > 0$. Let $X$ be a log-concave random vector in $\mathbb R^d$ normalized so that $\ …
dohmatob's user avatar
  • 6,853
2 votes
1 answer
118 views

Analytic value of $\alpha := \sup_{(x,y) \in C} ax+by$, where $C := \{(x,y) \in \mathbb R^2 ...

Let $a,b \in \mathbb R$, $R \ge 0$, and $c > 0$. Define $C := \{(x,y) \in \mathbb R^2 \mid x^2 + y^2 \le 1,\,x^2 + c y^2 \le R^2\}$, and set $$ \alpha := \sup_{(x,y) \in C} ax + b y. $$ Question. In …
dohmatob's user avatar
  • 6,853
1 vote
0 answers
83 views

Given a large random matrix, how to prove that every large submatrix whose range contains a ...

Context. Studing a problem in machine-learning, I'm led to consider the following problem in RMT... Definition. Given positive integers $m$ and $n$ and positive real numbers $c_1$ and $c_2$, let's sa …
dohmatob's user avatar
  • 6,853
1 vote
1 answer
58 views

Characterization of random variables whose tensor powers have subexponential "small-ball" pr...

Is there a succinct characterization of all random variables $\zeta$ on $\mathbb R$ with the following properties 1. Symmetry: $\zeta \overset{d}{=} - \zeta$. 2. Small-ball probability: there exists …
dohmatob's user avatar
  • 6,853
4 votes
0 answers
107 views

Upper bound $\tau_C := \int_{\|x\| \le 1}(vol(C \cap (x + C))/vol(C))dx$ for a convex body $...

Let $C$ be a convex body in $\mathbb R^n$, i.e a bounded convex subset of $\mathbb R^n$ which has nonempty interior, and which is (A) open, or (B) closed (I'm not sure one makes more sense; choose the …
dohmatob's user avatar
  • 6,853
0 votes
1 answer
67 views

Analytic formula for minimizer of $f(x) := \sqrt{(x-a)^\top S(x-a)}+ r \|x\|_2$

Let $S$ be a positive-definite $n \times n$ matrix and define $\|z\|_S := \sqrt{x^\top S x}$ for any $x \in \mathbb R^n$. Let $a$ be a fixed vector in $\mathbb R^n$ and $r \ge 0$, and consider the fun …
dohmatob's user avatar
  • 6,853
5 votes
1 answer
540 views

Conditions for the support function of ellipsoid to define a norm

Let $C$ be a (nonempty) convex compact subset of $\mathbb R^n$. General question: Under what conditions on $C$ does the support function $$\sigma_C(x) := \sup_{y \in C}x^Ty $$ define a norm on $\mat …
dohmatob's user avatar
  • 6,853
0 votes
0 answers
52 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} i …
dohmatob's user avatar
  • 6,853
1 vote
0 answers
77 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 ever …
dohmatob's user avatar
  • 6,853
3 votes
0 answers
163 views

What is a natural way to extend a function from a subset of vertices to faces?

Let $n$ be a positive integer, and suppose $f$ is a probability distribution on the $2^n$ subsets of $[\![n]\!] := \{1,\ldots,n\}$. What is a "natural" way to extend $f$ to a distribution $\bar{f}$ on …
dohmatob's user avatar
  • 6,853
2 votes
1 answer
185 views

Analytic expression for the Moreau envelope of $x \mapsto \|Ax\|$

Given an $m \times n$ matrix $A$ and a vector $c \in \mathbb R^n$, define $\eta(A,c) \ge 0$, $$ \eta(A,c) := \sup_{u \in \mathbb R^n} u^\top c - \frac{1}{2}\|u\|^2 - \|Au\|. $$ Note that $\eta(A,c) = …
dohmatob's user avatar
  • 6,853
0 votes
2 answers
522 views

Wasserstein distance between $N(0,1/d)$ and the marginal distribution of $x_1$ when $x=(x_1,...

Let $x=(x_1,\ldots,x_d)$ be uniformly distributed on the unit-sphere in $\mathbb R^d$. Question. What is a good upper-bound for Wasserstein distance between $N(0,1/d)$ and the marginal distribution o …
dohmatob's user avatar
  • 6,853
6 votes
3 answers
437 views

Isoperimetric inequality for $\epsilon$-expansion of a set only along a certain subspace

Let $\gamma_n$ be the standard gaussian distribution on $\mathbb R^n$. Let $V$ be a $k$-dimensional subspace of $\mathbb R^n$. Finally let $A$ be any (nonempty) Borel subset of $A$ with $\gamma_n(A) = …
dohmatob's user avatar
  • 6,853

15 30 50 per page