• Quasifree stochastic cocycles and quantum random walks(1704.00682)

March 14, 2019 math-ph, math.MP, math.OA, math.PR, math.FA
The theory of quasifree quantum stochastic calculus for infinite-dimensional noise is developed within the framework of Hudson-Parthasarathy quantum stochastic calculus. The question of uniqueness for the covariance amplitude with respect to which a given unitary quantum stochastic cocycle is quasifree is addressed, and related to the minimality of the corresponding stochastic dilation. The theory is applied to the identification of a wide class of quantum random walks whose limit processes are driven by quasifree noises.
• The PPT square conjecture holds generically for some classes of independent states(1803.00143)

March 1, 2018 math-ph, math.MP, math.PR
Let $|\psi\rangle\langle \psi|$ be a random pure state on $\mathbb{C}^{d^2}\otimes \mathbb{C}^s$, where $\psi$ is a random unit vector uniformly distributed on the sphere in $\mathbb{C}^{d^2}\otimes \mathbb{C}^s$. Let $\rho_1$ be random induced states $\rho_1=Tr_{\mathbb{C}^s}(|\psi\rangle\langle \psi |)$ whose distribution is $\mu_{d^2,s}$; and let $\rho_2$ be random induced states following the same distribution $\mu_{d^2,s}$ independent from $\rho_1$. Let $\rho$ be a random state induced by the entanglement swapping of $\rho_1$ and $\rho_2$. We show that the empirical spectrum of $\rho- {1\mkern -4mu{\rm l}}/d^2$ converges almost surely to the Marcenko-Pastur law with parameter $c^2$ as $d\rightarrow \infty$ and $s/d \rightarrow c$. As an application, we prove that the state $\rho$ is separable generically if $\rho_1, \rho_2$ are PPT entangled.
• Massive MIMO relaying with linear precoding in correlated channels under limited feedback(1802.10255)

Feb. 28, 2018 eess.SP
In this paper we study on a massive MIMO relay system with linear precoding under the conditions of imperfect channel state information at the transmitter (CSIT) and per-user channel transmit correlation. In our system the source-relay channels are massive multiple-input multiple-output (MIMO) ones and the relay-destination channels are massive multiple-input single-output (MISO) ones. Large random matrix theory (RMT) is used to derive a deterministic equivalent of the signal-to-interference-plus-noise ratio (SINR) at each user in massive MIMO amplify-forward and decode-forward (M-MIMO-ADF) relaying with regularized zero-forcing (RZF) precoding, as the number of transmit antennas and users M,K approaches to infinity and M>>K. In this paper we obtain a closed-form expression for the deterministic equivalent of h^H_kW(hat)_lh(hat)_k, and we give two theorems and a corollary to derive the deterministic equivalent of the SINR at each user. Simulation results show that the deterministic equivalent of the SINR at each user in M-MIMO-ADF relaying and the results of Theorem 1, Theorem 2, Proposition 1 and Corollary 1 are accurate.
• An operator that relates to semi-meander polynomials via a two-sided q-Wick formula(1801.05501)

Jan. 16, 2018 math.CO, math.OA, math.PR
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 $\nu_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 $\nu_{d:q}$ on the real line. The measure $\nu_{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.
• Continuity and growth of free multiplicative convolution semigroups(1709.07060)

Sept. 20, 2017 math.FA
Let $\mu$ be a compactly supported probability measure on the positive half-line and let $\mu^{\boxtimes t}$ be the free multiplicative convolution semigroup. We show that the support of $\mu^{\boxtimes t}$ varies continuously as $t$ changes. We also obtain the asymptotic length of the support of these measures.
• Superconvergence to freely infinitely divisible distributions(1510.03393)

Oct. 9, 2015 math.OA, math.PR
The phenomenon of superconvergence is proved for all freely infinitely divisible distributions. Precisely, suppose that the partial sums of a sequence of free identically distributed, infinitesimal random variables converge in distribution to a nondegenerate freely infinitely divisible law. Then the distribution of the sum becomes Lebesgue absolutely continuous with a continuous density in finite time, and this density can be approximated by that of the limit law uniformly, as well as in all $L^{p}$-norms for $p>1$, on the real line except possibly in the neighborhood of one point. Applications include the global superconvergence to freely stable laws and that to free compound Poisson laws over the whole real line.
• Estimates for compression norms and additivity violation in quantum information(1408.3957)

Aug. 25, 2014 quant-ph, math-ph, math.MP, math.OA
The free contraction norm (or the (t)-norm) was introduced by Belinschi, Collins and Nechita as a tool to compute the typical location of the collection of singular values associated to a random subspace of the tensor product of two Hilbert spaces. In turn, it was used in by them in order to obtain sharp bounds for the violation of the additivity of the minimum output entropy for random quantum channels with Bell states. This free contraction norm, however, is difficult to compute explicitly. The purpose of this note is to give a good estimate for this norm. Our technique is based on results of super convergence in the context of free probability theory. As an application, we give a new, simple and conceptual proof of the violation of the additivity of the minimum output entropy.
• Local limit theorems for multiplicative free convolutions(1312.2487)

May 5, 2014 math.PR, math.FA
This paper describes the quality of convergence to an infinitely divisible law relative to free multiplicative convolution. We show that convergence in distribution for products of identically distributed and infinitesimal free random variables implies superconvergence of their probability densities to the density of the limit law. Superconvergence to the marginal law of free multiplicative Brownian motion at a specified time is also studied. In the unitary case, the superconvergence to free Brownian motion and that to the Haar measure are shown to be uniform over the entire unit circle, implying further a free entropic limit theorem and a universality result for unitary free L\'{e}vy processes. Finally, the method of proofs on the positive half-line gives rise to a new multiplicative Boolean to free Bercovici-Pata bijection.
• On the free convolution with a free multiplicative analogue of the normal distribution(1211.3160)

April 24, 2014 math.OA, math.PR, math.FA
We obtain a formula for the density of the free convolution of an arbitrary probability measure on the unit circle of $\mathbb{C}$ with the free multiplicative analogues of the normal distribution on the unit circle. This description relies on a characterization of the image of the unit disc under the subordination function, which also allows us to prove some regularity properties of the measures obtained in this way. As an application, we give a new proof for Biane's classic result on the densities of the free multiplicative analogue of the normal distributions. We obtain analogue results for probability measures on $\mathbb{R}^+$. Finally, we describe the density of the free multiplicative analogue of the normal distributions as an example and prove unimodality and some symmetry properties of these measures.
• Free Brownian motion and free convolution semigroups: multiplicative case(1210.6090)

Nov. 24, 2013 math.PR, math.FA
We consider a pair of probability measures $\mu,\nu$ on the unit circle such that $\Sigma_{\lambda}(\eta_{\nu}(z))=z/\eta_{\mu}(z)$. We prove that the same type of equation holds for any $t\geq 0$ when we replace $\nu$ by $\nu\boxtimes\lambda_t$ and $\mu$ by $\mathbb{M}_t(\mu)$, where $\lambda_t$ is the free multiplicative analogue of the normal distribution on the unit circle of $\mathbb{C}$ and $\mathbb{M}_t$ is the map defined by Arizmendi and Hasebe. These equations are a multiplicative analogue of equations studied by Belinschi and Nica. In order to achieve this result, we study infinite divisibility of the measures associated with subordination functions in multiplicative free Brownian motion and multiplicative free convolution semigroups. We use the modified $\mathcal{S}$-transform introduced by Raj Rao and Speicher to deal with the case that $\nu$ has mean zero. The same type of the result holds for convolutions on the positive real line. We also obtain some regularity properties for the free multiplicative analogue of the normal distributions.
• On series of free $R$-diagonal operators(1308.5293)

Aug. 24, 2013 math.PR, math.FA
For a series of free $R$-diagonal operators, we prove an analogue of the three series theorem. We show that a series of free $R$-diagonal operators converges almost uniformly if and if two numerical series converge.
• On the support of measures in multiplicative free convolution semigroups(1302.4466)

Feb. 18, 2013 math.CV
In this paper, we study the supports of measures in multiplicative free semigroups on the positive real line and on the unit circle. We provide formulas for the density of the absolutely continuous parts of measures in these semigroups. The descriptions rely on the characterizations of the images of the upper half-plane and the unit disc under certain subordination functions. These subordination functions are $\eta$-transforms of infinitely divisible measures with respect to multiplicative free convolution. The characterizations also help us study the regularity properties of these measures. One of the main results is that the number of components in the support of measures in the semigroups is a decreasing function of the semigroup parameter.
• On regularity for measures in multiplicative free convolution semigroups(1112.2783)

Oct. 22, 2012 math.FA
Given a probability measure $\mu$ on the real line, there exists a semigroup $\mu_t$ with real parameter $t>1$ which interpolates the discrete semigroup of measures $\mu_n$ obtained by iterating its free convolution. It was shown in \cite{[BB2004]} that it is impossible that $\mu_t$ has no mass in an interval whose endpoints are atoms. We extend this result to semigroups related to multiplicative free convolution. The proofs use subordination results.