Computational Complexity

Authors and titles for cs.CC in Apr 2017

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

Title: Approximately certifying the restricted isometry property is hard

Authors: Jonathan Weed

Journal-ref: IEEE Trans. Inf. Theory 64 (2018), no. 8

Subjects: Computational Complexity (cs.CC)

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

Title: Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams

Authors: Michael Kapralov, Jelani Nelson, Jakub Pachocki, Zhengyu Wang, David P. Woodruff, Mobin Yahyazadeh

Comments: merge of arXiv:1703.08139 and of work of Kapralov, Woodruff, and Yahyazadeh

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

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

Title: The Unbounded-Error Communication Complexity of symmetric XOR functions

Authors: Hamed Hatami, Yingjie Qian

Subjects: Computational Complexity (cs.CC)

[4]  arXiv:1704.01101 [pdf, ps, other]

Title: On Resource-bounded versions of the van Lambalgen theorem

Authors: Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla

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

[5]  arXiv:1704.01405 [pdf, other]

Title: Polynomial running times for polynomial-time oracle machines

Authors: Akitoshi Kawamura, Florian Steinberg

Subjects: Computational Complexity (cs.CC)

[6]  arXiv:1704.01657 [pdf, other]

Title: New Planar P-time Computable Six-Vertex Models and a Complete Complexity Classification

Authors: Jin-Yi Cai, Zhiguo Fu, Shuai Shao

Comments: 61 pages, 16 figures. An extended abstract appears in SODA 2021

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:1704.01914 [pdf, other]

Title: A Proof of the CSP Dichotomy Conjecture

Authors: Dmitriy Zhuk

Comments: the final version

Subjects: Computational Complexity (cs.CC)

[8]  arXiv:1704.01929 [pdf, ps, other]

Title: The Matching Problem in General Graphs is in Quasi-NC

Authors: Ola Svensson, Jakub Tarnawski

Comments: Accepted to FOCS 2017 (58th Annual IEEE Symposium on Foundations of Computer Science)

Journal-ref: Proc. of 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2017, pages 696-707

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

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

Title: Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy

Authors: Joshua Brakensiek, Venkatesan Guruswami

Comments: 39 pages; various revisions including removal of appendices and updates/corrections to some proofs

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

[10]  arXiv:1704.02086 [pdf, other]

Title: A Zero Knowledge Sumcheck and its Applications

Authors: Alessandro Chiesa, Michael A. Forbes, Nicholas Spooner

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[11]  arXiv:1704.02237 [pdf, other]

Title: On the First-Order Complexity of Induced Subgraph Isomorphism

Authors: Oleg Verbitsky, Maksim Zhukovskii

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 6, 2019) lmcs:5261

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

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

Title: Dual polynomials and communication complexity of $\textsf{XOR}$ functions

Authors: Arkadev Chattopadhyay, Nikhil S. Mande

Subjects: Computational Complexity (cs.CC)

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

Title: On the Fine-Grained Complexity of Empirical Risk Minimization: Kernel Methods and Neural Networks

Authors: Arturs Backurs, Piotr Indyk, Ludwig Schmidt

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Machine Learning (stat.ML)

[14]  arXiv:1704.03176 [pdf, ps, other]

Title: On the Spectral Properties of Symmetric Functions

Authors: Anil Ada (CMU), Omar Fawzi (LIP), Raghav Kulkarni

Subjects: Computational Complexity (cs.CC); Functional Analysis (math.FA)

[15]  arXiv:1704.03928 [pdf, other]

Title: On the Quantitative Hardness of CVP

Authors: Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz

Journal-ref: FOCS 2017

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

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

Title: Fooling intersections of low-weight halfspaces

Authors: Rocco A. Servedio, Li-Yang Tan

Comments: 27 pages

Subjects: Computational Complexity (cs.CC)

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

Title: Does robustness imply tractability? A lower bound for planted clique in the semi-random model

Authors: Jacob Steinhardt

Comments: Improved lower bound to give recovery probability tending to zero. Factored out and highlighted perturbed Bernoulli argument

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)

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

Title: Computability in the Lattice of Equivalence Relations

Authors: Jean-Yves Moyen (University of Copenhagen), Jakob Grue Simonsen (University of Copenhagen)

Comments: In Proceedings DICE-FOPARA 2017, arXiv:1704.05169

Journal-ref: EPTCS 248, 2017, pp. 38-46

Subjects: Computational Complexity (cs.CC)

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

Title: A Technical Report on PLS-Completeness of Single-Swap for Unweighted Metric Facility Location and $K$-Means

Authors: Sascha Brauer

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

Subjects: Computational Complexity (cs.CC)

[20]  arXiv:1704.05896 [pdf, other]

Title: The Complexity of Tree Partitioning

Authors: Zhao An, Qilong Feng, Iyad Kanj, Ge Xia

Subjects: Computational Complexity (cs.CC)

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

Title: Subspace Designs based on Algebraic Function Fields

Authors: Venkatesan Guruswami, Chaoping Xing, Chen Yuan

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

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

Title: Boolean quadric polytopes are faces of linear ordering polytopes

Authors: Aleksandr Maksimenko

Comments: 7 pages, in Russian

Journal-ref: Siberian Electronic Mathematical Reports, 14, 640-646, 2017

Subjects: Computational Complexity (cs.CC)

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

Title: On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Authors: Clement Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny

Comments: v4: Full version of a STACS'18 paper; improved presentation

Journal-ref: Algorithmica 81(4) 1699-1727 (2019)

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

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

Title: On monotone circuits with local oracles and clique lower bounds

Authors: Jan Krajicek, Igor C. Oliveira

Comments: Updated acknowledgements and funding information

Journal-ref: Chicago Journal of Theoretical Computer Science, vol.2018, nb.1, (March 2018), pp.1-18

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

[25]  arXiv:1704.06314 [pdf, other]

Title: Settling the query complexity of non-adaptive junta testing

Authors: Xi Chen, Rocco A. Servedio, Li-Yang Tan, Erik Waingarten, Jinyu Xie

Subjects: Computational Complexity (cs.CC)