Dice Question Streamline Icon: https://streamlinehq.com

Close the augmentation gap for price-based algorithms (log vs. double-log in value range)

Determine whether there exists a price-based online scheduling algorithm for transactions with per‑unit values in the range [1, H] that guarantees a constant fraction of the optimal social welfare under an average block size limit B using augmentation whose total amount Δ+Γ grows only as O(log log H), for example by constructing a useful variant of the EIP-1559 price update that achieves such double‑logarithmic growth in Δ+Γ.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper proves that any price-based algorithm that achieves a constant fraction of the optimal welfare must have augmentation (the sum of slackness Δ and extension Γ) that grows at least as Ω(log log H) in the value range H. However, their positive results for EIP-1559 require augmentation that is O(log H), leaving an exponential gap between the lower and upper bounds.

The authors explicitly note that closing this gap is open and highlight the specific possibility of designing a variant of EIP-1559 whose augmentation grows only double‑logarithmically in H, while still obtaining a constant-factor welfare guarantee against the clairvoyant optimum with worst-case block size B.

References

Note that there is an exponential gap between our lower bound (which grows at rate Ω(log log H)) and the upper bound (that is only singly-logarithmic in the per-unit value range). While we do show that the EIP-1559 algorithm may indeed require such a singly-logarithmic additional number of blocks in order to compete with the optimum, closing the gap for general price-based algorithms remains open. Especially intriguing is the possibility of designing a useful "variant" of EIP-1559 with Δ+Γ that only grows in a rate double-logarithmic in the per-unit value range.

On the Welfare of EIP-1559 with Patient Bidders (2502.20031 - Babaioff et al., 27 Feb 2025) in Subsection 'Dependence on Range of per-unit Values', Section 'Lower Bounds'