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 for counting functions

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

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.00235 (cross-list from cs.CG) [pdf, html, other]

Title: Minimum Selective Subset on Some Graph Classes

Bubai Manna

Comments: This work has been accepted in CCCG 2025

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)

[19] arXiv:2507.00400 (cross-list from quant-ph) [pdf, html, other]

Title: Logarithmic Depth Decomposition of Approximate Multi-Controlled Single-Qubit Gates Without Ancilla Qubits

Jefferson D. S. Silva, Adenilton J. da Silva

Comments: 6 pages, 10 figures

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

[20] arXiv:2507.00708 (cross-list from cs.DS) [pdf, html, other]

Title: On the (In)Approximability of the Monitoring Edge Geodetic Set Problem

Davide Bilò, Giodano Colli, Luca Forlizzi, Stefano Leucci

Comments: arXiv admin note: text overlap with arXiv:2405.13875

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

[21] arXiv:2507.01292 (cross-list from quant-ph) [pdf, other]

Title: Hardness of Quantum Distribution Learning and Quantum Cryptography

Taiga Hiroka, Min-Hsiu Hsieh, Tomoyuki Morimae

Comments: 59 pages, 1 figure

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[22] arXiv:2507.02839 (cross-list from math.OC) [pdf, other]

Title: Stiefel optimization is NP-hard

Zehua Lai, Lek-Heng Lim, Tianyun Tang

Comments: 9 pages

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)

[23] arXiv:2507.03687 (cross-list from cs.DS) [pdf, html, other]

Title: On the Approximability of Train Routing and the Min-Max Disjoint Paths Problem

Umang Bhaskar, Katharina Eickhoff, Lennart Kauther, Jannik Matuschke, Britta Peis, Laura Vargas Koch

Comments: Accepted at the European Symposium on Algorithms (ESA) 2025

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

[24] arXiv:2507.03919 (cross-list from cs.DB) [pdf, html, other]

Title: PFCS: Prime Factorization Cache System for Deterministic Data Relationship Discovery

Duy Le

Comments: 6 pages, 3 figures, 3 algorithms

Subjects: Databases (cs.DB); Computational Complexity (cs.CC)

[25] arXiv:2507.05044 (cross-list from cs.LO) [pdf, html, other]

Title: Testing for Renamability to Classes of Clause Sets

Albert Brandl, Christian G. Fermüller, Gernot Salzer

Journal-ref: In Proc. Int. Workshop on First-Order Theorem Proving (FTP'97), Maria Paola Bonacina and Ulrich Fuhrbach, editors. RISC-Linz Report Series No. 97-50, pages 34--39. Johannes Kepler Universit\"at, Linz, Austria, 1997

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

[26] arXiv:2507.06216 (cross-list from quant-ph) [pdf, html, other]

Title: Unitary designs in nearly optimal depth

Laura Cui, Thomas Schuster, Fernando Brandao, Hsin-Yuan Huang

Comments: 8+31 pages, 3+1 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Information Theory (cs.IT); Mathematical Physics (math-ph)

[27] arXiv:2507.06344 (cross-list from quant-ph) [pdf, html, other]

Title: Trainability of Quantum Models Beyond Known Classical Simulability

Sabri Meyer, Francesco Scala, Francesco Tacchino, Aurelien Lucchi

Comments: 11 pages, 7 figures, 52 pages of supplementary material

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

[28] arXiv:2507.07002 (cross-list from quant-ph) [pdf, html, other]

Title: Efficient Algorithms for Quantum Hashing

Ilnar Zinnatullin, Kamil Khadiev

Comments: accepted to UCNC2025

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

[29] arXiv:2507.07524 (cross-list from cs.DS) [pdf, html, other]

Title: Finding One Local Optimum Is Easy -- But What about Two?

Yasuaki Kobayashi, Kazuhiro Kurita, Yutaro Yamaguchi

Comments: 15 pages

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

[30] arXiv:2507.07528 (cross-list from cs.DS) [pdf, html, other]

Title: On the Complexity of Hyperpath and Minimal Separator Enumeration in Directed Hypergraphs

Kazuhiro Kurita, Kevin Mann

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

[31] arXiv:2507.07696 (cross-list from math.DG) [pdf, html, other]

Title: Turing complete Navier-Stokes steady states via cosymplectic geometry

Søren Dyhr, Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas

Comments: 11 pages, no figures

Subjects: Differential Geometry (math.DG); Computational Complexity (cs.CC); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Symplectic Geometry (math.SG)

[32] arXiv:2507.07942 (cross-list from cs.DM) [pdf, html, other]

Title: The Richness of CSP Non-redundancy

Joshua Brakensiek, Venkatesan Guruswami, Bart M. P. Jansen, Victor Lagerkvist, Magnus Wahlström

Comments: 82 pages, 5 figures

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)