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)

[26] arXiv:2210.04045 (cross-list from cs.SC) [pdf, other]

Title: The FBHHRBNRSSSHK-Algorithm for Multiplication in $\mathbb{Z}_2^{5\times5}$ is still not the end of the story

Manuel Kauers, Jakob Moosbauer

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

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

Title: Unitary property testing lower bounds by polynomials

Adrian She, Henry Yuen

Comments: 58 pages, v2: typos corrected, Section 6.1-6.3 revised, added some new results

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

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

Title: Quantum Depth in the Random Oracle Model

Atul Singh Arora, Andrea Coladangelo, Matthew Coudron, Alexandru Gheorghiu, Uttam Singh, Hendrik Waldner

Comments: 104 pages (+ 9 page Appendix), 10 figures

Journal-ref: STOC 2023

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

[29] arXiv:2210.07085 (cross-list from cs.LO) [pdf, other]

Title: Towards Uniform Certification in QBF

Leroy Chew, Friedrich Slivovsky

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (February 13, 2024) lmcs:10146

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

[30] arXiv:2210.07234 (cross-list from quant-ph) [pdf, other]

Title: The Complexity of NISQ

Sitan Chen, Jordan Cotler, Hsin-Yuan Huang, Jerry Li

Comments: 15+37 pages, 3 figures

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

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

Title: Improved Bounds on Neural Complexity for Representing Piecewise Linear Functions

Kuan-Lin Chen, Harinath Garudadri, Bhaskar D. Rao

Comments: 31 pages. Accepted at NeurIPS 2022

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE)

[32] arXiv:2210.07383 (cross-list from math.RA) [pdf, other]

Title: Notes on CSPs and Polymorphisms

Zarathustra Brady

Comments: 506 pages

Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Time-Space Tradeoffs for Element Distinctness and Set Intersection via Pseudorandomness

Xin Lyu, Weihao Zhu

Comments: To appear in SODA 2023. Abstract shortened to fit into the requirement of arXiv

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

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

Title: s-Club Cluster Vertex Deletion on Interval and Well-Partitioned Chordal Graphs

Dibyayan Chakraborty, L. Sunil Chandran, Sajith Padinhatteeri, Raji. R. Pillai

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

[35] arXiv:2210.07754 (cross-list from cs.IT) [pdf, other]

Title: Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery

Nicolas Resch, Chen Yuan, Yihan Zhang

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

[36] arXiv:2210.07911 (cross-list from cs.GT) [pdf, other]

Title: Popularity on the Roommate Diversity Problem

Steven Ge, Toshiya Itoh

Comments: 33 pages

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

[37] arXiv:2210.08312 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Disordered Systems Insights on Computational Hardness

David Gamarnik, Cristopher Moore, Lenka Zdeborová

Comments: 42 pages

Journal-ref: J. Stat. Mech. (2022) 114015

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Probability (math.PR); Statistics Theory (math.ST)

[38] arXiv:2210.08596 (cross-list from eess.SY) [pdf, other]

Title: Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl H. Johansson

Comments: This paper is accepted at the 62nd IEEE Conference on Decision and Control (CDC 2023)

Subjects: Systems and Control (eess.SY); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

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

Title: Quantum Event Learning and Gentle Random Measurements

Adam Bene Watts, John Bostanci

Comments: 46 pages, no figures

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

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

Title: First Order Logic on Pathwidth Revisited Again

Michael Lampis

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

[41] arXiv:2210.09986 (cross-list from cond-mat.stat-mech) [pdf, html, other]

Title: Phase transition in the computational complexity of the shortest common superstring and genome assembly

L. A. Fernandez, V. Martin-Mayor, D. Yllanes

Comments: 9 pages, 5 figures. Version accepted for publication in Phys. Rev. E

Journal-ref: Phys. Rev. E 109, 014133 (2024)

Subjects: Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Biological Physics (physics.bio-ph); Genomics (q-bio.GN)

[42] arXiv:2210.11568 (cross-list from quant-ph) [pdf, other]

Title: Polynomial computational complexity of matrix elements of finite-rank-generated single-particle operators in products of finite bosonic states

Dmitri A. Ivanov

Comments: 4 pages, introduction and conclusion expanded, minor style corrections

Subjects: Quantum Physics (quant-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Computational Complexity (cs.CC)

[43] arXiv:2210.12036 (cross-list from cs.CG) [pdf, other]

Title: On the Longest Flip Sequence to Untangle Segments in the Plane

Guilherme D. da Fonseca, Yan Gerard, Bastien Rivier

Comments: 9 pages, 4 figures, appears in Walcom'23

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

[44] arXiv:2210.12289 (cross-list from math.LO) [pdf, other]

Title: Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

Alex Creiner, Stephen Jackson

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

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

Title: Finding matchings in dense hypergraphs

Jie Han, Peter Keevash

Comments: 17 pages

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

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

Title: The geodesic cover problem for butterfly networks

Paul Manuel, Sandi Klavzar, R. Prabha, Andrew Arokiaraj

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

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

Title: Google's Quantum Supremacy Claim: Data, Documentation, and Discussion

Gil Kalai, Yosef Rinott, Tomer Shoham

Comments: v3. 32 pages, 2 figures; v2 and v3 contain a few more details about the Google quantum supremacy experiment and about and our study; v3 - thorough English editing

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

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

Title: Explicit Second-Order Min-Max Optimization Methods with Optimal Convergence Guarantee

Tianyi Lin, Panayotis Mertikopoulos, Michael I. Jordan

Comments: Provide a simple subroutine with a detailed complexity analysis; 30 pages, 9 figures

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

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

Title: Geodesic packing in graphs

Paul Manuel, Bostjan Bresar, Sandi Klavzar

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

[50] arXiv:2210.15509 (cross-list from math.OA) [pdf, other]

Title: On Tsirelson pairs of C*-algebras

Isaac Goldbring, Bradd Hart

Comments: 13 pages; version 3; a slight redefinition of Tsirelson pair was needed to fix one of the propositions

Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)