We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

Authors and titles for recent submissions

[ total of 39 entries: 1-25 | 26-39 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 13 May 2026

[1]  arXiv:2605.12378 [pdf, ps, other]
Title: Proof Systems Based on Structured Circuits
Authors: Matthäus Micun, Christoph Berkholz
Subjects: Computational Complexity (cs.CC)
[2]  arXiv:2605.12073 [pdf, ps, other]
Title: Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
Authors: Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[3]  arXiv:2605.11545 [pdf, ps, other]
Title: Strong Inapproximability for a Promise Rank Problem
Authors: Venkatesan Guruswami, Xuandi Ren, Shaoxuan Tang
Subjects: Computational Complexity (cs.CC)
[4]  arXiv:2605.11407 [pdf, ps, other]
Title: Feedback Set Problems on Bounded-Degree (Planar) Graphs
Authors: Tian Bai, Yixin Cao, Mingyu Xiao
Subjects: Computational Complexity (cs.CC)
[5]  arXiv:2605.12450 (cross-list from quant-ph) [pdf, ps, other]
Title: Simulation of Non-Hermitian Hamiltonians with Bivariate Quantum Signal Processing
Authors: Joshua M. Courtney
Comments: 64 pages, 3 figures, 4 tables
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[6]  arXiv:2605.11025 (cross-list from cs.DS) [pdf, ps, other]
Title: State Canonization and Early Pruning in Width-Based Automated Theorem Proving
Authors: Mateus de Oliveira Oliveira, Sam Urmian
Comments: Full version. 66 pages, 2 figures, 10 tables
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

Tue, 12 May 2026

[7]  arXiv:2605.10941 [pdf, ps, other]
Title: Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
Authors: Susanna F. de Rezende, David Engström, Yassine Ghannane, Duri Andrea Janett, Artur Riazanov
Comments: Full version of a paper to appear at ICALP 2026
Subjects: Computational Complexity (cs.CC)
[8]  arXiv:2605.10778 [pdf, ps, other]
Title: When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
Authors: Timo Fritsch, Marvin Künnemann, Mirza Redzic, Julian Stieß
Subjects: Computational Complexity (cs.CC)
[9]  arXiv:2605.10607 [pdf, ps, other]
Title: Continuous Defensive Domination Problems
Authors: Christoph Grüne, Tom Janßen
Subjects: Computational Complexity (cs.CC)
[10]  arXiv:2605.10010 [pdf, ps, other]
Title: Optimal Inapproximability of Generalized Linear Equations over a Finite Group
Authors: Amey Bhangale, Yezhou Zhang
Subjects: Computational Complexity (cs.CC)
[11]  arXiv:2605.09815 [pdf, ps, other]
Title: Towards infinite PCSP: a dichotomy for monochromatic cliques
Authors: Demian Banakh, Alexey Barsukov, Tamio-Vesa Nakajima
Comments: Full version of a LICS 2026 paper
Subjects: Computational Complexity (cs.CC)
[12]  arXiv:2605.09648 [pdf, ps, other]
Title: Understanding Robust Catalytic Computing
Authors: Michal Koucký, Ian Mertz, Sasha Sami
Comments: 46 pages
Subjects: Computational Complexity (cs.CC)
[13]  arXiv:2605.09551 [pdf, ps, other]
Title: VP, VNP and Algebraic Branching Programs over Min-Plus Semirings
Authors: Balagopal Komarath, Harshil Mittal, Jayalal Sarma
Comments: 32 pages, 15 figures; this is full version of the corresponding paper accepted at the 53rd EATCS International Colloquium on Automata, Languages and Programming (ICALP 2026)
Subjects: Computational Complexity (cs.CC)
[14]  arXiv:2605.08797 [pdf, ps, other]
Title: Tight Lower Bound for Approximating Parametrized Maximum Likelihood Decoding under ETH
Authors: Rishav Gupta, Bingkai Lin, Xin Zheng
Subjects: Computational Complexity (cs.CC)
[15]  arXiv:2605.10911 (cross-list from math.PR) [pdf, ps, other]
Title: The stochastic block model has the overlap graph property for modularity
Authors: Shankar Bhamidi, David Gamarnik, Remco van der Hofstad, Nelly Litvak, Pawel Pralat, Fiona Skerman, Yasmin Tousinejad
Comments: 28 pages, 2 figures
Subjects: Probability (math.PR); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Statistics Theory (math.ST)
[16]  arXiv:2605.10802 (cross-list from cs.GT) [pdf, ps, other]
Title: Constant Inapproximability for Fisher Markets
Authors: Argyrios Deligkas, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos
Comments: A preliminary version of this work appeared at EC 2024
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)
[17]  arXiv:2605.10219 (cross-list from math.OC) [pdf, ps, other]
Title: Parameterized Complexity of Stationarity Testing for Piecewise-Affine Functions and Shallow CNN Losses
Authors: Yuhan Ye
Comments: 32 pages, 1 figure, 1 table
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[18]  arXiv:2605.10056 (cross-list from cs.CR) [pdf, ps, other]
Title: Hardness Amplification for (Sparse) LPN
Authors: Divesh Aggarwal, Rishav Gupta, Li Zeyong
Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC)
[19]  arXiv:2605.10019 (cross-list from cs.LG) [pdf, ps, other]
Title: The two clocks and the innovation window: When and how generative models learn rules
Authors: Binxu Wang, Emma Lucia Byrnes Finn, Bingbin Liu
Comments: 48 pages, 28 figures. Earlier versions are presented in NeurIPS2025 SPIGM workshop as oral presentation this https URL
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)
[20]  arXiv:2605.09872 (cross-list from quant-ph) [pdf, ps, other]
Title: Multi-Prover Interactive Proof Systems with Leakage
Authors: Vahid R. Asadi, Atsuya Hasegawa, François Le Gall
Comments: 25 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[21]  arXiv:2605.09814 (cross-list from cs.DS) [pdf, ps, other]
Title: Streaming Complexity Separations for Dense and Sparse Graphs
Authors: Yang P. Liu, Hoai-An Nguyen, Noah G. Singer, David P. Woodruff
Comments: Will appear in ICALP 2026
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[22]  arXiv:2605.09017 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum algorithms for path and cycle containment problems
Authors: Arjan Cornelissen, Amin Shiraz Gilani, Subhasree Patro
Comments: 37 pages, 6 figures
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[23]  arXiv:2605.08555 (cross-list from cs.FL) [pdf, ps, other]
Title: Entropy of pebble automata and space complexity
Authors: J. Andres Montoya
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

Mon, 11 May 2026 (showing first 2 of 5 entries)

[24]  arXiv:2605.07459 [pdf, ps, other]
Title: On the Complexity of Discounted Robust MDPs with $L_p$ Uncertainty Sets
Authors: Ali Asadi, Krishnendu Chatterjee, Alipasha Montaseri, Ali Shafiee
Subjects: Computational Complexity (cs.CC)
[25]  arXiv:2605.08016 (cross-list from cs.DS) [pdf, ps, other]
Title: Planarizing Gadgets for (k, l)-tight Graphs Do Not Exist
Authors: Archit Chauhan, Rohit Gurjar, Kilian Rothmund, Thomas Thierauf
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[ total of 39 entries: 1-25 | 26-39 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2605, contact, help  (Access key information)