Related papers: Mixed powerdomains for probability and nondetermin…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott space $\Sigma L$, on the context of directed spaces, are…
In commutative algebra, a Weitzenb\"ock derivation is a nonzero triangular linear derivation of the polynomial algebra $K[x_1,...,x_m]$ in several variables over a field $K$ of characteristic 0. The classical theorem of Weitzenb\"ock states…
In this paper we consider a nondeterministic computation by deterministic multi-head 2-way automata having a read-only access to an auxiliary memory. The memory contains additional data (a guess) and computation is successful iff it is…
We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…
We study second-order divergence-form systems on half-infinite cylindrical domains with a bounded and possibly rough base, subject to homogeneous mixed boundary conditions on the lateral boundary and square integrable Dirichlet, Neumann, or…
It is well known that, in the plane, the boundary of any quadrature domain (in the classical sense) coincides with the zero set of a polynomial. We show, by explicitly constructing some four-dimensional examples, that this is not always the…
We consider the framework of an operator-valued noncommutative probability space over a unital C*-algebra B. We show how for a B-valued distribution \mu one can define convolution powers with respect to free additive convolution and with…
In this paper we investigate the regularity properties of weighted Bergman projections for smoothly bounded pseudo-convex domains of finite type in $\mathbb{C}^{n}$. The main result is obtained for weights equal to a non negative rational…
We study multidimensional continuous opinion dynamics, where opinions are nonnegative vectors which components sum up to one. Examples of such opinions are budgets or other allocation vectors which display a distribution of a fixed amount…
Given a monic linear pencil L in g variables let D_L be its positivity domain, i.e., the set of all g-tuples X of symmetric matrices of all sizes making L(X) positive semidefinite. Because L is a monic linear pencil, D_L is convex with…
The Qth-power algorithm for computing structured global presentations of integral closures of affine domains over finite fields is modified to compute structured presentations of integral closures of ideals in affine domains over finite…
In the formal modelling of systems, demonic and angelic nondeterminism play fundamental roles as abstraction mechanisms. The angelic nature of a choice pertains to the property of avoiding failure whenever possible. As a concept, angelic…
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any…
Let $\mathbb{A}$ be a Dedekind domain and $T$ an endomorphism of a finitely-generated projective $\mathbb{A}$-module. If $T$ is an $s^{th}$ power in $\mathrm{End}_{\mathbb{A}}(M)$ for $s$ ranging over an infinite set $\mathcal{S}$ of…
We discuss conditions under which a convex cone $\K\subset \R^{\Omega}$ admits a probability $m$ such that $\sup_{k\in \K} m(k)\leq0$. Based on these, we also characterize linear functionals that admit the representation as finitely…
We introduce a new category of differential graded multi-oriented props whose representations (called homotopy algebras with branes) in a graded vector space require a choice of a collection of $k$ linear subspaces in that space, $k$ being…
Quantum theory is indeterministic, but not completely so. When a system is in a pure state there are properties it possesses with certainty, known as actual properties. The actual properties of a quantum system (in a pure state) fully…
Among the various forms of reasoning studied in the context of artificial intelligence, qualitative reasoning makes it possible to infer new knowledge in the context of imprecise, incomplete information without numerical values. In this…
Negative probabilities arise primarily in physics, statistical quantum mechanics and quantum computing. Negative probabilities arise as mixing distributions of unobserved latent variables in Bayesian modeling. Our goal is to provide a link…
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). The value of an infinite word w is computed as the maximal…