Related papers: Arity hierarchies for quantifiers closed under par…
We introduce a quantitative version of polynomial cohomology for discrete groups and show that it coincides with usual group cohomology when combinatorial filling functions are polynomially bounded. As an application, we show that Betti…
We obtain a presentation by generators and relations for generalized Schur algebras and their quantizations. This extends earlier results obtained in the type A case. The presentation is compatible with Lusztig's modified form of a…
An almost K\"ahler structure is {\it extremal} if the Hermitian scalar curvature is a Killing potential [29]. When the almost complex structure is integrable it coincides with extremal K\"ahler metric in the sense of Calabi [8]. We observe…
We examine the unitarity of a class of generalized Maxwell U(1) gauge theories in (2+1) D containing the pseudodifferential operator $\Box^{1-\alpha}$, for $\alpha \in [0,1)$. We show that only Quantum Electrodynamics (QED$_3$) and its…
We consider general settings of Bell inequality experiments with many parties, where each party chooses from a finite number of measurement settings each with a finite number of outcomes. We investigate the constraints that Bell…
Coherence measures and their operational interpretations lay the cornerstone of coherence theory. In this paper, we introduce a class of coherence measures with $\alpha$-affinity, say $\alpha$-affinity of coherence for $\alpha \in (0, 1)$.…
Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of…
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…
We give some remarks on exact quantization conditions associated with quantized mirror curves of local Calabi-Yau threefolds, conjectured in arXiv:1410.3382. It is shown that they characterize a non-perturbative completion of the refined…
In this article, we investigate the arithmetical hierarchy from the perspective of realizability theory. An experimental observation in classical computability theory is that the notion of degrees of unsolvability for natural arithmetical…
Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the…
Generalized coherent states for shape invariant potentials are constructed using an algebraic approach based on supersymmetric quantum mechanics. We show this generalized formalism is able to: a) supply the essential requirements necessary…
An elucidation of the current state of art in quasi-Hermitian quantum theory (QHQT) as inspired by the recent paper by Alase et al (J. Phys. A: Math. Theor. 55 (2022) 244003, paper [1]) is offered. We point out that the author's main…
Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure…
The irreducible unitary representations of the Banach Lie group $U_0(\H)$ (which is the norm-closure of the inductive limit $\cup_k U(k)$) of unitary operators on a separable Hilbert space $\H$, which were found by Kirillov and Ol'shanskii,…
We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity…
One of the central open problems to classify the computational complexity of finite-domain constraint satisfaction problems within P is to prove better algorithmic results for CSPs with a Maltsev polymorphism; we do not even know whether…
We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…
We obtain results on the geometry of D-semianalytic and subanalytic subsets over a complete, non-trivially valued non-Archimedean field K, which is not necessarily algebraically closed. Among the results are a parameterized smooth…