Related papers: Free mutual information for two projections

We find a $q$-analog of the following symmetrical identity involving binomial coefficients $\binom{n}{m}$ and Eulerian numbers $A_{n,m}$, due to Chung, Graham and Knuth [{\it J. Comb.}, {\bf 1} (2010), 29--38]: {equation*} \sum_{k\geq…

We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$…

A pair $(S,C)$ is called a singular $\mathbb{Q}$-homology plane pair if $S$ is a singular projective surface with only quotient singularities having the same rational homology as $\mathbb{p}^2$ and $C \subset S$ has the same rational…

In this note, we present a new method for computing fundamental groups of curve complements using a variation of the Zariski-Van Kampen method on general ruled surfaces. As an application we give an alternative (computation-free) proof for…

We study the geometry of $\mathcal{Q}$-conic arrangements in the complex projective plane. These are arrangements consisting of smooth conics and they admit certain quasi-homogeneous singularities. We show that such $\mathcal{Q}$-conic…

In this paper, we establish a $q$-integral formula by using the orthogonality relation, and also provide a new proof of the $q$-orthogonality relation for the continuous $q$-ultraspherical polynomials. A new $q$-beta integral with five…

We prove the irredcibility (and the rational connectedness) of the moduli spaces of (free) morphisms from a projective line to a successive blowing-up of a product of projective spaces if a suitable numerical condition on morphisms is…

The sphere $S^{N-1}_\mathbb R$ has a half-liberated analogue $S^{N-1}_{\mathbb R,*}$, and a free analogue $S^{N-1}_{\mathbb R,+}$. This is a presentation of the construction and main properties of these noncommutative spheres,…

We study C*-algebras generated by two partitions of unity subject to orthogonality relations governed by a bipartite graph which we also call "bipartite graph C*-algebras". These algebras generalize at the same time the C*-algebra…

In this article we prove that double quasi-Poisson algebras, which are non-commutative analogues of quasi-Poisson manifolds, naturally give rise to pre-Calabi-Yau algebras. This extends one of the main results in [11] (see also [10]), where…

Let $T: A\to B$ be a (not necessarily surjective) linear isometry between two real JB$^*$-triples. Then for each $a\in A$ there exists a tripotent $u_a$ in the bidual, $B'',$ of $B$ such that \begin{enumerate}[$(a)$] \item…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

Let $\xi$ be the standard normal random vector in $\mathbb{R}^{k}$. Under some mild growth and smoothness assumptions on any increasing $P, Q : [0, \infty) \mapsto [0, \infty)$ we show $(P,Q)$ complex hypercontractivity $$ Q^{-1}(\mathbb{E}…

We recall that $w\in C_{p}^{+}$ if there exist $\varepsilon>0$ and $C>0$ such that for any $a<b<c$ with $c-b<b-a$ and any measurable set $E\subset(a,b)$, the following holds \[ \int_{E}w\leq…

In this article, we obtain a recursive description of the Horn cone Horn(p,q) with respect to the integers p and q, as in the classical Horn's conjecture.

A short proof is given for the well-known Choi-Effros theorem on the structure of ranges of completely positive projections.

Let $P$ and $Q$ be simple polygons with $n$ vertices each. We wish to compute triangulations of $P$ and $Q$ that are combinatorially equivalent, if they exist. We consider two versions of the problem: if a triangulation of $P$ is given, we…

An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $\pi$…

We study the liberation process for projections: $(p,q)\mapsto (p_t,q)= (u_tpu_t^\ast,q)$ where $u_t$ is a free unitary Brownian motion freely independent from $\{p,q\}$. Its action on the operator-valued angle $qp_tq$ between the…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…