Symmetric matrix power inequality for row sums

From papers

Let MM be any n×nn\times n symmetric matrix with entries satisfying 0Mij10\leq M_{ij}\leq1, and let 1\mathbf{1} be the nn-dimensional all-ones vector. Matrix power inequality conjecture. For every α0\alpha\geq0,

1TMα11T(M1)α.\mathbf{1}^{\mathsf T}M^\alpha\mathbf{1}\leq\mathbf{1}^{\mathsf T}(M\mathbf{1})^\alpha.

The paper proposes this inequality as a sufficient route to proving the preceding trace and row-sum bounds when q>1q>1. Its validity is not established in the source.

Progress summary

Open

No public proof, disproof, or verified progress on this matrix inequality was found.

No public discussion or published progress was found for this conjecture.

Current status (as of August 2026): The inequality remains open, with no publicly recorded proof, counterexample, or verified progress.

Sources & referencesView supporting material

Primary source

Phuc Nguyen, Josiah Couch, Rahul Bansal, Alexandra Morgan, Chris Tam, Miao Li, Rima Arnaout and Ramy Arnaout, “Which Similarity-Sensitive Entropy (Sentropy)?”, arXiv:2511.03849 (2026).

Solutions 1

Counterexample

The conjecture fails even for a strictly positive definite 2×22\times2 matrix.

Let

M=(1212121),α=32,1=(11).M= \begin{pmatrix} \frac12&\frac12\\[2pt] \frac12&1 \end{pmatrix}, \qquad \alpha=\frac32, \qquad \mathbf1=\binom11.

Every entry belongs to [0,1][0,1], and

detM=14>0,trM=32,\det M=\frac14>0,\qquad \operatorname{tr}M=\frac32,

so MM is positive definite and its real fractional power is unambiguously defined. The positive square root is

M1/2=M+12I5/2,M^{1/2} = \frac{M+\frac12I}{\sqrt{5/2}},

as follows immediately from the Cayley–Hamilton identity

M232M+14I=0.M^2-\frac32M+\frac14I=0.

Since

M1=(13/2),1TM1=52,1TM21=134,M\mathbf1=\binom1{3/2},\qquad \mathbf1^{\mathsf T}M\mathbf1=\frac52,\qquad \mathbf1^{\mathsf T}M^2\mathbf1=\frac{13}{4},

we obtain

1TM3/21=134+12525/2=910.\mathbf1^{\mathsf T}M^{3/2}\mathbf1 = \frac{\frac{13}{4}+\frac12\cdot\frac52}{\sqrt{5/2}} = \frac9{\sqrt{10}}.

On the other hand,

1T(M1)3/2=1+(32)3/2=1+364.\mathbf1^{\mathsf T}(M\mathbf1)^{3/2} = 1+\left(\frac32\right)^{3/2} = 1+\frac{3\sqrt6}{4}.

These quantities satisfy the strict reverse inequality

910>1+364.\frac9{\sqrt{10}} > 1+\frac{3\sqrt6}{4}.

Indeed, after multiplying by positive quantities and squaring, this inequality reduces to

149>606,149>60\sqrt6,

which holds because

1492(606)2=2220121600=601>0.149^2-(60\sqrt6)^2=22201-21600=601>0.

Therefore

1TMα1>1T(M1)α\mathbf1^{\mathsf T}M^\alpha\mathbf1 > \mathbf1^{\mathsf T}(M\mathbf1)^\alpha

for the admissible positive-definite matrix MM and exponent α=3/2\alpha=3/2.

0 endorsements
Shivam Patel ·