Related papers: QRB-Domains and the Probabilistic Powerdomain
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the particular case where the ambient category is given by…
A behavior of homeomorphisms of Orlicz classes in a closure of a domain is investigated. It is proved that above classes are equicontinuous in the closure of domains with some restrictions on it's boundaries provided that the corresponding…
A classical tool in the study of real closed fields are the fields $K((G))$ of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…
Quantum Markov chains (QMCs) are positive maps on a trace-class space describing open quantum dynamics on graphs. Such objects have a statistical resemblance with classical random walks, while at the same time it allows for internal…
We prove Koebe's conjecture and a version of Schramm's cofat uniformization theorem for domains $\Omega \subset \mathbb C$ satisfying conditions involving quasitripods, i.e., quasisymmetric images of the standard tripod. If the non-point…
There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we…
A packing function on a set Omega in R^n is a one-to-one correspondence between the set of lattice points in Omega and the set N_0 of nonnegative integers. It is proved that if r and s are relatively prime positive integers such that r…
Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of omega-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…
Using a variety of methods developed in the theory of finite-dimensional quasi-Hopf algebras, we classify all finite-dimensional coradically graded pointed coquasi-Hopf algebras over abelian groups. As a consequence, we partially confirm…
We apply differential operators to modular forms on orthogonal groups $\mathrm{O}(2, \ell)$ to construct infinite families of modular forms on special cycles. These operators generalize the quasi-pullback. The subspaces of theta lifts are…
We study the $\bar{\partial}_b$-Neumann problem for domains $\Omega$ contained in a strictly pseudoconvex manifold M^{2n+1} whose boundaries are noncharacteristic and have defining functions depending solely on the real and imaginary parts…
This paper relates the lower semi-continuity of an integral functional in the compensated compactness setting of vector fields satisfying a constant-rank first-order differential constraint, to closed $\mathcal{A}$-$p$ quasiconvexity of the…
Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable…
We study quasiconformal mappings in planar domains $\Omega$ and their regularity properties described in terms of Sobolev, Bessel potential or Triebel-Lizorkin scales. This leads to optimal conditions, in terms of the geometry of the…
We prove two density theorems for quadrature domains in $\mathbb{C}^n$, $n \geq 2$. It is shown that quadrature domains are dense in the class of all product domains of the form $D \times \Omega$, where $D \subset \mathbb{C}^{n-1}$ is a…
In this paper we study a model of a Quantum Branching Program (QBP) and investigate its computational power. We prove a general lower bound on the width of read-once QBPs, which we show to be almost tight on certain symmetric function.
We first develop theories of differential rings of quasi-Siegel modular and quasi-Siegel Jacobi forms for genus two. Then we apply them to the Eynard-Orantin topological recursion of certain local Calabi-Yau threefolds equipped with branes,…
We prove that the irreducible components of the characteristic varieties of quasi-projective manifolds are either pull-backs of such components for orbifolds, or torsion points. This gives an interpretation for the so-called…