Limitations of Deep Learning for Inverse Problems on Digital Hardware

Holger Boche,Adalbert Fono,Gitta Kutyniok
DOI: https://doi.org/10.1109/TIT.2023.3326879
2023-10-25
Abstract:Deep neural networks have seen tremendous success over the last years. Since the training is performed on digital hardware, in this paper, we analyze what actually can be computed on current hardware platforms modeled as Turing machines, which would lead to inherent restrictions of deep learning. For this, we focus on the class of inverse problems, which, in particular, encompasses any task to reconstruct data from measurements. We prove that finite-dimensional inverse problems are not Banach-Mazur computable for small relaxation parameters. Even more, our results introduce a lower bound on the accuracy that can be obtained algorithmically.
Machine Learning,Artificial Intelligence,Signal Processing
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to explore the inherent limitations faced by deep learning when solving inverse problems, especially when computing on digital hardware. Specifically, the paper focuses on the following points: 1. **The computational capacity boundary of deep learning**: The paper analyzes what can be computed on the current digital hardware platforms based on the Turing machine model and points out the inherent limitations of deep learning on such hardware. In particular, for inverse problems, the paper proves that when the relaxation parameter is small, the finite - dimensional inverse problem is not Banach - Mazur computable. 2. **The lower limit of algorithmic precision**: The author introduces a lower limit on the precision that can be obtained by algorithms, indicating that even with deep neural networks, there are precision limits that cannot be broken through. This means that for some inverse problems, no matter how complex the neural network is, it cannot reach arbitrarily high precision. 3. **Digital computation of continuous problems**: The paper emphasizes the challenges in simulating continuous problems on digital computers. Since digital computers can only accurately compute the solutions of finite discrete problems, for continuous problems, they can only provide approximate solutions. And the effectiveness of this approximation (i.e., whether it can be effectively computed within a finite number of steps and ensure the error range) is a key issue. ### Main contributions of the paper - **Theoretical framework**: The paper adopts the Banach - Mazur computational framework to study the computability of inverse problems and proves that under this framework, finite - dimensional inverse problems cannot reach arbitrarily high precision through neural network training. - **Specific application scenarios**: The paper pays special attention to inverse problems solved by methods such as basis pursuit and Lasso optimization, which are widely used in fields such as image reconstruction. - **Relationship with existing work**: The paper supplements and extends previous research results (such as [36] and [38]), further confirming the inherent limitations of deep learning in solving inverse problems. ### Impact of the paper - **Implications for deep learning applications**: The results of the paper show that although deep learning has achieved remarkable success in many fields, there are still inherent computational obstacles when solving specific types of inverse problems. This reminds researchers and practitioners to carefully evaluate the applicability and reliability of deep learning models in different tasks. - **Thoughts on computational models**: The paper emphasizes the limitations of current digital computation based on the Turing machine model and implies that in the future, other computational models or hardware platforms (such as brain - like computing hardware) may need to be explored to break through these limitations. In conclusion, through strict mathematical proofs and theoretical analyses, this paper reveals the inherent limitations of deep learning in solving inverse problems and provides an important theoretical basis and direction for future research.