Welcome to MathOverflow

Question

3

Hi

I am meeting a problem concerning semi-definite positive matrices, and I have no clue concerning them, the classical approaches I know have not given any result, maybe people used to manipulating them could help me...

Call $\mathscr{P}$ the convex set of symmetric SDP matrices $S$ of order $N\geq 1$ such that $|S_{ij}|<1$ . Consider the mapping $$\Phi:S=(S_{ij})\mapsto (\frac{2}{\pi}\arcsin(S_{ij})).$$

I think it is a (well) known fact that $\Phi(\mathscr{P})\subset \mathscr{P}$. My question is the following: Is $\Phi(\mathscr{P})$ convex?

At first I thought that the answer was "no", but I checked that for $N=2$ the answer is "yes". I have no clue as how to test higher dimensions. Does anyone have a suggestion on a method?

Another possible formulation: Given two SDP matrices $A$ and $B$, and $a\in [0,1]$, is the matrix $C$ defined by $$C_{ij}=\sin\left(a\arcsin(A_{ij})+(1-a)\arcsin(B_{ij})\right)$$ also SDP?

edited Apr 19 2012 at 6:58

asked Apr 18 2012 at 16:56

Raphael L
517●1●9

	That should be $$C_{ij} = \sin(a \arcsin(A_{ij}) + (1-a) \arcsin(B_{ij})$$ – Robert Israel Apr 18 2012 at 18:40
	thanks, edited. – Raphael L Apr 19 2012 at 6:59

Robert Israel · Accepted Answer · 2012-04-18 22:56:29Z UTC

3

Consider the SDP matrices

$$A = \pmatrix{1&0&-1&0\cr 0&1&0&-1\cr -1&0&1&0\cr0&-1&0&1\cr},\ B=\pmatrix{ 1&\sqrt{3}/2 & 1/2&0\cr \sqrt{3}/2&1& \sqrt{3}/2& 1/2\cr 1/2& \sqrt{3}/2&1& \sqrt{3}/2 \cr 0& 1/2& \sqrt{3}/2&1\cr}$$ where with $a=1/2$ $$ C = \Phi^{-1}(\Phi(A)/2 + \Phi(B)/2) = \pmatrix{ 1&1/2&-1/2&0\cr1/2&1&1/2&-1/2\cr-1/2&1/2&1&1/2\cr0&-1/2&1 /2&1\cr}$$ is not positive semidefinite.

edited Apr 18 2012 at 22:56

answered Apr 18 2012 at 18:44

Robert Israel
10.9k●8●23

	Thank you! Did you try with $3\times 3$ matrices? How did you find this example? – Raphael L Apr 19 2012 at 7:01
	I looked at Toeplitz matrices of the form $$M(s,t) = \pmatrix{1 & s & t & 0\cr s & 1 & s & t\cr t & s & 1 & s\cr 0 & t & s & 1\cr}$$ and plotted the region in the $(s,t)$ plane where $\Phi^{-1}(M)(s,t)$ is SDP. It turned out not to be convex. The $3 \times 3$ case was convex. – Robert Israel Apr 19 2012 at 16:23
	Here are the plots: 3 x 3 math.ubc.ca/~israel/problems/phi3.jpg 4 x 4 math.ubc.ca/~israel/problems/phi4.jpg – Robert Israel Apr 19 2012 at 16:44

Mapping a subset of semi-definite matrices through arcsinus

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.