Computational Complexity

Authors and titles for cs.CC in Jan 2023

[1]  arXiv:2301.00074 [pdf, other]

Title: Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles

Authors: Matthew Anderson, Zongliang Ji, Anthony Yang Xu

Comments: 35 pages, 7 figures, full version of SAT 2020 extended abstract

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)

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

Title: Power of Decision Trees with Monotone Queries

Authors: Prashanth Amireddy, Sai Jayasurya, Jayalal Sarma

Subjects: Computational Complexity (cs.CC)

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

Title: Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank

Authors: Dror Chawin, Ishay Haviv

Comments: 20 pages

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

[4]  arXiv:2301.00739 [pdf, other]

Title: On the Complexity of Sub-Tree Scheduling for Wireless Sensor Networks with Partial Coverage

Authors: Michele Barbato, Nicola Bianchessi

Comments: 5 pages, 2 figures. To be submitted to Discrete Mathematics & Theoretical Computer Science

Subjects: Computational Complexity (cs.CC)

[5]  arXiv:2301.01676 [pdf, other]

Title: New Lower Bounds against Homogeneous Non-Commutative Circuits

Authors: Prerona Chatterjee, Pavel Hrubeš

Subjects: Computational Complexity (cs.CC)

[6]  arXiv:2301.01696 [pdf, other]

Title: Parameterised and Fine-grained Subgraph Counting, modulo $2$

Authors: Leslie Ann Goldberg, Marc Roth

Comments: 55 pages, 19 figures

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

[7]  arXiv:2301.02161 [pdf, other]

Title: Streaming Zero-Knowledge Proofs

Authors: Graham Cormode, Marcel Dall'Agnol, Tom Gur, Chris Hickey

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

[8]  arXiv:2301.03221 [pdf, other]

Title: Representing Matroids over the Reals is $\exists \mathbb R$-complete

Authors: Eunjung Kim, Arnaud de Mesmay, Tillmann Miltzow

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

[9]  arXiv:2301.03384 [pdf]

Title: Exceeding Computational Complexity Trial-and-Error Dynamic Action and Intelligence

Authors: Chuyu Xiong

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

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

Title: A Critique of Sopin's "${\rm PH} = {\rm PSPACE}$"

Authors: Michael C. Chavrimootoo, Ian Clingerman, Quan Luu

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:2301.04690 [pdf, other]

Title: A Functorial Perspective on (Multi)computational Irreducibility

Authors: Jonathan Gorard

Comments: 62 pages, 19 figures

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

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

Title: Hardness of Ruling Out Short Proofs of Kolmogorov Randomness

Authors: Hunter Monroe

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

[13]  arXiv:2301.05658 [pdf, ps, other]

Title: Streaming Lower Bounds and Asymmetric Set-Disjointness

Authors: Shachar Lovett, Jiapeng Zhang

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

[14]  arXiv:2301.05680 [pdf, other]

Title: Cumulative Memory Lower Bounds for Randomized and Quantum Computation

Authors: Paul Beame, Niels Kornerup

Comments: 42 pages, 3 figures, submitted to STOC 2023

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

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

Title: Forced Capture Hnefatafl

Authors: Kyle Burke, Craig Tennenhouse

Comments: 12 pages, 9 figures, 4 open problems

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

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

Title: Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality

Authors: Joshua A. Grochow

Comments: To appear in commemorative volume of Theory of Computing Systems in honor of Alan L. Selman

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

[17]  arXiv:2301.07384 [pdf, other]

Title: Pseudorandom Generators for Sliding-Window Algorithms

Authors: Augusto Modanese

Comments: 28 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

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

Title: A Quantum EL Theorem

Authors: Samuel Epstein

Comments: arXiv admin note: text overlap with arXiv:2102.03905

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

[19]  arXiv:2301.10031 [pdf, other]

Title: Treewidth is NP-Complete on Cubic Graphs (and related results)

Authors: Hans L. Bodlaender, Édouard Bonnet, Lars Jaffke, Dušan Knop, Paloma T. Lima, Martin Milanič, Sebastian Ordyniak, Sukanya Pandey, Ondřej Suchý

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

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

Title: Improved Pseudorandom Generators for $\mathsf{AC}^0$ Circuits

Authors: Xin Lyu

Comments: The conference version appeared in CCC2022

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

[21]  arXiv:2301.10557 [pdf, other]

Title: PSPACE $\subseteq$ BQP

Authors: Shibdas Roy

Comments: 4 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[22]  arXiv:2301.11632 [pdf, other]

Title: Turing Machines Equipped with CTC in Physical Universes

Authors: Sara Babaee Khanehsar, Farzad Didehvar

Comments: 9 pages, 8 figures

Subjects: Computational Complexity (cs.CC); General Relativity and Quantum Cosmology (gr-qc)

[23]  arXiv:2301.12028 [pdf, ps, other]

Title: An Arithmetic Theory for the Poly-Time Random Functions

Authors: Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

Comments: 37 pages, pre-print

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

[24]  arXiv:2301.12122 [pdf, other]

Title: Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions

Authors: Jiaxi Zhang, Shenggen Zheng, Liwei Ni, Huawei Li, Guojie Luo

Comments: Accepted to DATE'23

Subjects: Computational Complexity (cs.CC)

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

Title: Measuring robustness of dynamical systems. Relating time and space to length and precision

Authors: Manon Blanc, Olivier Bournez

Subjects: Computational Complexity (cs.CC)