Related papers: Free mutual information for two projections
A basic problem in information theory is the following: Let $\mathbf{P} = (\mathbf{X}, \mathbf{Y})$ be an arbitrary distribution where the marginals $\mathbf{X}$ and $\mathbf{Y}$ are (potentially) correlated. Let Alice and Bob be two…
We use the measurable Hall's theorem due to Cie\'sla and Sabok to prove that (i) if two measurable sets $A,B \subset \mathbb{R}^d$ of the same measure are bounded remainder sets with respect to a given irrational $d$-dimensional vector…
Let $p$ and $q$ be arbitrary positive numbers. It is shown that if $q < p$, then all solutions to the difference equation \tag{E} x_{n+1} = \frac{p+q x_n}{1+x_{n-1}}, \quad n=0,1,2,..., \quad x_{-1}>0, x_0>0 converge to the positive…
The present paper have been replaced by the paper: Hartogs-Bochner type theorem in Projective Space (math.CV/0011095) in which we prove the following Hartogs-Bochner type theorem: Let $M$ be a connected $C^2$ hypersurface of…
We show that the problem of determining the feasibility of quadratic systems over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$ requires exponential time. This separates P and NP over these fields/rings in the BCSS model of computation.
We give an explicit combinatorial description of the two-dimensional faces of both the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a partially ordered set $P$. Using these descriptions, we show that for any…
Two $(p,q)$-Laplace transforms are introduced and their relative properties are stated and proved. Applications are made to solve some $(p,q)$-linear difference equations.
We prove a number of fundamental facts about the canonical order on projections in C*-algebras of real rank zero. Specifically, we show that this order is separative and that arbitrary countable collections have equivalent (in terms of…
We give a geometric characterisation of plus-one generated projective line arrangements that are next-to-free. We present new succinct proofs, via associated line bundles, for some properties of plus-one generated projective line…
Let $\mathrm G$ be a connected semi-simple compact Lie group and for $0<q<1$, let $(\mathbb{C}[\mathrm{G]_q}],\Delta_q)$ be the Jimbo-Drinfeld $q$-deformation of $\mathrm G$. We show that the $C^*$-completions of $\mathrm{C}[\mathrm{G]_q}$…
We prove that the Lipschitz-free space over a countable compact metric space is isometric to a dual space and has the metric approximation property.
In a recent paper [Phys. Rev. Lett. 111, 100501 (2013)], a scheme was proposed where subsequent observers can extract unambiguous information about the initial state of a qubit, with finite joint probability of success. Here, we generalize…
Generalizing the notion of a multiplicative unitary (in the sense of Baaj-Skandalis), which plays a fundamental role in the theory of locally compact quantum groups, we develop in this paper the notion of a multiplicative partial isometry.…
Parametricity allows the transfer of proofs between different implementations of the same data structure. The lambdaPi-calculus modulo theory is an extension of the lambda-calculus with dependent types and user-defined rewrite rules. It is…
This paper is an extension of the work about the exponential increase of the power of two non-parametric tests: the $ Z $-test and the chi-square goodness-of-fit test. Subject to having auxiliary information, it is possible to improve…
We show, based on previous results, that two separable simple stably projectionless amenable ${\cal Z}$-stable $C^*$-algebras which satisfy the UCT are isomorphic if and only if they have the same Elliott invariant.
New examples of Cameron-Liebler line classes in $\mathrm{PG}(3,q)$ are given with parameter $\frac{1}{2}(q^2 -1)$. These examples have been constructed for many odd values of $q$ using a computer search, by forming a union of line orbits…
We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of `peak projections', and in the…
We use order zero maps to express the Jiang-Su algebra Z as a universal C*-algebra on countably many generators and relations, and we show that a natural deformation of these relations yields the stably projectionless algebra W studied by…
Let A be a unital $C^*$-algebra, given together with a specified state $\phi:A \to C$. Consider two selfadjoint elements a,b of A, which are free with respect to $\phi$ (in the sense of the free probability theory of Voiculescu). Let us…