Showing 1–4 of 4 results for author: Torres-Ayala, F

Conditionally Free Reduced Products of Hilbert Spaces

Authors: Octavio Arizmendi, Miguel Ballesteros, Francisco Torres-Ayala

Abstract: We present a product of pairs of pointed Hilbert spaces that, in the context of Bozėjko, Leinert and Speicher's theory of conditionally free probability, plays the role of the reduced free product of pointed Hilbert spaces, and thus gives a unified construction for the natural notions of independence defined by Muraki. We additionally provide important applications of this construction. We prove… ▽ More We present a product of pairs of pointed Hilbert spaces that, in the context of Bozėjko, Leinert and Speicher's theory of conditionally free probability, plays the role of the reduced free product of pointed Hilbert spaces, and thus gives a unified construction for the natural notions of independence defined by Muraki. We additionally provide important applications of this construction. We prove that, assuming minor restrictions, for any pair of conditionally free algebras there are copies of them that are conditionally free and also free, a property that is frequently assumed (as hypothesis) to prove several results in the literature. Finally, we give a short proof of the linearization property of the $^cR$-transform (the analog of Voiculescu's $R$-transform in the context of conditionally free probability). △ Less

Submitted 7 February, 2019; originally announced February 2019.

Conditions for Primitivity of unital amalgamated full free products of finite dimensional C*-algebras

Authors: Francisco Torres-Ayala

Abstract: We consider amalgamated unital full free products of the form $A_1*_DA_2$, where $A_1, A_2$ and $D$ are finite dimensional C*-algebras and there are faithful traces on $A_1$ and $A_2$ whose restrictions to $D$ agree. We provide several conditions on the matrices of partial multiplicities of the inclusions $D\hookrightarrow A_1$ and $D\hookrightarrow A_2$ that guarantee that the C*-algebra… ▽ More We consider amalgamated unital full free products of the form $A_1*_DA_2$, where $A_1, A_2$ and $D$ are finite dimensional C*-algebras and there are faithful traces on $A_1$ and $A_2$ whose restrictions to $D$ agree. We provide several conditions on the matrices of partial multiplicities of the inclusions $D\hookrightarrow A_1$ and $D\hookrightarrow A_2$ that guarantee that the C*-algebra $A_1*_DA_2$ is primitive. If the ranks of the matrices of partial multiplicities are one, we prove that the algebra $A_1*_DA_2$ is primitive if and only if it has a trivial center. △ Less

Submitted 8 January, 2014; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: 40 pages. No essential changes in second submission. Some misspelled words were corrected and format was changed

MSC Class: 46L09; 46L05

Primitivity of unital full free products of residually finite dimensional C*-algebras

Authors: Ken Dykema, Francisco Torres-Ayala

Abstract: A C*-algebra is called primitive if it admits a faithful and irreducible *-representation. We show that if A_1 and A_2 are separable, unital, residually finite dimensional C*-algebras that are not both two dimensional, then their unital C*-algebra full free product, A = A_1*A_2, is primitive. It follows that A is antiliminal and the set of pure states is w*-dense in the state space. A C*-algebra is called primitive if it admits a faithful and irreducible *-representation. We show that if A_1 and A_2 are separable, unital, residually finite dimensional C*-algebras that are not both two dimensional, then their unital C*-algebra full free product, A = A_1*A_2, is primitive. It follows that A is antiliminal and the set of pure states is w*-dense in the state space. △ Less

Submitted 21 June, 2012; v1 submitted 23 January, 2012; originally announced January 2012.

Comments: 39 pages. Version 2 offers an improved main result, about the free product of residually finite dimensional C*-algebras (instead of just finite dimensional)

MSC Class: 46L09 (Primary) 46L05 (Secondary)

Sum--of--squares results for polynomials related to the Bessis--Moussa--Villani conjecture

Authors: Benoit Collins, Kenneth J. Dykema, Francisco Torres-Ayala

Abstract: We show that the polynomial S_{m,k}(A,B), that is the sum of all words in noncommuting variables A and B having length m and exactly k letters equal to B, is not equal to a sum of commutators and Hermitian squares in the algebra R<X,Y> where X^2=A and Y^2=B, for all even values of m and k with 6 <= k <= m-10, and also for (m,k)=(12,6). This leaves only the case (m,k)=(16,8) open. This topic is o… ▽ More We show that the polynomial S_{m,k}(A,B), that is the sum of all words in noncommuting variables A and B having length m and exactly k letters equal to B, is not equal to a sum of commutators and Hermitian squares in the algebra R<X,Y> where X^2=A and Y^2=B, for all even values of m and k with 6 <= k <= m-10, and also for (m,k)=(12,6). This leaves only the case (m,k)=(16,8) open. This topic is of interest in connection with the Lieb--Seiringer formulation of the Bessis--Moussa--Villani conjecture, which asks whether the trace of S_{m,k}(A,B)) is nonnegative for all positive semidefinite matrices A and B. These results eliminate the possibility of using "descent + sum-of-squares" to prove the BMV conjecture. We also show that S_{m,4}(A,B) is equal to a sum of commutators and Hermitian squares in R<A,B> when m is even and not a multiple of 4, which implies that the trace of S_{m,4}(A,B) is nonnegative for all Hermitian matrices A and B, for these values of m. △ Less

Submitted 27 March, 2010; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: 21 pages. In the second version, pictures have been added and we point out that one of our results was previously obtained by Burgdorf. In the third version, some we add a paragraph explaining our interest in Question 1.1 and make small modifications to some proofs.

MSC Class: 15A24

Journal ref: J. Stat. Phys. 139 (2010), no. 5, 779-799