On the limiting Horn inequalities

2025-02-26T05:35:46Z

The Horn inequalities characterise the possible spectra of triples of $n$-by-$n$ Hermitian matrices $A+B=C$. We study integral inequalities that arise as limits of Horn inequalities as $n \to \infty$. These inequalities are parametrised by the points of an infinite-dimensional convex body, the asymptotic Horn system $\mathscr{H}[0,1]$, which can be regarded as a topological closure of the countable set of Horn inequalities for all finite $n$. We prove three main results. The first shows that arbitrary points of $\mathscr{H}[0,1]$ can be well approximated by specific sets of finite-dimensional Horn inequalities. Our second main result shows that $\mathscr{H}[0,1]$ has a remarkable self-characterisation property. That is, membership in $\mathscr{H}[0,1]$ is determined by the very inequalities corresponding to the points of $\mathscr{H}[0,1]$ itself. To illuminate this phenomenon, we sketch a general theory of sets that characterise themselves in the sense that they parametrise their own membership criteria, and we consider the question of what further information would be needed in order for this self-characterisation property to determine the Horn inequalities uniquely. Our third main result is a quantitative result on the redundancy of the Horn inequalities in an infinite-dimensional setting. Concretely, the Horn inequalities for finite $n$ are indexed by certain sets $T^n_r$ with $1 \le r \le n-1$; we show that if $(n_k)_{k \ge 1}$ and $(r_k)_{k \ge 1}$ are any sequences such that $(r_k / n_k)_{k \ge 1}$ is a dense subset of $(0,1)$, then the Horn inequalities indexed by the sets $T^{n_k}_{r_k}$ are sufficient to imply all of the others.

Reciprocal Cuntz--Krieger algebras

2025-02-25T11:48:46Z

Reciprocality in Kirchberg algebras is a duality between strong extension groups and K-theory groups. We describe a construction of the reciprocal dual algebra $\widehat{\mathcal{A}}$ for a Kirchberg algebra $\mathcal{A}$ with finitely generated K-groups via K-theoretic duality for extensions. In particular, we may concretely realize the reciprocal algebra $\widehat{\mathcal{O}}_A$ for simple Cuntz--Krieger algebras $\mathcal{O}_A$. As a result, the algebra $\widehat{\mathcal{O}}_A$ is realized as a unital simple purely infinite universal $C^*$-algebra generated by a family of partial isometries subject to certain operator relations. We will also study gauge actions on the reciprocal algebra $\widehat{\mathcal{O}}_A$ and prove that there exists an isomorphism between the fundamental groups $\pi_1({\operatorname{Aut}}({\mathcal{O}}_A))$ and $\pi_1({\operatorname{Aut}}(\widehat{\mathcal{O}}_A))$ preserving their gauge actions.

Absolute dilation of Fourier multipliers

2025-02-25T09:15:41Z

Let ${\mathcal M}$ be a von Neumann algebra equipped with a normal semifinite faithful (nsf) trace. We say that an operator $T :{\mathcal M}\to {\mathcal M}$ is absolutely dilatable if there exist another von Neumann algebra $M$ with an nsf trace, a unital normal trace preserving $\ast$-homomorphism $J: {\mathcal M} \to M$, and a trace preserving $\ast$-automorphism $U: M \to M$ such that $T^k = {\mathbb E}_J U^k J \quad \text{for all } k \geq 0,$ where ${\mathbb E}_J: M \to {\mathcal M}$ is the conditional expectation associated with $J$. For a discrete amenable group $G$ and a function $u:G\to\mathbb{C}$ inducing a unital completely positive Fourier multiplier $M_u: VN(G) \to VN(G)$, we establish the following transference theorem: the operator $M_u$ admits an absolute dilation if and only if its associated Herz-Schur multiplier does. From this result, we deduce a characterization of Fourier multipliers with an absolute dilation in this setting. Building on the transference result, we construct the first known example of a unital completely positive Fourier multiplier that does not admit an absolute dilation. This example arises in the symmetric group ${\mathcal S}_3$, the smallest group where such a phenomenon occurs. Moreover, we show that for every abelian group $G$, every Fourier multiplier always admits an absolute dilation.

Almost Representations

2025-02-25T03:14:27Z

Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a countable discrete amenable group. We prove the following: For any $\epsilon>0,$ any finite subset ${\cal F}\subset G,$ and $0<\sigma\le 1,$ there exists $\delta>0,$ finite subsets ${\cal G}\subset G$ and ${\cal S}\subset {\bf C}[G]$ satisfying the following property: For any map $\phi: G\to U(B(H))$ such that $$ \|\phi(fg)-\phi(f)\phi(g)\|<\delta\,\,\,for\,\, all\,\, f,g\in {\cal G}\,\,\, and \,\,\, \|\pi\circ \tilde \phi(x)\|\ge \sigma \|x\|\,\,\, for\,\, all\,\, x\in {\cal S}, $$ there is a group homomorphism $h: G\to U(B(H))$ such that $$ \|\phi(f)-h(f)\|<\epsilon\,\,\, for\,\,\, all\,\,\, f\in {\cal F}, $$ where $\tilde \phi$ is the linear extension of $\phi$ on the group ring ${\bf C}[G]$ and $\pi: B(H)\to B(H)/{\cal K}$ is the quotient map. A counterexample is given that the fullness condition above cannot be removed. We actually prove a more general result for separable amenable $C^*$-algebras.

On the thermodynamic limit of interacting fermions in the continuum

2025-02-24T18:28:13Z

We study the dynamics of non-relativistic fermions in $\mathbb R^d$ interacting through a pair potential. Employing methods developed by Buchholz in the framework of resolvent algebras, we identify an extension of the CAR algebra where the dynamics acts as a group of *-automorphisms, which are continuous in time in all sectors for fixed particle numbers. In addition, we identify a suitable dense subalgebra where the time evolution is also strongly continuous. Finally, we briefly discuss how this framework could be used to construct KMS states in the future.

Viscosity Solutions in Non-commutative Variables

2025-02-24T17:01:51Z

Motivated by parallels between mean field games and random matrix theory, we develop stochastic optimal control problems and viscosity solutions to Hamilton-Jacobi equations in the setting of non-commutative variables. Rather than real vectors, the inputs to the equation are tuples of self-adjoint operators from a tracial von Neumann algebra. The individual noise from mean field games is replaced by a free semi-circular Brownian motion, which describes the large-$n$ limit of Brownian motion on the space of self-adjoint matrices. We introduce a classical common noise from mean field games into the non-commutative setting as well, allowing the problems to combine both classical and non-commutative randomness.

Remarks on Nahm sums for symmetrizable matrices

2025-02-24T13:36:38Z

Nahm sums are specific $q$-hypergeometric series associated with symmetric positive definite matrices. In this paper we study Nahm sums associated with symmetrizable matrices. We show that one direction of Nahm's conjecture, which was proven by Calegari, Garoufalidis, and Zagier for the symmetric case, also holds for the symmetrizable case. This asserts that the modularity of a Nahm sum implies that a certain element in a Bloch group associated with the Nahm sum is a torsion element. During the proof, we investigate the radial asymptotics of Nahm sums. Finally, we provide lists of candidates of modular Nahm sums for symmetrizable matrices based on numerical experiments.

Abstract semiclassical analysis of the van Hove model

2025-02-24T12:30:17Z

In this paper we study the semiclassical limit $\hslash\to 0$ of a completely solvable model in quantum field theory: the van Hove model, describing a scalar field created and annihilated by an immovable source. Despite its simplicity, the van Hove model possesses many characterizing features of quantum fields, especially in the infrared region. In particular, the existence of non-Fock ground and equilibrium states in the presence of infrared singular sources makes a representation-independent algebraic approach of utmost importance. We make use of recent representation-independent techniques of infinite dimensional semiclassical analysis to establish the Bohr correspondence principle for the dynamics, equilibrium states, and long-time asymptotics in the van Hove model.

Heat operators and isometry groups of Cuntz-Krieger algebras

2025-02-22T12:37:40Z

This paper introduces heat semigroups of topological Markov chains and Cuntz-Krieger algebras by means of spectral noncommutative geometry. Using recent advances on the logarithmic Dirichlet Laplacian on Ahlfors regular metric-measure spaces, we construct spectral triples on Cuntz-Krieger algebras from singular integral operators. These spectral triples exhaust odd K-homology and for Cuntz algebras we can compute their heat operators explicitly as Riesz potential operators. We also describe their isometry group in terms of the automorphism group of the underlying directed graph and prove that the Voiculescu noncommutative topological entropy vanishes on isometries.

Structure of operator algebras for matrix orthogonal polynomials

2025-02-22T04:11:22Z

In this paper, we study the structure of the differential operator algebra $ \mathcal{D}(W) $ and its associated eigenvalue algebra $ \Lambda(W) $ for matrix-valued orthogonal polynomials. While $ \Lambda(W) $ is isomorphic to $ \mathcal{D}(W) $, its simpler framework allows us to efficiently derive strong results about $ \mathcal{D}(W) $ and its center $ \mathcal{Z}(W) $. We analyze the behavior of the center under Darboux transformations, establishing explicit relationships between the centers of Darboux-equivalent weights. These results are illustrated through the study of both reducible and irreducible matrix weights, including a detailed analysis of an irreducible Jacobi-type weight.

Spectral Theory for Non-full Commutative C*-categories

2025-02-22T02:19:32Z

We extend the spectral theory of commutative C*-categories to the non full-case, introducing a suitable notion of spectral spaceoid provinding a duality between a category of "non-trivial" *-functors of non-full commutative C*-categories and a category of Takahashi morphisms of "non-full spaceoids" (here defined). As a byproduct we obtain a spectral theorem for a non-full generalization of imprimitivity Hilbert C*-bimodules over commutative unital C*-algebras via continuous sections vanishing at infinity of a Hilbert C*-line-bundle over the graph of a homeomorphism between open subsets of the corresponding Gel'fand spectra of the C*-algebras.

A Cuntz-Krieger uniqueness theorem for $L^p$-operator graph algebras

2025-02-21T17:01:38Z

We continue the study $L^p$-operator algebras associated with directed graphs initiated by Corti\~nas and Rodriguez. We establish an $L^p$-analog of the Cuntz-Krieger uniqueness theorem, proving that for a countable graph $Q$ in which every cycle has an entry, a spatial Cuntz-Krieger family in an $L^p$-space generates an injective representation as soon as the idempotents associated to the vertices of $Q$ are nonzero. Additionally, we show that for acyclic graphs, these representations are automatically isometric. While our general approach is inspired by the proofs in the C*-algebra setting, a careful analysis of spatial representations of graphs on $L^p$-spaces is required. In particular, we exploit the interplay between analytical properties of Banach algebras, such as the role of hermitian elements, and geometric notions specific to $L^p$-spaces, such as spatial implementation.

On the socle of a class of Steinberg algebras

2025-02-21T16:34:41Z

We study minimal left ideals in Steinberg algebras of Hausdorff groupoids. We establish a relationship between minimal left ideals in the algebra and open singletons in the unit space of the groupoid. We apply this to obtain results about the socle of Steinberg algebras under certain hypotheses. This encompasses known results about Leavitt path algebras and improves on Kumjian-Pask algebra results to include higher-rank graphs that are not row-finite.

The Novikov conjecture, the group of diffeomorphisms and continuous fields of Hilbert-Hadamard spaces

2025-02-21T16:04:46Z

In this paper, we prove the Novikov conjecture for a class of highly non-linear groups, namely discrete subgroups of the diffeomorphism group of a compact smooth manifold. This removes the volume-preserving condition in a previous work. This result is proved by studying operator $K$-theory and group actions on continuous fields of infinite dimensional non-positively curved spaces.

The ideal structure of C*-algebras of etale groupoids with isotropy groups of local polynomial growth

2025-02-21T12:42:53Z

Given an amenable second countable Hausdorff locally compact \'etale groupoid $\mathcal G$ such that each isotropy group~$\mathcal G^x_x$ has local polynomial growth, we give a description of $\operatorname{Prim} C^*(\mathcal G)$ as a topological space in terms of the topology on $\mathcal G$ and representation theory of the isotropy groups and their subgroups. The description simplifies when either the isotropy groups are FC-hypercentral or $\mathcal G$ is the transformation groupoid $\Gamma\ltimes X$ defined by an action $\Gamma\curvearrowright X$ with locally finite stabilizers. To illustrate the class of C$^*$-algebras for which our results can provide a complete description of the ideal structure, we compute the primitive spectrum of $\mathrm{SL}_3(\mathbb Z)\ltimes C_0(\mathrm{SL}_3(\mathbb R)/U_3(\mathbb R))$, where $U_3(\mathbb R)$ is the group of unipotent upper triangular matrices.