Recognition: no theorem link
Streaming Complexity Separations for Dense and Sparse Graphs
Pith reviewed 2026-05-12 02:24 UTC · model grok-4.3
The pith
Streaming max-cut requires linear space to output an approximate cut in dense graphs but an extra log factor in sparser graphs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We identify a sharp separation in the streaming space complexity of Maximum Cut when the algorithm must output an approximate cut rather than only the approximate value. For dense graphs, O(n/ε²) space is sufficient and Ω(n) space is necessary. In contrast, for graphs with Θ(n/ε²) edges, the problem requires Ω(n log(ε² n)/ε²) space for any ε=ω(1/√n), which is tight. Using similar techniques we prove an analogous sharp separation in the streaming space complexity of Densest Subgraph and show that for every constant-arity CSP over a constant-size alphabet and the Similarity problem the space complexity in dense streams can be improved by shaving a logarithmic factor.
What carries the argument
The distinction between dense graphs and graphs with Θ(n/ε²) edges in the one-pass streaming model, established via communication complexity reductions that force retention of enough information to output the cut in sparse cases while permitting linear-space sampling or compression in dense cases.
If this is right
- Dense graphs admit O(n/ε²)-space streaming algorithms that output an approximate max-cut.
- Graphs with Θ(n/ε²) edges require Ω(n log(ε² n)/ε²) space to output such a cut, and the bound is tight for ε=ω(1/√n).
- The same density separation applies to densest subgraph.
- Deterministic streaming algorithms need Ω(n log n/ε²) space even to approximate the value of the maximum cut.
Where Pith is reading between the lines
- The explicit requirement to output the cut (instead of its value) is what drives the linear lower bound even for dense instances.
- The logarithmic gap may vanish if the model is relaxed to multiple passes over the stream.
- The same density-dependent technique may produce analogous separations for other output-sensitive graph problems such as clustering or flow.
Load-bearing premise
The lower bounds depend on the algorithm having to output the approximate cut itself rather than only its value, in a single pass over a random-order or adversarial stream.
What would settle it
A one-pass streaming algorithm that outputs a (1-ε) approximate max-cut using o(n) space on a dense graph or o(n log(ε² n)/ε²) space on a graph with Θ(n/ε²) edges when ε=ω(1/√n) would disprove the claimed space lower bounds.
Figures
read the original abstract
We identify a sharp separation in the streaming space complexity of Maximum Cut when the algorithm must output an approximate cut (rather than only the approximate value). For dense graphs, we show that $O(n/\varepsilon^2)$ space is sufficient and that $\Omega(n)$ space is necessary. In contrast, for graphs with $\Theta(n/\varepsilon^2)$ edges, the situation is markedly different: we show that the problem requires $\Omega(n \log(\varepsilon^2 n)/\varepsilon^2)$ space for any $\varepsilon=\omega(1/\sqrt{n})$, which is tight for the full range of $\varepsilon$. We also give an $\Omega(n \log n/\varepsilon^2)$-space lower bound against deterministic algorithms for outputting a $(1-\varepsilon)$ approximation to the value of the maximum cut. Using similar techniques we prove an analogous sharp separation in the streaming space complexity of Densest Subgraph and show that for every constant-arity CSP over a constant-size alphabet and the Similarity problem the space complexity in dense streams can be improved by shaving a logarithmic factor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper identifies sharp separations in the streaming space complexity of Maximum Cut when the algorithm must output an approximate cut (rather than only its value). For dense graphs, O(n/ε²) space suffices via a vertex-sampling sketch while Ω(n) space is necessary due to output size. For graphs with Θ(n/ε²) edges, an Ω(n log(ε² n)/ε²) lower bound holds for ε=ω(1/√n) via a communication-complexity reduction that forces resolution among many possible sparse cuts, and the bounds are claimed to be tight across the regime. Analogous separations are shown for Densest Subgraph, with logarithmic-factor improvements noted for constant-arity CSPs and Similarity in dense streams. A separate Ω(n log n/ε²) deterministic lower bound is given for approximating the max-cut value.
Significance. If the results hold, the work provides a clear demonstration that requiring the algorithm to output the cut (as opposed to the value) creates qualitatively different space requirements in dense versus sparse regimes. The matching upper and lower bounds, obtained via standard vertex sampling for upper bounds and communication-complexity reductions for lower bounds, constitute a solid technical contribution to streaming graph algorithms. The extensions to Densest Subgraph and other problems broaden the applicability of the separation technique.
major comments (1)
- [Abstract] Abstract: The claim that the Ω(n log(ε² n)/ε²) lower bound is tight for the full range of ε requires an explicit matching O(n log(ε² n)/ε²) upper-bound construction for the Θ(n/ε²)-edge case; without seeing the precise statement of this upper bound (likely in the sparse-graph section), it is unclear whether the logarithmic factor is achieved uniformly or only asymptotically outside the ε=ω(1/√n) window.
minor comments (2)
- [Abstract] The deterministic Ω(n log n/ε²) lower bound for value approximation is stated in the abstract without indicating whether it applies to the dense or sparse setting; a one-sentence clarification would help readers distinguish it from the main output-cut results.
- The notation Θ(n/ε²) for the sparse regime should be accompanied by a brief remark on how the hidden constants interact with the ε=ω(1/√n) condition to ensure the log factor is forced.
Simulated Author's Rebuttal
We thank the referee for the positive recommendation and careful reading of the manuscript. The observation about the abstract's tightness claim is well-taken, and we address it directly below.
read point-by-point responses
-
Referee: [Abstract] Abstract: The claim that the Ω(n log(ε² n)/ε²) lower bound is tight for the full range of ε requires an explicit matching O(n log(ε² n)/ε²) upper-bound construction for the Θ(n/ε²)-edge case; without seeing the precise statement of this upper bound (likely in the sparse-graph section), it is unclear whether the logarithmic factor is achieved uniformly or only asymptotically outside the ε=ω(1/√n) window.
Authors: We thank the referee for highlighting this point. Section 4.2 of the manuscript presents an explicit O(n log(ε² n)/ε²)-space streaming algorithm for outputting a (1-ε)-approximate cut on graphs with Θ(n/ε²) edges. The construction combines vertex sampling with a logarithmic-factor sketch to handle the resolution of sparse cut edges, and it holds uniformly for all ε = ω(1/√n). We will revise the abstract to explicitly reference this upper-bound construction and its section, making the tightness claim clearer. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper's upper bounds are obtained via explicit constructions such as vertex-sampling sketches that reconstruct an approximate cut, while lower bounds are derived from reductions to external communication-complexity problems (e.g., indexing or set-disjointness) whose hardness is independent of the present results. The Ω(n) lower bound for dense graphs follows directly from the output-size requirement to specify a partition, and the extra log(ε² n) factor for sparse graphs is forced by the entropy of the cut space in the reduction; neither relies on self-citation chains, fitted parameters renamed as predictions, or ansatzes smuggled from prior author work. The claimed separations are therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard one-pass streaming model with limited memory and single pass over edge stream
- standard math Communication complexity lower bounds transfer to streaming via standard reductions
Reference graph
Works this paper leans on
-
[1]
Jaroslaw Blasiok , editor =. Optimal. Proceedings of the Twenty-Ninth Annual. 2018 , url =. doi:10.1137/1.9781611975031.156 , timestamp =
-
[3]
Cohen, Edith and Datar, Mayur and Fujiwara, Shinji and Gionis, Aristides and Indyk, Piotr and Motwani, Rajeev and Ullman, Jeffrey D. and Yang, Cheng , title =. IEEE Trans. on Knowl. and Data Eng. , month = jan, pages =. 2001 , issue_date =. doi:10.1109/69.908981 , abstract =
-
[4]
Identifying and Filtering Near-Duplicate Documents
Broder, Andrei Z. Identifying and Filtering Near-Duplicate Documents. Combinatorial Pattern Matching. 2000
work page 2000
-
[5]
Size-Estimation Framework with Applications to Transitive Closure and Reachability , journal =
Edith Cohen , abstract =. Size-Estimation Framework with Applications to Transitive Closure and Reachability , journal =. 1997 , issn =. doi:https://doi.org/10.1006/jcss.1997.1534 , url =
-
[6]
d - k -min-wise Independent Family of Hash Functions , journal =
Guy Feigenblat and Ely Porat and Ariel Shiftan , keywords =. d - k -min-wise Independent Family of Hash Functions , journal =. 2017 , issn =. doi:https://doi.org/10.1016/j.jcss.2016.09.005 , url =
-
[7]
Estimating Rarity and Similarity over Data Stream Windows
Datar, Mayur and Muthukrishnan, S. Estimating Rarity and Similarity over Data Stream Windows. Algorithms --- ESA 2002. 2002
work page 2002
-
[8]
Space-Optimal Profile Estimation in Data Streams with Applications to Symmetric Functions , author=. 2023 , eprint=
work page 2023
-
[9]
Cormode, Graham and Muthukrishnan, Senthilmurugan and Rozenbaum, Irina , year =
-
[10]
Karamcheti, Vijay and Geiger, Davi and Kedem, Zvi and Muthukrishnan, S. , title =. Proceedings of the 2005 ACM SIGCOMM Workshop on Mining Network Data , pages =. 2005 , isbn =. doi:10.1145/1080173.1080176 , abstract =
-
[11]
Buriol, Luciana and Leonardi, Stefano and Donato, Debora and Matzner, Tobias , year =
-
[12]
Truly Perfect Samplers for Data Streams and Sliding Windows , author=. 2021 , eprint=
work page 2021
-
[13]
Cohen, Edith , title =. Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , pages =. 2015 , isbn =. doi:10.1145/2783258.2783279 , abstract =
-
[14]
The Space Complexity of Approximating the Frequency Moments , journal =
Noga Alon and Yossi Matias and Mario Szegedy , abstract =. The Space Complexity of Approximating the Frequency Moments , journal =. 1999 , issn =. doi:https://doi.org/10.1006/jcss.1997.1545 , url =
-
[15]
Probabilistic Counting Algorithms for Data Base Applications , journal =
Philippe Flajolet and G. Probabilistic Counting Algorithms for Data Base Applications , journal =. 1985 , issn =. doi:https://doi.org/10.1016/0022-0000(85)90041-8 , url =
-
[16]
Tight Bounds for Lp Samplers, Finding Duplicates in Streams, and Related Problems , author=. 2010 , eprint=
work page 2010
- [17]
-
[18]
Fernandez, prefix=de la, useprefix=true and Kannan, Ravi and Karpinski, Marek , date =
Alon, Noga and family=Vega, given=W. Fernandez, prefix=de la, useprefix=true and Kannan, Ravi and Karpinski, Marek , date =. Random Sampling and Approximation of. doi:10.1016/S0022-0000(03)00008-4 , note =
-
[19]
Ahn, Kook Jin and Guha, Sudipto , editor =. Graph. Automata,. doi:10.1007/978-3-642-02930-1_27 , eventdate =
-
[20]
doi:10.1006/jcss.1998.1605 , title =
Arora, Sanjeev and Karger, David and Karpinski, Marek , date =. doi:10.1006/jcss.1998.1605 , title =
-
[21]
doi:10.1007/s00778-013-0340-z , url =
Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-Time Story Identification , author =. doi:10.1007/s00778-013-0340-z , url =
-
[22]
Monochromatic Triangles, Triangle Listing and
Assadi, Sepehr and Kol, Gillat and Saxena, Raghuvansh R. and Yu, Huacheng , date =. Multi-. 2020. doi:10.1109/FOCS46700.2020.00041 , eventdate =
-
[23]
doi:10.1145/278298.278306 , note =
Proof Verification and the Hardness of Approximation Problems , author =. doi:10.1145/278298.278306 , note =
-
[24]
Alon, Noga , date =. Explicit. doi:10.1007/s00493-020-4429-x , langid =
-
[25]
A framework for dynamic matching in weighted graphs , booktitle =
Assadi, Sepehr and N, Vishvajeet , date =. Graph Streaming Lower Bounds for Parameter Estimation and Property Testing via a Streaming. Proceedings of the 53rd. doi:10.1145/3406325.3451110 , eventdate =
-
[26]
Bhaskara, Aditya and Daruki, Samira and Venkatasubramanian, Suresh , namea =. Sublinear. 45th. doi:10.4230/LIPICS.ICALP.2018.16 , eventdate =
-
[27]
Subsampling Mathematical Relaxations and Average-Case Complexity , booktitle =
Barak, Boaz and Hardt, Moritz and Holenstein, Thomas and Steurer, David , date =. Subsampling Mathematical Relaxations and Average-Case Complexity , booktitle =. doi:10.5555/2133036.2133077 , eventdate =
-
[28]
Bhattacharya, Sayan and Henzinger, Monika and Nanongkai, Danupon and Tsourakakis, Charalampos , date =. Space- and. Proceedings of the. doi:10.1145/2746539.2746592 , eventdate =
-
[29]
On Sketching Approximations for Symmetric
Boyland, Joanna and Hwang, Michael and Prasad, Tarun and Singer, Noah and Velusamy, Santhoshini , editor =. On Sketching Approximations for Symmetric. Approximation,. doi:10.4230/LIPIcs.APPROX/RANDOM.2022.38 , eventdate =
-
[30]
Densest Subgraph in Streaming and
Bahmani, Bahman and Kumar, Ravi and Vassilvitskii, Sergei , date =. Densest Subgraph in Streaming and. Proceedings of the 38th. doi:10.14778/2140436.2140442 , eventdate =
-
[31]
doi:10.1007/BF01180606 , langid =
Zur Verallgemeinerung des Bertrandschen Postulates, daß zwischen x und 2x stets Primzahlen liegen , author =. doi:10.1007/BF01180606 , langid =
-
[32]
Chou, Chi-Ning and Golovnev, Alexander and Sudan, Madhu and Velingker, Ameya and Velusamy, Santhoshini , date =. Linear. Proceedings of the 54th. doi:10.1145/3519935.3519983 , eventdate =
-
[33]
Chou, Chi-Ning and Golovnev, Alexander and Shahrasbi, Amirbehshad and Sudan, Madhu and Velusamy, Santhoshini , editor =. Sketching. Approximation,. doi:10.4230/LIPIcs.APPROX/RANDOM.2022.35 , eventdate =
-
[34]
Chou, Chi-Ning and Golovnev, Alexander and Sudan, Madhu and Velusamy, Santhoshini , date =. Approximability of All. 2102.12351v7 , eprinttype =
-
[35]
Chou, Chi-Ning and Golovnev, Alexander and Sudan, Madhu and Velusamy, Santhoshini , date =. Sketching. doi:10.1145/3649435 , note =
-
[36]
Chou, Chi-Ning and Golovnev, Alexander and Velusamy, Santhoshini , date =. Optimal. 2020. doi:10.1109/FOCS46700.2020.00039 , eventdate =
-
[37]
Charikar, Moses , editor =. Greedy. Approximation. doi:10.1007/3-540-44436-X_10 , eventdate =
-
[38]
Chen, Lijie and Kol, Gillat and Paramonov, Dmitry and Saxena, Raghuvansh and Song, Zhao and Yu, Huacheng , date =. Towards. Proceedings of the 2023. doi:10.1137/1.9781611977554.ch35 , eventdate =
-
[39]
Esfandiari, Hossein and Hajiaghayi, MohammadTaghi and Woodruff, David P. , date =. Brief. Proceedings of the 28th. doi:10.1145/2935764.2935813 , eventdate =
-
[40]
Fernandez de la Vega, W. , date =. doi:10.1002/(SICI)1098-2418(199605)8:3<187::AID-RSA3>3.0.CO;2-U , langid =
-
[41]
Fakcharoenphol, Jittat and Vajanopath, Phanu , date =. 19th. doi:10.1109/JCSSE54890.2022.9836261 , eventdate =
-
[42]
Gallo, Giorgio and Grigoriadis, Michael D. and Tarjan, Robert E. , date =. A
-
[43]
Guruswami, Venkatesan and Kothari, Pravesh K. and Manohar, Peter , date =. Algorithms and. Proceedings of the 54th. doi:10.1145/3519935.3519955 , eventdate =
-
[44]
Guruswami, Venkatesan and Tao, Runzhou , editor =. Streaming. Approximation,. doi:10.4230/LIPIcs.APPROX-RANDOM.2019.5 , eventdate =
-
[45]
Guruswami, Venkatesan and Velingker, Ameya and Velusamy, Santhoshini , editor =. Streaming. Approximation, Randomization, and Combinatorial Optimization. doi:10.4230/LIPIcs.APPROX-RANDOM.2017.8 , eventdate =
-
[46]
Sketching Cuts in Graphs and Hypergraphs , booktitle =
Kogan, Dmitry and Krauthgamer, Robert , date =. Sketching Cuts in Graphs and Hypergraphs , booktitle =. doi:10.1145/2688073.2688093 , eventdate =
-
[47]
Kapralov, Michael and Krachun, Dmitry , date =. An Optimal Space Lower Bound for Approximating. Proceedings of the 51st. doi:10.1145/3313276.3316364 , eventdate =
-
[48]
Streaming Lower Bounds for Approximating
Kapralov, Michael and Khanna, Sanjeev and Sudan, Madhu , date =. Streaming Lower Bounds for Approximating. Proceedings of the 26th. doi:10.1137/1.9781611973730.84 , eventdate =
-
[49]
Kapralov, Michael and Khanna, Sanjeev and Sudan, Madhu and Velingker, Ameya , date =. Proceedings of the 28th. doi:10.5555/3039686.3039798 , eventdate =
-
[50]
Kallaugher, John and Parekh, Ojas , date =. The. 2022. doi:10.1109/FOCS54457.2022.00054 , eventdate =
-
[51]
Kol, Gillat and Paramonov, Dmitry and Saxena, Raghuvansh R. and Yu, Huacheng , editor =. Characterizing the. 14th. doi:10.4230/LIPIcs.ITCS.2023.80 , eventdate =
-
[52]
Lanciano, Tommaso and Miyauchi, Atsushi and Fazzone, Adriano and Bonchi, Francesco , date =. A. doi:10.1145/3653298 , url =
-
[53]
Mathieu, Claire and family=Rougemont, given=Michel, prefix=de, useprefix=true , date =. Large. Proceedings of the 2020. doi:10.1145/3412815.3416884 , eventdate =
-
[54]
Mitrovic, Slobodan and Pan, Theodore , date =. Faster. Proceedings of the 41st. doi:10.5555/3692070.3693532 , eventdate =
-
[55]
Yet Another Algorithm for Dense Max Cut: Go Greedy , booktitle =
Mathieu, Claire and Schudy, Warren , date =. Yet Another Algorithm for Dense Max Cut: Go Greedy , booktitle =. doi:10.5555/1347082.1347102 , eventtitle =
-
[56]
The Theory of Error Correcting Codes , author =
-
[57]
McGregor, Andrew and Tench, David and Vorotnikova, Sofya and Vu, Hoa T. , editor =. Densest. Mathematical. doi:10.1007/978-3-662-48054-0_39 , eventdate =
-
[58]
Monemizadeh, Morteza and Woodruff, David P. , date =. 1-. Proceedings of the. doi:10.1137/1.9781611973075.92 , eventtitle =
-
[59]
Raghavendra, Prasad and Rao, Satish and Schramm, Tselil , date =. Strongly Refuting Random. Proceedings of the 49th. doi:10.1145/3055399.3055417 , eventdate =
-
[60]
On Streaming Approximation Algorithms for Constraint Satisfaction Problems , author =
-
[61]
Singer, Noah G. , editor =. Oblivious Algorithms for the. Approximation,. doi:10.4230/LIPIcs.APPROX/RANDOM.2023.15 , eventdate =
-
[62]
and Li, Jerry and Liu, Allen and Narayanan, Shyam , booktitle =
Saxena, Raghuvansh R. and Singer, Noah and Sudan, Madhu and Velusamy, Santhoshini , date =. Improved Streaming Algorithms for. 63rd. doi:10.1109/FOCS57990.2023.00055 , eventdate =
-
[63]
Saxena, Raghuvansh R. and Singer, Noah G. and Sudan, Madhu and Velusamy, Santhoshini , date =. Streaming Complexity of. Proceedings of the 2023. doi:10.1137/1.9781611977554.ch156 , eventdate =
-
[64]
and Sudan, Madhu and Velusamy, Santhoshini , date =
Saxena, Raghuvansh and Singer, Noah G. and Sudan, Madhu and Velusamy, Santhoshini , date =. Streaming. Proceedings of the 2025. doi:10.1137/1.9781611978322.111 , eventdate =
-
[65]
Streaming Approximation Resistance of Every Ordering
Singer, Noah and Sudan, Madhu and Velusamy, Santhoshini , date =. Streaming Approximation Resistance of Every Ordering. doi:10.1007/s00037-024-00252-5 , keywords =
-
[66]
Sudan, Madhu , editor =. Streaming and. 49th. doi:10.4230/LIPIcs.ICALP.2022.5 , eventdate =
-
[67]
Sun, Xiaoming and Woodruff, David P. , editor =. Tight. Approximation,. doi:10.4230/LIPIcs.APPROX-RANDOM.2015.435 , eventdate =
-
[68]
Pseudorandomness , author =
-
[69]
Random Sampling with a Reservoir , author =
-
[70]
Yao, Andrew Chi-Chih , date =. Probabilistic Computations:. Proceedings of the 18th. doi:10.1109/SFCS.1977.24 , eventdate =
-
[71]
Algorithms for Streaming Graphs , author =
-
[72]
Azarmehr, Amir and Behnezhad, Soheil and Ferrante, Shane and Saneian, Mohammad , year = 2025, month = dec, eprint =. Half-
work page 2025
-
[73]
Fei, Yumou and Minzer, Dor and Wang, Shuo , year = 2025, month = dec, publisher =. Multi-. Proceedings of the 66th
work page 2025
-
[74]
Fei, Yumou and Minzer, Dor and Wang, Shuo , year = 2026, publisher =. A. Proceedings of the 58th
work page 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.