Related papers: Arity hierarchies for quantifiers closed under par…
To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups…
The Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was…
Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$.…
In [J14], a conjecture was proposed on a relation between the global Arthur parameters and the structure of Fourier coefficients of the automorphic representations in the corresponding global Arthur packets. In this paper, we discuss the…
Automorphisms of the infinite dimensional Onsager algebra are introduced. Certain quotients of the Onsager algebra are formulated using a polynomial in these automorphisms. In the simplest case, the quotient coincides with the classical…
In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…
We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via…
Let $X$ be a compact K\"ahler manifold. Given a big cohomology class $\{\theta\}$, there is a natural equivalence relation on the space of $\theta$-psh functions giving rise to $\mathcal S(X,\theta)$, the space of singularity types of…
The class of Parikh word representable graphs were recently introduced. In this work, we further develop its general theory beyond the binary alphabet. Our main result shows that this class is equivalent to the class of bipartite…
In the setting of geometric quantization, we associate to any prequantum bundle automorphism a unitary map of the corresponding quantum space. These maps are controlled in the semiclassical limit by two invariants of symplectic topology:…
We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…
The aim of this paper is to summarize some recently obtained relations between the Ablowitz-Ladik hierarchy (ALH) and other integrable equations. It has been shown that solutions of finite subsystems of the ALH can be used to derive a wide…
We study the ring of arithmetical functions with unitary convolution, giving an isomorphism to a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell-Everett between the ring of arithmetical…
We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…
The underlying complex structure of an ALE K\"ahler manifold is exhibited as a resolution of a deformation of an isolated quotient singularity. As a consequence, there exist only finitely many diffeomorphism types of minimal ALE K\"ahler…
In this semi-expository paper, we define certain Rawnsley-type coherent and squeezed states on an integral K\"ahler manifold (after possibly removing a set of measure zero) and show that they satisfy some properties which are akin to…
We propose a series of new subalgebras of the $W_{1+\infty}$ algebra parametrized by polynomials $p(w)$, and study their quasifinite representations. We also investigate the relation between such subalgebras and the…