https://arxiv.org/api/PX3Nq8iJnAzwFxQTDHl5wK0fGII 2026-06-23T22:18:16Z 14267 600 15 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.08164v1 2026-02-08T23:54:27Z

We extend the trace-logarithmic $S$-divergence from matrices to tracial $C^*$-algebras and finite von Neumann algebras, and show that its square root defines a metric on the invertible positive cone. We also prove an integral representation of the quantum Jensen--Shannon divergence in terms of shifted trace-log distances, implying metricity of its square root on the full positive cone in the same tracial framework. In the matrix case, we answer two questions of Virosztek \cite{Vir21} on Hilbertianity. Finally, we show that symmetric quantum Jensen divergences generated by non-affine operator convex functions yield metrics in the tracial setting via a Nevanlinna--Stieltjes type representation of the derivative, which generalizes a result of Carlen, Lieb and Seiringer.

2026-02-08T23:54:27Z 22 pages. All comments are welcome! Teng Zhang http://arxiv.org/abs/2602.08103v1 2026-02-08T19:51:03Z

We study a class of convex bodies called operatopes that are obtained by taking Minkowski sums of affine images of an operator norm ball. This notion generalizes that of zonotopes which are Minkowksi sums of line segments. Taking the limit of the number of line segments to infinity yields the class of convex bodies called zonoids, which can also be viewed as the expectation of a random line segment. Expanding on this interpretation, we analogously define operanoids as the expectation of a random affine image of an operator norm ball. In studying the properties of operanoids when the dimension of the operator norm ball grows, we arrive at a new asymptotic regime for limits of convex bodies. This leads to the more general class of convex bodies called noncommutative zonoids, and we use the framework of free probability theory to illustrate basic properties and examples. Finally, we discuss applications of operanoids and noncommutative zonoids in statistics and stochastic processes.

2026-02-08T19:51:03Z 23 pages, 6 figures Eliza O'Reilly Venkat Chandrasekaran http://arxiv.org/abs/2511.20377v2 2026-02-08T14:48:24Z

A collection of 50 open problems around the structure theory of ultraproducts of II$_1$ factors is presented, along with some annotations and references.

2025-11-25T14:58:35Z Comments welcome. v2 minor corrections and fixed some typos Srivatsav Kunnawalkam Elayavalli http://arxiv.org/abs/2501.09690v2 2026-02-07T21:57:19Z

We revisit the theory of operator-valued free convolution powers given by a completely positive map $η$. We first give a general result, with a new analytic proof, that the $η$-convolution power of the law of $X$ is realized by $V^*XV$ for any operator $V$ satisfying certain conditions, which unifies Nica and Speicher's construction in the scalar-valued setting and Shlyakhtenko's construction in the operator-valued setting. Second, we provide an analog, for the setting of $η$-valued convolution powers, of the analytic subordination for conditional expectations that holds for additive free convolution. Finally, we describe a Hilbert-space manipulation that explains the equivalence between the $n$-fold additive free convolution and the convolution power with respect to $η= n \operatorname{id}$.

2025-01-16T17:42:16Z 17 pages, revised Ian Charlesworth David Jekel http://arxiv.org/abs/2512.23598v2 2026-02-07T16:41:57Z

It is established that both discrete and continuous semigroups of unital quantum channels are eventually mixed unitary. This result is novel even for the subclass of Schur maps and stands in sharp contrast to the resolution of the asymptotic quantum Birkhoff conjecture by Haagerup and Musat, who demonstrated that tensor powers of some unital quantum channels maintain a persistent positive distance from the set of mixed unitary channels. Remarkably, our results show that this gap vanishes in finite time when considering ordinary powers within a semigroup. Building on this, we define the mixed unitary index of a unital quantum channel as the minimum time (or power) beyond which all subsequent maps become mixed unitary. We demonstrate that for any fixed dimension $d \geq 3$, there is no universal upper bound for this index. Furthermore, we observe that if a continuous semigroup is not mixed unitary at some $t > 0$, it remains non-mixed unitary for all $t$ sufficiently close to the origin. Finally, we investigate quantum dynamical semigroups where mixed unitarity is restricted to specific families, such as Weyl or diagonal unitaries. We show that Schur semigroups of correlation matrices eventually become mixtures of rank-one correlation matrices, and we characterize the generators of Schur semigroups that remain within this set for all $t \geq 0$.

2025-12-29T16:51:17Z Significant changes have been made in the article, which includes modification of the abstract, some new results on Schur maps, inclusion of some more references B V Rajarama Bhat Repana Devendra http://arxiv.org/abs/2602.07487v1 2026-02-07T10:39:57Z

This paper systematically studies the subset of continuous linear functionals on the projective tensor product of Banach spaces whose norms are bounded by Grothendieck's constant $K_G$. We term such functionals Grothendieck functional integrals. The integral is defined as a linear functional on the projective tensor product space that satisfies the boundedness condition $|μ(x)| \leq K_G \|x\|_π$, where $K_G$ denotes Grothendieck's constant. We prove that such integrals admit a Hilbert space representation theorem and establish the corresponding abstract Fubini theorem to demonstrate that the order of integration may be interchanged. Furthermore, we extend this theory to the setting of multiple tensor products and provide integral representations in concrete function spaces. Our work offers a unified framework for bilinear and multilinear analysis, with a universal constant serving as the fundamental bound.

2026-02-07T10:39:57Z 21 pages Haoran He Qichen He http://arxiv.org/abs/2602.06882v1 2026-02-06T17:11:33Z

We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive limit of finite-dimensional algebras. Using this, and an analogous result for dimension groups, we show that the computable $K_0$ functor provides a computable equivalence of categories between c.e. presentations of AF algebras and c.e. presentations of unital (scaled) dimension groups, giving an effective version of Elliott's classification theorem. We use our results to determine the complexity of the index set and isomorphism problems for various classes of AF algebras.

2026-02-06T17:11:33Z 45 pages; comments welcome! Christopher J. Eagle Isaac Goldbring Timothy H. McNicholl http://arxiv.org/abs/2602.06666v1 2026-02-06T12:50:47Z

Gromov's band-width conjecture gives a precise upper bound for the width of a compact Riemannian band with positive scalar curvature lower bound, assuming that the cross-section of the band admits no positive scalar curvature metrics. Versions of this were proved by Cecchini and by Zeidler. In this paper, we develop a quantitative version of partitioned manifold index theory, which applies to noncompact hypersurfaces. Using this, we prove a version of Gromov's band-width estimate for possibly noncompact Riemannian bands.

2026-02-06T12:50:47Z 46 pages Peter Hochs Jinmin Wang http://arxiv.org/abs/2505.19471v2 2026-02-05T21:40:56Z

We present a generalization of Hölder duality to algebra-valued pairings via $L^p$-modules. Hölder duality states that if $p \in (1, \infty)$ and $p^{\prime}$ are conjugate exponents, then the dual space of $L^p(μ)$ is isometrically isomorphic to $L^{p^{\prime}}(μ)$. In this work we study certain pairs $(\mathsf{Y},\mathsf{X})$, as generalizations of the pair $(L^{p^{\prime}}(μ), L^p(μ))$, that have an $L^p$-operator algebra valued pairing $\mathsf{Y} \times \mathsf{X} \to A$. When the $A$-valued version of Hölder duality still holds, we say that $(\mathsf{Y},\mathsf{X})$ is C*-like. We show that finite and countable direct sums of the C*-like module $(A,A)$ are still C*-like when $A$ is any block diagonal subalgebra of $d \times d$ matrices. We provide counterexamples when $A \subset M_d^p(\mathbb{C})$ is not block diagonal.

2025-05-26T03:51:50Z AMSLaTeX; 19 pages. V2: Final version accepted in the Annals of Functional Analysis Ann. Funct. Anal. 17, 30 (2026) Alessandra Calin Ian Cartwright Luke Coffman Alonso Delfín Charles Girard Jack Goldrick Anoushka Nerella Wilson Wu 10.1007/s43034-025-00492-8 http://arxiv.org/abs/2602.05618v1 2026-02-05T12:53:10Z

We provide a new large class $\mathcal C_{AFP}$ of amalgamated free product groups for which the product rigidity result from [CdSS15] holds: if $G_1,\dots,G_n\in\mathcal C_{AFP}$ and $H$ is any group such that $L(G_1\times\dots\times G_n)\cong L(H)$, then there exists a product decomposition $H=H_1\times\dots\times H_n$ such that $L(H_i)$ is stably isomorphic to $L(G_i)$, for any $1\leq i\leq n$. The class $\mathcal C_{AFP}$ contains $W^*$ and $C^*$-superrigid groups from [CD-AD20]. Consequently, we obtain examples of product groups that are both $W^*$ and $C^*$-superrigid.

2026-02-05T12:53:10Z Jakub Curda Daniel Drimbe