Related papers: Arity hierarchies for quantifiers closed under par…
We classify the derivations of degree-one generalized Weyl algebras over a univariate Laurent polynomial ring. In particular, our results cover the Weyl-Hayashi algebra, a quantization of the first Weyl algebra arising as a primitive factor…
Given r>=n quasi-homogeneous polynomials in n variables, the existence of a certain duality is shown and explicited in terms of generalized Morley forms. This result, that can be seen as a generalization of [3,corollary 3.6.1.4] (where this…
We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…
In a series of seminal papers, Laddha and Varadarajan have developed in depth the quantisation of Parametrised Field Theory (PFT) in the kind of discontinuous representations that are employed in Loop Quantum Gravity (LQG). In one spatial…
We show how affine and projective special K\"ahler manifolds emerge from the structure of quantization. We quantize them and construct natural (wavefunction) representations for the corresponding coherent states. These in turn are shown to…
In this paper we study dually flat spaces arising from Delzant polytopes equipped with a symplectic potential together with their corresponding toric K\"ahler manifolds as their torifications.We introduce a dually flat structure and the…
We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…
The authors' previous results on the arity gap of functions of several variables are refined by considering polynomial functions over arbitrary fields. We explicitly describe the polynomial functions with arity gap at least 3, as well as…
We introduce the entangled quantum polynomial hierarchy $\mathsf{QEPH}$ as the class of problems that are efficiently verifiable given alternating quantum proofs that may be entangled with each other. We prove $\mathsf{QEPH}$ collapses to…
We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…
We develop an algebraic quantisation approach, based on quantisation ideals, and apply it to integrable non-Abelian differential--difference equations. We show that the Toda hierarchy admits a bi-quantum structure whose classical…
In this paper, we derive a partial result related to a question of Yau: "Does a simply-connected complete K\"ahler manifold M with negative sectional curvature admit a bounded non-constant holomorphic function?" Main Theorem. Let $M^{2n}$…
In this note we contribute to the recently developing study of "almost Boolean" quantum logics (i.e. to the study of orthomodular partially ordered sets that are naturally endowed with a symmetric difference). We call them enriched quantum…
In this paper we study certain properties of R\'{e}nyi entropy functionals $H_\alpha(\mathcal{P})$ on the space of probability distributions over $\mathbb{Z}_+$. Primarily, continuity and convergence issues are addressed. Some properties…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
The theory of presentations of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to subcategories of arities in recent work of Bourke-Garner and the authors. We…
We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…
We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions…
We study a new extension of the weak MSO logic, talking about boundedness. Instead of a previously considered quantifier U, expressing the fact that there exist arbitrarily large finite sets satisfying a given property, we consider a…
The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $\pi_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give…