Computational Complexity

Authors and titles for April 2025

[1] arXiv:2504.00318 [pdf, other]

Title: SAT problem and Limit of Solomonoff's inductive reasoning theory

Feng Pan

Comments: 19 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[2] arXiv:2504.00346 [pdf, html, other]

Title: Improved Round-by-round Soundness IOPs via Reed-Muller Codes

Dor Minzer, Kai Zhe Zheng

Comments: 102 pages

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[3] arXiv:2504.01354 [pdf, html, other]

Title: Dichotomies for \#CSP on graphs that forbid a clique as a minor

Boning Meng, Yicheng Pan

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2504.01856 [pdf, html, other]

Title: Lower Bounds for Leader Election and Collective Coin Flipping, Revisited

Eshan Chattopadhyay, Mohit Gurumukhani, Noam Ringach, Rocco Servedio

Comments: 28 pages

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)

[5] arXiv:2504.01899 [pdf, html, other]

Title: Recovery Reductions in the Random Noise Model via Group Theory: Insights into NP-Complete and Fine-Grained Problems

Tejas Nareddy, Abhishek Mishra

Comments: 37 pages

Subjects: Computational Complexity (cs.CC)

[6] arXiv:2504.02387 [pdf, html, other]

Title: Sublinear Time Algorithms for Abelian Group Isomorphism and Basis Construction

Nader H. Bshouty

Subjects: Computational Complexity (cs.CC)

[7] arXiv:2504.02695 [pdf, html, other]

Title: Mind the Gap? Not for SVP Hardness under ETH!

Divesh Aggarwal, Rishav Gupta, Aditya Morolia

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)

[8] arXiv:2504.03591 [pdf, html, other]

Title: A Lower Bound on Conservative Elementary Object Systems Coverability

Francesco Di Cosmo (Free University of Bozen-Bolzano), Soumodev Mal (Chennai Mathematical Institute), Tephilla Prince (IIT Dharwad)

Comments: 8 pages, 1 figure, part of a submission to a journal

Subjects: Computational Complexity (cs.CC)

[9] arXiv:2504.04133 [pdf, html, other]

Title: The Probability Spaces of QuickSort

George Nadareishvili, Jonas Oberhauser, Wolfgang J. Paul

Subjects: Computational Complexity (cs.CC); Probability (math.PR)

[10] arXiv:2504.04416 [pdf, html, other]

Title: Meta-Mathematics of Computational Complexity Theory

Igor C. Oliveira

Comments: SIGACT News Complexity Theory Column 124

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[11] arXiv:2504.04639 [pdf, html, other]

Title: Ineffectiveness for Search and Undecidability of PCSP Meta-Problems

Alberto Larrauri

Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[12] arXiv:2504.04984 [pdf, html, other]

Title: Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs

Nadzieja Hodur, Monika Pilśniak, Magdalena Prorok, Paweł Rzążewski

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[13] arXiv:2504.06044 [pdf, other]

Title: Polynomial-Time PIT from (Almost) Necessary Assumptions

Robert Andrews, Deepanshu Kush, Roei Tell

Subjects: Computational Complexity (cs.CC)

[14] arXiv:2504.07592 [pdf, html, other]

Title: Hardness of 4-Colourings G-Colourable Graphs

Sergey Avvakumov (1), Marek Filakovský (2), Jakub Opršal (3), Gianluca Tasinato (4), Uli Wagner (4) ((1) Tel Aviv University, (2) Masaryk University, (3) University of Birmingham, (4) Institute of Science and Technology Austria)

Comments: 17 pages, 5 figures, accepted to STOC 2025

Subjects: Computational Complexity (cs.CC); Algebraic Topology (math.AT); Combinatorics (math.CO)

[15] arXiv:2504.08063 [pdf, html, other]

Title: Deterministic factorization of constant-depth algebraic circuits in subexponential time

Somnath Bhattacharjee, Mrinal Kumar, Varun Ramanathan, Ramprasad Saptharishi, Shubhangi Saraf

Comments: Some changes in Section 8.1 to reflect a subtle issue regarding the underlying field in the reduction from irreducibility to divisibility

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[16] arXiv:2504.08444 [pdf, other]

Title: Collapsing Catalytic Classes

Michal Koucký, Ian Mertz, Edward Pyne, Sasha Sami

Subjects: Computational Complexity (cs.CC)

[17] arXiv:2504.08987 [pdf, html, other]

Title: Relative-error testing of conjunctions and decision lists

Xi Chen, William Pires, Toniann Pitassi, Rocco A. Servedio

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[18] arXiv:2504.09312 [pdf, html, other]

Title: Testing Juntas and Junta Subclasses with Relative Error

Xi Chen, William Pires, Toniann Pitassi, Rocco A. Servedio

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[19] arXiv:2504.09991 [pdf, html, other]

Title: Bipartite Matching is in Catalytic Logspace

Aryan Agarwala, Ian Mertz

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[20] arXiv:2504.10904 [pdf, html, other]

Title: A Pseudorandom Generator for Functions of Low-Degree Polynomial Threshold Functions

Penghui Yao, Mingnan Zhao

Comments: update citations

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2504.11348 [pdf, html, other]

Title: Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs

Aliénor Goubault-Larrecq, Kévin Perrot

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2504.11859 [pdf, html, other]

Title: Meta Theorem for Hardness on FCP-Problem

Atsuki Nagao, Mei Sekiguchi

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2504.12302 [pdf, html, other]

Title: Reachability in Geometrically $d$-Dimensional VASS

Yuxi Fu, Yangluo Zheng, Qizhe Yang

Comments: 30 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[24] arXiv:2504.13268 [pdf, html, other]

Title: Dichotomy for orderings?

Gábor Kun, Jaroslav Nešetřil

Comments: 29 pages, 3 pictures

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2504.13536 [pdf, html, other]

Title: Polynomial-time Tractable Problems over the $p$-adic Numbers

Arno Fehm, Manuel Bodirsky

Subjects: Computational Complexity (cs.CC); Logic (math.LO)