17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 1-2406, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@Proceedings{saraf:LIPIcs.ITCS.2026,
title = {{LIPIcs, Volume 362, ITCS 2026, Complete Volume}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {1--2406},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026},
URN = {urn:nbn:de:0030-drops-254076},
doi = {10.4230/LIPIcs.ITCS.2026},
annote = {Keywords: LIPIcs, Volume 362, ITCS 2026, Complete Volume}
}
17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 0:i-0:xxiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{saraf:LIPIcs.ITCS.2026.0,
author = {Saraf, Shubhangi},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {0:i--0:xxiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.0},
URN = {urn:nbn:de:0030-drops-254060},
doi = {10.4230/LIPIcs.ITCS.2026.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Amir Abboud, Ron Safier, and Nathan Wallheimer. Triangle Detection in H-Free Graphs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 1:1-1:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{abboud_et_al:LIPIcs.ITCS.2026.1,
author = {Abboud, Amir and Safier, Ron and Wallheimer, Nathan},
title = {{Triangle Detection in H-Free Graphs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {1:1--1:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.1},
URN = {urn:nbn:de:0030-drops-252885},
doi = {10.4230/LIPIcs.ITCS.2026.1},
annote = {Keywords: fine-grained complexity, triangle detection, H-free graphs}
}
Avantika Agarwal and Shalev Ben-David. Oracle Separations for the Quantum-Classical Polynomial Hierarchy. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 2:1-2:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{agarwal_et_al:LIPIcs.ITCS.2026.2,
author = {Agarwal, Avantika and Ben\{-\}David, Shalev},
title = {{Oracle Separations for the Quantum-Classical Polynomial Hierarchy}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {2:1--2:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.2},
URN = {urn:nbn:de:0030-drops-252893},
doi = {10.4230/LIPIcs.ITCS.2026.2},
annote = {Keywords: Switching Lemma, Polynomial Hierarchy, Approximate Degree, Random Oracles, Query Complexity, Quantum Computing}
}
Aryan Agarwala, Yaroslav Alekseev, and Antoine Vinciguerra. Linear Matroid Intersection Is in Catalytic Logspace. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 3:1-3:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{agarwala_et_al:LIPIcs.ITCS.2026.3,
author = {Agarwala, Aryan and Alekseev, Yaroslav and Vinciguerra, Antoine},
title = {{Linear Matroid Intersection Is in Catalytic Logspace}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {3:1--3:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.3},
URN = {urn:nbn:de:0030-drops-252908},
doi = {10.4230/LIPIcs.ITCS.2026.3},
annote = {Keywords: Catalytic Computing, Computational Complexity, Matroid Theory, Algorithms}
}
Aryan Agarwala and Nithin Varma. Pseudodeterministic Algorithms for Minimum Cut Problems. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{agarwala_et_al:LIPIcs.ITCS.2026.4,
author = {Agarwala, Aryan and Varma, Nithin},
title = {{Pseudodeterministic Algorithms for Minimum Cut Problems}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {4:1--4:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.4},
URN = {urn:nbn:de:0030-drops-252917},
doi = {10.4230/LIPIcs.ITCS.2026.4},
annote = {Keywords: Minimum Cut, Pseudodeterministic Algorithms}
}
Mridul Ahi, Keerti Choudhary, Shlok Pande, Pushpraj, and Lakshay Saggi. Maximum-Flow and Minimum-Cut Sensitivity Oracles for Directed Graphs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 5:1-5:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ahi_et_al:LIPIcs.ITCS.2026.5,
author = {Ahi, Mridul and Choudhary, Keerti and Pande, Shlok and Pushpraj and Saggi, Lakshay},
title = {{Maximum-Flow and Minimum-Cut Sensitivity Oracles for Directed Graphs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {5:1--5:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.5},
URN = {urn:nbn:de:0030-drops-252920},
doi = {10.4230/LIPIcs.ITCS.2026.5},
annote = {Keywords: Fault tolerance, Data structures, Minimum cuts, Maximum flows}
}
Eden Aldema Tshuva and Rotem Oshman. Model-Generic Incrementally Verifiable Computation from Updatable BARGs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 6:1-6:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{aldematshuva_et_al:LIPIcs.ITCS.2026.6,
author = {Aldema Tshuva, Eden and Oshman, Rotem},
title = {{Model-Generic Incrementally Verifiable Computation from Updatable BARGs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.6},
URN = {urn:nbn:de:0030-drops-252931},
doi = {10.4230/LIPIcs.ITCS.2026.6},
annote = {Keywords: incrementally verifiable computation, massively parallel computation, streaming, parallel RAM, batch arguments, SNARG}
}
Marco Aldi, Sevag Gharibian, and Dorian Rudolph. An Unholy Trinity: TFNP, Polynomial Systems, and the Quantum Satisfiability Problem. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 7:1-7:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{aldi_et_al:LIPIcs.ITCS.2026.7,
author = {Aldi, Marco and Gharibian, Sevag and Rudolph, Dorian},
title = {{An Unholy Trinity: TFNP, Polynomial Systems, and the Quantum Satisfiability Problem}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {7:1--7:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.7},
URN = {urn:nbn:de:0030-drops-252946},
doi = {10.4230/LIPIcs.ITCS.2026.7},
annote = {Keywords: quantum complexity theory, Quantum Merlin Arthur (QMA), Quantum Satisfiability Problem (QSAT), total function NP (TFNP)}
}
Yaroslav Alekseev and Nikita Gaevoy. Intersection Theorems: A Potential Approach to Proof Complexity Lower Bounds. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{alekseev_et_al:LIPIcs.ITCS.2026.8,
author = {Alekseev, Yaroslav and Gaevoy, Nikita},
title = {{Intersection Theorems: A Potential Approach to Proof Complexity Lower Bounds}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {8:1--8:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.8},
URN = {urn:nbn:de:0030-drops-252953},
doi = {10.4230/LIPIcs.ITCS.2026.8},
annote = {Keywords: proof complexity, intersection theorems}
}
Robert Andrews, Jules Armand, Prateek Dwivedi, Magnus Rahbek Dalgaard Hansen, Nutan Limaye, Srikanth Srinivasan, and Sébastien Tavenas. On Closure Properties of Read-Once Oblivious Algebraic Branching Programs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 9:1-9:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{andrews_et_al:LIPIcs.ITCS.2026.9,
author = {Andrews, Robert and Armand, Jules and Dwivedi, Prateek and Hansen, Magnus Rahbek Dalgaard and Limaye, Nutan and Srinivasan, Srikanth and Tavenas, S\'{e}bastien},
title = {{On Closure Properties of Read-Once Oblivious Algebraic Branching Programs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {9:1--9:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.9},
URN = {urn:nbn:de:0030-drops-252964},
doi = {10.4230/LIPIcs.ITCS.2026.9},
annote = {Keywords: Factoring, Closure Properties, Sparsity Bounds, Symmetric Polynomials, roABP, Expander Graphs}
}
Anurag Anshu, Jonas Haferkamp, Yeongwoo Hwang, and Quynh T. Nguyen. On the Complexity of Unique Quantum Witnesses and Quantum Approximate Counting. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 10:1-10:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{anshu_et_al:LIPIcs.ITCS.2026.10,
author = {Anshu, Anurag and Haferkamp, Jonas and Hwang, Yeongwoo and Nguyen, Quynh T.},
title = {{On the Complexity of Unique Quantum Witnesses and Quantum Approximate Counting}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {10:1--10:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.10},
URN = {urn:nbn:de:0030-drops-252978},
doi = {10.4230/LIPIcs.ITCS.2026.10},
annote = {Keywords: Quantum complexity, approximate counting, Valiant-Vazirani, eigenstate thermalization hypothesis}
}
Srinivasan Arunachalam, Davi Castro-Silva, Arkopal Dutt, and Tom Gur. Classical and Quantum Polynomial Freiman-Ruzsa Algorithms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 11:1-11:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{arunachalam_et_al:LIPIcs.ITCS.2026.11,
author = {Arunachalam, Srinivasan and Castro-Silva, Davi and Dutt, Arkopal and Gur, Tom},
title = {{Classical and Quantum Polynomial Freiman-Ruzsa Algorithms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {11:1--11:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.11},
URN = {urn:nbn:de:0030-drops-252987},
doi = {10.4230/LIPIcs.ITCS.2026.11},
annote = {Keywords: Additive combinatorics, sublinear algorithms}
}
Julian Asilis, Xi Chen, Dutch Hansen, and Shang-Hua Teng. Semi-Random Graphs, Robust Asymmetry, and Reconstruction. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 12:1-12:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{asilis_et_al:LIPIcs.ITCS.2026.12,
author = {Asilis, Julian and Chen, Xi and Hansen, Dutch and Teng, Shang-Hua},
title = {{Semi-Random Graphs, Robust Asymmetry, and Reconstruction}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.12},
URN = {urn:nbn:de:0030-drops-252993},
doi = {10.4230/LIPIcs.ITCS.2026.12},
annote = {Keywords: Graph reconstruction, random graphs}
}
Noam Avidan, Thomas A. Hahn, Joseph M. Renes, and Rotem Arnon. Fully Quantum Computational Entropies (Extended Abstract). In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 13:1-13:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{avidan_et_al:LIPIcs.ITCS.2026.13,
author = {Avidan, Noam and Hahn, Thomas A. and Renes, Joseph M. and Arnon, Rotem},
title = {{Fully Quantum Computational Entropies}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {13:1--13:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.13},
URN = {urn:nbn:de:0030-drops-253003},
doi = {10.4230/LIPIcs.ITCS.2026.13},
annote = {Keywords: quantum information theory, computational entropy, min-entropy, max-entropy}
}
Alberto Avila-Jimenez, David Barreda, Sarah-Laurie Evans, Austin Luchsinger, Aiden Massie, Robert Schweller, Evan Tomai, and Tim Wylie. General Computation Using Slidable Tiles with Deterministic Global Forces. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 14:1-14:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{avilajimenez_et_al:LIPIcs.ITCS.2026.14,
author = {Avila-Jimenez, Alberto and Barreda, David and Evans, Sarah-Laurie and Luchsinger, Austin and Massie, Aiden and Schweller, Robert and Tomai, Evan and Wylie, Tim},
title = {{General Computation Using Slidable Tiles with Deterministic Global Forces}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {14:1--14:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.14},
URN = {urn:nbn:de:0030-drops-253019},
doi = {10.4230/LIPIcs.ITCS.2026.14},
annote = {Keywords: motion planning, global control, external forces, deterministic computation, occupancy, vacancy}
}
Marshall Ball and Peter Crawford-Kahrl. How to Use Nondeterminism in Cryptography. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 15:1-15:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ball_et_al:LIPIcs.ITCS.2026.15,
author = {Ball, Marshall and Crawford-Kahrl, Peter},
title = {{How to Use Nondeterminism in Cryptography}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {15:1--15:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.15},
URN = {urn:nbn:de:0030-drops-253024},
doi = {10.4230/LIPIcs.ITCS.2026.15},
annote = {Keywords: limited nondeterminism, cryptography, computational complexity, hardness amplification, pseudorandom generators, hardcore bits}
}
Omri Ben-Eliezer, Krzysztof Onak, and Sandeep Silwal. Robust Streaming Against Low-Memory Adversaries. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 16:1-16:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{beneliezer_et_al:LIPIcs.ITCS.2026.16,
author = {Ben-Eliezer, Omri and Onak, Krzysztof and Silwal, Sandeep},
title = {{Robust Streaming Against Low-Memory Adversaries}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {16:1--16:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.16},
URN = {urn:nbn:de:0030-drops-253037},
doi = {10.4230/LIPIcs.ITCS.2026.16},
annote = {Keywords: robust streaming, adaptive robustness, bounded-space adversaries}
}
Adam Bene Watts and Natalie Parham. Unconditional Quantum Advantage for Sampling with Shallow Circuits. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 17:1-17:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{benewatts_et_al:LIPIcs.ITCS.2026.17,
author = {Bene Watts, Adam and Parham, Natalie},
title = {{Unconditional Quantum Advantage for Sampling with Shallow Circuits}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {17:1--17:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.17},
URN = {urn:nbn:de:0030-drops-253048},
doi = {10.4230/LIPIcs.ITCS.2026.17},
annote = {Keywords: Circuit Complexity, Sampling Separation, Shallow Quantum Circuits, Unconditional Separations, Complexity of Distributions}
}
Ari Biswas, Mark Bun, Clément L. Canonne, and Satchit Sivakumar. Interactive Proofs for Distribution Testing with Conditional Oracles. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 18:1-18:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{biswas_et_al:LIPIcs.ITCS.2026.18,
author = {Biswas, Ari and Bun, Mark and Canonne, Cl\'{e}ment L. and Sivakumar, Satchit},
title = {{Interactive Proofs for Distribution Testing with Conditional Oracles}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {18:1--18:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.18},
URN = {urn:nbn:de:0030-drops-253059},
doi = {10.4230/LIPIcs.ITCS.2026.18},
annote = {Keywords: Distribution Testing, Interactive Proofs}
}
Keller Blackwell and Mary Wootters. Limitations to Computing Quadratic Functions on Reed-Solomon Encoded Data. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 19:1-19:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{blackwell_et_al:LIPIcs.ITCS.2026.19,
author = {Blackwell, Keller and Wootters, Mary},
title = {{Limitations to Computing Quadratic Functions on Reed-Solomon Encoded Data}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {19:1--19:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.19},
URN = {urn:nbn:de:0030-drops-253064},
doi = {10.4230/LIPIcs.ITCS.2026.19},
annote = {Keywords: Distributed computation, Reed-Solomon codes}
}
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, and Li-Yang Tan. Samplability Makes Learning Easier. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 20:1-20:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{blanc_et_al:LIPIcs.ITCS.2026.20,
author = {Blanc, Guy and Koch, Caleb and Lange, Jane and Strassle, Carmen and Tan, Li-Yang},
title = {{Samplability Makes Learning Easier}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {20:1--20:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.20},
URN = {urn:nbn:de:0030-drops-253071},
doi = {10.4230/LIPIcs.ITCS.2026.20},
annote = {Keywords: PAC learning, Samplable distributions}
}
Guy Blanc, William Pires, and Toniann Pitassi. Differential Privacy from Axioms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 21:1-21:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{blanc_et_al:LIPIcs.ITCS.2026.21,
author = {Blanc, Guy and Pires, William and Pitassi, Toniann},
title = {{Differential Privacy from Axioms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {21:1--21:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.21},
URN = {urn:nbn:de:0030-drops-253081},
doi = {10.4230/LIPIcs.ITCS.2026.21},
annote = {Keywords: Differential Privacy, Privacy Amplification, Composition}
}
Ari Blondal, Hamed Hatami, Pooya Hatami, Chavdar Lalov, and Sivan Tretiak. Simplicial Covering Dimension of Extremal Concept Classes. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 22:1-22:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{blondal_et_al:LIPIcs.ITCS.2026.22,
author = {Blondal, Ari and Hatami, Hamed and Hatami, Pooya and Lalov, Chavdar and Tretiak, Sivan},
title = {{Simplicial Covering Dimension of Extremal Concept Classes}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {22:1--22:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.22},
URN = {urn:nbn:de:0030-drops-253094},
doi = {10.4230/LIPIcs.ITCS.2026.22},
annote = {Keywords: PAC Learning, Extremal Concept Classes, Replicability, List Replicability, Topology, Geometry}
}
Andrej Bogdanov, Rohit Chatterjee, Yunqi Li, and Prashant Nalini Vasudevan. Decoding Balanced Linear Codes with Preprocessing. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 23:1-23:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{bogdanov_et_al:LIPIcs.ITCS.2026.23,
author = {Bogdanov, Andrej and Chatterjee, Rohit and Li, Yunqi and Vasudevan, Prashant Nalini},
title = {{Decoding Balanced Linear Codes with Preprocessing}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {23:1--23:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.23},
URN = {urn:nbn:de:0030-drops-253107},
doi = {10.4230/LIPIcs.ITCS.2026.23},
annote = {Keywords: Linear codes, nearest codeword problem, learning parity with noise}
}
John Bostanci, Yuval Efron, Tony Metger, Alexander Poremba, Luowen Qian, and Henry Yuen. Unitary Complexity and the Uhlmann Transformation Problem. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 24:1-24:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{bostanci_et_al:LIPIcs.ITCS.2026.24,
author = {Bostanci, John and Efron, Yuval and Metger, Tony and Poremba, Alexander and Qian, Luowen and Yuen, Henry},
title = {{Unitary Complexity and the Uhlmann Transformation Problem}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {24:1--24:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.24},
URN = {urn:nbn:de:0030-drops-253111},
doi = {10.4230/LIPIcs.ITCS.2026.24},
annote = {Keywords: Uhlmann’s theorem, unitary complexity theory}
}
John Bostanci and Yeongwoo Hwang. Commuting Local Hamiltonians Beyond 2D. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 25:1-25:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{bostanci_et_al:LIPIcs.ITCS.2026.25,
author = {Bostanci, John and Hwang, Yeongwoo},
title = {{Commuting Local Hamiltonians Beyond 2D}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {25:1--25:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.25},
URN = {urn:nbn:de:0030-drops-253129},
doi = {10.4230/LIPIcs.ITCS.2026.25},
annote = {Keywords: Quantum complexity, commuting Hamiltonians, complexity theory, C* algebras}
}
John Bostanci, Tony Metger, and Henry Yuen. Local Transformations of Bipartite Entanglement Are Rigid. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 26:1-26:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{bostanci_et_al:LIPIcs.ITCS.2026.26,
author = {Bostanci, John and Metger, Tony and Yuen, Henry},
title = {{Local Transformations of Bipartite Entanglement Are Rigid}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {26:1--26:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.26},
URN = {urn:nbn:de:0030-drops-253138},
doi = {10.4230/LIPIcs.ITCS.2026.26},
annote = {Keywords: Uhlmann’s theorem, quantum entanglement, stability theorems}
}
Sergey Bravyi, Natalie Parham, and Minh Tran. Identity Check Problem for Shallow Quantum Circuits. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 27:1-27:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{bravyi_et_al:LIPIcs.ITCS.2026.27,
author = {Bravyi, Sergey and Parham, Natalie and Tran, Minh},
title = {{Identity Check Problem for Shallow Quantum Circuits}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.27},
URN = {urn:nbn:de:0030-drops-253147},
doi = {10.4230/LIPIcs.ITCS.2026.27},
annote = {Keywords: Quantum computing, Identity check problem, quantum circuits, classical simulation of quantum computation, shallow circuits}
}
Martijn Brehm and Nicolas Resch. Linear Time Encodable Binary Code Achieving GV Bound with Linear Time Encodable Dual Achieving GV Bound. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 28:1-28:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{brehm_et_al:LIPIcs.ITCS.2026.28,
author = {Brehm, Martijn and Resch, Nicolas},
title = {{Linear Time Encodable Binary Code Achieving GV Bound with Linear Time Encodable Dual Achieving GV Bound}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {28:1--28:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.28},
URN = {urn:nbn:de:0030-drops-253157},
doi = {10.4230/LIPIcs.ITCS.2026.28},
annote = {Keywords: Binary error-correcting codes, dual codes, fast encoding, repeat-multiple-accumulate codes}
}
David A. Brewster, Yichen Huang, Michael Mitzenmacher, and Martin A. Nowak. The Mixed Birth-Death/death-Birth Moran Process (Extended Abstract). In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 29:1-29:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{brewster_et_al:LIPIcs.ITCS.2026.29,
author = {Brewster, David A. and Huang, Yichen and Mitzenmacher, Michael and Nowak, Martin A.},
title = {{The Mixed Birth-Death/death-Birth Moran Process}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {29:1--29:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.29},
URN = {urn:nbn:de:0030-drops-253161},
doi = {10.4230/LIPIcs.ITCS.2026.29},
annote = {Keywords: Moran process, Approximation algorithms, Random graphs}
}
Arnav Burudgunte, Paul Valiant, and Hongao Wang. New Bounds for Circular Trace Reconstruction. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 30:1-30:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{burudgunte_et_al:LIPIcs.ITCS.2026.30,
author = {Burudgunte, Arnav and Valiant, Paul and Wang, Hongao},
title = {{New Bounds for Circular Trace Reconstruction}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {30:1--30:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.30},
URN = {urn:nbn:de:0030-drops-253176},
doi = {10.4230/LIPIcs.ITCS.2026.30},
annote = {Keywords: Trace reconstruction, algorithmic statistics, Fourier analysis}
}
Sergio Cabello, Timothy M. Chan, and Panos Giannopoulos. Delaunay Triangulations with Predictions. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 31:1-31:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{cabello_et_al:LIPIcs.ITCS.2026.31,
author = {Cabello, Sergio and Chan, Timothy M. and Giannopoulos, Panos},
title = {{Delaunay Triangulations with Predictions}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {31:1--31:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.31},
URN = {urn:nbn:de:0030-drops-253186},
doi = {10.4230/LIPIcs.ITCS.2026.31},
annote = {Keywords: Delaunay Triangulation, Minimum Spanning Tree, Algorithms with Predictions}
}
Jin-Yi Cai and Ben Young. Vanishing Signatures, Orbit Closure, and the Converse of the Holant Theorem. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 32:1-32:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{cai_et_al:LIPIcs.ITCS.2026.32,
author = {Cai, Jin-Yi and Young, Ben},
title = {{Vanishing Signatures, Orbit Closure, and the Converse of the Holant Theorem}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {32:1--32:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.32},
URN = {urn:nbn:de:0030-drops-253198},
doi = {10.4230/LIPIcs.ITCS.2026.32},
annote = {Keywords: Holant, Orbit Closure Intersection, Homomorphism Indistinguishability, Tensor Network}
}
Clément L. Canonne, Abigail Gentle, and Vikrant Singhal. Uniformity Testing Under User-Level Local Privacy. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 33:1-33:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{canonne_et_al:LIPIcs.ITCS.2026.33,
author = {Canonne, Cl\'{e}ment L. and Gentle, Abigail and Singhal, Vikrant},
title = {{Uniformity Testing Under User-Level Local Privacy}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {33:1--33:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.33},
URN = {urn:nbn:de:0030-drops-253201},
doi = {10.4230/LIPIcs.ITCS.2026.33},
annote = {Keywords: Differential Privacy, Local Differential Privacy, Uniformity Testing, Identity Testing, Hypothesis Testing, User-Level Differential Privacy, Person-Level Differential Privacy}
}
Matthias C. Caro, Preksha Naik, and Joseph Slote. Testing Classical Properties from Quantum Data. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 34:1-34:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{caro_et_al:LIPIcs.ITCS.2026.34,
author = {Caro, Matthias C. and Naik, Preksha and Slote, Joseph},
title = {{Testing Classical Properties from Quantum Data}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {34:1--34:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.34},
URN = {urn:nbn:de:0030-drops-253213},
doi = {10.4230/LIPIcs.ITCS.2026.34},
annote = {Keywords: Quantum Property Testing, Quantum Data, Boolean Functions}
}
Davi Castro-Silva, Tom Gur, and Sergii Strelchuk. Symmetric Quantum Computation. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 35:1-35:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{castrosilva_et_al:LIPIcs.ITCS.2026.35,
author = {Castro-Silva, Davi and Gur, Tom and Strelchuk, Sergii},
title = {{Symmetric Quantum Computation}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {35:1--35:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.35},
URN = {urn:nbn:de:0030-drops-253223},
doi = {10.4230/LIPIcs.ITCS.2026.35},
annote = {Keywords: Quantum computing, complexity theory, symmetries}
}
Yi-Jun Chang, Lyuting Chen, and Haoran Zhou. Beyond 2-Edge-Connectivity: Algorithms and Impossibility for Content-Oblivious Leader Election. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 36:1-36:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{chang_et_al:LIPIcs.ITCS.2026.36,
author = {Chang, Yi-Jun and Chen, Lyuting and Zhou, Haoran},
title = {{Beyond 2-Edge-Connectivity: Algorithms and Impossibility for Content-Oblivious Leader Election}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {36:1--36:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.36},
URN = {urn:nbn:de:0030-drops-253239},
doi = {10.4230/LIPIcs.ITCS.2026.36},
annote = {Keywords: Asynchronous model, fault tolerance, quiescent termination}
}
Lijie Chen, Yang Hu, and Hanlin Ren. New Algebrization Barriers to Circuit Lower Bounds via Communication Complexity of Missing-String. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 37:1-37:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{chen_et_al:LIPIcs.ITCS.2026.37,
author = {Chen, Lijie and Hu, Yang and Ren, Hanlin},
title = {{New Algebrization Barriers to Circuit Lower Bounds via Communication Complexity of Missing-String}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {37:1--37:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.37},
URN = {urn:nbn:de:0030-drops-253246},
doi = {10.4230/LIPIcs.ITCS.2026.37},
annote = {Keywords: circuit lower bound, algebrization barrier, missing string, communication complexity}
}
Yu Chen, Zihan Tan, and Hangyu Xu. Lower Bounds on Tree Covers. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 38:1-38:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{chen_et_al:LIPIcs.ITCS.2026.38,
author = {Chen, Yu and Tan, Zihan and Xu, Hangyu},
title = {{Lower Bounds on Tree Covers}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {38:1--38:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.38},
URN = {urn:nbn:de:0030-drops-253254},
doi = {10.4230/LIPIcs.ITCS.2026.38},
annote = {Keywords: Tree Covers, Combinatorial Fixed-Point Theorems}
}
Keerti Choudhary, Amit Kumar, and Lakshay Saggi. Efficient Algorithms for the Disjoint Shortest Paths Problem and Its Extensions. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 39:1-39:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{choudhary_et_al:LIPIcs.ITCS.2026.39,
author = {Choudhary, Keerti and Kumar, Amit and Saggi, Lakshay},
title = {{Efficient Algorithms for the Disjoint Shortest Paths Problem and Its Extensions}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {39:1--39:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.39},
URN = {urn:nbn:de:0030-drops-253267},
doi = {10.4230/LIPIcs.ITCS.2026.39},
annote = {Keywords: Disjoint paths, Disjoint shortest paths, Algebraic graph algorithms}
}
Edith Cohen, Moshe Shechner, and Uri Stemmer. A Simple and Robust Protocol for Distributed Counting. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 40:1-40:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{cohen_et_al:LIPIcs.ITCS.2026.40,
author = {Cohen, Edith and Shechner, Moshe and Stemmer, Uri},
title = {{A Simple and Robust Protocol for Distributed Counting}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {40:1--40:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.40},
URN = {urn:nbn:de:0030-drops-253272},
doi = {10.4230/LIPIcs.ITCS.2026.40},
annote = {Keywords: Distributed Streaming, Adversarial Streaming}
}
Andrea Coladangelo, Qipeng Liu, and Ziyi Xie. The Curious Case of "XOR Repetition" of Monogamy-Of-Entanglement Games. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 41:1-41:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{coladangelo_et_al:LIPIcs.ITCS.2026.41,
author = {Coladangelo, Andrea and Liu, Qipeng and Xie, Ziyi},
title = {{The Curious Case of "XOR Repetition" of Monogamy-Of-Entanglement Games}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {41:1--41:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.41},
URN = {urn:nbn:de:0030-drops-253281},
doi = {10.4230/LIPIcs.ITCS.2026.41},
annote = {Keywords: quantum information, monogamy of entanglement, unclonable encryption}
}
Joshua Cook and Dana Moshkovitz. Time and Space Efficient Deterministic List Decoding. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 42:1-42:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{cook_et_al:LIPIcs.ITCS.2026.42,
author = {Cook, Joshua and Moshkovitz, Dana},
title = {{Time and Space Efficient Deterministic List Decoding}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {42:1--42:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.42},
URN = {urn:nbn:de:0030-drops-253292},
doi = {10.4230/LIPIcs.ITCS.2026.42},
annote = {Keywords: Reed-Muller code, local correction, local testing}
}
James Cook and Edward Pyne. Efficient Catalytic Graph Algorithms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 43:1-43:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{cook_et_al:LIPIcs.ITCS.2026.43,
author = {Cook, James and Pyne, Edward},
title = {{Efficient Catalytic Graph Algorithms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {43:1--43:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.43},
URN = {urn:nbn:de:0030-drops-253305},
doi = {10.4230/LIPIcs.ITCS.2026.43},
annote = {Keywords: catalytic computing, graph algorithms, catalytic logspace}
}
Leonardo Nagami Coregliano, Fernando Granha Jeronimo, Chris Jones, Nati Linial, and Elyassaf Loyfer. Higher-Order Delsarte Dual LPs: Lifting, Constructions and Completeness. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 44:1-44:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{coregliano_et_al:LIPIcs.ITCS.2026.44,
author = {Coregliano, Leonardo Nagami and Jeronimo, Fernando Granha and Jones, Chris and Linial, Nati and Loyfer, Elyassaf},
title = {{Higher-Order Delsarte Dual LPs: Lifting, Constructions and Completeness}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {44:1--44:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.44},
URN = {urn:nbn:de:0030-drops-253315},
doi = {10.4230/LIPIcs.ITCS.2026.44},
annote = {Keywords: Coding theory, code bounds, convex optimization, linear progamming hierarchy}
}
Mohammadreza Daneshvaramoli, Mohammad Hajiesmaili, Shahin Kamali, Helia Karisani, and Cameron Musco. Fairness in the k-Server Problem. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 45:1-45:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{daneshvaramoli_et_al:LIPIcs.ITCS.2026.45,
author = {Daneshvaramoli, Mohammadreza and Hajiesmaili, Mohammad and Kamali, Shahin and Karisani, Helia and Musco, Cameron},
title = {{Fairness in the k-Server Problem}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {45:1--45:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.45},
URN = {urn:nbn:de:0030-drops-253328},
doi = {10.4230/LIPIcs.ITCS.2026.45},
annote = {Keywords: k-server problem, online algorithms, fairness, competitive analysis}
}
Anuj Dawar, Benedikt Pago, and Tim Seppelt. Symmetric Algebraic Circuits and Homomorphism Polynomials. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 46:1-46:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{dawar_et_al:LIPIcs.ITCS.2026.46,
author = {Dawar, Anuj and Pago, Benedikt and Seppelt, Tim},
title = {{Symmetric Algebraic Circuits and Homomorphism Polynomials}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {46:1--46:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.46},
URN = {urn:nbn:de:0030-drops-253330},
doi = {10.4230/LIPIcs.ITCS.2026.46},
annote = {Keywords: algebraic complexity, finite model theory, symmetric circuits, homomorphism counting, graph homomorphism, treewidth, counting width, first-order logic with counting quantifiers}
}
Erik D. Demaine, Tonan Kamata, and Ryuhei Uehara. Dudeney’s Dissection Is Optimal. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 47:1-47:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{demaine_et_al:LIPIcs.ITCS.2026.47,
author = {Demaine, Erik D. and Kamata, Tonan and Uehara, Ryuhei},
title = {{Dudeney’s Dissection Is Optimal}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {47:1--47:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.47},
URN = {urn:nbn:de:0030-drops-253345},
doi = {10.4230/LIPIcs.ITCS.2026.47},
annote = {Keywords: Geometric Dissection, Dudeney Dissection, Dissection with Fewest Pieces}
}
Nathan Derhake, Siddartha Devic, Dutch Hansen, Kuan Liu, and Vatsal Sharan. Auditability and the Landscape of Distance to Multicalibration. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 48:1-48:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{derhake_et_al:LIPIcs.ITCS.2026.48,
author = {Derhake, Nathan and Devic, Siddartha and Hansen, Dutch and Liu, Kuan and Sharan, Vatsal},
title = {{Auditability and the Landscape of Distance to Multicalibration}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {48:1--48:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.48},
URN = {urn:nbn:de:0030-drops-253351},
doi = {10.4230/LIPIcs.ITCS.2026.48},
annote = {Keywords: Multicalibration, Auditability, Fairness, Classification, Calibration}
}
Anakin Dey and Zeyu Guo. Debordering Closure Results in Determinantal and Pfaffian Ideals. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 49:1-49:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{dey_et_al:LIPIcs.ITCS.2026.49,
author = {Dey, Anakin and Guo, Zeyu},
title = {{Debordering Closure Results in Determinantal and Pfaffian Ideals}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {49:1--49:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.49},
URN = {urn:nbn:de:0030-drops-253363},
doi = {10.4230/LIPIcs.ITCS.2026.49},
annote = {Keywords: Algebraic circuit complexity, Isolation lemma, Debordering}
}
Ilan Doron-Arad, Ariel Kulik, and Pasin Manurangsi. On the PTAS Complexity of Multidimensional Knapsack. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 50:1-50:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{doronarad_et_al:LIPIcs.ITCS.2026.50,
author = {Doron-Arad, Ilan and Kulik, Ariel and Manurangsi, Pasin},
title = {{On the PTAS Complexity of Multidimensional Knapsack}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {50:1--50:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.50},
URN = {urn:nbn:de:0030-drops-253377},
doi = {10.4230/LIPIcs.ITCS.2026.50},
annote = {Keywords: d-dimensional Knapsack, Multidimensional Knapsack, PTAS, CSP}
}
Shaddin Dughmi, Yusuf Hakan Kalayci, and Xinyu Liu. Near-Optimal Sparsifiers for Stochastic Knapsack and Assignment Problems. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 51:1-51:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{dughmi_et_al:LIPIcs.ITCS.2026.51,
author = {Dughmi, Shaddin and Kalayci, Yusuf Hakan and Liu, Xinyu},
title = {{Near-Optimal Sparsifiers for Stochastic Knapsack and Assignment Problems}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {51:1--51:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.51},
URN = {urn:nbn:de:0030-drops-253386},
doi = {10.4230/LIPIcs.ITCS.2026.51},
annote = {Keywords: Packing Problems, Assignment Problems, Stochastic Selection, Sparsification}
}
Dung Hoang Duong, Youming Qiao, and Chuanqi Zhang. Diffie-Hellman Key Exchange from Commutativity to Group Laws. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 52:1-52:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{duong_et_al:LIPIcs.ITCS.2026.52,
author = {Duong, Dung Hoang and Qiao, Youming and Zhang, Chuanqi},
title = {{Diffie-Hellman Key Exchange from Commutativity to Group Laws}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {52:1--52:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.52},
URN = {urn:nbn:de:0030-drops-253396},
doi = {10.4230/LIPIcs.ITCS.2026.52},
annote = {Keywords: Diffie-Hellman, Key Exchange, Group Laws, Group Actions, Code Equivalence}
}
Matthijs Ebbens and Yuichi Yoshida. Average Sensitivity of Geometric Algorithms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 53:1-53:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ebbens_et_al:LIPIcs.ITCS.2026.53,
author = {Ebbens, Matthijs and Yoshida, Yuichi},
title = {{Average Sensitivity of Geometric Algorithms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {53:1--53:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.53},
URN = {urn:nbn:de:0030-drops-253409},
doi = {10.4230/LIPIcs.ITCS.2026.53},
annote = {Keywords: Average Sensitivity, Convex Hull, Delaunay Triangulation, Voronoi Diagram, Art Gallery}
}
Talya Eden, Ronitt Rubinfeld, and Arsen Vasilyan. Testable Algorithms for Approximately Counting Edges and Triangles in Sublinear Time and Space. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 54:1-54:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{eden_et_al:LIPIcs.ITCS.2026.54,
author = {Eden, Talya and Rubinfeld, Ronitt and Vasilyan, Arsen},
title = {{Testable Algorithms for Approximately Counting Edges and Triangles in Sublinear Time and Space}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {54:1--54:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.54},
URN = {urn:nbn:de:0030-drops-253417},
doi = {10.4230/LIPIcs.ITCS.2026.54},
annote = {Keywords: Sublinear Algorithms, Triangle Counting, Edge Counting, Arboricity}
}
Klim Efremenko, Gillat Kol, Raghuvansh R. Saxena, and Zhijun Zhang. Universally Optimal Streaming Algorithm for Random Walks in Dense Graphs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 55:1-55:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{efremenko_et_al:LIPIcs.ITCS.2026.55,
author = {Efremenko, Klim and Kol, Gillat and Saxena, Raghuvansh R. and Zhang, Zhijun},
title = {{Universally Optimal Streaming Algorithm for Random Walks in Dense Graphs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {55:1--55:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.55},
URN = {urn:nbn:de:0030-drops-253423},
doi = {10.4230/LIPIcs.ITCS.2026.55},
annote = {Keywords: Random Walk, streaming Algorithm, universal Optimality}
}
Bill Fefferman, Soumik Ghosh, Makrand Sinha, and Henry Yuen. The Hardness of Learning Quantum Circuits and Its Cryptographic Applications. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 56:1-56:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{fefferman_et_al:LIPIcs.ITCS.2026.56,
author = {Fefferman, Bill and Ghosh, Soumik and Sinha, Makrand and Yuen, Henry},
title = {{The Hardness of Learning Quantum Circuits and Its Cryptographic Applications}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {56:1--56:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.56},
URN = {urn:nbn:de:0030-drops-253431},
doi = {10.4230/LIPIcs.ITCS.2026.56},
annote = {Keywords: quantum learning, quantum circuits, cryptographic hardness, one-way state generators}
}
Bill Fefferman, Soumik Ghosh, and Wei Zhan. Anti-Concentration for the Unitary Haar Measure and Applications to Random Quantum Circuits. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 57:1-57:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{fefferman_et_al:LIPIcs.ITCS.2026.57,
author = {Fefferman, Bill and Ghosh, Soumik and Zhan, Wei},
title = {{Anti-Concentration for the Unitary Haar Measure and Applications to Random Quantum Circuits}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {57:1--57:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.57},
URN = {urn:nbn:de:0030-drops-253443},
doi = {10.4230/LIPIcs.ITCS.2026.57},
annote = {Keywords: Haar measure, anti-concentration, random quanytum circuit, learning}
}
Michal Feldman, Yoav Gal-Tzur, Tomasz Ponitka, and Maya Schlesinger. One Action Too Many: Inapproximability of Budgeted Combinatorial Contracts. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 58:1-58:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{feldman_et_al:LIPIcs.ITCS.2026.58,
author = {Feldman, Michal and Gal-Tzur, Yoav and Ponitka, Tomasz and Schlesinger, Maya},
title = {{One Action Too Many: Inapproximability of Budgeted Combinatorial Contracts}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {58:1--58:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.58},
URN = {urn:nbn:de:0030-drops-253459},
doi = {10.4230/LIPIcs.ITCS.2026.58},
annote = {Keywords: Combinatorial Contracts, Algorithmic Contract Design, Budget-Feasible Contracts}
}
Weiming Feng and Yucheng Fu. On Approximating the f-Divergence Between Two Ising Models. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 59:1-59:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{feng_et_al:LIPIcs.ITCS.2026.59,
author = {Feng, Weiming and Fu, Yucheng},
title = {{On Approximating the f-Divergence Between Two Ising Models}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {59:1--59:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.59},
URN = {urn:nbn:de:0030-drops-253469},
doi = {10.4230/LIPIcs.ITCS.2026.59},
annote = {Keywords: Ising model, f-divergence, approximation algorithms, randomized algorithms}
}
Noah Fleming, Stefan Grosser, Siddhartha Jain, Jiawei Li, Hanlin Ren, Morgan Shirley, and Weiqiang Yuan. Total Search Problems in ZPP. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 60:1-60:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{fleming_et_al:LIPIcs.ITCS.2026.60,
author = {Fleming, Noah and Grosser, Stefan and Jain, Siddhartha and Li, Jiawei and Ren, Hanlin and Shirley, Morgan and Yuan, Weiqiang},
title = {{Total Search Problems in ZPP}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {60:1--60:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.60},
URN = {urn:nbn:de:0030-drops-253473},
doi = {10.4230/LIPIcs.ITCS.2026.60},
annote = {Keywords: TFNP, lossy code, randomized proof systems, query complexity}
}
Ben Foxman, Natalie Parham, Francisca Vasconcelos, and Henry Yuen. Random Unitaries in Constant (Quantum) Time. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 61:1-61:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{foxman_et_al:LIPIcs.ITCS.2026.61,
author = {Foxman, Ben and Parham, Natalie and Vasconcelos, Francisca and Yuen, Henry},
title = {{Random Unitaries in Constant (Quantum) Time}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {61:1--61:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.61},
URN = {urn:nbn:de:0030-drops-253481},
doi = {10.4230/LIPIcs.ITCS.2026.61},
annote = {Keywords: Quantum Information, Pseudorandomness, Circuit Complexity}
}
Cody Freitag, Ilan Komargodski, Manu Kondapaneni, and Jad Silbak. Improved Rate for Non-Malleable Codes and Time-Lock Puzzles. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 62:1-62:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{freitag_et_al:LIPIcs.ITCS.2026.62,
author = {Freitag, Cody and Komargodski, Ilan and Kondapaneni, Manu and Silbak, Jad},
title = {{Improved Rate for Non-Malleable Codes and Time-Lock Puzzles}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {62:1--62:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.62},
URN = {urn:nbn:de:0030-drops-253490},
doi = {10.4230/LIPIcs.ITCS.2026.62},
annote = {Keywords: Non-malleable codes, Time-lock puzzles}
}
Xinyu Fu, Yonggang Jiang, and Yitong Yin. Perfect Simulation of Las Vegas Algorithms via Local Computation. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 63:1-63:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{fu_et_al:LIPIcs.ITCS.2026.63,
author = {Fu, Xinyu and Jiang, Yonggang and Yin, Yitong},
title = {{Perfect Simulation of Las Vegas Algorithms via Local Computation}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {63:1--63:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.63},
URN = {urn:nbn:de:0030-drops-253503},
doi = {10.4230/LIPIcs.ITCS.2026.63},
annote = {Keywords: Las Vegas algorithms, perfect simulation, Lov\'{a}sz Local Lemma, sampling}
}
Anna Gal, Gillat Kol, Raghuvansh R. Saxena, and Huacheng Yu. Optimal White-Box Adversarial Streaming Lower Bounds for Approximating LIS Length. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 64:1-64:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{gal_et_al:LIPIcs.ITCS.2026.64,
author = {Gal, Anna and Kol, Gillat and Saxena, Raghuvansh R. and Yu, Huacheng},
title = {{Optimal White-Box Adversarial Streaming Lower Bounds for Approximating LIS Length}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {64:1--64:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.64},
URN = {urn:nbn:de:0030-drops-253519},
doi = {10.4230/LIPIcs.ITCS.2026.64},
annote = {Keywords: White-bos streaming, Longest increasing subsequence}
}
Aadityan Ganesh, Clayton Thomas, and S. Matthew Weinberg. Characterizing Off-Chain Influence Proof Transaction Fee Mechanisms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 65:1-65:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ganesh_et_al:LIPIcs.ITCS.2026.65,
author = {Ganesh, Aadityan and Thomas, Clayton and Weinberg, S. Matthew},
title = {{Characterizing Off-Chain Influence Proof Transaction Fee Mechanisms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {65:1--65:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.65},
URN = {urn:nbn:de:0030-drops-253527},
doi = {10.4230/LIPIcs.ITCS.2026.65},
annote = {Keywords: Transaction Fee Mechanism Design, Off-Chain Influence Proofness, Blockchain, Decentralized Finance, Simple Auctions}
}
Robert Ganian, Hung P. Hoang, Christian Komusiewicz, and Nils Morawietz. A Parameterized-Complexity Framework for Finding Local Optima. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 66:1-66:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ganian_et_al:LIPIcs.ITCS.2026.66,
author = {Ganian, Robert and Hoang, Hung P. and Komusiewicz, Christian and Morawietz, Nils},
title = {{A Parameterized-Complexity Framework for Finding Local Optima}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {66:1--66:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.66},
URN = {urn:nbn:de:0030-drops-253532},
doi = {10.4230/LIPIcs.ITCS.2026.66},
annote = {Keywords: Local Search, Parameterized Complexity, PLS}
}
Sumegha Garg, Songhua He, and Periklis A. Papakonstantinou. Query Lower Bounds for Correlation Clustering Under Memory Constraints. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 67:1-67:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{garg_et_al:LIPIcs.ITCS.2026.67,
author = {Garg, Sumegha and He, Songhua and Papakonstantinou, Periklis A.},
title = {{Query Lower Bounds for Correlation Clustering Under Memory Constraints}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {67:1--67:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.67},
URN = {urn:nbn:de:0030-drops-253542},
doi = {10.4230/LIPIcs.ITCS.2026.67},
annote = {Keywords: correlation clustering, query-space complexity, information theory}
}
Fatemeh Ghasemi and Swastik Kopparty. Fourier Sparsity of Delta Functions and Matching Vector PIRs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 68:1-68:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ghasemi_et_al:LIPIcs.ITCS.2026.68,
author = {Ghasemi, Fatemeh and Kopparty, Swastik},
title = {{Fourier Sparsity of Delta Functions and Matching Vector PIRs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {68:1--68:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.68},
URN = {urn:nbn:de:0030-drops-253556},
doi = {10.4230/LIPIcs.ITCS.2026.68},
annote = {Keywords: Fourier Sparsity, Matching Vectors, Private Information Retrieval}
}
Abheek Ghosh, Paul W. Goldberg, and Alexandros Hollender. Computing Equilibrium Points of Electrostatic Potentials. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 69:1-69:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ghosh_et_al:LIPIcs.ITCS.2026.69,
author = {Ghosh, Abheek and Goldberg, Paul W. and Hollender, Alexandros},
title = {{Computing Equilibrium Points of Electrostatic Potentials}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {69:1--69:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.69},
URN = {urn:nbn:de:0030-drops-253566},
doi = {10.4230/LIPIcs.ITCS.2026.69},
annote = {Keywords: Total search problems, TFNP, PPAD, CLS, polynomial equations}
}
Soumik Ghosh, Sathyawageeswar Subramanian, and Wei Zhan. Unconditional Pseudorandomness Against Shallow Quantum Circuits. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 70:1-70:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ghosh_et_al:LIPIcs.ITCS.2026.70,
author = {Ghosh, Soumik and Subramanian, Sathyawageeswar and Zhan, Wei},
title = {{Unconditional Pseudorandomness Against Shallow Quantum Circuits}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {70:1--70:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.70},
URN = {urn:nbn:de:0030-drops-253578},
doi = {10.4230/LIPIcs.ITCS.2026.70},
annote = {Keywords: quantum pseudorandomness, shallow quantum circuits, pseudorandomness, t-designs}
}
Niv Gilboa and Daniel Weber. Lower Bounds on FSS from Dynamic Data Structures. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 71:1-71:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{gilboa_et_al:LIPIcs.ITCS.2026.71,
author = {Gilboa, Niv and Weber, Daniel},
title = {{Lower Bounds on FSS from Dynamic Data Structures}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {71:1--71:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.71},
URN = {urn:nbn:de:0030-drops-253585},
doi = {10.4230/LIPIcs.ITCS.2026.71},
annote = {Keywords: FSS, Data Structures, Lower Bounds, Black-Box Reductions}
}
Uma Girish and Rocco Servedio. Forrelation Is Extremally Hard. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 72:1-72:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{girish_et_al:LIPIcs.ITCS.2026.72,
author = {Girish, Uma and Servedio, Rocco},
title = {{Forrelation Is Extremally Hard}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {72:1--72:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.72},
URN = {urn:nbn:de:0030-drops-253594},
doi = {10.4230/LIPIcs.ITCS.2026.72},
annote = {Keywords: Forrelation, exact quantum, query complexity}
}
Daniel Grier, Daniel M. Kane, Jackson Morris, Anthony Ostuni, and Kewen Wu. Quantum Advantage from Sampling Shallow Circuits: Beyond Hardness of Marginals. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 73:1-73:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{grier_et_al:LIPIcs.ITCS.2026.73,
author = {Grier, Daniel and Kane, Daniel M. and Morris, Jackson and Ostuni, Anthony and Wu, Kewen},
title = {{Quantum Advantage from Sampling Shallow Circuits: Beyond Hardness of Marginals}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {73:1--73:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.73},
URN = {urn:nbn:de:0030-drops-253607},
doi = {10.4230/LIPIcs.ITCS.2026.73},
annote = {Keywords: Shallow circuits, sampling, quantum circuits}
}
Bernhard Haeupler, Marc Kaufmann, Raghu Raman Ravi, and Ulysse Schaller. Adversarially-Robust Gossip Algorithms for Approximate Quantile and Mean Computations. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 74:1-74:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{haeupler_et_al:LIPIcs.ITCS.2026.74,
author = {Haeupler, Bernhard and Kaufmann, Marc and Ravi, Raghu Raman and Schaller, Ulysse},
title = {{Adversarially-Robust Gossip Algorithms for Approximate Quantile and Mean Computations}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {74:1--74:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.74},
URN = {urn:nbn:de:0030-drops-253611},
doi = {10.4230/LIPIcs.ITCS.2026.74},
annote = {Keywords: Gossip Algorithms, Distributed Computing, Adversarial Robustness}
}
Jason Hartline, Aleck Johnsen, and Anant Shah. Prior-Independent and Subgame Optimal Online Algorithms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 75:1-75:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{hartline_et_al:LIPIcs.ITCS.2026.75,
author = {Hartline, Jason and Johnsen, Aleck and Shah, Anant},
title = {{Prior-Independent and Subgame Optimal Online Algorithms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {75:1--75:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.75},
URN = {urn:nbn:de:0030-drops-253622},
doi = {10.4230/LIPIcs.ITCS.2026.75},
annote = {Keywords: online algorithms, prior-independent algorithm design, zero-sum games}
}
Keitaro Hiwatashi and Reo Eriguchi. Ideal Private Simultaneous Messages Schemes and Their Applications. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 76:1-76:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{hiwatashi_et_al:LIPIcs.ITCS.2026.76,
author = {Hiwatashi, Keitaro and Eriguchi, Reo},
title = {{Ideal Private Simultaneous Messages Schemes and Their Applications}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {76:1--76:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.76},
URN = {urn:nbn:de:0030-drops-253633},
doi = {10.4230/LIPIcs.ITCS.2026.76},
annote = {Keywords: secure computation, private simultaneous messages, communication complexity}
}
Alexandros Hollender, Pasin Manurangsi, Raghu Meka, and Warut Suksompong. Discrepancy Beyond Additive Functions with Applications to Fair Division (Extended Abstract). In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, p. 77:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{hollender_et_al:LIPIcs.ITCS.2026.77,
author = {Hollender, Alexandros and Manurangsi, Pasin and Meka, Raghu and Suksompong, Warut},
title = {{Discrepancy Beyond Additive Functions with Applications to Fair Division}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {77:1--77:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.77},
URN = {urn:nbn:de:0030-drops-253641},
doi = {10.4230/LIPIcs.ITCS.2026.77},
annote = {Keywords: Discrepancy Theory, Fair Division}
}
Bingbing Hu, Jakob Nogler, and Barna Saha. Hardness of Dynamic Tree Edit Distance and Friends. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 78:1-78:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{hu_et_al:LIPIcs.ITCS.2026.78,
author = {Hu, Bingbing and Nogler, Jakob and Saha, Barna},
title = {{Hardness of Dynamic Tree Edit Distance and Friends}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {78:1--78:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.78},
URN = {urn:nbn:de:0030-drops-253653},
doi = {10.4230/LIPIcs.ITCS.2026.78},
annote = {Keywords: fine-grained complexity, dynamic lower bounds, pattern matching}
}
Shengtang Huang, Xin Li, and Yan Zhong. Range Avoidance and Remote Point: New Algorithms and Hardness. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 79:1-79:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{huang_et_al:LIPIcs.ITCS.2026.79,
author = {Huang, Shengtang and Li, Xin and Zhong, Yan},
title = {{Range Avoidance and Remote Point: New Algorithms and Hardness}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {79:1--79:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.79},
URN = {urn:nbn:de:0030-drops-253662},
doi = {10.4230/LIPIcs.ITCS.2026.79},
annote = {Keywords: Circuit Lower Bounds, Range Avoidance Problem, Remote Point Problem}
}
Tanmay Inamdar, Satyabrata Jana, Madhumita Kundu, Daniel Lokshtanov, Saket Saurabh, and Meirav Zehavi. FPT Approximations for Connected Maximum Coverage. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 80:1-80:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{inamdar_et_al:LIPIcs.ITCS.2026.80,
author = {Inamdar, Tanmay and Jana, Satyabrata and Kundu, Madhumita and Lokshtanov, Daniel and Saurabh, Saket and Zehavi, Meirav},
title = {{FPT Approximations for Connected Maximum Coverage}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {80:1--80:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.80},
URN = {urn:nbn:de:0030-drops-253674},
doi = {10.4230/LIPIcs.ITCS.2026.80},
annote = {Keywords: Partial Dominating Set, Connectivity, Maximum Coverage, FPT Approximation, Fixed-parameter Tractability}
}
Dmitry Itsykson and Alexander Knop. Supercritical Tradeoff Between Size and Depth for Resolution over Parities. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 81:1-81:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{itsykson_et_al:LIPIcs.ITCS.2026.81,
author = {Itsykson, Dmitry and Knop, Alexander},
title = {{Supercritical Tradeoff Between Size and Depth for Resolution over Parities}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {81:1--81:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.81},
URN = {urn:nbn:de:0030-drops-253680},
doi = {10.4230/LIPIcs.ITCS.2026.81},
annote = {Keywords: lifting theorems, resolution depth, resolution over parities, resolution width, supercritical tradeoff}
}
Shaofeng H.-C. Jiang, Robert Krauthgamer, Shay Sapir, Sandeep Silwal, and Di Yue. Dimension Reduction for Clustering: The Curious Case of Discrete Centers. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 82:1-82:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{jiang_et_al:LIPIcs.ITCS.2026.82,
author = {Jiang, Shaofeng H.-C. and Krauthgamer, Robert and Sapir, Shay and Silwal, Sandeep and Yue, Di},
title = {{Dimension Reduction for Clustering: The Curious Case of Discrete Centers}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {82:1--82:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.82},
URN = {urn:nbn:de:0030-drops-253698},
doi = {10.4230/LIPIcs.ITCS.2026.82},
annote = {Keywords: dimension reduction, clustering, k-median, k-means, doubling dimension}
}
Jonas Kamminga and Dorian Rudolph. The Pure-State Consistency of Local Density Matrices Problem: In PSPACE and Complete for a Class Between QMA and QMA(2). In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 83:1-83:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{kamminga_et_al:LIPIcs.ITCS.2026.83,
author = {Kamminga, Jonas and Rudolph, Dorian},
title = {{The Pure-State Consistency of Local Density Matrices Problem: In PSPACE and Complete for a Class Between QMA and QMA(2)}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {83:1--83:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.83},
URN = {urn:nbn:de:0030-drops-253701},
doi = {10.4230/LIPIcs.ITCS.2026.83},
annote = {Keywords: Quantum Complexity Theory, PSPACE, QMA(2), Consistency of Local Density Matrices, Polynomial Optimization}
}
Haim Kaplan, Yishay Mansour, Kobbi Nissim, and Uri Stemmer. Bayesian Perspective on Memorization and Reconstruction. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 84:1-84:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{kaplan_et_al:LIPIcs.ITCS.2026.84,
author = {Kaplan, Haim and Mansour, Yishay and Nissim, Kobbi and Stemmer, Uri},
title = {{Bayesian Perspective on Memorization and Reconstruction}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {84:1--84:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.84},
URN = {urn:nbn:de:0030-drops-253713},
doi = {10.4230/LIPIcs.ITCS.2026.84},
annote = {Keywords: Reconstruction, Memorization, Differential privacy}
}
Michael Kapralov, Luca Trevisan, and Weronika Wrzos-Kaminska. Recovering Communities in Structured Random Graphs. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 85:1-85:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{kapralov_et_al:LIPIcs.ITCS.2026.85,
author = {Kapralov, Michael and Trevisan, Luca and Wrzos-Kaminska, Weronika},
title = {{Recovering Communities in Structured Random Graphs}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {85:1--85:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.85},
URN = {urn:nbn:de:0030-drops-253727},
doi = {10.4230/LIPIcs.ITCS.2026.85},
annote = {Keywords: Hypercube graphs, Community detection, Fourier analysis of Boolean functions}
}
Helia Karisani, Mohammadreza Daneshvaramoli, Hedyeh Beyhaghi, Mohammad Hajiesmaili, and Cameron Musco. The Secretary Problem with Predictions and a Chosen Order. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 86:1-86:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{karisani_et_al:LIPIcs.ITCS.2026.86,
author = {Karisani, Helia and Daneshvaramoli, Mohammadreza and Beyhaghi, Hedyeh and Hajiesmaili, Mohammad and Musco, Cameron},
title = {{The Secretary Problem with Predictions and a Chosen Order}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {86:1--86:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.86},
URN = {urn:nbn:de:0030-drops-253734},
doi = {10.4230/LIPIcs.ITCS.2026.86},
annote = {Keywords: Secretary problem, learning-augmented algorithms, online algorithms}
}
Karthik C. S. and Saladi Rahul. Range Longest Increasing Subsequence and Its Relatives. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 87:1-87:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{karthikc.s._et_al:LIPIcs.ITCS.2026.87,
author = {Karthik C. S. and Rahul, Saladi},
title = {{Range Longest Increasing Subsequence and Its Relatives}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {87:1--87:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.87},
URN = {urn:nbn:de:0030-drops-253740},
doi = {10.4230/LIPIcs.ITCS.2026.87},
annote = {Keywords: Longest Increasing Subsequence, Range Query, Fine-Grained Complexity}
}
Vaibhav Krishan and Sundar Vishwanathan. Lower Bounds and Separations for Torus Polynomials. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 88:1-88:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{krishan_et_al:LIPIcs.ITCS.2026.88,
author = {Krishan, Vaibhav and Vishwanathan, Sundar},
title = {{Lower Bounds and Separations for Torus Polynomials}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {88:1--88:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.88},
URN = {urn:nbn:de:0030-drops-253751},
doi = {10.4230/LIPIcs.ITCS.2026.88},
annote = {Keywords: Circuit complexity, ACC, lower bounds, polynomials}
}
Tsz Chiu Kwok, Zhewei Wei, and Mingji Yang. On Solving Asymmetric Diagonally Dominant Linear Systems in Sublinear Time. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 89:1-89:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{kwok_et_al:LIPIcs.ITCS.2026.89,
author = {Kwok, Tsz Chiu and Wei, Zhewei and Yang, Mingji},
title = {{On Solving Asymmetric Diagonally Dominant Linear Systems in Sublinear Time}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {89:1--89:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.89},
URN = {urn:nbn:de:0030-drops-253768},
doi = {10.4230/LIPIcs.ITCS.2026.89},
annote = {Keywords: Spectral Graph Theory, Linear Systems, Sublinear Algorithms}
}
Amichai Lampert and Guy Moshkovitz. Slice Rank and Partition Rank of the Determinant. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 90:1-90:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lampert_et_al:LIPIcs.ITCS.2026.90,
author = {Lampert, Amichai and Moshkovitz, Guy},
title = {{Slice Rank and Partition Rank of the Determinant}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {90:1--90:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.90},
URN = {urn:nbn:de:0030-drops-253779},
doi = {10.4230/LIPIcs.ITCS.2026.90},
annote = {Keywords: Slice rank, partition rank, determinant}
}
Jane Lange and Mingda Qiao. Limitations of Membership Queries in Testable Learning. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 91:1-91:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lange_et_al:LIPIcs.ITCS.2026.91,
author = {Lange, Jane and Qiao, Mingda},
title = {{Limitations of Membership Queries in Testable Learning}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {91:1--91:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.91},
URN = {urn:nbn:de:0030-drops-253785},
doi = {10.4230/LIPIcs.ITCS.2026.91},
annote = {Keywords: Testable learning, PAC learning}
}
Lap Chi Lau and Raymond Liu. A Combinatorial Characterization of Constant Mixing Time. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 92:1-92:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lau_et_al:LIPIcs.ITCS.2026.92,
author = {Lau, Lap Chi and Liu, Raymond},
title = {{A Combinatorial Characterization of Constant Mixing Time}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {92:1--92:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.92},
URN = {urn:nbn:de:0030-drops-253792},
doi = {10.4230/LIPIcs.ITCS.2026.92},
annote = {Keywords: Random walks, mixing time, bipartite density, spectral graph theory}
}
Amit Levy, S. Matthew Weinberg, and Chenghan Zhou. Analyzing the Economic Impact of Decentralization on Users. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 93:1-93:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{levy_et_al:LIPIcs.ITCS.2026.93,
author = {Levy, Amit and Weinberg, S. Matthew and Zhou, Chenghan},
title = {{Analyzing the Economic Impact of Decentralization on Users}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {93:1--93:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.93},
URN = {urn:nbn:de:0030-drops-253805},
doi = {10.4230/LIPIcs.ITCS.2026.93},
annote = {Keywords: Blockchain, Cryptocurrency, Blockspace Markets, Decentralization, Distributed Ledgers, Equilibrium Analysis, Tullock Contests}
}
Yingxi Li, Ellen Vitercik, and Mingwei Yang. Smoothed Analysis of Online Metric Matching with a Single Sample: Beyond Metric Distortion. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 94:1-94:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{li_et_al:LIPIcs.ITCS.2026.94,
author = {Li, Yingxi and Vitercik, Ellen and Yang, Mingwei},
title = {{Smoothed Analysis of Online Metric Matching with a Single Sample: Beyond Metric Distortion}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {94:1--94:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.94},
URN = {urn:nbn:de:0030-drops-253815},
doi = {10.4230/LIPIcs.ITCS.2026.94},
annote = {Keywords: Online algorithm, Metric matching, Competitive analysis, Smoothed analysis}
}
Jiatu Li and Mengdi Wu. Identity Testing for Circuits with Exponentiation Gates. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 95:1-95:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{li_et_al:LIPIcs.ITCS.2026.95,
author = {Li, Jiatu and Wu, Mengdi},
title = {{Identity Testing for Circuits with Exponentiation Gates}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {95:1--95:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.95},
URN = {urn:nbn:de:0030-drops-253821},
doi = {10.4230/LIPIcs.ITCS.2026.95},
annote = {Keywords: Polynomial Identity Testing, Exponential Polynomials}
}
David X. Lin, Giannis Fikioris, Siddhartha Banerjee, and Éva Tardos. Robust Resource Allocation via Competitive Subsidies. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 96:1-96:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lin_et_al:LIPIcs.ITCS.2026.96,
author = {Lin, David X. and Fikioris, Giannis and Banerjee, Siddhartha and Tardos, \'{E}va},
title = {{Robust Resource Allocation via Competitive Subsidies}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {96:1--96:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.96},
URN = {urn:nbn:de:0030-drops-253835},
doi = {10.4230/LIPIcs.ITCS.2026.96},
annote = {Keywords: Online Resource Allocation, Non-Monetary Mechanisms}
}
Yanyi Liu and Rafael Pass. One-Way Functions and Boundary Hardness of Randomized Time-Bounded Kolmogorov Complexity. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 97:1-97:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{liu_et_al:LIPIcs.ITCS.2026.97,
author = {Liu, Yanyi and Pass, Rafael},
title = {{One-Way Functions and Boundary Hardness of Randomized Time-Bounded Kolmogorov Complexity}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {97:1--97:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.97},
URN = {urn:nbn:de:0030-drops-253849},
doi = {10.4230/LIPIcs.ITCS.2026.97},
annote = {Keywords: One-way functions, Time-Bounded Kolmogorov Complexity, Worst-case to Average-case Reductions}
}
Siyue Liu and Victor Reis. Weighted Chairman Assignment and Flow-Time Scheduling. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 98:1-98:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{liu_et_al:LIPIcs.ITCS.2026.98,
author = {Liu, Siyue and Reis, Victor},
title = {{Weighted Chairman Assignment and Flow-Time Scheduling}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {98:1--98:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.98},
URN = {urn:nbn:de:0030-drops-253858},
doi = {10.4230/LIPIcs.ITCS.2026.98},
annote = {Keywords: prefix discrepancy, flow-time scheduling, unsplittable flow}
}
Jiaqi Lu, Rahul Santhanam, and Iddo Tzameret. AC⁰[p]-Frege Cannot Efficiently Prove That Constant-Depth Algebraic Circuit Lower Bounds Are Hard. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 99:1-99:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{lu_et_al:LIPIcs.ITCS.2026.99,
author = {Lu, Jiaqi and Santhanam, Rahul and Tzameret, Iddo},
title = {{AC⁰\lbrackp\rbrack-Frege Cannot Efficiently Prove That Constant-Depth Algebraic Circuit Lower Bounds Are Hard}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {99:1--99:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.99},
URN = {urn:nbn:de:0030-drops-253865},
doi = {10.4230/LIPIcs.ITCS.2026.99},
annote = {Keywords: Complexity, Lower bounds, Proof complexity, AC⁰\lbrackp\rbrack-Frege, Diagonalisation, Algebraic complexity}
}
Will Ma, Calum MacRury, and Jingwei Zhang. Online Contention Resolution Schemes for Network Revenue Management and Combinatorial Auctions (Extended Abstract). In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, p. 100:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ma_et_al:LIPIcs.ITCS.2026.100,
author = {Ma, Will and MacRury, Calum and Zhang, Jingwei},
title = {{Online Contention Resolution Schemes for Network Revenue Management and Combinatorial Auctions}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {100:1--100:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.100},
URN = {urn:nbn:de:0030-drops-253875},
doi = {10.4230/LIPIcs.ITCS.2026.100},
annote = {Keywords: Online resource allocation, contention resolution schemes, network revenue management, combinatorial auctions}
}
Henry Ma and Anand Natarajan. Two Bases Suffice for QMA ₁-Completeness. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 101:1-101:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ma_et_al:LIPIcs.ITCS.2026.101,
author = {Ma, Henry and Natarajan, Anand},
title = {{Two Bases Suffice for QMA ₁-Completeness}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {101:1--101:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.101},
URN = {urn:nbn:de:0030-drops-253880},
doi = {10.4230/LIPIcs.ITCS.2026.101},
annote = {Keywords: quantum complexity theory, Hamiltonian complexity, Quantum Merlin Arthur (QMA), QMA₁, quantum satisfiability problem}
}
Uri Meir and Ami Paz. Smoothed Analysis of Dynamic Graph Algorithms. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 102:1-102:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{meir_et_al:LIPIcs.ITCS.2026.102,
author = {Meir, Uri and Paz, Ami},
title = {{Smoothed Analysis of Dynamic Graph Algorithms}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {102:1--102:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.102},
URN = {urn:nbn:de:0030-drops-253896},
doi = {10.4230/LIPIcs.ITCS.2026.102},
annote = {Keywords: Dynamic graph algorithms, Smoothed analysis, Shortest paths}
}
Tushant Mittal and Sourya Roy. A General Framework for Low Soundness Homomorphism Testing. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 103:1-103:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{mittal_et_al:LIPIcs.ITCS.2026.103,
author = {Mittal, Tushant and Roy, Sourya},
title = {{A General Framework for Low Soundness Homomorphism Testing}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {103:1--103:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.103},
URN = {urn:nbn:de:0030-drops-253901},
doi = {10.4230/LIPIcs.ITCS.2026.103},
annote = {Keywords: Property Testing, Coding Theory}
}
Joseph (Seffi) Naor, Nitya Raju, Abhishek Shetty, Aravind Srinivasan, Renata Valieva, and David Wajc. Dimension-Free Correlated Sampling for the Hypersimplex. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 104:1-104:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{naor_et_al:LIPIcs.ITCS.2026.104,
author = {Naor, Joseph (Seffi) and Raju, Nitya and Shetty, Abhishek and Srinivasan, Aravind and Valieva, Renata and Wajc, David},
title = {{Dimension-Free Correlated Sampling for the Hypersimplex}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {104:1--104:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.104},
URN = {urn:nbn:de:0030-drops-253918},
doi = {10.4230/LIPIcs.ITCS.2026.104},
annote = {Keywords: Correlated Rounding, Dependent Rounding}
}
Shamisa Nematollahi, Adrian Vladu, and Junyao Zhao. Fixed-Parameter Tractable Submodular Maximization over a Matroid. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 105:1-105:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{nematollahi_et_al:LIPIcs.ITCS.2026.105,
author = {Nematollahi, Shamisa and Vladu, Adrian and Zhao, Junyao},
title = {{Fixed-Parameter Tractable Submodular Maximization over a Matroid}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {105:1--105:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.105},
URN = {urn:nbn:de:0030-drops-253924},
doi = {10.4230/LIPIcs.ITCS.2026.105},
annote = {Keywords: Submodular maximization, matroids, parameterized complexity, streaming algorithms}
}
Chris Peikert and Alexandra Veliche Hostetler. List Decoding Reed-Solomon Codes in the Lee, Euclidean, and Other Metrics. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 106:1-106:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{peikert_et_al:LIPIcs.ITCS.2026.106,
author = {Peikert, Chris and Hostetler, Alexandra Veliche},
title = {{List Decoding Reed-Solomon Codes in the Lee, Euclidean, and Other Metrics}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {106:1--106:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.106},
URN = {urn:nbn:de:0030-drops-253932},
doi = {10.4230/LIPIcs.ITCS.2026.106},
annote = {Keywords: Reed-Solomon codes, list decoding, unique decoding, Lee metric, Euclidean metric, Guruswami-Sudan algorithm}
}
Elizaveta Popova and Elad Tzalik. New Greedy Spanners and Applications. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 107:1-107:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{popova_et_al:LIPIcs.ITCS.2026.107,
author = {Popova, Elizaveta and Tzalik, Elad},
title = {{New Greedy Spanners and Applications}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {107:1--107:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.107},
URN = {urn:nbn:de:0030-drops-253945},
doi = {10.4230/LIPIcs.ITCS.2026.107},
annote = {Keywords: Graph Spanners, Greedy Algorithms}
}
Alexander Poremba, Yihui Quek, and Peter Shor. The Learning Stabilizers with Noise Problem. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 108:1-108:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{poremba_et_al:LIPIcs.ITCS.2026.108,
author = {Poremba, Alexander and Quek, Yihui and Shor, Peter},
title = {{The Learning Stabilizers with Noise Problem}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {108:1--108:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.108},
URN = {urn:nbn:de:0030-drops-253950},
doi = {10.4230/LIPIcs.ITCS.2026.108},
annote = {Keywords: Random quantum stabilizer codes, average-case hardness}
}
Alexander Poremba, Seyoon Ragavan, and Vinod Vaikuntanathan. Cloning Games, Black Holes and Cryptography. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 109:1-109:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{poremba_et_al:LIPIcs.ITCS.2026.109,
author = {Poremba, Alexander and Ragavan, Seyoon and Vaikuntanathan, Vinod},
title = {{Cloning Games, Black Holes and Cryptography}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {109:1--109:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.109},
URN = {urn:nbn:de:0030-drops-253961},
doi = {10.4230/LIPIcs.ITCS.2026.109},
annote = {Keywords: Unclonable cryptography, quantum pseudorandomness, black hole physics}
}
Jaikumar Radhakrishnan, Chaitanya Reddy, and Rakesh Venkat. Optimal Two-Round Communication Lower Bound for Graph Connectivity via Pointer Chasing. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 110:1-110:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{radhakrishnan_et_al:LIPIcs.ITCS.2026.110,
author = {Radhakrishnan, Jaikumar and Reddy, Chaitanya and Venkat, Rakesh},
title = {{Optimal Two-Round Communication Lower Bound for Graph Connectivity via Pointer Chasing}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {110:1--110:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.110},
URN = {urn:nbn:de:0030-drops-253974},
doi = {10.4230/LIPIcs.ITCS.2026.110},
annote = {Keywords: Communication complexity}
}
Hanlin Ren, Yichuan Wang, and Yan Zhong. Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 111:1-111:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ren_et_al:LIPIcs.ITCS.2026.111,
author = {Ren, Hanlin and Wang, Yichuan and Zhong, Yan},
title = {{Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {111:1--111:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.111},
URN = {urn:nbn:de:0030-drops-253982},
doi = {10.4230/LIPIcs.ITCS.2026.111},
annote = {Keywords: Range Avoidance, Proof Complexity Generators}
}
Artur Riazanov, Anastasia Sofronova, and Dmitry Sokolov. Lower Bounds Beyond DNF of Parities. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 112:1-112:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{riazanov_et_al:LIPIcs.ITCS.2026.112,
author = {Riazanov, Artur and Sofronova, Anastasia and Sokolov, Dmitry},
title = {{Lower Bounds Beyond DNF of Parities}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {112:1--112:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.112},
URN = {urn:nbn:de:0030-drops-253996},
doi = {10.4230/LIPIcs.ITCS.2026.112},
annote = {Keywords: boolean circuits, top-down, unpredictability}
}
Benjamin Rossman and Davidson Zhu. Multi-Quadratic Sum-Of-Squares Lower Bounds Imply VNC ¹ ≠ VNP. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 113:1-113:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{rossman_et_al:LIPIcs.ITCS.2026.113,
author = {Rossman, Benjamin and Zhu, Davidson},
title = {{Multi-Quadratic Sum-Of-Squares Lower Bounds Imply VNC ¹ ≠ VNP}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {113:1--113:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.113},
URN = {urn:nbn:de:0030-drops-254006},
doi = {10.4230/LIPIcs.ITCS.2026.113},
annote = {Keywords: sum-of-squares, arithmetic formulas}
}
Shuai Shao and Ke Shi. Zero-Freeness Is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 114:1-114:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{shao_et_al:LIPIcs.ITCS.2026.114,
author = {Shao, Shuai and Shi, Ke},
title = {{Zero-Freeness Is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {114:1--114:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.114},
URN = {urn:nbn:de:0030-drops-254010},
doi = {10.4230/LIPIcs.ITCS.2026.114},
annote = {Keywords: Ferromagnetic Ising Model, Lee–Yang Theorem, Weitz-Type FPTAS, Strong Spatial Mixing, Random Cluster Model}
}
Pratik Shastri. Lower Bounds for Noncommutative Circuits with Low Syntactic Degree. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 115:1-115:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{shastri:LIPIcs.ITCS.2026.115,
author = {Shastri, Pratik},
title = {{Lower Bounds for Noncommutative Circuits with Low Syntactic Degree}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {115:1--115:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.115},
URN = {urn:nbn:de:0030-drops-254028},
doi = {10.4230/LIPIcs.ITCS.2026.115},
annote = {Keywords: Noncommutative Circuits, Lower Bounds, Circuit Complexity, Algebraic Complexity}
}
Elaine Shi, Rose Silver, and Changrui Mu. Decentralized Data Archival: New Definitions and Constructions. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 116:1-116:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{shi_et_al:LIPIcs.ITCS.2026.116,
author = {Shi, Elaine and Silver, Rose and Mu, Changrui},
title = {{Decentralized Data Archival: New Definitions and Constructions}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {116:1--116:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.116},
URN = {urn:nbn:de:0030-drops-254037},
doi = {10.4230/LIPIcs.ITCS.2026.116},
annote = {Keywords: Decentralized Data Archival}
}
Hadar Strauss. On the Power of Computationally Sound Interactive Proofs of Proximity. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 117:1-117:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{strauss:LIPIcs.ITCS.2026.117,
author = {Strauss, Hadar},
title = {{On the Power of Computationally Sound Interactive Proofs of Proximity}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {117:1--117:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.117},
URN = {urn:nbn:de:0030-drops-254047},
doi = {10.4230/LIPIcs.ITCS.2026.117},
annote = {Keywords: Interactive Proofs of Proximity, Computational Soundness}
}
David Zuckerman. Markov Chain Robustness. In 17th Innovations in Theoretical Computer Science Conference (ITCS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 362, pp. 118:1-118:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{zuckerman:LIPIcs.ITCS.2026.118,
author = {Zuckerman, David},
title = {{Markov Chain Robustness}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {118:1--118:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.118},
URN = {urn:nbn:de:0030-drops-254056},
doi = {10.4230/LIPIcs.ITCS.2026.118},
annote = {Keywords: Markov chain, random walk, mixing time, hitting time, cover time, robustness, expander graph}
}