Violation of Bell-type Inequalities on Mutually-commuting von Neumann Algebra Models of Entanglement Swapping Networks

2026-04-15T13:18:06Z

Violation of Bell inequalities in bipartite systems represented by mutually-commuting von Neumann algebras has pioneered the study of vacuum entanglement in algebraic quantum field theory. It is unexpected that the maximal violation of Bell inequality can discover algebraic structures. In the paper, we establish the mutually-commuting von Neumann algebra model for entanglement swapping networks and Bell-type inequalities on this model. It generalizes the bipartite case to the ternary case. These algebras are all general von Neumann algebras, which provide a natural perspective to investigate Bell nonlocality in quantum networks in the infinitely-many-degree-of-freedom setting. We determine various bounds for Bell-type inequalities based on the structure of von Neumann algebras, and identify the algebraic structural conditions required for their violation. Finally, we show that the maximal violation of Bell-type inequalities in entanglement swapping networks can be used to determine partially the type classification of the underlying von Neumann algebras.

Convolution, cumulants and infinitesimal generators in the formal power series ring

2026-04-15T12:52:21Z

We extend the notions of finite free convolution and finite free cumulants to the setting of formal power series by introducing their natural analogues, namely $t$-deformed convolution and $t$-deformed cumulants. In this framework, we establish $t$-deformed analogues of the law of large numbers and the central limit theorem, revealing structural parallels with classical, free, and finite free probability theories. We show that the case $t=-1$ recovers classical convolution at the level of moment generating functions, thereby connecting the theory directly to classical probability. We further investigate the infinitesimal generators associated with $\boxplus^t$-continuous semigroups, deriving explicit representation formulas that clarify how these generators describe the infinitesimal evolution of the semigroup. In the case $t = d$, our results yield explicit formulas for finite free infinitesimal generators. In the case $t = -1$, we relate these generators to those of one-dimensional Lévy processes by identifying the corresponding terms in their representations. This establishes a direct connection between $\boxplus^t$-convolution semigroups and classical Lévy-Khintchine-type generators.

Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional $C^\ast$-algebras

2026-04-14T22:37:08Z

We describe additive surjections on direct sum of matrix algebras that preserve singularity in one direction. As an application, we classify additive surjections on finite-dimensional $C^\ast$-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction.

Density of irreducible operators in the trace-class norm

2026-04-14T22:13:00Z

In 1968, Paul Halmos initiated the research on density of the set of irreducible operators on a separable Hilbert space. Through the research, a long-standing unsolved problem inquires: is the set of irreducible operators dense in $B(H)$ with respect to the trace-class norm topology? Precisely, for each operator $T $ in $B(H)$ and every $\varepsilon >0$, is there a trace-class operator $K$ such that $T+K$ is irreducible and $\Vert K \Vert_1 < \varepsilon$? For $p>1$, to prove the $\Vert \cdot \Vert_p$-norm density of irreducible operators in $B(H)$, a type of Weyl-von Neumann theorem effects as a key technique. But the traditional method fails for the case $p=1$, where by $\Vert \cdot \Vert_p$-norm we denote the Schatten $p$-norm. In the current paper, for a large family of operators in $B(H)$, we give the above long-term problem an affirmative answer. The result is derived from a combination of techniques in both operator theory and operator algebras. Moreover, we discover that there is a strong connection between the problem and another related operator-theoretical problem related to type $\mathrm{II}_1$ von Neumann algebras.

Entanglement in C$^*$-algebras: tensor products of state spaces

2026-04-14T21:37:27Z

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).

Arakelov geometry of Cuntz-Pimsner algebras

2026-04-14T16:43:49Z

We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields.

A Le Page--Kaplansky theorem characterizing commutative JB*-triples

2026-04-14T16:12:34Z

We prove that a Le Page-type inequality is also valid for metrically characterizing those JB$^*$-triples that are commutative. More precisely, we establish that the following statements are equivalent for any JB$^*$-triple $E$: $(a)$ $E$ is commutative. $(b)$ There exists $γ>0$ satisfying $$\big\|\{a,b,\{x,y,z\}\}\big\|\leq γ\ \! \big\|\{x,y,\{a,b,z\}\}\big\|, \hbox{ for all } a,b,x,y,z\in E.$$

W*-superrigidity for discrete quantum groups

2026-04-14T15:08:37Z

A discrete group $G$ is called W*-superrigid if the group $G$ can be entirely recovered from the ambient group von Neumann algebra $L(G)$. We introduce an analogous notion for discrete quantum groups. We prove that this strengthened quantum W*-superrigidity property holds for a natural family of co-induced discrete quantum groups. We also prove that, remarkably, most existing families of W*-superrigid groups are not quantum W*-superrigid.

Groupoid models for relative Cuntz-Pimsner algebras of groupoid correspondences

2026-04-14T13:14:19Z

A groupoid correspondence on an etale, locally compact groupoid induces a C*-correspondence on its groupoid C*-algebra. We show that the Cuntz-Pimsner algebra for this C*-correspondence relative to an ideal associated to an open invariant subset of the groupoid is again a groupoid C*-algebra for a certain groupoid. We describe this groupoid explicitly and characterise it by a universal property that specifies its actions on topological spaces. Our construction unifies the construction of groupoids underlying the C*-algebras of topological graphs and self-similar groups.

A universal coefficient theorem for actions of finite cyclic groups of square-free order on C*-algebras

2026-04-14T10:00:51Z

We prove a Universal Coefficient Theorem for objects in the bootstrap class in the equivariant Kasparov category for a finite cyclic group of square-free order.

The K-moment problem: A detailed introduction

2026-04-14T04:29:58Z

We present an expanded expository account of the $K$-moment problem for polynomial algebras over $\R^d$, with special emphasis on compact basic closed semialgebraic sets. The central question is to characterize those linear functionals on $\R[x_1,\dots,x_d]$ which admit representation by integration against a positive Radon measure supported on a prescribed set $K\subseteq\R^d$. We begin with the classical background and with Haviland's formulation of the multidimensional moment problem, then explain how real algebraic geometry enters through quadratic modules, preorderings, and Positivstellensätze. The compact case is treated in detail from two complementary perspectives. The geometric route through Schmüdgen's theorem and the operator-theoretic route through a Gelfand--Naimark--Segal construction and the spectral theorem. We also discuss Putinar's refinement, compare the roles of $T(f)$ and $Q(f)$, and explain how Archimedeanity provides the algebraic shadow of compactness. In order to place the subject in a broader context, we survey determinacy and uniqueness questions, the truncated $K$-moment problem and flat extension phenomena, the relation with sums of squares and Hilbert's seventeenth problem, and the special case of algebraic varieties, where positivity modulo an ideal becomes especially transparent.

Free information geometry and the model theory of noncommutative stochastic processes

2026-04-14T02:40:20Z

We study entropy and optimal transport theory in the free probabilistic setting motivated by the large-$n$ theory of random tuples of matrices. We define a new version of free entropy $χ_{\operatorname{chron}}^{\mathcal{U}}$, which is concave along geodesics in the corresponding Wasserstein space. Moreover, the heat evolution satisfies the evolution variational inequality, which means that the heat evolution is the Wasserstein gradient flow for entropy in the metric sense. It also has further desirable properties such as a chain rule for iterated conditioning, and an expression in terms of stochastic control problems. This entropy is defined using microstate spaces of matrix approximations with respect to an expanded class of test functions called chronological formulas, which are constructed so as to be closed under taking partial suprema and infima and application of a free heat semigroup. These formulas are part of a novel framework for studying noncommutative filtrations and stochastic processes as metric structures in the sense of continuous model theory.

Actions of Fell bundles

2026-04-13T14:00:47Z

We introduce and study actions of Fell bundles over discrete groups on Hilbert bundles. Many examples of such actions are presented. We discuss the connection with positive definite bundle maps between Fell bundles, culminating in the unital case in a Gelfand-Raikov type theorem. We also use these actions to construct C*-correspondences over cross-sectional C*-algebras of Fell bundles.

Paterson compactifications, inverse limits and shadowing for Deaconu-Renault systems

2026-04-13T13:41:59Z

We develop a new metric and inverse-limit framework for Deaconu-Renault systems arising from local homeomorphisms between open subsets of locally compact zero-dimensional spaces. Our starting point is the Paterson-type compactification of infinite product spaces, which underlies several symbolic and groupoid models, including one-sided shifts over infinite alphabets and path spaces of graphs and higher-rank graphs. We construct an explicit compatible ultrametric on this compactification and give a concrete description of its generalized cylinder topology and convergence. Within this framework, we introduce an inverse-limit-type space naturally associated to a Deaconu-Renault system. In contrast with the classical compact theory, the correct inverse-limit object must incorporate not only infinite backward orbits but also finite configurations arising as limits of such orbits. This produces a canonical shift system extending the original dynamics. We then study shadowing in the ultrametric setting. For spaces admitting tame defining sequences, we characterize shadowing in terms of the defining partitions, extending the topological description of shadowing from compact zero-dimensional dynamics to the locally compact setting relevant for Deaconu-Renault systems. As a main application, we prove a transfer theorem showing, under a separation property expressed through uniformly contracting inverse branches, that shadowing for the inverse-limit Deaconu-Renault system is equivalent to shadowing for the compactified base system. This provides a noncompact inverse-limit shadowing theory for a broad class of partially defined local-homeomorphism dynamics.

Algebraic actions II. Groupoid rigidity

2026-04-13T11:26:59Z

We establish rigidity for partial transformation groupoids associated with algebraic actions of semigroups: If two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions rationally embed in each other. For specific example classes arising for instance from toral endomorphisms, actions from rings, or actions from commutative algebra, this mutual embedability can be improved in various ways to obtain surprisingly strong rigidity phenomena. This is witnessed in a particularly striking fashion for actions arising from algebraic number theory: We prove that the groupoids associated with the action of the multiplicative monoid of non-zero elements in a ring of algebraic integers on the additive group of the ring remembers the initial algebraic action up to isomorphism, which in turn remembers the isomorphism class of the ring. This resolves an open problem about isomorphisms of Cartan pairs and leads to a dynamical analogue of the Neukirch--Uchida theorem using topological full groups.