Generalizations of Powers--Størmer's inequality
- URL: http://arxiv.org/abs/2302.07818v3
- Date: Sun, 17 Mar 2024 00:31:23 GMT
- Title: Generalizations of Powers--Størmer's inequality
- Authors: Mohsen Kian, Mohammad Sal Moslehian, Hiroyuki Osaka,
- Abstract summary: mathrmtr|A-B|leq 2, mathrmtrbig(f(A)g(B)big) endalign* holds for every positive-valued matrix monotone function $f$.
This study demonstrates that the set of functions satisfying this inequality includes additional elements and provides illustrative examples to support this claim.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$. This study demonstrates that the set of functions satisfying this inequality includes additional elements and provides illustrative examples to support this claim. Furthermore, we present a characterization of matrix decreasing functions based on a matrix version of the above inequality.
Related papers
- The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$.
As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
arXiv Detail & Related papers (2024-10-26T06:21:42Z) - Provably learning a multi-head attention layer [55.2904547651831]
Multi-head attention layer is one of the key components of the transformer architecture that sets it apart from traditional feed-forward models.
In this work, we initiate the study of provably learning a multi-head attention layer from random examples.
We prove computational lower bounds showing that in the worst case, exponential dependence on $m$ is unavoidable.
arXiv Detail & Related papers (2024-02-06T15:39:09Z) - One-sided Matrix Completion from Two Observations Per Row [95.87811229292056]
We propose a natural algorithm that involves imputing the missing values of the matrix $XTX$.
We evaluate our algorithm on one-sided recovery of synthetic data and low-coverage genome sequencing.
arXiv Detail & Related papers (2023-06-06T22:35:16Z) - A random copositive matrix is completely positive with positive
probability [0.0]
An $ntimes n$ symmetric matrix $A$ is copositive if the quadratic form $xTAx$ is nonnegative on the nonnegative orthant.
The main result, proved using Blekherman's real algebraic geometry inspired techniques and tools of convex geometry, shows that as $n$ goes to infinity, the ratio of volume radii of the two cones is strictly positive.
arXiv Detail & Related papers (2023-05-25T16:30:58Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus.
We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$.
We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
arXiv Detail & Related papers (2023-01-04T04:15:40Z) - A new operator extension of strong subadditivity of quantum entropy [12.547444644243544]
Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$.
We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
arXiv Detail & Related papers (2022-11-24T01:45:44Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
arXiv Detail & Related papers (2021-09-06T14:21:43Z) - Global Convergence of Gradient Descent for Asymmetric Low-Rank Matrix
Factorization [49.090785356633695]
We study the asymmetric low-rank factorization problem: [mathbfU in mathbbRm min d, mathbfU$ and mathV$.
arXiv Detail & Related papers (2021-06-27T17:25:24Z) - On a matrix equality involving partial transposition and its relation to
the separability problem [1.0867097571641349]
In matrix theory, a well established relation $(AB)T=BTAT$ holds for any two matrices $A$ and $B$ for which the product $AB$ is defined.
We explore the possibility of deriving the matrix equality $(AB)Gamma=AGammaBGamma$ for any $4 times 4$ matrices $A$ and $B$, where $Gamma$ denote the partial transposition.
arXiv Detail & Related papers (2021-04-13T11:46:43Z) - On the Regularization Effect of Stochastic Gradient Descent applied to
Least Squares [0.0]
We study the behavior of gradient descent applied to $|Ax -b |2 rightarrow min$ for invertible $A in mathbbRn times n$.
We show that there is an explicit constant $c_A$ depending (mildly) on $A$ such that $$ mathbbE left| Ax_k+1-bright|2_2 leq.
arXiv Detail & Related papers (2020-07-27T03:01:09Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.