REVIEW 1 major objections 2 minor 51 references
Robust Instance Optimal Phase-Only Compressed Sensing
T0 review · 1 major / 2 minor · reviewed 2026-05-23 · grok-4.3
Pith's one-line read Phase-only compressed sensing achieves uniform instance optimality over the unit sphere with error at most C s^{-1/2} times the l1 approximation error to the nearest s-sparse signal.
desk verdict This paper upgrades the phase-only CS recovery from nonuniform to uniform instance optimality over the whole sphere and adds near-optimal robustness bounds for noise and corruption. 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 family of linearized sensing matrices arising from phase-only observations of all approximately sparse signals on the sphere, shown to satisfy the restricted isometry property uniformly.
What would settle it
An explicit construction or numerical instance, for sufficiently large dimension n and sparsity s, of an approximately sparse unit-norm vector x together with its phase-only measurements such that the recovery error ||x^sharp - x||_2 exceeds any fixed multiple of s^{-1/2} σ_{ℓ1}(x, Σ^n_s).
Extended reading notes
Core claim
There exists a universal constant C such that the estimator x^sharp obtained from phase-only measurements satisfies ||x^sharp - x||_2 ≤ C s^{-1/2} σ_{ℓ1}(x, Σ^n_s) for every x in the unit Euclidean sphere, where σ_{ℓ1}(x, Σ^n_s) denotes the ℓ1 distance from x to its closest s-sparse vector. The proof proceeds by establishing that the new sensing matrices corresponding to all approximately sparse signals satisfy the restricted isometry property simultaneously. The estimator remains robust when dense noise of amplitude at most τ0 is added either before or after phase retention, increasing the error by O(τ0), and when an arbitrary ζ0-fraction of measurements is adversarially corrupted, which in
Load-bearing premise
The linearized sensing matrices for all approximately sparse signals simultaneously satisfy the restricted isometry property.
Editorial extensions
If this is right
- The recovery procedure yields a uniform instance-optimal guarantee rather than one that holds only for individual fixed signals.
- Bounded dense noise, whether introduced before or after phase extraction, increases the Euclidean error by a term linear in the noise amplitude.
- Adversarial corruption of a ζ0 fraction of the phase measurements increases the error by a term of order sqrt(ζ0 log(1/ζ0)).
- Combining the uniform bound with the two robustness results produces an overall robust instance-optimal guarantee analogous to the standard one for linear compressed sensing.
Reading between the lines
- The uniform RIP property over the derived matrices may allow the same analysis technique to be applied to other nonlinear measurement models that admit a linearization step.
- Because the bound is uniform, it directly supports the use of the estimator inside iterative algorithms that refine sparsity level or support estimates.
- The near-optimality result for dense noise suggests that phase-only sensing cannot improve upon linear sensing in the presence of additive noise beyond logarithmic factors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to strengthen nonuniform instance optimality results for phase-only compressed sensing (PO-CS) to a uniform guarantee over the entire unit sphere. Using a linearization procedure that recasts PO-CS as linear compressed sensing followed by quadratically constrained basis pursuit, it proves existence of a universal constant C such that ||x^sharp - x||_2 ≤ C s^{-1/2} σ_ℓ1(x, Σ^n_s) for all x, achieved via simultaneous RIP of the linearized sensing matrices for all approximately sparse signals. It further derives robustness to dense bounded noise (additive O(τ0) error) and adversarial phase corruptions (additive O(√(ζ0 log(1/ζ0))) error), yielding a combined robust instance-optimal bound.
Significance. If the simultaneous RIP holds with constants yielding a dimension-independent C, the uniform instance optimality is a meaningful strengthening of prior nonuniform results in PO-CS and aligns the theory more closely with standard linear CS. The near-optimal robustness bounds (up to log factors) are a further strength, as is the reduction to existing CS tools via linearization. These results would be of interest to the compressed sensing community for both theoretical and applied phase-retrieval settings.
major comments (1)
- [Abstract] Abstract and main result: The uniform bound over all x ∈ S^{n-1} rests on the claim that the family of linearized sensing matrices (one per approximately sparse signal) simultaneously satisfy the RIP with constants sufficient for a universal C. This is load-bearing; the manuscript should explicitly state the achieved RIP parameters (δ_s, s) and the argument establishing uniformity over the family (e.g., via a covering or union-bound argument), including how they produce the stated C independent of n.
minor comments (2)
- Notation: Define Σ^n_s and σ_ℓ1(x, Σ^n_s) explicitly on first use; the current description in the abstract is clear but the main text should include the precise definition to avoid ambiguity with other sparsity measures.
- The robustness statements distinguish noise appearing prior vs. posterior to phase retention; a brief remark on whether the analysis treats these cases identically or requires separate arguments would improve clarity.
Simulated Author's Rebuttal
We thank the referee for the positive assessment, the recommendation of minor revision, and the constructive comment on clarifying the RIP parameters and uniformity argument. We address the point below.
read point-by-point responses
-
Referee: [Abstract] Abstract and main result: The uniform bound over all x ∈ S^{n-1} rests on the claim that the family of linearized sensing matrices (one per approximately sparse signal) simultaneously satisfy the RIP with constants sufficient for a universal C. This is load-bearing; the manuscript should explicitly state the achieved RIP parameters (δ_s, s) and the argument establishing uniformity over the family (e.g., via a covering or union-bound argument), including how they produce the stated C independent of n.
Authors: We agree that making the RIP parameters and the uniformity argument explicit will improve the presentation. In the revised manuscript we will add the following statement to the abstract and the main theorem: the family of linearized sensing matrices satisfies the RIP of order s with constant δ_s ≤ 1/3 simultaneously for all approximately s-sparse signals on the unit sphere, provided m ≥ C s log(n/s) for a sufficiently large universal C. Uniformity over the family is obtained by a standard ε-net argument on the set of s-sparse vectors (covering number at most (3/ε)^s) together with a union bound over the net; each fixed linearized matrix obeys the required concentration, and the union-bound failure probability remains exponentially small in m, independent of n. The resulting δ_s < 1/3 then feeds into the standard basis-pursuit error bound, producing a universal constant C (independent of n) in the instance-optimality statement. We will also include a short paragraph in Section 3 summarizing the covering and union-bound steps. revision: yes
Circularity Check
No significant circularity; derivation relies on independent RIP proof
full rationale
The paper's central claim is a uniform instance-optimality bound obtained by proving that the linearized sensing matrices (one per approximately sparse signal) simultaneously satisfy the RIP with constants independent of dimension. This RIP verification is presented as a new technical step that reduces PO-CS to standard linear CS instance optimality; it does not invoke self-citations for uniqueness theorems, does not rename fitted parameters as predictions, and does not define the target bound in terms of itself. The argument therefore remains self-contained against external CS theory and does not reduce by construction to its own inputs.
Assumptions & free parameters
assumptions (2)
- domain assumption Complex Gaussian phases permit a linearization that recasts PO-CS as standard linear compressed sensing
- ad hoc to paper The new sensing matrices for all approximately sparse signals simultaneously satisfy the RIP
Cite this review
Pith. "Pith review of Robust Instance Optimal Phase-Only Compressed Sensing." pith.science (2026). https://pith.science/paper/2408.06275
@misc{pith2026240806275,
author = {Pith},
title = {Pith review of: Robust Instance Optimal Phase-Only Compressed Sensing},
year = {2026},
howpublished = {\url{https://pith.science/paper/2408.06275}},
note = {Machine review of arXiv:2408.06275}
}
abstract
Phase-only compressed sensing (PO-CS) concerns the recovery of sparse signals from the phases of complex measurements. Recent results show that sparse signals in the standard sphere $\mathbb{S}^{n-1}$ can be exactly recovered from complex Gaussian phases by a linearization procedure, which recasts PO-CS as linear compressed sensing and then applies (quadratically constrained) basis pursuit to obtain $\mathbf{x}^\sharp$. This paper focuses on the instance optimality and robustness of $\mathbf{x}^{\sharp}$. First, we strengthen the nonuniform instance optimality of Jacques and Feuillen (2021) to a uniform one over the entire signal space. We show the existence of some universal constant $C$ such that $\|\mathbf{x}^\sharp-\mathbf{x}\|_2\le Cs^{-1/2}\sigma_{\ell_1}(\mathbf{x},\Sigma^n_s)$ holds for all $\mathbf{x}$ in the unit Euclidean sphere, where $\sigma_{\ell_1}(\mathbf{x},\Sigma^n_s)$ is the $\ell_1$ distance of $\mathbf{x}$ to its closest $s$-sparse signal. This is achieved by showing the new sensing matrices corresponding to all approximately sparse signals simultaneously satisfy RIP. Second, we investigate the estimator's robustness to noise and corruption. We show that dense noise with entries bounded by some small $\tau_0$, appearing either prior or posterior to retaining the phases, increments $\|\mathbf{x}^\sharp-\mathbf{x}\|_2$ by $O(\tau_0)$. This is near-optimal (up to log factors) for any algorithm. On the other hand, adversarial corruption, which changes an arbitrary $\zeta_0$-fraction of the measurements to any phase-only values, increments $\|\mathbf{x}^\sharp-\mathbf{x}\|_2$ by $O(\sqrt{\zeta_0\log(1/\zeta_0)})$. The developments are then combined to yield a robust instance optimal guarantee that resembles the standard one in linear compressed sensing.
Figures
Reference graph
Works this paper leans on
-
[1]
Learning and 1-bit com- pressed sensing under asymmetric noise
Pranjal Awasthi, Maria-Florina Balcan, Nika Haghtalab, and Hongyang Zhang. Learning and 1-bit com- pressed sensing under asymmetric noise. InConference on Learning Theory, pages 152–192. PMLR, 37 2016
work page 2016
-
[2]
Iterativehardthresholdingforcompressedsensing
ThomasBlumensathandMikeEDavies. Iterativehardthresholdingforcompressedsensing. Appliedand Computational Harmonic Analysis, 27(3):265–274, 2009
work page 2009
-
[3]
Angle-preservingquantizedphaseembeddings
PetrosTBoufounos. Angle-preservingquantizedphaseembeddings. In WaveletsandSparsityXV ,volume 8858, pages 375–383. SPIE, 2013
work page 2013
-
[4]
Sparse signal reconstruction from phase-only measurements
Petros T Boufounos. Sparse signal reconstruction from phase-only measurements. InProc. Int. Conf. Sampling Theory and Applications (SampTA), volume 4. Citeseer, 2013
work page 2013
-
[5]
T Tony Cai and Anru Zhang. Sparse representation of a polytope and recovery of sparse signals and low-rank matrices.IEEE Transactions on Information Theory, 60(1):122–132, 2013
work page 2013
-
[6]
Emmanuel J Candès, Justin Romberg, and Terence Tao. Robust uncertainty principles: Exact signal re- construction from highly incomplete frequency information.IEEE Transactions on Information Theory, 52(2):489–509, 2006
work page 2006
-
[7]
Stable recovery of structured signals from corrupted sub-gaussian measure- ments
Jinchi Chen and Yulong Liu. Stable recovery of structured signals from corrupted sub-gaussian measure- ments. IEEE Transactions on Information Theory, 65(5):2976–2994, 2018
work page 2018
-
[8]
Junren Chen, Lexiao Lai, and Arian Maleki. Phase transitions in phase-only compressed sensing.arXiv preprint arXiv:2501.11905 (to appear in 2025 IEEE International Symposium on Information Theory), 2025
Show all 51 references
-
[9]
Junren Chen and Michael K. Ng. Signal reconstruction from phase-only measurements: Uniqueness con- dition, minimal measurement number and beyond.SIAM Journal on Applied Mathematics, 83(4):1341– 1365, 2023
2023
-
[10]
Junren Chen and Michael K. Ng. Uniform exact reconstruction of sparse signals and low-rank matrices from phase-only measurements.IEEE Transactions on Information Theory, 69(10):6739–6764, 2023
2023
-
[11]
Optimalquantizedcompressedsensingviaprojectedgradientdescent
JunrenChenandMingYuan. Optimalquantizedcompressedsensingviaprojectedgradientdescent. arXiv preprint arXiv:2407.04951, 2024
2024
-
[12]
Adaboostandrobustone-bit compressed sensing.Mathematical Statistics and Learning, 5(1):117–158, 2022
GeoffreyChinot,FelixKuchelmeister,MatthiasLöffler,andSaravandeGeer. Adaboostandrobustone-bit compressed sensing.Mathematical Statistics and Learning, 5(1):117–158, 2022
2022
-
[13]
Compressed sensing and bestk-term approxima- tion
Albert Cohen, Wolfgang Dahmen, and Ronald DeVore. Compressed sensing and bestk-term approxima- tion. Journal of the American Mathematical Society, 22(1):211–231, 2009
2009
-
[14]
Subspace pursuit for compressive sensing signal reconstruction.IEEE Transactions on Information Theory, 55(5):2230–2249, 2009
Wei Dai and Olgica Milenkovic. Subspace pursuit for compressive sensing signal reconstruction.IEEE Transactions on Information Theory, 55(5):2230–2249, 2009
2009
-
[15]
Non-gaussian hyperplane tessellations and robust one-bit com- pressed sensing.Journal of the European Mathematical Society, 23(9):2913–2947, 2021
Sjoerd Dirksen and Shahar Mendelson. Non-gaussian hyperplane tessellations and robust one-bit com- pressed sensing.Journal of the European Mathematical Society, 23(9):2913–2947, 2021
2021
-
[16]
Sharp estimates on random hyperplane tessellations
Sjoerd Dirksen, Shahar Mendelson, and Alexander Stollenwerk. Sharp estimates on random hyperplane tessellations. SIAM Journal on Mathematics of Data Science, 4(4):1396–1419, 2022
2022
-
[17]
Compressed sensing
David L Donoho. Compressed sensing. IEEE Transactions on Information Theory, 52(4):1289–1306, 2006
2006
-
[18]
Effectsofadditivenoiseonsignalreconstructionfromfouriertransformphase
CEspyandJaeLim. Effectsofadditivenoiseonsignalreconstructionfromfouriertransformphase. IEEE Transactions on Acoustics, Speech, and Signal Processing, 31(4):894–898, 1983. 38
1983
-
[19]
( ℓ1, ℓ2)-ripandprojectedback- projection reconstruction for phase-only measurements.IEEE Signal Processing Letters, 27:396–400, 2020
ThomasFeuillen,MikeEDavies,LucVandendorpe,andLaurentJacques. ( ℓ1, ℓ2)-ripandprojectedback- projection reconstruction for phase-only measurements.IEEE Signal Processing Letters, 27:396–400, 2020
2020
-
[20]
Springer New York, New York, 2013
Simon Foucart and Holger Rauhut.A Mathematical Introduction to Compressive Sensing. Springer New York, New York, 2013
2013
-
[21]
Corrupted sensing: Novel guarantees for separating structured signals
Rina Foygel and Lester Mackey. Corrupted sensing: Novel guarantees for separating structured signals. IEEE Transactions on Information Theory, 60(2):1223–1247, 2014
2014
-
[22]
Stable signal recovery from phaseless measurements.Journal of Fourier Analysis and Applications, 22:787–808, 2016
Bing Gao, Yang Wang, and Zhiqiang Xu. Stable signal recovery from phaseless measurements.Journal of Fourier Analysis and Applications, 22:787–808, 2016
2016
-
[23]
Aunifiedapproachtouniform signalrecoveryfromnonlinear observations
MartinGenzelandAlexander Stollenwerk. Aunifiedapproachtouniform signalrecoveryfromnonlinear observations. Foundations of Computational Mathematics, 23(3):899–972, 2023
2023
-
[24]
Quantile-based iterative methods for corrupted systems of linear equations.SIAM Journal on Matrix Analysis and Applications, 43(2):605–637, 2022
Jamie Haddock, Deanna Needell, Elizaveta Rebrova, and William Swartworth. Quantile-based iterative methods for corrupted systems of linear equations.SIAM Journal on Matrix Analysis and Applications, 43(2):605–637, 2022
2022
-
[25]
The reconstruction of a multidimensional sequence from the phase or magnitude of its fouriertransform
Monson Hayes. The reconstruction of a multidimensional sequence from the phase or magnitude of its fouriertransform. IEEETransactionsonAcoustics,Speech,andSignalProcessing ,30(2):140–154,1982
1982
-
[26]
Signal reconstruction from phase or magnitude.IEEE Transactions on Acoustics, Speech, and Signal Processing, 28(6):672–680, 1980
Monson Hayes, Jae Lim, and Alan Oppenheim. Signal reconstruction from phase or magnitude.IEEE Transactions on Acoustics, Speech, and Signal Processing, 28(6):672–680, 1980
1980
-
[27]
The importance of phase in complex compressive sensing.IEEE Transactions on Information Theory, 67(6):4150–4161, 2021
Laurent Jacques and Thomas Feuillen. The importance of phase in complex compressive sensing.IEEE Transactions on Information Theory, 67(6):4150–4161, 2021
2021
-
[28]
Quantized compressed sensing by rectified linear units.IEEE Transactions on Information Theory, 67(6):4125–4149, 2021
Hans Christian Jung, Johannes Maly, Lars Palzer, and Alexander Stollenwerk. Quantized compressed sensing by rectified linear units.IEEE Transactions on Information Theory, 67(6):4125–4149, 2021
2021
-
[29]
Instance optimal decoding and the restricted isometry property
Nicolas Keriven and Rémi Gribonval. Instance optimal decoding and the restricted isometry property. In Journal of Physics: Conference Series, volume 1131, page 012002. IOP Publishing, 2018
2018
-
[30]
Adaptive estimation of a quadratic functional by model selection
Beatrice Laurent and Pascal Massart. Adaptive estimation of a quadratic functional by model selection. Annals of Statistics, pages 1302–1338, 2000
2000
-
[31]
Lowerboundforripconstantsandconcentrationofsumoftoporder statistics
GenLi,XingyuXu,andYuantaoGu. Lowerboundforripconstantsandconcentrationofsumoftoporder statistics. IEEE Transactions on Signal Processing, 68:3169–3178, 2020
2020
-
[32]
Yen Li and A Kurkjian. Arrival time determination using iterative signal reconstruction from the phase of the cross spectrum.IEEE Transactions on Acoustics, Speech, and Signal Processing, 31(2):502–504, 1983
1983
-
[33]
Objectiveevaluationofmagnitudeandphaseonlyspectrum- based reconstruction of the speech signal
ErfanLoveimiandSeyedMohammadAhadi. Objectiveevaluationofmagnitudeandphaseonlyspectrum- based reconstruction of the speech signal. In2010 4th International Symposium on Communications, Control and Signal Processing (ISCCSP), pages 1–4. IEEE, 2010
2010
-
[34]
Robust 1-bit compressed sensing with iterative hard threshold- ing
Namiko Matsumoto and Arya Mazumdar. Robust 1-bit compressed sensing with iterative hard threshold- ing. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2941–2979. SIAM, 2024
2024
-
[35]
Sharp recovery bounds for convex demixing, with applications
Michael B McCoy and Joel A Tropp. Sharp recovery bounds for convex demixing, with applications. Foundations of Computational Mathematics, 14(3):503–567, 2014. 39
2014
-
[36]
Cambridge University Press, 1995
Rajeev Motwani and Prabhakar Raghavan.Randomized algorithms. Cambridge University Press, 1995
1995
-
[37]
Robust lasso with missing and grossly corrupted observations.IEEE Transactions on Information Theory, 59(4):2036–2058, 2012
Nam H Nguyen and Trac D Tran. Robust lasso with missing and grossly corrupted observations.IEEE Transactions on Information Theory, 59(4):2036–2058, 2012
-
[38]
The importance of phase in signals.Proceedings of the IEEE, 69(5):529–541, 1981
Alan V Oppenheim and Jae S Lim. The importance of phase in signals.Proceedings of the IEEE, 69(5):529–541, 1981
1981
-
[39]
Near-optimalboundsforbinaryembeddingsofarbitrarysets
SametOymakandBenRecht. Near-optimalboundsforbinaryembeddingsofarbitrarysets. arXivpreprint arXiv:1512.04433, 2015
2015 arXiv
-
[40]
Robust 1-bit compressed sensing and sparse logistic regression: A convex programming approach.IEEE Transactions on Information Theory, 59(1):482–494, 2012
Yaniv Plan and Roman Vershynin. Robust 1-bit compressed sensing and sparse logistic regression: A convex programming approach.IEEE Transactions on Information Theory, 59(1):482–494, 2012
2012
-
[41]
One-bitcompressedsensingbylinearprogramming
YanivPlanandRomanVershynin. One-bitcompressedsensingbylinearprogramming. Communications on Pure and Applied Mathematics, 66(8):1275–1297, 2013
2013
-
[42]
Dimension reduction by random hyperplane tessellations.Discrete & Computational Geometry, 51(2):438–461, 2014
Yaniv Plan and Roman Vershynin. Dimension reduction by random hyperplane tessellations.Discrete & Computational Geometry, 51(2):438–461, 2014
2014
-
[43]
Thegeneralizedlassowithnon-linearobservations
YanivPlanandRomanVershynin. Thegeneralizedlassowithnon-linearobservations. IEEETransactions on Information Theory, 62(3):1528–1537, 2016
2016
-
[44]
High-dimensional estimation with geometric con- straints
Yaniv Plan, Roman Vershynin, and Elena Yudovina. High-dimensional estimation with geometric con- straints. Information and Inference: A Journal of the IMA, 6(1):1–40, 2017
2017
-
[45]
Highdimensionalstatistics
PhillippeRigolletandJan-ChristianHütter. Highdimensionalstatistics. Lecturenotesforcourse18S997 , 813(814):46, 2015
2015
-
[46]
Stable recovery of low-dimensional cones in hilbert spaces: One rip to rule them all.Applied and Computational Harmonic Analysis, 45(1):170–205, 2018
Yann Traonmilin and Rémi Gribonval. Stable recovery of low-dimensional cones in hilbert spaces: One rip to rule them all.Applied and Computational Harmonic Analysis, 45(1):170–205, 2018
2018
-
[47]
Signal recovery from random measurements via orthogonal matching pursuit
Joel A Tropp and Anna C Gilbert. Signal recovery from random measurements via orthogonal matching pursuit. IEEE Transactions on Information Theory, 53(12):4655–4666, 2007
2007
-
[48]
Optimalreconstructionofimagesfromlocalizedphase
SharonUrieli,MoshePorat,andNirCohen. Optimalreconstructionofimagesfromlocalizedphase. IEEE Transactions on Image Processing, 7(6):838–853, 1998
1998
-
[49]
Cambridge University Press, 2018
Roman Vershynin.High-dimensional probability: An introduction with applications in data science, vol- ume 47. Cambridge University Press, 2018
2018
-
[50]
Quantizedcompressivesensingwithripmatrices: Thebenefitofdither- ing
ChunleiXuandLaurentJacques. Quantizedcompressivesensingwithripmatrices: Thebenefitofdither- ing. Information and Inference: A Journal of the IMA, 9(3):543–586, 2020
2020
-
[51]
Sparse recovery with orthogonal matching pursuit under rip.IEEE Transactions on Infor- mation Theory, 57(9):6215–6221, 2011
Tong Zhang. Sparse recovery with orthogonal matching pursuit under rip.IEEE Transactions on Infor- mation Theory, 57(9):6215–6221, 2011. 40
2011
Reviewed May 23, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.