Related papers: A constructive Borel-Cantelli Lemma. Constructing …
Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…
Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…
Minkowski's classical existence theorem provides necessary and sufficient conditions for a Borel measure on the unit sphere of Euclidean space to be the surface area measure of a convex body. The solution is unique up to a translation. We…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
We prove a generalization of the Poincar\'e-Birkhoff theorem for the open annulus showing that if a homeomorphism satisfies a certain twist condition and the nonwandering set is connected, then there is a fixed point. Our main focus is the…
The paper studies a general scheme for constructing metrics on a product of metric spaces by means of a family of continuous convex functions. This construction includes the conventional $p$-metrics and generates metrics that are…
Necessary and sufficient conditions for a measure to be an extreme point of the set of measures (on an abstract measurable space) with prescribed generalized moments are given, as well as an application to extremal problems over such moment…
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of…
We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extraction of a corresponding bound. We provide some new one-step…
The relationship between geometric and variational principles remains central to Nonlinear Analysis. This paper introduces the \textbf{Orbit-Summability Fixed Point Criterion}, a novel, purely dynamical condition, and establishes its…
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…
We develop constructions for exchangeable sequences of point processes that are rendered conditionally-i.i.d. negative binomial processes by a (possibly unknown) random measure called the base measure. Negative binomial processes are useful…
The Hermite-Birkhoff interpolation problem of a function given on arbitrarily distributed points on the sphere and other manifolds is considered. Each proposed interpolant is expressed as a linear combination of basis functions, the…
Let $\Lambda$ be a countable index set and $S=\{\phi_i: i\in \Lambda\}$ be a conformal iterated function system on $[0,1]^d$ satisfying the open set condition. Denote by $J$ the attractor of $S$. With each sequence $(w_1,w_2,...)\in…
We show that every countable Borel equivalence relation structurable by $n$-dimensional contractible simplicial complexes embeds into one which is structurable by such complexes with the further property that each vertex belongs to at most…
Firstly, we use Nehari manifold and Mountain Pass Lemma to prove an existence result of positive solutions for a class of nonlocal elliptic system with Kirchhoff type. Then a multiplicity result is established by cohomological index of…
We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reformulated as the existence of certain algorithmic reductions…
Let $C$ be a smooth projective irreducible curve defined over a finite field $\mathbb{F}_q$ and $K=\mathbb{F}_q(C)$. Let $A\subset K$ be the ring of functions regular outside a fixed place $\infty$ of $K$. Let…
In this paper we present a quantitative analysis of the first and second Borel-Cantelli Lemmas and of two of their generalisations: the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem. We will see that the first three results have…
The study on the partial differential equations (systems) in the graph setting is a hot topic in recent years because of their applications to image processing and data clustering. Our motivation is to develop some existence results for…