Furuta's matrix trace inequality conjecture

Let M(n,C)M(n,\mathbb{C}) be the set of n×nn\times n complex matrices, let Mh(n,C)M_h(n,\mathbb{C}) be the set of Hermitian matrices, and let M+(n,C)M_+(n,\mathbb{C}) be the set of positive semidefinite matrices. For X,YM+(n,C)X,Y\in M_+(n,\mathbb{C}), pRp\in\mathbb{R}, and II the identity matrix, consider the two trace inequalities below.

Furuta's conjecture. It was asked whether

Tr[(I+X+Y+Y1/2XY1/2)p]Tr[(I+X+Y+XY)p]\operatorname{Tr}\left[(I+X+Y+Y^{1/2}XY^{1/2})^p\right]\leq \operatorname{Tr}\left[(I+X+Y+XY)^p\right]

for p1p\geq 1, and whether

Tr[(I+X+Y+Y1/2XY1/2)p]Tr[(I+X+Y+XY)p]\operatorname{Tr}\left[(I+X+Y+Y^{1/2}XY^{1/2})^p\right]\geq \operatorname{Tr}\left[(I+X+Y+XY)^p\right]

for 0p10\leq p\leq 1.

The source paper states that its purpose is to answer this question, so the candidate is presented as a conjectural question rather than an asserted theorem. The surrounding excerpt does not establish whether the question was open at the time of the source paper or whether the source resolves it.

Sources & referencesView supporting material

Primary source

Shigeru Furuichi and Minghua Lin, “A matrix trace inequality and its application”, arXiv:1001.3803 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.