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 9652
2 votes

subgradient calculus

I don't know what $e$ is, but if you need a subgradient of a maximum of convex functions, you can take a subgradient of one of the functions where the maximum is achieved, e.g. if $$ p(x) = \max_i f_i …
Dirk's user avatar
  • 12.7k
1 vote

Projection onto rotated box

Not sure if this points in the right direction since I don't know enough context. It seems like you could in principle set $y= Ux$ and either work with the rotated variable all over the place or use " …
Dirk's user avatar
  • 12.7k
4 votes

Quantitative version of Jensen's inequality?

This is not an answer but it may be helpful to know that there exists the notion of modulus of convexity of a convex function $f:X\to ]-\infty,\infty]$ defined on a Banach space $X$ which quantifies h …
Dirk's user avatar
  • 12.7k
1 vote

The tightest upper bound on $-\left\langle B(y-x),\nabla f(A x)\right\rangle$

If $A$ is invertible and $BA^{-1}$ is, by any chance, symmetric positive definite, then you could write $$ \langle B(y-x),\nabla f(Ax)\rangle = \langle BA^{-1}A(y-x),\nabla f(Ax)\rangle $$ and use tha …
Dirk's user avatar
  • 12.7k
2 votes

Separating convex sets in Vector spaces

I do not know a definitive "weakest" condition and I doubt there is one. Many results in the realm of Hahn-Banach do the trick, i.e. there is the general result for $A,B$ convex and $A$ open (both ope …
Dirk's user avatar
  • 12.7k
1 vote

Given the following two assumptions, How to conclude $\lim_{k \rightarrow \infty}|\nabla g_r...

Note that the conclusion is that the gradient of $g_r$ converges to zero, not $g_r$ itself! The first inequality and the fact that $r>0$ imply $$\ g_r(M(y^k)) - g_r(y^k) > r|\nabla g_r(y^k)|^2 \geq 0 …
Dirk's user avatar
  • 12.7k
4 votes
Accepted

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

First of all, the function $f_a$ is not strictly convex, and hence, you should expect multiple minimizers. As such, non-expansiveness (even in some generalized sense) does not seem likely. Consider th …
Dirk's user avatar
  • 12.7k
3 votes
Accepted

When is a function a convex conjugate?

If I recall correctly, every proper, convex, weak*-lower semi-continuous function is a conjugate. In fact, it is the conjugate of its pre-conjugate $$ f(x) = \sup_{x^*\in X^*} \langle x^*,x\rangle - g …
Dirk's user avatar
  • 12.7k
12 votes
Accepted

Convexity and Lipschitz continuity

That's a standard result in convex optimization. For example Theorem 2.1.5 in Nesterov's "Introductory Lectures on Convex Optimization" states that the following are equivalent: $f$ is $C^1$, convex …
Dirk's user avatar
  • 12.7k
1 vote

Linear convergence rate of proximal point algorithm

I am not aware of results on the linear rate of this variant of the proximal point method. Let me note that convergence is usually shown by the following observation: Since $C$ is a bijection, you may …
Dirk's user avatar
  • 12.7k
1 vote

Reference request: regularity of functionals on the space of probability measures

One thing that is straightforward would be to extend $F$ to the full space $\mathcal{M}$ of signed measures by setting $F(\mu) = -\infty$ if $\mu$ is not a probability measure. This extension would pr …
Dirk's user avatar
  • 12.7k
0 votes
Accepted

Calculate $k:=\sup\left\{\left\|\theta\right\|_{*} \: |\: \ell^{*}(\theta)<\infty\right\}$ f...

The function $\ell$ is concave (it's a minimum of linear functions). Its conjugate $\ell^*(\theta)$ is the supremum over a linear function minus $\ell$. If I see correctly, $\ell^*(\theta) = \infty$ f …
Dirk's user avatar
  • 12.7k
3 votes
Accepted

Reference on vector-valued convex conjugate

I haven't seen this notion. Also note that Bachir did not use the whole space of continuous bounded functions for $\phi$ but certain subsets (doesn't the biconjugate get weird if you use the full spac …
Dirk's user avatar
  • 12.7k
3 votes
Accepted

What is a non-trivial example of an unbounded subdifferential?

A simple example is the convex function $$ f(x) = \begin{cases} \infty, & \text{if}\ x<0\\ x & \text{if}\ x\geq 0. \end{cases} $$ It holds that $\partial f(0) = ]-\infty,1]$. There are no examples wi …
Dirk's user avatar
  • 12.7k
11 votes
Accepted

Why are $\Gamma_0$ functions called this

I think Carlo Beenakker digged up the right reference for the notation of the set, but I think more can be said. First, there is some meaning for the subscript $0$ which can be found in the same pape …
Dirk's user avatar
  • 12.7k

15 30 50 per page