Computational Complexity

Authors and titles for cs.CC in Nov 2022

[1]  arXiv:2211.01062 [pdf, ps, other]

Title: Polynomial Identity Testing via Evaluation of Rational Functions

Authors: Ivan Hu, Dieter van Melkebeek, Andrew Morgan

Comments: Appeared at ITCS 2022. This is an expanded version with an additional author

Subjects: Computational Complexity (cs.CC)

[2]  arXiv:2211.01443 [pdf, ps, other]

Title: Improved Inapproximability of VC Dimension and Littlestone's Dimension via (Unbalanced) Biclique

Authors: Pasin Manurangsi

Comments: To appear in ITCS 2023

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

[3]  arXiv:2211.01776 [pdf, ps, other]

Title: Complexity of Simon's problem in classical sense

Authors: Hans Zantema

Comments: 10 pages

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

[4]  arXiv:2211.01905 [pdf, other]

Title: The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree

Authors: Marco Bressan, Matthias Lanzinger, Marc Roth

Comments: 47 pages, 1 figure, abstract shortened due to arXiv requirements

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

[5]  arXiv:2211.02257 [pdf, ps, other]

Title: Certification with an NP Oracle

Authors: Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan

Comments: 25 pages, 2 figures, ITCS 2023

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

[6]  arXiv:2211.02926 [pdf, other]

Title: Parity Games of Bounded Tree-Depth

Authors: Konrad Staniszewski (University of Warsaw, IDEAS NCBR Sp. z o.o.)

Comments: This is the full version of the paper that has been accepted at CSL 2023 and is going to be published in Leibniz International Proceedings in Informatics (LIPIcs)

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:2211.03168 [pdf, other]

Title: Approximate Graph Colouring and the Crystal with a Hollow Shadow

Authors: Lorenzo Ciardo, Stanislav Živný

Comments: Full version of a STOC'23 paper and a SODA'23 paper (arXiv:2210.08293). Generalises and subsumes results from Section 6 in arXiv:2203.02478

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

[8]  arXiv:2211.03365 [pdf, other]

Title: Polynomial Kernels for Generalized Domination Problems

Authors: Pradeesha Ashok, Rajath Rao, Avi Tomar

Comments: 19 pages, 6 figures

Subjects: Computational Complexity (cs.CC)

[9]  arXiv:2211.03396 [pdf, ps, other]

Title: Certificate games

Authors: Sourav Chakraborty, Anna Gál, Sophie Laplante, Rajat Mittal, Anupa Sunny

Comments: 43 pages, 1 figure, ITCS2023

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

[10]  arXiv:2211.03404 [pdf, ps, other]

Title: Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$

Authors: Vladimir P. Burichenko

Comments: 19 pp. Accepted for publication in Proceedings of the Institute of mathematics (of Academy of Sciences of Belarus)

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:2211.03874 [pdf, other]

Title: Nearly optimal independence oracle algorithms for edge estimation in hypergraphs

Authors: Holger Dell, John Lapinskas, Kitty Meeks

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

[12]  arXiv:2211.04032 [pdf, ps, other]

Title: Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$, II

Authors: Vladimir P. Burichenko

Comments: 13 pp. Accepted for publication in Proceedings of the Institute of Mathematics of Academy of Sciences of Belarus

Subjects: Computational Complexity (cs.CC)

[13]  arXiv:2211.04278 [pdf, other]

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

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

Comments: We split the original paper to keep paper length more manageable. This is the first part with the algorithmic results followed by the accompanying paper arXiv:2306.03640 covering the second part with the hardness results

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

[14]  arXiv:2211.04385 [pdf, other]

Title: Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!

Authors: Divesh Aggarwal, Rajendra Kumar

Comments: Added: Instance compression of exact-CVP

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

[15]  arXiv:2211.05069 [pdf, ps, other]

Title: Basis for a vector space generated by Hamiltonian time paths in a complete time graph

Authors: Malay Dutta, Anjana K. Mahanta

Comments: 16 pages 3 figures

Subjects: Computational Complexity (cs.CC)

[16]  arXiv:2211.05274 [pdf, ps, other]

Title: Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials

Authors: Alexander S. Wein

Comments: 42 pages; STOC 2023

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

[17]  arXiv:2211.05325 [pdf, ps, other]

Title: Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Authors: Michael J. Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro E.S. Morales

Comments: 37 pages, 10 figures

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

[18]  arXiv:2211.05637 [pdf, ps, other]

Title: Description Graphs, Matrix-Power Stabilizations and Graph Isomorphism in Polynomial Time

Authors: Rui Xue (State Key Laboratory of Information Security, Institute of Information Engineering, CAS)

Comments: In this version, some related references are added. An explicit proof to Theorem 9 is sketched in the appendix. The proofs in Section 7-10 to our main results are rewritten with WL process for consistency

Subjects: Computational Complexity (cs.CC)

[19]  arXiv:2211.06121 [pdf, ps, other]

Title: A parameterized halting problem, $Δ_0$ truth and the MRDP theorem

Authors: Yijia Chen, Moritz Müller, Keita Yokoyama

Comments: 25 pages

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

[20]  arXiv:2211.06485 [pdf, ps, other]

Title: On automorphism group of a possible short algorithm for multiplication of $3\times3$ matrices

Authors: Vladimir Burichenko

Comments: 11 pp. To be submitted to European J. Math

Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)

[21]  arXiv:2211.07055 [pdf, ps, other]

Title: De-bordering and Geometric Complexity Theory for Waring rank and related models

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

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

[22]  arXiv:2211.07315 [pdf, ps, other]

Title: Counterfactual Analysis by Algorithmic Complexity: A metric between possible worlds

Authors: Nicholas Kluge Corrêa, Nythamar Fernandes De Oliveira

Journal-ref: November 2022, Manuscrito 46(4):1-34

Subjects: Computational Complexity (cs.CC)

[23]  arXiv:2211.07547 [pdf, other]

Title: On the Smoothed Complexity of Combinatorial Local Search

Authors: Yiannis Giannakopoulos, Alexander Grosz, Themistoklis Melissourgos

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

[24]  arXiv:2211.07691 [pdf, ps, other]

Title: Low-depth arithmetic circuit lower bounds via shifted partials

Authors: Prashanth Amireddy, Ankit Garg, Neeraj Kayal, Chandan Saha, Bhargav Thankey

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

[25]  arXiv:2211.07900 [pdf, ps, other]

Title: Parameterized Inapproximability of the Minimum Distance Problem over all Fields and the Shortest Vector Problem in all $\ell_p$ Norms

Authors: Huck Bennett, Mahdi Cheraghchi, Venkatesan Guruswami, João Ribeiro

Comments: 40 pages. Revised exposition. To appear at SICOMP. Short conference version in STOC 2023

Subjects: Computational Complexity (cs.CC)