Exponential bound on optimal tea-sharing sequence length

Question 6.1 · arXiv:2405.15353

arXiv Question high confidence— first stated 2025-09-22

Authors: J. Pascal Gollin, Kevin Hendrey, Hao Huang, Tony Huynh, Bojan Mohar, Sang-il Oum, Ningyuan Yang, Wei-Hsuan Yu, Xuding Zhu

Status open high confidence

Question 6.1 from arXiv:2405.15353 asks whether every finite graph G, weight vector w in R_>=0^{V(G)}, and vertex v in V(G) admit a (w,v)-optimal sequence of length at most 2^{|V(G)|}. The source paper proves that a finite optimal sequence always exists but leaves the sharp exponential upper bound open. Proposition 6.2 of the same paper shows that a natural approach—finding an optimal sequence with no move that is a subset of a later move—fails, indicating the problem is nontrivial. A wide web search covering the arXiv ID, all authors, and the key mathematical terms returned no follow-up paper resolving or making partial progress on this question.

Reviewer notes. No follow-up found after 5 web calls (4 WebSearch + 1 WebFetch on the arXiv abstract page). The paper appeared on arXiv in May 2024 (v1) and was revised to v2 in September 2025; Question 6.1 is stated in the v2 text. The conjecture is recent (< 2 years from today) and the absence of a follow-up is expected. Status open with high confidence.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Question. For every finite graph $G$, every ${w\in\mathbb{R}_{\geq 0}^{V(G)}}$, and every ${v\in V(G)}$, is there always a ${(w,v)}$-optimal sequence whose length is at most $2^{{\left\lvert{V(G)}\right\rvert}}$?

Context

The authors prove that for finite graphs the maximum amount of tea at any vertex $v$ can always be achieved after a finite number of sharing moves, but the sharp upper bound on the length of a shortest optimal sequence is unknown. One natural approach—showing that an optimal sequence need not repeat any sharing move—is complicated by Proposition 6.2, which shows that there need not exist an optimal sequence in which no move is a subset of a later move.

Source paper

Sharing tea on a graph
J. Pascal Gollin, Kevin Hendrey, Hao Huang, Tony Huynh, Bojan Mohar, Sang-il Oum, Ningyuan Yang, Wei-Hsuan Yu, Xuding Zhu · 2025-09-22
https://arxiv.org/abs/2405.15353