Related papers: Free mutual information for two projections

The present notes provide a proof of $i^*(\mathbb{C}P+\mathbb{C}(I-P)\,;\mathbb{C}Q+\mathbb{C}(I-Q)) = -\chi_\mathrm{orb}(P,Q)$ for any pair of projections $P,Q$ with $\tau(P)=\tau(Q)=1/2$. The proof includes new extra observations, such as…

We present here some connections between the liberation process for projections $(P,Q)\mapsto(P,U_tQU_t^*)$ and its counterpart $(R,S)\mapsto(R,U_tSU_t^*)$ for symmetries when the projections $\{P,Q\}$ and the symmetries $\{R,S\}$ are…

Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies $C^*$-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple…

Given two orthogonal projections $\{P,Q\}$ in a non commutative tracial probability space, we prove relations between the moments of $P+Q$, of $\sqrt{-1}(PQ-QP)$ and of $P+QPQ$ and those of the angle operator $PQP$. Our proofs are purely…

We study in some detail the structure of the projective quadric Q' obtained by taking the quotient of the isotropic cone in a standard pseudo-Hermitian space H_{p,q} with respect to the positive real numbers R^+ and, further, by taking the…

A term called the quasi-projection pair $(P,Q)$ was introduced recently by the authors, where $P$ is a projection and $Q$ is an idempotent on a Hilbert $C^*$-module $H$ satisfying $Q^*=(2P-I)Q(2P-I)$, in which $Q^*$ is the adjoint operator…

Let $P$ and $Q$ be two orthogonal projections on a separable Hilbert space, $\calH$. Wang, Du and Dou proved that there exists a unitary, $U$, with $UPU^{-1} =Q, \quad UQU^{-1} = P$ if and only if $\dim(\ker P \cap \ker(1-Q)) = \dim(\ker Q…

The universal C*-algebra generated by n projections has been described. As an immediate corollary one obtains structure theorem for a pair of projections and the solution to an associated index problem. This puts the study of a pair of…

We give a simple proof of a fairly flexible comparison theorem for equations of the type $-(p(u'+su))'+rp(u'+su)+qu=0$ on a finite interval where $1/p$, $r$, $s$, and $q$ are real and integrable. Flexibility is provided by two functions…

I report the existence of exactly one non-trivial solution to the equation $i(A,B)+i(A,\neg B)+i(\neg A,B)+i(\neg A,\neg B)= 0$, where $i(A,B)=\log\frac{P(A\text{ and }B)}{P(A)P(B)}$, and $P(A)$ is the probability of the proposition $A$.…

The aim of this paper is to give new characterizations of some fundamental issues about idempotents. In the general setting of adjointable operators on Hilbert $C^*$-modules, a new term of quasi-projection pair is introduced. For each…

The CQC conjecture by Schneeloch et al. (Physical Review A 90.6, 2014) asserts that the sum of classical mutual information between two parties obtained by measuring individual systems in two mutually unbiased bases cannot exceed their…

Let C be a general connected, smooth, projective curve of positive genus g. For each nonnegative integer i we give formulas for the number of pairs (P,Q) em C x C off the diagonal such that (g+i-1)Q-(i+1)P is linearly equivalent to an…

It is shown that a JB-algebra which can be generated by the union of two of its associative Jordan subalgebras is a JC-algebra, hence special. A similar refinement of Macdonald's principle for JB-algebras is obtained. Moreover, we prove…

We introduce and study natural two-parameter families of quantum groups motivated on one hand by the liberations of classical orthogonal groups and on the other by quantum isometry groups of the duals of the free groups. Specifically, for…

For every idempotent $Q$ on a Hilbert space $H$, the matched projection $m(Q)$ is a well-established concept. This paper explores several applications of the matched projections. The first application addresses the distances from…

A short, information-theoretic proof of the Kac--Bernstein theorem, which is stated as follows, is presented: For any independent random variables $X$ and $Y$, if $X+Y$ and $X-Y$ are independent, then $X$ and $Y$ are normally distributed.

Let $\mathcal{L}(H)$ be the set of all adjointable operators on a Hilbert $C^*$-module $H$. For each $T\in\mathcal{L}(H)$, $T^*$ denotes its adjoint operator, and $|T^*|$ is the positive square root of $TT^*$. We establish a simplified…

In this note, we give an alternative proof of the following result. Let p, q >= 2 be two multiplicatively independent integers. If an infinite set of integers is both p- and q-recognizable, then it is syndetic. Notice that this result is…

A quasi-projection pair consists of two operators $P$ and $Q$ acting on a Hilbert $C^*$-module $H$, where $P$ is a projection and $Q$ is an idempotent satisfying $Q^*=(2P-I)Q(2P-I)$, in which $Q^*$ denotes the adjoint operator of $Q$, and…