REVIEW 3 major objections 3 minor 35 references
Delegation with Costly Inspection
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that when delegation is free, the better of an inspected single proposal and the highest expected-value alternative approximates the optimal delegated-choice mechanism within a factor of 3, and that this factor is tight…
desk verdict Solid new model and a clever 3-approx for costless delegation, but the guarantee rests on a tie-breaking convention that the paper understates, and Theorem 4.12 has a real proof gap. 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 load-bearing device is the notion of a solution accepted without overinspection: alternative $i$ is selected without inspecting any alternative whose inspection cost is at least $c_i$. The paper proves that, for the worst-case agent under favorable tie-breaking, the event that $i$ is accepted without overinspection is independent of $X_i$, because the agent's signal depends on his own utility ranking rather than on the principal's utility. This independence bounds the expected utility from such selections by $\max_i \mathbb{E}[X_i]$, producing the upper bound on the optimal mechanism. On the lower side, the key working identity is Lemma 4.6: a shifted single-proposal mechanism with inspection recovers $\tfrac{1}{2}\mathbb{E}[\max_i (X_i-c_i)^+]$ by accepting a proposed alternative exactly when its net value $X_i-c_i$ clears a threshold. The maximal mechanism that chooses the better of these two components is the 3-approximation.
What would settle it
Drop the assumption that an indifferent agent sends the principal-favorable signal. Take 10 alternatives with $X_i=1$ with probability $0.01$ and $0$ otherwise, and inspection cost $0$, plus a decoy alternative with $X=0$ and inspection cost $0.2$, where the agent's utility makes him propose the decoy whenever no alternative clears the threshold. The Theorem 4.8 mechanism then earns the maximum of $0.01$ and a negative single-proposal term, i.e., $0.01$, whereas the PNOI policy that inspects the 10 cheap alternatives and otherwise selects an uninspected one earns about $0.1046$; the ratio exceeds 10, so the claimed 3-approximation guarantee does not survive adversarial tie-breaking.
Extended reading notes
Core claim
The paper shows that the optimal mechanism's value is governed by two quantities: the largest ex-ante expected alternative value, $\max_i \mathbb{E}[X_i]$, and the expected surplus of the best inspected alternative, $\mathbb{E}[\max_i (X_i-c_i)^+]$. For any mechanism, the principal's utility is at most the sum of these two quantities. On the constructive side, the better of two simple mechanisms—a single-proposal mechanism that inspects the proposed alternative and accepts it only when $X_i-c_i$ passes a threshold, and the no-inspection choice of the maximum expected value—attains the maximum of $\max_i \mathbb{E}[X_i]$ and $\tfrac{1}{2}\mathbb{E}[\max_i (X_i-c_i)^+]$. Comparing the two bounds yields the 3-approximation, and a matching lower-bound instance shows the factor is tight for this mechanism. The paper thus establishes that combining one round of inspection with a fallback on ex-ante expected values is sufficient to counteract strategic misreporting up to a constant factor.
Load-bearing premise
The argument relies on the agent sending the principal-favorable signal whenever he is indifferent, especially the null signal when no proposed alternative clears the threshold; if indifference is resolved adversarially, the wasted inspection can break the half-surplus guarantee and the ratio 3.
Editorial extensions
If this is right
- With costless delegation, one inspection suffices to make delegation robust to misreporting up to a constant factor, so the principal need not pre-commit to blind trust or exhaustive inspection.
- The same 3-approximation holds when inspection costs are given by an arbitrary monotone set function, extending the result to settings where inspecting a group costs more or less than the sum of its parts.
- If every alternative has the same inspection cost, the approximation improves to 2.
- When delegation itself is costly, a constant-factor approximation survives in two regimes—$c_{\mathrm{Del}} < \tfrac12\mathbb{E}[\max_i (X_i-c_i)^+]$ or $c_{\mathrm{Del}} \ge \mathbb{E}[\max_i (X_i-c_i)^+] - 2\mathbb{E}[\mathrm{Mec}_P]$—leaving the intermediate regime open.
- Since the problem generalizes Pandora's box with nonobligatory inspection, a known NP-hard problem, no exact polynomial-time optimal mechanism is expected unless P = NP.
Reading between the lines
- The half-factor in Lemma 4.6 mirrors the classical threshold-mechanism half-guarantee for delegated search and prophet inequalities, which suggests that any improvement beyond 3 would need a richer signal structure than a single inspected proposal rather than a better threshold.
- The overinspection-independence argument looks portable: any principal-agent search problem where the agent's signal is the only source of information and the principal can verify at a cost should admit a similar bound in terms of the best ex-ante value plus the best expected net surplus.
- A testable extension is to randomize between the single-proposal mechanism with inspection and the PNOI policy when the delegation cost is moderate; the paper notes that randomization changes the agent's best-response and leaves this open, but the two-regime theorem suggests the failure region is exactly where neither component alone dominates.
- If the favorable tie-breaking assumption is dropped, the SPMI's null-signal guarantee fails, so robustness to adversarial tie-breaking is the natural next stress test for any delegation mechanism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Delegated Choice with Inspection Cost (DCIC), a principal–agent model in which the agent may misreport the utility of a proposed alternative and the principal can inspect alternatives at an exogenous cost, with an additional fixed delegation cost c_Del. It observes that DCIC generalizes Pandora's box with nonobligatory inspection (PNOI), implies NP-hardness, and shows that neither pure inspection nor a single-proposal mechanism with inspection (SPMI) alone can be constant-factor approximable. Its main positive result is a 3-approximation for costless delegation: a maximal mechanism that takes the better of (i) an SPMI with a single threshold (capturing half of E[max_i (X_i - c_i)^+]) and (ii) the no-inspection choice of the alternative with largest E[X_i]. The 3 bound is shown tight for this mechanism and the analysis extends to monotone combinatorial costs, with an improved 2-approximation for equal inspection costs. For the costly-delegation setting, Theorem 4.12 claims constant-factor approximations in two regimes of c_Del. The paper also gives several impossibility and tightness examples.
Significance. If the main theorem holds, the paper makes a useful conceptual connection between delegated choice and nonobligatory-inspection Pandora's box, and the overinspection-based upper bound (Lemmas 4.4 and 4.5) is an elegant technique that could be reused. The proofs for the costless case are carefully derived, the mechanism is simple, and the tightness example for the proposed mechanism is instructive. However, the significance is substantially tempered by two issues: the 3-approximation depends on a favorable tie-breaking convention that the paper calls 'innocuous', and the costly-delegation theorem contains a mismatch between statement and proof plus an algebra error that turns the claimed 2 - epsilon into 2 + epsilon. These concerns must be fixed before the results can be relied upon.
major comments (3)
- [3.2, Lemma 4.6] The proof of Lemma 4.6 relies on the assumption that when no eligible solution exists, the agent sends the null signal because he is indifferent and behaves in favor of the principal. This assumption is not innocuous: if ties are broken adversarially, the agent can propose an ineligible alternative, the principal inspects it and pays its cost, and the claimed lower bound 1/2 E[max_i (X_i - c_i)^+] fails. For example, take 1000 alternatives with X_i = 100 w.p. 0.01 (else 0) and c_i = 0.1, plus one alternative with X = 0 and c = 1000, and all Y_i = 0. With threshold tau = 50, favorable tie-breaking gives SPMI utility about 99.9, while a pessimistic tie-breaking agent proposes the high-cost box whenever it exists, giving utility about -1000. The maximal mechanism then falls back to the no-inspection rule (utility 1), while a feasible inspection policy obtains about 90, so the approximation ratio is at least 90 rather than 3. Thus Theorem 4.8 is contingent on the tie-breaking convention; the authors should either adopt it as an explicit modeling assumption or modify the mechanism and analysis to be robust to pessimistic tie-breaking.
- [Theorem 4.12] The statement of Theorem 4.12 requires c_Del >= E[max_i (X_i - c_i)^+] - 2 E[Mec_P], but the proof (line 'Now consider the second case where c_Del >= E[max] - E[Mec_P]') uses the strictly stronger condition c_Del >= E[max] - E[Mec_P]. Since 2 E[Mec_P] >= E[Mec_P], the stated condition does not imply the proof's condition, so the theorem as stated is unproved. The condition in the theorem should be corrected, or the proof should be modified to work under the weaker stated assumption.
- [Theorem 4.12, second branch] Even under the proof's corrected condition, the displayed chain gives E[Opt] <= (1 + 1/(1 - epsilon)) E[Mec] = (2 - epsilon)/(1 - epsilon) E[Mec], which is greater than 2 for every epsilon in (0,1). The conclusion '2 - epsilon-approximation for any epsilon' is therefore false; the argument yields a 2 + epsilon-approximation. This quantitative claim appears in the abstract and in Section 2.4 and should be corrected accordingly.
minor comments (3)
- [Theorem 4.11] The example gives a ratio of (3 - 3 epsilon + epsilon^2)/1, which is below 3 for all epsilon in (0,1); this does not support the statement that the mechanism 'cannot have approximation factor better than 3+epsilon'. The intended tightness claim should be rephrased, e.g., as a family of instances whose approximation ratio approaches 3.
- [Section 2.4 and Theorem 4.12] The 'rich class of instances' is only the union of the two closed-form regimes for c_Del; the paper should state explicitly that intermediate delegation costs are left open.
- [Proposition 4.10] In the proof, the sentence 'If for any signal sigma, inspection policy Sig(sigma) selects a solution i without inspecting any solution...' appears to require that the agent's best response indeed sends such a signal; the argument would benefit from making the worst-case agent explicit.
Circularity Check
No significant circularity: the 3-approximation arises from an upper/lower-bound sandwich using external SPM and PNOI PTAS results, not from fitted constants or self-referential definitions.
full rationale
The paper's derivation chain is self-contained against external benchmarks. The central upper bound (Lemma 4.5) is proved by constructing a worst-case agent response and bounding the utility from selections with and without overinspection; the lower bound (Lemma 4.6) reduces the SPMI to the Kleinberg-Kleinberg single-threshold SPM on shifted variables Z_i=(X_i-c_i)^+, an external theorem whose stated assumptions do not include the target 3-approximation. The factor 3 in Theorem 4.8 then follows by comparing the two bounds, with no fitted constant smuggled in to match the claimed ratio. Theorem 4.12 invokes the PNOI PTAS of Beyhaghi-Cai and Fu-Liu-Liu as a black box, again external and parameter-free. Self-citations in the related-work section and acknowledgements are survey-style and not used to justify any theorem. The tie-breaking convention in Section 3.2 is a stated modeling assumption; even if it is load-bearing for Lemma 4.6, it is not a circular definition of the result. The algebra slip in Theorem 4.12's second branch (the stated condition uses 2E[Mec_P] while the proof uses E[Mec_P]) is a correctness defect, not a circularity, because no equation is defined in terms of the result it is meant to prove.
Assumptions & free parameters
assumptions (6)
- domain assumption The principal knows the marginal distributions D^X_i and costs c_i but not the agent's utility distribution D^Y; the mechanism must be agent-oblivious and is evaluated against the worst-case D^Y.
- domain assumption The agent observes all realized utilities, best-responds, and breaks ties in favor of the principal.
- domain assumption Alternative utilities X_i and Y_i are nonnegative and independent across alternatives.
- domain assumption The principal can commit to any signaling mechanism and inspection policy; the game is sequential with commitment.
- standard math Kleinberg-Kleinberg single-proposal single-threshold theorem (Theorem 3.2) holds for zero-cost inspection.
- standard math PNOI is NP-hard and admits a PTAS (Fu et al. 2023; Beyhaghi and Cai 2023).
Cite this review
Pith. "Pith review of Delegation with Costly Inspection." pith.science (2026). https://pith.science/paper/DFROKGZJ
@misc{pith2026250607162,
author = {Pith},
title = {Pith review of: Delegation with Costly Inspection},
year = {2026},
howpublished = {\url{https://pith.science/paper/DFROKGZJ}},
note = {Machine review of arXiv:2506.07162}
}
abstract
We study the problem of delegated choice with inspection cost (DCIC), which is a variant of the delegated choice problem by Kleinberg and Kleinberg (EC'18) as well as an extension of the Pandora's box problem with nonobligatory inspection (PNOI) by Doval (JET'18). In our model, an agent may strategically misreport the proposed element's utility, unlike the standard delegated choice problem which assumes that the agent truthfully reports the utility for the proposed alternative. Thus, the principal needs to inspect the proposed element possibly along with other alternatives to maximize its own utility, given an exogenous cost of inspecting each element. Further, the delegation itself incurs a fixed cost, thus the principal can decide whether to delegate or not and inspect by herself. We show that DCIC indeed is a generalization of PNOI where the side information from a strategic agent is available at certain cost, implying its NP-hardness by Fu, Li, and Liu (STOC'23). We first consider a costless delegation setting in which the cost of delegation is free. We prove that the maximal mechanism over the pure delegation with a single inspection and an PNOI policy without delegation achieves a $3$-approximation for DCIC with costless delegation, which is further proven to be tight. These results hold even when the cost comes from an arbitrary monotone set function, and can be improved to a $2$-approximation if the cost of inspection is the same for every element. We extend these techniques by presenting a constant factor approximate mechanism for the general setting for rich class of instances.
Reference graph
Works this paper leans on
-
[1]
Ricardo Alonso and Niko Matouschek. Optimal delegation. The Review of Economic Studies, 75 0 (1): 0 259--293, 2008
work page 2008
-
[2]
A model of delegated project choice
Mark Armstrong and John Vickers. A model of delegated project choice. Econometrica, 78 0 (1): 0 213--244, 2010
work page 2010
-
[3]
Curtis Bechtel and Shaddin Dughmi. Delegated stochastic probing. arXiv preprint arXiv:2010.14718, 2020
work page Pith review arXiv 2010
-
[4]
Curtis Bechtel, Shaddin Dughmi, and Neel Patel. Delegated pandora's box. In Proceedings of the 23rd ACM Conference on Economics and Computation, pages 666--693, 2022
work page 2022
-
[5]
Pandora's problem with combinatorial cost
Ben Berger, Tomer Ezra, Michal Feldman, and Federico Fusco. Pandora's problem with combinatorial cost. In Proceedings of the 24th ACM Conference on Economics and Computation, pages 273--292, 2023
work page 2023
-
[6]
Pandora’s problem with nonobligatory inspection: Optimal structure and a ptas
Hedyeh Beyhaghi and Linda Cai. Pandora’s problem with nonobligatory inspection: Optimal structure and a ptas. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, pages 803--816, 2023
work page 2023
-
[7]
Pandora's problem with nonobligatory inspection
Hedyeh Beyhaghi and Robert Kleinberg. Pandora's problem with nonobligatory inspection. In Proceedings of the 2019 ACM Conference on Economics and Computation, pages 131--132, 2019
work page 2019
-
[8]
Matching with Nested and Bundled Pandora Boxes
Robin Bowers and Bo Waggoner. Matching with nested and bundled pandora boxes. arXiv preprint arXiv:2406.08711, 2024
work page Pith review arXiv 2024
Show all 35 references
-
[9]
Pandora's box with correlations: Learning and approximation
Shuchi Chawla, Evangelia Gergatsouli, Yifeng Teng, Christos Tzamos, and Ruimin Zhang. Pandora's box with correlations: Learning and approximation. In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1214--1225. IEEE, 2020
2020
-
[10]
Robust bilateral trade and mediated bargaining
Jernej C opi c and Clara Ponsat \' . Robust bilateral trade and mediated bargaining. Journal of the European Economic Association, 6 0 (2-3): 0 570--580, 2008
2008
-
[11]
Can probabilistic feedback drive user impacts in online platforms? In International Conference on Artificial Intelligence and Statistics, pages 2512--2520
Jessica Dai, Bailey Flanigan, Meena Jagadeesan, Nika Haghtalab, and Chara Podimata. Can probabilistic feedback drive user impacts in online platforms? In International Conference on Artificial Intelligence and Statistics, pages 2512--2520. PMLR, 2024
2024
-
[12]
Mechanism design via optimal transport
Constantinos Daskalakis, Alan Deckelbaum, and Christos Tzamos. Mechanism design via optimal transport. In Proceedings of the fourteenth ACM conference on Electronic commerce, pages 269--286, 2013
2013
-
[13]
Whether or not to open pandora's box
Laura Doval. Whether or not to open pandora's box. Journal of Economic Theory, 175: 0 127--158, 2018
2018
-
[14]
Bilateral trade with a benevolent intermediary
Ran Eilat and Ady Pauzner. Bilateral trade with a benevolent intermediary. Theoretical Economics, 16 0 (4): 0 1655--1714, 2021
2021
-
[15]
A ptas for a class of stochastic dynamic programs
H Fu, J Li, and P Xu. A ptas for a class of stochastic dynamic programs. chatzigiannakis i, kaklamanis c, marx d, sannella d, eds. In Proc. 45th Internat. Colloquium on Automata, Languages, and Programming.(ICALP 2018), Prague, Czech Republic, pages 1--56, 2018
2018
-
[16]
Pandora box problem with nonobligatory inspection: Hardness and approximation scheme
Hu Fu, Jiawei Li, and Daogao Liu. Pandora box problem with nonobligatory inspection: Hardness and approximation scheme. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, pages 789--802, 2023
2023
-
[17]
Information acquisition and exploitation in multichannel wireless networks
Sudipto Guha, Kamesh Munagala, and Saswati Sarkar. Information acquisition and exploitation in multichannel wireless networks. arXiv preprint arXiv:0804.1724, 2008
2008 arXiv
-
[18]
Gains-from-trade in bilateral trade with a broker
Ilya Hajiaghayi, MohammadTaghi Hajiaghayi, Gary Peng, and Suho Shin. Gains-from-trade in bilateral trade with a broker. arXiv preprint arXiv:2410.17444, 2024 a
2024 arXiv
-
[19]
Regret analysis of repeated delegated choice
Mohammad Hajiaghayi, Mohammad Mahdavi, Keivan Rezaei, and Suho Shin. Regret analysis of repeated delegated choice. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 38, pages 9757--9764, 2024 b
2024
-
[20]
On the theory of delegation
Bengt Holmstrom. On the theory of delegation. Technical report, Discussion Paper, 1980
1980
-
[21]
Generative ai as economic agents
Nicole Immorlica, Brendan Lucier, and Aleksandrs Slivkins. Generative ai as economic agents. ACM SIGecom Exchanges, 22 0 (1): 0 93--109, 2024
2024
-
[22]
Supply-side equilibria in recommender systems
Meena Jagadeesan, Nikhil Garg, and Jacob Steinhardt. Supply-side equilibria in recommender systems. Advances in Neural Information Processing Systems, 36, 2024
2024
-
[23]
Simple delegated choice
Ali Khodabakhsh, Emmanouil Pountourakis, and Samuel Taggart. Simple delegated choice. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 569--590. SIAM, 2024
2024
-
[24]
Delegated search approximates efficient search
Jon Kleinberg and Robert Kleinberg. Delegated search approximates efficient search. In Proceedings of the 2018 ACM Conference on Economics and Computation, pages 287--302, 2018
2018
-
[25]
Descending price optimally coordinates search
Robert Kleinberg, Bo Waggoner, and E Glen Weyl. Descending price optimally coordinates search. arXiv preprint arXiv:1603.07682, 2016
2016 arXiv
-
[26]
Prophet compared to gambler: an inequality for transforms of processes
Ulrich Krengel and Louis Sucheston. Prophet compared to gambler: an inequality for transforms of processes. The Annals of Probability, 15 0 (4): 0 1593--1599, 1987
1987
-
[27]
Profit-maximizing mechanism in bilateral trade with interdependent valuations
Zhonghong Kuang, Weiran Shen, and Fan Wu. Profit-maximizing mechanism in bilateral trade with interdependent valuations. Available at SSRN 4474002, 2023
2023
-
[28]
On revenue maximization for selling multiple independently distributed items
Xinye Li and Andrew Chi-Chih Yao. On revenue maximization for selling multiple independently distributed items. Proceedings of the National Academy of Sciences, 110 0 (28): 0 11232--11237, 2013
2013
-
[29]
Multidimensional mechanism design: Revenue maximization and the multiple-good monopoly
Alejandro M Manelli and Daniel R Vincent. Multidimensional mechanism design: Revenue maximization and the multiple-good monopoly. Journal of Economic theory, 137 0 (1): 0 153--185, 2007
2007
-
[30]
Comparison of threshold stop rules and maximum for independent nonnegative random variables
Ester Samuel-Cahn. Comparison of threshold stop rules and maximum for independent nonnegative random variables. the Annals of Probability, pages 1213--1216, 1984
1984
-
[31]
Multi-armed bandit algorithm against strategic replication
Suho Shin, Seungjoon Lee, and Jungseul Ok. Multi-armed bandit algorithm against strategic replication. In International Conference on Artificial Intelligence and Statistics, pages 403--431. PMLR, 2022
2022
-
[32]
Delegating to multiple agents
Suho Shin, Keivan Rezaei, and Mohammadtaghi Hajiaghayi. Delegating to multiple agents. In Proceedings of the 24th ACM Conference on Economics and Computation, pages 1081--1126, 2023
2023
-
[33]
The price of information in combinatorial optimization
Sahil Singla. The price of information in combinatorial optimization. In Proceedings of the twenty-ninth annual ACM-SIAM symposium on discrete algorithms, pages 2523--2532. SIAM, 2018
2018
-
[34]
Optimal search for the best alternative, volume 78
Martin Weitzman. Optimal search for the best alternative, volume 78. Department of Energy, 1978
1978
-
[35]
Rethinking incentives in recommender systems: are monotone rewards always beneficial? Advances in Neural Information Processing Systems, 36, 2024
Fan Yao, Chuanhao Li, Karthik Abinav Sankararaman, Yiming Liao, Yan Zhu, Qifan Wang, Hongning Wang, and Haifeng Xu. Rethinking incentives in recommender systems: are monotone rewards always beneficial? Advances in Neural Information Processing Systems, 36, 2024
2024
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.