We discuss progress along the three main aims of the project.
1) Convex optimization and spectral techniques for discrete problems:
The main direction of research concerns the power of “spectral” techniques, i.e. those based on linear algebra and convex optimization, as captured by the techniques of linear and semidefinite programming. While both spectral algorithms and convex optimization are widely used in practice, each offers its own advantages, with spectral algorithms being simpler and more widely used, whereas convex optimization is more robust to outliers.
The first set of results concerns the power of linear programming and convex optimization. The PI and collaborators showed that these techniques are somewhat equivalent for certain recovery problems in networks, leading to works at SODA 2020 and FOCS 2020. Group member Chris Jones showed that a certain inference problem on networks cannot be solved by a broad class of semidefinite programming algorithms, which was published in STOC 2023.
The second set of results develops new algorithms for optimization problems using these techniques. The PI and collaborators developed robust algorithms for clustering problems on networks, a result which was published at AISTATS 2022. The PI and several group members studied the problem of optimizing random polynomials. This basic question is of a fundamental nature and led to several new results, published at CCC 2023, SODA 2024, and ICALP 2025. Group member Lucas Pesenti developed a convex optimization algorithm for a basic combinatorial problem known as discrepancy minimization which appeared in SODA 2023.
2) Constructions of sparse approximations
The proposal conjectured the existence of certain new types of sparse approximations of networks and of higher-dimensional analogs of networks called hypergraphs, along with a hypothetical approach to such conjectures. Most of the conjectures were proved by the PI and collaborators, presented at the FOCS 2019 conference.
The PI and collaborators also compared two previously studied definitions of approximation for sparse approximations of networks, known respectively as "cut sparsifiers" and "spectral sparsifiers". They rigorously proved that one notion provides a worse trade-off between approximation and sparsity than the other. These results were presented at SODA 2022.
3) Distributed algorithms
The PI and collaborators analyzed a completely decentralized process that sparsifies a dense network, creating a network in which every node has bounded connections, while preserving good connectivity. The result is that a simple protocol, inspired by real peer-to-peer networking protocols, achieves remarkable performance. This result was presented at SODA 2020.
The PI and collaborators then focused on the question of: is there a methodology analogous to spectral methods that can be applied to networks that change over time, to understand information diffusion? Some preliminary results, in which the authors analyze broadcast processes in dynamic networks with node churn, appeared in ICDCS 2021.
The PI and group members studied how distributed computation algorithms are impacted by effects such as noisy communication and stubborn agents and the graphical structure of the interactions between the individual agents. In detail, the group focuses on information spreading algorithms, studying the runtime of the “minority dynamics”, a highly chaotic dynamical system requiring a challenging analysis. This work appeared in SODA 2024. Other related works were published by group members in IJCAI 2023, DISC 2024, and the Theoretical Computer Science journal.
The group members also focus on the study of distributed models with restricted computation and communication, inspired by biological applications. In particular, this line of research led to several publications by group members published in PODC 2023, DISC 2024, PODC 2024, and Information Processing Letters 2025.
