Related papers: A Class of Generalised Quantifiers for k-Variable …
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. It follows that the…
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus, hinging on the Immerman-Vardi Theorem which characterises PTIME (over ordered structures)…
Quantization, at least in some formulations, involves replacing some algebra of observables by a (more non-commutative) deformed algebra. In view of the fundamental role played by K-theory in non-commutative geometry and topology, it is of…
Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow…
This survey article on bivariant Kasparov theory and E-theory is mainly intended for readers with a background in homotopical algebra and category theory. We approach both bivariant K-theories via their universal properties and equip them…
A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a…
This paper introduces equivariant hamiltonian flows, a method for learning expressive densities that are invariant with respect to a known Lie-algebra of local symmetry transformations while providing an equivariant representation of the…
We prove the deformation invariance of the quantum homogeneous spaces of the q-deformation of simply connected simple compact Lie groups over the Poisson-Lie quantum subgroups, in the equivariant KK-theory with respect to the translation…
We compute the equivariant $KO$-homology of the classifying space for proper actions of $\textrm{SL}_3(\mathbb{Z})$ and $\textrm{GL}_3(\mathbb{Z})$. We also compute the Bredon homology and equivariant $K$-homology of the classifying spaces…
We investigate the convergence behavior of the extended dynamic mode decomposition for constructing a discretization of the continuity equation associated with the Lorenz equations using a nonlinear dictionary of over 1,000,000 terms. The…
We present the fundamental properties of the K-theory groups of complex vector bundles endowed with actions of magnetic groups. In this work we show that the magnetic equivariant K-theory groups define an equivariant cohomology theory, we…
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…
We unveil the dynamical equivalence of field theories with non-canonical kinetic terms and canonical theories with a volume element invariant under transverse diffeomorphisms. The proof of the equivalence also reveals a subtle connection…
We present a natural standard translation of inquisitive modal logic InqML into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of InqML.…
We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It…
We show that Coecke's compositionality theorem for quantum information flow follows by the universal property of tensor products from the case in which all relevant states are totally disentangled, for which the proof is almost trivial.…
Using a homological invariant together with an obstruction class in a certain Ext^2-group, we may classify objects in triangulated categories that have projective resolutions of length two. This invariant gives strong classification results…
We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This…
This survey article on relative homological algebra in bivariant K-thoery is mainly intended for readers with a background knowledge in triangulated categories. We briefly recall the general theory of relative homological algebra in…
Lie symmetries of K(m,n) equations with time-dependent coefficients are classified. Group classification is presented up to widest possible equivalence groups, the usual equivalence group of the whole class for the general case and…