SODA'25 Day 3 (Tuesday)

All day (8:30 AM - 5:00 PM)RegistrationGrand Gallery - 2nd Floor
All day (9:00 AM - 5:00 PM)Exhibitor HoursGrand Gallery - 2nd Floor
8:30 AM - 9:00 AMContinental BreakfastGrand Gallery - 2nd Floor
TimeSODA 7A
Grand Ballroom C/D - 2nd Floor
Chair: William Umboh (Univ. of Melbourne)
SODA 7B
Toulouse - 2nd Floor Mezzanine
Chair: Nikhil Bansal (UMich)
SODA 7C
Grand Ballroom A - 2nd Floor
Chair: Artur Czumaj (Univ. of Warwick)
SOSA 3
St. Charles - 1st Floor
Chair: Robert Tarjan (Princeton Univ.)
9:00-9:20Improved Bounds for Fully Dynamic Matching Via Ordered Ruzsa-Szemeredi Graphs
Sepehr Assadi (Univ. of Waterloo); Sanjeev Khanna (UPenn); Peter Kiss (Univ. of Vienna)
Bounding ε-Scatter Dimension Via Metric Sparsity
Romain Bourneuf (Inria-LIP-ENS Lyon); Marcin Pilipczuk (Univ. of Warsaw)
An Analogue of Reed's Conjecture for Digraphs
Ken-ichi Kawarabayashi and Lucas Picasarri-Arrieta (National Institute of Informatics)
Multi-Dimensional Approximate Counting
Dingyu Wang (UMich)
9:25-9:45Matching Composition and Efficient Weight Reduction in Dynamic Matching
Aaron Bernstein (Rutgers Univ.); Jiale Chen (Stanford Univ.); Aditi Dudeja (Univ. of Salzburg); Zachary Langley (Rutgers Univ.); Aaron Sidford and Ta-Wei Tu (Stanford Univ.)
The Johnson-Lindenstrauss Lemma for Clustering and Subspace Approximation: From Coresets to Dimension Reduction
Erik Waingarten (UPenn); Moses Charikar (Stanford Univ.)
Weak Coloring Numbers of Minor-Closed Graph Classes
Jedrzej Hodor (Jagiellonian Univ.); Hoang La (CNRS, Université Paris-Saclay); Piotr Micek (Jagiellonian Univ.); Clément Rambaud (CEPAM - CNRS)
3sum in Preprocessed Universes: Faster and Simpler
Adam Polak (Bocconi Univ.); Shashwat Kasliwal and Pratyush Sharma (IIT Delhi)
9:50-10:10New Philosopher Inequalities for Online Bayesian Matching, Via Pivotal Sampling
Mark Braverman (Princeton Univ.); Mahsa Derakhshan (Northeastern Univ.); Tristan Pollner and Amin Saberi (Stanford Univ.); David Wajc (Technion Israel Institute of Technology)
Embedding Probability Distributions into Low Dimensional 1: Tree Ising Models Via Truncated Metrics
Moses Charikar, Spencer Compton, and Chirag Pabbaraju (Stanford Univ.)
Unique-Neighbor Expanders with Better Expansion for Polynomial-Sized Sets
Yeyuan Chen (UMich)
Optimal Prefix-Suffix Queries with Applications
Solon P. Pissis (CWI, Amsterdam)
10:15-10:35Entropy Regularization and Faster Decremental Matching in General Graphs
Jiale Chen, Aaron Sidford, and Ta-Wei Tu (Stanford Univ.)
Highway Dimension: a Metric View
Andreas E. Feldmann (Univ. of Sheffield); Arnold Filtser (Bar-Ilan Univ.)
A Coarse Erd\H{o}s-P'{o}sa Theorem
Jungho Ahn (Korea Institute for Advanced Study); Jochen Pascal Gollin (Univ. of Primorska); Tony Huynh (Université Libre de Bruxelles); O-Joung Kwon (Hanyang Univ.)
Pure Binary Finger Search Trees
Gerth S. Brodal and Casper Rysgaard (Aarhus Univ.)
10:40-11:00Online Dependent Rounding Schemes for Bipartite Matchings, with Applications
Joseph (Seffi) Naor (Technion Israel Institute of Technology); Aravind Srinivasan (Univ. of Maryland, College Park); David Wajc (Technion Israel Institute of Technology)
Outlier-robust Mean Estimation near the Breakdown Point via Sum-of-Squares
Hongjie Chen, Deepak Narayanan Sridharan, and David Steurer (ETH Zurich)
Planar Graphs in Blowups of Fans
Pat Morin (Carleton Univ.)
A Simple Algorithm for Dynamic Carpooling with Recourse
Yuval Efron, Shyamal Patel, and Cliff Stein (Columbia Univ.)
11:05 AM - 11:30 AMCoffee BreakGrand Gallery - 2nd Floor
11:30 AM - 12:30 PMIP2: When and Why do Efficient Algorithms Exist (for Constraint Satisfaction and Beyond)?
Venkatesan Guruswami (UC Berkeley)
Grand Ballroom C/D - 2nd Floor
12:30 PM - 2:00 PMLunch BreakAttendees on their own
TimeSODA 8A
Grand Ballroom C/D - 2nd Floor
Chair: Mike Dinitz (Johns Hopkins Univ.)
SODA 8B
Toulouse - 2nd Floor Mezzanine
Chair: Hung Le (UMass Amherst)
SODA 8C
Grand Ballroom A - 2nd Floor
Chair: Venkat Guruswami (UC Berkeley)
SOSA 4
St. Charles - 1st Floor
Chair: Seth Pettie (UMich)
2:00-2:20Streaming Algorithms Via Local Algorithms for Maximum Directed Cut
Santhoshini Velusamy (Toyota Technological Institute at Chicago); Raghuvansh Saxena (Microsoft Research); Noah Singer (CMU); Madhu Sudan (Harvard Univ.)
A Fast Algorithm for Computing Zigzag Representatives
Tamal K. Dey (Purdue Univ.); Tao Hou (Univ. of Oregon); Dmitriy Morozov (Lawrence Berkeley National Laboratory)
Hardness of Counting Small Induced Subgraphs: Fourier vs. Sylow
Philip Wellnitz and Simon Döring (Max Planck Institute for Informatics); Dániel Marx (CISPA Helmholtz Center for Information Security); Radu Curticapean (Univ. of Regensburg and IT Univ. of Copenhagen); Daniel Neuen (Max Planck Institute for Informatics)
Bidirectional Dijkstra's Algorithm Is Instance-Optimal
Bernhard Haeupler (INSAIT, Sofia Univ.); Richard Hladík (Sofia Univ.); Václav Rozhon (ETH Zurich); Robert Tarjan (Princeton Univ.); Jakub Tetek (INSAIT, Sofia Univ.)
2:25-2:45Universal Perfect Samplers for Incremental Streams
Dingyu Wang (UMich); Seth Pettie (UMich)
Minimum Convex Hull and Maximum Overlap of Two Convex Polytopes
Mook Kwon Jung, Seokyun Kang, and Hee-Kap Ahn (POSTECH)
Maximum Span Hypothesis: A Potentially Weaker Assumption Than Gap-ETH for Parameterized Complexity
Karthik C. S. (Rutgers Univ.); Subhash Khot (NYU)
A Simple Parallel Algorithm with Near-Linear Work for Negative-Weight Single-Source Shortest Path
Nick Fischer (INSAIT, Sofia Univ.); Bernhard Haeupler (ETH Zurich); Rustam Latypov (Aalto Univ.); Antti Roeyskoe and Aurelio L. Sulser (ETH Zurich)
2:50-3:10Streaming and Communication Complexity of Load-Balancing Via Matching Contractors
Sepehr Assadi (Univ. of Waterloo); Aaron Bernstein (Rutgers Univ.); Zach Langley (Rutgers Univ.); Lap Chi Lau and Robert Wang (Univ. of Waterloo)
Partitioning a Polygon Into Small Pieces
Mikkel Abrahamsen, Nichlas Rasmussen, and Mads Jensen (Univ. of Copenhagen)
Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
Ignasi Sau (CNRS, LIRMM); Giannos Stamoulis (Univ. of Warsaw); Dimitrios Thilikos (CNRS, LIRMM)
Efficient Matroid Intersection Via a Batch-Update Auction Algorithm
Joakim Blikstad (KTH Royal Institute of Technology); Ta-Wei Tu (Stanford Univ.)
3:15-3:35Understanding Memory-Regret Trade-Off for Streaming Stochastic Multi-Armed Bandits
Yuchen He, Zichun Ye, and Chihao Zhang (Shanghai Jiao Tong Univ.)
Computing the Second and Third Systoles of a Combinatorial Surface
Matthijs Ebbens (Univ. of Cologne); Francis Lazarus (Université Grenoble)
Losing Treewidth In The Presence Of Weights
Michal Wlodarczyk (Univ. of Warsaw)
Trading Prophets: How to Trade Multiple Stocks Optimally
Surbhi Rajput, Ashish Chiplunkar, and Rohit Vaish (IIT Delhi)
3:40-4:00Near-Optimal Relative Error Streaming Quantile Estimation Via Elastic Compactors
Hongxun Wu (UC Berkeley); Elena Gribelyuk, Pachara Sawettamalya, and Huacheng Yu (Princeton Univ.)
An Efficient Regularity Lemma for Semi-Algebraic Hypergraphs
Natan Rubin (Ben-Gurion Univ.)
Finding irrelevant vertices in linear time on bounded-genus graphs
Petr Golovach (Univ. of Bergen); Stavros Kolliopoulos (National and Kapodistrian Univ. of Athens); Giannos Stamoulis (Univ. of Warsaw); Dimitrios Thilikos (CNRS, LIRMM)
A Simple Lower Bound for Set Agreement in Dynamic Networks
Pierre Fraigniaud (Université Paris Sud & CNRS); Minh Hang Nguyen (Université Paris Cité); Ami Paz (CNRS LISN, Université Paris-Saclay)
4:05 PM - 4:30 PMCoffee BreakGrand Gallery - 2nd Floor
TimeSODA 9A
Grand Ballroom C/D - 2nd Floor
Chair: William Umboh (Univ. of Melbourne)
SODA 9B
Toulouse - 2nd Floor Mezzanine
Chair: Seth Pettie (UMich)
SODA 9C
Grand Ballroom A - 2nd Floor
Chair: Rajmohan Rajaraman (Northeastern Univ.)
SOSA 5
St. Charles - 1st Floor
Chair: Tobias Mömke (Universität Augsburg)
4:30-4:50Competitive Strategies to Use "Warm Start" Algorithms with Predictions
Avrim Blum (Toyota Technological Institute at Chicago); Vaidehi Srinivas (Northwestern Univ.)
Efficient d-Ary Cuckoo Hashing at High Load Factors by Bubbling Up
William Kuszmaul (CMU); Michael Mitzenmacher (Harvard Univ.)
Parks and Recreation: Color Fault-Tolerant Spanners Made Local
Asaf Petruschka, Merav Parter, Shay Sapir, and Elad Tzalik (Weizmann Institute of Science)
Simple Combinatorial Construction of the ko(1)-Lower Bound for Approximating the Parameterized k-Clique
Yijia Chen (Shanghai Jiao Tong Univ.); Yi Feng (Shanghai Univ. of Finance and Economics); Bundit Laekhanukit (Independent Researcher); Yanlin Liu (Ocean Univ. of China)
4:55-5:15Online Scheduling Via Gradient Descent for Weighted Flow Time Minimization
Qingyun Chen, Sungjin Im, and Aditya Petety (UC Merced)
Fast and Simple Sorting Using Partial Information
Richard Hladík (Sofia Univ.); Bernhard Haeupler (ETH Zurich); John Iacono (Université libre de Bruxelles); Václav Rozhon (ETH Zurich); Robert Tarjan (Princeton Univ.); Jakub Tetek (INSAIT, Sofia Univ.)
Asynchronous 3-Majority Dynamics with Many Opinions
Nobutaka Shimizu (Institute of Science Tokyo); Colin Cooper, Frederik Mallmann-Trenn, and Tomasz Radzik (King's College London); Takeharu Shiraga (Chuo Univ.)
Validating a PTAS for Triangle-Free 2-Matching
Yusuke Kobayashi and Takashi Noguchi (Kyoto Univ.)
5:20-5:40Stronger Adversaries Grow Cheaper Forests: Online Node-Weighted Steiner Problems
Sander Borst (Centrum Wiskunde & Informatica); Marek Elias and Moritz Venzin (Bocconi Univ.)
Tight Bounds and Phase Transitions for Incremental and Dynamic Retrieval
Aaron L. Putterman (Harvard Univ.); William Kuszmaul (CMU); Tingqiang Xu and Hangrui Zhou (Tsinghua Univ.); Renfei Zhou (CMU)
Sublinear-Round Broadcast Without Trusted Setup
Andreea Alexandru (Duality Technologies); Julian Loss (CISPA Helmholtz Center for Information Security); Charalampos Papamanthou (Yale Univ.); Giorgos Tsimos (Univ. of Maryland); Benedikt Wagner (Ethereum Foundation)
Simple Approximation Algorithms for Polyamorous Scheduling
Yuriy Biktairov (Univ. of Southern California); Leszek Gasieniec (Univ. of Liverpool); Wanchote Po Jiamjitrak (Univ. of Helsinki); N Namrata and Benjamin Smith (Univ. of Liverpool); Sebastian Wild (Univ. of Marburg)
5:45-6:05Putting Off the Catching Up: Online Joint Replenishment Problem with Holding and Backlog Costs
Benjamin Moseley, Aidin Niaparast, and R. Ravi (CMU)
A Cell Probe Lower Bound for the Predecessor Search Problem in PRAM
Peyman Afshani (Aarhus Univ.); Nodari Sitchinava (Univ. of Hawaii at Manoa)
Fully-Distributed Byzantine Agreement in Sparse Networks
John Augustine (IIT Mumbai); Fabien Dufoulon (Lancaster Univ.); Gopal Pandurangan (Univ. of Houston)
Spectral Sparsification by Deterministic Discrepancy Walk
Lap Chi Lau and Robert Wang (Univ. of Waterloo); Hong Zhou (Fuzhou Univ.)
6:10-6:30Unweighted Layered Graph Traversal: Passing a Crown Via Entropy Maximization
Romain Cosson (Inria); Xingjian Bai (MIT); Christian Coester (Univ. of Oxford)
Top-K Document Retrieval in Compressed Space
Gonzalo Navarro (Univ. of Chile); Yakov Nekrich (Michigan Technological Univ.)
On the Locality of Hall's Theorem
Sebastian Brandt (CISPA Helmholtz Center for Information Security); Yannic Maus (Technische Univ. Graz); Ananth Narayanan (CISPA Helmholtz Center for Information Security); Florian Schager (TU Graz); Jara Uitto (Aalto Univ.)
Simple Length-Constrained Minimum Spanning Trees
Ellis Hershkowitz and Richard Huang (Brown Univ.)
6:35-6:55The Power of Proportional Fairness for Non-Clairvoyant Scheduling under Polyhedral Constraints
Sven Jäger (RPTU Kaiserslautern-Landau); Alexander Lindermayr and Nicole Megow (Universität Bremen)
Faster Two-Dimensional Pattern Matching with k Mismatches
Jonas Ellert (ENS Paris Saclay); Pawel Gawrychowski and Adam Gorkiewicz (Univ. of Wroclaw); Tatiana Starikovskaya (École Normale Supérieure Paris)
Partial Synchrony for Free: New Upper Bounds for Byzantine Agreement
Pierre Civit (EPFL); Ayaz Dzulfikar and Seth Gilbert (National Univ. of Singapore); Rachid Guerraoui, Jovan Komatovic, and Manuel Vidigueira (EPFL); Igor Zablotchi (Mysten Labs)
 
7:00 PM - 8:00 PMJane Street EstimathonAstor Ballroom I/II - 2nd Floor