Computational Complexity

Authors and titles for July 2025

[1] arXiv:2507.00148 [pdf, html, other]

Title: Sensitivity and Query Complexity under Uncertainty

Deepu Benson, Balagopal Komarath, Nikhil Mande, Sai Soumya Nalli, Jayalal Sarma, Karteek Sreenivasaiah

Comments: 43 pages, merged and improved version of technical reports - arXiv:2501.00831 and arXiv:2412.06395

Subjects: Computational Complexity (cs.CC)

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

Title: Hamiltonicity Parameterized by Mim-Width is (Indeed) Para-NP-Hard

Benjamin Bergougnoux, Lars Jaffke

Comments: 11 pages, 6 figures

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

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

Title: PCPP-Based Reconfiguration Inapproximability: Query Complexity vs. Soundness Gap Trade-offs

Venkatesan Guruswami, Xuandi Ren, Kewen Wu

Subjects: Computational Complexity (cs.CC)

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

Title: Symport/Antiport P Systems with Membrane Separation Characterize P^(#P)

Vivien Ducros, Claudio Zandron

Subjects: Computational Complexity (cs.CC)

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

Title: Complexity of learning matchings and half graphs via edge queries

Nikhil S. Mande, Swagato Sanyal, Viktor Zamaraev

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

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

Title: A Near-Optimal Polynomial Distance Lemma Over Boolean Slices

Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan

Comments: 42 pages, Accepted to ICALP 2025

Subjects: Computational Complexity (cs.CC)

[7] arXiv:2507.03593 [pdf, other]

Title: Are Depth-2 Regular Expressions Hard to Intersect?

Rocco Ascone, Giulia Bernardini, Alessio Conte, Veronica Guerrini, Giulia Punzi

Comments: 24 pages, 10 figures

Subjects: Computational Complexity (cs.CC)

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

Title: Quantum Computation with Correlated Measurements: Implications for the Complexity Landscape

David Miloschewsky, Supartha Podder

Comments: 19 Pages, 1 Figure

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Low Sets and Closure Properties of Counting Function Classes

Yaroslav Ivanashev

Subjects: Computational Complexity (cs.CC)

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

Title: Lineal Extensions of Kakeya Sets Missing Every ee-Random Point

Neil Lutz, Spencer Park Martin, Rain White

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

[11] arXiv:2507.05760 [pdf, other]

Title: Parameterized Restless Temporal Path

Justine Cauvi (DI-ENS, ARGO, ENS de Lyon), Laurent Viennot (DI-ENS, ARGO)

Journal-ref: 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, Sep 2025, Wroclaw, Poland, France

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

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

Title: A Formal Refutation of the Blockchain Trilemma

Craig Wright

Comments: 12 pages

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

[13] arXiv:2507.05860 [pdf, html, other]

Title: On the Complexity of Problems on Graphs Defined on Groups

Bireswar Das, Dipan Dey, Jinia Ghosh

Comments: 22 pages, this is the full version of the corresponding paper accepted at the 25th International Symposium on Fundamentals of Computation Theory (FCT 2025)

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Group Theory (math.GR)

[14] arXiv:2507.05951 [pdf, other]

Title: Complexity Results of Persuasion

Alban Grastien

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

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

Title: Generalized and Unified Equivalences between Hardness and Pseudoentropy

Lunjia Hu, Salil Vadhan

Comments: Accepted to TCC 2025

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

[16] arXiv:2507.07283 [pdf, html, other]

Title: Nonogram: Complexity of Inference and Phase Transition Behavior

Aaron Foote, Danny Krizanc

Subjects: Computational Complexity (cs.CC)

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

Title: Testing Isomorphism of Boolean Functions over Finite Abelian Groups

Swarnalipa Datta, Arijit Ghosh, Chandrima Kayal, Manaswi Paraashar, Manmatha Roy

Comments: 44 pages, RANDOM 2025

Subjects: Computational Complexity (cs.CC)

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

Title: Communication complexity of pointer chasing via the fixed-set lemma

Emanuele Viola

Subjects: Computational Complexity (cs.CC)

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

Title: A Critique of Deng's "P=NP"

Isabel Humphreys, Matthew Iceland, Harry Liuson, Dylan McKellips, Leo Sciortino

Comments: 10 pages, 4 figures

Subjects: Computational Complexity (cs.CC)

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

Title: IPS Lower Bounds for Formulas and Sum of ROABPs

Prerona Chatterjee, Utsab Ghosal, Partha Mukhopadhyay, Amit Sinhababu

Subjects: Computational Complexity (cs.CC)

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

Title: Directed disjoint paths remains W[1]-hard on acyclic digraphs without large grid minors

Ken-ichi Kawarabayashi, Nicola Lorenz, Marcelo Garlet Milani, Jacob Stegemann

Subjects: Computational Complexity (cs.CC)

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

Title: Communication Complexity is NP-hard

Shuichi Hirahara, Rahul Ilango, Bruno Loff

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2507.10731 [pdf, other]

Title: Eigenvalue Bounds for Symmetric Markov Chains on Multislices With Applications

Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan

Comments: To appear in RANDOM 2025

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

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

Title: Equality is Far Weaker than Constant-Cost Communication

Mika Göös, Nathaniel Harms, Artur Riazanov

Subjects: Computational Complexity (cs.CC)

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

Title: On the Complexity of the Skolem Problem at Low Orders

Piotr Bacik, Joël Ouaknine, James Worrell

Comments: 19 pages

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