Related papers: What is the role of continuity in continuous linea…
This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x-y<=c) and (+/-x<=c), where x and y are variables values and c is an integer or…
In this paper, we present an algebraic approach to idempotent functional analysis, which is an abstract version of idempotent analysis. The basic concepts and results are expressed in purely algebraic terms. We consider idempotent versions…
In this note we use recent results concerning the sum theorem for maximal monotone multifunctions in general Banach spaces to find new characterizations and properties of regular maximal monotone multifunctions and then use these to…
The properties of the high energy behavior of the scattering amplitude of massive, neutral and spinless particles in higher dimensional field theories are investigated. The axiomatic formulation of Lehmann, Symanzik and Zimmermann is…
Persistence diagrams are common descriptors of the topological structure of data appearing in various classification and regression tasks. They can be generalized to Radon measures supported on the birth-death plane and endowed with an…
We study the construction of exponential frames and Riesz sequences for a class of fractal measures on ${\mathbb R}^d$ generated by infinite convolution of discrete measures using the idea of frame towers and Riesz-sequence towers. The…
We develop a measure and integration theory for random normed modules. Given a probability space $({\rm X},\Sigma,\mathfrak m)$, we introduce and study measures taking values into the space $L^0(\mathfrak m)$ of $\mathfrak m$-measurable…
Repeated idempotent elements are commonly used to characterise iterable behaviours in abstract models of computation. Therefore, given a monoid $M$, it is natural to ask how long a sequence of elements of $M$ needs to be to ensure the…
We consider, and make precise, a certain extension of the Radon-Nikodym derivative operator, to functions which are additive, but not necessarily sigma-additive, on a subset of a given sigma-algebra. We give applications to probability…
We interpret the probabilistic notion of unimodularity for measures on the space of rooted locally finite connected graphs in terms of the theory of measured equivalence relations. It turns out that the right framework for this consists in…
The classic Riesz representation theorem characterizes all linear and increasing functionals on the space $C_{c}(X)$ of continuous compactly supported functions. A geometric version of this result, which characterizes all linear increasing…
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…
In this paper we provide concrete constructions of idempotents to represent typical singular matrices over a given ring as a product of idempotents and apply these factorizations for proving our main results. We generalize works due to…
Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…
If $R$ is a valuation domain of maximal ideal $P$ with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals $P=L_0\supset L_1\supset...\supset L_m\supseteq 0$ such that…
The possibility of getting a Radon-Nikodym type theorem and a Lebesgue-like decomposition for a non necessarily positive sesquilinear $\Omega$ form defined on a vector space $\mathcal D$, with respect to a given positive form $\Theta$…
Noncommutative rational functions, i.e., elements of the universal skew field of fractions of a free algebra, can be defined through evaluations of noncommutative rational expressions on tuples of matrices. This interpretation extends their…
Modular equations occur in number theory, but it is less known that such equations also occur in the study of deformation properties of quasiconformal mappings. The authors study two important plane quasiconformal distortion functions,…
Given a $C^{0}$-deformation of domains $D(t)$ on a manifold $M^{n}$, which allows the topological types of the domains $D(t)$ to change with $t$, in what cases are the entities in analysis continuous in $t$, so that analysis techniques…
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…