Computational Complexity

Authors and titles for April 2025

[26] arXiv:2504.13986 [pdf, html, other]

Title: Forgetting in short and heterogeneous sequences of belief revisions

Paolo Liberatore

Comments: arXiv admin note: substantial text overlap with arXiv:2402.15445, arXiv:2305.09200

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

[27] arXiv:2504.14074 [pdf, html, other]

Title: Holant* Dichotomy on Domain Size 3: A Geometric Perspective

Jin-Yi Cai, Jin Soo Ihm

Comments: 49 pages, 17 figures

Subjects: Computational Complexity (cs.CC)

[28] arXiv:2504.14390 [pdf, html, other]

Title: A Note on the Complexity of Defensive Domination

Steven Chaplick, Grzegorz Gutowski, Tomasz Krawczyk

Subjects: Computational Complexity (cs.CC)

[29] arXiv:2504.14729 [pdf, other]

Title: Rank Bounds and PIT for $Σ^3 ΠΣΠ^d$ circuits via a non-linear Edelstein-Kelly theorem

Abhibhav Garg, Rafael Oliveira, Akash Kumar Sengupta

Comments: 43 pages. Added reference to concurrent work

Subjects: Computational Complexity (cs.CC)

[30] arXiv:2504.15143 [pdf, html, other]

Title: Deterministic Depth-4 PIT and Normalization

Zeyu Guo, Siki Wang

Comments: Modified Theorem 3.19 and its proof, as the original version was insufficient to imply Lemma 3.20

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)

[31] arXiv:2504.16311 [pdf, html, other]

Title: Key-agreement exists if and only if the "interactive vs non interactive Kolmogorov problem" is not in ioBPP: a short proof

Bruno Bauwens, Bruno Loff

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[32] arXiv:2504.17412 [pdf, html, other]

Title: Catalytic Computing and Register Programs Beyond Log-Depth

Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra

Subjects: Computational Complexity (cs.CC)

[33] arXiv:2504.17756 [pdf, html, other]

Title: On the Degree Automatability of Sum-of-Squares Proofs

Alex Bortolotti, Monaldo Mastrolilli, Luis Felipe Vargas

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

[34] arXiv:2504.18640 [pdf, html, other]

Title: Worst-Case and Average-Case Hardness of Hypercycle and Database Problems

Cheng-Hao Fu, Andrea Lincoln, Rene Reyes

Subjects: Computational Complexity (cs.CC)

[35] arXiv:2504.18722 [pdf, html, other]

Title: MODP: Multi Objective Directional Prompting

Aashutosh Nema, Samaksh Gulati, Evangelos Giakoumakis, Bipana Thapaliya

Comments: 10 pages, 5 figures, submission to KDD 2025

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

[36] arXiv:2504.19386 [pdf, html, other]

Title: Hardness of Finding Kings and Strong Kings

Ziad Ismaili Alaoui, Nikhil S. Mande

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

[37] arXiv:2504.19777 [pdf, html, other]

Title: On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness

Joshua A. Grochow, Dan Johnson, Michael Levet

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Group Theory (math.GR)

[38] arXiv:2504.19944 [pdf, other]

Title: Probabilistic and Causal Satisfiability: Constraining the Model

Markus Bläser, Julian Dörfler, Maciej Liśkiewicz, Benito van der Zander

Comments: accepted at ICALP 25

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

[39] arXiv:2504.20262 [pdf, html, other]

Title: Closure Properties and Characterizations of TotP

Yaroslav Ivanashev

Comments: 10 pages

Subjects: Computational Complexity (cs.CC)

[40] arXiv:2504.20950 [pdf, html, other]

Title: Improved Bounds on the Space Complexity of Circuit Evaluation

Yakov Shalunov

Comments: 14 pages

Subjects: Computational Complexity (cs.CC)

[41] arXiv:2504.21624 [pdf, html, other]

Title: Multicut Problems in Almost-Planar Graphs: The Dependency of Complexity on the Demand Pattern

Florian Hörsch, Dániel Marx

Subjects: Computational Complexity (cs.CC)

[42] arXiv:2504.00133 (cross-list from eess.SY) [pdf, html, other]

Title: Data-driven Power Loss Identification through Physics-Based Thermal Model Backpropagation

Mattia Scarpa, Francesco Pase, Ruggero Carli, Mattia Bruschetta, Franscesco Toso

Comments: Accepted by European Control Conference (ECC) 2020, 8 pages, 7 figures

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)

[43] arXiv:2504.01733 (cross-list from cs.AI) [pdf, html, other]

Title: Epistemic Skills: Reasoning about Knowledge and Oblivion

Xiaolong Liang, Yì N. Wáng

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

[44] arXiv:2504.01802 (cross-list from cs.DS) [pdf, other]

Title: Distributed Triangle Detection is Hard in Few Rounds

Sepehr Assadi, Janani Sundaresan

Comments: 75 pages, 7 figures

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

[45] arXiv:2504.02115 (cross-list from quant-ph) [pdf, other]

Title: Quantum algorithms through graph composition

Arjan Cornelissen

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

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

Title: Finding Diverse Solutions in Combinatorial Problems with a Distributive Lattice Structure

Mark de Berg, Andrés López Martínez, Frits Spieksma

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

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

Title: Beating full state tomography for unentangled spectrum estimation

Angelos Pelecanos, Xinyu Tan, Ewin Tang, John Wright

Comments: 53 pages, 3 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[48] arXiv:2504.03004 (cross-list from math.CO) [pdf, html, other]

Title: Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH

Igor Pak, Colleen Robichaux

Comments: 19 pages

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

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

Title: On the consistency of stronger lower bounds for NEXP

Neil Thapen

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

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

Title: Undefinability of Approximation of 2-to-2 Games

Anuj Dawar, Bálint Molnár

Comments: 25 pages. Full version of a paper that appeared in CSL 2025

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