REVIEW 3 major objections 6 minor 37 references
Revisiting $\Psi$DONet: microlocally inspired filters for incomplete-data tomographic reconstructions
T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Masked filters restricted to the visible cone match or slightly beat the original ΨDONet's reconstruction quality with far fewer learnable parameters.
desk verdict Honest, useful extension of ΨDONet with clever masked filters and a plausible microlocal story; the parity claim still needs error bars and code, and the "prevention" wording outruns the math. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying identity is the wavelet-domain representation $[W R_A^* R_A W^* w + \Lambda_k w]_\iota = \sum_{\iota'} (\kappa^{\iota,\iota'}_A + \tilde\kappa^{\iota,\iota'}_k) * w_{\iota'}$, where $\kappa^{\iota,\iota'}_A$ are the wavelet subband kernels of $R_A^* R_A$ and $\tilde\kappa^{\iota,\iota'}_k$ are the learned filter functions. The argument works by comparing the full normal operator, whose kernel $1/\|x-y\|$ identifies it as a pseudodifferential operator, with the incomplete-data kernel $\kappa_A(x-y) = \|x-y\|^{-1}\chi^c_A(x-y)$, whose jumps along the cone directions are the source of streak artifacts. The three masked filter geometries (bowtie in the visible cone, cross along the boundary directions, and sparse along the sampled directions) place learnable parameters exactly where kernel jumps occur, implementing the smoothing with minimal parameter count.
What would settle it
Compute the frame bounds (or their ratio) of the translation-invariant Haar frame with scales $J_0=4$ and $J=7$ used in Section 5; if the upper and lower bounds are far apart, the continuous kernel-smoothing mechanism analyzed in Section 4.3 does not describe the implemented network. A second check would be to retrain the masked variants on a wavelet frame certified to be Parseval and see whether the masked filters still match the full-square filter quality; if they do not, the proposed mechanism is not the source of the numerical result.
Extended reading notes
Core claim
The central claim is that ΨDONet's correction term can be understood, in a continuous semi-discrete wavelet formulation, as adding learned convolutional filters to the wavelet-domain kernels of the incomplete-data normal operator $R_A^* R_A$; when those filters smooth the discontinuities introduced by the truncation cone $\chi^c_A$ inside the kernel $\kappa_A$, the corrected operator behaves like a pseudodifferential operator and streak singularities are removed at their source rather than only reduced in amplitude. A second claim is that the pointwise soft-thresholding at each wavelet subband creates new singularities, which explains how invisible edges may reappear, although the analysis cannot predict where they will appear. The numerical consequence is that filters only need to be learned where the kernel or its jumps live: bowtie-shaped supports inside the visible cone for limited-angle tomography, and thin wedges along the directions $\partial A$ for both limited- and sparse-angle tomography. Reported experiments on synthetic ellipse data show these masked variants preserve or slightly improve PSNR and SSIM relative to the original square filters while using far fewer learnable parameters.
Load-bearing premise
The continuous analysis assumes the wavelet dictionary is Parseval, meaning that reconstructing from wavelet coefficients is exact, but the Haar implementation with scales $J_0=4$ to $J=7$ used in the experiments is not shown to satisfy this, so the operator analyzed may differ from the operator actually trained.
Editorial extensions
If this is right
- The masked variants cut the number of learnable parameters substantially while keeping PSNR and SSIM unchanged, so limited-angle and sparse-angle ΨDONet can be trained and deployed at lower cost without sacrificing reconstruction quality.
- In the 120-degree missing-wedge experiment the masked variants slightly outperform the original square filters, and the reported images show better preservation of small, low-contrast features.
- For 6-angle and 12-angle sparse-angle data, the Ψspa filters do not worsen the metrics and, in the reported images, reduce the magnitude of partial streak artifacts compared with the square-filter baseline.
- The theoretical analysis implies that the soft-thresholding nonlinearity can introduce singularities not present in the data, so some invisible edges may be recovered, but the current architecture cannot predict or control where those edges appear.
- If the learned filters really smooth the kernel discontinuities as argued, ΨDONet prevents streak artifacts from forming in the first place, rather than only attenuating them after they appear.
Reading between the lines
- An untested extension, natural from the same reasoning, is to apply the mask-construction principle to other limited-data geometries such as exterior or region-of-interest tomography, where the artifact directions are likewise determined by the boundary of the available angular set.
- The parameter savings could be reinvested in larger filter radii or more unrolled layers at a fixed total parameter count, which may improve fidelity in settings where the ten-layer architecture is the bottleneck.
- Because the present analysis tracks only singular support, not direction, extending the architecture to directional dictionaries such as shearlets or curvelets would be the natural route to predicting which invisible edges are recovered; the paper itself notes that this would require redesigning the network.
- The reported gains are established on synthetic ellipse images only; whether the same parameter reduction preserves quality on real experimental computed-tomography measurements remains an open empirical question.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper revisits the ΨDONet architecture for limited-angle and sparse-angle tomography. It introduces a continuous wavelet-domain formulation of the unrolled ISTA scheme, uses microlocal analysis (following [3]) to argue that soft-thresholding can introduce new edges and that learned convolutional corrections can prevent streak artifacts by smoothing the kernel of R_A^* R_A, and proposes three masked-filter variants (Ψbow, Ψx, Ψspa) whose supports are informed by the visible cone and the missing-wedge boundary. Numerical experiments on synthetic ellipse data report that these variants achieve nearly identical or slightly better PSNR/SSIM than the original full-square ΨDONet while using considerably fewer learnable parameters, and provide a proof-of-concept for sparse-angle data.
Significance. If the claims are supported, the paper makes a useful contribution: it gives a theoretically motivated way to reduce the parameter count of ΨDONet without sacrificing reconstruction quality, and it extends the architecture to sparse-angle tomography. The continuous formulation and the convolutional-kernel representation in Eq. (10) are valuable steps, and the paper correctly credits the tools imported from [3]. However, the central numerical claim is not statistically established: the reported improvements are small (0.03–0.32 dB) and no error bars, seeds, or multiple-run comparisons are given. The theoretical claim of 'prevention' of streak artifacts is only conditional in Section 4.3, and the Parseval-frame assumption used in Section 4.1 is not verified for the Haar wavelet system actually implemented. These gaps are load-bearing for the paper's main conclusions.
major comments (3)
- [Section 5, Tables 1–3] The central numerical claim is that the masked-filter variants preserve or slightly improve reconstruction quality, but the reported differences are very small (e.g., +0.18 dB and +0.32 dB PSNR for Ψx in Tables 1 and 2, +0.03 and +0.16 dB for Ψspa in Table 3) and no error bars, number of training runs, random seeds, or statistical significance tests are provided. With a single run of a 10-block unrolled network trained by Adam, these gaps are plausibly within run-to-run variance. To support the parity/improvement claim, the authors should report multiple-seed experiments (at least 3–5 runs) with mean and standard deviation, or provide per-image test-set distributions and a paired test. Without this, the practical contribution of equal quality at lower parameter count is not established.
- [Section 4.3, Eq. (10), and Section 6] The theoretical argument in Section 4.3 only proves the convolutional representation of W R_A^* R_A W^* + Λ_k and then states that the learned filters 'might' smooth the discontinuities of κ_A. It does not prove that training finds such a smoothing correction, nor does it characterize the trained filters. The conclusion in Section 6, however, states that ΨDONet 'can prevent' streak artifacts from appearing, which is stronger than what is shown. Figure 6 even reports residual partial streak artifacts for the Ψspa reconstruction in the 6-angle case. The authors should either soften the claim to 'reduce' or 'dampen' artifacts, or provide direct evidence (e.g., inspecting the learned filters or the effective kernel) that the trained correction indeed smooths κ_A.
- [Section 4.1, Eq. (8), and Section 5] The continuous formulation in Section 4.1 assumes that the translation-invariant, finitely scaled wavelet frame is Parseval, so that W^* acts as a reconstruction operator and Eq. (8) faithfully represents the discrete network. The numerical experiments, however, use Haar wavelets with scales J0=4 and J=7 (Section 5), a setting for which the Parseval property is not established. If the frame is not Parseval, the microlocal analysis in Sections 4.2 and 4.3 describes a different operator from the one actually trained and evaluated. The authors should either prove the Parseval property for the implemented wavelet system (including the finite-scale truncation) or explicitly state this as an idealization that limits the scope of the theoretical conclusions.
minor comments (6)
- [Section 2.2, Figure 1 caption] The caption contains a typo: 'when only limited data are are available' should be 'when only limited data are available'.
- [Section 4, opening paragraph] The phrase 'a new continuos formulations' should be 'a new continuous formulation'.
- [Section 5.1, text after Table 2] The sentence 'We report the average PSNR and SSIM in Table 1' refers to the second limited-angle experiment but should refer to Table 2, not Table 1.
- [Section 5, first paragraph] The metric is referred to as 'structured similarity index'; the standard name is 'structural similarity index' (SSIM).
- [Section 6, Conclusions] There is a typo in 'different visisble wedges'; it should be 'different visible wedges'.
- [Section 5] The repository is stated to be made available only upon acceptance. For a paper whose main contribution is numerical, it would strengthen reproducibility to provide the code or at least detailed training and evaluation scripts during the review process.
Circularity Check
No definitional circularity: the numerical comparisons are empirical, the theoretical claims are explicitly conditional, and the prior-work citations provide independent published support rather than a self-referential derivation chain.
full rationale
The paper's central numerical claim is that the masked-filter variants Ψbow, Ψx and Ψspa preserve or slightly improve reconstruction quality at a considerably lower parameter count (Section 5, Tables 1–3). This is an empirical comparison on a held-out test set: the masks are constructed from independently stated microlocal principles (Principle 2 and the support of χcA in κA), and the reported PSNR/SSIM values are evaluation metrics, not quantities fitted and then repackaged as predictions. The theoretical claim in Section 4.3 derives the convolutional representation (10) and then states only that the learned filters 'might' dampen the discontinuities introduced by χcA; the conclusion's stronger wording 'can prevent' is an unsupported overstatement, and the Parseval-frame assumption is explicitly invoked but not verified for the Haar implementation used in the experiments. These are gaps in support and correctness, not circularity. The paper imports the ΨDONet architecture and its convergence properties from the authors' prior work [9], but that prior work is a published, code-released architecture that serves here as the baseline Ψo to which the new variants are compared, so the self-citation is not used to forbid alternatives or to smuggle in the conclusion. The microlocal ReLU analysis is imported from the external reference [3], not from the present authors. No step in the derivation reduces by construction to its own inputs.
Assumptions & free parameters
free parameters (4)
- Stripe half-width q in boolean masks =
1, 2, or 3
- Filter size =
33x33 limited-angle, 65x65 sparse-angle
- Network hyperparameters =
10 unrolled blocks, Adam lr=1e-3, batch 25, 15 epochs
- Learnable parameters αk, βk, γk and filter weights ζk =
trained on 10,000 synthetic ellipse images
assumptions (4)
- domain assumption The translation-invariant wavelet frame with finite scales J0..J and continuous offsets is Parseval, so W* is a reconstruction operator.
- standard math The Nemytskii operators for ReLU and soft-thresholding can be dampened to act on distributions, as in [3].
- domain assumption Streak-generating singularities of the convolution kernel κA lie close to the boundary directions ∂A and can be captured by local masks.
- ad hoc to paper The learned filters at convergence actually smooth the discontinuities of κA rather than introducing other behavior.
Cite this review
Pith. "Pith review of Revisiting $\Psi$DONet: microlocally inspired filters for incomplete-data tomographic reconstructions." pith.science (2026). https://pith.science/paper/UNTBEHSI
@misc{pith2026250118219,
author = {Pith},
title = {Pith review of: Revisiting $\Psi$DONet: microlocally inspired filters for incomplete-data tomographic reconstructions},
year = {2026},
howpublished = {\url{https://pith.science/paper/UNTBEHSI}},
note = {Machine review of arXiv:2501.18219}
}
abstract
In this paper, we revisit a supervised learning approach based on unrolling, known as $\Psi$DONet, by providing a deeper microlocal interpretation for its theoretical analysis, and extending its study to the case of sparse-angle tomography. Furthermore, we refine the implementation of the original $\Psi$DONet considering special filters whose structure is specifically inspired by the streak artifact singularities characterizing tomographic reconstructions from incomplete data. This allows to considerably lower the number of (learnable) parameters while preserving (or even slightly improving) the same quality for the reconstructions from limited-angle data and providing a proof-of-concept for the case of sparse-angle tomographic data.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[3]
Deep microlocal reconstruc- tion for limited-angle tomography
H´ ector Andrade-Loarca, Gitta Kutyniok, Ozan¨Oktem, and Philipp Petersen. Deep microlocal reconstruc- tion for limited-angle tomography. Applied and Computational Harmonic Analysis , 59:155–197, 2022
work page 2022
-
[1]
Operator discretization library (ODL)
Jonas Adler, Holger Kohr, and Ozan ¨Oktem. Operator discretization library (ODL). Zenodo, 2017
work page 2017
-
[2]
Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform
Giovanni S Alberti, Alessandro Felisi, Matteo Santacesaria, and S Ivan Trapasso. Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform. To appear in Journal of European Mathematical Society, 2025
work page 2025
-
[4]
Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks
Hector Andrade-Loarca, Gitta Kutyniok, Ozan Oktem, and Philipp C Petersen. Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks. SIAM Journal on Imaging Sciences, 12(4):1936–1966, 2019. 17
work page 1936
-
[5]
Model-based deep learning approaches to the Helsinki Tomography Challenge 2022
Clemens Arndt, Alexander Denker, S¨ oren Dittmer, Johannes Leuschner, Judith Nickel, and Maximilian Schmidt. Model-based deep learning approaches to the Helsinki Tomography Challenge 2022. Applied Mathematics for Modern Challenges , 1(2):87–104, 2023
work page 2022
-
[6]
Solving inverse problems using data-driven models
Simon Arridge, Peter Maass, Ozan ¨Oktem, and Carola-Bibiane Sch¨ onlieb. Solving inverse problems using data-driven models. Acta Numerica, 28:1–174, 2019
2019
-
[7]
Modern regularization methods for inverse problems
Martin Benning and Martin Burger. Modern regularization methods for inverse problems. Acta numerica, 27:1–111, 2018
work page 2018
-
[8]
Analyzing reconstruction artifacts from arbitrary incomplete X-ray CT data
Leise Borg, J¨ urgen Frikel, Jakob Sauer Jørgensen, and Eric Todd Quinto. Analyzing reconstruction artifacts from arbitrary incomplete X-ray CT data. SIAM journal on imaging sciences , 11(4):2786–2814, 2018
work page 2018
Show all 37 references
-
[9]
Deep neural networks for inverse problems with pseudodifferential operators: An application to limited-angle tomography
Tatiana A Bubba, Mathilde Galinier, Matti Lassas, Marco Prato, Luca Ratti, and Samuli Siltanen. Deep neural networks for inverse problems with pseudodifferential operators: An application to limited-angle tomography. SIAM Journal on Imaging Sciences , 14(2):470–505, 2021
2021
-
[10]
Learning the invisible: A hybrid deep learning-shearlet framework for limited angle computed tomography
Tatiana A Bubba, Gitta Kutyniok, Matti Lassas, Maximilian M¨ arz, Wojciech Samek, Samuli Siltanen, and Vignesh Srinivasan. Learning the invisible: A hybrid deep learning-shearlet framework for limited angle computed tomography. Inverse Problems, 35(6):064002, 2019
2019
-
[11]
Data-driven models in inverse problems
Tatiana A Bubba (ed.). Data-driven models in inverse problems . De Gruyter, 2024
2024
-
[12]
Continuous curvelet transform: I
Emmanuel J Candes and David L Donoho. Continuous curvelet transform: I. Resolution of the wavefront set. Applied and Computational Harmonic Analysis , 19(2):162–197, 2005
2005
-
[13]
An iterative thresholding algorithm for linear inverse problems with a sparsity constraint
Ingrid Daubechies, Michel Defrise, and Christine De Mol. An iterative thresholding algorithm for linear inverse problems with a sparsity constraint. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences , 57(11):1413...
2004
-
[14]
The ill-conditioned nature of the limited angle tomography problem
Mark E Davison. The ill-conditioned nature of the limited angle tomography problem. SIAM Journal on Applied Mathematics, 43(2):428–448, 1983
1983
-
[15]
Injectivity and weak*-to-weak continuity suffice for convergence rates in ℓ1-regularization
Jens Flemming and Daniel Gerth. Injectivity and weak*-to-weak continuity suffice for convergence rates in ℓ1-regularization. Journal of Inverse and Ill-posed Problems , 26(1):85–94, 2018
2018
-
[16]
Sparse regularization in limited angle tomography
J¨ urgen Frikel. Sparse regularization in limited angle tomography. Applied and Computational Harmonic Analysis, 34(1):117–141, 2013
2013
-
[17]
Characterization and reduction of artifacts in limited angle tomogra- phy
J¨ urgen Frikel and Eric Todd Quinto. Characterization and reduction of artifacts in limited angle tomogra- phy. Inverse Problems, 29(12):125007, 2013
2013
-
[18]
Sparse regularization with ℓq penalty term
Markus Grasmair, Markus Haltmeier, and Otmar Scherzer. Sparse regularization with ℓq penalty term. Inverse Problems, 24(5):055020, 2008
2008
-
[19]
Necessary and sufficient conditions for linear convergence of ℓ1-regularization
Markus Grasmair, Otmar Scherzer, and Markus Haltmeier. Necessary and sufficient conditions for linear convergence of ℓ1-regularization. Communications on Pure and Applied Mathematics , 64(2):161–182, 2011
2011
-
[20]
Non-local inversion formulas for the X-ray transform
Allan Greenleaf and Gunther Uhlmann. Non-local inversion formulas for the X-ray transform. Duke Mathematical Journal, 58(1):205, 1989
1989
-
[21]
Estimates for singular Radon transforms and pseudodifferential operators with singular symbols
Allan Greenleaf and Gunther Uhlmann. Estimates for singular Radon transforms and pseudodifferential operators with singular symbols. Journal of functional analysis , 89(1):202–232, 1990
1990
-
[22]
Tomosipo: fast, flexible, and convenient 3D tomography for complex scanning geometries in Python
Allard A Hendriksen, Dirk Schut, Willem Jan Palenstijn, et al. Tomosipo: fast, flexible, and convenient 3D tomography for complex scanning geometries in Python. Opt. Express, 29(24):40494–40513, 2021
2021
-
[23]
Wavelets: an analysis tool
Matthias Holschneider. Wavelets: an analysis tool . Oxford University Press, 1995. 18
1995
-
[24]
The analysis of linear partial differential operators, vols
Lars H¨ ormander. The analysis of linear partial differential operators, vols. I–IV . Springer-Verlag, Berlin Heidelberg, 1983–1985
1983
-
[25]
Local tomography for the limited-angle problem
Alexander I Katsevich. Local tomography for the limited-angle problem. Journal of mathematical analysis and applications, 213(1):160–182, 1997
1997
-
[26]
Benchmarking learned algorithms for computed tomography image reconstruc- tion tasks
Maximilian B Kiss, Ander Biguri, Zakhar Shumaylov, Ferdia Sherry, K Joost Batenburg, Carola-Bibiane Sch¨ onlieb, and Felix Lucka. Benchmarking learned algorithms for computed tomography image reconstruc- tion tasks. arXiv preprint arXiv:2412.08350 , 2024
2024 arXiv
-
[27]
Microlocal Analysis in Tomography
Venkateswaran P Krishnan and Eric Todd Quinto. Microlocal Analysis in Tomography. Handbook of mathematical methods in imaging , 1:3, 2015
2015
-
[28]
Resolution of the wavefront set using continuous shearlets
Gitta Kutyniok and Demetrio Labate. Resolution of the wavefront set using continuous shearlets. Trans- actions of the American Mathematical Society , 361(5):2719–2754, 2009
2009
-
[29]
PyWavelets: A Python package for wavelet analysis
Gregory Lee, Ralf Gommers, Filip Waselewski, Kai Wohlfahrt, and Aaron O’Leary. PyWavelets: A Python package for wavelet analysis. Journal of Open Source Software , 4(36):1237, 2019
2019
-
[30]
A wavelet tour of signal processing, 1999
Stephane Mallat. A wavelet tour of signal processing, 1999
1999
-
[31]
How strong are streak artifacts in limited angle computed tomography? Inverse Problems, 31(5):055003, 2015
Linh V Nguyen. How strong are streak artifacts in limited angle computed tomography? Inverse Problems, 31(5):055003, 2015
2015
-
[32]
Singularities of the X-ray transform and limited data tomography in R2 and R3
Eric Todd Quinto. Singularities of the X-ray transform and limited data tomography in R2 and R3. SIAM Journal on Mathematical Analysis , 24(5):1215–1225, 1993
1993
-
[33]
Artifacts and visible singularities in limited data X-ray tomography
Eric Todd Quinto. Artifacts and visible singularities in limited data X-ray tomography. Sensing and Imaging, 18(1):9, 2017
2017
-
[34]
Learning a microlocal prior for limited-angle tomography
Siiri Rautio, Rashmi Murthy, Tatiana A Bubba, Matti Lassas, and Samuli Siltanen. Learning a microlocal prior for limited-angle tomography. IMA Journal of Applied Mathematics , 88(6):888–916, 2023
2023
-
[35]
Applications of microlocal analysis in inverse problems
Mikko Salo. Applications of microlocal analysis in inverse problems. Mathematics, 8(7):1184, 2020
2020
-
[36]
Sparse image and signal processing: wavelets, curvelets, morphological diversity
Jean-Luc Starck, Fionn Murtagh, and Jalal M Fadili. Sparse image and signal processing: wavelets, curvelets, morphological diversity . Cambridge university press, 2010
2010
-
[37]
Robustness of the data-driven approach in limited angle tomography
Yiran Wang and Yimin Zhong. Robustness of the data-driven approach in limited angle tomography. arXiv preprint arXiv:2403.11350, 2024. 19
2024 arXiv
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.