Pith. sign in

REVIEW 3 major objections 4 minor 38 references

Is Noisy Data a Blessing in Disguise? A Distributionally Robust Optimization Perspective

T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Pith's one-line read This paper claims that explicitly modeling the noise process in distributionally robust optimization yields a provably higher worst-case utility than treating noisy data as clean, under mean-preserving noise, via an inverse-image ambiguity

desk verdict The inverse-image Wasserstein DRO idea is good and the statistical section looks sound, but Lemma 4.1 is false and the paper's main claims rest on it. read the letter →

arxiv 2509.01076 v1 pith:IIJVAZ3A submitted 2025-09-01 math.OC cs.SYeess.SYq-fin.RM

classification math.OCcs.SYeess.SYq-fin.RM MSC 90C1590C4790C3449Q22
keywords distributionallyrobustoptimizationWassersteinambiguitysetnoisydatainverse-imageconstructionnoiseoperatorpriceofmean-preservingfairresourceallocation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper argues that noisy data, far from being a nuisance that must be cleaned away, can improve the guarantee a decision maker extracts from a distributionally robust optimization (DRO) model. The authors build the ambiguity set over the latent clean distribution by taking the inverse image of a Wasserstein ball centered at the noisy empirical distribution through a known noise kernel. Their central result, Theorem 4.2, is that under mean-preserving noise this 'noisy-data DRO' is less conservative than a direct DRO that treats noisy observations as clean: it has a weakly larger feasible region, a provably higher optimal value g*_noise(ε) ≥ g*(ε), and a lower price of ambiguity. The paper also proves a tractable convex reformulation, finite-sample out-of-sample guarantees, and asymptotic consistency, and shows numerically on a fair resource allocation problem that increasing ambiguity steers allocations toward equitable solutions while preserving more aggregate utility than raising the fairness parameter directly. If these claims hold, managers with corrupted data can model the noise as a source of robustness rather than an obstacle, and get better worst-case decisions than colleagues who ignore it.

What carries the argument

The load-bearing object is the inverse-image ambiguity set B_{ε,O}(F̂⋆) = {F ∈ M(X) : d(T_O(F), F̂⋆) ≤ ε}, where T_O(F) = ∫ O(·|x)dF(x) is the noise operator pushing a latent distribution through a known noise kernel. Lemma 4.1 converts the max-min problem over this set into a semi-infinite convex program whose per-observation cost kernel is c_j(x) = ∫_{X⋆}∥x⋆ − x̂⋆_j∥ dO(x⋆|x); the dominance theorem then applies Jensen's inequality to this kernel under the mean-preserving assumption, showing the noisy kernel dominates the direct one pointwise.

What would settle it

Enumerate the original max-min problem (5) on a small discretized instance — two or three latent states, two noisy samples, a two-point mean-preserving noise kernel — and compare the true worst-case value with the value of the convex reformulation (8). If any gap appears, or if the optimal coupling's components cannot all be written as T_O(α_j) for latent measures α_j, the reformulation is inexact and the proof of Theorem 4.2 no longer goes through. The same enumeration, run with a biased noise kernel of bias δ, would also check Proposition 4.1's bound g*_noise,δ(ε) ≥ g*(ε) − λ*δ.

Watch

Extended reading notes

Core claim

The paper's central claim is that the standard practice of applying DRO directly to noisy observations throws away information: because every norm is convex, a mean-preserving noise kernel inflates the expected transport cost to each observed sample, E_{O(·|x)}[∥X⋆ − x̂⋆_j∥] ≥ ∥x − x̂⋆_j∥, so each constraint of the direct model is relaxed pointwise and the feasible decision set grows. Consequently, for every radius ε > 0 the noisy-data DRO's worst-case optimal value dominates the direct model's, g*_noise(ε) ≥ g*(ε), and its price of ambiguity is no larger. The construction works by defining the latent ambiguity set as the pre-image of a Wasserstein ball through the noise operator, a pull-bac

Load-bearing premise

The proof of the convex reformulation assumes that any transport coupling between the noisy empirical distribution and the noise-perturbed latent distribution can be split, one piece per observation, with each piece expressible as the noise-image of some latent component measure. This is shown to be sufficient but not necessary; if an optimal coupling requires pieces the noise operator cannot produce, the reformulation — and the dominance theorem built on it — might overstate

Editorial extensions

If this is right

  • Decision makers with mean-preserving noisy observations can guarantee weakly higher worst-case utility by modeling the noise explicitly than by applying standard DRO to the noisy data.
  • The price of ambiguity — the relative utility loss from insisting on robustness — is no larger under noisy-data DRO, making robustness cheaper when noise is present.
  • The noiseless Wasserstein DRO becomes a special case (Dirac noise kernel), so the framework is a strict generalization of a widely used data-driven method.
  • Finite-sample out-of-sample guarantees at confidence 1−β and almost-sure convergence to the true stochastic optimum make the pull-back construction statistically sound for deployment.
  • In fair allocation, raising the ambiguity radius ε moves allocations toward equitable solutions while preserving more aggregate utility than raising the fairness parameter α, giving a lever for equity that does not sacrifice as much efficiency.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The Jensen-inequality mechanism is generic: any mean-preserving spread inside a norm-based transport cost relaxes the same pointwise constraints, so the 'blessing of noise' should extend to other Wasserstein-based robust problems such as regression with noisy features or portfolio selection with noisy returns, even though the paper only demonstrates it for fair allocation.
  • The size of the blessing should be measurable and monotone in noise dispersion: for two mean-preserving noise kernels with the same mean but different variance, the gap g*_noise(ε) − g*(ε) should be larger for the higher-variance kernel; this is a direct testable corollary the paper does not state.
  • If the reformulation's decomposition step turns out to be inexact, the practical effect is that the numerical optimal values and POA gaps reported in Section 5 would be optimistic bounds rather than exact values; the dominance direction is plausible but the magnitudes would need re-derivation.
  • The ambiguity–fairness parallel hints at a broader design principle: a platform that cannot impose fairness constraints directly could deliberately inject calibrated ambiguity or noise into the robust model to steer allocations toward equity, a recipe the example suggests but the paper does not claim.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a distributionally robust optimization framework for decision-making under noisy data. The ambiguity set is defined as the inverse image, under a known noise kernel, of a Wasserstein ball centered at the noisy empirical distribution. The central claims are: (i) the resulting noisy-data DRO admits a tractable convex reformulation; (ii) under mean-preserving noise it is less conservative than a direct DRO that treats noisy observations as clean, i.e., g*_noise(ε) ≥ g*(ε); (iii) this implies a lower price of ambiguity; and (iv) finite-sample guarantees and asymptotic consistency hold. The paper also presents a fair-resource-allocation application. The main proof of the reformulation rests on a false 'without loss of generality' assumption about the structure of optimal transport couplings, and the dominance theorem is therefore unsupported.

Significance. The inverse-image construction is a natural and potentially useful idea, and the statistical results in Section 3 appear to be largely independent of the disputed reformulation. If the dominance theorem were correct, it would be a surprising and practically relevant result. However, the central mathematical claim is not established: the proof of Lemma 4.1 contains a load-bearing error, and the counterexample in this report shows that the reformulated program can be unbounded while the original problem is finite. The numerical study solves the restricted surrogate, not the original noisy-data DRO, so it does not provide empirical support for the paper's main conclusion. Because the key comparison results (Theorem 4.2, Lemma 4.2, and the 'blessing in disguise' interpretation) all rely on the invalid reformulation, the paper's central contribution is not currently supported.

major comments (3)
  1. [Appendix A.2, proof of Lemma 4.1] The proof replaces the marginal constraint (1/N)Σ_j G⋆_j = T_O(F) with the componentwise condition G⋆_j = T_O(α_j), where F = (1/N)Σ_j α_j. The text calls this 'a sufficient way' but then treats it as an equivalence by reparameterizing the entire optimization over α_j. This is not without loss of generality: feasible couplings may have components G⋆_j outside the image of T_O. Concretely, take X=[0,1], E uniform on {-1,1} (mean-preserving), N=2, observed samples 0 and 2, ε=0.5, U(w,x)=wx with w≥0. The latent F=δ_1 with G⋆_1=δ_0 and G⋆_2=δ_2 satisfies the original coupling constraints with zero transport cost, so the original inner problem is feasible and finite. In the reformulation, c_1(x)=1 for all x∈[0,1] and c_2(x)=2−x, so the average cost is at least 1; the constraint (1/N)Σ_j∫c_j dα_j ≤ 0.5 is infeasible and the dual is unbounded. Lemma 4.1 is therefore false as stated.
  2. [Theorem 4.2 / Lemma 4.2] The dominance result g*_noise(ε) ≥ g*(ε) is proved entirely through the reformulated program (8). Since Lemma 4.1 is invalid, the theorem does not compare the original noisy-data DRO problem (5) with the direct DRO. In fact, the reformulation is a restriction of the original problem: it imposes G⋆_j = T_O(α_j), so its inner infimum is no smaller than the original inner infimum. Thus even the inequality g_surrogate ≥ g_direct is in the wrong direction to imply g_original ≥ g_direct; the original problem could have a smaller value. The numerical experiments in §5.2.2 solve the restricted surrogate, not Problem 2.1, so they cannot confirm Theorem 4.2 for the original model. The price-of-ambiguity dominance in Lemma 4.2 inherits the same unsupported conclusion.
  3. [Section 4.1 / Theorem 4.1] The tractability claim for Problem 2.1, as well as the sensitivity result dg*_noise/dε = −λ*(ε), depends on the dual program derived in Lemma 4.1. Once Lemma 4.1 is rejected, the 'shadow price of robustness' interpretation is not justified for the original problem. The paper does not provide an alternative derivation of a convex reformulation for the original coupling problem, so the proposed framework lacks a verified tractable formulation.
minor comments (4)
  1. [Abstract / Figure 4] There are several typos, including 'p aper' in the abstract, and in Figure 4 the labels 'P ice of F ai ness', 'F AIR', and 'Optimal Value unde Va ying ε' are corrupted. Please proofread the text and figure labels.
  2. [Theorem 3.1] The statement says 'for all N ≥ 1, n ≠ 2' and then uses max{n,2}; for n=2 the exponent is the same as for n<2, so the exclusion of n=2 is unexplained. Either justify it or remove it.
  3. [Section 5.2] The numerical section says the DRO_noise model applies Lemma 4.1, but since Lemma 4.1 is invalid, the reported numbers are for the restricted surrogate. If the authors propose a corrected reformulation, the experiments should be rerun for the original problem. Also, details such as the solver, seeds, and code availability are not provided, which limits reproducibility.
  4. [Theorem 3.3 / Appendix A.1] The notation P⋆,∞ is used without a definition. It appears to denote the infinite product measure for the noisy sample path, but this should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the dominance result is obtained by a Jensen-inequality comparison of feasible sets, not by defining the conclusion into the model.

full rationale

The paper's central claim, g*_noise(ε) ≥ g*(ε), is established in Theorem 4.2 by showing that every feasible triplet of the direct DRO satisfies the noisy-data DRO constraints because mean-preserving noise gives E[||X⋆−x̂⋆_j|| | X=x] ≥ ||x−x̂⋆_j||. This is a substantive analytic comparison, not a definitional equivalence; the conclusion is not used to construct the ambiguity set. The inverse-image ambiguity set is defined independently of the dominance result. Statistical guarantees use external concentration results and characteristic-function arguments. The only self-citations (Hsieh 2024; Hsieh and Yu 2024) are introductory literature pointers and are not load-bearing. The potential gap in Lemma 4.1 — replacing the marginal coupling constraint by the sufficient componentwise condition G⋆_j = T_O(α_j) — is a soundness issue (the reformulation may not be equivalent to the original problem), not a circularity: it does not reduce the claimed output to the input by construction. Per the hard rules, no circularity score is assigned for that gap.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The theory introduces no new particles or entities. The central dependency is the assumed equivalence in Lemma 4.1, which is an unstated and false ad hoc assumption. The other axioms are standard domain assumptions on the noise and support.

assumptions (6)
  • domain assumption The noise kernel O is known to the decision maker.
    The entire inverse-image construction assumes O is known. Stated in Section 2.2.
  • domain assumption The noise model is additive and independent: X* = X + E with E independent of X.
    Used to derive the convolution form (3) and to support the characteristic function argument in Lemma 3.1.
  • domain assumption The noise is mean-preserving for Theorem 4.2 and Proposition 4.1.
    Mean-preservation E[X*|X=x]=x is assumed before Theorem 4.2 and used in inequality (19).
  • domain assumption The characteristic function of the noise has zero set of Lebesgue measure zero.
    Required for Lemma 3.1, the noise-to-latent distance transfer.
  • domain assumption The supports X and X* are compact and convex.
    Used for compactness of M(X), concentration bounds, and continuity arguments. Stated at the start of Section 2.1.
  • ad hoc to paper In Lemma 4.1, the coupling components G*_j can be assumed to equal T_O(α_j) for some latent measures α_j without loss of optimality.
    This is the false WLOG step in the proof of Lemma 4.1. It is only a sufficient condition, not an equivalence, and it is not justified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Is Noisy Data a Blessing in Disguise? A Distributionally Robust Optimization Perspective." pith.science (2026). https://pith.science/paper/IIJVAZ3A

@misc{pith2026250901076,
  author       = {Pith},
  title        = {Pith review of: Is Noisy Data a Blessing in Disguise? A Distributionally Robust Optimization Perspective},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IIJVAZ3A}},
  note         = {Machine review of arXiv:2509.01076}
}
read the original abstract

Noisy data are often viewed as a challenge for decision-making. This paper studies a distributionally robust optimization (DRO) that shows how such noise can be systematically incorporated. Rather than applying DRO to the noisy empirical distribution, we construct ambiguity sets over the \emph{latent} distribution by centering a Wasserstein ball at the noisy empirical distribution in the observation space and taking its inverse image through a known noise kernel. We validate this inverse-image construction by deriving a tractable convex reformulation and establishing rigorous statistical guarantees, including finite-sample performance and asymptotic consistency. Crucially, we demonstrate that, under mild conditions, noisy data may be a ``blessing in disguise." Our noisy-data DRO model is less conservative than its direct counterpart, leading to provably higher optimal values and a lower price of ambiguity. In the context of fair resource allocation problems, we demonstrate that this robust approach can induce solutions that are structurally more equitable. Our findings suggest that managers can leverage uncertainty by harnessing noise as a source of robustness rather than treating it as an obstacle, producing more robust and strategically balanced decisions.

Figures

Figures reproduced from arXiv: 2509.01076 by the authors.

Figure 1
Figure 1. Conceptual Framework for Direct and Noisy-Data DR [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Optimal Allocation Strategies of Base Station 1 Un [PITH_FULL_IMAGE:figures/full_fig_p014_2.png] view at source ↗
Figure 3
Figure 3. Optimal Allocation Strategies of Base Station 1 Un [PITH_FULL_IMAGE:figures/full_fig_p014_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Optimal Values and Corresponding POF and POA Under the Same Settings as Figures 2–3. Top Row: Optimal Values; Bottom Row: POF and POA. The Left Two Panels: Vary ε; the Right Two Panels: Vary α. 15 [PITH_FULL_IMAGE:figures/full_fig_p015_4.png]

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

38 extracted references · 37 canonical work pages

  1. [1]

    Aliprantis, C. D. and Border, K. C. (2006). Infinite Dimensional Analysis: a Hitchhiker’s Guide . Springer

  2. [2]

    Altman, E., Avrachenkov, K., and Garnaev, A. (2008). Generalized -Fair Resource Allocation in Wireless Networks . In Proceedings of the IEEE Conference on Decision and Control , pages 2414--2419. IEEE

  3. [3]

    and Green, B

    Banerjee, S. and Green, B. (2015). Signal or Noise? Uncertainty and Learning about Whether Other Traders Are Informed . Journal of Financial Economics , 117(2):398--423

  4. [4]

    Ben-Tal, A., Den Hertog, D., De Waegenaere, A., Melenberg, B., and Rennen, G. (2013). Robust Solutions of Optimization Problems Affected by Uncertain Probabilities . Management Science , 59(2):341--357

  5. [5]

    Ben-Tal, A., El Ghaoui, L., and Nemirovski, A. (2009). Robust Optimization . Princeton University Press

  6. [6]

    F., and Trichakis, N

    Bertsimas, D., Farias, V. F., and Trichakis, N. (2011). The Price of Fairness . Operations Research , 59(1):17--31

  7. [7]

    and Sim, M

    Bertsimas, D. and Sim, M. (2004). The Price of Robustness . Operations Research , 52(1):35--53

  8. [8]

    Black, F. (1986). Noise. The Journal of Finance , 41(3):528--543

Show all 38 references
  1. [9]

    Blanchet, J., Chen, L., and Zhou, X. Y. (2022). Distributionally Robust Mean-Variance Portfolio Selection with Wasserstein Distances . Management Science , 68(9):6382--6410

  2. [10]

    Blanchet, J., Li, J., Lin, S., and Zhang, X. (2024). Distributionally Robust Optimization and Robust Statistics . arXiv preprint arXiv:2401.14655

  3. [11]

    Y.-M., and Mao, T

    Cai, J., Li, J. Y.-M., and Mao, T. (2025). Distributionally Robust Optimization under Distorted Expectations . Operations Research , 73(2):969--985

  4. [12]

    Durrett, R. (2019). Probability: Theory and Examples . Cambridge University Press

  5. [13]

    Dwork, C., Kenthapadi, K., McSherry, F., Mironov, I., and Naor, M. (2006). Our Data, Ourselves: Privacy via Distributed Noise Generation . In Advances in cryptology-EUROCRYPT 2006: 24th annual international conference on the theory and applications of cryptographic techniques,...

  6. [14]

    Farokhi, F. (2022). Distributionally-Robust Machine Learning Using Locally Differentially-Private Data . Optimization Letters , 16(4):1167--1179

  7. [15]

    Farokhi, F. (2023). Distributionally-Robust Optimization with Noisy Data for Discrete Uncertainties Using Total Variation Distance . IEEE Control Systems Letters

  8. [16]

    Gao, R. (2023). Finite-Sample guarantees for Wasserstein Distributionally Robust Optimization: Breaking the Curse of Dimensionality . Operations Research , 71(6):2291--2306

  9. [17]

    and Kleywegt, A

    Gao, R. and Kleywegt, A. (2023). Distributionally Robust Stochastic Optimization with Wasserstein Distance . Mathematics of Operations Research , 48(2):603--655

  10. [18]

    Hsieh, C.-H. (2024). On Solving Robust Log-Optimal Portfolio: A Supporting Hyperplane Approximation Approach . European Journal of Operational Research , 313(3):1129--1139

  11. [19]

    and Yu, X.-R

    Hsieh, C.-H. and Yu, X.-R. (2024). On Cost-Sensitive Distributionally Robust Log-Optimal Portfolio . arXiv preprint arXiv:2410.23536

  12. [20]

    and Hong, L

    Hu, Z. and Hong, L. J. (2013). Kullback-Leibler Divergence Constrained Distributionally Robust Optimization . Available at Optimization Online , 1(2):9

  13. [21]

    and Guan, Y

    Jiang, R. and Guan, Y. (2018). Risk-Averse Two-Stage Stochastic Program with Distributional Ambiguity . Operations Research , 66(5):1390--1405

  14. [22]

    Kuhn, D., Shafiee, S., and Wiesemann, W. (2025). Distributionally Robust Optimization . Acta Numerica , 34:579--804

  15. [23]

    C., and Sidford, A

    Levy, D., Carmon, Y., Duchi, J. C., and Sidford, A. (2020). Large-Scale Methods for Distributionally Robust Optimization . Advances in Neural Information Processing Systems , 33:8847--8860

  16. [24]

    Li, J. Y. and Kwon, R. H. (2013). Portfolio Selection under Model Uncertainty: A Penalized Moment-Based Optimization Approach . Journal of Global Optimization , 56:131--164

  17. [25]

    Li, J. Y.-M. (2023). Wasserstein-Kelly Portfolios: A Robust Data-Driven Solution to Optimize Portfolio Growth . arXiv preprint arXiv:2302.13979

  18. [26]

    and Kuhn, D

    Mohajerin Esfahani, P. and Kuhn, D. (2018). Data-Driven Distributionally Robust Optimization using the Wasserstein Metric: Performance Guarantees and Tractable Reformulations . Mathematical Programming , 171(1-2):115--166

  19. [27]

    Muralidhar, K., Parsa, R., and Sarathy, R. (1999). A General Additive Data Perturbation Method for Database Security . Management Science , 45(10):1399--1415

  20. [28]

    Peyr \'e , G., Cuturi, M., et al. (2019). Computational optimal Transport: With Applications to Data Science . Foundations and Trends in Machine Learning , 11(5-6):355--607

  21. [29]

    and Mehrotra, S

    Rahimian, H. and Mehrotra, S. (2022). Frameworks and Results in Distributionally Robust Optimization . Open Journal of Mathematical Optimization , 3:1--85

  22. [30]

    Smith, J. E. and Winkler, R. L. (2006). The Optimizer’s Curse: Skepticism and Postdecision Surprise in Decision Analysis . Management Science , 52(3):311--322

  23. [31]

    Syds ter, K., Seierstad, A., and Strom, A. (2008). Further Mathematics for Economic Analysis . Pearson Education

  24. [32]

    Van Parys, B. P. (2024). Efficient Data-Driven Optimization with Noisy Data . Operations Research Letters , 54:107089

  25. [33]

    Villani, C. (2008). Optimal Transport: Old and New , volume 338. Springer

  26. [34]

    Wiesemann, W., Kuhn, D., and Sim, M. (2014). Distributionally Robust Convex Optimization . Operations Research , 62(6):1358--1376

  27. [35]

    and Hooker, J

    Xinying Chen, V. and Hooker, J. N. (2023). A Guide to Formulating Fairness in an Optimization Model . Annals of Operations Research , 326(1):581--619

  28. [36]

    Zhang, L., Yang, J., and Gao, R. (2024). A Short and General Duality Proof for Wasserstein Distributionally Robust Optimization . Operations Research

  29. [37]

    Zhang, L., Yang, J., and Gao, R. (2025). A short and general duality proof for wasserstein distributionally robust optimization. Operations Research , 73(4):2146--2155

  30. [38]

    Social-Aware Resource Allocation Dataset

    ZIYA (2025). Social-Aware Resource Allocation Dataset . https://www.kaggle.com/datasets/ziya07/social-aware-resource-allocation-dataset. Kaggle, CC0: Public Domain License

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.