-
OliVier: an Oil and Vinegar based cryptosystem
Authors:
Antonio Corbo Esposito,
Rosa Fera,
Francesco Romeo
Abstract:
In this paper, we present OliVier a new Public Key Exchange cryptosystem that is based on a multivariate quadratic polynomial system: Oil & Vinegar polynomials together with fully quadratic ones. We describe its designing process, usage, complexity
In this paper, we present OliVier a new Public Key Exchange cryptosystem that is based on a multivariate quadratic polynomial system: Oil & Vinegar polynomials together with fully quadratic ones. We describe its designing process, usage, complexity
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Sibson's $α$-Mutual Information and its Variational Representations
Authors:
Amedeo Roberto Esposito,
Michael Gastpar,
Ibrahim Issa
Abstract:
Information measures can be constructed from Rényi divergences much like mutual information from Kullback-Leibler divergence. One such information measure is known as Sibson's $α$-mutual information and has received renewed attention recently in several contexts: concentration of measure under dependence, statistical learning, hypothesis testing, and estimation theory. In this paper, we survey and…
▽ More
Information measures can be constructed from Rényi divergences much like mutual information from Kullback-Leibler divergence. One such information measure is known as Sibson's $α$-mutual information and has received renewed attention recently in several contexts: concentration of measure under dependence, statistical learning, hypothesis testing, and estimation theory. In this paper, we survey and extend the state of the art. In particular, we introduce variational representations for Sibson's $α$-mutual information and employ them in each of the contexts just described to derive novel results. Namely, we produce generalized Transportation-Cost inequalities and Fano-type inequalities. We also present an overview of known applications, spanning from learning theory and Bayesian risk to universal prediction.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Tomography of nonlinear materials via the Monotonicity Principle
Authors:
Vincenzo Mottola,
Antonio Corbo Esposito,
Gianpaolo Piscitelli,
Antonello Tamburrino
Abstract:
In this paper we present a first non-iterative imaging method for nonlinear materials, based on Monotonicity Principle. Specifically, we deal with the inverse obstacle problem, where the aim is to retrieve a nonlinear anomaly embedded in linear known background.
The Monotonicity Principle (MP) is a general property for various class of PDEs, that has recently generalized to nonlinear elliptic PD…
▽ More
In this paper we present a first non-iterative imaging method for nonlinear materials, based on Monotonicity Principle. Specifically, we deal with the inverse obstacle problem, where the aim is to retrieve a nonlinear anomaly embedded in linear known background.
The Monotonicity Principle (MP) is a general property for various class of PDEs, that has recently generalized to nonlinear elliptic PDEs. Basically, it states a monotone relation between the point-wise value of the unknown material property and the boundary measurements. It is at the foundation of a class of non-iterative imaging methods, characterized by a very low execution time that makes them ideal candidates for real-time applications.
In this work, we develop an inversion method that overcomes some of the peculiar difficulties in practical application of MP to imaging of nonlinear materials, preserving the feasibility for real-time applications. For the sake of clarity, we focus on a specific application, i.e. the Magnetostatic Permeability Tomography where the goal is retrieving the unknown (nonlinear) permeability by boundary measurements in DC operations. This choice is motivated by applications in the inspection of boxes and containers for security.
Reconstructions from simulated data prove the effectiveness of the presented method.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Contraction of Markovian Operators in Orlicz Spaces and Error Bounds for Markov Chain Monte Carlo
Authors:
Amedeo Roberto Esposito,
Marco Mondelli
Abstract:
We introduce a novel concept of convergence for Markovian processes within Orlicz spaces, extending beyond the conventional approach associated with $L_p$ spaces. After showing that Markovian operators are contractive in Orlicz spaces, our key technical contribution is an upper bound on their contraction coefficient, which admits a closed-form expression. The bound is tight in some settings, and i…
▽ More
We introduce a novel concept of convergence for Markovian processes within Orlicz spaces, extending beyond the conventional approach associated with $L_p$ spaces. After showing that Markovian operators are contractive in Orlicz spaces, our key technical contribution is an upper bound on their contraction coefficient, which admits a closed-form expression. The bound is tight in some settings, and it recovers well-known results, such as the connection between contraction and ergodicity, ultra-mixing and Doeblin's minorisation. Specialising our approach to $L_p$ spaces leads to a significant improvement upon classical Riesz-Thorin's interpolation methods. Furthermore, by exploiting the flexibility offered by Orlicz spaces, we can tackle settings where the stationary distribution is heavy-tailed, a severely under-studied setup. As an application of the framework put forward in the paper, we introduce tighter bounds on the mixing time of Markovian processes, better exponential concentration bounds for MCMC methods, and better lower bounds on the burn-in period. To conclude, we show how our results can be used to prove the concentration of measure phenomenon for a sequence of Markovian random variables.
△ Less
Submitted 11 June, 2024; v1 submitted 17 February, 2024;
originally announced February 2024.
-
Hilbert series and degrees of regularity of Oil $\&$ Vinegar and Mixed quadratic systems
Authors:
Antonio Corbo Esposito,
Rosa Fera,
Francesco Romeo
Abstract:
In this paper, we analyze the algebraic invariants for two classes of multivariate quadratic systems: systems made by OV quadratic polynomials and systems made by both OV polynomials and fully quadratic ones. For such systems, we explicitly compute the Hilbert series, and we give bounds on the degree of regularity, solving degree and first fall degree that are useful in cryptographic applications.
In this paper, we analyze the algebraic invariants for two classes of multivariate quadratic systems: systems made by OV quadratic polynomials and systems made by both OV polynomials and fully quadratic ones. For such systems, we explicitly compute the Hilbert series, and we give bounds on the degree of regularity, solving degree and first fall degree that are useful in cryptographic applications.
△ Less
Submitted 15 December, 2023; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Imaging of nonlinear materials via the Monotonicity Principle
Authors:
Vincenzo Mottola,
Antonio Corbo Esposito,
Gianpaolo Piscitelli,
Antonello Tamburrino
Abstract:
Inverse problems, which are related to Maxwell's equations, in the presence of nonlinear materials is a quite new topic in the literature. The lack of contributions in this area can be ascribed to the significant challenges that such problems pose. Retrieving the spatial behaviour of some unknown physical property, from boundary measurements, is a nonlinear and highly ill-posed problem even in the…
▽ More
Inverse problems, which are related to Maxwell's equations, in the presence of nonlinear materials is a quite new topic in the literature. The lack of contributions in this area can be ascribed to the significant challenges that such problems pose. Retrieving the spatial behaviour of some unknown physical property, from boundary measurements, is a nonlinear and highly ill-posed problem even in the presence of linear materials. Furthermore, this complexity grows exponentially in the presence of nonlinear materials. In the tomography of linear materials, the Monotonicity Principle (MP) is the foundation of a class of non-iterative algorithms able to guarantee excellent performances and compatibility with real-time applications. Recently, the MP has been extended to nonlinear materials under very general assumptions. Starting from the theoretical background for this extension, we develop a first real-time inversion method for the inverse obstacle problem in the presence of nonlinear materials. The proposed method is intendend for all problems governed by the quasilinear Laplace equation, i.e. static problems involving nonlinear materials. In this paper, we provide some preliminary results which give the foundation of our method and some extended numerical examples.
△ Less
Submitted 13 December, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
On evolution PDEs on co-evolving graphs
Authors:
Antonio Esposito,
László Mikolás
Abstract:
We provide a well-posedness theory for a class of nonlocal continuity equations on co-evolving graphs. We describe the connection among vertices through an edge weight function and we let it evolve in time, coupling its dynamics with the dynamics on the graph. This is relevant in applications to opinion dynamics and transportation networks. Existence and uniqueness of suitably defined solutions is…
▽ More
We provide a well-posedness theory for a class of nonlocal continuity equations on co-evolving graphs. We describe the connection among vertices through an edge weight function and we let it evolve in time, coupling its dynamics with the dynamics on the graph. This is relevant in applications to opinion dynamics and transportation networks. Existence and uniqueness of suitably defined solutions is obtained by exploiting the Banach fixed-point Theorem. We consider different time scales for the evolution of the weight function: faster and slower than the flow defined on the graph. The former leads to graphs whose weight functions depend nonlocally on the density configuration at the vertices, while the latter induces static graphs. Furthermore, we prove a discrete-to-continuum limit for the PDEs under study as the number of vertices converges to infinity.
△ Less
Submitted 27 March, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Piecewise nonlinear materials and Monotonicity Principle
Authors:
Antonio Corbo Esposito,
Luisa Faella,
Vincenzo Mottola,
Gianpaolo Piscitelli,
Ravi Prakash,
Antonello Tamburrino
Abstract:
This paper is focused on the Monotonicity Principle (MP) for nonlinear materials with piecewise growth exponent. This results are relevant because enables the use of a fast imaging method based on MP, to the wide class of problems with two or more materials, where at least one is nonlinear.
The treatment is very general and allows to model a wide variety of practical configurations such as, for…
▽ More
This paper is focused on the Monotonicity Principle (MP) for nonlinear materials with piecewise growth exponent. This results are relevant because enables the use of a fast imaging method based on MP, to the wide class of problems with two or more materials, where at least one is nonlinear.
The treatment is very general and allows to model a wide variety of practical configurations such as, for instance, Superconducting (SC) or Perfect Electrical Conducting (PEC) or Perfect Electrical Insulating (PEI) materials.
A key role is played by the average Dirichlet-to-Neumann operator, introduced in [Corbo Esposito et. al, Inverse Problems 2021], where the MP for a single type of nonlinearity was treated.
Realistic numerical examples confirm the theoretical findings.
△ Less
Submitted 6 June, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
The $p_0$-Laplace "Signature" for Quasilinear Inverse Problems
Authors:
A. Corbo Esposito,
L. Faella,
V. Mottola,
G. Piscitelli,
R. Prakash,
A. Tamburrino
Abstract:
This paper refers to an imaging problem in the presence of nonlinear materials. Specifically, the problem we address falls within the framework of Electrical Resistance Tomography and involves two different materials, one or both of which are nonlinear. Tomography with nonlinear materials in the early stages of developments, although breakthroughs are expected in the not-too-distant future. The or…
▽ More
This paper refers to an imaging problem in the presence of nonlinear materials. Specifically, the problem we address falls within the framework of Electrical Resistance Tomography and involves two different materials, one or both of which are nonlinear. Tomography with nonlinear materials in the early stages of developments, although breakthroughs are expected in the not-too-distant future. The original contribution this work makes is that the nonlinear problem can be approximated by a weighted $p_0$-Laplace problem. From the perspective of tomography, this is a significant result because it highlights the central role played by the $p_0$-Laplacian in inverse problems with nonlinear materials. Moreover, when $p_0=2$, this result allows all the imaging methods and algorithms developed for linear materials to be brought into the arena of problems with nonlinear materials. The main result of this work is that for "small" Dirichlet data, (i) one material can be replaced by a perfect electric conductor and (ii) the other material can be replaced by a material giving rise to a weighted $p_0$-Laplace problem.
△ Less
Submitted 29 September, 2023; v1 submitted 26 September, 2023;
originally announced September 2023.
-
The p-Laplace "Signature" for Quasilinear Inverse Problems with Large Boundary Data
Authors:
A. Corbo Esposito,
L. Faella,
G. Piscitelli,
R. Prakash,
A. Tamburrino
Abstract:
This paper is inspired by an imaging problem encountered in the framework of Electrical Resistance Tomography involving two different materials, one or both of which are nonlinear. Tomography with nonlinear materials is in the early stages of developments, although breakthroughs are expected in the not-too-distant future.
We consider nonlinear constitutive relationships which, at a given point i…
▽ More
This paper is inspired by an imaging problem encountered in the framework of Electrical Resistance Tomography involving two different materials, one or both of which are nonlinear. Tomography with nonlinear materials is in the early stages of developments, although breakthroughs are expected in the not-too-distant future.
We consider nonlinear constitutive relationships which, at a given point in the space, present a behaviour for large arguments that is described by monomials of order p and q.
The original contribution this work makes is that the nonlinear problem can be approximated by a weighted p-Laplace problem. From the perspective of tomography, this is a significant result because it highlights the central role played by the $p-$Laplacian in inverse problems with nonlinear materials. Moreover, when p=2, this provides a powerful bridge to bring all the imaging methods and algorithms developed for linear materials into the arena of problems with nonlinear materials.
The main result of this work is that for "large" Dirichlet data in the presence of two materials of different order (i) one material can be replaced by either a perfect electric conductor or a perfect electric insulator and (ii) the other material can be replaced by a material giving rise to a weighted p-Laplace problem.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Competing effects in fourth-order aggregation-diffusion equations
Authors:
José Antonio Carrillo,
Antonio Esposito,
Carles Falcó,
Alejandro Fernández-Jiménez
Abstract:
We give sharp conditions for global in time existence of gradient flow solutions to a Cahn-Hilliard-type equation, with backwards second order degenerate diffusion, in any dimension and for general initial data. Our equation is the 2-Wasserstein gradient flow of a free energy with two competing effects: the Dirichlet energy and the power-law internal energy. Homogeneity of the functionals reveals…
▽ More
We give sharp conditions for global in time existence of gradient flow solutions to a Cahn-Hilliard-type equation, with backwards second order degenerate diffusion, in any dimension and for general initial data. Our equation is the 2-Wasserstein gradient flow of a free energy with two competing effects: the Dirichlet energy and the power-law internal energy. Homogeneity of the functionals reveals critical regimes that we analyse. Sharp conditions for global in time solutions, constructed via the minimising movement scheme, also known as JKO scheme, are obtained. Furthermore, we study a system of two Cahn-Hilliard-type equations exhibiting an analogous gradient flow structure.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Graph-to-local limit for a multi-species nonlocal cross-interaction system
Authors:
Antonio Esposito,
Georg Heinze,
Jan-Frederik Pietschmann,
André Schlichting
Abstract:
In this note we continue the study of nonlocal interaction dynamics on a sequence of infinite graphs, extending the results of [Esposito et. al 2023+] to an arbitrary number of species. Our analysis relies on the observation that the graph dynamics form a gradient flow with respect to a non-symmetric Finslerian gradient structure. Kee** the nonlocal interaction energy fixed, while localising the…
▽ More
In this note we continue the study of nonlocal interaction dynamics on a sequence of infinite graphs, extending the results of [Esposito et. al 2023+] to an arbitrary number of species. Our analysis relies on the observation that the graph dynamics form a gradient flow with respect to a non-symmetric Finslerian gradient structure. Kee** the nonlocal interaction energy fixed, while localising the graph structure, we are able to prove evolutionary Γ-convergence to an Otto-Wassertein-type gradient flow with a tensor-weighted, yet symmetric, inner product. As a byproduct this implies the existence of solutions to the multi-species non-local (cross-)interacation system on the tensor-weighted Euclidean space
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
Graph-to-local limit for the nonlocal interaction equation
Authors:
Antonio Esposito,
Georg Heinze,
André Schlichting
Abstract:
We study a class of nonlocal partial differential equations presenting a tensor-mobility, in space, obtained asymptotically from nonlocal dynamics on localising infinite graphs. Our strategy relies on the variational structure of both equations, being a Riemannian and Finslerian gradient flow, respectively. More precisely, we prove that weak solutions of the nonlocal interaction equation on graphs…
▽ More
We study a class of nonlocal partial differential equations presenting a tensor-mobility, in space, obtained asymptotically from nonlocal dynamics on localising infinite graphs. Our strategy relies on the variational structure of both equations, being a Riemannian and Finslerian gradient flow, respectively. More precisely, we prove that weak solutions of the nonlocal interaction equation on graphs converge to weak solutions of the aforementioned class of nonlocal interaction equation with a tensor-mobility in the Euclidean space. This highlights an interesting property of the graph, being a potential space-discretisation for the equation under study.
△ Less
Submitted 21 December, 2023; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Concentration without Independence via Information Measures
Authors:
Amedeo Roberto Esposito,
Marco Mondelli
Abstract:
We propose a novel approach to concentration for non-independent random variables. The main idea is to ``pretend'' that the random variables are independent and pay a multiplicative price measuring how far they are from actually being independent. This price is encapsulated in the Hellinger integral between the joint and the product of the marginals, which is then upper bounded leveraging tensoris…
▽ More
We propose a novel approach to concentration for non-independent random variables. The main idea is to ``pretend'' that the random variables are independent and pay a multiplicative price measuring how far they are from actually being independent. This price is encapsulated in the Hellinger integral between the joint and the product of the marginals, which is then upper bounded leveraging tensorisation properties. Our bounds represent a natural generalisation of concentration inequalities in the presence of dependence: we recover exactly the classical bounds (McDiarmid's inequality) when the random variables are independent. Furthermore, in a ``large deviations'' regime, we obtain the same decay in the probability as for the independent case, even when the random variables display non-trivial dependencies. To show this, we consider a number of applications of interest. First, we provide a bound for Markov chains with finite state space. Then, we consider the Simple Symmetric Random Walk, which is a non-contracting Markov chain, and a non-Markovian setting in which the stochastic process depends on its entire past. To conclude, we propose an application to Markov Chain Monte Carlo methods, where our approach leads to an improved lower bound on the minimum burn-in period required to reach a certain accuracy. In all of these settings, we provide a regime of parameters in which our bound fares better than what the state of the art can provide.
△ Less
Submitted 30 October, 2023; v1 submitted 13 March, 2023;
originally announced March 2023.
-
Nonlocal approximation of nonlinear diffusion equations
Authors:
José Antonio Carrillo,
Antonio Esposito,
Jeremy Sheung-Him Wu
Abstract:
We show that degenerate nonlinear diffusion equations can be asymptotically obtained as a limit from a class of nonlocal partial differential equations. The nonlocal equations are obtained as gradient flows of interaction-like energies approximating the internal energy. We construct weak solutions as the limit of a (sub)sequence of weak measure solutions by using the Jordan-Kinderlehrer-Otto schem…
▽ More
We show that degenerate nonlinear diffusion equations can be asymptotically obtained as a limit from a class of nonlocal partial differential equations. The nonlocal equations are obtained as gradient flows of interaction-like energies approximating the internal energy. We construct weak solutions as the limit of a (sub)sequence of weak measure solutions by using the Jordan-Kinderlehrer-Otto scheme from the context of $2$-Wasserstein gradient flows. Our strategy allows to cover the porous medium equation, for the general slow diffusion case, extending previous results in the literature. As a byproduct of our analysis, we provide a qualitative particle approximation.
△ Less
Submitted 11 October, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
On a Class of Nonlocal Continuity Equations on Graphs
Authors:
A. Esposito,
F. S. Patacchini,
A. Schlichting
Abstract:
Motivated by applications in data science, we study partial differential equations on graphs. By a classical fixed-point argument, we show existence and uniqueness of solutions to a class of nonlocal continuity equations on graphs. We consider general interpolation functions, which give rise to a variety of different dynamics, e.g., the nonlocal interaction dynamics coming from a solution-dependen…
▽ More
Motivated by applications in data science, we study partial differential equations on graphs. By a classical fixed-point argument, we show existence and uniqueness of solutions to a class of nonlocal continuity equations on graphs. We consider general interpolation functions, which give rise to a variety of different dynamics, e.g., the nonlocal interaction dynamics coming from a solution-dependent velocity field. Our analysis reveals structural differences with the more standard Euclidean space, as some analogous properties rely on the interpolation chosen.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Porous medium equation and cross-diffusion systems as limit of nonlocal interaction
Authors:
Martin Burger,
Antonio Esposito
Abstract:
This paper studies the derivation of the quadratic porous medium equation and a class of cross-diffusion systems from nonlocal interactions. We prove convergence of solutions of a nonlocal interaction equation, resp. system, to solutions of the quadratic porous medium equation, resp. cross-diffusion system, in the limit of a localising interaction kernel. The analysis is carried out at the level o…
▽ More
This paper studies the derivation of the quadratic porous medium equation and a class of cross-diffusion systems from nonlocal interactions. We prove convergence of solutions of a nonlocal interaction equation, resp. system, to solutions of the quadratic porous medium equation, resp. cross-diffusion system, in the limit of a localising interaction kernel. The analysis is carried out at the level of the (nonlocal) partial differential equations and we use gradient flow techniques to derive bounds on energy, second order moments, and logarithmic entropy. The dissipation of the latter yields sufficient regularity to obtain compactness results and pass to the limit in the localised convolutions. The strategy we propose relies on a discretisation scheme, which can be slightly modified in order to extend our result to PDEs without gradient flow structure. In particular, it does not require convexity of the associated energies. Our analysis allows to treat the case of limiting weak solutions of the non-viscous porous medium equation at relevant low regularity, assuming the initial value to have finite energy and entropy.
△ Less
Submitted 7 October, 2022; v1 submitted 10 February, 2022;
originally announced February 2022.
-
From Generalisation Error to Transportation-cost Inequalities and Back
Authors:
Amedeo Roberto Esposito,
Michael Gastpar
Abstract:
In this work, we connect the problem of bounding the expected generalisation error with transportation-cost inequalities. Exposing the underlying pattern behind both approaches we are able to generalise them and go beyond Kullback-Leibler Divergences/Mutual Information and sub-Gaussian measures. In particular, we are able to provide a result showing the equivalence between two families of inequali…
▽ More
In this work, we connect the problem of bounding the expected generalisation error with transportation-cost inequalities. Exposing the underlying pattern behind both approaches we are able to generalise them and go beyond Kullback-Leibler Divergences/Mutual Information and sub-Gaussian measures. In particular, we are able to provide a result showing the equivalence between two families of inequalities: one involving functionals and one involving measures. This result generalises the one proposed by Bobkov and Götze that connects transportation-cost inequalities with concentration of measure. Moreover, it allows us to recover all standard generalisation error bounds involving mutual information and to introduce new, more general bounds, that involve arbitrary divergence measures.
△ Less
Submitted 25 March, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.
-
On Sibson's $α$-Mutual Information
Authors:
Amedeo Roberto Esposito,
Adrien Vandenbroucque,
Michael Gastpar
Abstract:
We explore a family of information measures that stems from Rényi's $α$-Divergences with $α<0$. In particular, we extend the definition of Sibson's $α$-Mutual Information to negative values of $α$ and show several properties of these objects. Moreover, we highlight how this family of information measures is related to functional inequalities that can be employed in a variety of fields, including l…
▽ More
We explore a family of information measures that stems from Rényi's $α$-Divergences with $α<0$. In particular, we extend the definition of Sibson's $α$-Mutual Information to negative values of $α$ and show several properties of these objects. Moreover, we highlight how this family of information measures is related to functional inequalities that can be employed in a variety of fields, including lower-bounds on the Risk in Bayesian Estimation Procedures.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
Lower-bounds on the Bayesian Risk in Estimation Procedures via $f$-Divergences
Authors:
Adrien Vandenbroucque,
Amedeo Roberto Esposito,
Michael Gastpar
Abstract:
We consider the problem of parameter estimation in a Bayesian setting and propose a general lower-bound that includes part of the family of $f$-Divergences. The results are then applied to specific settings of interest and compared to other notable results in the literature. In particular, we show that the known bounds using Mutual Information can be improved by using, for example, Maximal Leakage…
▽ More
We consider the problem of parameter estimation in a Bayesian setting and propose a general lower-bound that includes part of the family of $f$-Divergences. The results are then applied to specific settings of interest and compared to other notable results in the literature. In particular, we show that the known bounds using Mutual Information can be improved by using, for example, Maximal Leakage, Hellinger divergence, or generalizations of the Hockey-Stick divergence.
△ Less
Submitted 18 May, 2022; v1 submitted 5 February, 2022;
originally announced February 2022.
-
On a novel gradient flow structure for the aggregation equation
Authors:
A. Esposito,
R. S. Gvalani,
A. Schlichting,
M. Schmidtchen
Abstract:
The aggregation equation arises naturally in kinetic theory in the study of granular media, and its interpretation as a 2-Wasserstein gradient flow for the nonlocal interaction energy is well-known. Starting from the spatially homogeneous inelastic Boltzmann equation, a formal Taylor expansion reveals a link between this equation and the aggregation equation with an appropriately chosen interactio…
▽ More
The aggregation equation arises naturally in kinetic theory in the study of granular media, and its interpretation as a 2-Wasserstein gradient flow for the nonlocal interaction energy is well-known. Starting from the spatially homogeneous inelastic Boltzmann equation, a formal Taylor expansion reveals a link between this equation and the aggregation equation with an appropriately chosen interaction potential. Inspired by this formal link and the fact that the associated aggregation equation also dissipates the kinetic energy, we present a novel way of interpreting the aggregation equation as a gradient flow, in the sense of curves of maximal slope, of the kinetic energy, rather than the usual interaction energy, with respect to an appropriately constructed transportation metric on the space of probability measures.
△ Less
Submitted 30 November, 2023; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Well-posedness of an integro-differential model for active Brownian particles
Authors:
Maria Bruna,
Martin Burger,
Antonio Esposito,
Simon Schulz
Abstract:
We propose a general strategy for solving nonlinear integro-differential evolution problems with periodic boundary conditions, where no direct maximum/minimum principle is available. This is motivated by the study of recent macroscopic models for active Brownian particles with repulsive interactions, consisting of advection-diffusion processes in the space of particle position and orientation. We…
▽ More
We propose a general strategy for solving nonlinear integro-differential evolution problems with periodic boundary conditions, where no direct maximum/minimum principle is available. This is motivated by the study of recent macroscopic models for active Brownian particles with repulsive interactions, consisting of advection-diffusion processes in the space of particle position and orientation. We focus on one of such models, namely a semilinear parabolic equation with a nonlinear active drift term, whereby the velocity depends on the particle orientation and angle-independent overall particle density (leading to a nonlocal term by integrating out the angular variable). The main idea of the existence analysis is to exploit a-priori estimates from (approximate) entropy dissipation. The global existence and uniqueness of weak solutions is shown using a two-step Galerkin approximation with appropriate cutoff in order to obtain nonnegativity, an upper bound on the overall density and preserve a-priori estimates. Our anyalysis naturally includes the case of finite systems, corresponding to the case of a finite number of directions. The Duhamel principle is then used to obtain additional regularity of the solution, namely continuity in time-space. Motivated by the class of initial data relevant for the application, which includes perfectly aligned particles (same orientation), we extend the well-posedness result to very weak solutions allowing distributional initial data with low regularity.
△ Less
Submitted 16 May, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
Phase Separation in Systems of Interacting Active Brownian Particles
Authors:
M. Bruna,
M. Burger,
A. Esposito,
S. M. Schulz
Abstract:
The aim of this paper is to discuss the mathematical modeling of Brownian active particle systems, a recently popular paradigmatic system for self-propelled particles. We present four microscopic models with different types of repulsive interactions between particles and their associated macroscopic models, which are formally obtained using different coarse-graining methods. The macroscopic limits…
▽ More
The aim of this paper is to discuss the mathematical modeling of Brownian active particle systems, a recently popular paradigmatic system for self-propelled particles. We present four microscopic models with different types of repulsive interactions between particles and their associated macroscopic models, which are formally obtained using different coarse-graining methods. The macroscopic limits are integro-differential equations for the density in phase space (positions and orientations) of the particles and may include nonlinearities in both the diffusive and advective components. In contrast to passive particles, systems of active particles can undergo phase separation without any attractive interactions, a mechanism known as motility-induced phase separation (MIPS). We explore the onset of such a transition for each model in the parameter space of occupied volume fraction and Péclet number via a linear stability analysis and numerical simulations at both the microscopic and macroscopic levels. We establish that one of the models, namely the mean-field model which assumes long-range repulsive interactions, cannot explain the emergence of MIPS. In contrast, MIPS is observed for the remaining three models that assume short-range interactions that localize the interaction terms in space.
△ Less
Submitted 27 May, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
The Pseudo-orthogonality for Graph $1$-Laplacian Eigenvectors and Applications to Higher Cheeger Constants and Data Clustering
Authors:
Antonio Corbo Esposito,
Gianpaolo Piscitelli
Abstract:
The data clustering problem consists in dividing a data set into prescribed groups of homogeneous data. This is a NP-hard problem that can be relaxed in the spectral graph theory, where the optimal cuts of a graph are related to the eigenvalues of graph $1$-Laplacian. In this paper, we firstly give new notations to describe the paths, among critical eigenvectors of the graph $1$-Laplacian, realizi…
▽ More
The data clustering problem consists in dividing a data set into prescribed groups of homogeneous data. This is a NP-hard problem that can be relaxed in the spectral graph theory, where the optimal cuts of a graph are related to the eigenvalues of graph $1$-Laplacian. In this paper, we firstly give new notations to describe the paths, among critical eigenvectors of the graph $1$-Laplacian, realizing sets with prescribed genus.
We introduce the pseudo-orthogonality to characterize $m_3(G)$, a special eigenvalue for the graph $1$-Laplacian. Furthermore, we use it to give an upper bound for the third graph Cheeger constant $h_3(G)$, that is $h_3(G) \le m_3(G)$. This is a first step for proving that the $k$-th Cheeger constant is the minimum of the $1$-Laplacian Raylegh quotient among vectors that are pseudo-orthogonal to the vectors realizing the previous $k-1$ Cheeger constants.
Eventually, we apply these results to give a method and a numerical algorithm to compute $m_3(G)$, based on a generalized inverse power method.
△ Less
Submitted 1 August, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
What is the probability that a vaccinated person is shielded from Covid-19? A Bayesian MCMC based reanalysis of published data with emphasis on what should be reported as 'efficacy'
Authors:
Giulio D'Agostini,
Alfredo Esposito
Abstract:
Based on the information communicated in press releases, and finally published towards the end of 2020 by Pfizer, Moderna and AstraZeneca, we have built up a simple Bayesian model, in which the main quantity of interest plays the role of {\em vaccine efficacy} (`$ε$'). The resulting Bayesian Network is processed by a Markov Chain Monte Carlo (MCMC), implemented in JAGS interfaced to R via rjags. A…
▽ More
Based on the information communicated in press releases, and finally published towards the end of 2020 by Pfizer, Moderna and AstraZeneca, we have built up a simple Bayesian model, in which the main quantity of interest plays the role of {\em vaccine efficacy} (`$ε$'). The resulting Bayesian Network is processed by a Markov Chain Monte Carlo (MCMC), implemented in JAGS interfaced to R via rjags. As outcome, we get several probability density functions (pdf's) of $ε$, each conditioned on the data provided by the three pharma companies. The result is rather stable against large variations of the number of people participating in the trials and it is `somehow' in good agreement with the results provided by the companies, in the sense that their values correspond to the most probable value (`mode') of the pdf's resulting from MCMC, thus reassuring us about the validity of our simple model. However we maintain that the number to be reported as `vaccine efficacy' should be the mean of the distribution, rather than the mode, as it was already very clear to Laplace about 250 years ago (its `rule of succession' follows from the simplest problem of the kind). This is particularly important in the case in which the number of successes equals the numbers of trials, as it happens with the efficacy against `severe forms' of infection, claimed by Moderna to be 100%. The implication of the various uncertainties on the predicted number of vaccinated infectees is also shown, using both MCMC and approximated formulae.
△ Less
Submitted 6 September, 2021; v1 submitted 15 February, 2021;
originally announced February 2021.
-
On conditional Sibson's $α$-Mutual Information
Authors:
Amedeo Roberto Esposito,
Diyuan Wu,
Michael Gastpar
Abstract:
In this work, we analyse how to define a conditional version of Sibson's $α$-Mutual Information. Several such definitions can be advanced and they all lead to different information measures with different (but similar) operational meanings. We will analyse in detail one such definition, compute a closed-form expression for it and endorse it with an operational meaning while also considering some a…
▽ More
In this work, we analyse how to define a conditional version of Sibson's $α$-Mutual Information. Several such definitions can be advanced and they all lead to different information measures with different (but similar) operational meanings. We will analyse in detail one such definition, compute a closed-form expression for it and endorse it with an operational meaning while also considering some applications. The alternative definitions will also be mentioned and compared.
△ Less
Submitted 8 June, 2021; v1 submitted 1 February, 2021;
originally announced February 2021.
-
Many-particle limit for a system of interaction equations driven by Newtonian potentials
Authors:
Marco Di Francesco,
Antonio Esposito,
Markus Schmidtchen
Abstract:
We consider a discrete particle system of two species coupled through nonlocal interactions driven by the one-dimensional Newtonian potential, with repulsive self-interaction and attractive cross-interaction. After providing a suitable existence theory in a finite-dimensional framework, we explore the behaviour of the particle system in case of collisions and analyse the behaviour of the solutions…
▽ More
We consider a discrete particle system of two species coupled through nonlocal interactions driven by the one-dimensional Newtonian potential, with repulsive self-interaction and attractive cross-interaction. After providing a suitable existence theory in a finite-dimensional framework, we explore the behaviour of the particle system in case of collisions and analyse the behaviour of the solutions with initial data featuring particle clusters. Subsequently, we prove that the empirical measure associated to the particle system converges to the unique 2-Wasserstein gradient flow solution of a system of two partial differential equations (PDEs) with nonlocal interaction terms in a proper measure sense. The latter result uses uniform estimates of the $L^m$-norms of a piecewise constant reconstruction of the density using the particle trajectories.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Monotonicity Principle in Tomography of Nonlinear Conducting Materials
Authors:
Antonio Corbo Esposito,
Luisa Faella,
Gianpaolo Piscitelli,
Ravi Prakash,
Antonello Tamburrino
Abstract:
We treat an inverse electrical conductivity problem which deals with the reconstruction of nonlinear electrical conductivity starting from boundary measurements in steady currents operations. In this framework, a key role is played by the Monotonicity Principle, which establishes a monotonic relation connecting the unknown material property to the (measured) Dirichlet-to-Neumann operator (DtN). Mo…
▽ More
We treat an inverse electrical conductivity problem which deals with the reconstruction of nonlinear electrical conductivity starting from boundary measurements in steady currents operations. In this framework, a key role is played by the Monotonicity Principle, which establishes a monotonic relation connecting the unknown material property to the (measured) Dirichlet-to-Neumann operator (DtN). Monotonicity Principles are the foundation for a class of non-iterative and real-time imaging methods and algorithms. In this article, we prove that the Monotonicity Principle for the Dirichlet Energy in nonlinear problems holds under mild assumptions. Then, we show that apart from linear and $p$-Laplacian cases, it is impossible to transfer this Monotonicity result from the Dirichlet Energy to the DtN operator. To overcome this issue, we introduce a new boundary operator, identified as an Average DtN operator.
△ Less
Submitted 16 April, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Nonlocal-interaction equation on graphs: gradient flow structure and continuum limit
Authors:
Antonio Esposito,
Francesco S. Patacchini,
André Schlichting,
Dejan Slepčev
Abstract:
We consider dynamics driven by interaction energies on graphs. We introduce graph analogues of the continuum nonlocal-interaction equation and interpret them as gradient flows with respect to a graph Wasserstein distance. The particular Wasserstein distance we consider arises from the graph analogue of the Benamou-Brenier formulation where the graph continuity equation uses an upwind interpolation…
▽ More
We consider dynamics driven by interaction energies on graphs. We introduce graph analogues of the continuum nonlocal-interaction equation and interpret them as gradient flows with respect to a graph Wasserstein distance. The particular Wasserstein distance we consider arises from the graph analogue of the Benamou-Brenier formulation where the graph continuity equation uses an upwind interpolation to define the density along the edges. While this approach has both theoretical and computational advantages, the resulting distance is only a quasi-metric. We investigate this quasi-metric both on graphs and on more general structures where the set of "vertices" is an arbitrary positive measure. We call the resulting gradient flow of the nonlocal-interaction energy the nonlocal nonlocal-interaction equation (NL$^2$IE). We develop the existence theory for the solutions of the NL$^2$IE as curves of maximal slope with respect to the upwind Wasserstein quasi-metric. Furthermore, we show that the solutions of the NL$^2$IE on graphs converge as the empirical measures of the set of vertices converge weakly, which establishes a valuable discrete-to-continuum convergence result.
△ Less
Submitted 4 August, 2020; v1 submitted 20 December, 2019;
originally announced December 2019.
-
Generalization Error Bounds Via Rényi-, $f$-Divergences and Maximal Leakage
Authors:
Amedeo Roberto Esposito,
Michael Gastpar,
Ibrahim Issa
Abstract:
In this work, the probability of an event under some joint distribution is bounded by measuring it with the product of the marginals instead (which is typically easier to analyze) together with a measure of the dependence between the two random variables. These results find applications in adaptive data analysis, where multiple dependencies are introduced and in learning theory, where they can be…
▽ More
In this work, the probability of an event under some joint distribution is bounded by measuring it with the product of the marginals instead (which is typically easier to analyze) together with a measure of the dependence between the two random variables. These results find applications in adaptive data analysis, where multiple dependencies are introduced and in learning theory, where they can be employed to bound the generalization error of a learning algorithm. Bounds are given in terms of Sibson's Mutual Information, $α-$Divergences, Hellinger Divergences, and $f-$Divergences. A case of particular interest is the Maximal Leakage (or Sibson's Mutual Information of order infinity), since this measure is robust to post-processing and composes adaptively. The corresponding bound can be seen as a generalization of classical bounds, such as Hoeffding's and McDiarmid's inequalities, to the case of dependent random variables.
△ Less
Submitted 21 October, 2020; v1 submitted 1 December, 2019;
originally announced December 2019.
-
Measure solutions to a system of continuity equations driven by Newtonian nonlocal interactions
Authors:
J. A. Carrillo,
M. Di Francesco,
A. Esposito,
S. Fagioli,
M. Schmidtchen
Abstract:
We prove global-in-time existence and uniqueness of measure solutions of a nonlocal interaction system of two species in one spatial dimension. For initial data including atomic parts we provide a notion of gradient-flow solutions in terms of the pseudo-inverses of the corresponding cumulative distribution functions, for which the system can be stated as a gradient flow on the Hilbert space…
▽ More
We prove global-in-time existence and uniqueness of measure solutions of a nonlocal interaction system of two species in one spatial dimension. For initial data including atomic parts we provide a notion of gradient-flow solutions in terms of the pseudo-inverses of the corresponding cumulative distribution functions, for which the system can be stated as a gradient flow on the Hilbert space $L^2(0,1)^2$ according to the classical theory by Brézis. For absolutely continuous initial data we construct solutions using a minimising movement scheme in the set of probability measures. In addition we show that the scheme preserves finiteness of the $L^m$-norms for all $m\in [1,+\infty]$ and of the second moments. We then provide a characterisation of equilibria and prove that they are achieved (up to time subsequences) in the large time asymptotics. We conclude the paper constructing two examples of non-uniqueness of measure solutions emanating from the same (atomic) initial datum, showing that the notion of gradient flow solution is necessary to single out a unique measure solution.
△ Less
Submitted 25 June, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Nonlinear degenerate cross-diffusion systems with nonlocal interaction
Authors:
M. Di Francesco,
A. Esposito,
S. Fagioli
Abstract:
We investigate a class of systems of partial differential equations with nonlinear cross-diffusion and nonlocal interactions, which are of interest in several contexts in social sciences, finance, biology, and real world applications. Assuming a uniform "coerciveness" assumption on the diffusion part, which allows to consider a large class of systems with degenerate cross-diffusion (i.e. of porous…
▽ More
We investigate a class of systems of partial differential equations with nonlinear cross-diffusion and nonlocal interactions, which are of interest in several contexts in social sciences, finance, biology, and real world applications. Assuming a uniform "coerciveness" assumption on the diffusion part, which allows to consider a large class of systems with degenerate cross-diffusion (i.e. of porous medium type) and relaxes sets of assumptions previously considered in the literature, we prove global-in-time existence of weak solutions by means of a semi-implicit version of the Jordan-Kinderlehrer-Otto scheme. Our approach allows to consider nonlocal interaction terms not necessarily yielding a formal gradient flow structure.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
L'utilità di una teoria inutile-Crittografia, firma digitale e teoria dei numeri
Authors:
Alfredo Esposito
Abstract:
The theory of numbers was supposed to be the less useful branch of mathematics. At the same time, cryptography was thought to be a military or a diplomatic issue. In this note we show how the two concepts are today strictly related and how this link affects our daily activities.
The theory of numbers was supposed to be the less useful branch of mathematics. At the same time, cryptography was thought to be a military or a diplomatic issue. In this note we show how the two concepts are today strictly related and how this link affects our daily activities.
△ Less
Submitted 14 February, 2011;
originally announced February 2011.
-
Quadrature With Respect to Binomial Measures
Authors:
Francesco Calabró,
Antonio Corbo Esposito
Abstract:
This work is devoted to the study of integration with respect to binomial measures. We develop interpolatory quadrature rules and study their properties. Local error estimates for these rules are derived in a general framework.
This work is devoted to the study of integration with respect to binomial measures. We develop interpolatory quadrature rules and study their properties. Local error estimates for these rules are derived in a general framework.
△ Less
Submitted 19 March, 2008; v1 submitted 7 December, 2006;
originally announced December 2006.