×

Exact reconstruction and reconstruction from noisy data with anisotropic total variation. (English) Zbl 1539.49009

Summary: It is well-known that point sources with sufficient mutual distance can be reconstructed exactly from finitely many Fourier measurements by solving a convex optimization problem with Tikhonov-regularization (this property is sometimes termed superresolution). In the case of noisy measurements one can bound the reconstruction error in unbalanced Wasserstein distances or weak Sobolev-type norms. A natural question is to what other settings the phenomenon of superresolution extends. We here keep the same measurement operator but replace the regularizer to anisotropic total variation, which is particularly suitable for regularizing piecewise constant images with horizontal and vertical edges. Under sufficient mutual distance between the horizontal and vertical edges we prove exact reconstruction results and \(L^1\) error bounds in terms of the measurement noise.

MSC:

49J30 Existence of optimal solutions belonging to restricted classes (Lipschitz controls, bang-bang controls, etc.)
49K40 Sensitivity, stability, well-posedness
65J20 Numerical solutions of ill-posed problems in abstract spaces; regularization

Software:

GitHub; PyCUDA; PyOpenCL

References:

[1] Alberti, G. S., Ammari, H., Romero, F., and Wintz, T., Dynamic spike superresolution and applications to ultrafast ultrasound imaging, SIAM J. Imaging Sci., 12 (2019), pp. 1501-1527. · Zbl 1439.65236
[2] Ambrosio, L., Fusco, N., and Pallara, D., Functions of Bounded Variation and Free Discontinuity Problems, Oxford University Press, Oxford, 2000. · Zbl 0957.49001
[3] Boyer, C., Chambolle, A., Castro, Y. D., Duval, V., De Gournay, F., and Weiss, P., On representer theorems and convex regularization, SIAM J. Optim., 29 (2019), pp. 1260-1281. · Zbl 1423.49036
[4] Bredies, K. and Carioni, M., Sparsity of solutions for variational inverse problems with finite-dimensional data, Calc. Var. Partial Differential Equations, 59 (2020), pp. 1-26. · Zbl 1430.49036
[5] Bredies, K. and Holler, M., A Pointwise Characterization of the Subdifferential of the Total Variation Functional, arXiv:1609.08918, 2016.
[6] Bruckner, A. M., Bruckner, J. B., and Thomson, B. S., Real Analysis, Prentice-Hall, Upper Saddle River, NJ, 1997. · Zbl 0872.26001
[7] Burger, M. and Osher, S., Convergence rates of convex variational regularization, Inverse Problems, 20 (2004), pp. 1411-1421. · Zbl 1068.65085
[8] Candès, E. J. and Fernandez-Granda, C., Super-resolution from noisy data, J. Fourier Anal. Appl., 19 (2013), pp. 1229-1254. · Zbl 1312.94015
[9] Candès, E. J. and Fernandez-Granda, C., Towards a mathematical theory of super-resolution, Comm. Pure Appl. Math., 67 (2014), pp. 906-956. · Zbl 1350.94011
[10] Chambolle, A. and Pock, T., A first-order primal-dual algorithm for convex problems with applications to imaging, J. Math. Imaging Vision, 40 (2011), pp. 120-145. · Zbl 1255.68217
[11] de Castro, Y. and Gamboa, F., Exact reconstruction using Beurling minimal extrapolation, J. Math. Anal. Appl., 395 (2012), pp. 336-354. · Zbl 1302.94019
[12] Denoyelle, Q., Duval, V., Peyré, G., and Soubies, E., The sliding Frank-Wolfe algorithm and its application to super-resolution microscopy, Inverse Problems, 36 (2020), 014001. · Zbl 1434.65082
[13] Duval, V. and Peyré, G., Exact support recovery for sparse spikes deconvolution, Found. Comput. Math., 15 (2015), pp. 1315-1355. · Zbl 1327.65104
[14] Holler, M., Schlüter, A., and Wirth, B., Dimension Reduction, Exact Recovery, and Error Estimates for Sparse Reconstruction in Phase Space, arXiv:2112.09743, 2021.
[15] Holler, M. and Wirth, B., Source Code to Reproduce the Results of “Exact Reconstruction and Reconstruction from Noisy Data with Anisotropic Total Variation,”https://github.com/hollerm/ani_tv_recovery, 2023.
[16] Klöckner, A., Pinto, N., Lee, Y., Catanzaro, B., Ivanov, P., and Fasih, A., PyCUDA and PyOpenCL: A scripting-based approach to GPU run-time code generation, Parallel Comput., 38 (2012), pp. 157-174.
[17] Plonka, G. and Wischerhoff, M., How many Fourier samples are needed for real function reconstruction?, J. Appl. Math. Comput., 42 (2013), pp. 117-137. · Zbl 1296.42001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.