Computational Complexity

Authors and titles for November 2016

[1] arXiv:1611.00783 [pdf, other]

Title: Preserving Randomness for Adaptive Algorithms

William M. Hoza, Adam R. Klivans

Comments: To appear in RANDOM 2018. 32 pages, 2 figures. Added sections 1.5.3 and 7.1, changed terminology, fixed typos, improved presentation, added appendix C, simplified abstract

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

[2] arXiv:1611.00827 [pdf, other]

Title: Geometric complexity theory and matrix powering

Fulvio Gesmundo, Christian Ikenmeyer, Greta Panova

Comments: 21 pages. Final version to appear: Differential Geometry and its Applications - Special issue in Geometry and Complexity Theory

Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT)

[3] arXiv:1611.00886 [pdf, other]

Title: All or nothing: toward a promise problem dichotomy for constraint problems

Lucy Ham, Marcel Jackson

Comments: Updated from version 1 to include new results. Updated from version 2 by some amendments and streamlined arguments

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

[4] arXiv:1611.00934 [pdf, other]

Title: Online Exploration of Rectangular Grids

Hans-Joachim Böckenhauer, Janosch Fuchs, Ulla Karhumäki, Walter Unger

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

[5] arXiv:1611.00975 [pdf, other]

Title: The Complexity of Holant Problems over Boolean Domain with Non-negative Weights

Jiabao Lin, Hanpin Wang

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1611.01029 [pdf, other]

Title: On the Sum of Linear Coefficients of a Boolean Valued Function

Sumit Kumar Jha

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1611.01190 [pdf, other]

Title: Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness

Igor C. Oliveira, Rahul Santhanam

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

[8] arXiv:1611.01291 [pdf, other]

Title: Tighter Hard Instances for PPSZ

Pavel Pudlák, Dominik Scheder, Navid Talebanfard

Subjects: Computational Complexity (cs.CC)

[9] arXiv:1611.01328 [pdf, other]

Title: Feasible Interpolation for QBF Resolution Calculi

Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 2 (June 8, 2017) lmcs:2198

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

[10] arXiv:1611.01344 [pdf, other]

Title: The Polytope-Collision Problem

Shaull Almagor, Joël Ouaknine, James Worrell

Comments: 20 pages, 1 figure. Submitted to STOC 2017

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1611.01706 [pdf, other]

Title: Self-reducible with easy decision version counting problems admit additive error approximation. Connections to counting complexity, exponential time complexity, and circuit lower bounds

Eleni Bakali

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

[12] arXiv:1611.01823 [pdf, other]

Title: Parameterized counting of trees, forests and matroid bases

Cornelius Brand, Marc Roth

Comments: 14 pages

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

[13] arXiv:1611.03739 [pdf, other]

Title: Diminishable Parameterized Problems and Strict Polynomial Kernelization

Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1611.04843 [pdf, other]

Title: Finite Bases with Respect to the Superposition in Classes of Elementary Recursive Functions, dissertation

Sergey Volkov

Comments: translated from Russian by Dina Kunets

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1611.05086 [pdf, other]

Title: Hardness of Covering Alignment: Phase Transition in Post-Sequence Genomics

Romeo Rizzi, Massimo Cairo, Veli Mäkinen, Alexandru I. Tomescu, Daniel Valenzuela

Journal-ref: IEEE/ACM Trans. on Computational Biology and Bioinformatics, 30 April 2018

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1611.05558 [pdf, other]

Title: Probabilistic Rank and Matrix Rigidity

Josh Alman, Ryan Williams

Comments: 21 pages

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1611.05819 [pdf, other]

Title: Kolmogorov complexity and generalized length functions

Cameron Fraize, Christopher P. Porter

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

[18] arXiv:1611.05991 [pdf, other]

Title: Almost-Polynomial Ratio ETH-Hardness of Approximating Densest $k$-Subgraph

Pasin Manurangsi

Comments: 15 pages

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1611.06385 [pdf, other]

Title: On Embeddings of $\ell_1^k$ from Locally Decodable Codes

Jop Briët

Comments: Appeared earlier on ECCC (this http URL). This version has a slightly shorter abstract and slightly edited introduction. Removed left-over notes

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1611.06632 [pdf, other]

Title: A Note on Amortized Branching Program Complexity

Aaron Potechin

Comments: 10 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1611.06650 [pdf, other]

Title: Trading information complexity for error

Yuval Dagan, Yuval Filmus, Hamed Hatami, Yaqiao Li

Subjects: Computational Complexity (cs.CC)

[22] arXiv:1611.06980 [pdf, other]

Title: Lower bounds for 2-query LCCs over large alphabet

Arnab Bhattacharyya, Sivakanth Gopi, Avishay Tal

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

[23] arXiv:1611.07235 [pdf, other]

Title: Identity Testing for +-Regular Noncommutative Arithmetic Circuits

Vikraman Arvind, Pushkar Joglekar, Partha Mukhopadhyay, S Raja

Subjects: Computational Complexity (cs.CC)

[24] arXiv:1611.07724 [pdf, other]

Title: Knapsack Problems: A Parameterized Point of View

Carolin Albrecht, Frank Gurski, Jochen Rethmann, Eda Yilmaz

Comments: 27 pages, 1 figure

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

[25] arXiv:1611.08326 [pdf, other]

Title: Detecting communities is hard, and counting them is even harder

Aviad Rubinstein

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[26] arXiv:1611.08842 [pdf, other]

Title: The communication complexity of the inevitable intersection problem

Dmytro Gavinsky

Subjects: Computational Complexity (cs.CC)

[27] arXiv:1611.10319 [pdf, other]

Title: The Computational Complexity of Portal and Other 3D Video Games

Erik D. Demaine, Joshua Lockhart, Jayson Lynch

Comments: 24 pages. Based on and overlaps with work in the MEng thesis of Jayson Lynch

Subjects: Computational Complexity (cs.CC)

[28] arXiv:1611.10334 [pdf, other]

Title: Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Cynthia Kop, Jakob Grue Simonsen

Comments: extended version of a paper submitted to FSCD 2016. arXiv admin note: substantial text overlap with arXiv:1604.08936

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 7, 2017) lmcs:2573

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

[29] arXiv:1611.00028 (cross-list from quant-ph) [pdf, other]

Title: A Note On One Realization of a Scalable Shor Algorithm

Zhengjun Cao, Lihua Liu

Comments: 6 pages, two figures

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

[30] arXiv:1611.00510 (cross-list from quant-ph) [pdf, other]

Title: Ancilla-driven instantaneous quantum polynomial time circuit for quantum supremacy

Yuki Takeuchi, Yasuhiro Takahashi

Comments: 6 pages, 4 figures

Journal-ref: Phys. Rev. A 94, 062336 (2016)

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

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

Title: Low Rank Approximation with Entrywise $\ell_1$-Norm Error

Zhao Song, David P. Woodruff, Peilin Zhong

Comments: STOC 2017

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

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

Title: DecreaseKeys are Expensive for External Memory Priority Queues

Kasper Eenberg, Kasper Green Larsen, Huacheng Yu

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

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

Title: A Dichotomy for Regular Expression Membership Testing

Karl Bringmann, Allan Grønlund, Kasper Green Larsen

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

[34] arXiv:1611.01090 (cross-list from cs.DB) [pdf, other]

Title: General and Fractional Hypertree Decompositions: Hard and Easy Cases

Wolfgang Fischl, Georg Gottlob, Reinhard Pichler

Subjects: Databases (cs.DB); Computational Complexity (cs.CC)

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

Title: Understanding Deep Neural Networks with Rectified Linear Units

Raman Arora, Amitabh Basu, Poorya Mianjy, Anirbit Mukherjee

Comments: The poly(data) exact training algorithm has been improved to now be applicable to any single hidden layer R^n-> R ReLU DNN and there is a cleaner pseudocode for it given on page 8. Also now on page 7 there is a more precise description about when and how the Zonotope construction improves on the Theorem 4 of this paper, arXiv:1402.1869

Journal-ref: ICLR 2028

Subjects: Machine Learning (cs.LG); Disordered Systems and Neural Networks (cond-mat.dis-nn); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)

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

Title: Closure and Nonclosure Properties of the Compressible and Rankable Sets

Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

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

Title: Deciding Graph non-Hamiltonicity via a Closure Algorithm

E. R. Swart, S. J. Gismondi, N. R. Swart, C. E. Bell, A. Lee

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

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

Title: Learning from Untrusted Data

Moses Charikar, Jacob Steinhardt, Gregory Valiant

Comments: Updated based on STOC camera-ready

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

[39] arXiv:1611.03069 (cross-list from cs.IT) [pdf, other]

Title: NP-Hardness of Reed-Solomon Decoding, and the Prouhet-Tarry-Escott Problem

Venkata Gandikota, Badih Ghazi, Elena Grigorescu

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

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

Title: Statistical Query Lower Bounds for Robust Estimation of High-dimensional Gaussians and Gaussian Mixtures

Ilias Diakonikolas, Daniel M. Kane, Alistair Stewart

Comments: Changes from v1: Revised presentation. Added more applications of the technique (SQ lower bounds for robust sparse mean estimation and robust covariance estimation in spectral norm). Sharpened testing lower bound to linear in the dimension (compared to nearly-linear in first version)

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Statistics Theory (math.ST)

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

Title: On the $\mathcal{NP}$-hardness of GRacSim Drawing and k-SEFE Problems

Luca Grilli

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

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

Title: Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube

Paul Beame, Cyrus Rashtchian

Comments: 23 pages, plus references and appendix. To appear in SODA 2017

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

[43] arXiv:1611.05564 (cross-list from cs.CR) [pdf, html, other]

Title: A Note on Quantum-Secure PRPs

Mark Zhandry

Journal-ref: Quantum 9, 1696 (2025)

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Minor complexities of finite operations

Slavcho Shtrakov

Comments: 24 pages, 14 figures

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

[45] arXiv:1611.05641 (cross-list from quant-ph) [pdf, other]

Title: Computational tameness of classical non-causal models

Ämin Baumeler, Stefan Wolf

Comments: 7 pages, 3 figures, 1 algorithm, revised

Journal-ref: Proceedings of the Royal Society A 474, 20170698, 2018

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

[46] arXiv:1611.05754 (cross-list from quant-ph) [pdf, other]

Title: Separating quantum communication and approximate rank

Anurag Anshu, Shalev Ben-David, Ankit Garg, Rahul Jain, Robin Kothari, Troy Lee

Comments: 34 pages

Journal-ref: 32nd Conference on Computational Complexity (CCC 2017), Leibniz International Proceedings in Informatics (LIPIcs) 79, pp. 24:1-24:33 (2017)

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

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

Title: Characterizing Polytopes Contained in the $0/1$-Cube with Bounded Chvátal-Gomory Rank

Yohann Benchetrit, Samuel Fiorini, Tony Huynh, Stefan Weltge

Comments: 10 pages. Changed term 'pitch' to 'notch'. Removed 'Extended Formulations' section since those results have been subsumed by https://arxiv.org/abs/1711.01358

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

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

Title: Fine-Grained Complexity and Conditional Hardness for Sparse Graphs

Udit Agarwal, Vijaya Ramachandran

Comments: abstract updated; There is no update to the paper

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

[49] arXiv:1611.07144 (cross-list from cs.SC) [pdf, other]

Title: Faster integer multiplication using plain vanilla FFT primes

David Harvey, Joris van der Hoeven

Comments: 14 pages, to appear in Mathematics of Computation

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Number Theory (math.NT)

[50] arXiv:1611.08400 (cross-list from cs.DM) [pdf, other]

Title: Nondeterministic Communication Complexity of Random Boolean Functions

Mozhgan Pourmoradnasseri, Dirk Oliver Theis

Comments: Version with proofs (in the appendix). Extended abstract appeared in Proceedings of Theory and Applications of Models of Computation, TAMC, 2016

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