Computational Complexity

Authors and titles for October 2022

[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)