https://arxiv.org/api/f261MO8OQNoJEWpW17YmwX6Jc7g 2026-03-20T22:12:14Z 13977 150 15 http://arxiv.org/abs/2602.11371v1 2026-02-11T21:01:39Z

In this paper, a generalized Cauchy-Schwarz inequality for positive sesquilinear maps with values in noncommutative Lp-spaces for p > 1 are obtained. Bound estimates for their real and imaginary parts are also provided, and, as an application, a generalization of the uncertainty relation in the context of noncommutative L2-spaces are given. Next, a Cauchy-Schwarz inequality for positive sesquilinear maps with values in the space of bounded linear operators from a von Neumann algebra into a C*-algebra equipped with the numerical radius norm is proved. In the same spirit, a new norm on a noncommutative L2-space, which generalizes the classical numerical radius norm of bounded linear operators on a Hilbert space, is proposed, and a Cauchy-Schwarz inequality for positive sesquilinear maps with values in the space of bounded linear operators from a von-Neumann algebra into the noncommutative L2-space equipped with this new norm is proved. These results are used to get representations of general positive linear maps with values into a non-commutative Lp-space and into certain operator spaces in several different situations. Some concrete examples are also given.

2026-02-11T21:01:39Z Giorgia Bellomonte Stefan Ivkovic Camillo Trapani http://arxiv.org/abs/2507.00346v2 2026-02-11T16:19:12Z

In a seminal 2005 paper, Haagerup and Thorbjørnsen discovered that the norm of any noncommutative polynomial of independent complex Gaussian random matrices converges to that of a limiting family of operators that arises from Voiculescu's free probability theory. In recent years, new methods have made it possible to establish such strong convergence properties in much more general situations, and to obtain even more powerful quantitative forms of the strong convergence phenomenon. These, in turn, have led to a number of spectacular applications to long-standing open problems on random graphs, hyperbolic surfaces, and operator algebras, and have provided flexible new tools that enable the study of random matrices in unexpected generality. This survey aims to provide an introduction to this circle of ideas.

2025-07-01T00:48:39Z 75 pages, 8 figures; survey paper for Current Developments in Mathematics 2025 (v2: minor corrections) Ramon van Handel http://arxiv.org/abs/2602.10926v1 2026-02-11T15:02:29Z

These are the extended lecture notes of my lecture about ``Linear Operators on Polynomials, $K$-Positivity Preserver, and their Generators''. The lecture was given at the University of Konstanz in the winter semester 2025/26.

2026-02-11T15:02:29Z Philipp J. di Dio http://arxiv.org/abs/2512.10410v3 2026-02-11T11:46:57Z

We analyze the Namioka-Phelps minimal and maximal tensor products of compact convex sets arising as state spaces of C$^*$-algebras, and, relatedly, study entanglement in (infinite dimensional) C$^*$-algebras. The minimal Namioka-Phelps tensor product of the state spaces of two C$^*$-algebras is shown to correspond to the set of separable (= un-entangled) states on the tensor product of the C$^*$-algebras. We show that these maximal and minimal tensor product of the state spaces agree precisely when one of the two C$^*$-algebras is commutative. This confirms an old conjecture by Barker in the case where the compact convex sets are state spaces of C$^*$-algebras. The Namioka-Phelps tensor product of the trace simplexes of two C$^*$-algebras is shown always to be the trace simplex of the tensor product of the C$^*$-algebras. This can be used, for example, to show that the trace simplex of (any) tensor product of C$^*$-algebras is the Poulsen simplex if and only if the trace simplex of each of the C$^*$-algebras is the Poulsen simplex or trivial (and not all trivial).

2025-12-11T08:21:15Z 26 pages. The statements of Corollaries 4.2 and 4.4 have been corrected. New reference added Magdalena Musat Mikael Rørdam http://arxiv.org/abs/2602.10753v1 2026-02-11T11:31:16Z

We propose the notion of countable decomposability of maps on C*-algebras: a bounded linear map $\varphi : \mathscr{A}\to B(\mathcal{H})$, where $\mathscr{A}$ is a C*-algebra and $\mathcal{H}$ a Hilbert space, will be called countably decomposable if it admits a representation $\varphi = \sum_{k=1}^{\infty} ψ_k \circ φ_k$ for completely positive maps $ψ_k : \mathscr{A}\to B(\mathcal{H})$ and bounded *-maps $φ_k : \mathscr{A}\to\mathscr{A}$. A characterization of countable decomposability is given in certain cases with various assumptions imposed on maps $φ_k$. Our findings provide extensions of a classical result of Størmer from Proc. Amer. Math. Soc. 86 (1982), 402-404, originally formulated for decomposable positive maps.

2026-02-11T11:31:16Z 13 pages, no figures Krzysztof Szczygielski http://arxiv.org/abs/2602.10373v1 2026-02-10T23:46:54Z

We give a precise functional comparison between classical and free convolutions. If $μ$ and $ν$ are compactly supported probability measures, we show that the expectation of $f$ over the classical convolution $μ* ν$ is at least the expectation of $f$ over the free convolution $μ\boxplus ν$, as long as the fourth derivative of $f$ is non-negative. Conversely, the non-negativity of the fourth derivative is necessary for such a comparison. This comparison is based on the positivity of a related measure on $\mathbb{R}^{2}$, which we dub the convolution comparison measure. We give an expression for this measure using a curious identity involving Hermitian matrices.

2026-02-10T23:46:54Z 18 pages Otte Heinävaara http://arxiv.org/abs/2511.19954v2 2026-02-10T20:44:58Z

Let $B \subset A$ be a depth $2$ inclusion of simple unital $C^*$-algebras with a conditional expectation of index-finite type. We show that the second relative commutant $B' \cap A_1$ carries a canonical structure of a weak $C^*$-Hopf algebra. Furthermore, we construct an action of this weak $C^*$-Hopf algebra on $A$ for which $B$ is precisely the fixed-point subalgebra, and we prove that the first basic construction $A_1$ is isomorphic to the crossed product $A \rtimes (B' \cap A_1)$. This provides a $C^*$-algebraic counterpart of the duality between depth $2$ subfactors and weak Hopf algebra symmetry, extending the Ocneanu-Nikshych-Vainerman theory beyond the $II_1$ factor setting.

2025-11-25T05:59:48Z 27 pages, version 2, minor revisions, few references added Biplab Pal http://arxiv.org/abs/2602.10220v1 2026-02-10T19:12:23Z

Let C be a separable unital C*-algebra, not isomorphic to the complex numbers, equipped with a faithful tracial state. Let A be a unital direct limit of one dimensional NCCW complexes, also equipped with a faithful tracial state. Suppose there is a unital trace preserving embedding of A in the Jiang-Su algebra which is an isomorphism on K-theory. (For example, A could be C([0,1]) with Lebesgue measure, or the Jiang-Su algebra itself.) Let D be the infinite reduced free product of copies of C. Then the reduced free product A*D is isomorphic to D. If D has real rank zero and C is exact, then in place of A we can use C(X) for any contractible compact metric space X and any faithful tracial state on C(X). An example consequence is that the reduced free product of infinitely many copies of C([0, 1]), with Lebesgue measure, is isomorphic to the reduced free product of infinitely many copies of the Jiang-Su algebra.

2026-02-10T19:12:23Z 28 pages Ilan Hirshberg N. Christopher Phillips http://arxiv.org/abs/2602.09995v1 2026-02-10T17:19:35Z

Using a new approach involving embedding spaces in II$_1$ factors with plenty of freely independent Haar unitaries, we prove that $C^\ast_r(\mathbb{F}_n)\ncong C^\ast_r(\mathbb{F}_m)$ for $n \neq m$. This recovers the seminal result of Pimsner and Voiculescu with a short new proof.

2026-02-10T17:19:35Z 5 pages. Comments welcome David Gao Srivatsav Kunnawalkam Elayavalli http://arxiv.org/abs/2601.22941v2 2026-02-10T06:34:43Z

We provide a new construction of a topological group model for the string group of a compact, simple, and simply-connected Lie group, by solving the obstruction realization problem for compact group $G$-kernels on full factors. Furthermore, we introduce the Rohlin property for actions and cocycle actions of compact groups in order to establish cohomology vanishing theorems.

2026-01-30T13:00:35Z 21 pages, Master's thesis Takumi Nishihara http://arxiv.org/abs/2602.09010v1 2026-02-09T18:55:05Z

We develop a theory of partially defined complete positivity preservers, extending Schoenberg's classical characterization to functions defined only on discrete subsets or constrained domains. We frame the extension problem through the theory of completely positive maps on operator systems -- we characterize general partially defined completely positive definite functions on general homogeneous spaces. We apply our interpolation to constrained packing problems and Delsarte theory, where one uses positive definite functions on homogeneous spaces to obtain bounds on various packing problems. We prove the specific positive definite function witnesses that a code is sharp for constrained angle codes must be from polynomials.

2026-02-09T18:55:05Z 45 pages Sujit Sakharam Damase James Eldred Pascoe http://arxiv.org/abs/2309.01266v3 2026-02-09T15:11:54Z

We study an alternative definition of the $H_1$-space associated to a semicommutative von Neumann algebra $L_\infty(\mathbb{R}) \overline{\otimes} \mathcal{M}$, first studied by Mei. We identify a "new" description for atoms in $H_1$. We then explain how they can be used to study $H_1^c$-$L_1$ endpoint estimates for Calderón-Zygmund operators with noncommuting kernels.

2023-09-03T20:27:50Z 28 pages. Minor corrections Antonio Ismael Cano-Mármol Éric Ricard http://arxiv.org/abs/2602.08628v1 2026-02-09T13:21:27Z

We determine the isometry group of the $n$-qubit state space with respect to the quantum Wasserstein distance induced by the so-called symmetric transport cost for all $n \in \mathbb{N}.$ It turns out that the isometries are precisely the Wigner symmetries, that is, the unitary or anti-unitary conjugations.

2026-02-09T13:21:27Z 14 pages Gergely Bunth Eszter Szabó Dániel Virosztek http://arxiv.org/abs/2503.23316v2 2026-02-09T12:41:31Z

We introduce an analytic family of twisted Fourier transforms $\left\{\mathcal{F}^{(x)}_p\right\}_{x\in \mathbb{R},p\in [1,2)}$ for non-Kac compact quantum groups and establish a sharpened form of the Hausdorff-Young inequality in the range $0\leq x \leq 1$. Furthermore, we prove that the range $0\leq x \leq 1$ is both necessary and sufficient for the boundedness of $\mathcal{F}^{(x)}_p$ under the assumption of sub-exponential growth on the dual discrete quantum group. We also show that the range of boundedness of $\mathcal{F}^{(x)}_p$ can be strictly extended beyond $[0,1]$ for certain non-Kac and non-coamenable free orthogonal quantum groups. As applications, we derive a stronger form of the twisted rapid decay property for polynomially growing non-Kac discrete quantum groups, including the duals of the Drinfeld-Jimbo $q$-deformations, and construct an explicit contractive, but non-completely bounded, representation of the convolution algebra of any non-Kac free orthogonal quantum group.

2025-03-30T04:57:25Z Sang-Gyun Youn http://arxiv.org/abs/2602.08348v1 2026-02-09T07:32:05Z

Our recent approach to the Finkelberg-Kazhdan-Lusztig equivalence theorem centers on the construction of a fiber functor associated with the categories in the equivalence theorem, which in turn explains the underlying algebraic and analytic structure of the corresponding weak Hopf algebra in a new sense. We provide a non-technical and historical overview of the core arguments behind our proof, discuss these structural properties, and its applications to rigidity and unitarizability of braided fusion categories arising from conformal field theory. We conclude proposing some natural directions for future research.

2026-02-09T07:32:05Z 29 pages, comments are welcome Claudia Pinzari