REVIEW 2 major objections 5 minor 30 references
Capacity of the Binary Energy Harvesting Channel
T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read For the noiseless binary energy-harvesting channel, the paper proves that capacity can be computed to any desired precision by solving two convex optimization problems whose gap vanishes as $1/N$.
desk verdict This paper gives the first computable capacity bounds for the binary energy harvesting channel, and the convergence proof holds up under scrutiny; send it to review. 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 object is the Q-graph: a directed graph with $N+1$ nodes, node $q$ recording 'q consecutive zeros have been sent since the last 1'. Each node has outgoing edges labeled by the transmitted symbol $X=0$ or $X=1$, and the graph's transitions define the auxiliary variable $Q$ in the single-letter bounds. The lower bound uses the graph where the $X=0$ edge from node $N$ returns to node $0$; the upper bound uses the graph where that edge self-loops at node $N$, which makes the capacity of a modified 'boosted' channel that dominates the original. The auxiliary random variable $U(Q=q)=\{0,\dots,q\}$ encodes the time since the encoder last attempted a $1$, and the strategy $f(U^+,S)=S\cdot\mathbf{1}\{U^+=0\}$ sends a $1$ only when the battery is full and the policy chooses $U^+=0$. The machinery turns the capacity problem into two finite-dimensional convex programs with $O(N^2)$ linear constraints, whose objectives are conditional mutual informations $I(U^+,U;X|Q)$.
What would settle it
Run the convex programs (26) and (28) for $\eta=0.05$ at $N=10{,}000$ and check whether the gap exceeds $\max_p H(p)/(Np+1) \approx 10^{-3}$; a violation, or a direct violation of the monotonicity inequality (62) for any $N$, would refute the claimed $O(1/N)$ convergence.
Extended reading notes
Core claim
The central discovery is that the notoriously hard noiseless binary energy-harvesting channel admits a computable capacity expression in the form of a limit of convex programs. The encoder's battery state is a finite-state channel state known causally to the encoder; the difficulty is that the state process has unbounded memory because a run of zeros can be arbitrarily long. The paper's key move is to truncate that memory to the last $N$ inputs, encoded as a Q-graph with $N+1$ nodes whose transitions track the number of consecutive zeros since the most recent transmitted one. For the lower bound, the last node sends a zero back to node $0$; for the upper bound, that edge becomes a self-loop, which corresponds to a 'boosted' channel where $N$ consecutive zeros guarantee a charged battery and therefore a channel whose capacity is at least the true one. Both bounds are optimized over a finite auxiliary variable $U$ that records how many steps ago the encoder last attempted to send a $1$, and both optimizations are convex. The upper and lower sequences converge to the same limit because the only discrepancy between them is concentrated at the last node, and the stationary probability of that node is at most $1/(Np+1)$ under any optimal policy. Therefore the capacity equals the common limit, and the gap is bounded by $\max_p H(p)/(Np+1) = O(1/N)$.
Load-bearing premise
The proof assumes that in the optimal upper-bound coding distribution, the chance of being in any intermediate node of the tracking graph is never higher than in the matching lower-bound distribution; this monotonicity, justified by a short self-loop argument at the last node, is what makes the gap shrink as $1/N$.
Editorial extensions
If this is right
- For any target accuracy $\epsilon$ and any harvesting probability $\eta$, choosing $N$ large enough (e.g. $N=10{,}000$ guarantees about $10^{-3}$ for all $\eta$) yields computable lower and upper bounds enclosing $C_{\mathrm{BEHC}}$ within $\epsilon$, without needing a closed-form capacity expression.
- The computed values for $\eta \in \{0.1,\dots,0.9\}$ at $10^{-6}$ precision improve on the best previously reported bounds, with the largest gains at small $\eta$.
- The same Q-graph plus MDP machinery gives numerical achievable rates for noisy BEHCs with feedback; for $\eta=1$ the achievable rate for a BSC($p$) equals the ordinary BSC capacity $1-H(p)$.
- The convex formulations are explicit optimization problems (Eqs. 26 and 28) with $O(N^2)$ constraints, so the method is directly reproducible from the paper and the released code.
- Because the gap bound is independent of $\eta$, the method provides a uniform precision guarantee across all harvesting probabilities.
Reading between the lines
- The same truncate-and-squeeze idea could extend to larger finite batteries and non-binary harvest amounts: the state is still a finite automaton whose memory is a run of zeros, so an $N$-node Q-graph with appropriately adjusted edges may give analogous convex bounds, though the cardinality bound on $U$ would need reworking.
- A testable practical consequence is that the achieved precision for small $\eta$ is limited mainly by the $O(N^2)$ constraint-construction cost, so a sparse or iterative solver could push the method to $N \gg 10^4$ and sub-$10^{-6}$ precision cheaply.
- The upper bound's 'boosted channel' construction—forcing a charge after $N$ consecutive zeros—is a general-purpose upper-bounding trick for any channel with a battery that is guaranteed to fill after enough idle slots; identifying such monotonicity in other state-dependent channels could yield computable upper bounds where none exist.
- The equivalence between the auxiliary variable and 'time since last attempted 1' suggests a natural coding interpretation: near-optimal codes on the BEHC are renewal-like, attempting a 1 after a geometrically distributed number of zeros.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the noiseless binary energy harvesting channel (BEHC) with a unit-sized battery and i.i.d. Bernoulli(η) energy arrivals. Its main contribution is a computable characterization of the capacity: a lower bound obtained by specializing the Q-graph lower bound of [26] to an N+1-node Q-graph, and an upper bound obtained from a modified 'boosted' channel that charges the battery after N consecutive zeros. Both bounds are formulated as convex optimization problems (Eqs. (26) and (28)), and the paper proves that the two optimal values converge to the same limit, with a gap bounded by max_p H(p)/(Np+1). Numerical capacities for η ∈ {0.1,...,0.9} are reported to six decimal places in Table I, improving the bounds of [14]. The paper also uses an MDP/value-iteration approach to compute achievable rates for the noisy BEHC with feedback over a binary symmetric channel.
Significance. This is a substantial contribution: it converts the previously uncomputable multi-letter capacity expression for the BEHC into a genuinely computable convex optimization problem, and it supplies the first Q-graph upper bound for this channel, via the boosted-channel construction. The paper is transparent about building on the general Q-graph lower bound of [26], and it provides public MATLAB code for the numerical results. I specifically checked the step flagged in the stress-test note, inequality (62) in Theorem 6: writing the stationary distributions of the two Q-chains in closed form confirms that ̄P*_Q(q) ≤ ̃P_Q(q) for q<N, so the convergence proof's load-bearing inequality is sound. The main weaknesses are an incorrect asymptotic-order statement in the abstract/Remark 2 and a few local proof gaps that are readily fixable; they do not undermine the central claim.
major comments (2)
- [Abstract; Section III (p. 4); Remark 2, Eq. (64)] The paper states that the gap between the bounds vanishes as O(N), and Remark 2 writes ψ(N)=O(N). This is inconsistent with Eq. (61), which gives b_N - a_N ≤ max_p H(p)/(Np+1) =: ψ(N). Since ψ(N) tends to 0 — in fact the current bound gives ψ(N)=O(log N / N), not O(N) — the advertised central claim of a vanishing gap is misstated in all three locations. Please correct the asymptotic notation uniformly.
- [Lemma 4, Section V-A] The induction proving π(S=0|u,q) = ̅η^{u+1} does not explicitly cover the case q=N with u>0. This case is needed because the convex formulation (26) and the policy constraints (24) require π(·|u,N) for every u∈[0:N]. The missing case follows by the same predecessor argument, since (u,N) can only be reached from (u-1,N-1) with X=0, but as written the proof of Theorem 2 is incomplete at this point. Please add the missing induction step.
minor comments (5)
- [Theorem 6, first paragraph] "For the sequence of solutions to the convex optimization problems (28) for the lower bound" should refer to problem (26), not (28), for the lower bound.
- [Theorem 5, Step 3, Section V-B] The passage "we set |̃U(Q=N)|=0" followed immediately by "we set ̃U(Q=N)=[0:N]" is internally inconsistent. The final auxiliary sets (38) are clear, but the proof should explain that the variable ̃U_{i-1} is retained at Q=N only as a dummy for stationarity.
- [Appendix A, proof of Lemma 7] The Markov-chain step in Eq. (66)(b) is delegated to "an identical derivation of [30, Lemma 21]" without reproducing the argument. Since this chain is used in the upper-bound proof, please expand the derivation or state the referenced lemma explicitly.
- [Section V-B, before Lemma 5] The claim C_BEHC < ̅C_BEHC(N) should be relaxed to C_BEHC ≤ ̅C_BEHC(N), since equality can occur in degenerate cases such as η=1; the upper-bound argument only needs the non-strict inequality.
- [Eq. (61), Step (e)] The notation ̄I_{̄P*} is used before being defined; please define it explicitly as the conditional mutual information evaluated under the distribution ̄P*.
Circularity Check
No significant circularity: the lower bound rests on a prior general Q-graph theorem, the upper bound is newly derived from a converse inequality, and the convergence proof compares explicit stationary distributions rather than reusing the target result.
full rationale
The derivation is self-contained apart from genuinely independent prior results. The lower bound invokes Theorem 1, quoted as "[26, Th. 5]" and described as a single-letter Q-graph lower bound on feedback capacity for FSCs with feedback and causal state information. Although [26] shares authors with the present paper, it is a previously published general theorem with its own proof; its assumptions are about arbitrary strongly connected FSCs and do not include the BEHC capacity as an input, so it is independent evidence rather than a definitional loop. The upper bound is new: Theorem 3 and Theorem 4 derive it from the general converse inequality (40), taken from [26, Eq. (42)], and from a constructed "boosted" BEHC(N) whose capacity dominates CBEHC. The O(1/N) convergence claim in Theorem 6 is established by explicitly constructing a lower-bound distribution from the optimal upper-bound distribution and then bounding the gap in (61). The only terse step is inequality (62), which asserts a stationary-distribution ordering between the upper-bound and lower-bound Q-chains. That inequality is not circular: the two chains share all transition probabilities on nodes q<N and differ only at node N, where the upper-bound chain has a self-loop and the lower-bound chain does not; the stationary distributions can be compared directly from the stated transition kernels, and the claimed ordering follows. No parameter is fitted to a subset of capacity data and then renamed a prediction: the numerical values in Table I are outputs of the convex programs (26) and (28), and they are benchmarked against the independent bounds of [14]. The self-citations to [26] and [29] are load-bearing but are established general results that do not reduce to the present claim. Accordingly, no circular step is present, and the appropriate score is 0.
Assumptions & free parameters
assumptions (4)
- standard math General Q-graph lower bound on feedback capacity of FSCs with SI at the encoder (Theorem 1, from [26, Th. 5])
- domain assumption The BEHC is a strongly connected FSC with channel law PS+,Y|X,S as in (3)-(4)
- standard math Feedback does not increase the capacity of a noiseless channel
- domain assumption CVX or an equivalent convex solver returns the global optimum of the formulated convex problems
Cite this review
Pith. "Pith review of Capacity of the Binary Energy Harvesting Channel." pith.science (2026). https://pith.science/paper/AYLV7X4Y
@misc{pith2026250207566,
author = {Pith},
title = {Pith review of: Capacity of the Binary Energy Harvesting Channel},
year = {2026},
howpublished = {\url{https://pith.science/paper/AYLV7X4Y}},
note = {Machine review of arXiv:2502.07566}
}
abstract
The capacity of a channel with an energy-harvesting (EH) encoder and a finite battery remains an open problem, even in the noiseless case. A key instance of this scenario is the binary EH channel (BEHC), where the encoder has a unit-sized battery and binary inputs. Existing capacity expressions for the BEHC are not computable, motivating this work, which determines the capacity to any desired precision via convex optimization. By modeling the system as a finite-state channel with state information known causally at the encoder, we derive single-letter lower and upper bounds using auxiliary directed graphs, termed $Q$-graphs. These $Q$-graphs exhibit a special structure with a finite number of nodes, $N$, enabling the formulation of the bounds as convex optimization problems. As $N$ increases, the bounds tighten and converge to the capacity with a vanishing gap of $O(N)$. For any EH probability parameter $\eta\in \{0.1,0.2, \dots, 0.9\}$, we compute the capacity with a precision of ${1e-6}$, outperforming the best-known bounds in the literature. Finally, we extend this framework to noisy EH channels with feedback, and present numerical achievable rates for the binary symmetric channel using a Markov decision process.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[26]
Finite-state channels with feedback and state known at the encoder,
E. Shemuel, O. Sabag, and H. H. Permuter, “Finite-state channels with feedback and state known at the encoder,” IEEE Trans. Inf. Theory , vol. 70, no. 3, pp. 1610–1628, Mar. 2024
work page 2024
-
[14]
The binary energy harvesting channel with a unit-s ized battery,
——, “The binary energy harvesting channel with a unit-s ized battery,” IEEE Trans. Inf. Theory , vol. 63, no. 7, pp. 4240–4256, Jul. 2017
work page 2017
-
[1]
Optimal energy management policies for energy harvesting sensor nodes,
V . Sharma, U. Mukherji, V . Joseph, and S. Gupta, “Optimal energy management policies for energy harvesting sensor nodes,” IEEE Trans. Wireless Commun., vol. 9, no. 4, pp. 1326–1336, Apr. 2010
work page 2010
-
[2]
O. Ozel, J. Y ang, and S. Ulukus, “Optimal broadcast sched uling for an energy harvesting rechargeable transmitter with a finite ca pacity battery,” IEEE Trans. on Wireless Comm. , vol. 11, no. 6, pp. 2193–2203, Jun. 2012
work page 2012
-
[3]
Optimal packet scheduling in an en ergy harvesting communication system,
J. Y ang and S. Ulukus, “Optimal packet scheduling in an en ergy harvesting communication system,” IEEE Trans. Commun. , vol. 60, no. 1, pp. 220–230, Mar. 2012
work page 2012
-
[4]
Broadcasting with an ene rgy harvest- ing rechargeable transmitter,
J. Y ang, O. Ozel, and S. Ulukus, “Broadcasting with an ene rgy harvest- ing rechargeable transmitter,” IEEE Trans. on Wireless Comm. , vol. 11, no. 2, pp. 571–583, Feb. 2012
work page 2012
-
[5]
AWGN channel under time-varying a mplitude constraints with causal information at the transmitter,
O. Ozel and S. Ulukus, “AWGN channel under time-varying a mplitude constraints with causal information at the transmitter,” i n ASILOMAR, Nov. 2011, pp. 373–377
work page 2011
-
[6]
Achieving AWGN capacity under stochastic energy ha rvesting,
——, “Achieving AWGN capacity under stochastic energy ha rvesting,” IEEE Trans. Inf. Theory , vol. 58, no. 10, pp. 6471–6483, Oct. 2012
work page 2012
Show all 30 references
-
[7]
Optimum transmission poli cies for battery limited energy harvesting nodes,
K. Tutuncuoglu and A. Y ener, “Optimum transmission poli cies for battery limited energy harvesting nodes,” IEEE Trans. on Wireless Comm., vol. 11, no. 3, pp. 1180–1189, 2012
2012
-
[8]
Capacity analysis of discrete ene rgy harvesting channels,
W. Mao and B. Hassibi, “Capacity analysis of discrete ene rgy harvesting channels,” IEEE Trans. Inf. Theory , vol. 63, no. 9, pp. 5850–5885, Sep. 2017
2017
-
[9]
An energy harvesting AWGN chan nel with a finite battery,
V . Jog and V . Anantharam, “An energy harvesting AWGN chan nel with a finite battery,” in 2014 IEEE Int. Symp. Inf. Theory (ISIT) . IEEE, Jul. 2014, pp. 806–810
2014
-
[10]
Near optimal energy co ntrol and approximate capacity of energy harvesting communicati on,
Y . Dong, F. Farnia, and A. Özgür, “Near optimal energy co ntrol and approximate capacity of energy harvesting communicati on,” IEEE Journal on Selected Areas in Communications , vol. 33, no. 3, pp. 540– 557, Mar. 2015
2015
-
[11]
Capacity of the e nergy- harvesting channel with a finite battery,
D. Shaviv, P .-M. Nguyen, and A. Özgür, “Capacity of the e nergy- harvesting channel with a finite battery,” IEEE Trans. Inf. Theory , vol. 62, no. 11, pp. 6436–6458, Nov. 2016
2016
-
[12]
Binar y energy harvesting channel with finite energy storage,
K. Tutuncuoglu, O. Ozel, A. Y ener, and S. Ulukus, “Binar y energy harvesting channel with finite energy storage,” in 2013 IEEE Int. Symp. Inf. Theory (ISIT) . IEEE, Jul. 2013, pp. 1591–1595
2013
-
[13]
Improved capacity bounds for the binary energy har vesting channel,
——, “Improved capacity bounds for the binary energy har vesting channel,” in 2014 IEEE Int. Symp. Inf. Theory (ISIT) . IEEE, Jul. 2014, pp. 976–980
2014
-
[15]
RF energy harvesting and transport for wireless sensor network applications: Principles and r equirements,
H. J. Visser and R. J. Vullers, “RF energy harvesting and transport for wireless sensor network applications: Principles and r equirements,” Proceedings of the IEEE , vol. 101, no. 6, pp. 1410–1423, Apr. 2013
2013
-
[16]
An experimental study of ultra- low power wireless sensor-based autonomous energy harvest ing system,
Y . Ma, Q. Ji, S. Chen, and G. Song, “An experimental study of ultra- low power wireless sensor-based autonomous energy harvest ing system,” Journal of Renewable and Sustainable Energy , vol. 9, no. 5, Oct. 2017
2017
-
[17]
En ergy harvesting UA V -RIS-assisted maritime communications bas ed on deep reinforcement learning against jamming,
H. Y ang, K. Lin, L. Xiao, Y . Zhao, Z. Xiong, and Z. Han, “En ergy harvesting UA V -RIS-assisted maritime communications bas ed on deep reinforcement learning against jamming,” IEEE Trans. Wireless Com- mun., vol. 23, no. 8, pp. 9854–9868, Aug. 2024
2024
-
[18]
Energy efficient UA V com- munication with energy harvesting,
Z. Y ang, W. Xu, and M. Shikh-Bahaei, “Energy efficient UA V com- munication with energy harvesting,” IEEE Trans. V ehicular Technology, vol. 69, no. 2, pp. 1913–1927, Feb. 2020
1913
-
[19]
A general formula for channel capac ity,
S. V erdú and F. Han, “A general formula for channel capac ity,” IEEE. Trans. Inf. Theory , vol. 40, pp. 1147–1157, Jul. 1994
1994
-
[20]
Channels with side information at the tr ansmitter,
C. E. Shannon, “Channels with side information at the tr ansmitter,” IBM journal of Research and Development , vol. 2, no. 4, pp. 289–293, Oct. 1958
1958
-
[21]
Interact ive joint transfer of energy and information,
P . Popovski, A. M. Fouladgar, and O. Simeone, “Interact ive joint transfer of energy and information,” IEEE Trans. Commun. , vol. 61, no. 5, pp. 2086–2097, May 2013
2013
-
[22]
Bits through queues,
V . Anantharam and S. V erdu, “Bits through queues,” IEEE Trans. Inf. Theory, vol. 42, no. 1, pp. 4–18, 1996
1996
-
[23]
Entropy and the timing ca pacity of discrete queues,
B. Prabhakar and R. Gallager, “Entropy and the timing ca pacity of discrete queues,” IEEE Trans. Inf. Theory , vol. 49, no. 2, pp. 357–370, Feb. 2003
2003
-
[24]
The information-theoreti c capacity of discrete-time queues,
A. Bedekar and M. Azizoglu, “The information-theoreti c capacity of discrete-time queues,” IEEE Trans. Inf. Theory , vol. 44, no. 2, pp. 446– 461, Mar. 1998
1998
-
[25]
Bits through buff erless queues,
M. Tavan, R. D. Y ates, and W. U. Bajwa, “Bits through buff erless queues,” in 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton) , Oct. 2013, pp. 755–762
2013
-
[27]
A single-let ter upper bound on the feedback capacity of unifilar finite-state channels,
O. Sabag, H. H. Permuter, and H. D. Pfister, “A single-let ter upper bound on the feedback capacity of unifilar finite-state channels,” IEEE Trans. Inf. Theory , vol. 63, no. 3, pp. 1392–1409, Mar. 2017
2017
-
[28]
Capacity of the trapdoor channel with feedback,
H. H. Permuter, P . W. Cuff, B. V an-Roy, and T. Weissman, “ Capacity of the trapdoor channel with feedback,” IEEE Trans. Inf. Theory , vol. 54, pp. 3150–3165, 2008
2008
-
[29]
The feedback c apacity of Noisy Output is the STate (NOST) channels,
E. Shemuel, O. Sabag, and H. H. Permuter, “The feedback c apacity of Noisy Output is the STate (NOST) channels,” IEEE Trans. Inf. Theory , vol. 68, no. 8, pp. 5044–5059, Aug. 2022
2022
-
[30]
Finit e state channels with time-invariant deterministic feedback,
H. H. Permuter, T. Weissman, and A. J. Goldsmith, “Finit e state channels with time-invariant deterministic feedback,” IEEE Trans. Inf. Theory , vol. 55, no. 2, pp. 644–662, Feb. 2009
2009
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.