https://arxiv.org/api/f261MO8OQNoJEWpW17YmwX6Jc7g 2026-06-13T23:05:10Z 14233 150 15 http://arxiv.org/abs/2605.16025v1 2026-05-15T15:01:36Z

Starting from a thorough analysis of the conjugate $\overline{H}$ of a complex Hilbert space $H$, including its significant importance regarding a representation of the tensor product of two complex Hilbert spaces and its impact to the theorem of Fréchet-Riesz over to a revisit of applications of nuclear and absolutely $p$-summing operators in algebraic quantum field theory (AQFT) in the sense of Araki, Haag and Kastler ($p=2$) and more recently in the framework of general probabilistic spaces ($p=1$), we will outline that Banach operator ideals in the sense of Pietsch, or equivalently tensor products of Banach spaces in the sense of Grothendieck are even lurking in the foundations and philosophy of quantum physics and quantum information theory. In particular, we concentrate on their importance in AQFT (Theorem 5.27). In doing so, we revisit the role of trace-class operators in quantum theory and construct the enveloping $\tup{C}^\adj$-algebra, corresponding to an arbitrarily given normed operator ideal (Proposition 5.3 and Theorem 5.5). Applications are presented, including a purely linear algebraic description of the quantum teleportation process, thereby showing a link to quantum information theory, also due to the emergence of the Hadamard-Walsh transform and the controlled NOT gate (Example 4.18). All Hilbert spaces discussed in this paper may be nonseparable (and hence infinite-dimensional).

2026-05-15T15:01:36Z This paper should be viewed as a strongly enhanced (and slightly corrected) version of the paper arXiv:2308.04627 which I withdrew from the arXiv server on my own initiative Frank Oertel http://arxiv.org/abs/2605.15953v1 2026-05-15T13:44:26Z

We consider a quantum system described by a quantum channel $Φ$ that is applied at every time step and study the time evolution of its information capacities. When $Φ$ is a GNS-symmetric channel (this includes Pauli channels, for example), we give explicit exponential convergence bounds for the classical and quantum capacities. These bounds are in terms of entropic properties of $Φ$. We further illustrate how these results help quantify the performance of active versus passive error-correction setups.

2026-05-15T13:44:26Z Omar Fawzi Li Gao Mizanur Rahaman Mostafa Taheri http://arxiv.org/abs/2605.15861v1 2026-05-15T11:23:25Z

We consider a class of C*-algebras C(X) associated with quantum spaces such as spheres, projective spaces, and lens spaces. We introduce a non-self-adjoint operator algebra A together with an explicit functor from the category of representations of A to that of C(X). We then construct explicitly a family of one-dimensional representations of A that parametrise the entire spectrum of C(X).

2026-05-15T11:23:25Z 15 pages Arnaud Brothier http://arxiv.org/abs/2605.16463v1 2026-05-15T08:42:31Z

Traditional entanglement distillation follows a post-processing paradigm, a noisy quantum state, after full transmission through a noisy channel, is treated as a static resource to be purified via LOCC (local operations and classical communication). This work demonstrates a fundamentally different paradigm,pre-channel entanglement shaping (PES) -- actively engineering the system-environment coupling before or during channel transmission -- achieves a level of purification capability that is physically unattainable by any post-distillation protocol. We prove this separation using the framework of geometric entropy (quantum relative entropy to separable states). In post-distillation, the protocol can only select low-entropy sub-ensembles from a fixed mixed state, leaving the global geometric entropy unchanged or increased. In contrast, PES \textit{suppresses the rate of geometric entropy production} during channel evolution, resulting in a final state whose relative entropy of entanglement strictly exceeds the maximum achievable by post-distillation from the same channel. We provide explicit qubit channel examples, numerical simulations (with complete code in Appendix), and a geometric interpretation on the state manifold. Our result establishes pre-channel entanglement shaping as a distinct operational resource class, with immediate implications for quantum repeaters and entanglement-assisted communication. Very recently, Li \textit{et al.} experimentally demonstrated that preprocessing the entangling channel with optimally tailored local unitaries achieves entanglement fidelities unreachable by any postprocessing, revealing an intrinsic temporal asymmetry in entanglement distillation~\cite{Li2025}.

2026-05-15T08:42:31Z Gang Lyu Wenlong Sun Yuanfeng Jin Hua Nan http://arxiv.org/abs/2509.24106v3 2026-05-14T22:43:22Z

Given a locally compact group $G$, a nondegenerate Banach algebra $A$ with a contractive approximate identity, a twisted action $(α, σ)$ of $G$ on $A$, and a family $\mathcal{R}$ of uniformly bounded representations of $A$ on Banach spaces, we define the twisted crossed product $F_\mathcal{R}(G,A,α, σ)$. When $\mathcal{R}$ consists of contractive representations, we show that $F_\mathcal{R}(G,A,α, σ)$ is a Banach algebra with a contractive approximate identity, which can also be characterized by an isometric universal property. As an application, we specialize to the $L^p$-operator algebra setting, defining both the $L^p$-twisted crossed product and the reduced version. Finally, we give a generalization of the so-called Packer-Raeburn trick to the $L^p$-setting, showing that any $L^p$-twisted crossed product is "stably" isometrically isomorphic to an untwisted one.

2025-09-28T22:52:22Z AMSLaTeX; 30 pages (v3: Final version accepted to the Journal of Mathematical Analysis and Applications) J. Math. Anal. Appl. 563 (2026) 130798 Alonso Delfín Carla Farsi Judith Packer 10.1016/j.jmaa.2026.130798 http://arxiv.org/abs/2510.03382v5 2026-05-14T18:53:03Z

Let $(\mathcal{A},\mathrm{tr})$ be a von Neumann algebra with a faithful, normal trace $\mathrm{tr}:\mathcal{A}\rightarrow\mathbb{C}.$ For each $a\in\mathcal{A},$ define \[ S(λ,\varepsilon)=\mathrm{tr}[\log((a-λ)^{\ast}(a-λ)+\varepsilon)],\quadλ\in\mathbb{C},~\varepsilon>0, \] so that the limit as $\varepsilon\rightarrow0^{+}$ of $S$ is the log potential of the Brown measure of $a.$ Suppose that for a fixed $λ\in\mathbb{C},$ the function \[ \varepsilon\mapsto\frac{\partial S}{\partial\varepsilon}(λ,\varepsilon)=\mathrm{tr}[((a-λ)^{\ast}(a-λ)+\varepsilon )^{-1}] \] admits a real analytic extension to a neighborhood of $0$ in $\mathbb{R}.$ Then we will show that $λ$ is outside the spectrum of $a.$ We will apply this result to several examples involving circular and elliptic elements, as well as free multiplicative Brownian motions. In most cases, we will show that the spectrum of the relevant element $a$ coincides with the support of its Brown measure.

2025-10-03T15:52:14Z 37 pages, 7 figures. To appear in Advanced Nonlinear Studies. Typo corrected in Eq. (3.11) since previous version Brian C. Hall Ching-Wei Ho http://arxiv.org/abs/2605.15272v1 2026-05-14T18:00:02Z

The Rényi quantum null energy condition conjectures that the second null shape variation of the sandwiched Rényi divergence (SRD) of an excited state relative to the vacuum is non-negative in local Poincaré-invariant quantum field theory, giving a one-parameter generalization of the quantum null energy condition (QNEC). We prove Rényi QNEC for all integer Rényi parameters $n\geq 2$ for von Neumann algebras carrying a half-sided modular inclusion structure. The only assumption on the excited state is finiteness of its SRD relative to the vacuum. Concretely, for any $σ$-finite von Neumann algebra with such an inclusion, we prove log-convexity, under the associated null-translation semigroup, of the Kosaki $L^n$ norm of any normal positive functional with finite $L^n$ norm.

2026-05-14T18:00:02Z 53 pages, 1 figure Tanay Kibe Pratik Roy http://arxiv.org/abs/2604.08380v2 2026-05-14T14:45:21Z

We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving (PTP) maps and clarify its mathematical structure in terms of minimal sufficient Jordan algebras, which can be seen to generalize the Koashi-Imoto decomposition to the PTP setting. In particular, we show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra, and hence also the minimal sufficient *-algebra corresponding to the Koashi-Imoto decomposition. As applications, we show that a) equality in the data-processing inequality for the relative entropy or the $α$-$z$ quantum Rényi divergence implies the existence of a recovery map also in the PTP case and b) that two dichotomies can be interconverted by PTP maps if and only if they can be interconverted by decomposable, trace-preserving maps. We thoroughly review the necessary mathematical background on Jordan algebras. As a step beyond the finite-dimensional case, we prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.

2026-04-09T15:42:35Z 58 pages total; Comments welcome! Lauritz van Luijk Henrik Wilming http://arxiv.org/abs/2605.14778v1 2026-05-14T12:45:07Z

Let $G$ be a compact Lie group that acts smoothly on a closed manifold $M$. Using a general Simonenko principle, we derive a novel criterion for the Fredholm property of $G$-pseudodifferential operators acting on Sobolev spaces of sections of vector bundles over $M$. In case the group is finite, we obtain a further characterization of the Fredholm property of $G$-pseudodifferential operators in terms of the invertibility of suitable symbols.

2026-05-14T12:45:07Z Alexandre Baldare Anton Yu. Savin Elmar Schrohe http://arxiv.org/abs/2507.21537v3 2026-05-14T12:04:47Z

We investigate isometric and algebraic isomorphism problems for multiplier algebras associated with Dirichlet series kernels that possess the complete Nevanlinna-Pick (CNP) property. A central aspect of our work is the explicit determination of the multiplier variety associated with each CNP Dirichlet series kernel, via polynomial equations derived from the arithmetic structure of the associated weight and frequency data. This description of multiplier varieties enables us to classify when the multiplier algebras of a signifincant class of CNP Dirichlet series kernels are isomorphic, or isometrically isomorphic. In this setting, a striking rigidity phenomenon emerges whereby the multiplier algebra determines the kernel up to natural equivalence. The results established for CNP Dirichlet series kernels also extend to classical CNP kernels, yielding new results for the associated multiplier algebras even in the classical setting. As an application, we resolve an open problem posed by McCarthy and Shalit ([19]).

2025-07-29T07:10:59Z 38 pages. An updated version. Any suggestions or comments are most welcome Hamidul Ahmed B. Krishna Das Chaman Kumar Sahu http://arxiv.org/abs/2601.08779v2 2026-05-14T07:33:29Z

Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann factors: any two such maps agreeing on traces and total $K$-theory are unitarily equivalent. There are two consequences. Firstly if one takes the factors to be a sequence $(M_{k_n})_{n}$ of matrix algebras, we obtain a uniqueness result for quasidiagonal approximations of $A$. Secondly, when $(\mathcal M,τ_{\calM})$ is a II$_1$ factor, a pair $φ,ψ:A\to\mathcal M$ of unital, injective and nuclear maps are norm approximately unitarily equivalent if and only if $τ_{\mathcal M}\circφ=τ_{\mathcal M}\circψ$. The main strategy is to use Schafhauser's classification of lifts along the trace--kernel extension. Since our codomains may lack the tensorial absorption properties needed in this work, the main new ingredient is a suitable $KK$-uniqueness theorem tailored to our situation. This is inspired by $KK$-uniqueness theorems of Loreaux, Ng and Sutradhar.

2026-01-13T18:09:47Z 42 pages; small changes. Adv. Math., to appear Shanshan Hua Stuart White http://arxiv.org/abs/2510.22742v3 2026-05-13T18:48:46Z

In this paper I study properties of the generators $\triangle_γ$ of non-local Dirichlet forms $\mathcal{E}^μ_γ$ on ultrametric spaces which are the path space of simple stationary Bratteli diagrams. The measures used to define the Dirichlet forms are taken to be the Gibbs measures $μ_ψ$ associated to Hölder continuous potentials $ψ$ for one-sided shifts. I also define a cohomology $H_{lc}(X_B)$ for $X_B$ which can be seen as dual to the homology of Bowen and Franks. Besides studying spectral properties of $\triangle_γ$, I show that for $γ$ large enough (with sharp bounds depending on the diagram and the measure theoretic entropy $h_{μ_ψ}$ of $μ_ψ$) there is a unique $\mathcal{E}^μ_γ$-minimizing representative of any class $c\in H_{lc}(X_B)$.

2025-10-26T16:32:55Z Comments welcome Rodrigo Treviño http://arxiv.org/abs/2605.13774v1 2026-05-13T16:52:14Z

Using techniques from the theory of von Neumann algebras, we propose a framework for addressing questions of controllability of bilinear systems on infinite dimensional Hilbert spaces. In the setup, we assume only that the drift and control terms arising in a bilinear control system are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space. When the control terms satisfy basic norm bound conditions, we prove existence of time-optimal controls. In the more general setting where all operators may be unbounded, we show how the dynamical Lie algebra for the system is still well-defined and may be used to check approximate controllability of the system in question. We discuss how this approach can be applied to classical dynamical systems through the Koopman operator formalism, and investigate potential candidates for the von Neumann algebra which may guide the choice of controls. We illustrate how an affiliation relation naturally arises in both classical and quantum control systems with a few examples.

2026-05-13T16:52:14Z 30 pages, no figures Dimitrios Giannakis Gage Hoefer http://arxiv.org/abs/2511.15867v3 2026-05-13T15:35:28Z

In classical model theory, the Keisler--Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous relationship holds in the framework of continuous model theory, which naturally encompasses metric structures such as $\mathrm{C}^\ast$-algebras. In this paper, we investigate the isomorphism problem for ultraproducts of operator algebras from a model-theoretic perspective. We prove that, assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital $\mathrm{C}^\ast$-algebras $A$ and $B$, whose density characters are at most $\mathfrak c$, such that for all non-principal ultrafilters $\mathcal U, \mathcal V$ on $ω$, the ultrapowers $A^{\mathcal U}$ and $B^{\mathcal V}$ are not isomorphic. This result provides a continuous analogue of certain classical theorems concerning ultraproducts and demonstrates that the model-theoretic behavior of $\mathrm{C}^\ast$-algebras is closely related to set-theoretic principles such as the continuum hypothesis.

2025-11-19T20:44:46Z Akihiko Arai http://arxiv.org/abs/2605.13419v1 2026-05-13T12:14:17Z

For given unital complex Banach algebras $\mathcal{A}_1$ and $\mathcal{A}_2$, let $\mathfrak{M}$ be a Banach module acting between them. Let $a\in \mathcal{A}_1$, $b\in\mathcal{A}_2$, and $c\in\mathfrak{M}$ be provided such that $σ_{\mathcal{A}_1}(a)\capσ_{\mathcal{A}_2}(b) \neq\emptyset$. In this paper we completely characterize the consistency of the Sylvester equation $$ax-xb=c.$$ Precisely, we establish verifiable sufficient and necessary solvability conditions, and we provide some formulas for particular solutions $x\in\mathfrak{M}$ when the equation is solvable. Moreover, we characterize the uniqueness of the solutions.

2026-05-13T12:14:17Z Bogdan Djordjević