https://arxiv.org/api/MNsAArj5XF4h9xFHhqkHQCL1yk8 2026-06-20T19:16:38Z 14259 390 15 http://arxiv.org/abs/2602.00789v2 2026-04-05T12:21:41Z

We study the joint distribution of SYK Hamiltonians for different systems with specified overlaps. We show that, in the large-system limit, their joint distribution converges in distribution to a mixed $q$-Gaussian system. We explain that the graph product of diffusive abelian von Neumann algebras is isomorphic to a $W^*$-probability space generated by the corresponding $\varepsilon$-freely independent random variables with semicircular laws which form a special case of mixed $q$-Gaussian systems that can be approximated by our SYK Hamiltonian models. Thus, we obtain a random model for asymptotic $\varepsilon$-freeness.

2026-01-31T15:54:17Z 29pages, errors corrected; comments are welcome Weihua Liu Haoqi Shen http://arxiv.org/abs/2502.06697v2 2026-04-04T20:09:03Z

The landmark quantum complexity result MIP$^*$=RE was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used to give a negative solution to the Aldous-Lyons conjecture: there is a non co-sofic IRS on any non-abelian free group. We define a notion of hyperlinearity for an IRS and show that there is a non co-hyperlinear IRS on any non-abelian free group. As a corollary, we prove that there is a relation whose von Neumann algebra is not Connes embeddable. We do this by significantly simplifying the reduction of Aldous-Lyons to non-local games, removing the need for subgroup tests entirely.

2025-02-10T17:20:29Z 22 pages, v2: to appear in Compositio Mathematica, major change in introduction to be more readable for people outside of operator algebras, minor change in body and other exposition Aareyan Manzoor http://arxiv.org/abs/2603.13936v2 2026-04-04T16:02:47Z

We consider reduced group $C^{\ast}$-algebras of finitely generated discrete groups metrized by seminorms obtained from word length functions. We study the metric dimensions of such $C^{\ast}$-algebras as defined by David Kerr. We also study the product entropy of the automorphisms of group $C^{\ast}$-algebras induced by the automorphisms of the underlying groups. We get a lower bound and an upper bound of the product entropy of an automorphism in terms of the classical group theoretic algebraic and geometric entropy of the automorphisms, provided the group has polynomial growth property. For groups with exponential growth, we show that the metric dimension of the group $C^{\ast}$-algebras is generically $+\infty$.

2026-03-14T13:07:31Z This is an improved version. Now we have much more natural lower and upper bound of the product entropy of an automorphism of a finitely generated group with polynomial growth. We have shown that for groups with polynomial growth, the metric dimensions are generically $+\infty$. We have essentially rewritten the whole paper in light of the new results Arnab Chattopadhyay Soumalya Joardar http://arxiv.org/abs/2604.03668v1 2026-04-04T09:44:22Z

We study the exactness of the reduced crossed product of a semigroup dynamical system and the reduced $C^{*}$-algebra of a product system. We show that for a semigroup dynamical system $(A, P,α)$, under reasonable hypotheses (e.g., $P$ is abelian and finitely generated), the reduced crossed product $A \rtimes_{red} P$ is exact if and only if $A$ is exact. This strengthens our earlier result (\cite{Amir_Sundar-product-system}), where it was assumed that the action of $P$ on $A$ is by injective endomorphisms. We also compare the groupoid crossed product described in \cite{Amir_Sundar-product-system} and the Fell bundle constructed in \cite{Rennie_Sims} for a product system, and show that they are equivalent as Fell bundles.

2026-04-04T09:44:22Z 16 pages Md Amir Hossain S. Sundar http://arxiv.org/abs/2508.21709v2 2026-04-04T04:54:08Z

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable universal theories. This implies that no such algebra admits a computable presentation. Our results also provide, for the first time, explicit examples of separable II$_1$ factors without computable presentations, and in fact yield a broad family of them, including McDuff factors, factors without property Gamma, and property (T) factors. We also obtain analogous results for locally universal semifinite von Neumann algebras and tracial C*-algebras. The latter provides strong evidence for a negative solution to the Kirchberg Embedding Problem. We discuss how these are obstructions to approximation properties in the class of tracial and semifinite von Neumann algebras.

2025-08-29T15:28:13Z 12 pages, v2: minor exposition edits. To appear in International Mathematics Research Notices Jananan Arulseelan Aareyan Manzoor 10.1093/imrn/rnag060 http://arxiv.org/abs/2604.03213v1 2026-04-03T17:42:31Z

We study the large-$N$ behavior of random matrix tuples $Y^N = (Y_1^N,\dots,Y_d^N)$ with joint density proportional to $e^{-N^2 V}$ for some convex function $V$ in non-commuting variables satisfying certain bounds on its second derivative. We give an asymptotic expansion in powers of $1/N^2$ of the trace of noncommutative smooth functions of $Y^N$. We also give an asymptotic expansion for a family of maps $T^N$ that transport the law of a tuple of independent GUE random matrices to the law of $Y^N$ and, as a consequence, show strong convergence for the multimatrix models $Y^N$. Our proof is based on an asymptotic expansion for the heat semigroup associated to the measure, which is expressed in terms of smooth functions of a matrix Brownian motion $(S^{N}_t)_{t \geq 0}$. We introduce spaces of noncommutative smooth functions that unify and generalize the cases of polynomials and single-variable smooth functions and allow the systematic application of asymptotic expansion techniques to multimatrix models with convex interaction.

2026-04-03T17:42:31Z David Jekel Evangelos A. Nikitopoulos Félix Parraud http://arxiv.org/abs/2604.03194v1 2026-04-03T17:08:48Z

Let $M$ be the $n$-square matrix partitioned into $\ell^2$ blocks $b_{ij}$ according to some partition $P=\{C_{1},\dots,C_{\ell}\}$ of index set $\{1,\dots,n\}$. The quotient matrix $Q=(q_{ij})$ is a $k$-square matrix, with $\ell \leq k \leq n-1$, where $(ij)$-th entry is the average row sum (or column sum) of the corresponding block $b_{ij}$ in $M$. The partition $P$ is said to be \emph{equitable} if row sum of each block $b_{ij}$ is constant. In this case, the matrix $Q$ is referred to as the \emph{equitable quotient matrix} of $M$, and the spectrum of $Q$ is the subset of the spectrum of parent matrix $M$. We characterize some classes of matrices such that their equitable quotient matrix $Q$ contains all the distinct eigenvalues of $M$, thereby information can be obtained form the smallest matrix $Q$ without actually analyzing the parent matrix $M.$ We present necessary and the sufficient conditions for distinct eigenvalue of $M$ contained in the spectrum of of $Q$ in terms of eigenspaces. We end up article with some applications, where distinct eigenvalues of a parent matrix can be completely encoded by quotient matrix.

2026-04-03T17:08:48Z 35 pages, 1 figure Bilal Ahmad Rather http://arxiv.org/abs/2512.07160v2 2026-04-03T06:11:48Z

We investigate complex self-testing, a generalization of standard self-testing that accounts for quantum strategies whose statistics is indistinguishable from their complex conjugate's. We show that many structural results from standard self-testing extend to the complex setting, including lifting of common assumptions. Our main result is an operator-algebraic characterization: complex self-testing is equivalent to uniqueness of the real parts of higher moments, leading to a basis-independent formulation in terms of real C* algebras. This leads to a classification of non-local strategies, and a tight boundary where standard self-testing does not apply and complex self-testing is necessary. We further construct a strategy involving quaternions, establishing the first standard self-test for genuinely complex strategy. Our work clarifies the structure of complex self-testing and highlights the subtle role of complex numbers in bipartite Bell non-locality.

2025-12-08T04:47:21Z 32 pages. Comments are welcome! Ranyiliu Chen Laura Mančinska Jurij Volčič http://arxiv.org/abs/2503.03315v2 2026-04-02T14:20:59Z

We compute the K-theory of a collection of C*-algebras, which we refer to as boundary C*-algebras, arising as the crossed product C*-algebras of lattice actions on the maximal Furstenberg boundaries of symmetric spaces of noncompact type. As a result, we add new examples to the collection of known isomorphic boundary C*-algebras which are not spatially isomorphic.

2025-03-05T09:49:48Z Torstein Ulsnaes http://arxiv.org/abs/2510.24326v2 2026-04-02T10:03:19Z

We investigate when a map on a selfadjoint operator space $E$ is an embedding, i.e., when its unitisation in the sense of Werner is completely isometric. Combining with results of Russell, of Ng, and of Dessi, the second and the last author, it is shown that this is equivalent to: (a) extending bounded positive functionals on each matrix level with the same norm; (b) extending quasistates to quasistates in each matrix level; (c) extending completely bounded completely positive maps with the same cb-norm; and (d) the map being a gauge maximal isometry in the sense of Russell. If $E$ is approximately positively generated and $\mathrm{C}^*(E)$ is unital, or if $E_{sa}$ is singly generated, then completely positive maps on $E \subseteq \mathcal{B}(H)$ have completely positive extensions on $\mathrm{C}^*(E)$, but possibly not with the same cb-norm; and this is not enough for the inclusion $E \subseteq \mathrm{C}^*(E)$ to be an embedding. We show that the inclusion $E \subseteq \mathrm{C}^*(E)$ is always an embedding when $E$ is completely approximately 1-generated, and we fully resolve the case when $E_{sa}$ is singly generated. Combining with the works of Salomon, Humeniuk--Kennedy--Manor, and previous work of the third author, we show that if the inclusion $E \subseteq \mathrm{C}^*(E)$ is an embedding, then rigidity at zero, in the sense of Salomon, coincides with $E$ being approximately positively generated. Consequently, we show that $E$ is approximately positively generated if and only if $M_n(E)$ is approximately positively generated for all $n\in \mathbb{N}$, thus extending a previous result of Humeniuk--Kennedy--Manor to the approximation setting. As an application we show that hyperrigidity of $E$ in $\mathrm{C}^*(E)$ allows to identify $\mathrm{C}^*(E)$ as the C*-envelope of $E$ in several (non-unital) contexts.

2025-10-28T11:52:35Z 31 pages, minor editorial changes Alexandros Chatzinikolaou Evgenios T. A. Kakariadis Se-Jin Kim Ioannis Apollon Paraskevas 10.1016/j.jfa.2026.111487 http://arxiv.org/abs/2604.01408v1 2026-04-01T21:15:32Z

Commutativity gadgets provide a technique for lifting classical reductions between constraint satisfaction problems to quantum-sound reductions between the corresponding nonlocal games. We develop a general framework for commutativity gadgets in the setting of quantum homomorphisms between finite relational structures. Building on the notion of quantum homomorphism spaces, we introduce a uniform notion of commutativity gadget capturing the finite-dimensional quantum, quantum approximate, and commuting-operator models. In the robust setting, we use the weighted-algebra formalism for approximate quantum homomorphisms to capture corresponding notions of robust commutativity gadgets. Our main results characterize both non-robust and robust commutativity gadgets purely in terms of quantum polymorphism spaces: in any model, existence of a commutativity gadget is equivalent to the collapse of the corresponding quantum polymorphisms to classical ones at arity $|A|^2$, and robust gadgets are characterized by stable commutativity of the appropriate weighted polymorphism algebra. We use this characterisation to show relations between the classes of commutativity gadget, notably that existence of a robust commutativity gadget is equivalent to the existence of a corresponding non-robust one. Finally, we prove that quantum polymorphisms of complete graphs $K_n$ have a very special structure, wherein the noncommutative behaviour only comes from the quantum permutation group $S_n^+$. Combining this with techniques from combinatorial group theory, we construct separations between commutativity-gadget classes: we exhibit a relational structure admitting a finite-dimensional commutativity gadget but no quantum approximate gadget, and, conditional on the existence of a non-hyperlinear group, a structure admitting a quantum approximate commutativity gadget but no commuting-operator gadget.

2026-04-01T21:15:32Z 44 pages, 3 figures Eric Culf Josse van Dobben de Bruyn Peter Zeman http://arxiv.org/abs/2603.29985v1 2026-03-31T16:49:36Z

We compute the homotopy groups at each unital abelian C*-algebra $C(T)$ in the Morita $3$-category of abelian C*-algebras, C*-algebras with central maps, C*-correspondences, and adjointable bimodule maps. We describe these groups in terms of the topological data of the underlying compact Hausdorff space $T$. We also compute the actions of the first homotopy group on the second and third homotopy groups in terms of these topological invariants of $T$.

2026-03-31T16:49:36Z 32 pages, comments welcome! Gregory Faurot Giovanni Ferrer http://arxiv.org/abs/2603.29958v1 2026-03-31T16:24:11Z

The extension problem asks whether positive semi-definite functions on a symmetric unital subset of a discrete group can be extended to positive semi-definite functions on the whole group. It has been known at least since the work of Rudin in the 1960s that this is closely related to the problem of finding sums of squares factorisations of positive elements in the group C*-algebra. We give an operator system perspective at these two problems explaining their equivalence: the extension property is characterised by a certain quotient map on the Fourier--Stieltjes algebra, and the factorisation property by a certain complete order embedding into the group C*-algebra. These properties are linked to the duality of the operator systems which have recently emerged from spectral and Fourier truncations in noncommutative geometry. We exemplify how one can relate certain extension problems to operator system techniques such as nuclearity and the C*-envelope.

2026-03-31T16:24:11Z 45 pages, 11 figures Evgenios T. A. Kakariadis Malte Leimbach Ivan G. Todorov Walter D. van Suijlekom http://arxiv.org/abs/2603.29556v1 2026-03-31T10:34:49Z

We study the structure of separable elements in bipartite C$^{\ast}$-algebras, focusing on the existence and size of a separable neighbourhood around the identity element. While this phenomenon is well understood in the finite-dimensional setting, its extension to general C$^{\ast}$-algebras presents additional challenges. We show that the problem of determining such a neighbourhood can be reduced to estimating the completely bounded norm of contractive positive maps. This approach allows us to characterize the size of such neighbourhoods in terms of structural properties of the algebra, notably its rank. As a consequence, we also resolve a recent conjecture of Musat and Rørdam.

2026-03-31T10:34:49Z 15 pages Mizanur Rahaman Mateusz Wasilewski http://arxiv.org/abs/2603.29031v1 2026-03-30T21:49:35Z

We investigate translation actions of countable dense subgroups of non-unimodular locally compact second countable (lcsc) groups. Using left-right actions, we show that the left translation action $Γ\curvearrowright G$ given by a countable dense subgroup $Γ$ of a locally compact second countable group $G$ can only be strongly ergodic if $G$ is almost unimodular. We show that the strong ergodicity of the action $Γ\curvearrowright G$ for an almost unimodular lcsc group $G$ is equivalent to the strong ergodicity of $Γ\cap \ker(Δ_G)\curvearrowright \ker(Δ_G)$, where $Δ_G$ is the modular function. We demonstrate the absence of rigidity, by showing that non-isomorphic lcsc almost unimodular groups can admit orbit equivalent translation actions.

2026-03-30T21:49:35Z 6 pages Fehmi Ekin Giritlioglu