相关论文: QRB-Domains and the Probabilistic Powerdomain
The aim of this paper is to extend the domain of definition of $(dd^c\centerdot)^q\wedge T$ on some classes of plurisubharmonic (psh) functions, which are not necessary bounded, where $T$ is a positive closed current of bidimension $(q,q)$…
Consistent Hoare, Smyth and Plotkin power domains are introduced and discussed by Yuan and Kou. The consistent algebraic operation $+$ defined by them is a binary partial Scott continuous operation satisfying the requirement: $a+b$ exists…
We consider the BGG category $\mathcal{O}$ of a quantized universal enveloping algebra $U_q(\mathfrak{g})$. We call a module $M\in \mathcal{O}$ tensor-closed if $M\otimes N\in\mathcal{O}$ for any $N\in \mathcal{O}$. In this paper we prove…
Decisiveness of infinite Markov chains with respect to some (finite or infinite) target set of states is a key property that allows to compute the reachability probability of this set up to an arbitrary precision. Most of the existing works…
We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely…
This paper provides some preliminary results on the dynamics of certain complex continued fractions. After establishing some general number theoretic results, we explore the dynamics of the natural extension map associated to a specific…
Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their…
The study of well quasi-orders, wqo, is a cornerstone of combinatorics and within wqo theory Kruskal's theorem plays a crucial role. Extending previous proof-theoretic results, we calculate the $\Pi^1_1$ ordinals of two different versions…
Pseudo-differential operators of type 1,1 are proved continuous from the Triebel--Lizorkin space $F^d_{p,1}$ to $L_p$ for $1\le p<\infty$, when of order d, and this is the largest possible domain among the Besov and Triebel--Lizorkin…
In this paper we construct families of bounded domains $\Omega_\varepsilon$ and solutions $u_\varepsilon$ of \[\begin{cases} -\Delta u_\varepsilon=1&\text{ in }\ \Omega_\varepsilon\\ u_\varepsilon=0&\text{ on }\ \partial\Omega_\varepsilon…
We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order…
We introduce a new setting, the category of $\omega$PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is general enough to assign meanings to most practical…
We show that the local Burkholder functional $\mathcal B_K$ is quasiconvex. In the limit of $p$ going to 2 we find a class of non-polyconvex functionals which are quasiconvex on the set of matrices with positive determinant. In order to…
We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over…
Every category $\mathcal K$ has a free completion $\mathcal P \mathcal K$ under colimits and a free completion $\Sigma\mathcal K$ under coproducts. A number of properties of $\mathcal K$ transfer to $\mathcal P \mathcal K$ and…
In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…
We investigate categories in which products distribute over coproducts, a structure we call doubly-infinitary distributive categories. Through a range of examples, we explore how this notion relates to established concepts such as…
Call a domain $R$ an sQQR-domain if each simple overring of $R$, i.e., each ring of the form $R[u]$ with $u$ in the quotient field of $R$, is an intersection of localizations of $R$. We characterize Pr\"ufer domains as integrally closed…
In this paper, we study the computational complexity of the quadratic unconstrained binary optimization (QUBO) problem under the functional problem FP^NP categorization. We focus on four sub-classes: (1) When all coefficients are integers…