Related papers: Some Consistent Power Constructions
Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that…
Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological…
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models based on type-and-effect systems, in which there is a monad for…
In the article, a notion "logarithmically absolutely monotonic function" is introduced, an inclusion that a logarithmically absolutely monotonic function is also absolutely monotonic is revealed, the logarithmically complete monotonicity…
In this paper a new supersymmetric extension of conformal mechanics is put forward. The beauty of this extension is that all variables have a clear geometrical meaning and the super-Hamiltonian turns out to be the Lie-derivative of the…
In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic side-effects. An important issue in this context are…
We consider the field theory of $N$ massless bosons which are free except for an interaction localized on the boundary of their 1+1 dimensional world. The boundary action is the sum of two pieces: a periodic potential and a coupling to a…
Discrete stability extends the classical notion of stability to random elements in discrete spaces by defining a scaling operation in a randomised way: an integer is transformed into the corresponding binomial distribution. Similarly…
For a single degree of freedom confined mechanical system with given energy, we know that the motion is always periodic and action-angle variables are convenient choice as conjugate phase-space variables. We construct action-angle coherent…
It is shown by constructing Rohlins canonical measures that for a strictly stationary, d-dimensional vector-valued process X there exists another strictly stationary d-dimensional process U with uniform one-dimensional marginals and with…
This paper is primarily concerned with the problem of maximality for the sum $A+B$ and composition $L^{*}ML$ in non-reflexive Banach space settings under qualifications constraints involving the domains of $A,B,M$. Here $X$, $Y$ are Banach…
We generalize the persistence diagram of Cohen-Steiner, Edelsbrunner, and Harer to the setting of constructible persistence modules valued in a symmetric monoidal category. We call this the type A persistence diagram of a persistence…
We study a class of semi-linear differential Volterra equations with polynomial-type potentials that incorporates the effects of memory while being subjected to random perturbations via an additive Gaussian noise. We show that for a broad…
This paper investigates positive harmonic functions on a domain which contains an infinite cylinder, and whose boundary is contained in the union of parallel hyperplanes. (In the plane its boundary consists of two sets of vertical…
Rowland and Zeilberger devised an approach to algorithmically determine the modulo $p^r$ reductions of values of combinatorial sequences representable as constant terms (building on work of Rowland and Yassawi). The resulting $p$-schemes…
We show that all totally positive formal power series with integer coefficients and constant term $1$ are precisely the rank-generating functions of Schur-positive upho posets, thereby resolving the main conjecture proposed by Gao, Guo,…
We analize the algebraic structure of consistent and covariant anomalies in gauge and gravitational theories: using a complex extension of the Lie algebra it is possible to describe them in a unified way. Then we study their representations…
''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent…
Quantum theory is formulated as the only consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if there are two different ways to compute an amplitude the two answers must agree. This…
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…