Polynomials in $c$-free random variables with applications to free denoising

2026-03-22T19:08:02Z

We study distributions of polynomials in conditionally free (c-free) random variables, a notion of independence for two-state noncommutative probability spaces introduced by Bozejko, Leinert and Speicher. To this end we establish recursive relations between the joint Boolean cumulants of c-free random variables, analogous to previously found recursions for Boolean cumulants of free random variables. The algebraic reformulation of these recursions on the free associative algebra provides an effective formal machinery for the computation of the moment generating functions and thus the distributions of arbitrary self-adjoint polynomials in c-free random variables. As an application of a recent observation, our approach can be used to determine conditional expectations of the form $E[a|P(a,b)]$, where $P(a,b)$ is a self-adjoint polynomial in free (in the sense of Voiculescu) random variables $a,b$. We illustrate this with an example where $P(a,b)=i[a,b]$. Finally we define orthogonal projections that formally play the role of conditional expectations in the framework of c-freeness and share some properties with the conditional expectations of free variables. In particular they can be used to re-derive by purely algebraic methods the formula of Popa and Wang for the $Σ$-transform for the c-free multiplicative convolution.

The MF property for amalgamated free products

2026-03-22T18:59:33Z

A C*-algebra (or a group) is called MF (matricial field) if it admits finite dimensional approximate unitary representations which are approximately injective, where approximately is meant with respect to the operator norm. It is proved that for any MF C*-algebra $A$ and its C*-subalgebra $C$, $A\ast_C A$ is MF. For general amalgamated free products, $A\ast_C B$, a necessary and sufficient condition for being MF is given. It is shown that the following groups -- amalgamated free products of amenable groups, semidirect products of amenable groups by free groups, and $\mathbb Z^2\rtimes SL_2(\mathbb Z)$ -- all have MF full group C*-algebra. It is shown that the class of MF C*-algebras is closed under maximal tensor products with $C^*(\mathbb F_n)$.

Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids

2026-03-21T15:42:51Z

We establish two structural results for Moore homology of ample groupoids. First, for every ample groupoid $\mathcal{G}$ and every discrete abelian coefficient group $A$, we prove a universal coefficient theorem relating the homology groups $H_n(\mathcal{G};A)$ to the integral Moore homology of $\mathcal{G}$. More precisely, we obtain a natural short exact sequence $$ 0 \longrightarrow H_n(\mathcal{G};\mathbb{Z})\otimes_{\mathbb{Z}} A \xrightarrow{κ_n^{\mathcal{G}}} H_n(\mathcal{G};A) \xrightarrow{ι_n^{\mathcal{G}}} \operatorname{Tor}_1^{\mathbb{Z}}\bigl(H_{n-1}(\mathcal{G};\mathbb{Z}),A\bigr) \longrightarrow 0. $$ Second, for a decomposition of the unit space into clopen saturated subsets, we prove a Mayer-Vietoris long exact sequence in Moore homology. The proof is carried out at the chain level and is based on a short exact sequence of Moore chain complexes associated to the corresponding restricted groupoids. These results provide effective tools for the computation of Moore homology. We also explain why the discreteness of the coefficient group is essential for the universal coefficient theorem.

Lindblad-Deformed Spectral Geometry: Heat-Kernel Asymptotics and Effective Spectral Dimension

2026-03-20T22:28:25Z

We introduce a Lindblad-deformed spectral geometric framework in which bounded dissipative data deform a standard spectral triple through the Dirac operator D_gamma = D - igammaSigma, where Sigma = (1/2) sum_k L_k^dagger L_k is constructed from Lindblad jump operators {L_k}. The associated positive operator Q_gamma = D_gamma^* D_gamma = D^2 + gamma^2 Sigma^2 - i*gamma [D, Sigma] is identified as the correct spectral-geometric observable. For smooth endomorphism-valued Lindblad data, Q_gamma is of Laplace type and admits a standard heat-kernel asymptotic expansion with dissipation-modified even Seeley-DeWitt coefficients. For the scalar deformation L = sqrt(gamma) f with f in C^infty(M) real-valued, we prove that the first-order Duhamel correction to the heat trace K_gamma(sigma) = Tr(exp(-sigma Q_gamma)) vanishes identically, so that the first nontrivial dissipative effect appears at order gamma^4. We identify the exact Duhamel-level decomposition of the O(gamma^4) correction into a direct W_2 insertion and a quadratic W_1 x W_1 term. In the round S^2 model we determine the explicit deformed operator and extract the leading local asymptotic contribution of the W_2 sector. We define the effective scale-dependent spectral dimension d_{s,eff}(sigma,gamma) = -2 d/d(log sigma) log K_gamma(sigma) and identify its leading perturbative deformation.

Annealed almost periodic entropy

2026-03-20T16:29:53Z

This work studies certain notions of entropy that can be associated to (i) a representation of a separable, unital C*-algebra $\mathfrak{A}$ and (ii) an auxiliary random sequence $(π_n)_{n\ge 1}$ of finite-dimensional representations of $\mathfrak{A}$. This continues a previous research program into the properties of these entropy notions when each $π_n$ is deterministic, which uncovered a range of analogies with entropy in ergodic theory and also with non-commutative generalizations of Szegő's limit theorems. We associate two new notions of entropy to data as in (i) and (ii) above: `annealed' AP entropy, which is roughly a kind of first-moment average of deterministic AP entropies; and `zeroth-order' AP entropy, which controls the large deviations probabilities that certain positive definite functions appear in the representations $π_n$ at all. After developing some of this general theory, we then focus on the special case in which $\mathfrak{A}$ is the group C*-algebra of a finitely-generated free group and each $π_n$ is generated by choosing a tuple of $n$-by-$n$ unitary matrices independently at random from Haar measure. In that case, explicit formulas can be derived for some of our notions of entropy, and new large deviations principles in random matrix theory are obtained as a consequence.

Koopman and transfer operator techniques from the perspective of quantum theory

2026-03-20T16:27:25Z

The study of mathematical connections between operator-theoretic formulations of classical dynamics and quantum mechanics began at least as early as the 1930s in work of Koopman and von Neumann and was developed in later decades by many authors, often independently, into a framework now broadly known as Koopman-von Neumann representation of classical dynamics. This article surveys aspects of this framework for measure-preserving ergodic dynamical systems and connects it with recent approximation techniques for Koopman and transfer operators that are amenable to data-driven numerical implementation. In broad terms, these methods are based on representations of (i) classical observables as elements of an algebra of operators acting on a Hilbert space; and (ii) classical probability measures as elements of the state space of that algebra, with lifted versions of the Koopman and transfer operators inducing dynamical evolution of observables and states, respectively. A common theme underlying the techniques surveyed here is the use of reproducing kernel Hilbert spaces with coalgebra structure (so-called "reproducing kernel Hilbert algebras'') that aids the quantum representation of classical objects, as well as the use of Fock spaces to build approximation schemes with high expressivity and structure preservation properties (notably, preservation of positivity and multiplicativity of composition operators). Applications to quantum algorithms for approximating the Koopman evolution of observables in systems with pure point spectra are also discussed.

Entropy and determinants for unitary representations

2026-03-20T16:12:53Z

Ergodic theory includes several notions of entropy for probability-preserving actions of countable groups. These include Kolmogorov--Sinai entropy based on Følner sequences for amenable groups, entropy defined using a random ordering of the group, and Bowen's sofic entropy for sofic groups. In this work we pursue these notions across an analogy between ergodic theory and representation theory. We arrive at new quantities associated to unitary representations of groups and representations of other C*-algebras. Our main results show that these new quantities can often be evaluated as Fuglede--Kadison determinants. The resulting determinantal formulas offer various non-commutative generalizations of Szegő's limit theorem for Toeplitz determinants. They make contact with Arveson's theory of subdiagonal subalgebras, and also with some entropy formulas in the ergodic theory of actions by automorphisms of compact Abelian groups.

Free multiplicative convolution with an arbitrary measure on the real line

2026-03-20T13:42:19Z

We develop analytic tools for studying the free multiplicative convolution of any measure on the real line and any measure on the nonnegative real line. More precisely, we construct the subordination functions and the $S$-transform of an arbitrary probability measure. The important multiplicativity of $S$-transform is proved with the help of subordination functions. We then apply the $S$-transform to establish convolution identities for stable laws, which had been considered in the literature only for the positive and symmetric cases. Subordination functions are also used in order to extend Belinschi--Nica's semigroup of homomorphisms, and to establish regularity properties of free multiplicative convolution, in particular, the absence of singular continuous part and analyticity of the density.

Spectral finiteness, quantum norm continuity and classical points

2026-03-20T13:12:41Z

We prove various notions of uniform continuity for compact-quantum-group representations on Hilbert or Banach spaces equivalent to having finite spectrum, i.e. finitely many isotypic components. This generalizes the classical analogue for compact-group representations on Banach spaces, and relies in part on Riemann-Lebesgue-type decay properties for Fourier coefficients of elements in minimal tensor products with compact-quantum-group function algebras.

Bijective rigidity of uniform Roe algebras and injectivity of the comparison map

2026-03-20T07:51:07Z

We show that, for uniformly locally finite metric spaces $X$ and $Y$ with isomorphic uniform Roe algebras $C^*_u(X)$ and $C^*_u(Y)$, the existence of a bijective coarse equivalence $f \colon X \to Y$ is equivalent to the injectivity of the $0$th comparison map appearing in the HK conjecture for coarse groupoids. We further prove that the $0$th comparison map is injective unconditionally. Moreover, if the underlying space is coarsely connected, this map is in fact split-injective.

Time-Scaled Intertwining Cocycles and Identifiability of Multi-Semigroup Mixtures on Hilbert Operator Networks

2026-03-19T23:56:32Z

We prove that a network of dissipative semigroups $\mathcal S_i(t)=e^{-tA_i}$ admits time-scaled cocycles $K_{ij}\mathcal S_j(t)=\mathcal S_i(λ_{ij}t)K_{ij}$, $K_{ik}=K_{ij}K_{jk}$, if and only if the renormalized generators $\{τ_iA_i\}$ form a common isospectral class with matching eigenspace dimensions; the scaling factors are then rigid, $λ_{ij}=τ_i/τ_j$, and eigenspaces transport isomorphically across sectors. The operators $K_{ij}$ constitute parallel transport in a flat Hilbert bundle over the index network; flatness follows from the intertwining constraints, not assumed. The mixture observable $M(t)=\sum_i w_i\mathcal B_0K_{0i}\mathcal S_i(t)ψ_i$ reduces under finite spectral support to a structured exponential sum. Under spectral separation, sector tags are uniquely recoverable; under eigenspace observability, active state components are determined. Finite-window exact reconstruction holds from $2L$ samples. The stability bound $\|\widehatΘ-Θ_\ast\|_{\mathcal X}\le C_{\mathrm{stab}}κ_{\mathrm{exp}}\varepsilon$ holds with constants explicit in the spectral geometry and observability of the network.

Multivariate expansivity theory and Pierce-Birkhoff conjecture

2026-03-19T22:24:36Z

Motivated by the Pierce-Birkhoff conjecture, we launch an extension program for single variable expansivity theory. We study this notion under tuples of polynomials in the ring $\mathbb{R}[x_1,x_2,\ldots,x_n]$. As an application, we develop some class of inequalities to study the Pierce-Birkhoff conjecture.

One-ended spanning subforests and treeability of groups

2026-03-19T17:57:28Z

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical 3-manifold is either amenable or has strong ergodic dimension 2. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e. one-ended spanning subforests.

Spectral continuity of almost commutative manifolds for the $C^1$ topology on Riemannian metrics

2026-03-19T16:48:29Z

Almost commutative models provide a framework for Connes' work on the standard model of particle physics. These models are constructed as products of a the canonical spectral triple of a compact connected spin manifold with a finite dimensional spectral triple. Motivated by the fundamental question of the dependence of the spectra of Dirac operators under change of metrics, we prove the continuity of the spectra of Dirac operators for almost commutative models as functions of the underlying Riemannian metric. We allow both the Riemannian metric (in the $C^1$ topology) and the Dirac operator of the finite-dimensional factor to vary simultaneously. Since the physics of the system is fundamentally encoded in this spectrum, this result is a form of stability result regarding the geometry, or physical, content of these models. This result is based upon a novel approach to prove continuity of spectra of Dirac operators using the spectral propinquity. Notably, this method provides a new, different proof of the classical results as well. To illustrate the versatility of our new method, we also apply our results to completely non-commutative family of examples, including quantum tori and quantum solenoids.

On the best constants of Schur multipliers of higher order divided difference functions

2026-03-19T14:03:48Z

Let $f \in C^n(\mathbb{R})$ be such that $\Vert f^{(n)} \Vert_\infty < \infty$. Let $f^{[n]} \in C(\mathbb{R}^{n+1})$ be the $n$th order divided difference. A special case of our main result states that for $1 < p < \infty$ we have \[\Vert T_{f^{[n]}}: S_{np} \times \ldots \times S_{np} \rightarrow S_{p} \Vert \lesssim p^\ast p^n \Vert f^{(n)} \Vert_\infty, \] where $p^\ast = p/(p-1)$ is the Hölder conjugate of $p$ and $T_{f^{[n]}}$ is the multilinear Schur multiplier with symbol $f^{[n]}$. In case of the generalized absolute value map $f(λ) = λ^{n-1} \vert λ\vert, λ\in \mathbb{R}$, we show that \[p^\ast p^{n} \lesssim \Vert T_{f^{[n]}}: S_{np} \times \ldots \times S_{np} \rightarrow S_{p} \Vert.\] This provides an alternative proof to one of the key theorems in the solution of Koplienko's problem on higher order spectral shift [Invent. Math. 193, No. 3, 501-538 (2013)], which is moreover sharp as $p \searrow 1$ and as $p \to\infty$ for any $n$.