Computational Complexity

Authors and titles for June 2023

[1] arXiv:2306.00125 [pdf, other]

Title: Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gr\"{o}bner Bases

Massimo Lauria, Jakob Nordström

Subjects: Computational Complexity (cs.CC)

[2] arXiv:2306.00615 [pdf, other]

Title: Toward Better Depth Lower Bounds: A KRW-like theorem for Strong Composition

Or Meir

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2306.00886 [pdf, other]

Title: Bounds on BDD-Based Bucket Elimination

Stefan Mengel

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

[4] arXiv:2306.01349 [pdf, other]

Title: The Maximum Matrix Contraction Problem

Dimitri Watel (ENSIIE, CEDRIC - OC), Pierre-Louis Poirion (CEDRIC - OC)

Journal-ref: International Symposium on Combinatorial Optimization, May 2016, Vietri sul Mare, Italy. pp.426-438

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

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

Title: Discreteness of asymptotic tensor ranks

Jop Briët, Matthias Christandl, Itai Leigh, Amir Shpilka, Jeroen Zuiddam

Comments: Small changes based on ITCS reviews

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

[6] arXiv:2306.02184 [pdf, other]

Title: Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system

Joshua A. Grochow

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

[7] arXiv:2306.02189 [pdf, other]

Title: On Approximability of Steiner Tree in $\ell_p$-metrics

Henry Fleischmann, Surya Teja Gavva, Karthik C. S.

Comments: Abstract shortened due to arxiv's requirements

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

[8] arXiv:2306.03135 [pdf, html, other]

Title: On the complexity of isomorphism problems for tensors, groups, and polynomials III: actions by classical groups

Zhili Chen, Joshua A. Grochow, Youming Qiao, Gang Tang, Chuanqi Zhang

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Representation Theory (math.RT); Quantum Physics (quant-ph)

[9] arXiv:2306.03640 [pdf, other]

Title: Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part II: Hardness Results

Jacob Focke, Dániel Marx, Fionn Mc Inerney, Daniel Neuen, Govind S. Sankar, Philipp Schepper, Philip Wellnitz

Comments: This is the second part following an accompanying paper arXiv:2211.04278. We split the original paper to keep paper length more manageable

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

[10] arXiv:2306.03854 [pdf, other]

Title: An Exponential Envy-Free Cake Cutting Protocol for $n$ Agents

Georgy Sokolov

Comments: in Russian, 31 pages

Subjects: Computational Complexity (cs.CC)

[11] arXiv:2306.05818 [pdf, other]

Title: Complexity of Reachability Problems in Neural Networks

Adrian Wurm

Comments: 20 pages, no figures

Subjects: Computational Complexity (cs.CC)

[12] arXiv:2306.08375 [pdf, other]

Title: Verification of NP-hardness Reduction Functions for Exact Lattice Problems

Katharina Kreuzer, Tobias Nipkow

Comments: to be published at CADE-29

Subjects: Computational Complexity (cs.CC)

[13] arXiv:2306.08513 [pdf, other]

Title: A note on the complexity of addition

Emil Jeřábek

Comments: 5 pages

Subjects: Computational Complexity (cs.CC)

[14] arXiv:2306.08594 [pdf, other]

Title: The directed metric dimension of directed co-graphs

Yannick Schmitz, Egon Wanke

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2306.09144 [pdf, other]

Title: On the $k$-Hamming and $k$-Edit Distances

Chiara Epifanio, Luca Forlizzi, Francesca Marzi, Filippo Mignosi, Giuseppe Placidi, Matteo Spezialetti

Comments: Submitted

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

[16] arXiv:2306.09542 [pdf, html, other]

Title: $\rm P$ has polynomial-time finite-state verifiers

M. Utkan Gezer, A. C. Cem Say

Comments: 24 pages, of which 7 pages are appendix, substantially extended version of an earlier conference version that was published in the proceedings of ICTCS 2023

Subjects: Computational Complexity (cs.CC)

[17] arXiv:2306.10281 [pdf, other]

Title: Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?

Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel

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

[18] arXiv:2306.11614 [pdf, html, other]

Title: On the power of counting the total number of computation paths of NPTMs

Eleni Bakali, Aggeliki Chalki, Sotiris Kanellopoulos, Aris Pagourtzis, Stathis Zachos

Comments: 18 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2306.12440 [pdf, other]

Title: Sleptsov Nets are Turing-complete

Bernard Berthomieu, Dmitry A. Zaitsev

Comments: Sleptsov Net Computing Resolves Modern Supercomputing Problems, this https URL

Journal-ref: Theoretical Computer Science, 2023, 114346, ISSN 0304-3975

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

[20] arXiv:2306.12655 [pdf, other]

Title: Preprocessing Complexity for Some Graph Problems Parameterized by Structural Parameters

Manuel Lafond, Weidong Luo

Comments: 24 pages, 1 table, 1 figure

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

[21] arXiv:2306.14401 [pdf, other]

Title: On the distribution of sensitivities of symmetric Boolean functions

Jon T. Butler, Tsutomu Sasao, Shinobu Nagayama

Comments: 5 pages, 0 figures The submitted paper is a journal version of "Enumeration of Symmetric Boolean Functions By Sensitivity" by J. Butler, T. Sasao, and S. Nagayama presented at the Reed-Muller Workshop, Matsue, Japan on May 24, 2023. Paper was presented, but not distributed. Authors retained copyright

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2306.14779 [pdf, other]

Title: A Note On The Natural Range Of Unambiguous-SAT

Tayfun Pay

Comments: Replacement: The example at the end of section four was missing several clauses. This was fixed. The result did not change. There were several instances where a word was added or removed from a sentence. This also did not change any results

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2306.14850 [pdf, other]

Title: Algorithmics of Egalitarian versus Equitable Sequences of Committees

Eva Michelle Deltl, Till Fluschnik, Robert Bredereck

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2306.15339 [pdf, other]

Title: A Note on the Complexity of One-Sided Crossing Minimization of Trees

Alexander Dobler

Comments: 3 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2306.15817 [pdf, other]

Title: Randomized vs. Deterministic Separation in Time-Space Tradeoffs of Multi-Output Functions

Huacheng Yu, Wei Zhan

Comments: 15 pages

Subjects: Computational Complexity (cs.CC)

[26] arXiv:2306.15967 [pdf, other]

Title: Fine-grained reductions around CFL-reachability

Aleksandra Istomina, Semyon Grigorev, Ekaterina Shemetova

Comments: 34 pages, 7 figures

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2306.16287 [pdf, other]

Title: A Review on Optimality Investigation Strategies for the Balanced Assignment Problem

Anurag Dutta, K. Lakshmanan, A. Ramamoorthy, Liton Chandra Voumik, John Harshith, John Pravin Motha

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

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

Title: On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications

Joshua A. Grochow, Youming Qiao

Comments: Improved presentation. Revised introduction

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Algebraic Geometry (math.AG); Group Theory (math.GR)

[29] arXiv:2306.17035 [pdf, other]

Title: Relaxed Local Correctability from Local Testing

Vinayak M. Kumar, Geoffrey Mon

Comments: 15 pages. Improved exposition, changed notation; to appear in STOC 2024

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

[30] arXiv:2306.17430 [pdf, other]

Title: Multi-votes Election Control by Selecting Rules

Fengbo Wang, Aizhong Zhou, Jianliang Xu

Comments: 18 pages, 1 figures

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

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

Title: Bell sampling from quantum circuits

Dominik Hangleiter, Michael J. Gullans

Comments: 7+17 pages, 5 figures. Comments welcome. v2: corrected typos, added references v3: added results, improved proofs v4: extended noise analysis v5: added analysis of Bell sampling as a fidelity estimator

Journal-ref: Phys. Rev. Lett. 133, 020601 (2024)

Subjects: Quantum Physics (quant-ph); Quantum Gases (cond-mat.quant-gas); Computational Complexity (cs.CC)

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

Title: Logics with probabilistic team semantics and the Boolean negation

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

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

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

Title: Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines

Hayashi Ani, Michael Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Dylan Hendrickson, Jayson Lynch

Comments: 22 pages, 19 figures. Presented at SAND 2023

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

[34] arXiv:2306.01233 (cross-list from quant-ph) [pdf, other]

Title: Trade-offs between Entanglement and Communication

Srinivasan Arunachalam, Uma Girish

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

[35] arXiv:2306.01723 (cross-list from quant-ph) [pdf, other]

Title: Efficient Quantum State Synthesis with One Query

Gregory Rosenthal

Comments: 40 pages, 2 figures

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

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

Title: Tight Cell-Probe Lower Bounds for Dynamic Succinct Dictionaries

Tianxiao Li, Jingxun Liang, Huacheng Yu, Renfei Zhou

Comments: 38 pages; in FOCS 2023

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

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

Title: On the Complexity of Lombardi Graph Drawing

Paul Jungeblut

Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

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

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

Title: On simple expectations and observations of intelligent agents: A complexity study

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Comments: Accepted in KR 2023

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

[39] arXiv:2306.02834 (cross-list from cs.LG) [pdf, html, other]

Title: Proximity to Losslessly Compressible Parameters

Matthew Farrugia-Roberts (The University of Melbourne)

Comments: 9 pages paper, 33 pages total, 10 figures, 4 tables

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

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

Title: Curvature and complexity: Better lower bounds for geodesically convex optimization

Christopher Criscitiello, Nicolas Boumal

Comments: v1 to v2: Renamed the method of Rusciano 2019 from "center-of-gravity method" to "centerpoint method"

Journal-ref: Proceedings of Thirty Sixth Conference on Learning Theory (COLT 2023): https://proceedings.mlr.press/v195/criscitiello23a.html

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Differential Geometry (math.DG); Numerical Analysis (math.NA)

[41] arXiv:2306.03161 (cross-list from quant-ph) [pdf, other]

Title: On the Role of Entanglement and Statistics in Learning

Srinivasan Arunachalam, Vojtech Havlicek, Louis Schatzki

Comments: 43 pages, 4 pages of appendix Update: typos fixed and minor edits to proofs

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

[42] arXiv:2306.03312 (cross-list from math.PR) [pdf, other]

Title: Three Candidate Plurality is Stablest for Correlations at most 1/10

Steven Heilman

Comments: 44 pages

Subjects: Probability (math.PR); Computational Complexity (cs.CC)

[43] arXiv:2306.03912 (cross-list from quant-ph) [pdf, other]

Title: Sphere Valued Noise Stability and Quantum MAX-CUT Hardness

Steven Heilman

Comments: 26 pages. arXiv admin note: text overlap with arXiv:2306.03312

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

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

Title: Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets

Marc Hellmuth, Guillaume E. Scholz

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

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

Title: Hardness of Deceptive Certificate Selection

Stephan Wäldchen

Comments: 15 pages, 3 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

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

Title: Querying Circumscribed Description Logic Knowledge Bases

Carsten Lutz, Quentin Manière, Robin Nolte

Comments: 42 pages - Extended version of a paper accepted at KR 2023

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

[47] arXiv:2306.04612 (cross-list from math.GT) [pdf, html, other]

Title: Recognition of Seifert fibered spaces with boundary is in NP

Adele Jackson

Comments: 51 pages including 12 pages of appendix, 10 figures. Revised to improve exposition

Subjects: Geometric Topology (math.GT); Computational Complexity (cs.CC); Computational Geometry (cs.CG)

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

Title: Free Fermion Distributions Are Hard to Learn

Alexander Nietner

Comments: Changes in v2: - Clearer interpretation of Inf. Theorem 1 in terms of the free fermion formalism --> Corollary 7 - Added more background in particular regarding [AG23] - Added discussion about potential average-case generalizations using the results from [Nie23] and [DGK+23]

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

[49] arXiv:2306.04843 (cross-list from quant-ph) [pdf, other]

Title: Classical Verification of Quantum Learning

Matthias C. Caro, Marcel Hinsche, Marios Ioannou, Alexander Nietner, Ryan Sweke

Comments: 12 + 46 + 23 pages, 1 table, 1 figure; V2 fixes some typos and includes new results in Section 6.3

Journal-ref: In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 24:1-24:23, Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik (2024)

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

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

Title: Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem

Joonas Ilmavirta, Matti Lassas, Jinpeng Lu, Lauri Oksanen, Lauri Ylinen

Comments: 42 pages, 3 figures; added numerical examples (appendix A)

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