Related papers: AC-KBO Revisited
Let A and B be bounded operators on a Banach lattice E such that the commutator C=AB-BA and the product BA are positive operators. If the product AB is a power-compact operator, then C is a quasi-nilpotent operator having a triangularizing…
An axiomatic theory of operator connections and operator means was investigated by Kubo and Ando in 1980. A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the…
Defining conditions for irreducible tensor operators associated with the unitary irreducible corepresentations of compact quantum group algebras are deduced within the framework of the abstract carrier space formalism. It is shown that…
We reorganize, simplify and expand the theory of contractions or interior products of multivectors, and related topics like Hodge star duality. Many results are generalized and new ones are given, like: geometric characterizations of blade…
There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…
Bloch theorem for a periodic operator is being revisited here, and we notice extra orthogonality relationships. It is shown that solutions are bi-periodic, in the sense that eigenfunctions are periodic with respect to one argument, and…
We prove index formulas for elliptic operators acting between sections of C*-vector bundles on a closed manifold. The formulas involve Karoubi's Chern character from K-theory of a C*-algebra to de Rham homology of smooth subalgebras. We…
S. Gudder and, later, S. Pulmanova and E. Vincekova, have studied in two recent papers a certain ordering of bounded self-adjoint operators on a Hilbert space. We present some further results on this ordering and show that some structure…
The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing…
To each algebra over the complex numbers we associate a sequence of abelian groups in a contravariant functorial way. In degree (m-1) we have the m-summable Fredholm modules over the algebra modulo stable m-summable perturbations. These new…
In this paper we describe multigraded generalizations of some constructions useful for mathematical understanding of gauge theories: we perform a near-at-hand generalization of the Aleksandrov--Kontsevich--Schwarz--Zaboronsky procedure, we…
The problem of ordering operators has afflicted quantum mechanics since its foundation. Several orderings have been devised, but a systematic procedure to move from one ordering to another is still missing. The importance of establishing…
Reynold's abstraction theorem is now a well-established result for a large class of type systems. We propose here a definition of relational parametricity and a proof of the abstraction theorem in the Calculus of Inductive Constructions…
We investigate the relations between the Grothendieck group of coherent modules of an algebraic variety and its Chow group of algebraic cycles modulo rational equivalence. Those are in essence torsion phenomena, which we attempt to control…
We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as…
This article explores an operational model for transition amplitudes between measurements proposed by Goyal et al. within the quantum reconstruction program. To classify suitable amplitude algebras, we distinguish mathematical axioms,…
This is a survey of a variety of equivariant (co)homology theories for operator algebras. We briefly discuss a background on equivariant theories, such as equivariant $K$-theory and equivariant cyclic homology. As the main focus, we discuss…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
We construct a large family of commutative algebras of partial differential operators invariant under rotations. These algebras are isomorphic extensions of the algebras of ordinary differential operators introduced by Grunbaum and Yakimov…
The superposition calculus for reasoning in first-order logic with equality relies on simplification orderings on terms. Modern saturation provers use the Knuth-Bendix order (KBO) and the lexicographic path order (LPO) for discovering…