40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 1-990, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{srinivasan:LIPIcs.CCC.2025, title = {{LIPIcs, Volume 339, CCC 2025, Complete Volume}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {1--990}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025}, URN = {urn:nbn:de:0030-drops-240786}, doi = {10.4230/LIPIcs.CCC.2025}, annote = {Keywords: LIPIcs, Volume 339, CCC 2025, Complete Volume} }
40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{srinivasan:LIPIcs.CCC.2025.0, author = {Srinivasan, Srikanth}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.0}, URN = {urn:nbn:de:0030-drops-240778}, doi = {10.4230/LIPIcs.CCC.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Omri Gotlib, Tali Kaufman, and Shachar Lovett. List Decoding Quotient Reed-Muller Codes. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 1:1-1:44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gotlib_et_al:LIPIcs.CCC.2025.1, author = {Gotlib, Omri and Kaufman, Tali and Lovett, Shachar}, title = {{List Decoding Quotient Reed-Muller Codes}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {1:1--1:44}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.1}, URN = {urn:nbn:de:0030-drops-236957}, doi = {10.4230/LIPIcs.CCC.2025.1}, annote = {Keywords: Reed-Muller Codes, Quotient Code, Quotient Reed-Muller Code, List Decoding, High Rank Variety, High-Order Fourier Analysis, Error-Correcting Codes} }
Yunqi Li and Prashant Nalini Vasudevan. Hardness Amplification for Real-Valued Functions. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 2:1-2:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{li_et_al:LIPIcs.CCC.2025.2, author = {Li, Yunqi and Vasudevan, Prashant Nalini}, title = {{Hardness Amplification for Real-Valued Functions}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {2:1--2:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.2}, URN = {urn:nbn:de:0030-drops-236967}, doi = {10.4230/LIPIcs.CCC.2025.2}, annote = {Keywords: Average-case complexity, hardness amplification} }
Daniel Grier and Jackson Morris. Quantum Threshold Is Powerful. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 3:1-3:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{grier_et_al:LIPIcs.CCC.2025.3, author = {Grier, Daniel and Morris, Jackson}, title = {{Quantum Threshold Is Powerful}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {3:1--3:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.3}, URN = {urn:nbn:de:0030-drops-236979}, doi = {10.4230/LIPIcs.CCC.2025.3}, annote = {Keywords: Shallow Quantum Circuits, Circuit Complexity, Threshold Circuits} }
Jarosław Błasiok and Linus Meierhöfer. Hardness of Clique Approximation for Monotone Circuits. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 4:1-4:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{blasiok_et_al:LIPIcs.CCC.2025.4, author = {B{\l}asiok, Jaros{\l}aw and Meierh\"{o}fer, Linus}, title = {{Hardness of Clique Approximation for Monotone Circuits}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {4:1--4:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.4}, URN = {urn:nbn:de:0030-drops-236987}, doi = {10.4230/LIPIcs.CCC.2025.4}, annote = {Keywords: circuit lower bounds, monotone circuits, sunflower conjecture} }
Simon C. Marshal, Scott Aaronson, and Vedran Dunjko. Improved Separation Between Quantum and Classical Computers for Sampling and Functional Tasks. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{marshal_et_al:LIPIcs.CCC.2025.5, author = {Marshal, Simon C. and Aaronson, Scott and Dunjko, Vedran}, title = {{Improved Separation Between Quantum and Classical Computers for Sampling and Functional Tasks}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {5:1--5:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.5}, URN = {urn:nbn:de:0030-drops-236991}, doi = {10.4230/LIPIcs.CCC.2025.5}, annote = {Keywords: Quantum advantage, Approximate counting, Boson sampling} }
Zhiyang Xun and David Zuckerman. Near-Optimal Averaging Samplers and Matrix Samplers. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 6:1-6:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{xun_et_al:LIPIcs.CCC.2025.6, author = {Xun, Zhiyang and Zuckerman, David}, title = {{Near-Optimal Averaging Samplers and Matrix Samplers}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {6:1--6:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.6}, URN = {urn:nbn:de:0030-drops-237001}, doi = {10.4230/LIPIcs.CCC.2025.6}, annote = {Keywords: Pseudorandomness, Averaging Samplers, Randomness Extractors} }
Yotam Dikstein, Siqi Liu, and Avi Wigderson. Sparser Abelian High Dimensional Expanders. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 7:1-7:98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dikstein_et_al:LIPIcs.CCC.2025.7, author = {Dikstein, Yotam and Liu, Siqi and Wigderson, Avi}, title = {{Sparser Abelian High Dimensional Expanders}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {7:1--7:98}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.7}, URN = {urn:nbn:de:0030-drops-237013}, doi = {10.4230/LIPIcs.CCC.2025.7}, annote = {Keywords: Local spectral expander, coboundary expander, Grassmannian expander} }
Klim Efremenko and Dmitry Itsykson. Amortized Closure and Its Applications in Lifting for Resolution over Parities. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 8:1-8:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{efremenko_et_al:LIPIcs.CCC.2025.8, author = {Efremenko, Klim and Itsykson, Dmitry}, title = {{Amortized Closure and Its Applications in Lifting for Resolution over Parities}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {8:1--8:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.8}, URN = {urn:nbn:de:0030-drops-237023}, doi = {10.4230/LIPIcs.CCC.2025.8}, annote = {Keywords: lifting, resolution over parities, closure of linear forms, lower bounds, width, depth, size vs depth tradeoff} }
Chin Ho Lee and Emanuele Viola. Pseudorandom Bits for Non-Commutative Programs. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 9:1-9:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lee_et_al:LIPIcs.CCC.2025.9, author = {Lee, Chin Ho and Viola, Emanuele}, title = {{Pseudorandom Bits for Non-Commutative Programs}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {9:1--9:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.9}, URN = {urn:nbn:de:0030-drops-237039}, doi = {10.4230/LIPIcs.CCC.2025.9}, annote = {Keywords: Group programs, Space-bounded derandomization, Representation theory} }
Subhash Khot and Kunal Mittal. Biased Linearity Testing in the 1% Regime. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 10:1-10:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{khot_et_al:LIPIcs.CCC.2025.10, author = {Khot, Subhash and Mittal, Kunal}, title = {{Biased Linearity Testing in the 1\% Regime}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {10:1--10:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.10}, URN = {urn:nbn:de:0030-drops-237046}, doi = {10.4230/LIPIcs.CCC.2025.10}, annote = {Keywords: Linearity test, 1\% regime, p-biased} }
Jeff Xu. Switching Graph Matrix Norm Bounds: From i.i.d. to Random Regular Graphs. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 11:1-11:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{xu:LIPIcs.CCC.2025.11, author = {Xu, Jeff}, title = {{Switching Graph Matrix Norm Bounds: From i.i.d. to Random Regular Graphs}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {11:1--11:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.11}, URN = {urn:nbn:de:0030-drops-237054}, doi = {10.4230/LIPIcs.CCC.2025.11}, annote = {Keywords: Semidefinite programming, random matrices, average-case complexity} }
David Miloschewsky and Supartha Podder. New Lower-Bounds for Quantum Computation with Non-Collapsing Measurements. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 12:1-12:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{miloschewsky_et_al:LIPIcs.CCC.2025.12, author = {Miloschewsky, David and Podder, Supartha}, title = {{New Lower-Bounds for Quantum Computation with Non-Collapsing Measurements}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {12:1--12:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.12}, URN = {urn:nbn:de:0030-drops-237067}, doi = {10.4230/LIPIcs.CCC.2025.12}, annote = {Keywords: Non-collapsing measurements, Quantum lower-bounds, Quantum adversary method} }
Meghal Gupta, Venkatesan Guruswami, and Mihir Singhal. Tight Bounds for Stream Decodable Error-Correcting Codes. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gupta_et_al:LIPIcs.CCC.2025.13, author = {Gupta, Meghal and Guruswami, Venkatesan and Singhal, Mihir}, title = {{Tight Bounds for Stream Decodable Error-Correcting Codes}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {13:1--13:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.13}, URN = {urn:nbn:de:0030-drops-237072}, doi = {10.4230/LIPIcs.CCC.2025.13}, annote = {Keywords: Coding theory, Streaming computation, Locally decodable code, Lower Bounds} }
Gaia Carenini and Susanna F. de Rezende. On the Automatability of Tree-Like k-DNF Resolution. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 14:1-14:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{carenini_et_al:LIPIcs.CCC.2025.14, author = {Carenini, Gaia and de Rezende, Susanna F.}, title = {{On the Automatability of Tree-Like k-DNF Resolution}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {14:1--14:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.14}, URN = {urn:nbn:de:0030-drops-237081}, doi = {10.4230/LIPIcs.CCC.2025.14}, annote = {Keywords: Proof Complexity, Tree-like k-DNF Resolution, Automatability} }
Robert Andrews. Algebraic Pseudorandomness in VNC⁰. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{andrews:LIPIcs.CCC.2025.15, author = {Andrews, Robert}, title = {{Algebraic Pseudorandomness in VNC⁰}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {15:1--15:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.15}, URN = {urn:nbn:de:0030-drops-237092}, doi = {10.4230/LIPIcs.CCC.2025.15}, annote = {Keywords: Polynomial identity testing, Algebraic circuits, Ideal Proof System} }
Tyler Besselman, Mika Göös, Siyao Guo, Gilbert Maystre, and Weiqiang Yuan. Direct Sums for Parity Decision Trees. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 16:1-16:38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{besselman_et_al:LIPIcs.CCC.2025.16, author = {Besselman, Tyler and G\"{o}\"{o}s, Mika and Guo, Siyao and Maystre, Gilbert and Yuan, Weiqiang}, title = {{Direct Sums for Parity Decision Trees}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {16:1--16:38}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.16}, URN = {urn:nbn:de:0030-drops-237105}, doi = {10.4230/LIPIcs.CCC.2025.16}, annote = {Keywords: direct sum, parity decision trees, query complexity} }
François Le Gall, Yupan Liu, Harumichi Nishimura, and Qisheng Wang. Space-Bounded Quantum Interactive Proof Systems. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 17:1-17:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{legall_et_al:LIPIcs.CCC.2025.17, author = {Le Gall, Fran\c{c}ois and Liu, Yupan and Nishimura, Harumichi and Wang, Qisheng}, title = {{Space-Bounded Quantum Interactive Proof Systems}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {17:1--17:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.17}, URN = {urn:nbn:de:0030-drops-237115}, doi = {10.4230/LIPIcs.CCC.2025.17}, annote = {Keywords: Intermediate measurements, Quantum interactive proofs, Space-bounded quantum computation} }
Simon Apers and Roman Edenhofer. Directed st-Connectivity with Few Paths Is in Quantum Logspace. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 18:1-18:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{apers_et_al:LIPIcs.CCC.2025.18, author = {Apers, Simon and Edenhofer, Roman}, title = {{Directed st-Connectivity with Few Paths Is in Quantum Logspace}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {18:1--18:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.18}, URN = {urn:nbn:de:0030-drops-237128}, doi = {10.4230/LIPIcs.CCC.2025.18}, annote = {Keywords: Quantum computation, Space-bounded complexity classes, Graph connectivity, Unambiguous computation, Random walks} }
Cassandra Marcussen, Aaron Putterman, and Salil Vadhan. Characterizing the Distinguishability of Product Distributions Through Multicalibration. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 19:1-19:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{marcussen_et_al:LIPIcs.CCC.2025.19, author = {Marcussen, Cassandra and Putterman, Aaron and Vadhan, Salil}, title = {{Characterizing the Distinguishability of Product Distributions Through Multicalibration}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {19:1--19:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.19}, URN = {urn:nbn:de:0030-drops-237130}, doi = {10.4230/LIPIcs.CCC.2025.19}, annote = {Keywords: Multicalibration, computational distinguishability} }
John M. Hitchcock, Adewale Sekoni, and Hadi Shafei. Counting Martingales for Measure and Dimension in Complexity Classes. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 20:1-20:35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hitchcock_et_al:LIPIcs.CCC.2025.20, author = {Hitchcock, John M. and Sekoni, Adewale and Shafei, Hadi}, title = {{Counting Martingales for Measure and Dimension in Complexity Classes}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {20:1--20:35}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.20}, URN = {urn:nbn:de:0030-drops-237145}, doi = {10.4230/LIPIcs.CCC.2025.20}, annote = {Keywords: resource-bounded measure, resource-bounded dimension, counting martingales, counting complexity, circuit complexity, Kolmogorov complexity, quantum complexity, Minimum Circuit Size Problem} }
Shubhangi Saraf and Devansh Shringi. Reconstruction of Depth 3 Arithmetic Circuits with Top Fan-In 3. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 21:1-21:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{saraf_et_al:LIPIcs.CCC.2025.21, author = {Saraf, Shubhangi and Shringi, Devansh}, title = {{Reconstruction of Depth 3 Arithmetic Circuits with Top Fan-In 3}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {21:1--21:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.21}, URN = {urn:nbn:de:0030-drops-237151}, doi = {10.4230/LIPIcs.CCC.2025.21}, annote = {Keywords: arithmetic circuits, learning, reconstruction} }
Ronen Shaltiel. Multiplicative Extractors for Samplable Distributions. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 22:1-22:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{shaltiel:LIPIcs.CCC.2025.22, author = {Shaltiel, Ronen}, title = {{Multiplicative Extractors for Samplable Distributions}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {22:1--22:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.22}, URN = {urn:nbn:de:0030-drops-237163}, doi = {10.4230/LIPIcs.CCC.2025.22}, annote = {Keywords: Randomness Extractors, Samplable Distributions, Hardness vsRandomness} }
Boning Meng, Juqiu Wang, Mingji Xia, and Jiayi Zheng. From an Odd Arity Signature to a Holant Dichotomy. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 23:1-23:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{meng_et_al:LIPIcs.CCC.2025.23, author = {Meng, Boning and Wang, Juqiu and Xia, Mingji and Zheng, Jiayi}, title = {{From an Odd Arity Signature to a Holant Dichotomy}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {23:1--23:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.23}, URN = {urn:nbn:de:0030-drops-237177}, doi = {10.4230/LIPIcs.CCC.2025.23}, annote = {Keywords: Complexity dichotomy, Counting, Holant problem, #P} }
Arkadev Chattopadhyay and Pavel Dvořák. Super-Critical Trade-Offs in Resolution over Parities via Lifting. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 24:1-24:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chattopadhyay_et_al:LIPIcs.CCC.2025.24, author = {Chattopadhyay, Arkadev and Dvo\v{r}\'{a}k, Pavel}, title = {{Super-Critical Trade-Offs in Resolution over Parities via Lifting}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {24:1--24:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.24}, URN = {urn:nbn:de:0030-drops-237186}, doi = {10.4230/LIPIcs.CCC.2025.24}, annote = {Keywords: Proof complexity, Lifting, Resolution over parities} }
Louis Golowich and Venkatesan Guruswami. Quantum LDPC Codes of Almost Linear Distance via Iterated Homological Products. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 25:1-25:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{golowich_et_al:LIPIcs.CCC.2025.25, author = {Golowich, Louis and Guruswami, Venkatesan}, title = {{Quantum LDPC Codes of Almost Linear Distance via Iterated Homological Products}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {25:1--25:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.25}, URN = {urn:nbn:de:0030-drops-237196}, doi = {10.4230/LIPIcs.CCC.2025.25}, annote = {Keywords: Quantum Error Correction, Quantum LDPC Code, Homological Product, Iterative Construction} }
Maxim van den Berg, Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, and Vladimir Lysikov. Algebraic Metacomplexity and Representation Theory. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 26:1-26:35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{vandenberg_et_al:LIPIcs.CCC.2025.26, author = {van den Berg, Maxim and Dutta, Pranjal and Gesmundo, Fulvio and Ikenmeyer, Christian and Lysikov, Vladimir}, title = {{Algebraic Metacomplexity and Representation Theory}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {26:1--26:35}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.26}, URN = {urn:nbn:de:0030-drops-237209}, doi = {10.4230/LIPIcs.CCC.2025.26}, annote = {Keywords: Algebraic complexity theory, metacomplexity, representation theory, geometric complexity theory} }
Irit Dinur, Siqi Liu, and Rachel Yun Zhang. New Codes on High Dimensional Expanders. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 27:1-27:42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dinur_et_al:LIPIcs.CCC.2025.27, author = {Dinur, Irit and Liu, Siqi and Zhang, Rachel Yun}, title = {{New Codes on High Dimensional Expanders}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {27:1--27:42}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.27}, URN = {urn:nbn:de:0030-drops-237217}, doi = {10.4230/LIPIcs.CCC.2025.27}, annote = {Keywords: error correcting codes, high dimensional expanders, multiplication property} }
Noah Fleming, Deniz Imrek, and Christophe Marciot. Provably Total Functions in the Polynomial Hierarchy. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 28:1-28:40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fleming_et_al:LIPIcs.CCC.2025.28, author = {Fleming, Noah and Imrek, Deniz and Marciot, Christophe}, title = {{Provably Total Functions in the Polynomial Hierarchy}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {28:1--28:40}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.28}, URN = {urn:nbn:de:0030-drops-237223}, doi = {10.4230/LIPIcs.CCC.2025.28}, annote = {Keywords: TFNP, TFPH, Proof Complxity, Characterizations} }
Yaroslav Alekseev, Mika Göös, Ziyi Guan, Gilbert Maystre, Artur Riazanov, Dmitry Sokolov, and Weiqiang Yuan. Generalised Linial-Nisan Conjecture Is False for DNFs. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 29:1-29:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alekseev_et_al:LIPIcs.CCC.2025.29, author = {Alekseev, Yaroslav and G\"{o}\"{o}s, Mika and Guan, Ziyi and Maystre, Gilbert and Riazanov, Artur and Sokolov, Dmitry and Yuan, Weiqiang}, title = {{Generalised Linial-Nisan Conjecture Is False for DNFs}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {29:1--29:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.29}, URN = {urn:nbn:de:0030-drops-237231}, doi = {10.4230/LIPIcs.CCC.2025.29}, annote = {Keywords: pseudorandomness, DNFs, bounded independence} }
Dean Doron, Dana Moshkovitz, Justin Oh, and David Zuckerman. Online Condensing of Unpredictable Sources via Random Walks. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 30:1-30:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{doron_et_al:LIPIcs.CCC.2025.30, author = {Doron, Dean and Moshkovitz, Dana and Oh, Justin and Zuckerman, David}, title = {{Online Condensing of Unpredictable Sources via Random Walks}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {30:1--30:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.30}, URN = {urn:nbn:de:0030-drops-237243}, doi = {10.4230/LIPIcs.CCC.2025.30}, annote = {Keywords: Randomness Extractors, Expander Graphs} }
Marshall Ball, Lijie Chen, and Roei Tell. Towards Free Lunch Derandomization from Necessary Assumptions (And OWFs). In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 31:1-31:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ball_et_al:LIPIcs.CCC.2025.31, author = {Ball, Marshall and Chen, Lijie and Tell, Roei}, title = {{Towards Free Lunch Derandomization from Necessary Assumptions (And OWFs)}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {31:1--31:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.31}, URN = {urn:nbn:de:0030-drops-237259}, doi = {10.4230/LIPIcs.CCC.2025.31}, annote = {Keywords: Pseudorandomness, Derandomization} }
Anastasia Sofronova and Dmitry Sokolov. A Lower Bound for k-DNF Resolution on Random CNF Formulas via Expansion. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 32:1-32:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{sofronova_et_al:LIPIcs.CCC.2025.32, author = {Sofronova, Anastasia and Sokolov, Dmitry}, title = {{A Lower Bound for k-DNF Resolution on Random CNF Formulas via Expansion}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {32:1--32:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.32}, URN = {urn:nbn:de:0030-drops-237269}, doi = {10.4230/LIPIcs.CCC.2025.32}, annote = {Keywords: proof complexity, random CNFs} }
Mi-Ying (Miryam) Huang, Xinyu Mao, Shuo Wang, Guangxu Yang, and Jiapeng Zhang. A Min-Entropy Approach to Multi-Party Communication Lower Bounds. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 33:1-33:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{huang_et_al:LIPIcs.CCC.2025.33, author = {Huang, Mi-Ying (Miryam) and Mao, Xinyu and Wang, Shuo and Yang, Guangxu and Zhang, Jiapeng}, title = {{A Min-Entropy Approach to Multi-Party Communication Lower Bounds}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {33:1--33:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.33}, URN = {urn:nbn:de:0030-drops-237273}, doi = {10.4230/LIPIcs.CCC.2025.33}, annote = {Keywords: communication complexity, lifting theorems, set intersection, chained index} }
Halley Goldberg and Valentine Kabanets. Witness Encryption and NP-Hardness of Learning. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 34:1-34:43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{goldberg_et_al:LIPIcs.CCC.2025.34, author = {Goldberg, Halley and Kabanets, Valentine}, title = {{Witness Encryption and NP-Hardness of Learning}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {34:1--34:43}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.34}, URN = {urn:nbn:de:0030-drops-237281}, doi = {10.4230/LIPIcs.CCC.2025.34}, annote = {Keywords: agnostic PAC learning, witness encryption, NP-hardness} }
Oliver Korten and Rahul Santhanam. How to Construct Random Strings. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 35:1-35:32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{korten_et_al:LIPIcs.CCC.2025.35, author = {Korten, Oliver and Santhanam, Rahul}, title = {{How to Construct Random Strings}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {35:1--35:32}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.35}, URN = {urn:nbn:de:0030-drops-237290}, doi = {10.4230/LIPIcs.CCC.2025.35}, annote = {Keywords: Explicit Constructions, Kolmogorov Complexity, Derandomization} }
Susanna F. de Rezende and Marc Vinyals. Lifting with Colourful Sunflowers. In 40th Computational Complexity Conference (CCC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 339, pp. 36:1-36:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{derezende_et_al:LIPIcs.CCC.2025.36, author = {de Rezende, Susanna F. and Vinyals, Marc}, title = {{Lifting with Colourful Sunflowers}}, booktitle = {40th Computational Complexity Conference (CCC 2025)}, pages = {36:1--36:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-379-9}, ISSN = {1868-8969}, year = {2025}, volume = {339}, editor = {Srinivasan, Srikanth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2025.36}, URN = {urn:nbn:de:0030-drops-237303}, doi = {10.4230/LIPIcs.CCC.2025.36}, annote = {Keywords: lifting, sunflower, clique, colouring, monotone circuit, cutting planes} }
Feedback for Dagstuhl Publishing