English
Related papers

Related papers: AC-KBO Revisited

200 papers

We use quantum harmonic analysis for densely defined operators to provide a simplified proof of the Berger-Coburn theorem for boundedness of Toeplitz operators. In addition, we revisit compactness and Schatten-class membership of densely…

Functional Analysis · Mathematics 2025-08-20 Vishwa Dewage , Mishko Mitkovski

We introduce $\lambda$KBO and $\lambda$LPO, two variants of the Knuth-Bendix order (KBO) and the lexicographic path order (LPO) designed for use with the $\lambda$-superposition calculus. We establish the desired properties via encodings…

Logic in Computer Science · Computer Science 2025-10-22 Alexander Bentkamp , Jasmin Blanchette , Matthias Hetzenberger

In this paper we extend the classical Korovkin theorems to the framework of comonotone additive, sublinear and monotone operators. Based on the theory of Choquet capacities, several concrete examples illustrating our results are also…

Classical Analysis and ODEs · Mathematics 2020-09-15 Sorin G. Gal , Constantin Niculescu

We prove a uniform vector-valued Wiener-Wintner Theorem for a class of operators that includes compositions of ergodic Koopman operators with contractive multiplication operators. Our results are new even in the case of complex-valued…

Functional Analysis · Mathematics 2025-03-20 Micky Barthmann , Sohail Farhangi

In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…

Algebraic Geometry · Mathematics 2022-10-25 Askold Khovanskii

The classical as well as non commutative Korovkin-type theorems deal with convergence of positive linear maps with respect to modes of convergences such as norm convergence and weak operator convergence. In this article, Korovkin-type…

Functional Analysis · Mathematics 2012-04-10 Kiran Kumar , M. N. N. Namboodiri , Stefano Serra-Capizzano

We extend recent work by Tremblay, Turbiner, and Winternitz which analyzes an infinite family of solvable and integrable quantum systems in the plane, indexed by the positive parameter k. Key components of their analysis were to demonstrate…

Mathematical Physics · Physics 2015-05-14 E. G. Kalnins , W. Miller , G. S. Pogosyan

We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of…

Functional Analysis · Mathematics 2007-05-23 Helge Glockner

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Category Theory · Mathematics 2016-01-07 Richard Garner , Ignacio López Franco

We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…

Quantum Algebra · Mathematics 2025-09-26 Yi-Zhi Huang

We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $\rho_{AB} \otimes \sigma_{C}^{-1} \leq \rho_{A} \otimes \sigma_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes'…

Operator Algebras · Mathematics 2025-09-10 Lauritz van Luijk , Alexander Stottmeister , Henrik Wilming

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

Operator Algebras · Mathematics 2025-03-25 James Gabe , Gábor Szabó

We prove a conjecture of Cautis and Sussan providing a categorification of the Boson-Fermion correspondence as formulated by Frenkel and Kac. We lift the Bernstein operators to infinite chain complexes in Khovanov's Heisenberg category H…

Representation Theory · Mathematics 2018-08-06 Nicolle Gonzalez

The Chern classes of a K-theory class which is represented by a vector bundle with connection admit refinements to Cheeger-Simons classes in Deligne cohomology. In the present paper we consider similar refinements in the case where the…

Differential Geometry · Mathematics 2007-05-23 U. Bunke

In this paper combinatorial aspects of normal ordering arbitrary words in the creation and annihilation operators of the q-deformed boson are discussed. In particular, it is shown how by introducing appropriate q-weights for the associated…

Quantum Physics · Physics 2007-07-07 Toufik Mansour , Matthias Schork , Simone Severini

A determinant in algebraic $K$-theory is associated to any two almost commuting Fredholm operators. On the other hand, one can calculate a homologically defined invariant known as joint torsion. We answer in the affirmative a conjecture of…

K-Theory and Homology · Mathematics 2014-09-24 Joseph Migler

We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…

K-Theory and Homology · Mathematics 2009-10-01 Hvedri Inassaridze , Tamaz Kandelaki

We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…

Logic · Mathematics 2021-10-13 Juan P. Aguilera , Anton Freund , Michael Rathjen , Andreas Weiermann

In this article we give a characterisation of the Baum-Connes assembly map with coefficients. The technical tools needed are the K-theory of C*-categories, and equivariant KK-theory in the world of groupoids.

K-Theory and Homology · Mathematics 2007-05-23 Paul D. Mitchener

In this article we use existing machinery to define connective $K$-theory spectra associated to topological ringoids. Algebraic $K$-theory of discrete ringoids, and the analytic $K$-theory of Banach categories are obtained as special cases.…

K-Theory and Homology · Mathematics 2007-11-15 Paul D. Mitchener