-
Traction force microscopy for linear and nonlinear elastic materials as a parameter identification inverse problem
Authors:
Gesa Sarnighausen,
Tram Thi Ngoc Nguyen,
Thorsten Hohage,
Mangalika Sinha,
Sarah Koester,
Timo Betz,
Ulrich Sebastian Schwarz,
Anne Wald
Abstract:
Traction force microscopy is a method widely used in biophysics and cell biology to determine forces that biological cells apply to their environment. In the experiment, the cells adhere to a soft elastic substrate, which is then deformed in response to cellular traction forces. The inverse problem consists in computing the traction stress applied by the cell from microscopy measurements of the su…
▽ More
Traction force microscopy is a method widely used in biophysics and cell biology to determine forces that biological cells apply to their environment. In the experiment, the cells adhere to a soft elastic substrate, which is then deformed in response to cellular traction forces. The inverse problem consists in computing the traction stress applied by the cell from microscopy measurements of the substrate deformations. In this work, we consider a linear model, in which 3D forces are applied at a 2D interface, called 2.5D traction force microscopy, and a nonlinear pure 2D model, from which we directly obtain a linear pure 2D model. All models lead to a linear resp. nonlinear parameter identification problem for a boundary value problem of elasticity. We analyze the respective forward operators and conclude with some numerical experiments for simulated and experimental data.
△ Less
Submitted 29 November, 2024;
originally announced November 2024.
-
Dynamic computerized tomography using inexact models and motion estimation
Authors:
Gesa Sarnighausen,
Anne Wald,
Alexander Meaney
Abstract:
Reconstructing a dynamic object with affine motion in computerized tomography (CT) leads to motion artifacts if the motion is not taken into account. In most cases, the actual motion is neither known nor can be determined easily. As a consequence, the respective model that describes CT is incomplete. The iterative RESESOP-Kaczmarz method can - under certain conditions and by exploiting the modelin…
▽ More
Reconstructing a dynamic object with affine motion in computerized tomography (CT) leads to motion artifacts if the motion is not taken into account. In most cases, the actual motion is neither known nor can be determined easily. As a consequence, the respective model that describes CT is incomplete. The iterative RESESOP-Kaczmarz method can - under certain conditions and by exploiting the modeling error - reconstruct dynamic objects at different time points even if the exact motion is unknown. However, the method is very time-consuming. To speed the reconstruction process up and obtain better results, we combine the following three steps: 1. RESESOP-Kacmarz with only a few iterations is implemented to reconstruct the object at different time points. 2. The motion is estimated via landmark detection, e.g. using deep learning. 3. The estimated motion is integrated into the reconstruction process, allowing the use of dynamic filtered backprojection. We give a short review of all methods involved and present numerical results as a proof of principle.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Ill-posedness of time-dependent inverse problems in Lebesgue-Bochner spaces
Authors:
Martin Burger,
Thomas Schuster,
Anne Wald
Abstract:
We consider time-dependent inverse problems in a mathematical setting using Lebesgue-Bochner spaces. Such problems arise when one aims to recover parameters from given observations where the parameters or the data depend on time. There are various important applications being subject of current research that belong to this class of problems. Typically inverse problems are ill-posed in the sense th…
▽ More
We consider time-dependent inverse problems in a mathematical setting using Lebesgue-Bochner spaces. Such problems arise when one aims to recover parameters from given observations where the parameters or the data depend on time. There are various important applications being subject of current research that belong to this class of problems. Typically inverse problems are ill-posed in the sense that already small noise in the data causes tremendous errors in the solution. In this article we present two different concepts of ill-posedness: temporally (pointwise) ill-posedness and uniform ill-posedness with respect to the Lebesgue-Bochner setting. We investigate the two concepts by means of a typical setting consisting of a time-depending observation operator composed by a compact operator. Furthermore we develop regularization methods that are adapted to the respective class of ill-posedness.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Learning-based approaches for reconstructions with inexact operators in nanoCT applications
Authors:
Tom Lütjen,
Fabian Schönfeld,
Alice Oberacker,
Johannes Leuschner,
Maximilian Schmidt,
Anne Wald,
Tobias Kluth
Abstract:
Imaging problems such as the one in nanoCT require the solution of an inverse problem, where it is often taken for granted that the forward operator, i.e., the underlying physical model, is properly known. In the present work we address the problem where the forward model is inexact due to stochastic or deterministic deviations during the measurement process. We particularly investigate the perfor…
▽ More
Imaging problems such as the one in nanoCT require the solution of an inverse problem, where it is often taken for granted that the forward operator, i.e., the underlying physical model, is properly known. In the present work we address the problem where the forward model is inexact due to stochastic or deterministic deviations during the measurement process. We particularly investigate the performance of non-learned iterative reconstruction methods dealing with inexactness and learned reconstruction schemes, which are based on U-Nets and conditional invertible neural networks. The latter also provide the opportunity for uncertainty quantification. A synthetic large data set in line with a typical nanoCT setting is provided and extensive numerical experiments are conducted evaluating the proposed methods.
△ Less
Submitted 24 October, 2024; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Lookahead Auctions with Pooling
Authors:
Almog Wald,
Michal Feldman,
Nick Gravin,
Zhihao Gavin Tang
Abstract:
A Lookahead Auction (LA), introduced by Ronen, is an auction format for the sale of a single item among multiple buyers, which is considered simpler and more fair than the optimal auction. Indeed, it anonymously selects a provisional winner by a symmetric ascending-price process, and only then uses a personalized posted price. A LA auction extracts at least 1/2 of the optimal revenue, even under a…
▽ More
A Lookahead Auction (LA), introduced by Ronen, is an auction format for the sale of a single item among multiple buyers, which is considered simpler and more fair than the optimal auction. Indeed, it anonymously selects a provisional winner by a symmetric ascending-price process, and only then uses a personalized posted price. A LA auction extracts at least 1/2 of the optimal revenue, even under a correlated value distribution. This bound is tight, even for 2 buyers with independent values. We introduce a natural extension of LA, called lookahead with pooling (LAP). A LAP auction proceeds as LA, with one difference: it allows the seller to pool together a range of values during the ascending-price stage, and treat them the same; thus, it preserves the simplicity and fairness of LA. Our main result is that this simple pooling operation improves the revenue guarantees for independent buyers from 1/2 to 4/7 of the optimal revenue. We also give a complementary negative result, showing that for arbitrary correlated priors LAP cannot do better than 1/2 approximation.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
PLANETAMOS, A Physics Show Musical (Phyusical)
Authors:
Lara Becker,
Erik Busley,
Jakob Dietl,
Herbi K. Dreiner,
Till Fohrmann,
Kathrin Grunthal,
Jana Heysel,
Finn Jaekel,
Kristoffer Kerkhof,
Michael Kortmann,
Barbara Leibrock,
Viola Middelhauve,
Steffi Moll,
David Ohse,
Johann Ostmeyer,
Laura Rodríguez Gómez,
Christoph Schürmann,
Anne Stockhausen,
Joshua Streichhahn,
Carsten Urbach,
Heinrich von Campe,
Alexandra Wald,
Laura Weber,
Inga Woeste
Abstract:
We present a physics show musical with live physics experiments and live performed songs with live orchestral accompaniment. The musical was first put on stage in German at the Physikalische Institut, University of Bonn, on the 24th of March, 2019. Here we present the original German script as well as an English translation, including a translation of the songs. We also give brief descriptions of…
▽ More
We present a physics show musical with live physics experiments and live performed songs with live orchestral accompaniment. The musical was first put on stage in German at the Physikalische Institut, University of Bonn, on the 24th of March, 2019. Here we present the original German script as well as an English translation, including a translation of the songs. We also give brief descriptions of all the experiments employed, with photos as well as how we present the experiments.
The musical tells the story of a couple, Life and Death, nicknamed Vita and Mortis, who want to buy a planet where they can settle down and raise a family. They arrive at the store Planetamos, run by the manager Luna Callisto and the scientist Jupi Mercury. The latter two present to Vita and Mortis what is required for life on a planet, as well as all of the extra features for sale, to make it that very special place for their family. Through Vita and Mortis the audience learns about the physical requirements for life on a planet orbiting a star.
The show involves 14 live physics experiments. The four actors sing 7 songs, which are to well-known tunes with new lyrics, in German. During the show the singers are accompanied by a small live orchestra, consisting of a flute, an oboe, a piano, a violin, a cello, a harp and percussion. The show was developed by the University of Bonn physics students, who have all been very active in the University of Bonn Physics Show (Physikshow der Universitaet Bonn) the past few years.
To the best of our knowledge this is the first physics show musical with live experiments and live song and orchestra.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
On numerical aspects of parameter identification for the Landau-Lifshitz-Gilbert equation in Magnetic Particle Imaging
Authors:
Tram Thi Ngoc Nguyen,
Anne Wald
Abstract:
The Landau-Lifshitz-Gilbert equation yields a mathematical model to describe the evolution of the magnetization of a magnetic material, particularly in response to an external applied magnetic field. It allows one to take into account various physical effects, such as the exchange within the magnetic material itself. In particular, the Landau-Lifshitz-Gilbert equation encodes relaxation effects, i…
▽ More
The Landau-Lifshitz-Gilbert equation yields a mathematical model to describe the evolution of the magnetization of a magnetic material, particularly in response to an external applied magnetic field. It allows one to take into account various physical effects, such as the exchange within the magnetic material itself. In particular, the Landau-Lifshitz-Gilbert equation encodes relaxation effects, i.e., it describes the time-delayed alignment of the magnetization field with an external magnetic field. These relaxation effects are an important aspect in magnetic particle imaging, particularly in the calibration process. In this article, we address the data-driven modeling of the system function in magnetic particle imaging, where the Landau-Lifshitz-Gilbert equation serves as the basic tool to include relaxation effects in the model. We formulate the respective parameter identification problem both in the all-at-once and the reduced setting, present reconstruction algorithms that yield a regularized solution and discuss numerical experiments. Apart from that, we propose a practical numerical solver to the nonlinear Landau-Lifshitz-Gilbert equation, not via the classical finite element method, but through solving only linear PDEs in an inverse problem framework.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
A method for determining the parameters in a rheological model for viscoelastic materials by minimizing Tikhonov functionals
Authors:
Rebecca Rothermel,
Wladimir Panfilenko,
Prateek Sharma,
Anne Wald,
Thomas Schuster,
Anne Jung,
Stefan Diebels
Abstract:
Mathematical models describing the behavior of viscoelastic materials are often based on evolution equations that measure the change in stress depending on its material parameters such as stiffness, viscosity or relaxation time. In this article, we introduce a Maxwell-based rheological model, define the associated forward operator and the inverse problem in order to determine the number of Maxwell…
▽ More
Mathematical models describing the behavior of viscoelastic materials are often based on evolution equations that measure the change in stress depending on its material parameters such as stiffness, viscosity or relaxation time. In this article, we introduce a Maxwell-based rheological model, define the associated forward operator and the inverse problem in order to determine the number of Maxwell elements and the material parameters of the underlying viscoelastic material. We perform a relaxation experiment by applying a strain to the material and measure the generated stress. Since the measured data varies with the number of Maxwell elements, the forward operator of the underlying inverse problem depends on parts of the solution. By introducing assumptions on the relaxation times, we propose a clustering algorithm to resolve this problem. We provide the calculations that are necessary for the minimization process and conclude with numerical results by investigating unperturbed as well as noisy data. We present different reconstruction approaches based on minimizing a least squares functional. Furthermore, we look at individual stress components to analyze different displacement rates. Finally, we study reconstructions with shortened data sets to obtain assertions on how long experiments have to be performed to identify conclusive material parameters.
△ Less
Submitted 26 February, 2021;
originally announced February 2021.
-
On parameter identification problems for elliptic boundary value problems in divergence form, Part I: An abstract framework
Authors:
Heiko Hoffmann,
Anne Wald
Abstract:
Parameter identification problems for partial differential equations are an important subclass of inverse problems. The parameter-to-state map, which maps the parameter of interest to the respective solution of the PDE or state of the system, plays the central role in the (usually nonlinear) forward operator. Consequently, one is interested in well-definedness and further analytic properties such…
▽ More
Parameter identification problems for partial differential equations are an important subclass of inverse problems. The parameter-to-state map, which maps the parameter of interest to the respective solution of the PDE or state of the system, plays the central role in the (usually nonlinear) forward operator. Consequently, one is interested in well-definedness and further analytic properties such as continuity and differentiability of this operator w.r.t. the parameter in order to make sure that techniques from inverse problems theory may be successfully applied to solve the inverse problem. In this work, we present a general functional analytic framework suited for the study of a huge class of parameter identification problems including a variety of elliptic boundary value problems (in divergence form) with Dirichlet, Neumann, Robin or mixed boundary conditions. In particular, we show that the corresponding parameter-to-state operators fulfil, under suitable conditions, the tangential cone condition, which is often postulated for numerical solution techniques. This framework particularly covers the inverse medium problem and an inverse problem that arises in terahertz tomography.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Sequential subspace optimization for recovering stored energy functions in hyperelastic materials from time-dependent data
Authors:
Rebecca Klein,
Thomas Schuster,
Anne Wald
Abstract:
Monitoring structures of elastic materials for defect detection by means of ultrasound waves (Structural Health Monitoring, SHM) demands for an efficient computation of parameters which characterize their mechanical behavior. Hyperelasticity describes a nonlinear elastic behavior where the second Piola-Kirchhoff stress tensor is given as a derivative of a scalar function representing the stored (s…
▽ More
Monitoring structures of elastic materials for defect detection by means of ultrasound waves (Structural Health Monitoring, SHM) demands for an efficient computation of parameters which characterize their mechanical behavior. Hyperelasticity describes a nonlinear elastic behavior where the second Piola-Kirchhoff stress tensor is given as a derivative of a scalar function representing the stored (strain) energy. Since the stored energy encodes all mechanical properties of the underlying material, the inverse problem of computing this energy from measurements of the displacement field is very important regarding SHM. The mathematical model is represented by a high-dimensional parameter identification problem for a nonlinear, hyperbolic system with given initial and boundary values. Iterative methods for solving this problem, such as the Landweber iteration, are very time-consuming. The reason is the fact that such methods demand for several numerical solutions of the hyperbolic system in each iteration step. In this contribution we present an iterative method based on sequential subspace optimization (SESOP) which in general uses more than only one search direction per iteration and explicitly determines the step size. This leads to a significant acceleration compared to the Landweber method, even with only one search direction and an optimized step size. This is demonstrated by means of several numerical tests.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
Parameter identification for the Landau-Lifshitz-Gilbert equation in Magnetic Particle Imaging
Authors:
Barbara Kaltenbacher,
Tram Thi Ngoc Nguyen,
Anne Wald,
Thomas Schuster
Abstract:
Magnetic particle imaging (MPI) is a tracer-based technique for medical imaging where the tracer consists of ironoxide nanoparticles. The key idea is to measure the particle response to a temporally changing external magnetic field to compute the spatial concentration of the tracer inside the object. A decent mathematical model demands for a data-driven computation of the system function which doe…
▽ More
Magnetic particle imaging (MPI) is a tracer-based technique for medical imaging where the tracer consists of ironoxide nanoparticles. The key idea is to measure the particle response to a temporally changing external magnetic field to compute the spatial concentration of the tracer inside the object. A decent mathematical model demands for a data-driven computation of the system function which does not only describe the measurement geometry but also encodes the interaction of the particles with the external magnetic field. The physical model of this interaction is given by the Landau-Lifshitz-Gilbert (LLG) equation. The determination of the system function can be seen as an inverse problem of its own which can be interpreted as a calibration problem for MPI. In this contribution the calibration problem is formulated as an inverse parameter identification problem for the LLG equation. We give a detailed analysis of the direct as well as the inverse problem in an all-at-once as well as in a reduced setting. The analytical results yield a deeper understanding of inverse problems connected to the LLG equation and provide a starting point for the development of robust numerical solution methods in MPI.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
A fast subspace optimization method for nonlinear inverse problems in Banach spaces with an application in parameter identification
Authors:
Anne Wald
Abstract:
We introduce and analyze a fast iterative method based on sequential Bregman projections for nonlinear inverse problems in Banach spaces. The key idea, in contrast to the standard Landweber method, is to use multiple search directions per iteration in combination with a regulation of the step width in order to reduce the total number of iterations. This method is suitable for both exact and noisy…
▽ More
We introduce and analyze a fast iterative method based on sequential Bregman projections for nonlinear inverse problems in Banach spaces. The key idea, in contrast to the standard Landweber method, is to use multiple search directions per iteration in combination with a regulation of the step width in order to reduce the total number of iterations. This method is suitable for both exact and noisy data. In the latter case, we obtain a regularization method. An algorithm with two search directions is used for the numerical identification of a parameter in an elliptic boundary value problem.
△ Less
Submitted 16 January, 2018;
originally announced January 2018.
-
Sequential subspace optimization for nonlinear inverse problems
Authors:
Anne Wald,
Thomas Schuster
Abstract:
In this work we discuss a method to adapt sequential subspace optimization (SESOP), which has so far been developed for linear inverse problems in Hilbert and Banach spaces, to the case of nonlinear inverse problems. We start by revising the well-known technique for Hilbert spaces. In a next step, we introduce a method using multiple search directions that are especially designed to fit the nonlin…
▽ More
In this work we discuss a method to adapt sequential subspace optimization (SESOP), which has so far been developed for linear inverse problems in Hilbert and Banach spaces, to the case of nonlinear inverse problems. We start by revising the well-known technique for Hilbert spaces. In a next step, we introduce a method using multiple search directions that are especially designed to fit the nonlinearity of the forward operator. To this end, we iteratively project the initial value onto stripes whose shape is determined by the search direction, the nonlinearity of the operator and the noise level. We additionally propose a fast algorithm that uses two search directions. Finally we will show convergence and regularization properties for the presented method.
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
