A Near-Optimal Parallel Algorithm for Finding Matroid Bases
Pith reviewed 2026-06-25 22:22 UTC · model grok-4.3
The pith
Parallel algorithm computes matroid basis in O(n^{1/3} log^{1/3} n) rounds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We settle the classic question of the parallel complexity of computing a matroid basis by giving an algorithm that runs in O(n^{1/3} log^{1/3} n) rounds, matching the KUW lower bound up to a log^{2/3}(n) factor.
What carries the argument
The parallel algorithm that finds a maximum independent set using an independence oracle in the stated round bound.
If this is right
- Matroid basis computation is now possible in near-optimal parallel rounds.
- The logarithmic gap to the lower bound is the only remaining separation.
- Many matroid-representable problems inherit improved parallel complexity.
- The algorithm works for any matroid given by an independence oracle.
Where Pith is reading between the lines
- The same round bound may extend to matroid intersection when oracles are available.
- Graphic matroids (spanning-tree problems) would immediately gain the same parallel speedup.
- Closing the remaining log^{2/3} n factor would require a different technique.
Load-bearing premise
The cost of parallel independence-oracle calls is fully absorbed into the round count without extra logarithmic overhead from the model.
What would settle it
An explicit matroid instance on which the given algorithm requires more than O(n^{1/3} log^{1/3} n) rounds to output a basis.
read the original abstract
We settle the classic question of the parallel complexity of computing a matroid basis, as first posed in the seminal work of Karp, Upfal, and Wigderson (FOCS 1985, JCSS 1988). Our algorithm runs in $O(n^{1/3}\log^{1/3}n)$ rounds, matching the lower bound of KUW up to a $\log^{2/3}(n)$ factor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to settle the classic question on the parallel complexity of computing a matroid basis (posed by Karp, Upfal, and Wigderson in 1985) by giving an explicit algorithm that runs in O(n^{1/3} log^{1/3} n) rounds and matches the KUW lower bound up to a log^{2/3} n factor.
Significance. If correct, the result would be a significant contribution to parallel algorithms and matroid theory by nearly closing a long-standing gap between upper and lower bounds on round complexity.
major comments (1)
- [Abstract] Abstract: the stated O(n^{1/3} log^{1/3} n) round bound is presented with no derivation, proof sketch, model definition (PRAM/BSP/etc.), or protocol for batched independence-oracle access. This is load-bearing for the central near-optimality claim, because any unaccounted per-batch synchronization or communication latency would increase the bound by an extra log n factor and invalidate the 'up to log^{2/3} n' comparison to KUW.
Simulated Author's Rebuttal
We thank the referee for their thoughtful comments. Below we address the concern raised about the abstract.
read point-by-point responses
-
Referee: [Abstract] Abstract: the stated O(n^{1/3} log^{1/3} n) round bound is presented with no derivation, proof sketch, model definition (PRAM/BSP/etc.), or protocol for batched independence-oracle access. This is load-bearing for the central near-optimality claim, because any unaccounted per-batch synchronization or communication latency would increase the bound by an extra log n factor and invalidate the 'up to log^{2/3} n' comparison to KUW.
Authors: We respectfully disagree that the abstract requires a derivation or proof sketch, as abstracts are summaries by nature. The model is the standard one from KUW: the parallel random access machine (PRAM) model with access to a batched independence oracle, where each round allows an arbitrary number of parallel independence queries. The protocol for batched access is described in the algorithm pseudocode and analysis in Sections 3 and 4, where we prove that the total number of rounds is O(n^{1/3} log^{1/3} n) with the logarithmic factors arising only from the algorithm's structure, not from additional synchronization. The comparison to the KUW lower bound is valid because it is in the identical model. If the editor prefers, we can append a parenthetical note on the model to the abstract in the revised version. revision: partial
Circularity Check
No significant circularity; explicit algorithmic construction
full rationale
The paper presents a direct algorithmic construction achieving O(n^{1/3} log^{1/3} n) rounds for matroid basis computation, with the bound positioned as matching an external KUW lower bound up to a logarithmic factor. No equations, fitted parameters, self-citations, or ansatzes appear in the abstract or description that reduce the claimed result to its own inputs by construction. The derivation relies on an independence oracle model whose costs are stated to be absorbed, but this is an explicit modeling choice rather than a self-referential reduction. The work is self-contained against external benchmarks with no load-bearing self-citation chains or renamings of known results.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Karger , editor =
David R. Karger , editor =. Using Randomized Sparsification to Approximate Minimum Cuts , booktitle =. 1994 , url =
1994
-
[2]
2010 IEEE 25th Annual Conference on Computational Complexity , pages=
Lower bounds for testing function isomorphism , author=. 2010 IEEE 25th Annual Conference on Computational Complexity , pages=. 2010 , organization=
2010
-
[3]
Theory of evolutionary computation: Recent developments in discrete optimization , pages=
Probabilistic tools for the analysis of randomized optimization heuristics , author=. Theory of evolutionary computation: Recent developments in discrete optimization , pages=. 2020 , publisher=
2020
-
[4]
Theoretical Computer Science , volume=
Improved time complexity analysis of the simple genetic algorithm , author=. Theoretical Computer Science , volume=. 2015 , publisher=
2015
-
[5]
Statistics & Probability Letters , volume=
Binomial approximation to the Poisson binomial distribution , author=. Statistics & Probability Letters , volume=. 1991 , publisher=
1991
-
[6]
Ashok Subramanian , title =. Inf. Process. Lett. , volume =. 1995 , url =. doi:10.1016/0020-0190(94)00202-A , timestamp =
-
[7]
On determinants, matchings, and random algorithms , booktitle =
L. On determinants, matchings, and random algorithms , booktitle =. 1979 , timestamp =
1979
-
[8]
Karp and Eli Upfal and Avi Wigderson , title =
Richard M. Karp and Eli Upfal and Avi Wigderson , title =. Comb. , volume =. 1986 , url =. doi:10.1007/BF02579407 , timestamp =
-
[9]
Karp and Eli Upfal and Avi Wigderson , title =
Richard M. Karp and Eli Upfal and Avi Wigderson , title =. J. Comput. Syst. Sci. , volume =. 1988 , url =. doi:10.1016/0022-0000(88)90027-X , timestamp =
-
[10]
The Matching Problem in General Graphs Is in Quasi-NC , booktitle =
Ola Svensson and Jakub Tarnawski , editor =. The Matching Problem in General Graphs Is in Quasi-NC , booktitle =. 2017 , url =. doi:10.1109/FOCS.2017.70 , timestamp =
-
[11]
Michael Luby , title =. 1986 , url =. doi:10.1137/0215074 , timestamp =
-
[12]
A lower bound for parallel submodular minimization , booktitle =
Eric Balkanski and Yaron Singer , editor =. A lower bound for parallel submodular minimization , booktitle =. 2020 , url =. doi:10.1145/3357713.3384287 , timestamp =
-
[13]
Deeparnab Chakrabarty and Yu Chen and Sanjeev Khanna , title =. 62nd. 2021 , url =. doi:10.1109/FOCS52979.2021.00013 , timestamp =
-
[14]
Sumanta Ghosh and Rohit Gurjar and Roshan Raj , editor =. A Deterministic Parallel Reduction from Weighted Matroid Intersection Search to Decision , booktitle =. 2022 , url =. doi:10.1137/1.9781611977073.44 , timestamp =
-
[15]
Combinatorica , volume=
On the number of matroids , author=. Combinatorica , volume=. 2015 , publisher=
2015
-
[16]
Mohsen Ghaffari and Christoph Grunau , title =. 65th. 2024 , url =. doi:10.1109/FOCS61266.2024.00007 , timestamp =
-
[17]
Rohit Gurjar and Nisheeth K. Vishnoi , editor =. On the Number of Circuits in Regular Matroids (with Connections to Lattices and Codes) , booktitle =. 2019 , url =. doi:10.1137/1.9781611975482.53 , timestamp =
-
[18]
Deeparnab Chakrabarty and Andrei Graur and Haotian Jiang and Aaron Sidford , title =. 63rd. 2022 , url =. doi:10.1109/FOCS54457.2022.00030 , timestamp =
-
[19]
David R. Karger , editor =. Random sampling in cut, flow, and network design problems , booktitle =. 1994 , url =. doi:10.1145/195058.195422 , timestamp =
-
[20]
Nate Veldt and Austin R. Benson and Jon M. Kleinberg , title =. 2022 , url =. doi:10.1137/20M1321048 , timestamp =
-
[21]
Venkatesan Guruswami and Jonathan Mosheiff , title =. CoRR , volume =. 2021 , url =. 2109.11725 , timestamp =
arXiv 2021
-
[22]
Annals of Mathematics , year =
Omer Reingold and Salil Vadhan and Avi Wigderson , title =. Annals of Mathematics , year =
-
[23]
Bulletin of the American Mathematical Society , year=
Expander Graphs and their Applications , author=. Bulletin of the American Mathematical Society , year=
-
[24]
Three XOR-Lemmas - An Exposition , booktitle =
Oded Goldreich , editor =. Three XOR-Lemmas - An Exposition , booktitle =. 2011 , url =. doi:10.1007/978-3-642-22670-0\_22 , timestamp =
-
[25]
Problemy Peredachi Informatsii , volume=
List concatenated decoding , author=. Problemy Peredachi Informatsii , volume=. 1981 , publisher=
1981
-
[26]
It'll Probably Work Out: Improved List-Decoding Through Random Operations , booktitle =
Atri Rudra and Mary Wootters , editor =. It'll Probably Work Out: Improved List-Decoding Through Random Operations , booktitle =. 2015 , url =. doi:10.1145/2688073.2688092 , timestamp =
-
[27]
On the List Recoverability of Randomly Punctured Codes , booktitle =
Ben Lund and Aditya Potukuchi , editor =. On the List Recoverability of Randomly Punctured Codes , booktitle =. 2020 , url =. doi:10.4230/LIPIcs.APPROX/RANDOM.2020.30 , timestamp =
-
[28]
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing , pages =
Mohanty, Sidhanth and O'Donnell, Ryan and Paredes, Pedro , title =. Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing , pages =. 2020 , isbn =. doi:10.1145/3357713.3384231 , abstract =
-
[29]
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages =
Ta-Shma, Amnon , title =. Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages =. 2017 , isbn =. doi:10.1145/3055399.3055408 , abstract =
-
[30]
List-Decodability With Large Radius for Reed-Solomon Codes , year=
Ferber, Asaf and Kwan, Matthew and Sauermann, Lisa , journal=. List-Decodability With Large Radius for Reed-Solomon Codes , year=
-
[31]
Hardness vs randomness , journal =
Noam Nisan and Avi Wigderson , abstract =. Hardness vs randomness , journal =. 1994 , issn =. doi:https://doi.org/10.1016/S0022-0000(05)80043-1 , url =
-
[32]
doi:10.1016/0010-4655(94)90232-1 , url =
Martin Lüscher , title =. doi:10.1016/0010-4655(94)90232-1 , url =
-
[33]
Jonathan Mosheiff and Nicolas Resch and Noga Ron. 61st. 2020 , url =. doi:10.1109/FOCS46700.2020.00050 , timestamp =
-
[34]
and Panigrahi, Debmalya , title =
Fung, Wai Shing and Hariharan, Ramesh and Harvey, Nicholas J.A. and Panigrahi, Debmalya , title =. Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing , pages =. 2011 , isbn =. doi:10.1145/1993636.1993647 , abstract =
-
[35]
Near-linear Size Hypergraph Cut Sparsifiers , booktitle =
Yu Chen and Sanjeev Khanna and Ansh Nagda , editor =. Near-linear Size Hypergraph Cut Sparsifiers , booktitle =. 2020 , url =. doi:10.1109/FOCS46700.2020.00015 , timestamp =
-
[36]
David R. Karger , title =. Math. Oper. Res. , volume =. 1999 , url =. doi:10.1287/moor.24.2.383 , timestamp =
-
[37]
Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) , chapter =
Kent Quanrud , title =. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) , chapter =. 2024 , publisher =. doi:10.1137/1.9781611977912.187 , URL =. https://epubs.siam.org/doi/pdf/10.1137/1.9781611977912.187 , abstract =
-
[38]
Andr. Approximating. Proceedings of the Twenty-Eighth Annual. 1996 , url =. doi:10.1145/237814.237827 , timestamp =
-
[39]
Joshua D. Batson and Daniel A. Spielman and Nikhil Srivastava , editor =. Twice-. Proceedings of the 41st Annual. 2009 , url =. doi:10.1145/1536414.1536451 , timestamp =
-
[40]
Liu and Aaron Sidford , editor =
Arun Jambulapati and Yang P. Liu and Aaron Sidford , editor =. Chaining, Group Leverage Score Overestimates, and Fast Spectral Hypergraph Sparsification , booktitle =. 2023 , url =. doi:10.1145/3564246.3585136 , timestamp =
-
[41]
Nearly Tight Spectral Sparsification of Directed Hypergraphs , booktitle =
Kazusato Oko and Shinsaku Sakaue and Shin. Nearly Tight Spectral Sparsification of Directed Hypergraphs , booktitle =. 2023 , url =. doi:10.4230/LIPIcs.ICALP.2023.94 , timestamp =
-
[42]
It'll Probably Work Out: Improved List-Decoding Through Random Operations , booktitle =
Dmitry Kogan and Robert Krauthgamer , editor =. Sketching Cuts in Graphs and Hypergraphs , booktitle =. 2015 , url =. doi:10.1145/2688073.2688093 , timestamp =
-
[43]
Arnold Filtser and Robert Krauthgamer , title =. 2017 , url =. doi:10.1137/15M1046186 , timestamp =
-
[44]
Karger , editor =
David R. Karger , editor =. Global Min-cuts in. Proceedings of the Fourth Annual. 1993 , url =
1993
-
[45]
Daniel A. Spielman and Shang. Spectral Sparsification of Graphs , journal =. 2011 , url =. doi:10.1137/08074489X , timestamp =
-
[46]
James R. Lee , editor =. Spectral Hypergraph Sparsification via Chaining , booktitle =. 2023 , url =. doi:10.1145/3564246.3585165 , timestamp =
-
[47]
Jonah Sherman , title =. 54th Annual. 2013 , url =. doi:10.1109/FOCS.2013.36 , timestamp =
-
[48]
Rasmus Kyng and Yin Tat Lee and Richard Peng and Sushant Sachdeva and Daniel A. Spielman , editor =. Sparsified Cholesky and multigrid solvers for connection laplacians , booktitle =. 2016 , url =. doi:10.1145/2897518.2897640 , timestamp =
-
[49]
Yin Tat Lee and He Sun , title =. 2018 , url =. doi:10.1137/16M1061850 , timestamp =
-
[50]
Yu Chen and Sanjeev Khanna and Huan Li , title =. 63rd. 2022 , url =. doi:10.1109/FOCS54457.2022.00052 , timestamp =
-
[51]
Kelner and Yin Tat Lee and Lorenzo Orecchia and Aaron Sidford , editor =
Jonathan A. Kelner and Yin Tat Lee and Lorenzo Orecchia and Aaron Sidford , editor =. An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations , booktitle =. 2014 , url =. doi:10.1137/1.9781611973402.16 , timestamp =
-
[52]
Approximate Undirected Maximum Flows in
Richard Peng , editor =. Approximate Undirected Maximum Flows in. Proceedings of the Twenty-Seventh Annual. 2016 , url =. doi:10.1137/1.9781611974331.ch130 , timestamp =
-
[53]
Cohen and Rasmus Kyng and Gary L
Michael B. Cohen and Rasmus Kyng and Gary L. Miller and Jakub W. Pachocki and Richard Peng and Anup B. Rao and Shen Chen Xu , editor =. Solving. Symposium on Theory of Computing,. 2014 , url =. doi:10.1145/2591796.2591833 , timestamp =
-
[54]
Arun Jambulapati and Aaron Sidford , title =. CoRR , volume =. 2020 , url =. 2011.08806 , timestamp =
arXiv 2020
-
[55]
Woodruff and Qin Zhang , editor =
Jiecao Chen and He Sun and David P. Woodruff and Qin Zhang , editor =. Communication-Optimal Distributed Clustering , booktitle =. 2016 , url =
2016
-
[56]
Spectral Sparsification of Hypergraphs , booktitle =
Tasuku Soma and Yuichi Yoshida , editor =. Spectral Sparsification of Hypergraphs , booktitle =. 2019 , url =. doi:10.1137/1.9781611975482.159 , timestamp =
-
[57]
Towards tight bounds for spectral sparsification of hypergraphs , booktitle =
Michael Kapralov and Robert Krauthgamer and Jakab Tardos and Yuichi Yoshida , editor =. Towards tight bounds for spectral sparsification of hypergraphs , booktitle =. 2021 , url =. doi:10.1145/3406325.3451061 , timestamp =
-
[58]
Michael Kapralov and Robert Krauthgamer and Jakab Tardos and Yuichi Yoshida , title =. 62nd. 2021 , url =. doi:10.1109/FOCS52979.2021.00114 , timestamp =
-
[59]
Satoru Fujishige and Sachin B. Patkar , title =. Discret. Math. , volume =. 2001 , url =. doi:10.1016/S0012-365X(00)00164-3 , timestamp =
-
[60]
Silvia Butti and Stanislav Zivn. Sparsification of Binary. 2020 , url =. doi:10.1137/19M1242446 , timestamp =
-
[61]
CoRR , volume =
Yotam Kenneth and Robert Krauthgamer , title =. CoRR , volume =. 2023 , url =
2023
-
[62]
Arun Jambulapati and James R. Lee and Yang P. Liu and Aaron Sidford , title =. CoRR , volume =. 2023 , url =. doi:10.48550/arXiv.2305.09049 , eprinttype =. 2305.09049 , timestamp =
-
[63]
Sparsification of Monotone k-Submodular Functions of Low Curvature , journal =
Jannik Kudla and Stanislav Zivn. Sparsification of Monotone k-Submodular Functions of Low Curvature , journal =. 2023 , url =. doi:10.48550/arXiv.2302.03143 , eprinttype =. 2302.03143 , timestamp =
-
[64]
Revealing information while preserving privacy , booktitle =
Irit Dinur and Kobbi Nissim , editor =. Revealing information while preserving privacy , booktitle =. 2003 , url =. doi:10.1145/773153.773173 , timestamp =
-
[65]
Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) , pages=
Code sparsification and its applications , author=. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) , pages=. 2024 , organization=
2024
-
[66]
arXiv preprint arXiv:2402.13151 , year=
Almost-Tight Bounds on Preserving Cuts in Classes of Submodular Hypergraphs , author=. arXiv preprint arXiv:2402.13151 , year=
-
[67]
Characterizations of Sparsifiability for Affine
Khanna, Sanjeev and Putterman, Aaron L and Sudan, Madhu , journal=. Characterizations of Sparsifiability for Affine
-
[68]
Near-optimal Size Linear Sketches for Hypergraph Cut Sparsifiers , booktitle=
Khanna, Sanjeev and Putterman, Aaron L and Sudan, Madhu , journal=. Near-optimal Size Linear Sketches for Hypergraph Cut Sparsifiers , booktitle=
-
[69]
, keywords =
Pinter, Charles C. , keywords =. 2010 , title =
2010
-
[70]
Weisstein , title =
Eric W. Weisstein , title =
-
[71]
Analyzing graph structure via linear measurements , booktitle =
Kook Jin Ahn and Sudipto Guha and Andrew McGregor , editor =. Analyzing graph structure via linear measurements , booktitle =. 2012 , url =. doi:10.1137/1.9781611973099.40 , timestamp =
-
[72]
Graph sketches: sparsification, spanners, and subgraphs , booktitle =
Kook Jin Ahn and Sudipto Guha and Andrew McGregor , editor =. Graph sketches: sparsification, spanners, and subgraphs , booktitle =. 2012 , url =. doi:10.1145/2213556.2213560 , timestamp =
-
[73]
Vertex and Hyperedge Connectivity in Dynamic Graph Streams , booktitle =
Sudipto Guha and Andrew McGregor and David Tench , editor =. Vertex and Hyperedge Connectivity in Dynamic Graph Streams , booktitle =. 2015 , url =. doi:10.1145/2745754.2745763 , timestamp =
-
[74]
Woodruff and Mobin Yahyazadeh , editor =
Michael Kapralov and Jelani Nelson and Jakub Pachocki and Zhengyu Wang and David P. Woodruff and Mobin Yahyazadeh , editor =. Optimal Lower Bounds for Universal Relation, and for Samplers and Finding Duplicates in Streams , booktitle =. 2017 , url =. doi:10.1109/FOCS.2017.50 , timestamp =
-
[75]
Mihir Bellare and John Rompel , title =. 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994 , pages =. 1994 , url =. doi:10.1109/SFCS.1994.365687 , timestamp =
-
[76]
Michael Kapralov and Yin Tat Lee and Cameron Musco and Christopher Musco and Aaron Sidford , title =. 55th. 2014 , url =. doi:10.1109/FOCS.2014.66 , timestamp =
-
[77]
Ilan Newman and Mario Szegedy , editor =. Public vs. Private Coin Flips in One Round Communication Games (Extended Abstract) , booktitle =. 1996 , url =. doi:10.1145/237814.238004 , timestamp =
-
[78]
CSE 206A: Lattice Algorithms and Applications , pages =
Daniele Miccancio , title =. CSE 206A: Lattice Algorithms and Applications , pages =. 2014 , note =
2014
-
[79]
Distributed Parallel Databases , volume =
Graham Cormode and Donatella Firmani , title =. Distributed Parallel Databases , volume =. 2014 , url =. doi:10.1007/S10619-013-7131-9 , timestamp =
-
[80]
Fast matrix rank algorithms and applications , booktitle =
Ho Yee Cheung and Tsz Chiu Kwok and Lap Chi Lau , editor =. Fast matrix rank algorithms and applications , booktitle =. 2012 , url =. doi:10.1145/2213977.2214028 , timestamp =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.