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 8430
5 votes

Regularity of convex sets in $\mathbb{R}^n$

To my knowledge, this is the first place where I saw the result being claimed: C. O. Kiselman. Regularity classes for operations in convexity theory. Kodai Math. J. 15. 1992. In particular on the firs …
Suvrit's user avatar
  • 28.6k
1 vote

Bound on sum of $n$th super-diagonal entries in a $2n$ by $2n$ PSD matrix

A slightly more precise result is noted below. You may like it given that you tried Schur complements, and convexity arguments. Observation. $\DeclareMathOperator{tr}{tr}$ \begin{equation*} \m …
Suvrit's user avatar
  • 28.6k
10 votes
Accepted

Concavity of the trace of a matrix power

Unfortunately, the conjectured function is not concave. Here is a simple simpler counterexample. \begin{equation*} B = \begin{bmatrix} 1 & 2 \\ 3 & 4\end{bmatrix},\quad A = \begin{bmatrix} 2 & 0 \\ …
Suvrit's user avatar
  • 28.6k
5 votes
Accepted

Two (new?) variants of convex functions

If you throw in positive homogeneity, then the first class of functions is what is called sublinear, see for instance Proposition 1.1.4 ("Fundamentals of Convex Analysis"; Hiriart-Urruty, Claude Lema …
Suvrit's user avatar
  • 28.6k
1 vote

Takahashi convex metric spaces

Here is a partial answer to one of the questions. I may expand on the others if I find time (or hopefully someone else provides an answer). Without additional restrictions, the circle, sphere etc., t …
Suvrit's user avatar
  • 28.6k
1 vote

Is the prox-residual monotone?

Although not monotone at the operator level (as suggested by C. Mooney's proof), the monotonicity of prox-residual norms is known (probably you are already aware of it). Let $P_\eta^g$ denote the pr …
Suvrit's user avatar
  • 28.6k
2 votes
Accepted

Distance between two sets

You are trying to solve what is known as a best approximation problem. von Neumann's alternating projections does not work here (as might have been perhaps suggested above) You can use Dykstra's pr …
Suvrit's user avatar
  • 28.6k
7 votes
Accepted

Convexity of a minimum function

This is a standard result in convex analysis. See for example, $\S$3.2.5 of Convex Optimization by Boyd and Vandenberghe (just slightly modify their proof to conclude strictness).
Suvrit's user avatar
  • 28.6k
3 votes

On the convexity of element-wise norm 1 of the inverse

The function that you have is convex for unitarily invariant norms, but for the (basis dependent) elementwise absolute value, it can clearly break as a trivial counterexample below shows. \begin{equa …
Suvrit's user avatar
  • 28.6k
4 votes
Accepted

A certain type of quadratic constrained quadratic program (QCQP)

Yes, a lot can be said for your special case. Given the notation, I presume you are optimizing over $\mathbb{C}^n$. In this case, see Section 2 in the paper Strong Duality in Nonconvex Quadratic Optim …
Suvrit's user avatar
  • 28.6k
2 votes
Accepted

Is these two optimization problems share the same solution?

I don't see any reason why the two problems should have the same optimal solution. Consider both SDPs with $A(X)=X$, $B=[25\ \ {-10};\ {-10}\ \ 20]$, and $C=1$, and $m=1$. Let the matrices be $2\ti …
Suvrit's user avatar
  • 28.6k
3 votes
Accepted

Sufficient conditions for gradient descent convergence

Ok, after reading your comments, and some thinking, here is one way to tackle what seems to be going on: You have a nondifferentiable loss function. You wish to compute a subgradient of the loss, bu …
Suvrit's user avatar
  • 28.6k