Fast Algorithms for a Reactive Network Layer
Fast Algorithms for a Reactive Network Layer
Disciplines
Electrical Engineering, Electronics, Information Engineering (40%); Computer Sciences (60%)
Keywords
-
Network algorithms,
Communication protocols,
Optimization,
Dynamic algorithms,
Distributed algorithms
The traffic in the Internet and inside datacenters is growing explosively, also because of the new datacentric applications related to entertainment, business, health, etc. As communication networks are often an expensive infrastructure, making best use of them is important. Over the last decades, Internet Service Providers (ISPs) such as Telekom Austria and companies such as Google, have made great efforts to improve the routing and hence utilization of their part of the network. In communication networks such as the Internet, information is sent in form of packets which are shipped from the origin to the destination via various routers. To achieve this, routers rely on a set of protocols which are part of the so-called network layer. The goal of this project is to improve the decisions made at these routers to lead to faster delivery of the packets as well as less congestion of network links. Currently, some crucial decisions at these routers are set by humans, so-called network operators. However, configuring routers manually is cumbersome and error-prone, and many network outages today are due to human errors. Furthermore, a manual operation of computer networks only allows for slow adjustments. This project will develop and test algorithms to (1) help the network operations make better decisions by allowing them to simulate various decisions and, more ambitiously to (2) design programs that can automatically make the decisions at the routers. In particular, unlike the few existing software tools supporting human operators today, which rely on re-computations from scratch, we are interested in fast dynamic algorithms which enable faster reactions to both planned and unplanned changes in the network. To do so we model the network as a graph, consisting of vertices that represent the routers and edges between pairs of vertices that represent a communication link between the corresponding routers. A routing from vertex A to vertex B corresponds to a path from A to B in this network. Usually each link has a value that is set manually by a network operator, to control how many routing paths use a given link. One of the goals of this project is to develop a tool which computes very quickly how a link value change will affect all existing routing paths, much faster than the existing tools. . In addition to making the computation of efficient routes faster, we in this project also explore mechanisms to ensure a smooth transition when changing from old routes to new routes: today, such changes can temporarily lead to loops, performance drops and packet losses, or even short violations of the network policy. In our project, we aim to develop algorithms which provably avoid such problems, and hence further improve the dependability of computer networks. Furthermore, we will also explore the deployment our technology in collaboration with ISPs. This is important as communication networks have become a critical infrastructure of our digital society.
Since September 2020, this research project has focused on how networks-systems made up of many interconnected elements-can continue to function reliably even when their structure is constantly changing. This applies, for example, to social networks, large computer systems, or the Internet. Our team developed new methods to make such dynamic networks more efficient and powerful. A central topic was the spread of information. We investigated how long it takes for a message to reach all members of a network-even when contacts between participants occur randomly. We showed that information circulates much faster on average than in the worst-case scenario-namely after about n log(n) contacts (where n is the number of participants). We also looked at group decision-making: When many participants hold different opinions, how can the group agree on the majority opinion without everyone needing to keep track of all views? Our team developed simple rules for such processes that require little memory and computing power but reliably lead to the correct result. Particularly practical is the research on communication in data centers, large server facilities that run Internet services. These facilities use both fast and slower data connections. We developed methods that allow the use of the fast connections to be continuously and quickly adapted to current demand-without significant delays. Another important topic was updating networks. When connections in the network change-due to maintenance, outages, or restructuring-new data paths must be found. In work on the Consistent Network Update Problem, our team showed that allowing a short, targeted "oversubscription" of network links enables many updates to be implemented much faster. Instead of strictly following every step, slightly more data can be sent over a link than normally allowed for a short time. Overall, this project contributes to making modern networks faster, more robust, and more adaptable-better prepared to meet the challenges of an increasingly digital and constantly changing world.
- Monika Henzinger, Institute of Science and Technology Austria - ISTA , associated research partner
Research Output
- 55 Citations
- 43 Publications
- 1 Policies
- 3 Datasets & models
- 5 Disseminations
- 1 Scientific Awards
- 3 Fundings
-
2023
Title A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems DOI 10.1007/s00453-023-01154-8 Type Journal Article Author Henzinger M Journal Algorithmica -
2023
Title Simple, Scalable and Effective Clustering via One-Dimensional Projections DOI 10.48550/arxiv.2310.16752 Type Preprint Author Charikar M Link Publication -
2025
Title Improved Differentially Private Continual Observation Using Group Algebra; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611978322.95 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2025
Title Brief Announcement: Minimizing Energy Solves Relative Majority with a Cubic Number of States in Population Protocols DOI 10.1145/3732772.3733512 Type Conference Proceeding Abstract Author Breitkopf T Pages 549-552 -
2025
Title An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model DOI 10.1145/3732772.3733505 Type Conference Proceeding Abstract Author El-Hayek A Pages 532-540 -
2025
Title Efficient Algorithms for Problems in Clustering and Fairness Type PhD Thesis Author Maximilian Voetsch -
2025
Title Fully Dynamic Approximate Minimum Cut in Subpolynomial Time per Operation; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611978322.22 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2024
Title Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges DOI 10.4230/lipics.disc.2024.21 Type Conference Proceeding Abstract Author El-Hayek A Conference LIPIcs, Volume 319, DISC 2024 Pages 21:1 - 21:15 Link Publication -
2024
Title Fully Dynamic k-Means Coreset in Near-Optimal Update Time DOI 10.4230/lipics.esa.2024.100 Type Conference Proceeding Abstract Author Henzinger M Conference LIPIcs, Volume 308, ESA 2024 Pages 100:1 - 100:16 Link Publication -
2024
Title Multiplicative auction algorithm for approximate maximum weight bipartite matching DOI 10.1007/s10107-024-02066-3 Type Journal Article Author Henzinger M Journal Mathematical Programming -
2020
Title Redundancy in distributed proofs DOI 10.1007/s00446-020-00386-z Type Journal Article Author Feuilloley L Journal Distributed Computing Pages 113-132 Link Publication -
2023
Title Multiplicative Auction Algorithm forApproximate Maximum Weight Bipartite Matching; In: Integer Programming and Combinatorial Optimization - 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings DOI 10.1007/978-3-031-32726-1_32 Type Book Chapter Publisher Springer International Publishing -
2022
Title Brief Announcement: Broadcasting Time in Dynamic Rooted Trees is Linear DOI 10.1145/3519270.3538460 Type Conference Proceeding Abstract Author El-Hayek A Pages 54-56 Link Publication -
2024
Title Making Old Things New: A Unified Algorithm for Differentially Private Clustering DOI 10.48550/arxiv.2406.11649 Type Preprint Author Henzinger M Link Publication -
2024
Title Counting Perfect Matchings In Dirac Hypergraphs DOI 10.48550/arxiv.2408.09589 Type Preprint Author Kwan M Link Publication -
2024
Title Expander Hierarchies for Normalized Cuts on Graphs DOI 10.1145/3637528.3671978 Type Conference Proceeding Abstract Author Hanauer K Pages 1016-1027 -
2024
Title Data-Efficient Learning via Clustering-Based Sensitivity Sampling: Foundation Models and Beyond DOI 10.48550/arxiv.2402.17327 Type Preprint Author Axiotis K Link Publication -
2024
Title Continual Counting with Gradual Privacy Expiration DOI 10.48550/arxiv.2406.03802 Type Preprint Author Andersson J Link Publication -
2024
Title Private Counting of Distinct Elements in the Turnstile Model and Extensions DOI 10.4230/lipics.approx/random.2024.40 Type Conference Proceeding Abstract Author Henzinger M Conference LIPIcs, Volume 317, APPROX/RANDOM 2024 Pages 40:1 - 40:21 Link Publication -
2021
Title On the Complexity of Load Balancing in Dynamic Networks DOI 10.1145/3409964.3461808 Type Conference Proceeding Abstract Author Gilbert S Pages 254-264 -
2024
Title On the Complexity of Algorithms with Predictions for Dynamic Graph Problems DOI 10.4230/lipics.itcs.2024.62 Type Conference Proceeding Abstract Author Henzinger M Conference LIPIcs, Volume 287, ITCS 2024 Pages 62:1 - 62:25 Link Publication -
2024
Title Electrical Flows for Polylogarithmic Competitive Oblivious Routing DOI 10.4230/lipics.itcs.2024.55 Type Conference Proceeding Abstract Author Goranci G Conference LIPIcs, Volume 287, ITCS 2024 Pages 55:1 - 55:22 Link Publication -
2024
Title Deterministic Near-Linear Time Minimum Cut in Weighted Graphs; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.111 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2024
Title Experimental Evaluation of Fully Dynamic k -Means via Coresets; In: 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) DOI 10.1137/1.9781611977929.17 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2024
Title A Unifying Framework for Differentially Private Sums under Continual Observation; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.38 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2024
Title Dynamically Maintaining the Persistent Homology of Time Series; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.11 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2024
Title A centrality analysis of the Lightning Network DOI 10.1016/j.telpol.2023.102696 Type Journal Article Author Förster K Journal Telecommunications Policy -
2023
Title Faster Submodular Maximization for Several Classes of Matroids DOI 10.4230/lipics.icalp.2023.74 Type Conference Proceeding Abstract Author Henzinger M Conference LIPIcs, Volume 261, ICALP 2023 Pages 74:1 - 74:18 Link Publication -
2023
Title Efficient Data Structures for Incremental Exact and Approximate Maximum Flow DOI 10.4230/lipics.icalp.2023.69 Type Conference Proceeding Abstract Author Goranci G Conference LIPIcs, Volume 261, ICALP 2023 Pages 69:1 - 69:14 Link Publication -
2022
Title Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification; In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday DOI 10.1007/978-3-031-22337-2_14 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title Almost Tight Error Bounds on Differentially Private Continual Counting; In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977554.ch183 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2023
Title Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover DOI 10.1137/21m1428649 Type Journal Article Author Bhattacharya S Journal SIAM Journal on Computing -
2021
Title Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.75 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2021
Title Tight Bounds for Online Graph Partitioning; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.166 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2021
Title New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.110 Type Book Chapter Publisher Society for Industrial and Applied Mathematics -
2022
Title Constant-time Dynamic ( +1)-Coloring DOI 10.1145/3501403 Type Journal Article Author Henzinger M Journal ACM Transactions on Algorithms -
2020
Title Models of Smoothing in Dynamic Networks DOI 10.48550/arxiv.2009.13006 Type Preprint Author Meir U Link Publication -
2020
Title Distributed Quantum Proofs for Replicated Data DOI 10.48550/arxiv.2002.10018 Type Other Author Fraigniaud P Link Publication -
2021
Title On the Complexity of Weight-Dynamic Network Algorithms DOI 10.23919/ifipnetworking52078.2021.9472803 Type Conference Proceeding Abstract Author Henzinger M Pages 1-9 Link Publication -
2021
Title Differentially Private Algorithms for Graphs Under Continual Observation DOI 10.48550/arxiv.2106.14756 Type Preprint Author Fichtenberger H -
2021
Title Upper and Lower Bounds for Fully Retroactive Graph Problems DOI 10.1007/978-3-030-83508-8_34 Type Book Chapter Author Henzinger M Publisher Springer Nature Pages 471-484 -
2020
Title Chameleon DOI 10.1145/3386367.3432879 Type Conference Proceeding Abstract Author Van Bemten A Pages 451-465 Link Publication -
2022
Title Recent Advances in Fully Dynamic Graph Algorithms – A Quick Reference Guide DOI 10.1145/3555806 Type Journal Article Author Hanauer K Journal ACM Journal of Experimental Algorithmics Pages 1-45
-
2020
Title Member of Swiss Science Council Type Participation in a guidance/advisory committee
-
2023
Link
Title Invited keynote at International Symposium on Experimental Algorithms Type A talk or presentation Link Link -
2023
Title Invited talk at Tu Graz Type A talk or presentation -
2023
Link
Title Workshop organization at the Simons Institute at UC Berkeley Type Participation in an activity, workshop or similar Link Link -
2025
Link
Title TU Vienna Voices of Innovation: Women, Academia and the Age of AI - Panel Discussion Type A talk or presentation Link Link -
2023
Link
Title ORF Gespraech: Was die Welt zusammenhaelt Type A press release, press conference or response to a media enquiry/interview Link Link
-
2024
Title Best paper award at the SIAM/ACM Symposium on Discrete Algorithms Type Poster/abstract prize Level of Recognition Continental/International
-
2023
Title Static and Dynamic Hierarchical Graph Decompositions Type Research grant (including intramural programme) Start of Funding 2023 Funder Austrian Science Fund (FWF) -
2022
Title The design and evaluation of modern fully dynamic data structures Type Research grant (including intramural programme) Start of Funding 2022 Funder Marie Curie -
2023
Title Efficient algorithms Type Research grant (including intramural programme) Start of Funding 2023 Funder Austrian Science Fund (FWF)