Related papers: Quantale semantics of Lambek calculus with subexpo…
The multivariable Conway function is generalized to oriented framed trivalent graphs equipped with additional structure (coloring). This is done via refinements of Reshetikhin-Turaev functors based on irreducible representations of…
We introduce two extensions of the $\lambda$-calculus with a probabilistic choice operator, $\Lambda_\oplus^{cbv}$ and $\Lambda_\oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that…
Let $\Lambda$ be a quasi-tilted algebra. If $\Lambda$ is representation-finite, it was shown by Happel, Reiten, and Smal{\o} that $\Lambda$ is tilted. We provide a new, short proof of this result.
The purpose of this article is to study the relationship between numerical invariants of certain subspace arrangements coming from reflection groups and numerical invariants arising in the representation theory of Cherednik algebras. For…
We study representations of the Cuntz algebras $\O_N$. While, for fixed $N$, the set of equivalence classes of representations of $\O_N$ is known not to have a Borel cross section, there are various subclasses of representations which can…
Discrete analogs of the classical Kontorovich-Lebedev transforms are introduced and investigated. It involves series with the modified Bessel function or Macdonald function $K_{in}(x), x >0, n \in \mathbb{N}, i $ is the imaginary unit, and…
We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of…
A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that…
We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the $\mathcal N_3$ level of the substructural hierarchy.
In this work a calculation of the cluster decomposable formalism for relativistic scattering as developed by Lindesay, Markevich, Noyes, and Pastrana (LMNP) is made for an ultra-light quantum model. After highlighting areas of the theory…
Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly difficult task. We explore coalgebras over distributions…
We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.
The aim of this paper is to apply a contextual probabilistic model (in the spirit of Mackey, Gudder, Ballentine) to represent and to generalize some results of quantum logic about possible macroscopic quantum-like (QL) behaviour. The…
We introduce quantum Borcherds-Bozec superalgebras. We present and prove various results of the quantum superalgebras including a bilinear form, higher Serre relation, quasi-R-matrix, character formula for the irreducible highest weight…
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the…
A quantization procedure, which has recently been introduced for the analysis of Painlev\'e equations, is applied to a general time-independent potential of a Newton equation. This analysis shows that the quantization procedure preserves…
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$…
In this paper, we obtain two Lichnerowicz type formulas for sub-signature operators. And we give the proof of Kastler-Kalau-Walze type theorems for sub-signature operators on 4-dimensional and 6-dimensional compact manifolds with…
We introduce a proof language for Intuitionistic Multiplicative Additive Linear Logic (IMALL), extended with a modality B to capture mixed-state quantum computation. The language supports algebraic constructs such as linear combinations,…
In this comment we bring attention to the fact that when we apply the ontological interpretation of quantum mechanics, we must be sure to use it in the coordinate representation. This is particularly important when canonical tranformations…