arXiv subjects

Safoura Zadeh

Publications and source records attributed to Safoura Zadeh.

14 recordsLinked to original sources

arXiv2026

A Non-commutative Individual Ergodic Theorem Along Sparse Random Subsequences

Let $(M,τ)$ be a semifinite von Neumann algebra, let $J$ be a trace-preserving Jordan isomorphism, and let $(n_k)_{k\geq 1}$ be a random increasing sequence of integers obtained by selecting each integer $n\geq 1$ independently with probability $n^{-α}$, where $0<α<\frac12$. We show that, almost surely, for every $x\in L^1(M)$, $ \frac1m\sum_{k=1}^m J^{n_k}(x)$ converges bilaterally almost uniformly. This extends LaVictoire's classical random $L^1$ ergodic theorem to the non-commutative setting.

math.OA↗

arXiv2026

Pointwise Convergence for Random Ergodic Averages in Non-commutative $L^p$-spaces

Let $M$ be a semifinite von Neumann algebra and $T$ a positive contraction on both $L^1(M)$ and $L^\infty(M)$. We consider ergodic averages along a random sparse subsequence determined by independent Bernoulli variables $(X_n)_{n\geq 1}$ with $\mathbb{P}(X_n = 1) = n^{-α}$, and set $W_N = \sum_{n=1}^N \mathbb{E}[X_n]$. We prove that, almost surely, the averages $\frac{1}{W_N} \sum_{n=1}^N X_n\, T^n(x)$ converge bilaterally almost uniformly to the ergodic projection for all $1 < p < \infty$. This extends a theorem of Bourgain to the non-commutative setting.

math.OA↗

arXiv2026

Positive isometric Fourier multipliers on non-commutative $L^p$-spaces

For a locally compact group $G$, let $\mathcal{L}G$ denote its left group von Neumann algebra and let $L^p(\mathcal{L}G)$, $1 \le p \le \infty$, be the corresponding non-commutative $L^p$-space. Given $ϕ\in L^\infty(G)$, we study the Fourier multiplier $M_{ϕ,p}$ acting on $L^p(\mathcal{L}G)$. We prove that for any $p \neq 2$, the operator $M_{ϕ,p}$ is a positive surjective isometry if and only if $ϕ$ coincides locally almost everywhere with a continuous character of $G$. This characterization extends results obtained recently (jointly with C.~Arhancet) in the unimodular setting.

math.OA↗

arXiv2025

Absolute dilation of Fourier multipliers

Let ${\mathcal M}$ be a von Neumann algebra equipped with a normal semifinite faithful (nsf) trace. We say that an operator $T :{\mathcal M}\to {\mathcal M}$ is absolutely dilatable if there exist another von Neumann algebra $M$ with an nsf trace, a unital normal trace preserving $\ast$-homomorphism $J: {\mathcal M} \to M$, and a trace preserving $\ast$-automorphism $U: M \to M$ such that $T^k = {\mathbb E}_J U^k J \quad \text{for all } k \geq 0,$ where ${\mathbb E}_J: M \to {\mathcal M}$ is the conditional expectation associated with $J$. For a discrete amenable group $G$ and a function $u:G\to\mathbb{C}$ inducing a unital completely positive Fourier multiplier $M_u: VN(G) \to VN(G)$, we establish the following transference theorem: the operator $M_u$ admits an absolute dilation if and only if its associated Herz-Schur multiplier does. From this result, we deduce a characterization of Fourier multipliers with an absolute dilation in this setting. Building on the transference result, we construct the first known example of a unital completely positive Fourier multiplier that does not admit an absolute dilation. This example arises in the symmetric group ${\mathcal S}_3$, the smallest group where such a phenomenon occurs. Moreover, we show that for every abelian group $G$, every Fourier multiplier always admits an absolute dilation.

math.OA↗

arXiv2025

$S^1$-bounded Fourier multipliers on $H^1({\mathbb R})$ and functional calculus for semigroups

Let $T\colon H^1({\mathbb R})\to H^1({\mathbb R})$ be a bounded Fourier multiplier on the analytic Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ and let $m\in L^\infty({\mathbb R}_+)$ be its symbol, that is, $\widehat{T(h)}=m\widehat{h}$ for all $h\in H^1({\mathbb R})$.Let $S^1$ be the Banach space of all trace class operators on $\ell^2$. We show that $T$ admits a bounded tensor extension $T\overline{\otimes} I_{S_1}\colon H^1({\mathbb R};S^1) \to H^1({\mathbb R};S^1)$ if and only if there exist a Hilbert space $\mathcal H$ and two functions $α, β\in L^\infty({\mathbb R}_+;{\mathcal H})$ such that $m(s+t) = \langleα(t),β(s)\rangle_{\mathcal H}$ for almost every $(s,t)\in{\mathbb R}_+^2$. Such Fourier multipliers arecalled $S^1$-bounded and we let ${\mathcal M}_{S^1}(H^1({\mathbb R}))$ denote the Banach space of all $S^1$-bounded Fourier multipliers. Next we apply this result to functional calculus estimates, in two steps. First we introduce a new Banach algebra ${\mathcal A}_{0,S^1}({\mathbb C}_+)$ of bounded analytic functions on ${\mathbb C}_+ =\bigl\{z\in{\mathbb C}\, :\, {\rm Re}(z)>0\bigr\}$ and show that its dual space coincides with ${\mathcal M}_{S^1}(H^1({\mathbb R}))$. Second, given any bounded $C_0$-semigroup $(T_t)_{t\geq 0}$ on Hilbert space, and any $b\in L^1({\mathbb R}_+)$, we establish an estimate $\bigl\Vert\int_0^\infty b(t) T_t\, dt\bigr\Vert\lesssim \Vert L_b\Vert_{{\mathcal A}_{0,S^1}({\mathbb R})}$, where $L_b$ denotes the Laplace transform of $b$. This improves previous functional calculus estimates recently obtained by the first two authors.

math.FA↗

arXiv2025

Hankel operators on $L^p(\mathbb{R}_+)$ and their $p$-completely bounded multipliers

We show that for any $1 0$. We deduce that $Hank_p(\mathbb{R}_+)$ is the dual space of$A_p(\mathbb{R}_+)$, a half-line analogue of the Figa-Talamenca-Herz algebra $A_p(\mathbb{R})$. Then we show that a function $m\colon \mathbb{R}_+^*\to \mathbb{C}$ is the symbol of a $p$-completely bounded multiplier $Hank_p(\mathbb{R}_+)\to Hank_p(\mathbb{R}_+)$ if and only if there exist $α\in L^\infty(\mathbb{R}_+;L^p(Ω))$ and $β\in L^\infty(\mathbb{R}_+;L^{p'}(Ω))$ such that $m(s+t)=\langleα(s),β(t)\rangle$ for a.e. $(s,t)\in\mathbb{R}_+^{*2}$. We also give analogues of these results in the (easier) discrete case.

math.FA↗

arXiv2025

On the extension of positive maps to Haagerup non-commutative $L^p$-spaces

Let $M$ be a von Neumann algebra, let $φ$ be a normal faithful state on $M$ and let $L^p(M,φ)$ be the associated Haagerup non-commutative $L^p$-spaces, for $1\leq p\leq\infty$. Let $D\in L^1(M,φ)$ be the density of $φ$. Given a positive map $T\colon M\to M$ such that $φ\circ T\leq C_1φ$ for some $C_1\geq 0$, we study the boundedness of the $L^p$-extension $T_{p,θ}\colon D^{\frac{1-θ}{p}} M D^{\fracθ{p}}\to L^p(M,φ)$ which maps $D^{\frac{1-θ}{p}} x D^{\fracθ{p}}$ to $D^{\frac{1-θ}{p}} T(x) D^{\fracθ{p}}$ for all $x\in M$. Haagerup-Junge-Xu showed that $T_{p,\frac12}$ is always bounded and left open the question whether $T_{p,θ}$ is bounded for $θ\not=\frac12$. We show that for any $1\leq p<2$ and any $θ\in [0,2^{-1}(1-\sqrt{p-1})]\cup[2^{-1}(1+\sqrt{p-1}), 1]$, there exists a completely positive $T$ such that $T_{p,θ}$ is unbounded. We also show that if $T$ is $2$-positive, then $T_{p,θ}$ is bounded provided that $p\geq 2$ or $1\leq p<2$ and $θ\in[1-p/2,p/2]$.

math.OA↗

arXiv2023

Separating Fourier and Schur multipliers

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\not=2$. Next, let $Ω$ be a $σ$-finite measure space, let $ϕ\in L^\infty(Ω^2)$and assume that the Schur multiplier associated with $ϕ$ is bounded on the Schatten space $S^p(L^2(Ω))$. We prove that this multiplier is separating if and only if there exist a constant $c\in\mathbb C$ and two unitaries $α,β\in L^\infty(Ω)$ such that $ϕ(s,t) =c\, α(s)β(t)$ a.e. on $Ω^2.$ This provides acharacterization of isometric Schur multiplierson $S^p(L^2(Ω))$, when $p\not=2$.

math.CA↗

arXiv2021

Weak*-continuity of invariant means on spaces of matrix coefficients

With every locally compact group $G$, one can associate several interesting bi-invariant subspaces $X(G)$ of the weakly almost periodic functions $\mathrm{WAP}(G)$ on $G$, each of which captures parts of the representation theory of $G$. Under certain natural assumptions, such a space $X(G)$ carries a unique invariant mean and has a natural predual, and we view the weak$^*$-continuity of this mean as a rigidity property of $G$. Important examples of such spaces $X(G)$, which we study explicitly, are the algebra $M_{\mathrm{cb}}A_p(G)$ of $p$-completely bounded multipliers of the Figà-Talamanca-Herz algebra $A_p(G)$ and the $p$-Fourier-Stieltjes algebra $B_p(G)$. In the setting of connected Lie groups $G$, we relate the weak$^*$-continuity of the mean on these spaces to structural properties of $G$. Our results generalise results of Bekka, Kaniuth, Lau and Schlichting.

math.FA↗

arXiv2021

On factorization of separating maps on noncommutative $L^p$-spaces

For any semifinite von Neumann algebra ${\mathcal M}$ and any $1\leq p<\infty$, we introduce a natutal $S^1$-valued noncommutative $L^p$-space $L^p({\mathcal M};S^1)$. We say that a bounded map $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is $S^1$-bounded (resp. $S^1$-contractive) if $T\otimes I_{S^1}$ extends to a bounded (resp. contractive) map $T\overline{\otimes} I_{S^1}$ from $ L^p({\mathcal M};S^1)$ into $L^p({\mathcal N};S^1)$. We show that any completely positive map is $S^1$-bounded, with $\Vert T\overline{\otimes} I_{S^1}\Vert =\Vert T\Vert$. We use the above as a tool to investigate the separating maps $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ which admit a direct Yeadon type factorization, that is, maps for which there exist a $w^*$-continuous $*$-homomorphism $J\colon{\mathcal M}\to{\mathcal N}$, a partial isometry $w\in{\mathcal N}$ and a positive operator $B$ affiliated with ${\mathcal N}$ such that $w^*w=J(1)=s(B)$, $B$ commutes with the range of $J$, and $T(x)=wBJ(x)$ for any $x\in {\mathcal M}\cap L^p({\mathcal M})$. Given a separating isometry $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$, we show that $T$ is $S^1$-contractive if and only if it admits a direct Yeadon type factorization. We further show that if $p\not=2$, the above holds true if and only if $T$ is completely contractive.

math.OA↗

arXiv2021

Surjective separating maps on noncommutative $L^p$-spaces

Let $1\leq p<\infty$ and let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded map between noncommutative $L^p$-spaces. If $T$ is bijective and separating (i.e., for any $x,y\in L^p({\mathcal M})$ such that $x^*y=xy^*=0$, we have $T(x)^*T(y)=T(x)T(y)^*=0$), we prove the existence of decompositions ${\mathcal M}={\mathcal M}_1\mathop{\oplus}\limits^\infty{\mathcal M}_2$, ${\mathcal N}={\mathcal N}_1 \mathop{\oplus}\limits^\infty{\mathcal N}_2$ and maps $T_1\colon L^p({\mathcal M}_1)\to L^p({\mathcal N}_1)$, $T_2\colon L^p({\mathcal M}_2)\to L^p({\mathcal N}_2)$, such that $T=T_1+T_2$, $T_1$ has a direct Yeadon type factorisation and $T_2$ has an anti-direct Yeadon type factorisation. We further show that $T^{-1}$ is separating in this case. Next we prove that for any $1\leq p<\infty$ (resp. any $1\leq p\not=2<\infty$), a surjective separating map $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is $S^1$-bounded (resp. completely bounded) if and only if there exists a decomposition ${\mathcal M}={\mathcal M}_1 \mathop{\oplus}\limits^\infty{\mathcal M}_2$ such that $T|_{L^p({\tiny {\mathcal M}_1})}$ has a direct Yeadon type factorisation and ${\mathcal M}_2$ is subhomogeneous.

math.OA↗

arXiv2020

$\ell^1$-contractive maps on noncommutative $L^p$-spaces

Let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded operator between two noncommutative $L^p$-spaces, $1\leq p<\infty$. We say that $T$ is $\ell^1$-bounded (resp. $\ell^1$-contractive) if $T\otimes I_{\ell^1}$ extends to a bounded (resp. contractive) map from $L^p({\mathcal M};\ell^1)$ into $L^p({\mathcal N};\ell^1)$. We show that Yeadon's factorization theorem for $L^p$-isometries, $1\leq p\not=2 <\infty$, applies to an isometry $T\colon L^2({\mathcal M})\to L^2({\mathcal N})$ if and only if $T$ is $\ell^1$-contractive. We also show that a contractive operator $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is automatically $\ell^1$-contractive if it satisfies one of the following two conditions: either $T$ is $2$-positive; or $T$ is separating, that is, for any disjoint $a,b\in L^p({\mathcal M})$ (i.e. $a^*b=ab^*=0)$, the images $T(a),T(b)$ are disjoint as well.

math.OA↗

arXiv2018

On isomorphisms between weighted $L^p$-algebras

Let $G$ be a locally compact group and $ω$ be a continuous weight on $G$. In this paper, we first characterize bicontinuous biseparating algebra isomorphisms between weighted $L^p$-algebras. As a result we extend previous results of Edwards, Strichartz and Parrot on algebra isomorphisms between $L^p$-algebras to the setting of weighted $L^p$-algebras. We then study the automorphisms of certain weighted $L^p$-algebras on integers, applying known results on composition operators on classical function spaces.

math.FA↗

arXiv2014

Isometric isomorphism of the annihilator of $C_0(G)$ in $LUC(G)^*$

Let $LUC(G)$ denote the $C^*$-algebra of left uniformly continuous functions with the uniform norm and let $C_0(G)^{\perp}$ denote the annihilator of $C_0(G)$ in $LUC(G)^*$. In this article, among other results, we show that if $G$ is a locally compact group and $H$ is a discrete group then whenever there exists a weak-star continuous isometric isomorphism between $C_0(G)^{\perp}$ and $C_0(H)^{\perp}$, $G$ is isomorphic to $H$ as a topological group. In particular, when $H$ is discrete $C_0(H)^{\perp}$ determines $H$ within the class of locally compact topological groups.

math.FA↗