https://arxiv.org/api/TjDeYc0IfmTlgBTtLGm4Xpcv8AQ 2026-06-13T12:32:36Z 14233 15 15 http://arxiv.org/abs/2502.01611v3 2026-06-10T08:05:41Z

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ényi 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ényi conditional entropies that are similar to the ones used for the generalized entropy accumulation theorem of [Metger, Fawzi, Sutter, Renner, CMP 2024].

2025-02-03T18:44:59Z 39 pages, 1 figure Commun. Math. Phys. 407, 75 (2026) Omar Fawzi Jan Kochanowski Cambyse Rouzé Thomas Van Himbeeck 10.1007/s00220-026-05567-8 http://arxiv.org/abs/2510.07883v2 2026-06-10T03:13:52Z

In this paper, we introduce relative Roe functors and show that for every pair of scalable locally compact metric spaces with bounded coarse geometry, the functor of continuous functions and the relative Roe functor, both associated with this pair, are asymptotically adjoint. While this asymptotic adjunction is weaker than the genuine one, it retains sufficient categorical properties to be intuitive and useful in applications. These results can be used to provide an unsuspended description of the Connes-Higson $E$-theory, establish connections between $E_{1}$-theory and extension theory, and express $K$-homology of compact metric spaces in terms the corresponding metric cones.

2025-10-09T07:36:25Z 1. Imposed the condition of bounded coarse geometry. 2. Fixed the proof of Lemma 4.10. 3. Removed the incorrect proof of exactness of Roe functors Georgii S. Makeev http://arxiv.org/abs/2606.11571v1 2026-06-10T01:54:28Z

We develop a new technique to upgrade relative biexactness in general von Neumann algebras: suppose that $\{N_i\}_{i\in I}\subset M$ are mixing and biexact subalgebras of a separable von Neumann algebra with expectation, and if $M$ is biexact relative to $\{N_i\}_{i\in I}$, then $M$ is biexact. This result yields several new examples of biexact von Neumann algebras, notably including amalgamated free products. By generalizing the relative biexactness results of Hoshino to the von Neumann algebra setting and applying our result above along with certain bimodule computations, we in fact obtain, as an application, a new classification result for biexactness for graph products of finite dimensional von Neumann algebras. This yields significant extensions of prior works of Caspers-Borst, and Blufstein-Goldman-Oyakawa.

2026-06-10T01:54:28Z 23 pages Srivatsav Kunnawalkam Elayavalli Zhiyuan Yang http://arxiv.org/abs/2603.25148v2 2026-06-10T01:11:32Z

It is a study note detailing the connection between Boolean inverse monoids and ample groupoids.

2026-03-26T08:09:09Z Chi-Keung Ng Rui Tian http://arxiv.org/abs/2602.05185v2 2026-06-09T18:51:18Z

We initiate a systematic study of spectral theory for bounded-degree Borel pmp graphs. Specifically, we study spectral properties of the associated adjacency and Laplacian operators. We start with proving a spectral characterization of approximate measurable bipartiteness. Next, we adapt classical theorems of Wilf and Hoffman to give novel upper and lower bounds on the approximate measurable chromatic number. Using similar techniques, we then show that the approximate measurable chromatic number of a pmp graph generated by $n$ bounded-to-one functions is at most $2n + 1$. Next, concerning matchings, we introduce a measurable version of Tutte's condition and show that a spectral assumption analogous to the one from a classical theorem of Brouwer and Haemers implies this measurable Tutte condition. Finally, we show that the spectrum is continuous under local-global convergence.

2026-02-05T01:26:32Z 44 pages. Section 8 updated Cecelia Higgins Pieter Spaas Alexander Tenenbaum http://arxiv.org/abs/2606.11334v1 2026-06-09T18:12:51Z

Finite-dimensional operator algebras can be viewed as $\mathrm{C}^*$, $\mathrm{W}^*$, or $\mathrm{H}^*$-algebras, leading to different notions for their categories of modules and correspondence 2-categories. In this article, we show how these differences can be understood systematically using the notion of $G$-dagger category from arXiv:2403.01651 for different subgroups $G\leq O(2)$. To do so, we first introduce $G$-Hermitian $2$-vector spaces using fixed points of a certain $O(2)$-action on $2\mathsf{Vect}$. We then propose criteria for when such pairings are `positive', generalizing the passage from Hermitian vector spaces to Hilbert spaces. Finally, we outline an inductive approach to defining higher Hilbert spaces in arbitrary dimension, suggesting an extension of these ideas beyond the 2-categorical setting.

2026-06-09T18:12:51Z 22 pages Giovanni Ferrer Lukas Müller David Penneys Luuk Stehouwer http://arxiv.org/abs/2606.10870v1 2026-06-09T13:46:22Z

We give a structural account of the finite free convolutions of Marcus, Spielman, and Srivastava in terms of reproducing kernel inner products on polynomial spaces and a multilinear model over the squarefree algebra. In this model, additive convolution becomes algebra multiplication, and the nilpotent logarithm linearizes it, recovering the finite free cumulants of Arizmendi and Perales. This perspective leads to a class $\mathcal{LC}_n$ of multilinear polynomials characterized by nonpositivity of higher-order cumulants, closed under additive convolution and satisfying several key permanence properties associated with negatively dependent measures. We show that every graph Laplacian pencil belongs to this class, with higher-order cumulants given by Hamiltonian cycle counts in induced subgraphs.

2026-06-09T13:46:22Z 14 pages, comments welcome! Thomas Sinclair http://arxiv.org/abs/2606.10723v1 2026-06-09T11:33:14Z

We show that q-Gaussian $C^*$-algebras for $q \in (-1, 1)$ have the Dixmier averaging property, and hence are simple with a unique trace. We argue by combining rapid decay and spectral gap estimates for the commutators with the generators, which are obtained from free probability.

2026-06-09T11:33:14Z 13 pages Tattwamasi Amrutam David Jekel Mateusz Wasilewski http://arxiv.org/abs/2501.13909v2 2026-06-09T11:27:48Z

The main goals of the present paper are to determine the structure of the $C^\ast$-algebras associated to a finitely presented system and to develop the basic theory of the Ruelle algebras associated to a general synchronizing system. The later is related to the former in the sense that we show that Ruelle algebras associated to a finitely presented system are explicitly related to the Smale space case. The relevant $C^\ast$-algebras are the synchronizing heteroclinic algebras that were introduced in our previous work on synchronizing systems. They are very much related to previous work of Thomsen, who in turn was building on work of Ruelle, Putnam, and Spielberg.

2025-01-23T18:48:13Z 23 pages, 4 figures. arXiv admin note: text overlap with arXiv:2206.04755 Robin J. Deeley Andrew M. Stocker http://arxiv.org/abs/2606.10105v1 2026-06-08T19:31:42Z

We prove that the von Neumann algebra $\cL(G)$ associated with any hyperbolic group $G$ satisfies the following \emph{amenable absorption property}: for any infinite maximal amenable subgroup $H \leqslant G$ and any amenable von Neumann subalgebra $\mathcal{Q} \subset \cL(G)$ with diffuse intersection with $\cL(H)$, one must have $\mathcal{Q} \subset \cL(H)$. This strengthens a result of Boutonnet and Carderi \cite{BC2}. We also establish similar amenable absorption results for the broader class of acylindrically hyperbolic groups, including relatively hyperbolic groups, mapping class groups, and limit groups.

2026-06-08T19:31:42Z First version. Comments are welcome! 14 pages Juan Felipe Ariza Mejia Ionut Chifan Adriana Fernandez Quero Adrian Ioana http://arxiv.org/abs/2606.02525v2 2026-06-08T17:24:57Z

Matrix and noncommutative convexity constitute an important area of modern noncommutative analysis and have found significant applications in mathematical physics. In the first part of our paper we give an abstract characterization of matrix convex sets, and compact matrix convex sets. Our approach is in some part via a universal Banach space (resp.\ operator space) $X_K$ of an abstract compact convex set (resp.\ matrix convex set) $K$. This turns out to be a concrete construction of the base norm space (resp.\ nc base norm space) with base $K$, together with a natural TVS topology. Noncommutative (nc for short) base norm spaces, recently developed by the first author and Hay, are an important class of operator spaces which include duals and preduals of unital $C^*$-algebras and von Neumann algebras, and operator systems, where the `base' is exactly the noncommutative convex set of (matrix) states on these. In the later parts of the paper we give many applications, mostly to base norm spaces (classical and noncommutative). We also refine some of our recent results concerning regularity of convex sets (classical and noncommutative). We give several interesting characterizations of base norm spaces (classical and noncommutative). Any such characterization will correspond by duality to a new characterization of operator systems, or in the classical case, of function systems. For example, (complex) nc dual base norm spaces are the matrix ordered LCTVS's $V$ such that $V$ (at level 1) has a linear base which is compact.

2026-06-01T17:34:28Z 36 pages. A much polished revision of the first ArXiV version, with several extra results David P. Blecher Christiaan H. Pretorius http://arxiv.org/abs/2512.11477v2 2026-06-08T17:15:59Z

We study the generalized free wreath product of classical groups introduced by the first author and Arthur Troupel. We give an explicit computation of the Haar state and deduce important properties of their associated operator algebra: in many cases, the von Neumann algebra is a full type ${\rm II}_1$-factor and the reduced C*-algebra is simple with unique trace.

2025-12-12T11:22:01Z 15 pages, comments welcome ! Pierre Fima Yigang Qiu http://arxiv.org/abs/2606.09673v1 2026-06-08T15:54:44Z

We introduce the notion of a uniformly recurrent subalgebra (URA) for a trace-preserving action of a countable discrete group $Γ$ on a finite von Neumann algebra $M$, providing an operator-algebraic counterpart to the theory of uniformly recurrent subgroups (URS). We also show that the Effros-Maréchal space $\text{Sub}(M)$ is compact if and only if $M$ lacks a diffuse direct summand. Leveraging this, we show that URAs can exhibit arbitrary topological complexity and construct exotic URAs homeomorphic to any prescribed minimal Polish space. In the context of crossed products $M \rtimes Γ$ with amenable coefficients, we utilize URAs to formulate a new characterization of C*-simplicity, proving that $Γ$ is C*-simple if and only if the only amenable URA of the crossed product containing $M$ is $\{M\}$. Finally, to bypass the failure of compactness in $\text{Sub}(M)$, we develop a generalized state-space machinery using Baire-category methods on the weak-* compact space of trace-extending states. This construction captures compact, discrete, and exotic URAs, while recovering the classical URS framework as a special case.

2026-06-08T15:54:44Z 52 pages; preliminary version. Comments are welcome Tattwamasi Amrutam Pierre Fima Yongle Jiang http://arxiv.org/abs/2606.09654v1 2026-06-08T15:42:45Z

The purpose of this note is to address the gap in the stably finite/purely infinite dichotomy of selfless $C^*$-probability spaces. In particular, we show that nonfaithful selfless $C^*$-probability spaces are purely infinite, simple. This completes the dichotomy: Every selfless $C^*$-algebra is either purely infinite or stably finite. Notably, this shows that every selfless $C^*$-algebra is pure. To accomplish this, we show that infinite reduced free products of $C^*$-probability spaces with nonfaithful states inducing faithful GNS representations are often purely infinite, simple. Having resolved the selfless dichotomy, we improve existing permanence properties of selfless $C^*$-probability spaces, make progress on a conjecture of Choda and Dykema, and produce several new isomorphisms arising from reduced free products.

2026-06-08T15:42:45Z 7 pages, comments welcome Miles Gould http://arxiv.org/abs/2606.09467v1 2026-06-08T13:23:27Z

The centre comonad model provided the first concrete cohesive linear $\infty$-topos, settling an open problem of Schreiber. However, the model is degenerate: the quantum modality annihilates all non-commutative algebras, and the associated linear logic collapses to classical cartesian logic. In this paper we give a complete mathematical diagnosis of this degeneracy. We prove that the centre comonad sends the representable sheaf of a simple non-commutative algebra to the empty presheaf, and that the state space of any such algebra is empty. We then prove that the Day convolution on the classical core is cartesian, forcing the Seely isomorphism to hold trivially and collapsing the linear logic. We isolate the structural reason behind this collapse: whenever the opposite of the classical core is monoidally equivalent to a cartesian monoidal category, any coreflective precomposition comonad will exhibit the same degeneracy. We conclude that a non-degenerate quantum modality must be constructed without precomposition, and we briefly discuss possible directions.

2026-06-08T13:23:27Z 9 pages Joey Woo