Computational Complexity

Authors and titles for October 2022

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

Title: Beyond the Existential Theory of the Reals

Marcus Schaefer, Daniel Stefankovic

Subjects: Computational Complexity (cs.CC)

[2] arXiv:2210.01183 [pdf, other]

Title: Notions of Tensor Rank

Mandar Juvekar, Arian Nadjimzadah

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2210.01694 [pdf, other]

Title: The Complexity of Online Graph Games

Janosch Fuchs, Christoph Grüne, Tom Janßen

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[4] arXiv:2210.02288 [pdf, other]

Title: On Convexity in Split graphs: Complexity of Steiner tree and Domination

A Mohanapriya, P Renjith, N Sadagopan

Subjects: Computational Complexity (cs.CC)

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

Title: On the complexity of symmetric vs. functional PCSPs

Tamio-Vesa Nakajima, Stanislav Živný

Comments: Full version (with stronger results) of a LICS'23 paper

Journal-ref: ACM Transactions on Algorithms 20(4), Article No. 33, 2024

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

[6] arXiv:2210.06375 [pdf, other]

Title: Superpolynomial Lower Bounds for Decision Tree Learning and Testing

Caleb Koch, Carmen Strassle, Li-Yang Tan

Comments: 44 pages, 5 figures. SODA 2023

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

[7] arXiv:2210.06739 [pdf, other]

Title: Computing the Best Case Energy Complexity of Satisfying Assignments in Monotone Circuits

Janio Carlos Nascimento Silva, Uéverton S. Souza

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

[8] arXiv:2210.06845 [pdf, other]

Title: The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-Width

Robert Ganian, Thekla Hamm, Viktoriia Korchemna, Karolina Okrasa, Kirill Simonov

Comments: 21 pages, 2 figures. arXiv admin note: text overlap with arXiv:1804.07975 by other authors

Subjects: Computational Complexity (cs.CC)

[9] arXiv:2210.07030 [pdf, other]

Title: Hard to Detect Factors of Univariate Integer Polynomials

Alberto Dennunzio, Enrico Formenti, Luciano Margara

Subjects: Computational Complexity (cs.CC)

[10] arXiv:2210.08293 [pdf, other]

Title: Approximate Graph Colouring and Crystals

Lorenzo Ciardo, Stanislav Živný

Comments: Full version of a SODA 2023 paper

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

[11] arXiv:2210.08300 [pdf, other]

Title: On depth-3 circuits and covering number: an explicit counter-example

Lianna Hambardzumyan, Hamed Hatami, Ndiamé Ndiaye

Comments: 3 pages

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

[12] arXiv:2210.10677 [pdf, other]

Title: List homomorphisms by deleting edges and vertices: tight complexity bounds for bounded-treewidth graphs

Barış Can Esmer, Jacob Focke, Dániel Marx, Paweł Rzążewski

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

[13] arXiv:2210.12893 [pdf, other]

Title: On Universality of the S Combinator

Farrokh Vatan

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[14] arXiv:2210.15714 [pdf, other]

Title: List Agreement Expansion from Coboundary Expansion

Roy Gotlib, Tali Kaufman

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2210.16565 [pdf, other]

Title: The isotropy group of the matrix multiplication tensor

V.P.Burichenko

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1508.01110

Journal-ref: Trudy Instituta Matematiki (= Proceedings of the Institute of mathematics), 24 (2016), No.2, 106--118

Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT)

[16] arXiv:2210.17429 [pdf, other]

Title: The power of the Binary Value Principle

Yaroslav Alekseev, Edward A. Hirsch

Comments: 21 pages

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

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

Title: On the hull and interval numbers of oriented graphs

J. Araujo, A. K. Maia, P. P. Medeiros, L. Penso

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

[18] arXiv:2210.01601 (cross-list from quant-ph) [pdf, other]

Title: Quantum communication complexity of linear regression

Ashley Montanaro, Changpeng Shao

Comments: 34 pages, updated some minor typos, and added one new section on the connection between dequantized algorithms and communication complexity

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

[19] arXiv:2210.02035 (cross-list from math.CO) [pdf, other]

Title: A Counterexample to a Directed KKL Inequality

Quentin Dubroff, Shivam Nadimpalli, Bhargav Narayanan

Comments: 5 pages. Comments welcome

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

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

Title: Faster parameterized algorithms for modification problems to minor-closed classes

Laure Morelle, Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos

Comments: 75 pages. TheoretiCS journal article. Abstract abbreviated to fit arXiv limitation

Journal-ref: TheoretiCS, Volume 3 (August 12, 2024) theoretics:11623

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

[21] arXiv:2210.02671 (cross-list from cs.LG) [pdf, other]

Title: A Logic for Expressing Log-Precision Transformers

William Merrill, Ashish Sabharwal

Comments: May 24, 2023: Restructured version of old preprint. Oct 12, 2023: To appear at NeurIPS

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC)

[22] arXiv:2210.02999 (cross-list from quant-ph) [pdf, other]

Title: NLTS Hamiltonians from classical LTCs

Zhiyang He, Chinmay Nirkhe

Comments: This note is withdrawn due to an uncorrectable error. A detailed explanation on the withdrawal is hosted on my website at this https URL

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

[23] arXiv:2210.03553 (cross-list from cs.AI) [pdf, other]

Title: Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?

Markus Hecher

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

[24] arXiv:2210.03839 (cross-list from cs.DM) [pdf, other]

Title: Edge deletion to tree-like graph classes

Ivo Koch, Nina Pardal, Vinicius Fernandes dos Santos

Comments: 10 pages, no figures

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

[25] arXiv:2210.03934 (cross-list from cs.FL) [pdf, other]

Title: Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems

Alexander Rubtsov, Mikhail Vyalyi

Comments: 25 pages. An extended version of the conference paper (DCFS 2021), submitted to International Journal of Foundations of Computer Science

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)