Catalytic Communication

Authors Edward Pyne , Nathan S. Sheffield , William Wang



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2025.79.pdf
  • Filesize: 0.9 MB
  • 24 pages

Document Identifiers

Author Details

Edward Pyne
  • MIT, Cambridge, MA, USA
Nathan S. Sheffield
  • MIT, Cambridge, MA, USA
William Wang
  • MIT, Cambridge, MA, USA

Acknowledgements

We thank Ryan Williams for guidance and suggesting the question of catalytic communication complexity, and Carl Schildkraut for helpful discussion about Ruzsa-Szemerédi graphs.

Cite As Get BibTex

Edward Pyne, Nathan S. Sheffield, and William Wang. Catalytic Communication. In 16th Innovations in Theoretical Computer Science Conference (ITCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 325, pp. 79:1-79:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ITCS.2025.79

Abstract

The study of space-bounded computation has drawn extensively from ideas and results in the field of communication complexity. Catalytic Computation (Buhrman, Cleve, Koucký, Loff and Speelman, STOC 2013) studies the power of bounded space augmented with a pre-filled hard drive that can be used non-destructively during the computation. Presently, many structural questions in this model remain open. Towards a better understanding of catalytic space, we define a model of catalytic communication complexity and prove new upper and lower bounds.
In our model, Alice and Bob share a blackboard with a tiny number of free bits, and a larger section with an arbitrary initial configuration. They must jointly compute a function of their inputs, communicating only via the blackboard, and must always reset the blackboard to its initial configuration. We prove several upper and lower bounds:  
1) We characterize the simplest nontrivial model, that of one bit of free space and three rounds, in terms of 𝔽₂ rank. In particular, we give natural problems that are solvable with a minimal-sized blackboard that require near-maximal (randomized) communication complexity, and vice versa. 
2) We show that allowing constantly many free bits, as opposed to one, allows an exponential improvement on the size of the blackboard for natural problems. To do so, we connect the problem to existence questions in extremal graph theory. 
3) We give tight connections between our model and standard notions of non-uniform catalytic computation. Using this connection, we show that with an arbitrary constant number of rounds and bits of free space, one can compute all functions in TC⁰.  We view this model as a step toward understanding the value of filled space in computation.

Subject Classification

ACM Subject Classification
  • Theory of computation → Communication complexity
Keywords
  • Catalytic computation
  • Branching programs
  • Communication complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Noga Alon and Adi Shraibman. Number on the forehead protocols yielding dense ruzsa-szemerédi graphs and hypergraphs. Acta Mathematica Hungarica, 161(2):488-506, 2020. Google Scholar
  2. Srinivasan Arunachalam and Supartha Podder. Communication Memento: Memoryless Communication Complexity. In James R. Lee, editor, 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), volume 185 of Leibniz International Proceedings in Informatics (LIPIcs), pages 61:1-61:20, Dagstuhl, Germany, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ITCS.2021.61.
  3. Sepehr Assadi and Janani Sundaresan. Hidden permutations to the rescue: Multi-pass streaming lower bounds for approximate matchings. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), pages 909-932, 2023. URL: https://doi.org/10.1109/FOCS57990.2023.00058.
  4. Felix A Behrend. On sets of integers which contain no three terms in arithmetical progression. Proceedings of the National Academy of Sciences, 32(12):331-332, 1946. Google Scholar
  5. Y. Birk, N. Linial, and R. Meshulam. On the uniform-traffic capacity of single-hop interconnections employing shared directional multichannels. IEEE Trans. Inf. Theor., 39(1):186-191, 2006. URL: https://doi.org/10.1109/18.179355.
  6. Béla Bollobás. Combinatorics: set systems, hypergraphs, families of vectors, and combinatorial probability. Cambridge University Press, 1986. Google Scholar
  7. Mark Braverman, Sumegha Garg, and David P. Woodruff. The coin problem with applications to data streams. In Sandy Irani, editor, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 318-329. IEEE, 2020. URL: https://doi.org/10.1109/FOCS46700.2020.00038.
  8. Mark Braverman, Sumegha Garg, and Or Zamir. Tight space complexity of the coin problem. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022, pages 1068-1079. IEEE, 2021. URL: https://doi.org/10.1109/FOCS52979.2021.00106.
  9. Mark Braverman, Anup Rao, Ran Raz, and Amir Yehudayoff. Pseudorandom generators for regular branching programs. SIAM J. Comput., 43(3):973-986, 2014. URL: https://doi.org/10.1137/120875673.
  10. Joshua Brody and Elad Verbin. The coin problem and pseudorandomness for branching programs. In 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA, pages 30-39. IEEE Computer Society, 2010. URL: https://doi.org/10.1109/FOCS.2010.10.
  11. Joshua E. Brody, Shiteng Chen, Periklis A. Papakonstantinou, Hao Song, and Xiaoming Sun. Space-bounded communication complexity. In Proceedings of the 4th Conference on Innovations in Theoretical Computer Science, ITCS '13, pages 159-172, New York, NY, USA, 2013. Association for Computing Machinery. URL: https://doi.org/10.1145/2422436.2422456.
  12. William G Brown, Pál Erdős, and Vera T Sós. On the existence of triangulated spheres in 3-graphs and related problems. Periodica Mathematica Hungarica, 3:221-229, 1973. Google Scholar
  13. Harry Buhrman, Richard Cleve, Michal Koucký, Bruno Loff, and Florian Speelman. Computing with a full memory: catalytic space. In David B. Shmoys, editor, Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 - June 03, 2014, pages 857-866. ACM, 2014. URL: https://doi.org/10.1145/2591796.2591874.
  14. Harry Buhrman, Serge Fehr, Christian Schaffner, and Florian Speelman. The garden-hose model. In Proceedings of the 4th Conference on Innovations in Theoretical Computer Science, ITCS '13, pages 145-158, New York, NY, USA, 2013. Association for Computing Machinery. URL: https://doi.org/10.1145/2422436.2422455.
  15. Harry Buhrman, Michal Koucký, Bruno Loff, and Florian Speelman. Catalytic space: Non-determinism and hierarchy. Theory Comput. Syst., 2018. URL: https://doi.org/10.1007/S00224-017-9784-7.
  16. Gil Cohen, Dean Doron, Oren Renard, Ori Sberlo, and Amnon Ta-Shma. Error reduction for weighted prgs against read once branching programs. In Valentine Kabanets, editor, 36th Computational Complexity Conference, CCC 2021, July 20-23, 2021, Toronto, Ontario, Canada (Virtual Conference), volume 200 of LIPIcs, pages 22:1-22:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPICS.CCC.2021.22.
  17. James Cook, Jiatu Li, Ian Mertz, and Edward Pyne. The structure of catalytic space: Capturing randomness and time via compression. Electron. Colloquium Comput. Complex., TR24-106, 2024. URL: https://eccc.weizmann.ac.il/report/2024/106, URL: https://arxiv.org/abs/TR24-106.
  18. James Cook and Ian Mertz. Catalytic approaches to the tree evaluation problem. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, pages 752-760, New York, NY, USA, 2020. Association for Computing Machinery. URL: https://doi.org/10.1145/3357713.3384316.
  19. James Cook and Ian Mertz. Encodings and the tree evaluation problem. In Electron. Colloquium Comput. Complex, page 54, 2021. Google Scholar
  20. James Cook and Ian Mertz. Trading time and space in catalytic branching programs. In Proceedings of the 37th Computational Complexity Conference, CCC '22, Dagstuhl, DEU, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.CCC.2022.8.
  21. James Cook and Ian Mertz. Tree evaluation is in space o(log n · log log n). Electronic Coloquium Comput. Complex., TR23, 2023. URL: https://eccc.weizmann.ac.il/report/2023/174/.
  22. Yfke Dulek. Catalytic space: on reversibility and multiple-access randomness, 2015. Google Scholar
  23. Eldar Fischer, Eric Lehman, Ilan Newman, Sofya Raskhodnikova, Ronitt Rubinfeld, and Alex Samorodnitsky. Monotonicity testing over general poset domains. In Proceedings of the Thiry-Fourth Annual ACM Symposium on Theory of Computing, STOC '02, pages 474-483, New York, NY, USA, 2002. Association for Computing Machinery. URL: https://doi.org/10.1145/509907.509977.
  24. Jacob Fox. A new proof of the graph removal lemma. Annals of Mathematics, pages 561-579, 2011. Google Scholar
  25. Jacob Fox, Hao Huang, and Benny Sudakov. On graphs decomposable into induced matchings of linear sizes. Bulletin of the London Mathematical Society, 49(1):45-57, 2017. Google Scholar
  26. Vincent Girard, Michal Kouckỳ, and Pierre McKenzie. Nonuniform catalytic space and the direct sum for space. In Electronic Colloquium on Computational Complexity (ECCC), volume 138, 2015. Google Scholar
  27. Ashish Goel, Michael Kapralov, and Sanjeev Khanna. On the communication and streaming complexity of maximum bipartite matching. In Yuval Rabani, editor, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012, pages 468-485. SIAM, 2012. URL: https://doi.org/10.1137/1.9781611973099.41.
  28. Chetan Gupta, Rahul Jain, Vimal Raj Sharma, and Raghunath Tewari. Unambiguous catalytic computation. In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, volume 150 of LIPIcs, pages 16:1-16:13, 2019. URL: https://doi.org/10.4230/LIPICS.FSTTCS.2019.16.
  29. L.H. Harper. Optimal numberings and isoperimetric problems on graphs. Journal of Combinatorial Theory, 1(3):385-393, 1966. URL: https://doi.org/10.1016/S0021-9800(66)80059-5.
  30. Johan Håstad and Avi Wigderson. Simple analysis of graph tests for linearity and pcp. Random Structures & Algorithms, 22(2):139-160, 2003. URL: https://doi.org/10.1002/RSA.10068.
  31. Russell Impagliazzo, Noam Nisan, and Avi Wigderson. Pseudorandomness for network algorithms. In Frank Thomson Leighton and Michael T. Goodrich, editors, Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 23-25 May 1994, Montréal, Québec, Canada, pages 356-364. ACM, 1994. URL: https://doi.org/10.1145/195058.195190.
  32. Michael Kapralov. Space lower bounds for approximating maximum matching in the edge arrival model. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1874-1893. SIAM, 2021. URL: https://doi.org/10.1137/1.9781611976465.112.
  33. Christian Konrad and Kheeran K Naidu. On two-pass streaming algorithms for maximum bipartite matching. arXiv preprint, 2021. URL: https://arxiv.org/abs/2107.07841.
  34. P Kővári, Vera Sós, and Pál Turán. On a problem of zarankiewicz. In Colloquium Mathematicum, volume 3, pages 50-57. Polska Akademia Nauk, 1954. Google Scholar
  35. Nati Linial, Toniann Pitassi, and Adi Shraibman. On the Communication Complexity of High-Dimensional Permutations. In Avrim Blum, editor, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), volume 124 of Leibniz International Proceedings in Informatics (LIPIcs), pages 54:1-54:20, Dagstuhl, Germany, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ITCS.2019.54.
  36. Noam Nisan. Pseudorandom generators for space-bounded computation. Comb., 12(4):449-461, 1992. URL: https://doi.org/10.1007/BF01305237.
  37. Periklis Papakonstantinou, Dominik Scheder, and Hao Song. Overlays and limited memory communication. In 2014 IEEE 29th Conference on Computational Complexity (CCC), pages 298-308, 2014. URL: https://doi.org/10.1109/CCC.2014.37.
  38. Aaron Potechin. A note on amortized branching program complexity. In Proceedings of the 32nd Computational Complexity Conference, pages 1-12, 2017. URL: https://doi.org/10.4230/LIPICS.CCC.2017.4.
  39. Edward Pyne. Derandomizing logspace with a small shared hard drive. In Rahul Santhanam, editor, 39th Computational Complexity Conference, CCC 2024, July 22-25, 2024, Ann Arbor, MI, USA, volume 300 of LIPIcs, pages 4:1-4:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. URL: https://doi.org/10.4230/LIPICS.CCC.2024.4.
  40. Edward Pyne and Salil P. Vadhan. Pseudodistributions that beat all pseudorandom generators (extended abstract). In Valentine Kabanets, editor, 36th Computational Complexity Conference, CCC 2021, July 20-23, 2021, Toronto, Ontario, Canada (Virtual Conference), volume 200 of LIPIcs, pages 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPICS.CCC.2021.33.
  41. Anup Rao and Amir Yehudayoff. Communication Complexity: and Applications. Cambridge University Press, 2020. Google Scholar
  42. Robert Robere and Jeroen Zuiddam. Amortized circuit complexity, formal complexity measures, and catalytic algorithms. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 759-769. IEEE, 2022. URL: https://doi.org/10.1109/FOCS52979.2021.00079.
  43. I. Ruzsa and E. Szemer'edi. Triple systems with no six points carrying three triangles. Combinatorica, 18, January 1976. Google Scholar
  44. Chong Shangguan, Yiwei Zhang, and Gennian Ge. Centralized coded caching schemes: A hypergraph theoretical approach. IEEE Transactions on Information Theory, 64(8):5755-5766, 2018. URL: https://doi.org/10.1109/TIT.2018.2847679.
  45. Yufei Zhao. Graph Theory and Additive Combinatorics: Exploring Structure and Randomness. Cambridge University Press, 2023. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail