Martingales associated with strongly quasi-invariant states

2025-02-05T04:41:47Z

We discuss the martingales in relevance with $G$-strongly quasi-invariant states on a $C^*$-algebra $\mathcal A$, where $G$ is a separable locally compact group of $*$-automorphisms of $\mathcal A$. In the von Neumann algebra $\mathfrak A$ of the GNS representation, we define a unitary representation of the group and define a group $\hat G$ of $*$-automorphisms of $\mathfrak A$, which is homomorphic to $G$. For the case of compact $G$, under some mild condition, we find a $\hat G$-invariant state on $\mathfrak A$ and define a conditional expectation with range the $\hat G$-fixed subalgebra. Moving to the separable locally compact group $G=\cup_NG_N$, which is the union of increasing compact groups, we construct a sequence of conditional expectations and thereby construct (decreasing) martingales, which have limits by the martingale convergence theorem. We provide with an example for the group of finite permutations on the set of nonnegative integers acting on a $C^*$-algebra of infinite tensor product.

Group of automorphisms for strongly quasi invariant states

2025-02-05T04:37:16Z

For a $*$-automorphism group $G$ on a $C^*$- or von Neumann algebra, we study the $G$-quasi invariant states and their properties. The $G$-quasi invariance or $G$-strongly quasi invariance are weaker than the $G$-invariance and have wide applications. We develop several properties for $G$-strongly quasi invariant states. Many of them are the extensions of the already developed theories for $G$-invariant states. Among others, we consider the relationship between the group $G$ and modular automorphism group, invariant subalgebras, ergodicity, modular theory, and abelian subalgebras. We provide with some examples to support the results.

On inner-amenability and boundary actions

2025-02-04T16:12:12Z

Let $\Gamma$ be a discrete countable group. The first main result of this work is that if $\Gamma$ is ICC inner-amenable non-amenable then it cannot satisfy the (AO)-property, answering a question posed by C. Anantharaman-Delaroche. It is also proved that if $\Gamma$ is a "sufficiently large" discrete subgroup of a product of locally compact second countable bi-exact groups, then it cannot be inner-amenable. Both these results generalize the well-known fact that ICC non-amenable inner-amenable discrete countable groups cannot be bi-exact.

A new approach to deformation of C*-algebras via coactions

2025-02-04T13:23:08Z

We revisit the procedure of deformation of $C^*$-algebras via coactions of locally compact groups and extend the methods to cover deformations for maximal, reduced, and exotic coactions for a given group $G$ and circle-valued Borel $2$-cocycles on $G$. In the special case of reduced (or normal) coactions our deformation method substantially differs from -- but turns out to be equivalent to -- the ones used by previous authors, specially those given by Bhowmick, Neshveyev, and Sangha in [7]. Our approach yields all expected results, like a good behaviour of deformations under nuclearity, continuity of fields of $C^*$-algebras and $K$-theory invariance under mild conditions.

Deformation of Fell bundles

2025-02-04T13:17:40Z

In this paper we study deformations of $C^*$-algebras that are given as cross-sectional $C^*$-algebras of Fell bundles over locally compact groups $G$. Our deformation comes from a direct deformation of the Fell bundles via certain parameters, like automorphisms of the Fell bundle, group cocycles, or central group extensions of $G$ by the circle group $\mathbb{T}$, and then taking cross-sectional algebras of the deformed Fell bundles. We then show that this direct deformation method is equivalent to the deformation via the dual coactions by similar parameters as studied previously in [4,7].

A collection of cancellative, singly aligned, non-embeddable monoids

2025-02-04T12:24:07Z

By classical results of Malcev, cancellative monoids need not be group-embeddable. In this paper, we describe and give presentations for and study an infinite family $\mathcal{M}_n$ of cancellative monoids which are not group-embeddable, originating from Malcev's original work. We show that $\mathcal{M}_n$ is singly aligned for $n \geq 2$, owing to applications in the study of $\mathrm{C}^*$-algebras by Brix, Bruce and Dor-On. We finish by showing that $\mathcal{M}_1$ is not singly aligned, but is $2$-aligned.

Absolute dilations of ucp self-adjoint Fourier multipliers: the non unimodular case

2025-02-04T12:17:29Z

Let $\varphi$ be a normal semi-finite faithful weight on a von Neumann algebra $A$,let $(\sigma^\varphi_r)_{r\in{\mathbb R}}$ denote the modular automorphism group of $\varphi$, and let $T\colon A\to A$ be a linear map. We say that $T$ admits an absolute dilation if there exist another von Neumann algebra $M$ equipped with a normal semi-finite faithful weight $\psi$, a $w^*$-continuous, unital and weight-preserving $*$-homomorphism $J\colon A\to M$ such that $\sigma^\psi\circ J=J\circ \sigma^\varphi$, as well as a weight-preserving $*$-automorphism $U\colon M\to M$ such that $T^k={\mathbb E}_JU^kJ$ for all integer $k\geq 0$, where ${\mathbb E}_J\colon M\to A$ is the conditional expectation associated with $J$. Given any locally compact group $G$ and any real valued function $u\in C_b(G)$, we prove that if $u$ induces a unital completely positive Fourier multiplier $M_u\colon VN(G) \to VN(G)$, then $M_u$ admits an absolute dilation. Here $VN(G)$ is equiped with its Plangherel weight $\varphi_G$. This result had been settled by the first named author in the case when $G$ is unimodular so the salient point in this paper is that $G$ may be non unimodular, and hence $\varphi_G$ may not be a trace. The absolute dilation of $M_u$ implies that for any $1

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

2025-02-04T12:15:41Z

Let $M$ be a von Neumann algebra, let $\varphi$ be a normal faithful state on $M$ and let $L^p(M,\varphi)$ be the associated Haagerup non-commutative $L^p$-spaces, for $1\leq p\leq\infty$. Let $D\in L^1(M,\varphi)$ be the density of $\varphi$. Given a positive map $T\colon M\to M$ such that $\varphi\circ T\leq C_1\varphi$ for some $C_1\geq 0$, we study the boundedness of the $L^p$-extension $T_{p,\theta}\colon D^{\frac{1-\theta}{p}} M D^{\frac{\theta}{p}}\to L^p(M,\varphi)$ which maps $D^{\frac{1-\theta}{p}} x D^{\frac{\theta}{p}}$ to $D^{\frac{1-\theta}{p}} T(x) D^{\frac{\theta}{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,\theta}$ is bounded for $\theta\not=\frac12$. We show that for any $1\leq p<2$ and any $\theta\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,\theta}$ is unbounded. We also show that if $T$ is $2$-positive, then $T_{p,\theta}$ is bounded provided that $p\geq 2$ or $1\leq p<2$ and $\theta\in[1-p/2,p/2]$.

A characterization of absolutely dilatable Schur multipliers

2025-02-04T12:09:38Z

Let $M$ be a von Neumann algebra equipped with a normal semi-finite faithful trace (nsf trace in short) and let $T\colon M\to M$ be a contraction. We say that $T$ is absolutely dilatable if there exist another von Neumann algebra $M'$ equipped with a nsf trace, a $w^*$-continuous trace preserving unital $*$-homomorphim $J\colon M\to M'$ and a trace preserving $*$-automomorphim $U\colon M'\to M'$ such that $T^k=E U^k J$ for all integer $k\geq 0$, where $E\colon M'\to M$ is the conditional expectation associated with $J$. Given a $\sigma$-finite measure space $(\Omega,\mu)$, we characterize bounded Schur multipliers $\phi\in L^\infty(\Omega^2)$ such that the Schur multiplication operator $T_\phi\colon B(L^2(\Omega))\to B(L^2(\Omega))$ is absolutely dilatable. In the separable case, they are characterized by the existence of a von Neumann algebra $N$ with a separable predual, equipped with a normalized normal faithful trace $\tau_N$, and of a $w^*$-continuous essentially bounded function $d\colon\Omega\to N$ such that $\phi(s,t)=\tau_N(d(s)^*d(t))$ for almost every $(s,t)\in\Omega^2$.

Discrete octonionic analysis: a unified approach to the split-octonionic and classical settings

2025-02-04T11:08:56Z

Various problems of mathematical physics consider octonions and split-octonions as a mathematical structure, which underpins the eight-dimensional nature of these problems. Therefore, it is not surprising that octonionic analysis has become an area of active research in recent years. One of the main goals of octonionic analysis is to develop tools of an octonionic operator calculus for solving boundary value problems of mathematical physics that benefit from the use of the octonionic structure. However, when we want to apply the operator calculus in practice, it becomes evident that adequate discrete counterparts of continuous constructions need to be defined. In previous works, we have proposed several approaches to discretise the classical continuous octonionic analysis. However, the split-octonionic case, which is particularly important for practical applications concretely investigated in the last years, has not been considered until now. Therefore, one of the goals of this paper is to explain how to particularly address the discrete split-octonionic setting. Additionally, we propose a general umbrella to cover all different discrete octonionic settings in one unified approach that also encompasses the different eight-dimensional algebraic structures.

The Brown measure of a sum of two free nonselfadjoint random variables, one of which is R-diagonal

2025-02-04T04:34:21Z

Suppose that $X_{1}$ and $X_{2}$ are two $*$-free (generally unbounded) random variables with Brown measures $\mu_{X_{1}}$ and $\mu_{X_{2}}$, respectively. Using properties of classical free additive convolutions, we develop a method for calculating $\mu_{X_{1}+X_{2}}$when $X_{2}$ is $R$-diagonal. This method determines a density relative to Lebesgue measure on an open set whose closure contains the support of $\mu_{X_{1}+X_{2}}$. Effective calculations are possible in important cases. Biane and Lehner were the first to make significant progress on the problem we consider, even in some cases in which neither $X_{1}$ nor $X_{2}$ is $R$-diagonal. Our examples overlap with theirs, but we emphasize the use of subordination functions. When $X_{2}$ is circular, $\mu_{X_{1}+X_{2}}$ was studied earlier using two different approaches, one involving Hamilton-Jacobi equations, and another using standard free probability techniques. Our work extends the second approach.

Pseudo-Cartan Inclusions

2025-02-04T03:36:00Z

We define a new class of regular inclusions, the pseudo-Cartan inclusions. We show this class coincides with the class of regular inclusions having a Cartan envelope and also with the class of regular inclusions with the faithful unique pseudo-expectation property. We describe the twisted groupoid associated with the Cartan envelope of a pseudo-Cartan inclusion. These results significantly extend previous results obtained for the unital setting. We explore properties of pseudo-Cartan inclusions and the relationship between a pseudo-Cartan inclusion and its Cartan envelope. For example, if $D \subseteq C$ is a pseudo-Cartan inclusion with Cartan envelope $B \subseteq A$, then $C$ is simple if and only if $A$ is simple. We show how to construct pseudo-Cartan inclusions from a given Cartan inclusion, that the inductive limit of pseudo-Cartan inclusions with suitable connecting maps is a pseudo-Cartan inclusion, and the minimal tensor product of pseudo-Cartan inclusions is a pseudo-Cartan inclusion. Further, we describe the Cartan envelope of pseudo-Cartan inclusions arising from these constructions. We give some applications and conclude with a few open questions.

Quantum expanders and property (T) discrete quantum groups

2025-02-04T03:35:15Z

Families of expander graphs were first constructed by Margulis from discrete groups with property (T). Within the framework of quantum information theory, several authors have generalised the notion of an expander graph to the setting of quantum channels. In this work, we use discrete quantum groups with property (T) to construct quantum expanders in two ways. The first approach obtains a quantum expander family by constructing the requisite quantum channels directly from finite-dimensional irreducible unitary representations, extending earlier work of Harrow using groups. The second approach directly generalises Margulis' original construction and is based on a quantum analogue of a Schreier graph using the theory of coideals. To obtain examples of quantum expanders, we apply our machinery to discrete quantum groups with property (T) coming from compact bicrossed products.

Additivity and chain rules for quantum entropies via multi-index Schatten norms

2025-02-03T18:44:59Z

The primary entropic measures for quantum states are additive under the tensor product. In the analysis of quantum information processing tasks, the minimum entropy of a set of states, e.g., the minimum output entropy of a channel, often plays a crucial role. A fundamental question in quantum information and cryptography is whether the minimum output entropy remains additive under the tensor product of channels. Here, we establish a general additivity statement for the optimized sandwiched R\'enyi entropy of quantum channels. For that, we generalize the results of [Devetak, Junge, King, Ruskai, CMP 2006] to multi-index Schatten norms. As an application, we strengthen the additivity statement of [Van Himbeeck and Brown, 2025] thus allowing the analysis of time-adaptive quantum cryptographic protocols. In addition, we establish chain rules for R\'enyi conditional entropies that are similar to the ones used for the generalized entropy accumulation theorem of [Metger, Fawzi, Sutter, Renner, CMP 2024].

Operator moment dilations as block operators

2025-02-03T17:23:39Z

Let $\mathcal{H}$ be a complex Hilbert space and let $\big\{A_{n}\big\}_{n\geq 1}$ be a sequence of bounded linear operators on $\mathcal{H}$. Then a bounded operator $B$ on a Hilbert space $\mathcal{K} \supseteq \mathcal{H}$ is said to be a dilation of this sequence if \begin{equation*} A_{n} = P_{\mathcal{H}}B^{n}|_{\mathcal{H}} \; \text{for all}\; n\geq 1, \end{equation*} where $P_{\mathcal{H}}$ is the projection of $\mathcal{K}$ onto $\mathcal{H}.$ The question of existence of dilation is a generalization of the classical moment problem. We recall necessary and sufficient conditions for the existence of self-adjoint, isometric and unitary dilations and present block operator representations for these dilations. For instance, for self-adjoint dilations one gets block tridiagonal representations similar to the classical moment problem. Given a positive invertible operator $A$, an operator $T$ is said to be in the $\mathcal{C}_{A}$-class if the sequence $\{A^{-\frac{1}{2}}T^nA^{-\frac{1}{2}}:n\geq 1\}$ admits a unitary dilation. We identify a tractable collection of $\mathcal{C}_A$-class operators for which isometric and unitary dilations can be written down explicitly in block operator form. This includes the well-known $\rho$-dilations for positive scalars. Here the special cases $\rho =1$ and $\rho =2$ correspond to Sch\"{a}ffer representation for contractions and Ando representation for operators with numerical radius not more than one respectively.