Related papers: Free mutual information for two projections

We establish an inequality comparing the height and the $\chi$-arithmetic volume of toric metrized divisors on $\mathbb{P}^1_{\mathbb{Q}}$. This gives a partial answer to a question of Burgos, Moriwaki, Philippon and Sombra ([5, remark…

We study a question of Harju from 2019 regarding the existence of infinite ternary square-free words whose subsequences modulo $p$ and $q$ are also square-free for relatively prime integers $p$ and $q$. Among such pairs $(p, q)$ with $p, q…

The set $D_{A_0}$, of pairs of orthogonal projections $(P,Q)$ in generic position with fixed difference $P-Q=A_0$, is shown to be a homogeneus smooth manifold: it is the quotient of the unitary group of the commutant $\{A_0\}'$ divided by…

We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its…

In this paper we investigate whether positive elements in the multiplier algebras of certain finite C*-algebras can be written as finite linear combinations of projections with positive coefficients (PCP). Our focus is on the category of…

It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module…

Let $M$ and $N$ be fixed non-negative integer numbers and let $\pi_N$ be a polynomial of degree $N$. Suppose that $(P_n)_{n\geq0}$ and $(Q_n)_{n\geq0}$ are two orthogonal polynomial sequences such that %their derivatives of orders $k$ and…

This paper is the written version of our talk (presented by the second author) at the IWOTA in Chemnitz in August 2017. The meta theorem of the paper is that Halmos' two projections theorem is something like Robert Sheckley's Answerer: no…

A parameter-free statistical model is used to study multiplicity signatures for coherent production of charged-pairs of parabosons of order p=2 in comparison with those arising in the case of ordinary bosons, p=1. Two non-negative real…

We study the noncommutative topology of the $C^*$-algebras $C(\mathbb{C}P_q^{n})$ of the quantum projective spaces within the framework of Kasparov's bivariant K-theory. In particular, we construct an explicit KK-equivalence with the…

We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic…

We perform the complete group classification in the class of cubic Schr\"odinger equations of the form $i\psi_t+\psi_{xx}+\psi^2\psi^*+V(t,x)\psi=0$ where $V$ is an arbitrary complex-valued potential depending on $t$ and $x$. We construct…

We provide a concrete formula for a dual system as well as for a conjugate system of $q$-Gaussians represented on the $q$-deformed Fock space. Moreover, using this formula, we prove the existence of a free Gibbs potential and that the…

We note that some form of the condition "$p_1, p_2$ have a $\leq_{\mathbb{Q}}$-lub in $\mathbb{Q}$" is necessary in some forcing axiom for $\lambda$-complete $\mu^+$-c.c. forcing notions. We also show some versions are really stronger than…

We prove that for $1<p\le q<\infty$, $qp\geq {p'}^2$ or $p'q'\geq q^2$, $\frac{1}{p}+\frac{1}{p'}=\frac{1}{q}+\frac{1}{q'}=1$, $$\|\omega P_\alpha(f)\|_{L^p(\mathcal{H},y^{\alpha+(2+\alpha)(\frac{q}{p}-1)}dxdy)}\le…

Let $T$ be a self-adjoint operator on a complex Hilbert space $\mathcal{H}$. We give a sufficient and necessary condition for $T$ to be the pencil $\lambda P+Q$ of a pair $( P, Q)$ of projections at some point…

We introduce in non-coordinate presentation the notions of a quantum algebra and of a quantum module over such an algebra. Then we give the definition of a projective quantum module and of a free quantum module, the latter as a particular…

In this work we characterise the C*-algebras A generated by projections with the property that every pair of projections in A has positive angle, as certain extensions of abelian algebras by algebras of compact operators. We show that this…

In this paper, we first study Rota-Baxter Hopf algebras of weight $-1$ and construct a matched pair of Hopf algebras on every Rota-Baxter Hopf algebra of weight $-1$. Then we propose the notion of projection homomorphism pairs on a matched…

We show that if ${\mathcal A},{\mathcal B},{\mathcal C}$ are increasing subsets of $\Omega:=\{0,1\}^n$ with ${\mathcal A}\neq\emptyset$, then with respect to any product probability measure on $\Omega$, \[ \mbox{if each of the pairs…