Source-linked AI summary

Deep Null Space Learning for Inverse Problems: Convergence Analysis and Rates

Johannes Schwab, Stephan Antholzer, Markus Haltmeier

arXiv:1806.06137v3math.NAcs.NA

TL;DR

Inverse problems can be unstable or underdetermined, and the paper reports that regularization results for neural-network inverse methods were previously unavailable. It introduces null space networks and M-regularization, showing regularization and convergence-rate results while preserving data consistency.

  • Problem

    Inverse problems can be unstable or underdetermined, while regularization results for solving them with neural networks were previously unavailable.

    Source: §1 · p. 2, §4 · p. 11
  • Method

    The paper combines null space networks, which project network updates into the forward operator’s kernel, with classical regularization to define M-regularization methods.

    Source: §4 · p. 11
  • Results

    Any classical regularization of the Moore-Penrose generalized inverse defines an M-regularization method, and null space networks have convergence results and rates using exact or approximate projections.

    Source: §4 · p. 11
  • Takeaways & Limitations

    The null space projector guarantees data consistency, identified as important for neural networks solving inverse problems.

    Source: §4 · p. 11

    The analysis assumes the unknown data error has norm at most the specified noise level δ.

    Source: §1 · p. 1

Abstract

from arXiv · show

Recently, deep learning based methods appeared as a new paradigm for solving inverse problems. These methods empirically show excellent performance but lack of theoretical justification; in particular, no results on the regularization properties are available. In particular, this is the case for two-step deep learning approaches, where a classical reconstruction method is applied to the data in a first step and a trained deep neural network is applied to improve results in a second step. In this paper, we close the gap between practice and theory for a new network structure in a two-step approach. For that purpose, we propose so called null space networks and introduce the concept of M-regularization. Combined with a standard regularization method as reconstruction layer, the proposed deep null space learning approach is shown to be a M-regularization method; convergence rates are also derived. The proposed null space network structure naturally preserves data consistency which is considered as key property of neural networks for solving inverse problems.

1 Introduction

The introduction frames ill-posed inverse problems as requiring regularization and notes that deep reconstruction networks have lacked known convergence guarantees. It presents null space networks as a two-step approach designed to preserve data consistency and provide a convergent M-regularization method with rates.

1 Introduction

  • Ill-posed inverse problems can be unstable or underdetermined, so stable solutions require regularization that enforces stability, accuracy, and uniqueness.The setup allows linear operators between Hilbert spaces and noise bounded by δ.Source: §1 · pp. 1–2

1.1 Regularization methods

  • M-regularization is introduced as a new regularization concept, with classical regularization methods as special cases when M = ker(A)⊥.Tikhonov regularization is one such classical example.Source: §1.1 · p. 2

1.2 Solving inverse problems by neural networks

  • Deep reconstruction networks can perform well empirically, but none of the approaches discussed is known to be a convergent regularization method.The introduction describes two-step networks R = L ◦ B, with a reconstruction layer B followed by a trainable network L.Source: §1.2 · pp. 2–3

1.3 Proposed null space networks and main results

  • The proposed null space network L = IdX +(IdX −A+A)N changes reconstructions along ker(A), preserving Ax while allowing the output to move toward desired elements.Combined with a classical ker(A)⊥-regularization, the two-stage network yields an M-regularization with M := L ran(A+), with convergence rates derived on suitable function classes.Source: §1.3 · p. 3

1.4 Outline

  • The paper develops general M-regularization theory and rates, then studies null space networks, their possible training, and specialized convergence results.The conclusion identifies numerical testing on limited-data CT or deconvolution, and comparisons with other network types, as future work.Source: §1.4 · p. 4

2 A theory of M-regularization

The section develops M-regularization around solutions selected from a set M, with null-space networks as a motivating example. It proves convergence for classical regularizers composed with the network map and derives convergence rates under additional assumptions.

2 A theory of M-regularization

  • The theory applies to Lipschitz maps Φ whose values lie in ker(A), including null-space networks of the form Φ = Pker(A) ◦ N.The section develops convergence and rate results for this general class.Source: §2 · p. 4

2.1 M-regularization methods

  • The M-generalized inverse selects a solution of the normal equation from A+y + ker(A), and it is continuous exactly when ran(A) is closed.When Φ is zero, it coincides with the Moore-Penrose generalized inverse; otherwise the selected solution can be adapted to a training set.Source: §2.1 · p. 5

2.2 Convergence analysis

  • Composing any classical regularization method Bα for A+ with IdX + Φ gives a regularization of AM.The result also applies to filter-based methods Bα = gα(A∗A)A∗.Source: §2.2 · p. 6

2.3 Convergence rates

  • Under the theorem’s filter and parameter-choice assumptions, the paper derives convergence rates for source-set elements and identifies an order-optimal filter-based method.The stated assumptions include truncated SVD and Landweber filters; for Tikhonov regularization they hold when μ ≤ 1.Source: §2.3 · pp. 7–8

3 Deep null space learning

Section 3 defines null space networks as identity-plus-kernel corrections, describes their training, and establishes M-regularization and convergence-rate results for regularized reconstructions.

3.1 Null space networks

  • A null space network has the form L = IdX + (IdX − A+A)N, where N is a neural network function.The operator IdX − A+A is the projector onto ker(A).Source: §3 · p. 8, §3.1 · p. 9

3.2 Network training

  • Training minimizes a regularized error over network functions, with layer penalties bounding the network's Lipschitz constant and aiming to improve training-set estimates over the identity.Exact minimization is not required; a sufficiently small training error is the stated goal.Source: §3.2 · pp. 9–10

3.3 Convergence and convergence rates

  • Combining a null space network with a classical regularization Bα of A+ yields an M-regularization method via Rα = (IdX + (IdX − A+A)N)Bα.The result follows by viewing the network as IdX + Φ, with Φ mapping into ker(A).Source: §3.3 · p. 10
  • Bounded operators Qα converging to Pker(A) also yield an M-regularization method and regularize AM.Exact evaluation of the kernel projection may be costly, motivating approximate evaluations.Source: §3.3 · p. 10
  • For x in ran(L(A*A)^µ), Theorem 3.4 gives convergence-rate results under a δ-dependent approximation condition on Qα and Pker(A).The theorem assumes gα satisfies Theorem 2.8's assumptions.Source: §3.3 · p. 11

4 Conclusion

The conclusion presents null space networks as kernel-projected corrections that guarantee data consistency. It also reports regularization and convergence results, while identifying numerical evaluation as future work.

4 Conclusion

  • The projector onto ker(A) guarantees data consistency in the null space network structure.The structure is IdX plus a neural-network correction projected into the forward operator's kernel.Source: §4 · p. 11
  • The paper establishes M-regularization and convergence rates for neural-network corrections whose range lies in ker(A).The reported rates use exact or approximate projections.Source: §4 · p. 11
  • Numerical tests on limited-data CT or deconvolution, including comparisons with residual, iterative, or variational networks, are left for future work.Source: §4 · p. 11
Loading 1806.06137v3…