Unitary orthonormal bases of finite dimensional inclusions
- URL: http://arxiv.org/abs/2502.11821v1
- Date: Mon, 17 Feb 2025 14:14:55 GMT
- Title: Unitary orthonormal bases of finite dimensional inclusions
- Authors: Keshab Chandra Bakshi, B V Rajarama Bhat,
- Abstract summary: We study unitary orthonormal bases in the sense of Pimsner and Popa for inclusions $(mathcalBsubseteq mathcalA, E),$ where $mathcalA, mathcalB$ are finite dimensional von Neumann algebras.
We prove the existence of unitary orthonormal bases for a large class of depth 2 subfactors with abelian relative commutant.
- Score: 0.0
- License:
- Abstract: We study unitary orthonormal bases in the sense of Pimsner and Popa for inclusions $(\mathcal{B}\subseteq \mathcal{A}, E),$ where $\mathcal{A}, \mathcal{B}$ are finite dimensional von Neumann algebras and $E$ is a conditional expectation map from $\mathcal{A}$ onto $\mathcal{B}$. It is shown that existence of such bases requires that the associated inclusion matrix satisfies a spectral condition forcing dimension vectors to be Perron-Frobenius eigenvectors and the conditional expectation map preserves the Markov trace. Subject to these conditions, explicit unitary orthonormal bases are constructed if either one of the algebras is abelian or simple. They generalize complex Hadamard matrices, Weyl unitary bases, and a recent work of Crann et al which correspond to the special cases of $\mathcal{A}$ being abelian, simple, and general multi-matrix algebras respectively with $\mathcal{B}$ being the algebra of complex numbers. For the first time $\mathcal{B}$ is more general. As an application of these results it is shown that if $(\mathcal{B}\subseteq \mathcal{A}, E),$ admits a unitary orthonormal basis then the Connes-St{\o}rmer relative entropy $H(\mathcal{A}_1|\mathcal{A})$ equals the logarithm of the square of the norm of the inclusion matrix, where $\mathcal{A}_1$ denotes the Jones basic construction of the inclusion. As a further application, we prove the existence of unitary orthonormal bases for a large class of depth 2 subfactors with abelian relative commutant.
Related papers
- A Classifying Space for Phases of Matrix Product States [0.0]
A topological space $mathcalB$ is defined as the quotient of a contractible space $mathcalE$ of MPS tensors.
We prove that the projection map $p:mathcalE rightarrow mathcalB$ is a quasifibration.
arXiv Detail & Related papers (2025-01-24T04:58:32Z) - Relative volume of comparable pairs under semigroup majorization [0.0]
Any semigroup $mathcalS$ of matrices induces a semigroup majorization relation $precmathcalS$ on the set $Delta_n-1$ of probability $n$-vectors.
Pick $X,Y$ at random in $Delta_n-1$: what is the probability that $X$ and $Y$ are comparable under $precmathcalS$?
arXiv Detail & Related papers (2024-10-30T16:48:59Z) - 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) - Characterizing Kirkwood-Dirac nonclassicality and uncertainty diagram
based on discrete Fourier transform [6.344765041827868]
We show that for the uncertainty diagram of the DFT matrix which is a transition matrix from basis $mathcal A$ to basis $mathcal B$, there is no hole"
We present that the KD nonclassicality of a state based on the DFT matrix can be completely characterized by using the support uncertainty relation.
arXiv Detail & Related papers (2023-03-30T07:55:21Z) - Monogamy of entanglement between cones [68.8204255655161]
We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones.
Our proof makes use of a new characterization of products of simplices up to affine equivalence.
arXiv Detail & Related papers (2022-06-23T16:23:59Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - 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) - Matrix Quantization of Classical Nambu Brackets and Super $p$-Branes [0.5156484100374059]
We present an explicit matrix algebra quantization of the algebra of volume-preserving diffeomorphisms of the $n$-torus.
We approximate the corresponding classical Nambu brackets using $mathfraksl(Nlceilfracn2rceil,mathbbC)$-matrices equipped with the finite bracket given by the completely anti-symmetrized matrix product.
arXiv Detail & Related papers (2021-03-11T13:44:57Z) - Algebraic and geometric structures inside the Birkhoff polytope [0.0]
Birkhoff polytope $mathcalB_d$ consists of all bistochastic matrices of order $d$.
We prove that $mathcalL_d$ and $mathcalF_d$ are star-shaped with respect to the flat matrix.
arXiv Detail & Related papers (2021-01-27T09:51:24Z)
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.