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

Optimization with convex constraints and convex objectives; notions related to convex optimization such as sub-gradients, normal cones, separating hyperplanes

2 votes
0 answers
56 views

Whether $d_x(t) := \|P_t(x)-x\|_H$ is increasing in $t$ where $P_t:H \to H$ is the proximal ...

Let $H$ be a Hilbert space (e.g Euclidean $\mathbb R^n$), and fix a proper convex function $f:H \to (-\infty,+\infty]$. Given any $t \ge 0$, let $P_t:H \to H$ be the proximal operator of $f$ at level …
dohmatob's user avatar
  • 6,853
1 vote
1 answer
129 views

Analytic expression for the min value of $g(t):= \sqrt{(t-1)^2 + a^2}+ b|t|$ subject to $|t-...

Disclaimer. Not sure this is MO-level but would really appreciate some help with this. Thanks in advance. Moved from SE. Let $a,b,c \ge 0$, and define a function $g:\mathbb R \to \mathbb R$ by $g(t) : …
dohmatob's user avatar
  • 6,853
0 votes
1 answer
85 views

Is the mapping $F(a):= \arg\min_{x \in \mathbb R^n} \|x-a\|_2 + \|x\|_1$ non-expansive?

Fix $a \in \mathbb R^n$ and let $\|\cdot\|$ be any norm on $\mathbb R$ (e.g $\ell_1$ norm). For any $a \in \mathbb R^n$, it is clear that the function $f_a(x) := \|x-a\|_2 + \|x\|$ is strictly convex …
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
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
0 votes
0 answers
62 views

Direct (first-order ?) algorithm to minimize $u(x) := \|x-a\|_C + r\|x\|_p$

Fix $a \in \mathbb R^n$, $r \ge 0$, $p \in \{1,2\}$, and a positive-definite matrix $C$ of order $n$. Define $u:\mathbb R^n \to \mathbb R$ by $u(x) := \|x-a\|_C + r\|x\|_p$, where $\|z\|_C := \sqrt{z^ …
dohmatob's user avatar
  • 6,853
2 votes
0 answers
44 views

Convergent algorithm for minimizing nonconvex smooth function

Let $\Phi$ be the Gaussian CDF and for $\gamma\ge 0$ and $h>0$, define a loss function $\ell_h:\{\pm 1\} \times \mathbb R$ by $$ \ell_{\gamma,h}(y,y') := \phi_{\gamma,h}(yy') := \Phi((yy'-\gamma)/h). …
dohmatob's user avatar
  • 6,853
0 votes
1 answer
82 views

Functional relationship between two quantities

Let $\mu \in \mathbb R^n$ and let $\Sigma$ be a positive-definite matrix of order $n \ge 2$. Fix $t \ge 0$ and define $\alpha(\mu,\Sigma,t) > 0$ by $$ \alpha(\mu,\Sigma,t) := \sup_{\|w\| = 1}\frac{1}{ …
dohmatob's user avatar
  • 6,853
2 votes
0 answers
77 views

Convex optimization over compact sets defined as Aumann set-valued integrals

Let $(X,P)$ be a probability measure space. Let $K$ be a convex compact subset of $\mathbb R^d$ and let $F:X \to 2^{K}$ be a set-valued map. Assume that $F$ is: closed (i.e $F(x)$ is closed for ever …
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
1 vote
0 answers
45 views

Analytic lower-bound for minimal value of $\|x\|^2$ such that $\|Cx-b\|^2 \le c^2$ (a hypere...

Let $C$ be an $n \times p$ matrix and $b$ be a column vector of length $n$, and $c>0$. Let $E := \{x \in \mathbb R^p \mid \|Cx-b\| \le c\}$, a hyperellipsoid in nonstandard position. Question 1. Wha …
dohmatob's user avatar
  • 6,853
0 votes
0 answers
44 views

Let $A,B,C$ be centrally-symmetric convex bodies. What is this function $G(x,y) := \sup_{b \...

Let $A$, $B$, and $C$ be centrally-symmeric convex bodies in $\mathbb R^n$. Note that any such set can such set induces a norm $\|\cdot\|_C$ on $\mathbb R^n$ defined by $\|x\|_C := \sup_{c \in C}c^\to …
dohmatob's user avatar
  • 6,853
4 votes
0 answers
223 views

Fréchet subdifferentiation on riemannian manifolds

Context. I'm looking for a "natural" definition of subdifferentials on riemannian manifolds. Given a function $F:\mathbb R^m \to \mathbb R$, its Fréchet-subdifferential at a point $w \in \mathbb R^m$ …
dohmatob's user avatar
  • 6,853
0 votes
1 answer
442 views

Is it true that every uniformly continuous strictly convex function on convex compact subset... [closed]

Let $C$ be a convex compact subset of a finite-dimensional normed vector space and let $f:C \to \mathbb R$ be strictly convex and uniformly continuous function (e.g it is sufficient that $f$ be Lipsch …
dohmatob's user avatar
  • 6,853
1 vote
0 answers
40 views

Minimax theorems in nonconvex setting

Let $X$ be a topological space, $Z$ be a compact convex subset of $\mathbb R^m$, and let $f:X \times Z \to \mathbb R$ be a continuous function (w.r.t the product topology on $X \times Z$). Question. …
dohmatob's user avatar
  • 6,853

15 30 50 per page