相关论文: QRB-Domains and the Probabilistic Powerdomain
We characterise the class of probability operators belonging to the domain of attraction of Gaussian limits in the setup which is a slight generalisation of Urbanik's scheme of noncommutative probability limit theorems.
Classes of functions of several variables on arbitrary non-empty domains that are closed under permutation of variables and addition of dummy variables are characterized in terms of generalized constraints, and hereby Hellerstein's Galois…
It is now widely accepted that the cuprate superconductors are characterized by the same long-range order as that present in the Bardeen-Cooper-Schrieffer (BCS) theory: that associated with the condensation of Cooper pairs. We argue that…
Let $\Omega$ be a smooth, bounded domain in $\mathbb R^3$ with connected boundary. It follows from work of Escobar that the Yamabe quotient of $\Omega$ is at most the Yamabe quotient of a ball, and equality holds if and only if $\Omega$ is…
In this paper, we consider the Fourier coefficients of a special class of meromorphic Jaocbi forms of negative index. Much recent work has been done on such coefficients in the case of Jacobi forms of positive index, but almost nothing is…
A family of multi-parameter, polynomially deformed oscillators (PDOs) given by polynomial structure function \phi(n) is studied from the viewpoint of being (or not) in the class of Fibonacci oscillators. These obey the Fibonacci…
Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…
In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the…
We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of…
Quantum finite automata (QFAs) have been extensively studied in the literature. In this paper, we define and systematically study quantum B\"uchi automata (QBAs) over infinite words to model the long-term behavior of quantum systems, which…
Partiality is a natural phenomenon in computability that we cannot get around. So, the question is whether we can give the areas where partiality occurs, that is, where non-termination happens, more structure. In this paper we consider…
We develop a theory of pseudodifferential operators of infinite order for the global classes $\mathcal{S}_{\omega}$ of ultradifferentiable functions in the sense of Bj\"orck, following the previous ideas given by Prangoski for…
We introduce the categories of quasi-measurable spaces, which are slight generalizations of the category of quasi-Borel spaces, where we now allow for general sample spaces and less restrictive random variables, spaces and maps. We show…
This paper is concerned with planning in stochastic domains by means of partially observable Markov decision processes (POMDPs). POMDPs are difficult to solve. This paper identifies a subclass of POMDPs called region observable POMDPs,…
The Friedrichs operator of a domain (in $\mathbb{C}^n$) is closely related to its Bergman projection and encodes crucial information (geometric, quadrature, potential theoretic etc.) about the domain. We show that the Friedrichs operator of…
The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through…
The content of a polynomial over a ring $R$ is a well understood notion. Ohm and Rush generalized this concept of a content map to an arbitrary ring extension of $R$, although it can behave quite badly. We examine five properties an algebra…
We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to…
The Khavinson-Shapiro conjecture states that ellipsoids are the only bounded domains in euclidean space satisfying the following property (KS): the solution of the Dirichlet problem for polynomial data is polynomial. In this paper we show…