在本文中，我们计算了作用在矩阵代数 $\mathrm{M}_n$ 上的非常大类量子信道的最小输出熵和完全有界最小熵的精确值。我们新的且简单的方法依赖于局部紧量子群理论，并且我们的结果使用了对从 $\mathrm{L}^1(\mathbb{G})$ 到 $\mathrm{L}^p(\mathbb{G})$（其中 $1 < p \leq \infty$）的有界傅里叶乘子的新的精确描述，其中 $\mathbb{G}$ 是一个余顺从局部紧量子群，并依赖于该描述所蕴含的这些乘子的自动完全有界性。事实上，我们的方法甚至允许使用量子超群上的卷积算子。这使我们能够同样将熵和容量的计算这一主题与子因子平面代数联系起来。我们还给出了所考虑的每个量子信道的经典容量的一个上界，该上界在交换情形下已经是精确的。相当令人惊讶的是，我们通过直接计算观察到一些傅里叶乘子等同于经典量子信道例子（如退相位信道或去极化信道）的直和。事实上，我们证明了单位量子比特信道的研究可以被视为四元数群 $\mathbb{Q}_8$ 的冯·诺依曼代数上傅里叶乘子理论的一部分。出乎意料的是，我们还将（量子）群的遍历作用与这一计算主题联系起来，从而允许向其他信道进行某种转移。我们还将 Werner 的量子调和分析与该主题联系起来。最后，我们研究了纠缠破坏和 $\mathrm{PPT}$ 傅里叶乘子，并刻画了纠缠破坏的条件期望。
英文摘要：
In this paper, we compute the exact values of the minimum output entropy and the completely bounded minimal entropy of very large classes of quantum channels acting on matrix algebras $\mathrm{M}_n$. Our new and simple approach relies on the theory of locally compact quantum groups and our results use a new and precise description of bounded Fourier multipliers from $\mathrm{L}^1(\mathbb{G})$ into $\mathrm{L}^p(\mathbb{G})$ for $1 < p \leq \infty$ where $\mathbb{G}$ is a co-amenable locally compact quantum group and on the automatic completely boundedness of these multipliers that this description entails. Indeed, our approach even allows to use convolution operators on quantum hypergroups. This enable us to connect equally the topic of computation of entropies and capacities to subfactor planar algebras. We also give a upper bound of the classical capacity of each considered quantum channel which is already sharp in the commutative case. Quite surprisingly, we observe by direct computations that some Fourier multipliers identifies to direct sums of classical examples of quantum channels (as dephasing channel or depolarizing channels). Indeed, we show that the study of unital qubit channels can be seen as a part of the theory of Fourier multipliers on the von Neumann algebra of the quaternion group $\mathbb{Q}_8$. Unexpectedly, we also connect ergodic actions of (quantum) groups to this topic of computation, allowing some transference to other channels. We also connect the Quantum Harmonic analysis of Werner. Finally, we investigate entangling breaking and $\mathrm{PPT}$ Fourier multipliers and we characterize conditional expectations which are entangling breaking.
We study Fourier multipliers on free group $\mathbb{F}_\infty$ associated with the first segment of the reduced words, and prove that they are completely bounded on the noncommutative $L^p$ spaces $L^p(\hat{\mathbb{F}}_\infty)$ iff their restriction on $L^p(\hat{\mathbb{F}}_1)=L^p(\mathbb{T})$ are completely bounded. As a consequence, every classical Mikhlin multiplier extends to a $L^p$ Fourier multiplier on free groups for all $1<p<\infty$.
Let $G$ be an infinite locally compact abelian group. If $X$ is Banach space, we show that if every bounded Fourier multiplier $T$ on $L^2(G)$ has the property that $T\ot Id_X$ is bounded on $L^2(G,X)$ then the Banach space $X$ is isomorphic to a Hilbert space. Moreover, if $1<p<\infty$, $p\not=2$, we prove that there exists a bounded Fourier multiplier on $L^p(G)$ which is not completely bounded. Finally, we examine unconditionality from the point of view of Schur multipliers. More precisely, we give several necessary and sufficient conditions to determine if an operator space is completely i…
We investigate Fourier multipliers on the compact dual of arbitrary discrete groups. Our main result is a Hörmander-Mihlin multiplier theorem for finite-dimensional cocycles with optimal smoothness condition. We also find Littlewood-Paley type inequalities in group von Neumann algebras, prove $L_p$ estimates for noncommutative Riesz transforms and characterize $L_\infty \to \mathrm{BMO}$ boundedness for radial Fourier multipliers. The key novelties of our approach are to exploit group cocycles and cross products in Fourier multiplier theory in conjunction with BMO spaces associated to semigrou…
In this paper we establish the $L^p$-$L^q$ boundedness of Fourier multipliers on locally compact separable unimodular groups for the range of indices $1<p\leq 2 \leq q<\infty$. Our approach is based on the operator algebras techniques. The result depends on a version of the Hausdorff-Young-Paley inequality that we establish on general locally compact separable unimodular groups. In particular, the obtained result implies the corresponding Hörmander's Fourier multiplier theorem on $\mathbb{R}^{n}$ and the corresponding known results for Fourier multipliers on compact Lie groups.
We describe a Markov dilation for any weak* continuous semigroup $(T_t)_{t \geq 0}$ of selfadjoint unital completely positive Fourier multipliers acting on the group von Neumann algebra $\mathrm{VN}(G)$ of a locally compact group $G$.
Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the completely bounded norm of the Lp-Fourier multiplier. When G is amenable we show that equality holds, extending a result by Neuwirth and Ricard to non-discrete groups. For a discrete group G and in the speci…
We investigate Fourier multipliers with smooth symbols defined over locally compact Hausdorff groups. Our main results in this paper establish new Hörmander-Mikhlin criteria for spectral and non-spectral multipliers. The key novelties which shape our approach are three. First, we control a broad class of Fourier multipliers by certain maximal operators in noncommutative $L_p$ spaces. This general principle ---exploited in Euclidean harmonic analysis during the last 40 years--- is of independent interest and might admit further applications. Second, we replace the formerly used cocycle dimensio…
We define a sequence of functions, namely tame cuts, in the Fourier algebra $A(G)$ of a locally compact group $G$, that satisfies certain convergence and growth conditions. This new consideration allows us to give a group admitting a Fourier multiplier that is not completely bounded. Furthermore, we show that the induction map $MA(Γ)\rightarrow MA(G)$ is not always continuous. We also show how Liao's Property $(T_{Schur}, G, K)$ opposes tame cuts. Some examples are provided.
Our main result provides a closed expression for the completely bounded Fourier multiplier norm of the spherical functions on the generalized Lorentz groups. As a corollary, we find that there is no uniform bound on the completely bounded Fourier multiplier norm of the spherical functions on the generalized Lorentz groups. We extend the latter result to the remaining connected, real rank one, simple Lie groups with finite center, and as an application we obtain that each of the above mentioned groups has a completely bounded Fourier multiplier, which is not the coefficient of a uniformly bound…
We introduce a noncommutative analogue of the absolute value of a regular operator acting on a noncommutative $\mathrm{L}^p$-space. We equally prove that two classical operator norms, the regular norm and the decomposable norm are identical. We also describe precisely the regular norm of several classes of regular multipliers. This includes Schur multipliers and Fourier multipliers on some unimodular locally compact groups which can be approximated by discrete groups in various senses. A main ingredient is to show the existence of a bounded projection from the space of completely bounded $\mat…
Let $G$ be a locally compact group, and let $A_\cb(G)$ denote the closure of $A(G)$, the Fourier algebra of $G$, in the space of completely bounded multipliers of $A(G)$. If $G$ is a weakly amenable, discrete group such that $\cstar(G)$ is residually finite-dimensional, we show that $A_\cb(G)$ is operator amenable. In particular, $A_\cb(F_2)$ is operator amenable even though $F_2$, the free group in two generators, is not an amenable group. Moreover, we show that, if $G$ is a discrete group such that $A_\cb(G)$ is operator amenable, a closed ideal of $A(G)$ is weakly completely complemented in…
Let G be a locally compact group L^p(G) be the usual L^p-space for 1 =< p =< infty and A(G) be the Fourier algebra of G. Our goal is to study, in a new abstract context, the completely bounded multipliers of A(G), which we denote M_{cb}A(G). We show that M_{cb}A(G) can be characterised as the ``invariant part'' of the space of (completely) bounded normal L^{infty}(G)-bimodule maps on B(L^2(G)), the space of bounded operator on L^2(G). In doing this we develop a function theoretic description of the normal L^{infty}(X,mu)-bimodule maps on B(L^2(X,mu)), which we denote by V^{infty}(X,μ), and nam…
We prove that any weak* continuous semigroup $(T_t)_{t \geq 0}$ of Markov Fourier multipliers acting on a group von Neumann algebra $\mathrm{VN}(G)$ associated to a locally compact group $G$ can be dilated by a weak* continuous group of Markov $*$-automorphisms on a bigger von Neumann algebra. Our construction relies on probabilistic tools and is even new for the group $\mathbb{R}^n$. Our results imply the boundedness of the McIntosh's $\mathrm{H}^\infty$ functional calculus of the generators of these semigroups on the associated noncommutative $\mathrm{L}^p$-spaces.
We show that the multiplier algebra of the Fourier algebra on a locally compact group $G$ can be isometrically represented on a direct sum on non-commutative $L^p$ spaces associated to the right von Neumann algebra of $G$. If these spaces are given their canonical Operator space structure, then we get a completely isometric representation of the completely bounded multiplier algebra. We make a careful study of the non-commutative $L^p$ spaces we construct, and show that they are completely isometric to those considered recently by Forrest, Lee and Samei; we improve a result about module homomo…
This is a survey on a notion of invariant operators, or Fourier multipliers on Hilbert spaces. This concept is defined with respect to a fixed partition of the space into a direct sum of finite dimensional subspaces. In particular this notion can be applied to the important case of $L^2(M)$ where $M$ is a compact manifold $M$ endowed with a positive measure. The partition in this case comes from the spectral properties of a a fixed elliptic operator $E$.
Let $\mathbb{G}$ be a locally compact quantum group with dual $\widehat{\mathbb{G}}$. Suppose that the left Haar weight $φ$ and the dual left Haar weight $\widehatφ$ are tracial, e.g. $\mathbb{G}$ is a unimodular Kac algebra. We prove that for $1<p\le 2 \le q<\infty$, the Fourier multiplier $m_{x}$ is bounded from $L_p(\widehat{\mathbb{G}},\widehatφ)$ to $L_q(\widehat{\mathbb{G}},\widehatφ)$ whenever the symbol $x$ lies in $L_{r,\infty}(\mathbb{G},φ)$, where $1/r=1/p-1/q$. Moreover, we have \begin{equation*} \|m_{x}:L_p(\widehat{\mathbb{G}},\widehatφ)\to L_q(\widehat{\mathbb{G}},\widehatφ)\|\l…
Let $G$ be a locally compact unimodular group, and let $ϕ$ be some function of $n$ variables on $G$. To such a $ϕ$, one can associate a multilinear Fourier multiplier, which acts on some $n$-fold product of the non-commutative $L_p$-spaces of the group von Neumann algebra. One may also define an associated Schur multiplier, which acts on an $n$-fold product of Schatten classes $S_p(L_2(G))$. We generalize well-known transference results from the linear case to the multilinear case. In particular, we show that the so-called `multiplicatively bounded $(p_1,\ldots,p_n)$-norm' of a multilinear Sch…
We obtain dimension free estimates for noncommutative Riesz transforms associated to conditionally negative length functions on group von Neumann algebras. This includes Poisson semigroups, beyond Bakry's results in the commutative setting. Our proof is inspired by Pisier's method and a new Khintchine inequality for crossed products. New estimates include Riesz transforms associated to fractional laplacians in $\mathbb{R}^n$ (where Meyer's conjecture fails) or to the word length of free groups. Lust-Piquard's work for discrete laplacians on LCA groups is also generalized in several ways. In th…
Let $G$ be a locally compact unimodular group, let $1\leq p<\infty$,let $ϕ\in L^\infty(G)$ and assume that the Fourier multiplier $M_ϕ$associated with $ϕ$ is bounded on the noncommutative $L^p$-space $L^p(VN(G))$.Then $M_ϕ\colon L^p(VN(G))\to L^p(VN(G))$ is separating (that is,$\{a^*b=ab^*=0\}\Rightarrow\{M_ϕ(a)^* M_ϕ(b)=M_ϕ(a)M_ϕ(b)^*=0\}$for any $a,b\in L^p(VN(G))$) if and only if thereexists $c\in\mathbb C$ and a continuouscharacter $ψ\colon G\to\mathbb C$ such that $ϕ=cψ$ locally almost everywhere. This provides a characterization of isometricFourier multipliers on $L^p(VN(G))$, when $p\no…
Let $G$ be a locally compact abelian Hausdorff topological group which is non-compact and whose Pontryagin dual $Γ$ is partially ordered. Let $Γ^{+}\subsetΓ$ be the semigroup of positive elements in $Γ$. The Hardy space $H^{2}(G)$ is the closed subspace of $L^{2}(G)$ consisting of functions whose Fourier transforms are supported on $Γ^{+}$. In this paper we consider the C*-algebra $C^{*}(\mathcal{T}(G)\cup F(C(\dot{Γ^{+}})))$ generated by Toeplitz operators with continuous symbols on $G$ which vanish at infinity and Fourier multipliers with symbols which are continuous on one point compactific…
We establish precise regularity conditions for $L_p$-boundedness of Fourier multipliers in the group algebra of $SL_n(\mathbf{R})$. Our main result is inspired by Hörmander-Mikhlin criterion from classical harmonic analysis, although it is substantially and necessarily different. Locally, we get sharp growth rates of Lie derivatives around the singularity and nearly optimal regularity order. The asymptotics also match Mikhlin formula for a exponentially growing weight with respect to the word length. Additional decay comes imposed by this growth and Mikhlin condition for high order terms. Laff…
Positive isometric Fourier multipliers on non-commutative $L^p$-spaces
Université Clermont Auvergne（克莱蒙奥弗涅大学）；CNRS（法国国家科学研究中心）；Laboratoire de Mathématiques de Besançon, UMR 6623, CNRS, Université Marie et Louis Pasteur（贝桑松数学实验室，UMR 6623，法国国家科学研究中心，玛丽和路易·巴斯德大学）；School of Mathematics, University of Bristol（布里斯托尔大学数学学院）
