-
On an inverse problem with applications in cardiac electrophysiology
Authors:
Andrea Aspri,
Elena Beretta,
Elisa Francini,
Dario Pierotti,
Sergio Vessella
Abstract:
In this paper, we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the forward problem, we show that perfectly insulating regions (modeling ischemic regions in the cardiac tissue) can be uniquely determined by partial boundary measurements of the potential.
In this paper, we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the forward problem, we show that perfectly insulating regions (modeling ischemic regions in the cardiac tissue) can be uniquely determined by partial boundary measurements of the potential.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Mathematical analysis of a model-constrained inverse problem for the reconstruction of early states of prostate cancer growth
Authors:
Elena Beretta,
Cecilia Cavaterra,
Matteo Fornoni,
Guillermo Lorenzo,
Elisabetta Rocca
Abstract:
The availability of cancer measurements over time enables the personalised assessment of tumour growth and therapeutic response dynamics. However, many tumours are treated after diagnosis without collecting longitudinal data, and cancer monitoring protocols may include infrequent measurements. To facilitate the estimation of disease dynamics and better guide ensuing clinical decisions, we investig…
▽ More
The availability of cancer measurements over time enables the personalised assessment of tumour growth and therapeutic response dynamics. However, many tumours are treated after diagnosis without collecting longitudinal data, and cancer monitoring protocols may include infrequent measurements. To facilitate the estimation of disease dynamics and better guide ensuing clinical decisions, we investigate an inverse problem enabling the reconstruction of earlier tumour states by using a single spatial tumour dataset and a biomathematical model describing disease dynamics. We focus on prostate cancer, since aggressive cases of this disease are usually treated after diagnosis. We describe tumour dynamics with a phase-field model driven by a generic nutrient ruled by reaction-diffusion dynamics. The model is completed with another reaction-diffusion equation for the local production of prostate-specific antigen, which is a key prostate cancer biomarker. We first improve previous well-posedness results by further showing that the solution operator is continuously Fréchet differentiable. We then analyse the backward inverse problem concerning the reconstruction of earlier tumour states starting from measurements of the model variables at the final time. Since this problem is severely ill-posed, only very weak conditional stability of logarithmic type can be recovered from the terminal data. However, by restricting the unknowns to a compact subset of a finite-dimensional subspace, we can derive an optimal Lipschitz stability estimate.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Perception, performance, and detectability of conversational artificial intelligence across 32 university courses
Authors:
Hazem Ibrahim,
Fengyuan Liu,
Rohail Asim,
Balaraju Battu,
Sidahmed Benabderrahmane,
Bashar Alhafni,
Wifag Adnan,
Tuka Alhanai,
Bedoor AlShebli,
Riyadh Baghdadi,
Jocelyn J. Bélanger,
Elena Beretta,
Kemal Celik,
Moumena Chaqfeh,
Mohammed F. Daqaq,
Zaynab El Bernoussi,
Daryl Fougnie,
Borja Garcia de Soto,
Alberto Gandolfi,
Andras Gyorgy,
Nizar Habash,
J. Andrew Harris,
Aaron Kaufman,
Lefteris Kirousis,
Korhan Kocak
, et al. (14 additional authors not shown)
Abstract:
The emergence of large language models has led to the development of powerful tools such as ChatGPT that can produce text indistinguishable from human-generated work. With the increasing accessibility of such technology, students across the globe may utilize it to help with their school work -- a possibility that has sparked discussions on the integrity of student evaluations in the age of artific…
▽ More
The emergence of large language models has led to the development of powerful tools such as ChatGPT that can produce text indistinguishable from human-generated work. With the increasing accessibility of such technology, students across the globe may utilize it to help with their school work -- a possibility that has sparked discussions on the integrity of student evaluations in the age of artificial intelligence (AI). To date, it is unclear how such tools perform compared to students on university-level courses. Further, students' perspectives regarding the use of such tools, and educators' perspectives on treating their use as plagiarism, remain unknown. Here, we compare the performance of ChatGPT against students on 32 university-level courses. We also assess the degree to which its use can be detected by two classifiers designed specifically for this purpose. Additionally, we conduct a survey across five countries, as well as a more in-depth survey at the authors' institution, to discern students' and educators' perceptions of ChatGPT's use. We find that ChatGPT's performance is comparable, if not superior, to that of students in many courses. Moreover, current AI-text classifiers cannot reliably detect ChatGPT's use in school work, due to their propensity to classify human-written answers as AI-generated, as well as the ease with which AI-generated text can be edited to evade detection. Finally, we find an emerging consensus among students to use the tool, and among educators to treat this as plagiarism. Our findings offer insights that could guide policy discussions addressing the integration of AI into educational frameworks.
△ Less
Submitted 7 May, 2023;
originally announced May 2023.
-
On the reconstruction of cavities in a nonlinear model arising from cardiac electrophysiology
Authors:
Elena Beretta,
M. Cristina Cerutti,
Dario Pierotti,
Luca Ratti
Abstract:
In this paper, we deal with the problem of determining perfectly insulating regions (cavities) from one boundary measurement in a nonlinear elliptic equation arising from cardiac electrophysiology. Based on the results obtained in [9] we propose a new reconstruction algorithm based on $Γ$-convergence. The relevance and applicability of this approach are then shown through several numerical experim…
▽ More
In this paper, we deal with the problem of determining perfectly insulating regions (cavities) from one boundary measurement in a nonlinear elliptic equation arising from cardiac electrophysiology. Based on the results obtained in [9] we propose a new reconstruction algorithm based on $Γ$-convergence. The relevance and applicability of this approach are then shown through several numerical experiments.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Lipschitz stable determination of polyhedral conductivity inclusions from local boundary measurements
Authors:
Andrea Aspri,
Elena Beretta,
Elisa Francini,
Sergio Vessella
Abstract:
We consider the problem of determining a polyhedral conductivity inclusion embedded in a homogeneous isotropic medium from boundary measurements. We prove global Lipschitz stability for the polyhedral inclusion from the local Dirichlet-to-Neumann map extending in a highly nontrivial way the results obtained in [18] and [19] in the two-dimensional case to the three-dimensional setting.
We consider the problem of determining a polyhedral conductivity inclusion embedded in a homogeneous isotropic medium from boundary measurements. We prove global Lipschitz stability for the polyhedral inclusion from the local Dirichlet-to-Neumann map extending in a highly nontrivial way the results obtained in [18] and [19] in the two-dimensional case to the three-dimensional setting.
△ Less
Submitted 6 July, 2022; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Identification of cavities and inclusions in linear elasticity with a phase-field approach
Authors:
Andrea Aspri,
Elena Beretta,
Cecilia Cavaterra,
Elisabetta Rocca,
Marco Verani
Abstract:
In this paper, we deal with the inverse problem of the shape reconstruction of cavities and inclusions embedded in a linear elastic isotropic medium from boundary displacement's measurements. For, we consider a constrained minimization problem involving a boundary quadratic misfit functional with a regularization term that penalizes the perimeter of the cavity or inclusion to be identified. Then u…
▽ More
In this paper, we deal with the inverse problem of the shape reconstruction of cavities and inclusions embedded in a linear elastic isotropic medium from boundary displacement's measurements. For, we consider a constrained minimization problem involving a boundary quadratic misfit functional with a regularization term that penalizes the perimeter of the cavity or inclusion to be identified. Then using a phase-field approach we derive a robust algorithm for the reconstruction of elastic inclusions and of cavities modeled as inclusions with a very small elasticity tensor.
△ Less
Submitted 23 July, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Qualitative analysis of a mathematical model for Xylella fastidiosa epidemics
Authors:
Edoardo Beretta,
Vincenzo Capasso,
Simone Scacchi,
Matteo Brunetti,
Matteo Montagna
Abstract:
In Southern Italy, since 2013, there has been an ongoing Olive Quick Decline Syndrome (OQDS) outbreak, due to the bacterium Xylella fastidiosa. In a couple of previous papers, the authors have proposed a mathematical approach for identifying possible control strategies for eliminating or at least reduce the economic impact of such event. The main players involved in OQDS are represented by the ins…
▽ More
In Southern Italy, since 2013, there has been an ongoing Olive Quick Decline Syndrome (OQDS) outbreak, due to the bacterium Xylella fastidiosa. In a couple of previous papers, the authors have proposed a mathematical approach for identifying possible control strategies for eliminating or at least reduce the economic impact of such event. The main players involved in OQDS are represented by the insect vector, Philaenus spumarius, its host plants (olive trees and weeds) and the bacterium, X. fastidiosa. A basic mathematical model has been expressed in terms of a system of ordinary differential equations; a preliminary analysis already provided interesting results about possible control strategies within an integrated pest management framework, not requiring the removal of the productive resource represented by the olive trees. The same conjectures have been later confirmed by analyzing the impact of possible spatial heterogeneities on controlling a X. fastidiosa epidemic. These encouraging facts have stimulated a more detailed and rigorous mathematical analysis of the same system, as presented in this paper. A clear picture of the possible steady states (equilibria) and their stability properties has been outlined, within a variety of different parameter scenarios, for the original spatially homogeneous ecosystem. The results obtained here confirm, in a mathematically rigorous way, what had been conjectured in the previous papers, i.e. that the removal of a suitable amount of weed biomass (reservoir of the juvenile stages of the insect vector of X. fastidiosa from olive orchards and surrounding areas is the most acceptable strategy to control the spread of the OQDS. In addition, as expected, the adoption of more resistant olive tree cultivars has been shown to be a good strategy, though less cost-effective, in controlling the pathogen.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
On a nonlinear model in domains with cavities arising from cardiac electrophysiology
Authors:
E. Beretta,
M. C. Cerutti,
D. Pierotti
Abstract:
In this paper we deal with the problem of determining perfectly insulating regions (cavities) from boundary measurements in a nonlinear elliptic equation arising from cardiac electrophysiology. With minimal regularity assumptions on the cavities, we first show well-posedness of the direct problem and then prove uniqueness for the inverse problem.
In this paper we deal with the problem of determining perfectly insulating regions (cavities) from boundary measurements in a nonlinear elliptic equation arising from cardiac electrophysiology. With minimal regularity assumptions on the cavities, we first show well-posedness of the direct problem and then prove uniqueness for the inverse problem.
△ Less
Submitted 8 August, 2022; v1 submitted 8 June, 2021;
originally announced June 2021.
-
A new threshold reveals the uncertainty about the effect of school opening on diffusion of Covid-19
Authors:
Alberto Gandolfi,
Andrea Aspri,
Elena Beretta,
Khola Jamshad,
Muyan Jiang
Abstract:
We aim at clarifying the controversy about the effects of school openings or closures on the course of the Covid-19 pandemic. The mathematical analysis of compartmental models with subpopulations shows that the in-school contact rates affects the overall course of the pandemic only above a certain threshold that separates an influence phase from a non-influence one. The threshold, that we calculat…
▽ More
We aim at clarifying the controversy about the effects of school openings or closures on the course of the Covid-19 pandemic. The mathematical analysis of compartmental models with subpopulations shows that the in-school contact rates affects the overall course of the pandemic only above a certain threshold that separates an influence phase from a non-influence one. The threshold, that we calculate via linear approximation in several cases, seems to appear in all contexts, including outbreaks or new strains upsurge, lockdowns, and vaccination campaigns excluding children, albeit with different values. Our theoretical findings are then confirmed by several data-driven studies that have previously identified the phase transition in specific cases. Specific outcomes of this study are: opposite conclusions reached by studies of the same or similar situations might depend on, possibly small, differences in modeling or in parameter estimation from the very noisy Covid-19 data, that result in identifying different phases; it is possible to keep schools open at any stage of the Covid-19 pandemic, but suitably strict rules must be applied at all times or else this becomes highly detrimental to virus containment efforts; as the threshold during vaccination turns out to correspond to the internal transmission rate that would lead to virus extinction if the school population was isolated, the needed strict control can be sustained only for very brief periods; as a result, either schools will have to face a prolonged closure or children need to be vaccinated as well.
△ Less
Submitted 12 April, 2021; v1 submitted 30 March, 2021;
originally announced April 2021.
-
Detecting discriminatory risk through data annotation based on Bayesian inferences
Authors:
Elena Beretta,
Antonio Vetrò,
Bruno Lepri,
Juan Carlos De Martin
Abstract:
Thanks to the increasing growth of computational power and data availability, the research in machine learning has advanced with tremendous rapidity. Nowadays, the majority of automatic decision making systems are based on data. However, it is well known that machine learning systems can present problematic results if they are built on partial or incomplete data. In fact, in recent years several s…
▽ More
Thanks to the increasing growth of computational power and data availability, the research in machine learning has advanced with tremendous rapidity. Nowadays, the majority of automatic decision making systems are based on data. However, it is well known that machine learning systems can present problematic results if they are built on partial or incomplete data. In fact, in recent years several studies have found a convergence of issues related to the ethics and transparency of these systems in the process of data collection and how they are recorded. Although the process of rigorous data collection and analysis is fundamental in the model design, this step is still largely overlooked by the machine learning community. For this reason, we propose a method of data annotation based on Bayesian statistical inference that aims to warn about the risk of discriminatory results of a given data set. In particular, our method aims to deepen knowledge and promote awareness about the sampling practices employed to create the training set, highlighting that the probability of success or failure conditioned to a minority membership is given by the structure of the data available. We empirically test our system on three datasets commonly accessed by the machine learning community and we investigate the risk of racial discrimination.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Lipschitz stable determination of polygonal conductivity inclusions in a layered medium from the Dirichlet to Neumann map
Authors:
Elena Beretta,
Elisa Francini,
Sergio Vessella
Abstract:
Using a distributed representation formula of the Gateaux derivative of the Dirichlet to Neumann map with respect to movements of a polygonal conductivity inclusion, [11], we extend the results obtained in [8] proving global Lipschitz stability for the determination of a polygonal conductivity inclusion embedded in a layered medium from knowledge of the Dirichlet to Neumann map.
Using a distributed representation formula of the Gateaux derivative of the Dirichlet to Neumann map with respect to movements of a polygonal conductivity inclusion, [11], we extend the results obtained in [8] proving global Lipschitz stability for the determination of a polygonal conductivity inclusion embedded in a layered medium from knowledge of the Dirichlet to Neumann map.
△ Less
Submitted 29 August, 2020;
originally announced August 2020.
-
Mortality containment vs. economics opening: optimal policies in a SEIARD model
Authors:
Andrea Aspri,
Elena Beretta,
Alberto Gandolfi,
Etienne Wasmer
Abstract:
We adapt a SEIRD differential model with asymptomatic population and Covid deaths, which we call SEAIRD, to simulate the evolution of COVID-19, and add a control function affecting both the diffusion of the virus and GDP, featuring all direct and indirect containment policies; to model feasibility, the control is assumed to be a piece-wise linear function satisfying additional constraints. We desc…
▽ More
We adapt a SEIRD differential model with asymptomatic population and Covid deaths, which we call SEAIRD, to simulate the evolution of COVID-19, and add a control function affecting both the diffusion of the virus and GDP, featuring all direct and indirect containment policies; to model feasibility, the control is assumed to be a piece-wise linear function satisfying additional constraints. We describe the joint dynamics of infection and the economy and discuss the trade-off between production and fatalities. In particular, we carefully study the conditions for the existence of the optimal policy response and its uniqueness. Uniqueness crucially depends on the marginal rate of substitution between the statistical value of a human life and GDP; we show an example with a phase transition: above a certain threshold, there is a unique optimal containment policy; below the threshold, it is optimal to abstain from any containment; and at the threshold itself there are two optimal policies. We then explore and evaluate various profiles of various control policies dependent on a small number of parameters.
△ Less
Submitted 29 May, 2020;
originally announced June 2020.
-
Dislocations in a layered elastic medium with applications to fault detection
Authors:
Andrea Aspri,
Elena Beretta,
Anna L. Mazzucato
Abstract:
We consider a model for elastic dislocations in geophysics. We model a portion of the Earth's crust as a bounded, inhomogeneous elastic body with a buried fault surface, along which slip occurs. We prove well-posedness of the resulting mixed-boundary-value-transmission problem, assuming only bounded elastic moduli. We establish uniqueness in the inverse problem of determining the fault surface and…
▽ More
We consider a model for elastic dislocations in geophysics. We model a portion of the Earth's crust as a bounded, inhomogeneous elastic body with a buried fault surface, along which slip occurs. We prove well-posedness of the resulting mixed-boundary-value-transmission problem, assuming only bounded elastic moduli. We establish uniqueness in the inverse problem of determining the fault surface and the slip from a unique measurement of the displacement on an open patch at the surface, assuming in addition that the Earth's crust is an isotropic, layered medium with Lamé coefficients piecewise Lipschitz on a known partition and that the fault surface is a graph with respect to an arbitrary coordinate system. These results substantially extend those of the authors in {Arch. Ration. Mech. Anal.} {\bf 263} (2020), n. 1, 71--111.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Asymptotic Expansions for Higher Order Elliptic Equations with an Application to Quantitative Photoacoustic Tomography
Authors:
Andrea Aspri,
Elena Beretta,
Otmar Scherzer,
Monika Muszkieta
Abstract:
In this paper, we derive new asymptotic expansions for the solutions of higher order elliptic equations in the presence of small inclusions. As a byproduct, we derive a topological derivative based algorithm for the reconstruction of piecewise smooth functions. This algorithm can be used for edge detection in imaging, topological optimization, and for inverse problems, such as Quantitative Photoac…
▽ More
In this paper, we derive new asymptotic expansions for the solutions of higher order elliptic equations in the presence of small inclusions. As a byproduct, we derive a topological derivative based algorithm for the reconstruction of piecewise smooth functions. This algorithm can be used for edge detection in imaging, topological optimization, and for inverse problems, such as Quantitative Photoacoustic Tomography, for which we demonstrate the effectiveness of our asymptotic expansion method numerically.
△ Less
Submitted 27 December, 2019;
originally announced December 2019.
-
On the determination of ischemic regions in the monodomain model of cardiac electrophysiology from boundary measurements
Authors:
Elena Beretta,
Cecilia Cavaterra,
Luca Ratti
Abstract:
In this paper we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the model, we determine an asymptotic expansion of the perturbed potential due to the presence of small conductivity inhomogeneities (modeling small ischemic regions in the cardiac tissue) and use it to detect the anomalies from partial boundary measurements. This is done by dete…
▽ More
In this paper we consider the monodomain model of cardiac electrophysiology. After an analysis of the well-posedness of the model, we determine an asymptotic expansion of the perturbed potential due to the presence of small conductivity inhomogeneities (modeling small ischemic regions in the cardiac tissue) and use it to detect the anomalies from partial boundary measurements. This is done by determining the topological gradient of a suitable boundary misfit functional. The robustness of the algorithm is confirmed by several numerical experiments.
△ Less
Submitted 18 June, 2019; v1 submitted 16 June, 2019;
originally announced June 2019.
-
The invisible power of fairness. How machine learning shapes democracy
Authors:
Elena Beretta,
Antonio Santangelo,
Bruno Lepri,
Antonio Vetrò,
Juan Carlos De Martin
Abstract:
Many machine learning systems make extensive use of large amounts of data regarding human behaviors. Several researchers have found various discriminatory practices related to the use of human-related machine learning systems, for example in the field of criminal justice, credit scoring and advertising. Fair machine learning is therefore emerging as a new field of study to mitigate biases that are…
▽ More
Many machine learning systems make extensive use of large amounts of data regarding human behaviors. Several researchers have found various discriminatory practices related to the use of human-related machine learning systems, for example in the field of criminal justice, credit scoring and advertising. Fair machine learning is therefore emerging as a new field of study to mitigate biases that are inadvertently incorporated into algorithms. Data scientists and computer engineers are making various efforts to provide definitions of fairness. In this paper, we provide an overview of the most widespread definitions of fairness in the field of machine learning, arguing that the ideas highlighting each formalization are closely related to different ideas of justice and to different interpretations of democracy embedded in our culture. This work intends to analyze the definitions of fairness that have been proposed to date to interpret the underlying criteria and to relate them to different ideas of democracy.
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
Global Lipschitz stability estimates for polygonal conductivity inclusions from boundary measurements
Authors:
Elena Beretta,
Elisa Francini
Abstract:
We derive Lipschitz stability estimates for the Hausdorff distance of polygonal conductivity inclusions in terms of the Dirichlet-to-Neumann map.
We derive Lipschitz stability estimates for the Hausdorff distance of polygonal conductivity inclusions in terms of the Dirichlet-to-Neumann map.
△ Less
Submitted 12 February, 2020; v1 submitted 4 January, 2019;
originally announced January 2019.
-
Analysis of a model of elastic dislocations in geophysics
Authors:
Andrea Aspri,
Elena Beretta,
Anna L. Mazzucato,
Maarten V. de Hoop
Abstract:
We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of…
▽ More
We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of the Lamé parameters. We study the well posedness of very weak solutions to the forward problem of determining the displacement by imposing traction-free boundary conditions at the surface, continuity of the traction and a given jump on the displacement across the fault. We employ suitable weighted Sobolev spaces for the analysis. We utilize the well posedness of the forward problem and unique-continuation arguments to establish uniqueness in the inverse problem of determining the dislocation surface and the displacement jump from measuring the displacement at the surface of the Earth. Uniqueness holds for tangential or normal jumps and under some geometric conditions on the surface.
△ Less
Submitted 12 November, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
A transmission problem on a polygonal partition: regularity and shape differentiability
Authors:
Elena Beretta,
Elisa Francini,
Sergio Vessella
Abstract:
We consider a transmission problem on a polygonal partition for the two-dimensional conductivity equation. For suitable classes of partitions we establish the exact behaviour of the gradient of solutions in a neighbourhood of the vertexes of the partition. This allows to prove shape differentiability of solutions and to establish an explicit formula for the shape derivative.
We consider a transmission problem on a polygonal partition for the two-dimensional conductivity equation. For suitable classes of partitions we establish the exact behaviour of the gradient of solutions in a neighbourhood of the vertexes of the partition. This allows to prove shape differentiability of solutions and to establish an explicit formula for the shape derivative.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
A phase-field approach for the interface reconstruction in a nonlinear elliptic problem arising from cardiac electrophysiology
Authors:
Elena Beretta,
Luca Ratti,
Marco Verani
Abstract:
In this work we tackle the reconstruction of discontinuous coefficients in a semilinear elliptic equation from the knowledge of the solution on the boundary of the domain, an inverse problem motivated by biological application in cardiac electrophysiology. We formulate a constraint minimization problem involving a quadratic mismatch functional enhanced with a regularization term which penalizes th…
▽ More
In this work we tackle the reconstruction of discontinuous coefficients in a semilinear elliptic equation from the knowledge of the solution on the boundary of the domain, an inverse problem motivated by biological application in cardiac electrophysiology. We formulate a constraint minimization problem involving a quadratic mismatch functional enhanced with a regularization term which penalizes the perimeter of the inclusion to be identified. We introduce a phase-field relaxation of the problem, replacing the perimeter term with a Ginzburg-Landau-type energy. We prove the $Γ$-convergence of the relaxed functional to the original one (which implies the convergence of the minimizers), we compute the optimality conditions of the phase-field problem and define a reconstruction algorithm based on the use of the Frèchet derivative of the functional. After introducing a discrete version of the problem we implement an iterative algorithm and prove convergence properties. Several numerical results are reported, assessing the effectiveness and the robustness of the algorihtm in identifying arbitrarily-shaped inclusions. Finally, we compare our approach to a shape derivative based technique, both from a theoretical point of view (computing the sharp interface limit of the optimality conditions) and from a numerical one.
△ Less
Submitted 19 December, 2017; v1 submitted 17 September, 2017;
originally announced September 2017.
-
Reconstruction of a piecewise constant conductivity on a polygonal partition via shape optimization in EIT
Authors:
Elena Beretta,
Stefano Micheletti,
Simona Perotto,
Matteo Santacesaria
Abstract:
In this paper, we develop a shape optimization-based algorithm for the electrical impedance tomography (EIT) problem of determining a piecewise constant conductivity on a polygonal partition from boundary measurements. The key tool is to use a distributed shape derivative of a suitable cost functional with respect to movements of the partition. Numerical simulations showing the robustness and accu…
▽ More
In this paper, we develop a shape optimization-based algorithm for the electrical impedance tomography (EIT) problem of determining a piecewise constant conductivity on a polygonal partition from boundary measurements. The key tool is to use a distributed shape derivative of a suitable cost functional with respect to movements of the partition. Numerical simulations showing the robustness and accuracy of the method are presented for simulated test cases in two dimensions.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
On an elastic model arising from volcanology: an analysis of the direct and inverse problem
Authors:
Andrea Aspri,
Elena Beretta,
Edi Rosset
Abstract:
In this paper we investigate a mathematical model arising from volcanology describing surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. The modeling assumptions translate mathematically into a Neumann boundary value problem for the classical Lamé system in a half-space with an embedded pressurized cavity. We e…
▽ More
In this paper we investigate a mathematical model arising from volcanology describing surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. The modeling assumptions translate mathematically into a Neumann boundary value problem for the classical Lamé system in a half-space with an embedded pressurized cavity. We establish well-posedness of the problem in suitable weighted Sobolev spaces and analyse the inverse problem of determining the pressurized cavity from partial measurements of the displacement field proving uniqueness and stability estimates.
△ Less
Submitted 15 September, 2020; v1 submitted 31 May, 2017;
originally announced May 2017.
-
On the inverse problem of detecting cardiac ischemias: theoretical analysis and numerical reconstruction
Authors:
Elena Beretta,
Cecilia Cavaterra,
Maria Cristina Cerutti,
Andrea Manzoni,
Luca Ratti
Abstract:
In this paper we develop theoretical analysis and numerical reconstruction techniques for the solution of an inverse boundary value problem dealing with the nonlinear, time-dependent monodomain equation, which models the evolution of the electric potential in the myocardial tissue. The goal is the detection of a small inhomogeneity $ω_\varepsilon$ (where the coefficients of the equation are altere…
▽ More
In this paper we develop theoretical analysis and numerical reconstruction techniques for the solution of an inverse boundary value problem dealing with the nonlinear, time-dependent monodomain equation, which models the evolution of the electric potential in the myocardial tissue. The goal is the detection of a small inhomogeneity $ω_\varepsilon$ (where the coefficients of the equation are altered) located inside a domain $Ω$ starting from observations of the potential on the boundary $\partial Ω$. Such a problem is related to the detection of myocardial ischemic regions, characterized by severely reduced blood perfusion and consequent lack of electric conductivity. In the first part of the paper we provide an asymptotic formula for electric potential perturbations caused by internal conductivity inhomogeneities of low volume fraction, extending the results published in [7] to the case of three-dimensional, parabolic problems. In the second part we implement a reconstruction procedure based on the topological gradient of a suitable cost functional. Numerical results obtained on an idealized three-dimensional left ventricle geometry for different measurement settings assess the feasibility and robustness of the algorithm.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Differentiability of the Dirichlet to Neumann map under movements of polygonal inclusions with an application to shape optimization
Authors:
E. Beretta,
E. Francini,
S. Vessella
Abstract:
In this paper we derive rigorously the derivative of the Dirichlet to Neumann map and of the Neumann to Dirichlet map of the conductivity equation with respect to movements of vertices of triangular conductivity inclusions. We apply this result to formulate an optimization problem based on a shape derivative approach.
In this paper we derive rigorously the derivative of the Dirichlet to Neumann map and of the Neumann to Dirichlet map of the conductivity equation with respect to movements of vertices of triangular conductivity inclusions. We apply this result to formulate an optimization problem based on a shape derivative approach.
△ Less
Submitted 14 December, 2016; v1 submitted 27 June, 2016;
originally announced June 2016.
-
Analysis of a Mogi-type model describing surface deformations induced by a magma chamber embedded in an elastic half-space
Authors:
Andrea Aspri,
Elena Beretta,
Corrado Mascia
Abstract:
Motivated by a vulcanological problem, we establish a sound mathematical approach for surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. Modeling assumptions translate the problem into classical elasto-static system (homogeneous and isotropic) in an half-space with an embedded cavity. The boundary conditions ar…
▽ More
Motivated by a vulcanological problem, we establish a sound mathematical approach for surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. Modeling assumptions translate the problem into classical elasto-static system (homogeneous and isotropic) in an half-space with an embedded cavity. The boundary conditions are traction-free for the air/crust boundary and uniformly hydrostatic for the crust/chamber boundary. These are complemented with zero-displacement condition at infinity (with decay rate).
After a short presentation of the model and of its geophysical interest, we establish the well-posedness of the problem and provide an appropriate integral formulation for its solution for cavity with general shape. Based on that, assuming that the chamber is centred at some fixed point $\bm{z}$ and has diameter $\varepsilon>0$, small with respect to the depth $d$, we derive rigorously the principal term in the asymptotic expansion for the surface deformation as $\varepsilon=r/d\to 0^+$. Such formula provides a rigorous proof of the Mogi point source model in the case of spherical cavities generalizing it to the case of cavities of arbitrary shape.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
A reconstruction algorithm based on topological gradient for an inverse problem related to a semilinear elliptic boundary value problem
Authors:
Elena Beretta,
Andrea Manzoni,
Luca Ratti
Abstract:
In this paper we develop a reconstruction algorithm for the solution of an inverse boundary value problem dealing with a semilinear elliptic partial differential equation of interest in cardiac electrophysiology. The goal is the detection of small inhomogeneities located inside a domain $Ω$, where the coefficients of the equation are altered, starting from observations of the solution of the equat…
▽ More
In this paper we develop a reconstruction algorithm for the solution of an inverse boundary value problem dealing with a semilinear elliptic partial differential equation of interest in cardiac electrophysiology. The goal is the detection of small inhomogeneities located inside a domain $Ω$, where the coefficients of the equation are altered, starting from observations of the solution of the equation on the boundary $\partial Ω$. Exploiting theoretical results recently achieved in [11], we implement a reconstruction procedure based on the computation of the topological gradient of a suitable cost functional. Numerical results obtained for several test cases finally assess the feasibility and the accuracy of the proposed technique.
△ Less
Submitted 4 April, 2016;
originally announced April 2016.
-
Size estimates of an obstacle in a stationary Stokes fluid
Authors:
E. Beretta,
C. Cavaterra,
J. H. Ortega,
S. Zamorano
Abstract:
In this work we are interested in estimating the size of a cavity D immersed in a bounded domain Ω, contained in R^d, d=2,3, filled with a viscous fluid governed by the Stokes system, by means of velocity and Cauchy forces on the external boundary of Ω. More precisely, we establish some lower and upper bounds in terms of the difference between the external measurements when the obstacle is present…
▽ More
In this work we are interested in estimating the size of a cavity D immersed in a bounded domain Ω, contained in R^d, d=2,3, filled with a viscous fluid governed by the Stokes system, by means of velocity and Cauchy forces on the external boundary of Ω. More precisely, we establish some lower and upper bounds in terms of the difference between the external measurements when the obstacle is present and without the object. The proof of the result is based on interior regularity results and quantitative estimates of unique continuation for the solution of the Stokes system.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates
Authors:
Elena Beretta,
Maarten V. de Hoop,
Florian Faucher,
Otmar Scherzer
Abstract:
We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequencies as the data. A conditional Lipschitz stability estimate for the inverse problem holds in the case of wavespeeds that are a linear combination of piecewise constant functions (following a domain partition) and gives a framework in which the scheme converges. The stabilit…
▽ More
We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequencies as the data. A conditional Lipschitz stability estimate for the inverse problem holds in the case of wavespeeds that are a linear combination of piecewise constant functions (following a domain partition) and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partition increases. We establish an order optimal upper bound for the stability constant. We eventually realize computational experiments to demonstrate the stability constant evolution for three dimensional wavespeed reconstruction.
△ Less
Submitted 16 September, 2016; v1 submitted 8 October, 2015;
originally announced October 2015.
-
A variational method for quantitative photoacoustic tomography with piecewise constant coefficients
Authors:
Elena Beretta,
Monika Muszkieta,
Wolf Naetar,
Otmar Scherzer
Abstract:
In this article, we consider the inverse problem of determining spatially heterogeneous absorption and diffusion coefficients from a single measurement of the absorbed energy (in the steady-state diffusion approximation of light transfer). This problem, which is central in quantitative photoacoustic tomography, is in general ill-posed since it admits an infinite number of solution pairs. We show t…
▽ More
In this article, we consider the inverse problem of determining spatially heterogeneous absorption and diffusion coefficients from a single measurement of the absorbed energy (in the steady-state diffusion approximation of light transfer). This problem, which is central in quantitative photoacoustic tomography, is in general ill-posed since it admits an infinite number of solution pairs. We show that when the coefficients are known to be piecewise constant functions, a unique solution can be obtained. For the numerical determination of the coefficients, we suggest a variational method based based on an Ambrosio-Tortorelli-approximation of a Mumford-Shah-like functional, which we implemented numerically and tested on simulated two-dimensional data.
△ Less
Submitted 8 October, 2015; v1 submitted 16 September, 2015;
originally announced September 2015.
-
Asymptotic Expansion for Harmonic Functions in the Half-Space with a Pressurized Cavity
Authors:
Andrea Aspri,
Elena Beretta,
Corrado Mascia
Abstract:
In this paper, we address a simplified version of a problem arising from volcanology. Specifically, as reduced form of the boundary value problem for the Lamé system, we consider a Neumann problem for harmonic functions in the half-space with a cavity $C$. Zero normal derivative is assumed at the boundary of the half-space; differently, at $\partial C$, the normal derivative of the function is req…
▽ More
In this paper, we address a simplified version of a problem arising from volcanology. Specifically, as reduced form of the boundary value problem for the Lamé system, we consider a Neumann problem for harmonic functions in the half-space with a cavity $C$. Zero normal derivative is assumed at the boundary of the half-space; differently, at $\partial C$, the normal derivative of the function is required to be given by an external datum $g$, corresponding to a pressure term exerted on the medium at $\partial C$. Under the assumption that the (pressurized) cavity is small with respect to the distance from the boundary of the half-space, we establish an asymptotic formula for the solution of the problem. Main ingredients are integral equation formulations of the harmonic solution of the Neumann problem and a spectral analysis of the integral operators involved in the problem. In the special case of a datum $g$ which describes a constant pressure at $\partial C$, we recover a simplified representation based on a polarization tensor.
△ Less
Submitted 9 August, 2015;
originally announced August 2015.
-
On a semilinear elliptic boundary value problem arising in cardiac electrophysiology
Authors:
Elena Beretta,
M. Cristina Cerutti,
Andrea Manzoni,
Dario Pierotti
Abstract:
In this paper we provide a representation formula for boundary voltage perturbations caused by internal conductivity inhomogeneities of low volume fraction in a simplified {\em monodomain model} describing the electric activity of the heart. We derive such a result in the case of a nonlinear problem. Our long-term goal is the solution of the inverse problem related to the detection of regions affe…
▽ More
In this paper we provide a representation formula for boundary voltage perturbations caused by internal conductivity inhomogeneities of low volume fraction in a simplified {\em monodomain model} describing the electric activity of the heart. We derive such a result in the case of a nonlinear problem. Our long-term goal is the solution of the inverse problem related to the detection of regions affected by heart ischemic disease, whose position and size are unknown. We model the presence of ischemic regions in the form of small inhomogeneities. This leads to the study of a boundary value problem for a semilinear elliptic equation. We first analyze the well-posedness of the problem establishing some key energy estimates. These allow us to derive rigorously an asymptotic formula of the boundary potential perturbation due to the presence of the inhomogeneities, following an approach similar to the one introduced by Capdeboscq and Vogelius in \cite{capvoge} in the case of the linear conductivity equation. Finally, we propose some ideas of the reconstruction procedure that might be used to detect the inhomogeneities.
△ Less
Submitted 23 December, 2014;
originally announced December 2014.
-
Uniqueness and Lipschitz stability of an inverse boundary value problem for time-harmonic elastic waves
Authors:
Elena Beretta,
Maarten V. de Hoop,
Elisa Francini,
Sergio Vessella,
Jian Zhai
Abstract:
We consider the inverse problem of determining the Lamé parameters and the density of a three-dimensional elastic body from the local time-harmonic Dirichlet-to-Neumann map. We prove uniqueness and Lipschitz stability of this inverse problem when the Lamé parameters and the density are assumed to be piecewise constant on a given domain partition.
We consider the inverse problem of determining the Lamé parameters and the density of a three-dimensional elastic body from the local time-harmonic Dirichlet-to-Neumann map. We prove uniqueness and Lipschitz stability of this inverse problem when the Lamé parameters and the density are assumed to be piecewise constant on a given domain partition.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
Stable determination of polyhedral interfaces from boundary data for the Helmholtz equation
Authors:
Elena Beretta,
Maarten V. de Hoop,
Elisa Francini,
Sergio Vessella
Abstract:
We study an inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map as the data. We consider piecewise constant wavespeeds on an unknown tetrahedral partition and prove a Lipschitz stability estimate in terms of the Hausdorff distance between partitions.
We study an inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map as the data. We consider piecewise constant wavespeeds on an unknown tetrahedral partition and prove a Lipschitz stability estimate in terms of the Hausdorff distance between partitions.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
Inverse boundary value problem for the Helmholtz equation: Multi-level approach and iterative reconstruction
Authors:
Elena Beretta,
Maarten V. de Hoop,
Lingyun Qiu,
Otmar Scherzer
Abstract:
We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequency as the data. We develop an explicit reconstruction of the wavespeed using a multi-level nonlinear projected steepest descent iterative scheme in Banach spaces. We consider wavespeeds containing discontinuities. A conditional Lipschitz stability estimate for the inverse pr…
▽ More
We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequency as the data. We develop an explicit reconstruction of the wavespeed using a multi-level nonlinear projected steepest descent iterative scheme in Banach spaces. We consider wavespeeds containing discontinuities. A conditional Lipschitz stability estimate for the inverse problem holds for wavespeeds of the form of a linear combination of piecewise constant functions with an underlying domain partitioning, and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partitioning increases. To mitigate this growth of the stability constant, we introduce hierarchical compressive approximations of the solution to the inverse problem with piecewise constant functions. We establish an optimal bound of the stability constant, which leads to a condition on the compression rate pertaining to these approximations.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Lipschitz continuous dependence of piecewise constant Lamé coefficients from boundary data: the case of non flat interfaces
Authors:
Elena Beretta,
Elisa Francini,
Antonino Morassi,
Edi Rosset,
Sergio Vessella
Abstract:
We consider the inverse problem of determining the Lamé moduli for a piecewise constant elasticity tensor ${\mathbb C}= \sum_{j} {\mathbb C}_j χ_{D_j}$, where $\{D_j\}$ is a known finite partition of the body $Ω$, from the Dirichlet-to-Neumann map. We prove that Lipschitz stability estimates can be derived under $C^{1,α}$ regularity assumptions on the interfaces.
We consider the inverse problem of determining the Lamé moduli for a piecewise constant elasticity tensor ${\mathbb C}= \sum_{j} {\mathbb C}_j χ_{D_j}$, where $\{D_j\}$ is a known finite partition of the body $Ω$, from the Dirichlet-to-Neumann map. We prove that Lipschitz stability estimates can be derived under $C^{1,α}$ regularity assumptions on the interfaces.
△ Less
Submitted 7 June, 2014;
originally announced June 2014.
-
A variational algorithm for the detection of line segments
Authors:
E. Beretta,
M. Grasmair,
M. Muszkieta,
O. Scherzer
Abstract:
In this paper we propose an algorithm for the detection of edges in images that is based on topological asymptotic analysis. Motivated from the Mumford--Shah functional, we consider a variational functional that penalizes oscillations outside some approximate edge set, which we represent as the union of a finite number of thin strips, the width of which is an order of magnitude smaller than their…
▽ More
In this paper we propose an algorithm for the detection of edges in images that is based on topological asymptotic analysis. Motivated from the Mumford--Shah functional, we consider a variational functional that penalizes oscillations outside some approximate edge set, which we represent as the union of a finite number of thin strips, the width of which is an order of magnitude smaller than their length. In order to find a near optimal placement of these strips, we compute an asymptotic expansion of the functional with respect to the strip size. This expansion is then employed for defining a (topological) gradient descent like minimization method. As opposed to a recently proposed method by some of the authors, which uses coverings with balls, the usage of strips includes some directional information into the method, which can be used for obtaining finer edges and can also result in a reduction of computation times.
△ Less
Submitted 11 June, 2013;
originally announced June 2013.
-
Uniqueness and Lipschitz stability for the identification of Lamé parameters from boundary measurements
Authors:
Elena Beretta,
Elisa Francini,
Sergio Vessella
Abstract:
In this paper we consider the problem of determining an unknown pair $λ$, $μ$ of piecewise constant Lamé parameters inside a three dimensional body from the Dirichlet to Neumann map. We prove uniqueness and Lipschitz continuous dependence of $λ$ and $μ$ from the Dirichlet to Neumann map.
In this paper we consider the problem of determining an unknown pair $λ$, $μ$ of piecewise constant Lamé parameters inside a three dimensional body from the Dirichlet to Neumann map. We prove uniqueness and Lipschitz continuous dependence of $λ$ and $μ$ from the Dirichlet to Neumann map.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Lipschitz stability of an inverse boundary value problem for a Schrödinger type equation
Authors:
Elena Beretta,
Maarten V. de Hoop,
Lingyun Qiu
Abstract:
In this paper we study the inverse boundary value problem of determining the potential in the Schrödinger equation from the knowledge of the Dirichlet-to-Neumann map, which is commonly accepted as an ill-posed problem in the sense that, under general settings, the optimal stability estimate is of logarithmic type. In this work, a Lipschitz type stability is established assuming a priori that the p…
▽ More
In this paper we study the inverse boundary value problem of determining the potential in the Schrödinger equation from the knowledge of the Dirichlet-to-Neumann map, which is commonly accepted as an ill-posed problem in the sense that, under general settings, the optimal stability estimate is of logarithmic type. In this work, a Lipschitz type stability is established assuming a priori that the potential is piecewise constant with a bounded known number of unknown values.
△ Less
Submitted 28 November, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
Size estimates for the EIT problem with one measurement: the complex case
Authors:
Elena Beretta,
Elisa Francini,
Sergio Vessella
Abstract:
In this paper we estimate the size of a measurable inclusion in terms of power measurements for a single applied boundary current. This problem arises in medical imaging for the screening of organs. For this kind of problem one has to deal mathematically with the complex conductivity (admittivity) equation. In this case we are able to establish, for certain classes of admittivities, lower and uppe…
▽ More
In this paper we estimate the size of a measurable inclusion in terms of power measurements for a single applied boundary current. This problem arises in medical imaging for the screening of organs. For this kind of problem one has to deal mathematically with the complex conductivity (admittivity) equation. In this case we are able to establish, for certain classes of admittivities, lower and upper bounds of the measure of the inclusion in terms of the power measurements. A novelty of our result is that we are able to estimate also the volume of inclusions having part of its boundary in common with the reference body. Our analysis is based on the derivation of energy bounds and of fine quantitative estimates of unique continuation for solutions to elliptic equations.
△ Less
Submitted 10 December, 2011; v1 submitted 30 July, 2011;
originally announced August 2011.
-
An asymptotic formula for the displacement field in the presence of small anisotropic elastic inclusions
Authors:
Elena Beretta,
Eric Bonnetier,
Elisa Francini,
And Anna L Mazzucato
Abstract:
We derive asymptotic expansions for the displacement at the boundary of a smooth, elastic body in the presence of small inhomogeneities. Both the body and the inclusions are allowed to be anisotropic. This work extends prior work of CapdeBoscq and Vogelius ({\em Math. Modelling Num. Anal.} 37, 2003) for the conductivity case. In particular, we obtain an asymptotic expansion of the difference betwe…
▽ More
We derive asymptotic expansions for the displacement at the boundary of a smooth, elastic body in the presence of small inhomogeneities. Both the body and the inclusions are allowed to be anisotropic. This work extends prior work of CapdeBoscq and Vogelius ({\em Math. Modelling Num. Anal.} 37, 2003) for the conductivity case. In particular, we obtain an asymptotic expansion of the difference between the displacements at the boundary with and without inclusions, under Neumann boundary conditions, to first order in the measure of the inclusions. We impose no geometric conditions on the inclusions, which need only be measurable sets. The first-order correction contains an elastic moment tensor $\MM$ that encodes the effect of the inclusions. In the case of thin, strip-like, planar inhomogeneities we obtain a formula for $\MM$ only in terms of the elasticity tensors, which we assume strongly convex, their inverses, and a frame on the curve that supports the inclusion. We prove uniqueness of $\MM$ in this setting and recover the formula previously obtained by Beretta and Francini ({\em SIAM J. Math. Anal.}, 38, 2006).
△ Less
Submitted 20 May, 2011;
originally announced May 2011.
-
Lipschitz stability for the electrical impedance tomography problem: the complex case
Authors:
Elena Beretta,
Elisa Francini
Abstract:
In this paper we investigate the boundary value problem ${div(γ\nabla u)=0 in Ω, u=f on \partialΩ$ where $γ$ is a complex valued $L^\infty$ coefficient, satisfying a strong ellipticity condition. In Electrical Impedance Tomography, $γ$ represents the admittance of a conducting body. An interesting issue is the one of determining $γ$ uniquely and in a stable way from the knowledge of the Dirichlet-…
▽ More
In this paper we investigate the boundary value problem ${div(γ\nabla u)=0 in Ω, u=f on \partialΩ$ where $γ$ is a complex valued $L^\infty$ coefficient, satisfying a strong ellipticity condition. In Electrical Impedance Tomography, $γ$ represents the admittance of a conducting body. An interesting issue is the one of determining $γ$ uniquely and in a stable way from the knowledge of the Dirichlet-to-Neumann map $Λ_γ$. Under the above general assumptions this problem is an open issue.
In this paper we prove that, if we assume a priori that $γ$ is piecewise constant with a bounded known number of unknown values, then Lipschitz continuity of $γ$ from $Λ_γ$ holds.
△ Less
Submitted 24 August, 2010;
originally announced August 2010.