-
Statistics on monotonically ordered non-crossing partitions
Authors:
Natasha Blitvic,
Thomas Bray,
Jacob Campbell,
Alexandru Nica
Abstract:
We study some combinatorial statistics defined on the set NC^{mton}(n) of monotonically ordered non-crossing partitions of {1,...,n}, and on the set NC_2^{mton}(2n)$ of monotonically ordered non-crossing pair-partitions of {1,...,2n}. An important fact used in the calculations is that one has a natural and very convenient structure of rooted tree on the union of the NC^{mton}(n)'s, and likewise fo…
▽ More
We study some combinatorial statistics defined on the set NC^{mton}(n) of monotonically ordered non-crossing partitions of {1,...,n}, and on the set NC_2^{mton}(2n)$ of monotonically ordered non-crossing pair-partitions of {1,...,2n}. An important fact used in the calculations is that one has a natural and very convenient structure of rooted tree on the union of the NC^{mton}(n)'s, and likewise for the union of the NC_2^{mton}(2n)'s. Unlike in the analogous results known for unordered non-crossing partitions, the computations of expectations and variances for natural block-counting statistics on NC^{mton}(n) and for the expectation of the area statistic on NC_2^{mton}(2n) turn out to yield a logarithmic regime.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Free denoising via overlap measures and c-freeness techniques
Authors:
Maxime Fevrier,
Alexandru Nica,
Kamil Szpojankowski
Abstract:
We study the problem of free denoising. For free selfadjoint random variables $a,b$, where we interpret $a$ as a signal and $b$ as noise, we find $E(a|a+b)$. To that end, we study a probability measure $μ^{( \mathrm{ov} )}_{a,a+b}$ on $\mathbb{R}^2$ which we call the overlap measure. We show that $μ^{( \mathrm{ov} )}_{a,a+b}$ is absolutely continuous with respect to the product measure…
▽ More
We study the problem of free denoising. For free selfadjoint random variables $a,b$, where we interpret $a$ as a signal and $b$ as noise, we find $E(a|a+b)$. To that end, we study a probability measure $μ^{( \mathrm{ov} )}_{a,a+b}$ on $\mathbb{R}^2$ which we call the overlap measure. We show that $μ^{( \mathrm{ov} )}_{a,a+b}$ is absolutely continuous with respect to the product measure $μ_a\times μ_{a+b}$. The Radon-Nikodym derivative gives direct access to $E(a|a+b)$. We show that analogous results hold in the case of multiplicative noise when $a,b$ are positive and the aim is to find $E(a|a^{1/2}ba^{1/2})$. In a parallel development we show that, for a general selfadjoint expression $P(a,b)$ made with $a$ and $b$, finding $E(a|P(a,b))$ is equivalent to finding the distribution of $P(a,b)$ in a certain two-state probability space $(\mathcal{A},\varphi,χ)$, where $a,b$ are c-free with respect to $(\varphi,χ)$ in the sense of Bożejko-Leinert-Speicher. We discuss how free denoising (which is set in the framework of an abstract $W^{*}$-probability space) relates to the notion of ''matrix denoising'' previously discussed in the random matrix literature.
△ Less
Submitted 23 May, 2025; v1 submitted 30 December, 2024;
originally announced December 2024.
-
A central limit theorem for star-generators of $S_{\infty}$, which relates to traceless CCR-GUE matrices
Authors:
Jacob Campbell,
Claus Köstler,
Alexandru Nica
Abstract:
We prove a limit theorem concerning the sequence of star-generators of $S_{\infty}$, where the expectation functional is provided by a character of $S_{\infty}$ with weights $(w_1, \ldots , w_d, 0,0, \ldots )$ in the Thoma classification. The limit law turns out to be the law of a "traceless CCR-GUE" matrix, an analogue of the traceless GUE where the off-diagonal entries $g_{i,j}$ satisfy the comm…
▽ More
We prove a limit theorem concerning the sequence of star-generators of $S_{\infty}$, where the expectation functional is provided by a character of $S_{\infty}$ with weights $(w_1, \ldots , w_d, 0,0, \ldots )$ in the Thoma classification. The limit law turns out to be the law of a "traceless CCR-GUE" matrix, an analogue of the traceless GUE where the off-diagonal entries $g_{i,j}$ satisfy the commutation relation $g_{i,j}g_{j,i} = g_{j,i}g_{i,j} + (w_j - w_i)$. The special case $w_1 = \cdots = w_d = 1/d$ yields the law of a bona fide traceless GUE matrix, and we retrieve a result of Köstler and Nica from 2021, which in turn extended a result of Biane from 1995.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants
Authors:
Adrian Celestino,
Kurusch Ebrahimi-Fard,
Alexandru Nica,
Daniel Perales,
Leon Witzman
Abstract:
We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of…
▽ More
We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski.
It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.
△ Less
Submitted 12 December, 2022; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Using Boolean cumulants to study multiplication and anticommutators of free random variables
Authors:
Maxime Fevrier,
Mitja Mastnak,
Alexandru Nica,
Kamil Szpojankowski
Abstract:
We study how Boolean cumulants can be used in order to address operations with freely independent random variables, particularly in connection to the $*$-distribution of the product of two selfadjoint freely independent random variables, and in connection to the distribution of the anticommutator of such random variables.
We study how Boolean cumulants can be used in order to address operations with freely independent random variables, particularly in connection to the $*$-distribution of the product of two selfadjoint freely independent random variables, and in connection to the distribution of the anticommutator of such random variables.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
A construction which relates c-freeness to infinitesimal freeness
Authors:
Maxime Fevrier,
Mitja Mastnak,
Alexandru Nica,
Kamil Szpojankowski
Abstract:
We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Mot…
▽ More
We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Motivated by that, we propose a construction which produces a multi-variate version of the Belinschi-Shlyakhtenko result, together with a result concerning free products of multi-variate noncommutative distributions. Our arguments are based on the combinatorics of the specific types of cumulants used in c-free and in infinitesimal free probability. They work in a rather general setting, where the initial data consists of a vector space $V$ given together with a linear map $Δ: V \to V \otimes V$. In this setting, all the needed brands of cumulants live in the guise of families of multilinear functionals on $V$, and our main result concerns a certain transformation $Δ^{*}$ on such families of multilinear functionals.
△ Less
Submitted 4 June, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
A central limit theorem for star-generators of $S_{\infty}$, which relates to the law of a GUE matrix
Authors:
Claus Koestler,
Alexandru Nica
Abstract:
It is well-known that, on a purely algebraic level, a simplified algebraic version of the Central Limit Theorem (CLT) can be proved in the framework of a noncommutative probability space, under the hypotheses that the sequence of non-commutative random variables we consider is exchangeable and obeys a certain vanishing condition of some of its joint moments. In this approach (which covers versions…
▽ More
It is well-known that, on a purely algebraic level, a simplified algebraic version of the Central Limit Theorem (CLT) can be proved in the framework of a noncommutative probability space, under the hypotheses that the sequence of non-commutative random variables we consider is exchangeable and obeys a certain vanishing condition of some of its joint moments. In this approach (which covers versions for both the classical CLT and the CLT of free probability), the determination of the resulting limit law has to be addressed on a case-by-case basis.
In this paper we discuss an instance of the above theorem which takes place in the framework of the group algebra of the infinite symmetric group $S_{\infty}$: the exchangeable sequence that is considered consists of the star-generators of $S_{\infty}$, and the expectation functional used on the group algebra of $S_{\infty}$ depends in a natural way on a parameter $d$, which is a positive integer. We identify precisely the limit distribution $μ_d$ for this special instance of exchangeable CLT, via a connection that $μ_d$ turns out to have with the average empirical eigenvalue distribution of a random GUE matrix of size $d \times d$. Moreover, we put into evidence a multi-variate version of this result which follows from the observation that, on the level of calculations with pair-partitions, the (non-centred) star-generators are related to a (centred) exchangeable sequence of GUE matrices with independent entries
△ Less
Submitted 26 July, 2020; v1 submitted 15 July, 2018;
originally announced July 2018.
-
An operator that relates to semi-meander polynomials via a two-sided q-Wick formula
Authors:
Alexandru Nica,
Ping Zhong
Abstract:
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More…
▽ More
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More generally, we consider a two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting meandric system"; the second variable of $Q_n (t,u)$ keeps track of the crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the original semi-meander polynomial $Q_n (t)$). We prove that for a fixed natural number $d$ and a fixed real number $q$ with $|q| < 1$, the sequence $( Q_n (d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_{d:q}$ on the real line. The measure $ν_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$ constructed by using left and right creation/annihilation operators on a $q$-deformation of the full Fock space introduced by Bozejko and Speicher. The relevant calculations of moments for $T_{d;q}$ are made by using a two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.
△ Less
Submitted 16 January, 2018;
originally announced January 2018.
-
Asymptotics for a Class of Meandric Systems, via the Hasse Diagram of NC(n)
Authors:
I. P. Goulden,
Alexandru Nica,
Doron Puder
Abstract:
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is con…
▽ More
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background).
Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).
△ Less
Submitted 29 July, 2020; v1 submitted 17 August, 2017;
originally announced August 2017.
-
Eta-diagonal distributions and infinite divisibility for R-diagonals
Authors:
Hari Bercovici,
Alexandru Nica,
Michael Noyes,
Kamil Szpojankowski
Abstract:
The class of R-diagonal *-distributions is fairly well understood in free probability. In this class, we consider the concept of infinite divisibility with respect to the operation $\boxplus$ of free additive convolution. We exploit the relation between free probability and the parallel (and simpler) world of Boolean probability. It is natural to introduce the concept of an eta-diagonal distributi…
▽ More
The class of R-diagonal *-distributions is fairly well understood in free probability. In this class, we consider the concept of infinite divisibility with respect to the operation $\boxplus$ of free additive convolution. We exploit the relation between free probability and the parallel (and simpler) world of Boolean probability. It is natural to introduce the concept of an eta-diagonal distribution that is the Boolean counterpart of an R-diagonal distribution. We establish a number of properties of eta-diagonal distributions, then we examine the canonical bijection relating eta-diagonal distributions to infinitely divisible R-diagonal ones. The overall result is a parametrization of an arbitrary $\boxplus$-infinitely divisible R-diagonal distribution that can arise in a C*-probability space, by a pair of compactly supported Borel probability measures on $[ 0, \infty )$. Among the applications of this parametrization, we prove that the set of $\boxplus$-infinitely divisible R-diagonal distributions is closed under the operation $\boxtimes$ of free multiplicative convolution.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
Free probability aspect of irreducible meander systems, and some related observations about meanders
Authors:
Alexandru Nica
Abstract:
We consider the concept of irreducible meandric system introduced by Lando and Zvonkin. We place this concept in the lattice framework of NC(n). As a consequence, we show that the even generating function for irreducible meandric systems is the R-transform of XY, where X and Y are classically (commuting) independent random variables, and each of X,Y has centred semicircular distribution of varianc…
▽ More
We consider the concept of irreducible meandric system introduced by Lando and Zvonkin. We place this concept in the lattice framework of NC(n). As a consequence, we show that the even generating function for irreducible meandric systems is the R-transform of XY, where X and Y are classically (commuting) independent random variables, and each of X,Y has centred semicircular distribution of variance 1. Following this point of view, we make some observations about the symmetric linear functional on polynomials which has R-transform given by the even generating function for meanders.
△ Less
Submitted 21 October, 2015; v1 submitted 3 June, 2015;
originally announced June 2015.
-
Star-cumulants of free unitary Brownian motion
Authors:
Nizar Demni,
Mathieu Guay-Paquet,
Alexandru Nica
Abstract:
We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infini…
▽ More
We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.
△ Less
Submitted 4 May, 2015; v1 submitted 17 August, 2014;
originally announced August 2014.
-
Double-ended queues and joint moments of left-right canonical operators on full Fock space
Authors:
Mitja Mastnak,
Alexandru Nica
Abstract:
We follow the guiding line offered by canonical operators on the full Fock space, in order to identify what kind of cumulant functionals should be considered for the concept of bi-free independence introduced in the recent work of Voiculescu. By following this guiding line we arrive to consider, for a general noncommutative probability space (A, phi), a family of "(l,r)-cumulant functionals" which…
▽ More
We follow the guiding line offered by canonical operators on the full Fock space, in order to identify what kind of cumulant functionals should be considered for the concept of bi-free independence introduced in the recent work of Voiculescu. By following this guiding line we arrive to consider, for a general noncommutative probability space (A, phi), a family of "(l,r)-cumulant functionals" which enlarges the family of free cumulant functionals of the space. In the motivating case of canonical operators on the full Fock space we find a simple formula for a relevant family of (l,r)-cumulants of a (2d)-tuple (A_1, ..., A_d, B_1, ..., B_d), with A_1, ... , A_d canonical operators on the left and B_1, ... , B_d canonical operators on the right. This extends a known one-sided formula for free cumulants of A_1, ..., A_d, which establishes a basic operator model for the R-transform of free probability.
△ Less
Submitted 15 January, 2016; v1 submitted 1 December, 2013;
originally announced December 2013.
-
Convolution powers in the operator-valued framework
Authors:
Michael Anshelevich,
Serban T. Belinschi,
Maxime Fevrier,
Alexandru Nica
Abstract:
We consider the framework of an operator-valued noncommutative probability space over a unital C*-algebra B. We show how for a B-valued distribution μone can define convolution powers with respect to free additive convolution and with respect to Boolean convolution, where the exponent considered in the power is a suitably chosen linear map ηfrom B to B, instead of being a non-negative real number.…
▽ More
We consider the framework of an operator-valued noncommutative probability space over a unital C*-algebra B. We show how for a B-valued distribution μone can define convolution powers with respect to free additive convolution and with respect to Boolean convolution, where the exponent considered in the power is a suitably chosen linear map ηfrom B to B, instead of being a non-negative real number. More precisely, the Boolean convolution power is defined whenever ηis completely positive, while the free additive convolution power is defined whenever η- 1 is completely positive (where 1 stands for the identity map on B).
In connection to these convolution powers we define an evolution semigroup related to the Boolean Bercovici-Pata bijection. We prove several properties of this semigroup, including its connection to the B-valued free Brownian motion.
We also obtain two results on the operator-valued analytic function theory related to the free additive convolution powers with exponent η. One of the results concerns analytic subordination for B-valued Cauchy-Stieltjes transforms. The other gives a B-valued version of the inviscid Burgers equation, which is satisfied by the Cauchy-Stieltjes transform of a B-valued free Brownian motion.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
Exactness of the Fock space representation of the q-commutation relations
Authors:
Matthew Kennedy,
Alexandru Nica
Abstract:
We show that for all q in the interval (-1,1), the Fock representation of the q-commutation relations can be unitarily embedded into the Fock representation of the extended Cuntz algebra. In particular, this implies that the C*-algebra generated by the Fock representation of the q-commutation relations is exact. An immediate consequence is that the q-Gaussian von Neumann algebra is weakly exact fo…
▽ More
We show that for all q in the interval (-1,1), the Fock representation of the q-commutation relations can be unitarily embedded into the Fock representation of the extended Cuntz algebra. In particular, this implies that the C*-algebra generated by the Fock representation of the q-commutation relations is exact. An immediate consequence is that the q-Gaussian von Neumann algebra is weakly exact for all q in the interval (-1,1).
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Infinitesimal non-crossing cumulants and free probability of type B
Authors:
Maxime Fevrier,
Alexandru Nica
Abstract:
Free probabilistic considerations of type B first appeared in a paper by Biane, Goodman and Nica in 2003. Recently, connections between type B and infinitesimal free probability were put into evidence by Belinschi and Shlyakhtenko (arXiv:0903.2721). The interplay between "type B" and "infinitesimal" is also the object of the present paper. We study infinitesimal freeness for a family of unital s…
▽ More
Free probabilistic considerations of type B first appeared in a paper by Biane, Goodman and Nica in 2003. Recently, connections between type B and infinitesimal free probability were put into evidence by Belinschi and Shlyakhtenko (arXiv:0903.2721). The interplay between "type B" and "infinitesimal" is also the object of the present paper. We study infinitesimal freeness for a family of unital subalgebras A_1, ..., A_k in an infinitesimal noncommutative probability space (A, phi, phi'), and we introduce a concept of infinitesimal non-crossing cumulant functionals for (A, phi, phi'), obtained by taking a formal derivative in the formula for usual non-crossing cumulants. We prove that the infinitesimal freeness of A_1, ... A_k is equivalent to a vanishing condition for mixed cumulants; this gives the infinitesimal counterpart for a theorem of Speicher from "usual" free probability. We show that the lattices of non-crossing partitions of type B appear in the combinatorial study of (A, phi, phi'), in the formulas for infinitesimal cumulants and when describing alternating products of infinitesimally free random variables. As an application of alternating free products, we observe the infinitesimal analogue for the well-known fact that freeness is preserved under compression with a free projection. As another application, we observe the infinitesimal analogue for a well-known procedure used to construct free families of free Poisson elements. Finally, we discuss situations when the freeness of A_1, ..., A_k in (A, phi) can be naturally upgraded to infinitesimal freeness in (A, phi, phi'), for a suitable choice of a "companion functional" phi'.
△ Less
Submitted 10 June, 2009;
originally announced June 2009.
-
Non-crossing linked partitions, the partial order << on NC(n), and the S-transform
Authors:
Alexandru Nica
Abstract:
The paper establishes a connection between two recent combinatorial developments in free probability: the non-crossing linked partitions introduced by Dykema in 2007 to study the S-transform, and the partial order << on NC(n) introduced by Belinschi and Nica in 2008 in order to study relations between free and Boolean probability. More precisely, one has a canonical bijection between NCL(n) (the…
▽ More
The paper establishes a connection between two recent combinatorial developments in free probability: the non-crossing linked partitions introduced by Dykema in 2007 to study the S-transform, and the partial order << on NC(n) introduced by Belinschi and Nica in 2008 in order to study relations between free and Boolean probability. More precisely, one has a canonical bijection between NCL(n) (the set of all non-crossing linked partitions of {1, ..., n}) and the set {(p,q) | p,q in NC(n), p<<q}. As a consequence of this bijection, one gets an alternative description of Dykema's formula expressing the moments of a noncommutative random variable a in terms of the coefficients of the reciprocal S-transform 1/S_a. Moreover, due to the Boolean features of <<, this formula can be simplified to a form which resembles the moment-cumulant formula from c-free probability.
△ Less
Submitted 29 January, 2009; v1 submitted 9 January, 2009;
originally announced January 2009.
-
Multi-variable subordination distributions for free additive convolution
Authors:
Alexandru Nica
Abstract:
Let k be a positive integer and let D_k denote the space of joint distributions for k-tuples of selfadjoint elements in C*-probability space. The paper studies the concept of "subordination distribution of μ\boxplus νwith respect to ν" for μ, ν\in D_k, where \boxplus is the operation of free additive convolution on D_k. The main tools used in this study are combinatorial properties of R-transfor…
▽ More
Let k be a positive integer and let D_k denote the space of joint distributions for k-tuples of selfadjoint elements in C*-probability space. The paper studies the concept of "subordination distribution of μ\boxplus νwith respect to ν" for μ, ν\in D_k, where \boxplus is the operation of free additive convolution on D_k. The main tools used in this study are combinatorial properties of R-transforms for joint distributions and a related operator model, with operators acting on the full Fock space
Multi-variable subordination turns out to have nice relations to a process of evolution towards \boxplus-infinite divisibility on D_k that was recently found by Belinschi and Nica (arXiv:0711.3787). Most notably, one gets better insight into a connection which this process was known to have with free Brownian motion.
△ Less
Submitted 30 October, 2008; v1 submitted 14 October, 2008;
originally announced October 2008.
-
Hopf algebras and the logarithm of the S-transform in free probability
Authors:
Mitja Mastnak,
Alexandru Nica
Abstract:
Let k be a positive integer and let G_k denote the set of non-commutative k-variable distributions μsuch that μ(X_1) = ... = μ(X_k) = 1. G_k is a group under the operation of free multiplicative convolution. We identify G_k as the group of characters of a certain Hopf algebra Y_k. Then, by using the log map from characters to infinitesimal characters of Y_k, we introduce a transform LS_μ for dis…
▽ More
Let k be a positive integer and let G_k denote the set of non-commutative k-variable distributions μsuch that μ(X_1) = ... = μ(X_k) = 1. G_k is a group under the operation of free multiplicative convolution. We identify G_k as the group of characters of a certain Hopf algebra Y_k. Then, by using the log map from characters to infinitesimal characters of Y_k, we introduce a transform LS_μ for distributions μin G_k. The main property of the LS-transform is that it linearizes commuting products in G_k. For μin G_k, the transform LS_μ is a power series in k non-commuting indeterminates; its coefficients can be computed from the coefficients of the R-transform of μby using summations over chains in the lattices NC(n) of non-crossing partitions.
In the particular case k=1 one has that Y_1 is naturally isomorphic to the Hopf algebra Sym of symmetric functions, and that the LS-transform is very closely related to the logarithm of the S-transform of Voiculescu, by the formula LS(z) = - z log S(z). In this case the group G_1 can be identified as the group of characters of Sym, in such a way that the S-transform, its reciprocal 1/S and its logarithm log S relate in a natural sense to the sequences of complete, elementary and respectively power sum symmetric functions.
△ Less
Submitted 29 January, 2009; v1 submitted 25 July, 2008;
originally announced July 2008.
-
Free Brownian motion and evolution towards boxplus-infinite divisibility for k-tuples
Authors:
Serban T. Belinschi,
Alexandru Nica
Abstract:
Let D be the space of non-commutative distributions of k-tuples of selfadjoints in a C*-probability space (for a fixed k). We introduce a semigroup of transformations B_t of D, such that every distribution in D evolves under the B_t towards infinite divisibility with respect to free additive convolution. The very good properties of B_t come from some special connections that we put into evidence…
▽ More
Let D be the space of non-commutative distributions of k-tuples of selfadjoints in a C*-probability space (for a fixed k). We introduce a semigroup of transformations B_t of D, such that every distribution in D evolves under the B_t towards infinite divisibility with respect to free additive convolution. The very good properties of B_t come from some special connections that we put into evidence between free additive convolution and the operation of Boolean convolution.
On the other hand we put into evidence a relation between the transformations B_t and free Brownian motion. More precisely, we introduce a transformation Phi of D which converts the free Brownian motion started at an arbitrary distribution m in D into the process B_t (Phi(m)), t>0.
△ Less
Submitted 23 November, 2007;
originally announced November 2007.
-
Enumerative Properties of NC^B(p,q)
Authors:
I. P. Goulden,
Alexandru Nica,
Ion Oancea
Abstract:
We determine the rank generating function, the zeta polynomial and the Moebius function for the poset NC^B(p,q) of annular non-crossing partitions of type B, where p and q are two positive integers. We give an alternative treatment of some of these results in the case q=1, for which this poset is a lattice. We also consider the general case of multiannular non-crossing partitions of type B, and…
▽ More
We determine the rank generating function, the zeta polynomial and the Moebius function for the poset NC^B(p,q) of annular non-crossing partitions of type B, where p and q are two positive integers. We give an alternative treatment of some of these results in the case q=1, for which this poset is a lattice. We also consider the general case of multiannular non-crossing partitions of type B, and prove that this reduces to the cases of non-crossing partitions of type B in the annulus and in the disc.
△ Less
Submitted 20 November, 2008; v1 submitted 16 August, 2007;
originally announced August 2007.
-
Posets of annular non-crossing partitions of types B and D
Authors:
Alexandru Nica,
Ion Oancea
Abstract:
We study the set $\sncb (p,q)$ of annular non-crossing permutations of type B, and we introduce a corresponding set $\ncb (p,q)$ of annular non-crossing partitions of type B, where $p$ and $q$ are two positive integers. We prove that the natural bijection between $\sncb (p,q)$ and $\ncb (p,q)$ is a poset isomorphism, where the partial order on $\sncb (p,q)$ is induced from the hyperoctahedral gr…
▽ More
We study the set $\sncb (p,q)$ of annular non-crossing permutations of type B, and we introduce a corresponding set $\ncb (p,q)$ of annular non-crossing partitions of type B, where $p$ and $q$ are two positive integers. We prove that the natural bijection between $\sncb (p,q)$ and $\ncb (p,q)$ is a poset isomorphism, where the partial order on $\sncb (p,q)$ is induced from the hyperoctahedral group $B_{p+q}$, while $\ncb (p,q)$ is partially ordered by reverse refinement. In the case when $q=1$, we prove that $\ncb (p,1)$ is a lattice with respect to reverse refinement order.
We point out that an analogous development can be pursued in type D, where one gets a canonical isomorphism between $\sncd (p,q)$ and $\ncd (p,q)$. For $q=1$, the poset $\ncd (p,1)$ coincides with a poset ``$NC^{(D)} (p+1)$'' constructed in a paper by Athanasiadis and Reiner in 2004, and is a lattice by the results of that paper.
△ Less
Submitted 12 February, 2008; v1 submitted 21 May, 2007;
originally announced May 2007.
-
On a remarkable semigroup of homomorphisms with respect to free multiplicative convolution
Authors:
Serban T. Belinschi,
Alexandru Nica
Abstract:
Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect to free additive convolution and then the 1/(1+t) power with respect to Boolean convolution of the given element. We show that the family of maps {\mathbb B_t…
▽ More
Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect to free additive convolution and then the 1/(1+t) power with respect to Boolean convolution of the given element. We show that the family of maps {\mathbb B_t|t\geq 0} is a semigroup with respect to the operation of composition and that, quite surprisingly, every $\mathbb B_t$ is a homomorphism for the operation of free multiplicative convolution.
We prove that for t=1 the transformation $\mathbb B_1$ coincides with the canonical bijection $\mathbb B : M \to M_{inf-div}$ discovered by Bercovici and Pata in their study of the relations between infinite divisibility in free and in Boolean probability. Here M_{inf-div} stands for the set of probability distributions in M which are infinitely divisible with respect to free additive convolution. As a consequence, we have that $\mathbb B_t(μ)$ is infinitely divisible with respect to free additive convolution for any for every $μ$ in M and every t greater than or equal to one.
On the other hand we put into evidence a relation between the transformations $\mathbb B_t$ and the free Brownian motion; indeed, Theorem 4 of the paper gives an interpretation of the transformations $\mathbb B_t$ as a way of re-casting the free Brownian motion, where the resulting process becomes multiplicative with respect to free multiplicative convolution, and always reaches infinite divisibility with respect to free additive convolution by the time t=1.
△ Less
Submitted 18 August, 2008; v1 submitted 10 March, 2007;
originally announced March 2007.
-
Eta-series and a Boolean Bercovici-Pata bijection for bounded k-tuples
Authors:
Serban T. Belinschi,
Alexandru Nica
Abstract:
On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus,…
▽ More
On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{μ\freeplusν}=R_μ+R_ν$. The eta-series $η_μ$ is the counterpart of $R_μ$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coincides with the space of R-transforms of distributions which are infinitely divisible with respect to free additive convolution. As a consequence of this fact, one can define a bijection $B : D_c(k) \to D_c^{inf-div}$ via the formula $R_{B(μ)} = η_μ$, for all distributions $μ$ in $D_c(k)$. We show that $B$ is a multi-variable analogue of a bijection studied by Bercovici and Pata for k=1, and we prove a theorem about convergence in moments which parallels the Bercovici-Pata result. On the other hand we prove the formula $B(μ\freetimesν) = B(μ) \freetimes B(ν),$ with $μ,ν$ considered in a space $D^{alg}(k)$ containing $D_c (k)$ where the operation of free multiplicative convolution $\freetimes$ always makes sense. An equivalent reformulation for this equality is that $η_{μ\freetimesν}=η_μ \freestar η_ν,$ for all $μ,ν\in D^{alg}(k)$. This shows that, in a certain sense, eta-series behave in the same way as R-transforms in connection to the operation of multiplication of free k-tuples of non-commutative random variables.
△ Less
Submitted 25 June, 2007; v1 submitted 25 August, 2006;
originally announced August 2006.
-
Annular non-crossing permutations and partitions, and second-order asymptotics for random matrices
Authors:
James A. Mingo,
Alexandru Nica
Abstract:
We study the set $S_{ann-nc}$ of permutations of $\{1, ..., p+q \}$ which are non-crossing in an annulus with $p$ points marked on its external circle and $q$ points marked on its internal circle. The algebraic approach to $S_{ann-nc}$ goes by identifying three possible crossing patterns in an annulus, and by defining a permutation to be annular non-crossing when it does not display any of these…
▽ More
We study the set $S_{ann-nc}$ of permutations of $\{1, ..., p+q \}$ which are non-crossing in an annulus with $p$ points marked on its external circle and $q$ points marked on its internal circle. The algebraic approach to $S_{ann-nc}$ goes by identifying three possible crossing patterns in an annulus, and by defining a permutation to be annular non-crossing when it does not display any of these patterns. We prove the annular counterpart for a ``geodesic condition'' shown by Biane to characterize non-crossing permutations in a disc. We point out that, as a consequence, annular non-crossing permutations appear in the description of the second order asymptotics for the joint moments of certain families (Wishart and GUE) of random matrices. We examine the relation between $S_{ann-nc}$ and the set $NC_{ann}$ of annular non-crossing partitions of $\{1, ..., p+q \}$, and observe that (unlike in the disc case) the natural map from $S_{ann-nc}$ onto $NC_{ann}$ has a pathology which prevents it from being injective.
△ Less
Submitted 24 December, 2003; v1 submitted 25 March, 2003;
originally announced March 2003.
-
Non-crossing cumulants of type B
Authors:
Philippe Biane,
Frederick Goodman,
Alexandru Nica
Abstract:
We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu.
Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of…
▽ More
We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu.
Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of {\em non-crossing cumulant of type B;} the inspiration for its definition is found by looking at an operation of ``restricted convolution of multiplicative functions'', studied in parallel for functions on symmetric groups (in type A) and on hyperoctahedral groups (in type B).
The non-crossing cumulants of type B live in an appropriate framework of ``non-commutative probability space of type B'', and are closely related to a type B analogue for the R-transform of Voiculescu (which is the free probabilistic counterpart of the Fourier transform). By starting from a condition of ``vanishing of mixed cumulants of type B'', we obtain an analogue of type B for the concept of free independence for random variables in a non-commutative probability space.
△ Less
Submitted 17 June, 2002;
originally announced June 2002.
-
Operator-valued distributions: I. Characterizations of freeness
Authors:
Alexandru Nica,
Dimitri Shlyakhtenko,
Roland Speicher
Abstract:
Let $M$ be a $B$-probability space. Assume that $B$ itself is a $D$-probability space; then $M$ can be viewed as $D$-probability space as well. Let $X$ be in $M$. We look at the question of relating the properties of $X$ as $B$-valued random variable to its properties as $D$-valued random variable. We characterize freeness of $X$ from $B$ with amalgamation over $D$: (a) in terms of a certain fac…
▽ More
Let $M$ be a $B$-probability space. Assume that $B$ itself is a $D$-probability space; then $M$ can be viewed as $D$-probability space as well. Let $X$ be in $M$. We look at the question of relating the properties of $X$ as $B$-valued random variable to its properties as $D$-valued random variable. We characterize freeness of $X$ from $B$ with amalgamation over $D$: (a) in terms of a certain factorization condition linking the $B$-valued and $D$-valued cumulants of $X$, and (b) for $D$ finite-dimensional, in terms of linking the $B$-valued and the $D$-valued Fisher information of $X$. We give an application to random matrices. For the second characterization we derive a new operator-valued description of the conjugate variable and introduce an operator-valued version of the liberation gradient.
△ Less
Submitted 31 December, 2001;
originally announced January 2002.
-
A Characterization of Freeness by a Factorization Property of R-transform
Authors:
Alexandru Nica,
Dimitri Shlyakhtenko,
Roland Speicher
Abstract:
Let M be a B-probability space. Assume that B itself is a D-probability space; then M can be viewed as a D-probability space as well. Let X be in M. We characterize freeness of X from B with amalgamation over D in terms of a certain factorization condition linking the B-valued and D-valued R-transforms of X. We give an application to random matrices.
Let M be a B-probability space. Assume that B itself is a D-probability space; then M can be viewed as a D-probability space as well. Let X be in M. We characterize freeness of X from B with amalgamation over D in terms of a certain factorization condition linking the B-valued and D-valued R-transforms of X. We give an application to random matrices.
△ Less
Submitted 17 January, 2001;
originally announced January 2001.
-
R-cyclic families of matrices in free probability
Authors:
Alexandru Nica,
Dimitri Shlyakhtenko,
Roland Speicher
Abstract:
We introduce the concept of ``R-cyclic family'' of matrices with entries in a non-commutative probability space; the definition consists in asking that only the ``cyclic'' non-crossing cumulants of the entries of the matrices are allowed to be non-zero.
Let A_{1}, ..., A_{s} be an R-cyclic family of d \times d matrices over a non-commutative probability space. We prove a convolution-type formu…
▽ More
We introduce the concept of ``R-cyclic family'' of matrices with entries in a non-commutative probability space; the definition consists in asking that only the ``cyclic'' non-crossing cumulants of the entries of the matrices are allowed to be non-zero.
Let A_{1}, ..., A_{s} be an R-cyclic family of d \times d matrices over a non-commutative probability space. We prove a convolution-type formula for the explicit computation of the joint distribution of A_{1}, ..., A_{s} (considered in M_{d} (\A) with the natural state), in terms of the joint distribution (considered in the original space) of the entries of the s matrices. Several important situations of families of matrices with tractable joint distributions arise by application of this formula.
Moreover, let A_{1}, ..., A_{s} be a family of d \times d matrices over a non-commutative probability space, let \D \subset M_{d} (\A) denote the algebra of scalar diagonal matrices, and let {\cal C} be the subalgebra of M_{d} (\A) generated by \{A_{1}, ..., A_{s} \} \cup \D. We prove that the R-cyclicity of A_{1}, ..., A_{s} is equivalent to a property of {\cal C} -- namely that {\cal C} is free from M_{d} (\C), with amalgamation over \D.
△ Less
Submitted 3 January, 2001;
originally announced January 2001.
-
Random unitaries in non-commutative tori, and an asymptotic model for q-circular systems
Authors:
James A. Mingo,
Alexandru Nica
Abstract:
We consider the concept of a q-circular system, which is a deformation of the circular system from free probability, taking place in the framework of the so-called 'q-commutation relations'. We show that certain averages of random unitaries in non-commutative tori behave asymptotically like a q-circular system.
We consider the concept of a q-circular system, which is a deformation of the circular system from free probability, taking place in the framework of the so-called 'q-commutation relations'. We show that certain averages of random unitaries in non-commutative tori behave asymptotically like a q-circular system.
△ Less
Submitted 18 January, 2000;
originally announced January 2000.
-
Maximality of the microstates free entropy for R-diagonal elements
Authors:
A. Nica,
D. Shlyakhtenko,
R. Speicher
Abstract:
A non-commutative non-selfadjoint random variable z is called R-diagonal, if its *-distribution is invariant under multiplication by free unitaries: if a unitary w is *-free from z, then the *-distribution of z is the same as that of wz. Using Voiculescu's microstates definition of free entropy, we show that the R-diagonal elements are characterized as having the largest free entropy among all v…
▽ More
A non-commutative non-selfadjoint random variable z is called R-diagonal, if its *-distribution is invariant under multiplication by free unitaries: if a unitary w is *-free from z, then the *-distribution of z is the same as that of wz. Using Voiculescu's microstates definition of free entropy, we show that the R-diagonal elements are characterized as having the largest free entropy among all variables y with a fixed distribution of y^*y. More generally, let Z be a d*d matrix whose entries are non-commutative random variables X_{ij}. Then the free entropy of the family {X_{ij}} of the entries of Z is maximal among all Z with a fixed distribution of Z^*Z, if and only if Z is R-diagonal and is *-free from the algebra of scalar d*d matrices. The results of this paper are analogous to the results of our paper "Some minimization problems for the free analogue of the Fisher information", where we considered the same problems in the framework of the non-microstates definition of free entropy.
△ Less
Submitted 16 September, 1998;
originally announced September 1998.
-
Some minimization problems for the free analogue of the Fisher information
Authors:
A. Nica,
D. Shlyakhtenko,
R. Speicher
Abstract:
We consider the free non-commutative analogue Phi^*, introduced by D. Voiculescu, of the concept of Fisher information for random variables. We determine the minimal possible value of Phi^*(a,a^*), if a is a non-commutative random variable subject to the constraint that the distribution of aa^* is prescribed. More generally, we obtain the minimal possible value of Phi^*({a_{ij},a_{ij}^*), if {a_…
▽ More
We consider the free non-commutative analogue Phi^*, introduced by D. Voiculescu, of the concept of Fisher information for random variables. We determine the minimal possible value of Phi^*(a,a^*), if a is a non-commutative random variable subject to the constraint that the distribution of aa^* is prescribed. More generally, we obtain the minimal possible value of Phi^*({a_{ij},a_{ij}^*), if {a_{ij}} is a family of non-commutative random variables such that the distribution of AA^* is prescribed, where A is the matrix (a_{ij}). The d*d-generalization is obtained from the case d=1 via a result of independent interest, concerning the minimal value of Phi^*({a_{ij},a_{ij}^*), when the matrix A=(a_{ij}) and its adjoint have a given joint distribution. We then show how the minimization results obtained for Phi^* lead to maximization results concerning the free entropy chi^*, also defined by Voiculescu.
△ Less
Submitted 16 September, 1998;
originally announced September 1998.
-
Commutators of free random variables
Authors:
Alexandru Nica,
Roland Speicher
Abstract:
Let A be a unital $C^*$-algebra, given together with a specified state $φ:A \to C$. Consider two selfadjoint elements a,b of A, which are free with respect to $φ$ (in the sense of the free probability theory of Voiculescu). Let us denote $c:=i(ab-ba)$, where the i in front of the commutator is introduced to make c selfadjoint. In this paper we show how the spectral distribution of c can be calcu…
▽ More
Let A be a unital $C^*$-algebra, given together with a specified state $φ:A \to C$. Consider two selfadjoint elements a,b of A, which are free with respect to $φ$ (in the sense of the free probability theory of Voiculescu). Let us denote $c:=i(ab-ba)$, where the i in front of the commutator is introduced to make c selfadjoint. In this paper we show how the spectral distribution of c can be calculated from the spectral distributions of a and b. Some properties of the corresponding operation on probability measures are also discussed. The methods we use are combinatorial, based on the description of freeness in terms of non-crossing partitions; an important ingredient is the notion of R-diagonal pair, introduced and studied in our previous paper funct-an/9604012.
△ Less
Submitted 10 December, 1996;
originally announced December 1996.
-
$R$-diagonal pairs - a common approach to Haar unitaries and circular elements
Authors:
Alexandru Nica,
Roland Speicher
Abstract:
In the free probability theory of Voiculescu two of the most frequently used *-distributions are those of a Haar unitary and of a circular element. We define an $R$-diagonal pair as a generalization of these distributions by the requirement that their two-dimensional $R$-transform (or free cumulants) have a special diagonal form. We show that the class of such $R$-diagonal pairs has an absorptio…
▽ More
In the free probability theory of Voiculescu two of the most frequently used *-distributions are those of a Haar unitary and of a circular element. We define an $R$-diagonal pair as a generalization of these distributions by the requirement that their two-dimensional $R$-transform (or free cumulants) have a special diagonal form. We show that the class of such $R$-diagonal pairs has an absorption property under nested multiplication of free pairs. This implies that in the polar decomposition of such an element the polar part and the absolute value are free. Our calculations are based on combinatorial statements about non-crossing partitions, in particular on a canonical bijection between the set of intervals of NC(n) and the set of 2-divisible partitions in NC(2n). In a forthcoming paper the theory of $R$-diagonal pairs will be used to solve the problem of the free commutator.
△ Less
Submitted 30 April, 1996;
originally announced April 1996.
-
On the multiplication of free $n$-tuples of non-commutative random variables
Authors:
Alexandru Nica,
Roland Speicher
Abstract:
Let $a_{1},...,a_{n}, b_{1},...,b_{n}$ be random variables in some (non-commutative) probability space, such that $\{a_{1}, ..., a_{n} \}$ is free from $\{b_{1}, ..., b_{n} \}$. We show how the joint distribution of the $n$-tuple $(a_{1} b_{1}, ..., a_{n} b_{n})$ can be described in terms of the joint distributions of $(a_{1}, ..., a_{n})$ and $(b_{1}, >..., b_{n})$, by using the combinatorics o…
▽ More
Let $a_{1},...,a_{n}, b_{1},...,b_{n}$ be random variables in some (non-commutative) probability space, such that $\{a_{1}, ..., a_{n} \}$ is free from $\{b_{1}, ..., b_{n} \}$. We show how the joint distribution of the $n$-tuple $(a_{1} b_{1}, ..., a_{n} b_{n})$ can be described in terms of the joint distributions of $(a_{1}, ..., a_{n})$ and $(b_{1}, >..., b_{n})$, by using the combinatorics of the $n$-dimensional $R$-transform. We point out a few applications that can be easily derived from our result, concerning the left-and-right translation with a semicircular element (see Sections 1.6-1.10) and the compression with a projection (see Sections 1.11-1.14) of an $n$-tuple of non-commutative random variables. A different approach to two of these applications is presented by Dan Voiculescu in an Appendix to the paper.
△ Less
Submitted 30 April, 1996;
originally announced April 1996.
-
On a groupoid construction for actions of certain inverse semigroups
Authors:
Alexandru Nica
Abstract:
We consider a version of the notion of F-inverse semigroup (studied in the algebraic theory of inverse semigroups). We point out that an action of such an inverse semigroup on a locally compact space has associated a natural groupoid construction, very similar to the one of a transformation group. We discuss examples related to Toeplitz algebras on subsemigroups of discrete groups,to Cuntz-Krieg…
▽ More
We consider a version of the notion of F-inverse semigroup (studied in the algebraic theory of inverse semigroups). We point out that an action of such an inverse semigroup on a locally compact space has associated a natural groupoid construction, very similar to the one of a transformation group. We discuss examples related to Toeplitz algebras on subsemigroups of discrete groups,to Cuntz-Krieger algebras, and to crossed-products by partial automorphisms in the sense of Exel.
△ Less
Submitted 11 May, 1993;
originally announced May 1993.
-
On the Fock representation of the q-commutation relations
Authors:
Ken Dykema,
Alexandru Nica
Abstract:
The q-commutation relations in the title are those that have recently received much attention, and that for -1<q<1 provide an interpolation between Bosonic and Fermionic statistics, passing through free statistics at q=0. We look at the C*-algebra R^q generated by the representation of these relations on the twisted Fock space of Bozejko-Speicher, and we find a canonical unitary U_q from the t…
▽ More
The q-commutation relations in the title are those that have recently received much attention, and that for -1<q<1 provide an interpolation between Bosonic and Fermionic statistics, passing through free statistics at q=0. We look at the C*-algebra R^q generated by the representation of these relations on the twisted Fock space of Bozejko-Speicher, and we find a canonical unitary U_q from the twisted Fock space to usual full Fock space, such that U_q R^q (U_q)^* contains the Cuntz algebra R^0, and such that we have equality for |q|<0.44.
△ Less
Submitted 22 February, 1993;
originally announced February 1993.
