Pith. sign in

REVIEW 1 major objections 1 minor 2 cited by

Joint dynamic programming co-designs sensor geometry and adaptive policy to exceed non-adaptive information limits.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.3

2026-07-01 09:15 UTC pith:HWHWXDDG

load-bearing objection The paper's joint-DP formulation for co-optimizing sensor geometry and adaptive policy is new, but the central claim rests on unverified gradient accuracy through the Bellman max at scale. the 1 major comments →

arxiv 2604.25193 v2 pith:HWHWXDDG submitted 2026-04-28 physics.optics math.OCphysics.comp-phphysics.data-anquant-ph

Adaptive Sensing beyond Non-Adaptive Information Limits: End-to-End Co-Design of Geometry, Policy, and Inference

classification physics.optics math.OCphysics.comp-phphysics.data-anquant-ph
keywords adaptive sensingjoint dynamic programmingphotonic inverse designsensor co-designBellman optimalityfreeform photonicsPOMDPdifferentiable optimization
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper formulates sensing as a joint optimization over physical geometry and the policy that chooses what to measure next. This co-design uses dynamic programming to relocate decision-making into the hardware itself, addressing the information bottleneck where analog-to-digital conversion discards data that no later algorithm can recover. A differentiable version of the dynamic program supplies gradients for the geometry parameters, while a hierarchy of relaxations scales the method from small discrete problems to freeform photonic structures containing more than 100,000 design variables. Sympathetic readers care because existing work improves either the hardware or the policy in isolation, leaving a gap that joint optimization is meant to close.

Core claim

The authors claim that joint dynamic programming over sensor geometry and a Bellman-optimal adaptive measurement policy enables adaptive sensing to surpass the information limits of any non-adaptive strategy, with the outer hardware gradient obtained through differentiable dynamic programming that employs a sharp Bellman maximum; a hierarchy of relaxations then extends the same framework from small POMDPs to freeform photonic topologies with more than 10^5 design pixels.

What carries the argument

joint dynamic programming (joint-DP), a unified optimization that treats sensor geometry and the adaptive policy as a single dynamic program whose outer gradient is computed via differentiable dynamic programming with a sharp Bellman maximum

Load-bearing premise

The outer hardware gradient obtained through differentiable dynamic programming with a sharp Bellman maximum remains accurate and stable when applied to the joint optimization of geometry and policy.

What would settle it

A numerical experiment in which the jointly optimized geometry-plus-policy system fails to capture more information than either an optimized fixed geometry with a separately trained policy or a fixed geometry with an optimized adaptive policy, or in which the computed hardware gradients diverge from finite-difference checks.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Adaptive sensing on jointly designed hardware can exceed the information capture achievable by non-adaptive strategies on the same hardware.
  • The same optimization framework scales, via successive relaxations, to freeform photonic devices containing more than 10^5 design pixels.
  • Intelligence previously located in downstream digital algorithms can be embedded directly in the physical sensing structure.
  • The hierarchy of relaxations provides a systematic path from small discrete decision problems to large continuous photonic design tasks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same joint-optimization logic could be applied to acoustic or RF sensing modalities by replacing the photonic wave solver with the appropriate physics model.
  • Physical structures might be viewed as carrying an embedded policy that reduces the computational load on any attached digital processor.
  • Experimental validation would require fabricating the jointly optimized geometry and measuring actual information gain against sequentially optimized baselines.
  • The approach suggests end-to-end pipelines in which the physical layer and the inference algorithm are trained together rather than in stages.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 1 minor

Summary. The paper claims that joint dynamic programming (joint-DP) enables co-design of sensor geometry and a Bellman-optimal adaptive measurement policy, allowing adaptive sensing to exceed non-adaptive information limits. The outer hardware gradient is obtained via differentiable dynamic programming using a sharp Bellman maximum, and a hierarchy of relaxations scales the approach to freeform photonic designs exceeding 10^5 pixels.

Significance. If the claimed gradients remain accurate and stable under joint optimization, the framework would represent a meaningful advance by relocating adaptive intelligence into the physical layer of sensors, with direct implications for information-limited sensing tasks. The hierarchy of relaxations is a notable technical contribution for scaling to large design spaces, though no machine-checked proofs or reproducible code are provided to substantiate the claims.

major comments (1)
  1. [Abstract] Abstract (and method description): The central claim relies on obtaining an accurate outer hardware gradient by differentiating through dynamic programming that employs a sharp Bellman maximum. No surrogate for the non-differentiable max operator is specified, nor is there a proof or bound showing that the resulting gradient remains unbiased or that approximation error does not grow with state-space size or across the hierarchy of relaxations needed for >10^5-pixel topologies. This directly impacts the validity of the joint optimization.
minor comments (1)
  1. The abstract states the method extends from small discrete POMDPs to freeform topologies, but provides no concrete example or scaling plot to illustrate the hierarchy of relaxations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful review and constructive feedback. We address the single major comment point-by-point below and will revise the manuscript accordingly to improve clarity on the gradient computation.

read point-by-point responses
  1. Referee: [Abstract] Abstract (and method description): The central claim relies on obtaining an accurate outer hardware gradient by differentiating through dynamic programming that employs a sharp Bellman maximum. No surrogate for the non-differentiable max operator is specified, nor is there a proof or bound showing that the resulting gradient remains unbiased or that approximation error does not grow with state-space size or across the hierarchy of relaxations needed for >10^5-pixel topologies. This directly impacts the validity of the joint optimization.

    Authors: We agree that the abstract is concise and does not detail the implementation. In the body of the manuscript the sharp Bellman maximum is realized by exact argmax selection over actions, with gradients back-propagated only through the optimal action (standard subgradient handling in autodiff frameworks, with zero gradient on non-optimal branches). No softmax-style surrogate is employed in order to preserve sharpness. We acknowledge that explicit theoretical bounds on bias or error growth with state-space size or across the relaxation hierarchy are not derived. We will revise the manuscript to add a dedicated paragraph (or short appendix) clarifying the argmax gradient flow, describing how the hierarchy of relaxations preserves differentiability, and reporting empirical checks of gradient stability on designs up to 10^5 pixels. This revision will directly address the validity concern without altering the claimed results. revision: yes

Circularity Check

0 steps flagged

No circularity: joint-DP is a new optimization construction

full rationale

The provided abstract and description present joint dynamic programming as a novel unified optimization over geometry and Bellman-optimal policy, with the outer gradient obtained via differentiable DP. No equations or steps are shown that reduce by construction to fitted inputs, self-citations, or renamed known results. The hierarchy of relaxations is framed as an extension to larger topologies rather than a self-referential derivation. The central claim remains an independent methodological proposal without load-bearing reductions to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The framework rests on the differentiability of the dynamic program and the validity of the proposed relaxations; no free parameters or invented entities are stated in the abstract.

axioms (1)
  • domain assumption Differentiable dynamic programming with a sharp Bellman maximum yields usable gradients for joint hardware-policy optimization.
    Invoked when the outer hardware gradient is obtained through differentiable DP.

pith-pipeline@v0.9.1-grok · 5728 in / 1085 out tokens · 47296 ms · 2026-07-01T09:15:57.489104+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Adaptive Sensing beyond Non-Adaptive Information Limits: End-to-End Co-Design of Geometry, Policy, and Inference." pith.science (2026). https://pith.science/paper/HWHWXDDG

@misc{pith2026260425193,
  author       = {Pith},
  title        = {Pith review of: Adaptive Sensing beyond Non-Adaptive Information Limits: End-to-End Co-Design of Geometry, Policy, and Inference},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HWHWXDDG}},
  note         = {Machine review of arXiv:2604.25193}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Inverse design has transformed vast physical parameter spaces into a substrate for emergent functionality, raising the tantalizing prospect of relocating intelligence from the digital domain into the physical world itself. Nowhere is this prospect more consequential than in sensing, where the analog-to-digital interface imposes a fundamental bottleneck: information not captured by the hardware is irrevocably lost to any downstream algorithm. Existing approaches improve information capture through either sensor hardware optimization or adaptive measurement strategies operating on fixed hardware, but rarely both in concert. A principled migration of intelligence from digital to physical demands their joint optimization: the sensing geometry must be co-designed with a policy that determines what to measure next. We formulate this co-design as joint dynamic programming (joint-DP), a unified optimization over sensor geometry and a Bellman-optimal adaptive measurement policy. The outer hardware gradient is obtained through differentiable dynamic programming with a sharp Bellman maximum. A hierarchy of relaxations extends the framework from small discrete POMDPs to freeform photonic topologies with more than $10^5$ design pixels.

Figures

Figures reproduced from arXiv: 2604.25193 by Arvin Keshvari, William Tuxbury, Zin Lin.

Figure 1
Figure 1. Figure 1: Scene illustrations for the two case studies. view at source ↗
Figure 2
Figure 2. Figure 2: Case Study C overview. A 2 × 2 lattice of identical cross-waveguide scatterers (cells 1–4), each carrying the same inverse-designed binary-permittivity pattern in its central design region. Two coherent broadband light pulses enter at the left edge: an action pulse carrying the adaptive input phases sk = (ϕ (k) 1 , ϕ(k) 2 ) at epoch k, and a fixed-phase reference pulse. External stimulus fields (e.g., elec… view at source ↗
Figure 3
Figure 3. Figure 3: Final optimized binary permittivity of the 300 view at source ↗
Figure 1
Figure 1. Figure 1: Reachable count-tuple DAG for a Ramsey-like DP at view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Optically Incoherent Photonic Mutual Information

    physics.optics 2026-07 conditional novelty 7.0

    An end-to-end electromagnetic channel model shows point focusing is uniquely optimal for isotropic incoherent sources under a spectrum-flattening condition, while oversampled intensity detection favors interferometric...

  2. End-to-end meta-imagers: Information-theoretic objectives and generalized focusing optima

    physics.optics 2026-06 conditional novelty 6.0

    For intensity-only detectors, optimal incoherent transfer matrices for Shannon and Fisher objectives are permutation matrices, so each source must focus onto a distinct detector.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 2 Pith papers

  1. [1]

    Srlg failure localization in optical networks.IEEE/ACM Transactions on Networking, 19(4):989–999, 2011

    Satyajeet S Ahuja, Srinivasan Ramasubramanian, and Marwan Krunz. Srlg failure localization in optical networks.IEEE/ACM Transactions on Networking, 19(4):989–999, 2011

  2. [2]

    OUP Oxford, 2007

    Anthony Atkinson, Alexander Donev, and Randall Tobias.Optimum experimental designs, with SAS, volume 34. OUP Oxford, 2007

  3. [3]

    Algorithms for network topology discovery using end-to-end measurements

    Laurent Bobelin and Traian Muntean. Algorithms for network topology discovery using end-to-end measurements. In2008 International Symposium on Parallel and Distributed Computing, pages 267–

  4. [4]

    The convergence of a class of double-rank minimization algorithms 1

    Charles George Broyden. The convergence of a class of double-rank minimization algorithms 1. general considerations.IMA Journal of Applied Mathematics, 6(1):76–90, 1970

  5. [5]

    Network tomography on general topolo- gies.ACM SIGMETRICS Performance Evaluation Review, 30(1):21–30, 2002

    Tian Bu, Nick Duffield, Francesco Lo Presti, and Don Towsley. Network tomography on general topolo- gies.ACM SIGMETRICS Performance Evaluation Review, 30(1):21–30, 2002

  6. [6]

    Simple network management protocol (SNMP)

    Jeffrey D Case, Mark Fedor, Martin L Schoffstall, and James Davin. Simple network management protocol (SNMP). Technical report, 1989

  7. [7]

    Network Tomography: Recent Developments.Statistical Science, 19(3):499 – 517, 2004

    Rui Castro, Mark Coates, Gang Liang, Robert Nowak, and Bin Yu. Network Tomography: Recent Developments.Statistical Science, 19(3):499 – 517, 2004

  8. [8]

    Network health and e-science in commercial clouds

    Ryan Chard, Kris Bubendorfer, and Bryan Ng. Network health and e-science in commercial clouds. Future Generation Computer Systems, 56:595–604, 2016

  9. [9]

    Network tomography for internal delay estimation

    Mark J Coates and Robert D Nowak. Network tomography for internal delay estimation. In2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No. 01CH37221), volume 6, pages 3409–3412. IEEE, 2001

  10. [10]

    MIT press, 2022

    Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein.Introduction to algorithms. MIT press, 2022

  11. [11]

    Parameter orthogonality and approximate conditional inference

    David Roxbee Cox and Nancy Reid. Parameter orthogonality and approximate conditional inference. Journal of the Royal Statistical Society: Series B (Methodological), 49(1):1–18, 1987

  12. [12]

    Quantum network tomography.IEEE Network, 38(5):114–122, 2024

    Matheus Guedes De Andrade, Jake Navas, Saikat Guha, In` es Monta˜ no, Michael Raymer, Brian Smith, and Don Towsley. Quantum network tomography.IEEE Network, 38(5):114–122, 2024

  13. [13]

    Efficient and reliable network tomography in hetero- geneous networks using bittorrent broadcasts and clustering algorithms

    Kiril Dichev, Fergal Reid, and Alexey Lastovetsky. Efficient and reliable network tomography in hetero- geneous networks using bittorrent broadcasts and clustering algorithms. InSC’12: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, pages 1–11. IEEE, 2012

  14. [14]

    Network tomography from measured end-to-end delay covariance

    Nick G Duffield and F Lo Presti. Network tomography from measured end-to-end delay covariance. IEEE/ACM Transactions On Networking, 12(6):978–992, 2004

  15. [15]

    A new approach to variable metric algorithms.The computer journal, 13(3):317–322, 1970

    Roger Fletcher. A new approach to variable metric algorithms.The computer journal, 13(3):317–322, 1970

  16. [16]

    Resource allocation via graph neural networks in free space optical fronthaul networks

    Zhan Gao, Mark Eisen, and Alejandro Ribeiro. Resource allocation via graph neural networks in free space optical fronthaul networks. InGLOBECOM 2020-2020 IEEE Global Communications Conference, pages 1–6. IEEE, 2020

  17. [17]

    Multiparameter squeezing for optimal quantum enhancements in sensor networks.Nature communications, 11(1):3817, 2020

    Manuel Gessner, Augusto Smerzi, and Luca Pezz` e. Multiparameter squeezing for optimal quantum enhancements in sensor networks.Nature communications, 11(1):3817, 2020. 18

  18. [18]

    Netscope: Prac- tical network loss tomography

    Denisa Ghita, Hung Nguyen, Maciej Kurant, Katerina Argyraki, and Patrick Thiran. Netscope: Prac- tical network loss tomography. In2010 Proceedings IEEE INFOCOM, pages 1–9. IEEE, 2010

  19. [19]

    A family of variable-metric methods derived by variational means.Mathematics of computation, 24(109):23–26, 1970

    Donald Goldfarb. A family of variable-metric methods derived by variational means.Mathematics of computation, 24(109):23–26, 1970

  20. [20]

    Quantum-enhanced quickest change detection of transmission loss.Physical Review Letters, 135(21):210801, 2025

    Saikat Guha, Tiju Cherian John, Zihao Gong, and Prithwish Basu. Quantum-enhanced quickest change detection of transmission loss.Physical Review Letters, 135(21):210801, 2025

  21. [21]

    Non- adaptive fault diagnosis for all-optical networks via combinatorial group testing on graphs

    Nicholas JA Harvey, Mihai Patrascu, Yonggang Wen, Sergey Yekhanin, and Vincent WS Chan. Non- adaptive fault diagnosis for all-optical networks via combinatorial group testing on graphs. InIEEE INFOCOM 2007-26th IEEE International Conference on Computer Communications, pages 697–705. IEEE, 2007

  22. [22]

    Fisher information-based experiment design for network tomography.ACM SIGMETRICS Performance Evaluation Review, 43(1):389–402, 2015

    Ting He, Chang Liu, Ananthram Swami, Don Towsley, Theodoros Salonidis, Andrei Iu Bejan, and Paul Yu. Fisher information-based experiment design for network tomography.ACM SIGMETRICS Performance Evaluation Review, 43(1):389–402, 2015

  23. [23]

    Cambridge University Press, 2021

    Ting He, Liang Ma, Ananthram Swami, and Don Towsley.Network tomography: identifiability, mea- surement design, and network state inference. Cambridge University Press, 2021

  24. [24]

    Growing AWS internet peering with 400 GbE, 2023.������������������������������������������������������������� ������������������������������������������

    Fredrik Korsb¨ ack, Lincoln Dale, and Dave McGaugh. Growing AWS internet peering with 400 GbE, 2023.������������������������������������������������������������� ������������������������������������������

  25. [25]

    Link budget analysis for free-space optical satellite networks

    Jintao Liang, Aizaz U Chaudhry, Eylem Erdogan, and Halim Yanikomeroglu. Link budget analysis for free-space optical satellite networks. In2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), pages 471–476. IEEE, 2022

  26. [26]

    Hybrid classical-quantum communication networks

    Joseph M Lukens, Nicholas A Peters, and Bing Qi. Hybrid classical-quantum communication networks. Progress in Quantum Electronics, page 100586, 2025

  27. [27]

    Efficient identification of addi- tive link metrics via network tomography

    Liang Ma, Ting He, Kin K Leung, Don Towsley, and Ananthram Swami. Efficient identification of addi- tive link metrics via network tomography. In2013 IEEE 33rd International Conference on Distributed Computing Systems, pages 581–590. IEEE, 2013

  28. [28]

    Stephen Nellis. Cisco and qunnect build quantum network using new york fiber optic cables.����������������������������������������������� ���������������������������������������������������������������������������������, February 2026. Accessed: 2026-04-17

  29. [29]

    Multiparameter gaussian quantum metrology.Physical Review A, 98(1):012114, 2018

    Rosanna Nichols, Pietro Liuzzo-Scorpo, Paul A Knott, and Gerardo Adesso. Multiparameter gaussian quantum metrology.Physical Review A, 98(1):012114, 2018

  30. [30]

    Springer, 2006

    Jorge Nocedal and Stephen J Wright.Numerical optimization. Springer, 2006

  31. [31]

    Jupiter evolving: transforming google’s datacenter network via optical circuit switches and software-defined networking

    Leon Poutievski, Omid Mashayekhi, Joon Ong, Arjun Singh, Mukarram Tariq, Rui Wang, Jianan Zhang, Virginia Beauregard, Patrick Conner, Steve Gribble, et al. Jupiter evolving: transforming google’s datacenter network via optical circuit switches and software-defined networking. InProceedings of the ACM SIGCOMM 2022 Conference, pages 66–85, 2022

  32. [32]

    Conditioning of quasi-newton methods for function minimization.Mathematics of computation, 24(111):647–656, 1970

    David F Shanno. Conditioning of quasi-newton methods for function minimization.Mathematics of computation, 24(111):647–656, 1970

  33. [33]

    Adjustment of an inverse matrix corresponding to a change in one element of a given matrix.The Annals of Mathematical Statistics, 21(1):124–127, 1950

    Jack Sherman and Winifred J Morrison. Adjustment of an inverse matrix corresponding to a change in one element of a given matrix.The Annals of Mathematical Statistics, 21(1):124–127, 1950. 19

  34. [34]

    Passive network tomography using em algorithms

    Yolanda Tsang, Mark Coates, and Robert Nowak. Passive network tomography using em algorithms. In2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No. 01CH37221), volume 3, pages 1469–1472. IEEE, 2001

  35. [35]

    Network delay tomography.IEEE Transactions on Signal Processing, 51(8):2125–2136, 2003

    Yolanda Tsang, Mark Coates, and Robert D Nowak. Network delay tomography.IEEE Transactions on Signal Processing, 51(8):2125–2136, 2003

  36. [36]

    Network tomography: Estimating source-destination traffic intensities from link data

    Yehuda Vardi. Network tomography: Estimating source-destination traffic intensities from link data. Journal of the American statistical association, 91(433):365–377, 1996

  37. [37]

    Lukas Velush. Boosting our connectivity with our own next-generation optical network, 2023.������������������������������������������� �����������������������������������������������������������������������

  38. [38]

    Quantum network tomography for general topology with spam errors.arXiv preprint arXiv:2511.01074, 2025

    Xuchuang Wang, Matheus Guedes De Andrade, Guus Avis, Yu-Zhen Janice Chen, Mohammad Hajies- maili, and Don Towsley. Quantum network tomography for general topology with spam errors.arXiv preprint arXiv:2511.01074, 2025

  39. [39]

    Estimating network loss rates using active tomog- raphy.Journal of the American Statistical Association, 101(476):1430–1448, 2006

    Bowei Xi, George Michailidis, and Vijayan N Nair. Estimating network loss rates using active tomog- raphy.Journal of the American Statistical Association, 101(476):1430–1448, 2006

  40. [40]

    Towards unbiased end-to-end network diagnosis.IEEE/ACM Transactions on Networking, 17(6):1724–1737, 2009

    Yao Zhao, Yan Chen, and David Bindel. Towards unbiased end-to-end network diagnosis.IEEE/ACM Transactions on Networking, 17(6):1724–1737, 2009

  41. [41]

    A quantum speedup in localizing transmission loss change in optical networks

    Yufei Zheng, Yu-Zhen Janice Chen, Prithwish Basu, and Don Towsley. A quantum speedup in localizing transmission loss change in optical networks. In2025 IEEE International Conference on Quantum Computing and Engineering (QCE), volume 1, pages 958–968. IEEE, 2025. 20 (a) det(� s�s)�det(� e�s) wrtη 1 andη 2. (b) Tr(� �1 e�s )�Tr(� �1 s�s ) wrtη 1 andη 2. Fig...