Search arXiv⌕ Search

arXiv · 2610.19637

What Inverse Problems Can Be Solved Using Neural Networks?

Abstract

The relationship between classical methods for solving inverse problems and neural network methods is examined. An answer is provided to the question of what inverse problems can be solved using neural networks. The answer is that neural network algorithms can solve only conditionally well-posed problems (well-posed according to Tikhonov). The reason is that the design of standard neural network algorithms violates the well-known Bakushinsky veto from the theory of ill-posed problems. It requires that any method theoretically guaranteeing a stable solution to an ill-posed problem must depend explicitly on the error level of data. The article highlights the distinction between the concept of regularization (RA) in the theory of ill-posed problems and regularization as understood in neural network training, where Bakushinsky's veto is violated. Due to this violation, any changes to the neural network architecture, regularization during training, or training dataset augmentation cannot alter the answer specified above. It is theoretically demonstrated that an ill-posed inverse problem can be solved only by using a parametric set of neural networks that explicitly depend on the known error levels (as parameters) of data. Accordingly, as an alternative to standard neural network algorithms, \neural network based regularization algorithms (NNBRAs) are proposed to solve ill-posed inverse problems. One approach to their construction involves using a regularized dataset. Such a dataset can be generated from perturbed inverse-problem data using a specific base RA explicitly depended on the error level of the data. Test solving the simplest finite-dimensional ill-posed inverse problem demonstrate that the accuracy of the NNBRA approximate solutions is comparable to that of the base RA. At the same time, errors of conventional neural network methods may be unacceptable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. S. Leonov, D. V. Lukyanenko. 2026-10-14. What Inverse Problems Can Be Solved Using Neural Networks?. https://arxiv.org/abs/2610.19637

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Optimal Polynomial Tractability Exponents for the Inverse Star Discrepancy

The inverse of the star discrepancy $n^\ast(d, \varepsilon)$ satisfies \[ d \varepsilon^{-1} \lesssim n^{\ast}(d,\varepsilon)\lesssim d\varepsilon^{-2} \] for all $d \in \mathbb{N}$ and $0 < \varepsilon < \varepsilon_0$. The upper bound was established by Heinrich, Novak, Wasilkowski and Woźniakowski (2001), while the lower bound is due to Hinrichs (2004). Steinerberger (2023) subsequently gave an elementary proof of the latter result. These bounds imply that the inverse of the star discrepancy depends linearly on the dimension, but the exact exponent of $\varepsilon^{-1}$ had remained open. In this paper we prove a lower bound which shows that the exponent $2$ of $\varepsilon^{-1}$ in the upper bound cannot be improved. More precisely, for every $0<α<1$ and fixed $0 0$ and $\varepsilon_{α,A}>0$ such that, for every $0<\varepsilon<\varepsilon_{α,A}$ and every integer $d$ satisfying \[ A\varepsilon^{-α}\le d\le B\varepsilon^{-α}, \] one has \[ n^\ast(d,\varepsilon) \ge c_{α,B}\,d\,\varepsilon^{-(2-α)}. \] Along these polynomial strips the right-hand side is of order $\varepsilon^{-2}$. Consequently, every uniform polynomial upper estimate $n^{\ast}(d,\varepsilon)\le C d^q\varepsilon^{-p}$ must satisfy $p\ge2$. Together with the lower bound of Hinrichs (2004), which forces $q\ge1$, this proves that the exponents $p=2$ and $q=1$ in the Heinrich--Novak--Wasilkowski--Woźniakowski upper bound are individually optimal. In particular, the optimal exponent $p^\ast = 2$.

math.NA↗

The Normal Procrustes Problem: A Riemannian Optimization Approach

For given $m \times n$ data matrices $X, Y$, we investigate the Normal Procrustes Problem---the least squares optimization problem that aims to minimize $\|AX-Y\|_F^2$, where $A$ is constrained to be a normal $m \times m$ matrix. As far as the author of this article is aware, no other method that attempts to solve the Normal Procrustes Problem exists in the literature; we thus propose what is, to our knowledge, the first such method. We, furthermore, adapt our approach to address the Real Normal Procrustes Problem, where $A$ must be real. In our treatment of these problems, we first reduce our complex and real objective functions to be purely optimizable over the Riemannian manifolds of the unitary and real orthogonal matrices, respectively. This reduction enables us to apply techniques in Riemannian manifold optimization to approximate solutions to both. The Closest Normal Matrix and Real Closest Normal Matrix Problems are both special cases of their respective Procrustes Problems (by setting $m = n$ and $X = I_m$) and have been previously studied in the literature. Our approach thus recovers a novel Riemannian optimization method for approximating solutions to both these problems. We further numerically test the performance of our method across all such problems (including against previously developed algorithms on the Closest Normal Matrix Problems) and obtain competitive residuals and favorable scaling in wall-clock time.

math.NA↗

Galerkin finite element method for time fractional diffusion-wave equations with constant time delay

This paper studies numerical methods for the time fractional diffusion-wave equations with the constant delay. Using a symmetric fractional-order reduction technique and introducing the auxiliary variable $w$, we reformulate the original problem as an equivalent coupled system and for the first time carry out a rigorous regularity analysis of $w$. Based on the symmetric graded time mesh, the coupled problem is discretised by the $L1$ scheme in time and a standard finite element method in space, and the stability result of the developed fully discrete finite element scheme is established by means of a discrete fractional Grönwall inequality. Furthermore, we derive a new comparison principle and reconstruct a new barrier function on each interval $((k-1)τ,kτ]$, $1\le k\le K$ according to the properties of the symmetric graded mesh. Based on the new barrier function, we obtain new relevant properties, which lead to a novel and crucial stability property for the discrete fractional operator. Combining the obtained local truncation error in time gives a local error estimate for the fully discrete finite element scheme, which shows that our convergence result provides a unified framework that seamlessly encompasses both pointwise-in-time error estimates on uniform meshes and global-in-time error estimates on symmetrical graded meshes. Numerical experiments confirm the theoretical results.

math.NA↗