Related papers: Induced quasi-actions: a remark
We introduce an equivariant version of the Cuntz semigroup, that takes an action of a compact group into account. The equivariant Cuntz semigroup is naturally a semimodule over the representation semiring of the given group. Moreover, this…
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…
We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.
We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable…
We introduce an axiomatization of the notion of a semidirect product of locally compact quantum groups and study properties. Our approach is slightly different from the one introduced in the thesis of S.~Roy and, unlike the investigations…
Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and…
It is shown that, modulo an equivalence relation induced by finite correspondences preserving Cantor rank, the class of topological spaces is an integral semi-ring on which the Cantor derivative is precisely a derivation.
We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…
We study unitarity of the induced representations from coisotropic quantum subgroups which were introduced in math.QA/9804138. We define a real structure on coisotropic subgroups which determines an involution on the homogeneous space. We…
We propose an operational quasiprobability function for qudits, enabling a comparison between quantum and hidden-variable theories. We show that the quasiprobability function becomes positive semidefinite if consecutive measurement results…
Several finite dimensional quasi-probability representations of quantum states have been proposed to study various problems in quantum information theory and quantum foundations. These representations are often defined only on restricted…
We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence…
In this paper, we consider topological semigroup actions on compact topological spaces. Under mild assumptions on the semigroup and the action, we construct a semi-direct product groupoid with a Haar system. We also show that it is…
In this article, we introduce an extrinsic approach to the notion of semi-direct product, an intrinsic one (namely inside the category Gp of group itself) having been already done elsewhere. This will led us to focus our attention on two…
The aim of the present article is to give an introduction to the concept of quasi-unitary equivalence and to define several (pseudo-)metrics on the space of self-adjoint operators acting possibly in different Hilbert spaces. As some of the…
The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic implication as interactive algorithmic…
Several advances have extended the power and versatility of coherent state theory to the extent that it has become a vital tool in the representation theory of Lie groups and their Lie algebras. Representative applications are reviewed and…
In this paper, by analogy with the case of C*-algebras, we define the notion of induced representation of a locally C*-algebra, and then we prove a imprimitivity theorem for induced representations of locally C*-algebras.
We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…
We consider the transfer functions describing the input-output relation for a class of linear open quantum systems involving feedback with nonzero time delays. We show how such transfer functions can be factorized into a product of terms…