Related papers: AC-KBO Revisited
Reasoning in the presence of associativity and commutativity (AC) is well known to be challenging due to prolific nature of these axioms. Specialised treatment of AC axioms is mainly supported by provers for unit equality which are based on…
This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for the precedence are encoded in (pseudo-)propositional logic and the…
We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC;…
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
The Kubo-Ando theory deals with connections for positive bounded operators. On the other hand, in various analysis related to von Neumann algebras it is impossible to avoid unbounded operators. In this article we try to extend a notion of…
In this paper we define complex equivariant K-theory for actions of Lie groupoids using finite-dimensional vector bundles. For a Bredon-compatible Lie groupoid, this defines a periodic cohomology theory on the category of finite equivariant…
Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…
Inspired by recent works of Zang Liu, Alan Weinstein and Ping Xu, we introduce the notions of CC algebroids and non asymmetric Courant algebroids and study these structures. It is shown that CC algebroids of rank greater than 3 are the same…
Construction of a universal finite-type invariant can be reduced, under suitable assumptions, to the solution of certain equations (the hexagon and pentagon equations) in a particular graded associative algebra of chord diagrams. An…
Algorithms for computing congruence closure of ground equations over uninterpreted symbols and interpreted symbols satisfying associativity and commutativity (AC) properties are proposed. The algorithms are based on a framework for…
Comonotonicity (``same variation'') of random variables minimizes hedging possibilities and has been widely used, e.g., in Gilboa and Schmeidler's ambiguity models. This paper investigates anticomonotonicity (``opposite variation'';…
We introduce the most general to date version of the permutation-equivariant quantum K-theory, and express its total descendant potential in terms of cohomological Gromov-Witten invariants. This is the higher-genus analogue of adelic…
Suppose $A$ is a $C^*$-algebra and $H$ is a $C^*$-correspondence over $A$. If $H$ is regular in the sense that the left action of $A$ is faithful and is given by compact operators, then we compute the $K$-theory of $\mathcal{O}_A(H) \rtimes…
C. Bonnaf{\'e}, M. Geck, L. Iancu, and T. Lam have conjectured a description of one-sided cells in unequal parameter Hecke algebras of type $B$ which is based on domino tableaux of arbitrary rank. In the integer case, this generalizes the…
We consider the problem of representing in Hilbert space commutation relations of the form $$ a_ia_j^*=\delta_{ij}{\bold1} + \sum_{k\ell}T_{ij}^{k\ell} a_\ell^*a_k \quad,$$ where the $T_{ij}^{k\ell}$ are essentially arbitrary scalar…
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context…
In this paper we prove Korovkin type theorems for sequences of sublinear, monotone and weak additive operators acting on function spaces C(X); where X is a compact or a locally compact metric space. Our results are illustrated by a series…
We introduce two $K$-theories, one for vector bundles whose fibers are modules of vertex operator algebras, another for vector bundles whose fibers are modules of associative algebras. We verify the cohomological properties of these…
We prove a "quantified" version of the Weyl-von Neumann theorem, more precisely, we estimate the ranks of approximants to compact operators appearing in the Voiculescu's theorem applied to commutative algebras. This allows considerable…
Matthew Ando produced power operations in the Lubin-Tate cohomology theories and was able to classify which complex orientations were compatible with these operations. The methods used by Ando, Hopkins and Rezk to classify orientations of…