Related papers: Independent Natural Extension for Infinite Spaces:…
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…
Several consistency notions are available for a lower prevision P assessed on a set D of gambles (bounded random variables), ranging from the well known coherence to convexity and to the recently introduced 2-coherence and 2-convexity. In…
In this paper we discuss the consistency concept of Williams coherence for imprecise conditional previsions, presenting a variant of this notion, which we call W-coherence. It is shown that W-coherence ensures important consistency…
We propose an alternative framework for quantifying coherence. The framework is based on a natural property of coherence, the additivity of coherence for subspace-independent states, which is described by an operation-independent equality…
We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number…
This paper provides results on local and global existence for a class of solutions to the Euler equations for an incompressible, inviscid fluid. By considering a class of solutions which exhibits a characteristic growth at infinity we…
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite…
We introduce a second-order stochastic model to explore the variability in growth of biological shapes with applications to medical imaging. Our model is a perturbation with a random force of the Hamiltonian formulation of the geodesics.…
The usual thermodynamic limit for systems of classical self-gravitating point particles becomes well defined, as a {\it dynamical} problem, using a simple physical prescription for the calculation of the force, equivalent to the so-called…
We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is…
We find an exact convergence in the local dynamics described by two supposedly antagonistic approaches in modern cosmology: one starting from an expanding universe perspective such as FLRW, the other based on a local model ignoring any…
We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of…
We give an extension of de Finetti's concept of coherence to unbounded (but real-valued) random variables that allows for gambling in the presence of infinite previsions. We present a finitely additive extension of the Daniell integral to…
We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…
The incorporation of an adequate discrete expansion to the formalism of the special relativity that does not allow gravitational acceleration unravels unexplored phenomena. This extension takes into account consequences of a small variation…
Equations for cosmological evolution are formulated in a Weyl invariant formalism to take into account possible Weyl anomalies. Near two dimensions, the renormalized cosmological term leads to a nonlocal energy-momentum tensor and a slowly…
We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…
The concept of extended Hamiltonian systems allows the geometrical interpretation of several integrable and superintegrable systems with polynomial first integrals of degree depending on a rational parameter. Until now, the procedure of…
The inferential model (IM) framework provides valid prior-free probabilistic inference by focusing on predicting unobserved auxiliary variables. But, efficient IM-based inference can be challenging when the auxiliary variable is of higher…
Explicit formulas expressing the solution to non-autonomous differential equations are of great importance in many application domains such as control theory or numerical operator splitting. In particular, intrinsic formulas allowing to…