Showing 1–19 of 19 results for author: Poncet, P

A semi-Lagrangian method for the direct numerical simulation of crystallization and precipitation at the pore scale

Authors: Sarah Perez, Jean-Matthieu Etancelin, Philippe Poncet

Abstract: This article introduces a new efficient particle method for the numerical simulation of crystallization and precipitation at the pore scale of real rock geometries extracted by X-Ray tomography. It is based on the coupling between superficial velocity models of porous media, Lagrangian description of chemistry using Transition-State-Theory, involving underlying grids. Its ability to successfully c… ▽ More This article introduces a new efficient particle method for the numerical simulation of crystallization and precipitation at the pore scale of real rock geometries extracted by X-Ray tomography. It is based on the coupling between superficial velocity models of porous media, Lagrangian description of chemistry using Transition-State-Theory, involving underlying grids. Its ability to successfully compute dissolution process has been established in the past and is presently generalized to precipitation and crystallization by means of adsorption modeling. Numerical simulations of mineral CO2 trapping are provided, showing evidence of clogging/non-clogging regimes, and one of the main results is the introduction of a new non-dimensional number needed for this characterization. △ Less

Submitted 10 March, 2025; v1 submitted 9 September, 2024; originally announced September 2024.

MSC Class: 65M22 ACM Class: G.1.8; G.1.10; I.6.4; J.2

Journal ref: Frontiers in Earth Science 13:1493305 (2025)

Auto-weighted Bayesian Physics-Informed Neural Networks and robust estimations for multitask inverse problems in pore-scale imaging of dissolution

Authors: Sarah Perez, Philippe Poncet

Abstract: In this article, we present a novel data assimilation strategy in pore-scale imaging and demonstrate that this makes it possible to robustly address reactive inverse problems incorporating Uncertainty Quantification (UQ). Pore-scale modeling of reactive flow offers a valuable opportunity to investigate the evolution of macro-scale properties subject to dynamic processes. Yet, they suffer from imag… ▽ More In this article, we present a novel data assimilation strategy in pore-scale imaging and demonstrate that this makes it possible to robustly address reactive inverse problems incorporating Uncertainty Quantification (UQ). Pore-scale modeling of reactive flow offers a valuable opportunity to investigate the evolution of macro-scale properties subject to dynamic processes. Yet, they suffer from imaging limitations arising from the associated X-ray microtomography (X-ray microCT) process, which induces discrepancies in the properties estimates. Assessment of the kinetic parameters also raises challenges, as reactive coefficients are critical parameters that can cover a wide range of values. We account for these two issues and ensure reliable calibration of pore-scale modeling, based on dynamical microCT images, by integrating uncertainty quantification in the workflow. The present method is based on a multitasking formulation of reactive inverse problems combining data-driven and physics-informed techniques in calcite dissolution. This allows quantifying morphological uncertainties on the porosity field and estimating reactive parameter ranges through prescribed PDE models with a latent concentration field and dynamical microCT. The data assimilation strategy relies on sequential reinforcement incorporating successively additional PDE constraints. We guarantee robust and unbiased uncertainty quantification by straightforward adaptive weighting of Bayesian Physics-Informed Neural Networks (BPINNs), ensuring reliable micro-porosity changes during geochemical transformations. We demonstrate successful Bayesian Inference in 1D+Time and 2D+Time calcite dissolution based on synthetic microCT images with meaningful posterior distribution on the reactive parameters and dimensionless numbers. △ Less

Submitted 17 August, 2024; v1 submitted 24 August, 2023; originally announced August 2023.

Journal ref: Computational Geosciences 28, pp. 1175-1215 (2024)

Partial metrics and normed inverse semigroups

Authors: Paul Poncet

Abstract: Relying on the notions of submodular function and partial metric, we introduce normed inverse semigroups as a generalization of normed groups and sup-semilattices equipped with an upper valuation. We define the property of skew-convexity for a metric on an inverse semigroup, and prove that every norm on a Clifford semigroup gives rise to a right-subinvariant and skew-convex metric; it makes the se… ▽ More Relying on the notions of submodular function and partial metric, we introduce normed inverse semigroups as a generalization of normed groups and sup-semilattices equipped with an upper valuation. We define the property of skew-convexity for a metric on an inverse semigroup, and prove that every norm on a Clifford semigroup gives rise to a right-subinvariant and skew-convex metric; it makes the semigroup into a Hausdorff topological inverse semigroup if the norm is cyclically permutable. Conversely, we show that every Clifford monoid equipped with a right-subinvariant and skew-convex metric admits a norm for which the metric topology and the norm topology coincide. We characterize convergence of nets and show that Cauchy completeness implies conditional monotone completeness with respect to the natural partial order of the inverse semigroup. △ Less

Submitted 22 June, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 33 pages. For the final publication, see https://link.springer.com/article/10.1007/s00233-024-10442-w

Journal ref: Semigroup Forum (2024)

A memo on bornologies and size functions

Authors: Paul Poncet

Abstract: We recall the notion of abstract bornology, and connect it with topological spaces and size functions. As a generalization of measures of non-compactness, we show how every size function can be mapped to a maxitive measure. We recall the notion of abstract bornology, and connect it with topological spaces and size functions. As a generalization of measures of non-compactness, we show how every size function can be mapped to a maxitive measure. △ Less

Submitted 18 May, 2022; originally announced June 2022.

Comments: 5 pages

Galois connections between closure spaces

Authors: Paul Poncet

Abstract: Galois connections were introduced by Ore and have proved useful in a wide variety of mathematical areas. While Galois connections play on the ground of posets (or more generally of quasiordered sets or qosets), we extend this notion to that of closure spaces. Galois connections were introduced by Ore and have proved useful in a wide variety of mathematical areas. While Galois connections play on the ground of posets (or more generally of quasiordered sets or qosets), we extend this notion to that of closure spaces. △ Less

Submitted 29 April, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 4 pages, small improvements

MSC Class: 06A15 (Primary); 06A11 (Secondary)

Enriched closure spaces as a novel framework for domain theory

Authors: Paul Poncet

Abstract: We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are able to define a notion of way-below relation; an appropriate definition of continuity then naturally follows. Characterizations of continuity of the enriched c… ▽ More We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are able to define a notion of way-below relation; an appropriate definition of continuity then naturally follows. Characterizations of continuity of the enriched closure space and necessary and sufficient conditions for the interpolation property are proved. We also draw a link between continuity and the possibility for the subsets that are open with respect to the preclosure operator to form a topology. △ Less

Submitted 14 May, 2017; originally announced May 2017.

Comments: 22 pages

Representation of maxitive measures: an overview

Authors: Paul Poncet

Abstract: Idempotent integration is an analogue of Lebesgue integration where $σ$-maxitive measures replace $σ$-additive measures. In addition to reviewing and unifying several Radon--Nikodym like theorems proven in the literature for the idempotent integral, we also prove new results of the same kind. Idempotent integration is an analogue of Lebesgue integration where $σ$-maxitive measures replace $σ$-additive measures. In addition to reviewing and unifying several Radon--Nikodym like theorems proven in the literature for the idempotent integral, we also prove new results of the same kind. △ Less

Submitted 14 July, 2015; v1 submitted 9 May, 2014; originally announced May 2014.

Comments: 40 pages

MSC Class: 28B15 (Primary); 03E72; 49J52 (Secondary)

Journal ref: Math. Slovaca 67 (2017) 121-150

A memo on chains and their topologies

Authors: Paul Poncet

Abstract: We summarize some facts on chains (totally ordered sets), from an order-theoretic and from a topological point of view. We highlight the fact that many classical theorems that are true for partially ordered sets under some completeness assumption remain true for chains without any kind of completeness. We summarize some facts on chains (totally ordered sets), from an order-theoretic and from a topological point of view. We highlight the fact that many classical theorems that are true for partially ordered sets under some completeness assumption remain true for chains without any kind of completeness. △ Less

Submitted 7 December, 2013; originally announced December 2013.

Comments: 5 pages

Domain theory and mirror properties in inverse semigroups

Authors: Paul Poncet

Abstract: Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent elements, such as continuity in the sense of domain theory. Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent elements, such as continuity in the sense of domain theory. △ Less

Submitted 24 January, 2013; originally announced January 2013.

Comments: 15 pages. The final publication is available at www.springerlink.com. See http://link.springer.com/article/10.1007%2Fs00233-012-9392-4?LI=true

MSC Class: 20M18; 06A12; 06B35; 06F05

Journal ref: Semigroup Forum 84 (2012) 434-446

How regular can maxitive measures be?

Authors: Paul Poncet

Abstract: We examine domain-valued maxitive measures defined on the Borel subsets of a topological space. Several characterizations of regularity of maxitive measures are proved, depending on the structure of the topological space. Since every regular maxitive measure is completely maxitive, this yields sufficient conditions for the existence of a cardinal density. We also show that every outer-continuous m… ▽ More We examine domain-valued maxitive measures defined on the Borel subsets of a topological space. Several characterizations of regularity of maxitive measures are proved, depending on the structure of the topological space. Since every regular maxitive measure is completely maxitive, this yields sufficient conditions for the existence of a cardinal density. We also show that every outer-continuous maxitive measure can be decomposed as the supremum of a regular maxitive measure and a maxitive measure that vanishes on compact subsets under appropriate conditions. △ Less

Submitted 20 January, 2013; originally announced January 2013.

Comments: 24 pages

MSC Class: 28B15; 28C15; 06B35; 03E72; 49J52

Journal ref: Topology Appl. 160 (2013) 606-619

Two-valued sigma-maxitive measures and Mesiar's hypothesis

Authors: Paul Poncet

Abstract: We reformulate Mesiar's hypothesis [Possibility measures, integration and fuzzy possibility measures, Fuzzy Sets and Systems 92 (1997) 191-196], which as such was shown to be untrue by Murofushi [Two-valued possibility measures induced by $σ$-finite $σ$-additive measures, Fuzzy Sets and Systems 126 (2002) 265-268]. We prove that a two-valued $σ$-maxitive measure can be induced by a $σ$-additive me… ▽ More We reformulate Mesiar's hypothesis [Possibility measures, integration and fuzzy possibility measures, Fuzzy Sets and Systems 92 (1997) 191-196], which as such was shown to be untrue by Murofushi [Two-valued possibility measures induced by $σ$-finite $σ$-additive measures, Fuzzy Sets and Systems 126 (2002) 265-268]. We prove that a two-valued $σ$-maxitive measure can be induced by a $σ$-additive measure under the additional condition that it is $σ$-principal. △ Less

Submitted 19 January, 2013; originally announced January 2013.

Comments: 3 pages

MSC Class: 28B15; 03E72; 49J52

Journal ref: Fuzzy Sets and Systems 158 (2007) 1843-1845

Transporting continuity properties from a poset to its subposets

Authors: Paul Poncet

Abstract: We identify two key conditions that a subset $A$ of a poset $P$ may satisfy to guarantee the transfer of continuity properties from $P$ to $A$. We then highlight practical cases where these key conditions are fulfilled. Along the way we are led to consider subsets of a given poset $P$ whose way-below relation is the restriction of the way-below relation of $P$, which we call way-below preserving s… ▽ More We identify two key conditions that a subset $A$ of a poset $P$ may satisfy to guarantee the transfer of continuity properties from $P$ to $A$. We then highlight practical cases where these key conditions are fulfilled. Along the way we are led to consider subsets of a given poset $P$ whose way-below relation is the restriction of the way-below relation of $P$, which we call way-below preserving subposets. As an application, we show that every conditionally complete poset with the interpolation property contains a largest continuous way-below preserving subposet. Most of our results are expressed in the general setting of Z theory, where Z is a subset system. △ Less

Submitted 29 April, 2022; v1 submitted 6 January, 2013; originally announced January 2013.

Comments: 42 pages. For the final publication, see https://www.sciencedirect.com/science/article/abs/pii/S0304397522001013

MSC Class: 06A15; 06B35

Journal ref: Theoret. Comput. Sci. 912 (2022) 109-132

Pseudo-multiplications and their properties

Authors: Paul Poncet

Abstract: We examine some properties of pseudo-multiplications, which are a special kind of associative binary relations defined on $\bar{\mathbb{R}}_+ \times \bar{\mathbb{R}}_+$. We examine some properties of pseudo-multiplications, which are a special kind of associative binary relations defined on $\bar{\mathbb{R}}_+ \times \bar{\mathbb{R}}_+$. △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: 4 pages

MSC Class: 03E72; 49J52

Convexities on ordered structures have their Krein--Milman theorem

Authors: Paul Poncet

Abstract: We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use arguments from continuous lattice theory and abstract convexity theory. We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use arguments from continuous lattice theory and abstract convexity theory. △ Less

Submitted 29 May, 2014; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: 34 pages. The final publication is available at http://www.heldermann.de. See http://www.heldermann.de/JCA/JCA21/JCA211/jca21005.htm

MSC Class: 22A26; 52A01; 06A06; 06A12; 06B30; 14T05

Journal ref: Journal of Convex Analysis 21 (2014) 89-120

Pruning a poset with veins

Authors: Paul Poncet

Abstract: We recall some abstract connectivity concepts, and apply them to special chains in partially ordered sets, called veins, that are defined as order-convex chains that are contained in every maximal chain they meet. Veins enable us to define a new partial order on the same underlying set, called the pruning order. The associated pruned poset is simpler than the initial poset, but irreducible, coirre… ▽ More We recall some abstract connectivity concepts, and apply them to special chains in partially ordered sets, called veins, that are defined as order-convex chains that are contained in every maximal chain they meet. Veins enable us to define a new partial order on the same underlying set, called the pruning order. The associated pruned poset is simpler than the initial poset, but irreducible, coirreducible, and doubly-irreducible elements are preserved by the operation of pruning. △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: 8 pages

MSC Class: 06A05; 06A06

The idempotent Radon--Nikodym theorem has a converse statement

Authors: Paul Poncet

Abstract: Idempotent integration is an analogue of the Lebesgue integration where $σ$-additive measures are replaced by $σ$-maxitive measures. It has proved useful in many areas of mathematics such as fuzzy set theory, optimization, idempotent analysis, large deviation theory, or extreme value theory. Existence of Radon--Nikodym derivatives, which turns out to be crucial in all of these applications, was pr… ▽ More Idempotent integration is an analogue of the Lebesgue integration where $σ$-additive measures are replaced by $σ$-maxitive measures. It has proved useful in many areas of mathematics such as fuzzy set theory, optimization, idempotent analysis, large deviation theory, or extreme value theory. Existence of Radon--Nikodym derivatives, which turns out to be crucial in all of these applications, was proved by Sugeno and Murofushi. Here we show a converse statement to this idempotent version of the Radon--Nikodym theorem, i.e. we characterize the $σ$-maxitive measures that have the Radon--Nikodym property. △ Less

Submitted 1 January, 2013; originally announced January 2013.

Comments: 13 pages

Journal ref: Information Sciences 271 (2014) 115-124

What is the role of continuity in continuous linear forms representation?

Authors: Paul Poncet

Abstract: The recent extensions of domain theory have proved particularly efficient to study lattice-valued maxitive measures, when the target lattice is continuous. Maxitive measures are defined analogously to classical measures with the supremum operation in place of the addition. Building further on the links between domain theory and idempotent analysis highlighted by Lawson (2004), we investigate the c… ▽ More The recent extensions of domain theory have proved particularly efficient to study lattice-valued maxitive measures, when the target lattice is continuous. Maxitive measures are defined analogously to classical measures with the supremum operation in place of the addition. Building further on the links between domain theory and idempotent analysis highlighted by Lawson (2004), we investigate the concept of domain-valued linear forms on an idempotent (semi)module. In addition to proving representation theorems for continuous linear forms, we address two applications: the idempotent Radon--Nikodym theorem and the idempotent Riesz representation theorem. To unify similar results from different mathematical areas, our analysis is carried out in the general Z framework of domain theory. △ Less

Submitted 2 January, 2013; v1 submitted 3 January, 2010; originally announced January 2010.

Comments: 41 pages

MSC Class: 06A12; 06A15; 06F99; 12K10; 18A99; 28B15

A class of compact subsets for non-sober topological spaces

Authors: Paul Poncet

Abstract: We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view of applications to capacity theory. We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view of applications to capacity theory. △ Less

Submitted 18 June, 2011; v1 submitted 30 December, 2009; originally announced December 2009.

Comments: 6 pages

MSC Class: 54D10; 54D30; 54D40; 54D80; 54C25

A decomposition theorem for maxitive measures

Authors: Paul Poncet

Abstract: A maxitive measure is the analogue of a finitely additive measure or charge, in which the usual addition is replaced by the supremum operation. Contrarily to charges, maxitive measures often have a density. We show that maxitive measures can be decomposed as the supremum of a maxitive measure with density, and a residual maxitive measure that is null on compact sets under specific conditions. A maxitive measure is the analogue of a finitely additive measure or charge, in which the usual addition is replaced by the supremum operation. Contrarily to charges, maxitive measures often have a density. We show that maxitive measures can be decomposed as the supremum of a maxitive measure with density, and a residual maxitive measure that is null on compact sets under specific conditions. △ Less

Submitted 28 December, 2009; originally announced December 2009.

Comments: 11 pages

MSC Class: 28B15; 28C15; 06B35; 03E72; 49J52

Journal ref: Linear Algebra Appl. 435 (2011) 1672-1680