Related papers: QRB-Domains and the Probabilistic Powerdomain
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
For both electron- and hole-doped cuprates, superconductivity appears in the vicinity of suppressed broken symmetry order, suggesting that quantum criticality plays a vital role in the physics of these systems. A confounding factor in…
We analytically show that mesonic bound states of confined monopoles appear inside a non-Abelian vortex-string in massless three-flavor QCD at large quark chemical potential mu. The orientational modes CP^2 in the internal space of a vortex…
We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…
We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show…
In this paper we obtain a precise formula for the $1$-level density of $L$-functions attached to non-Galois cubic Dedekind zeta functions. We find a secondary term which is unique to this context, in the sense that no lower-order term of…
In certain materials with strong electron correlations a quantum phase transition (QPT) at zero temperature can occur, in the proximity of which a quantum critical state of matter has been anticipated. This possibility has recently…
Opacity is a generic security property, that has been defined on (non probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a subset of runs, and a function describing the view of an…
We show that the second order traps in the control landscape for a three-level $\Lambda$-system found in our previous work {\it Phys. Rev. Lett.} {\bf 106}, 120402 (2011) are not local maxima: there exist directions in the space of controls…
We start by identifying a class of pseudo-differential operators, generated by the set of continuous negative definite functions, that are in the weak similarity (WS) orbit of the self-adjoint log-Bessel operator on the Euclidean space.…
In the present paper, we study infinite dimensional orthogonal preserving quadratic stochastic operators (OP QSO). A full description of OP QSOs in terms of their canonical form and heredity coefficient's values is provided. Furthermore,…
In this paper we find surprisingly small Oka domains in Euclidean spaces $\mathbb C^n$ of dimension $n>1$ at the very limit of what is possible. Under a mild geometric assumption on a closed unbounded convex set $E$ in $\mathbb C^n$ we show…
We consider Bergman spaces and variations of them in one or several complex variables. For some domains we show that in these spaces the generic function is totally unbounded and hence non - extendable. We also show that the generic…
Quantum computing involving physical systems with continuous degrees of freedom, such as the quantum states of light, has recently attracted significant interest. However, a well-defined quantum complexity theory for these bosonic…
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…
A behavior of homeomorphisms of Orlicz--Sobolev classes in a closure of a domain is investigated. There are obtained theorems about equicontinuity of classes mentioned above in terms of prime ends of regular domains. In particular, it is…
We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice…
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…
We study attracting orbits escaping to infinity in natural families of transcendental entire functions. We show that, if an attracting fixed point escapes to infinity while its multiplier tends to one, then the limiting function has a…