Regularization Graphs for Variational Imaging
Regularization Graphs for Variational Imaging
Disciplines
Computer Sciences (20%); Mathematics (80%)
Keywords
-
Variational Image Processing,
Regularization Functionals,
Inverse Problems,
Convex Optimization
Our perception of the world is, to a great extent, visual. Its manifestation, images, are an integral part of human culture. With today`s technology, images can digitally be acquired, processed and stored, enabling imaging as a scientific discipline. Imaging sciences increasingly affect our everyday lives, playing a role for digital photo and video technology, for instance capturing our holiday memories, and being a crucial part of modern diagnostic medical technologies such as computed tomography (CT) and magnetic resonance imaging (MRI). Mathematical imaging as scientific discipline comprises studying the translation of acquired data to a meaningful visual representation. This task is far from being trivial, in particular, in situations where there is no direct relation between visual representation and measured data. For tomography applications such as CT or MRI, where one aims at creating an image of the inside of a body, this is indeed the case. Additionally, difficulties arise from the measurements being corrupted by noise and potentially highly incomplete. The translation to a clean, accurate image, say, of the heart of a patient, requires solid mathematics and constitutes a challenging research problem. Variational methods contribute significantly to the progress towards the solution of such problems. They base on efficient mathematical models that can be transferred into computer programs performing the actual calculations. These models incorporate the relation between the image one aims to recover and the measurements, but also provide an abstract description of the qualitative properties the image satisfies. The latter, which is called regularization, is the key ingredient for solving the difficulties associated with perturbed and incomplete data. Its choice is challenging as it is the decisive factor for the performance of the method. Nonetheless, once a good regularization approach has been found, it can broadly be applied. In MRI, for instance, this allows to obtain reconstructions from only 10% of the data that is normally required and, consequently, for shorter scan time. Without appropriate regularization, such results would not be possible, making respective research an important topic within variational imaging. In the past years, great progress was achieved with seemingly very different regularization approaches. The effectiveness of those, however, is in fact driven by a similar underlying structure. This structure bears great potential in unifying and extending the state of the art. The project`s goal is to provide, in theory and application, such a unification and extension by virtue of regularization graphs. It is designed to be easily transferable into application, helping practitioners to push today`s limits for reconstruction in diverse fields of imaging sciences. Such advances could lay the foundations for concrete benefits, for instance, a scan-time reduction in MRI that enables new real- time applications.
The project was concerned with advancing regularization theory in imaging, a mathematical theory that is crucial for the solution of modern imaging reconstruction and processing problems. Its results cover the establishment of the novel concept of "regularization graphs", new efficient algorithms for the computational processing and reconstruction of digitally stored images as well as innovative applications in biomedical and nanoscale imaging. Images as the manifestation of visual perception are an integral part of human live. With today's technology, images can digitally be acquired, processed and stored, enabling imaging as a scientific discipline. Imaging sciences affect our everyday lives, playing a role in digital photo and video technology, and being a crucial part of modern diagnostic medical technologies such as computed tomography (CT) and magnetic resonance imaging (MRI). Mathematical imaging as scientific discipline comprises studying the translation of acquired data to a meaningful visual representation. This task can be difficult, in particular, in situations where there is no direct relation between visual representation and measured data. For tomography applications such as CT or MRI, where one aims at imaging the inside of a body, this is indeed the case. Additionally, difficulties arise from noisy or highly incomplete measurements. The translation to a clean, accurate image, say, of the heart of a patient, requires solid mathematics and constitutes a challenging research problem. So-called variational methods contribute significantly to the progress towards the solution of such problems. They base on efficient mathematical models that can be transferred into computer programmable algorithms. These models incorporate the relation between image and measurements, but also provide an abstract description of its qualitative properties. The latter, called regularization, is the key ingredient for solving the above-mentioned challenges. Its choice is subject to research as it is the decisive factor for the performance of the method. In MRI, for instance, appropriate regularization allows to obtain reconstructions with significantly reduced scan time. Such results would otherwise not be possible, making regularization theory an important topic within variational imaging. In the past years, great progress was achieved with seemingly very different regularization approaches. The effectiveness of those, however, is in fact driven by a similar underlying structure, which could be identified as the regularization graphs developed within the project. It showed, in particular, the potential of this structure in unifying and extending the state of the art. Its theoretic and algorithmic advances are easily transferable into application, helping practitioners to push today's limits for reconstruction in diverse fields of imaging sciences. Benefits for electron tomography and photoacoustic tomography were shown within the project, but also the foundations for other applications, for instance, a scan-time reduction in MRI that enables new real-time imaging, were laid.
- Universität Graz - 100%
Research Output
- 328 Citations
- 22 Publications
- 2 Software
- 3 Disseminations
- 1 Scientific Awards
- 2 Fundings
-
2023
Title Asymptotic linear convergence of fully-corrective generalized conditional gradient methods DOI 10.1007/s10107-023-01975-z Type Journal Article Author Bredies K Journal Mathematical Programming Pages 135-202 Link Publication -
2022
Title A Generalized Conditional Gradient Method for Dynamic Inverse Problems with Optimal Transport Regularization DOI 10.1007/s10208-022-09561-z Type Journal Article Author Bredies K Journal Foundations of Computational Mathematics Pages 833-898 Link Publication -
2022
Title Regularization graphs—a unified framework for variational regularization of inverse problems DOI 10.1088/1361-6420/ac668d Type Journal Article Author Bredies K Journal Inverse Problems Pages 105006 Link Publication -
2021
Title Regularization Graphs -- A unified framework for variational regularization of inverse problems DOI 10.48550/arxiv.2111.03509 Type Preprint Author Bredies K -
2024
Title A sparse optimization approach to infinite infimal convolution regularization DOI 10.1007/s00211-024-01439-2 Type Journal Article Author Bredies K Journal Numerische Mathematik Pages 41-96 -
2023
Title A sparse optimization approach to infinite infimal convolution regularization DOI 10.48550/arxiv.2304.08628 Type Preprint Author Bredies K -
2023
Title Convergence of Pixel-Driven Discretizations of Projection Operators DOI 10.1109/nssmicrtsd49126.2023.10338450 Type Conference Proceeding Abstract Author Huber R Pages 1-1 -
2022
Title A superposition principle for the inhomogeneous continuity equation with Hellinger–Kantorovich-regular coefficients DOI 10.1080/03605302.2022.2109172 Type Journal Article Author Bredies K Journal Communications in Partial Differential Equations Pages 2023-2069 Link Publication -
2022
Title Pixel-driven projection methods' approximation properties and applications in electron tomography Type PhD Thesis Author Richard Huber Link Publication -
2019
Title Untargeted Metabolomics Reveals Molecular Effects of Ketogenic Diet on Healthy and Tumor Xenograft Mouse Models DOI 10.3390/ijms20163873 Type Journal Article Author Licha D Journal International Journal of Molecular Sciences Pages 3873 Link Publication -
2021
Title On the extremal points of the ball of the Benamou–Brenier energy DOI 10.1112/blms.12509 Type Journal Article Author Bredies K Journal Bulletin of the London Mathematical Society Pages 1436-1452 Link Publication -
2022
Title Non-smooth model-based regularization for inverse problems in imaging Type Postdoctoral Thesis Author Martin Holler -
2019
Title Total generalized variation regularization for multi-modal electron tomography DOI 10.1039/c8nr09058k Type Journal Article Author Huber R Journal Nanoscale Pages 5617-5632 Link Publication -
2019
Title Sparsity of solutions for variational inverse problems with finite-dimensional data DOI 10.1007/s00526-019-1658-1 Type Journal Article Author Bredies K Journal Calculus of Variations and Partial Differential Equations Pages 14 Link Publication -
2018
Title Infimal Convolution of Oscillation Total Generalized Variation for the Recovery of Images with Structured Texture DOI 10.1137/17m1153960 Type Journal Article Author Gao Y Journal SIAM Journal on Imaging Sciences Pages 2021-2063 Link Publication -
2018
Title Total Generalized Variation for Manifold-Valued Data DOI 10.1137/17m1147597 Type Journal Article Author Bredies K Journal SIAM Journal on Imaging Sciences Pages 1785-1848 Link Publication -
2018
Title A function space framework for structural total variation regularization with applications in inverse problems DOI 10.1088/1361-6420/aab586 Type Journal Article Author Hintermüller M Journal Inverse Problems Pages 064002 Link Publication -
2018
Title Coupled regularization with multiple data discrepancies DOI 10.1088/1361-6420/aac539 Type Journal Article Author Holler M Journal Inverse Problems Pages 084003 Link Publication -
2020
Title TGV-regularized inversion of the Radon transform for photoacoustic tomography DOI 10.1364/boe.379941 Type Journal Article Author Bredies K Journal Biomedical Optics Express Pages 994-1019 Link Publication -
2020
Title Higher-order total variation approaches and generalisations DOI 10.1088/1361-6420/ab8f80 Type Journal Article Author Bredies K Journal Inverse Problems Pages 123001 Link Publication -
2018
Title Sparsity of solutions for variational inverse problems with finite-dimensional data DOI 10.48550/arxiv.1809.05045 Type Preprint Author Bredies K -
2017
Title Coupled regularization with multiple data discrepancies DOI 10.48550/arxiv.1711.11512 Type Preprint Author Holler M
-
2021
Link
Title Gratopy 0.1 DOI 10.5281/zenodo.5221442 Link Link -
2019
Link
Title Graptor 0.1 DOI 10.5281/zenodo.2586204 Link Link
-
2019
Link
Title High flyers in nano research Type A press release, press conference or response to a media enquiry/interview Link Link -
2017
Link
Title Achtung Forschung! Type Participation in an open day or visit at my research institution Link Link -
2019
Link
Title Falter Heureka Interview Type A press release, press conference or response to a media enquiry/interview Link Link
-
2018
Title Mathematics and Image Analysis MIA'18 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International
-
2020
Title Next Generation Chemical Exchange saturation transfer MRI Type Other Start of Funding 2020 -
2020
Title (TraDE-OPT) - Training Data-driven Experts in OPTimization Type Research grant (including intramural programme) Start of Funding 2020