Computational Complexity

Authors and titles for June 2019

[1] arXiv:1906.00326 [pdf, other]

Title: Approximate degree, secret sharing, and concentration phenomena

Andrej Bogdanov, Nikhil S. Mande, Justin Thaler, Christopher Williamson

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1906.00659 [pdf, other]

Title: Multistage Vertex Cover

Till Fluschnik, Rolf Niedermeier, Valentin Rohm, Philipp Zschoche

Comments: An extended abstract of this paper appeared in Proc. of IPEC'19

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

[3] arXiv:1906.00703 [pdf, other]

Title: Parameterised Complexity of Abduction in Schaefer's Framework

Yasir Mahmood, Arne Meier, Johannes Schmidt

Comments: gave a more precise title and corrected proofs

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

[4] arXiv:1906.01228 [pdf, other]

Title: Correlation decay and partition function zeros: Algorithms and phase transitions

Jingcheng Liu, Alistair Sinclair, Piyush Srivastava

Comments: Incorporated reviewers' comments, and fixed typos

Subjects: Computational Complexity (cs.CC); Statistical Mechanics (cond-mat.stat-mech); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[5] arXiv:1906.02511 [pdf, other]

Title: On the distribution of runners on a circle

Pavel Hrubes

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

[6] arXiv:1906.03676 [pdf, other]

Title: The Packed Interval Covering Problem is NP-complete

Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1906.03743 [pdf, other]

Title: Coin Theorems and the Fourier Expansion

Rohit Agrawal

Comments: 15 pages, 1 figure

Journal-ref: Chic. J. Theoret. Comput. Sci. 2020, Art. 4

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1906.04213 [pdf, other]

Title: The Demand Query Model for Bipartite Matching

Noam Nisan

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

[9] arXiv:1906.05005 [pdf, other]

Title: Approximating the Orthogonality Dimension of Graphs and Hypergraphs

Ishay Haviv

Comments: 25 pages

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

[10] arXiv:1906.05458 [pdf, other]

Title: Structural Parameterization for Graph Deletion Problems over Data Streams

Arijit Bishnu, Arijit Ghosh, Sudeshna Kolay, Gopinath Mishra, Saket Saurabh

Comments: Title and introduction changed to better reflect the content of the paper; 27 pages; 7 figures

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

[11] arXiv:1906.05736 [pdf, other]

Title: Querying a Matrix through Matrix-Vector Products

Xiaoming Sun, David P. Woodruff, Guang Yang, Jialin Zhang

Comments: 28 pages, to appear in ICALP 2019

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

[12] arXiv:1906.06873 [pdf, other]

Title: Running Time Analysis of the (1+1)-EA for Robust Linear Optimization

Chao Bian, Chao Qian, Ke Tang, Yang Yu

Comments: 17 pages, 1 table

Subjects: Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[13] arXiv:1906.07031 [pdf, other]

Title: On the Strength of Uniqueness Quantification in Primitive Positive Formulas

Victor Lagerkvist, Gustav Nordh

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

[14] arXiv:1906.07398 [pdf, other]

Title: Efficiently Sampling and Estimating from Substructures using Linear Algebraic Queries

Arijit Bishnu, Arijit Ghosh, Gopinath Mishra, Manaswi Paraashar

Comments: This is an upgraded version with a number of additional results

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1906.08371 [pdf, other]

Title: Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs

Karolina Okrasa, Paweł Rzążewski

Comments: An extended abstract of this paper appeared on SODA 2020

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

[16] arXiv:1906.09873 [pdf, other]

Title: Computer-Simulation Model Theory (P= NP is not provable)

Rasoul Ramezanian

Comments: 18 pages. arXiv admin note: text overlap with arXiv:1205.5994

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

[17] arXiv:1906.10078 [pdf, other]

Title: Finding Optimal Solutions With Neighborly Help

Elisabet Burjons, Fabian Frei, Edith Hemaspaandra, Dennis Komm, David Wehner

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

[18] arXiv:1906.10495 [pdf, other]

Title: Approximating Unitary Preparations of Orthogonal Black Box States

Joshua Alan Cook

Comments: A Class project Paper for CS395T Quantum Complexity Theory at UT Austin in Spring 2019 under Scott Aaronson

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

[19] arXiv:1906.10837 [pdf, other]

Title: Is it Easier to Prove Theorems that are Guaranteed to be True?

Rafael Pass, Muthuramakrishnan Venkitasubramaniam

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1906.00029 (cross-list from cs.CR) [pdf, other]

Title: Human-Usable Password Schemas: Beyond Information-Theoretic Security

Elan Rosenfeld, Santosh Vempala, Manuel Blum

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

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

Title: On the computational complexity of the probabilistic label tree algorithms

Robert Busa-Fekete, Krzysztof Dembczynski, Alexander Golovnev, Kalina Jasinska, Mikhail Kuznetsov, Maxim Sviridenko, Chao Xu

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

[22] arXiv:1906.00324 (cross-list from quant-ph) [pdf, other]

Title: Ubiquitous Complexity of Entanglement Spectra

Bin Cheng, Man-Hong Yung

Comments: Comments welcome

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

[23] arXiv:1906.00908 (cross-list from cs.CL) [pdf, other]

Title: Phase-based Minimalist Parsing and complexity in non-local dependencies

Cristiano Chesi

Journal-ref: Proceedings of CLiC-it 2017. CEUR WORKSHOP PROCEEDINGS, ROMA:CEUR Workshop Proceedings, ISBN: 9788899982768, ISSN: 1613-0073, Rome, 11-13 December 2017

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

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

Title: On the Efficiency of Entropic Regularized Algorithms for Optimal Transport

Tianyi Lin, Nhat Ho, Michael I. Jordan

Comments: Accepted by Journal of Machine Learning Research; A preliminary version [arXiv:1901.06482] of this paper, with a subset of the results that are presented here, was presented at ICML 2019; 39 pages, 21 figures

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

[25] arXiv:1906.01521 (cross-list from math.GR) [pdf, other]

Title: Quasi-automatic groups are asynchronously automatic

Benjamin Blanchette

Comments: Short note, 5 pages, complementing a previous paper named Quasi-automatic Semigroups by Blanchette, Choffrut and Reutenauer

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

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

Title: Learning dynamic polynomial proofs

Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi, Omar Fawzi

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Optimization and Control (math.OC); Machine Learning (stat.ML)

[27] arXiv:1906.01745 (cross-list from math.DS) [pdf, other]

Title: On the computability properties of topological entropy: a general approach

Silvere Gangloff, Alonso Herrera, Cristobal Rojas, Mathieu Sablik

Comments: 27 pages, 5 figures

Subjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC)

[28] arXiv:1906.02842 (cross-list from math.GR) [pdf, other]

Title: Quasi-automatic semigroups

Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer

Comments: 17 pages. In press. Theoretical Computer Science, 2019

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

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

Title: Complexity phase diagram for interacting and long-range bosonic Hamiltonians

Nishad Maskara, Abhinav Deshpande, Adam Ehrenberg, Minh C. Tran, Bill Fefferman, Alexey V. Gorshkov

Comments: 15 pages, 5 figures. v2: 19 pages, 7 figures

Journal-ref: Phys. Rev. Lett. 129, 150604 (2022)

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

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

Title: Efficiently escaping saddle points on manifolds

Chris Criscitiello, Nicolas Boumal

Comments: 18 pages, NeurIPS 2019

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

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

Title: Efficient Graph Rewriting

Graham Campbell

Comments: BSc Thesis, Department of Computer Science, University of York, 54 pages, 2019

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: The Tandem Duplication Distance is NP-hard

Manuel Lafond, Binhai Zhu, Peng Zou

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

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

Title: A Turing Kernelization Dichotomy for Structural Parameterizations of $\mathcal{F}$-Minor-Free Deletion

Huib Donkers, Bart M.P. Jansen

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

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

Title: Lower Bounds for Adversarially Robust PAC Learning

Dimitrios I. Diochnos, Saeed Mahloujifar, Mohammad Mahmoody

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Machine Learning (stat.ML)

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

Title: The SDP value for random two-eigenvalue CSPs

Sidhanth Mohanty, Ryan O'Donnell, Pedro Paredes

Comments: 50 pages excluding title page and table of contents

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

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

Title: Matching Patterns with Variables

Florin Manea, Markus L. Schmid

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

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

Title: The Complexity of Online Bribery in Sequential Elections

Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe

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

[38] arXiv:1906.08890 (cross-list from quant-ph) [pdf, other]

Title: Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits

Adam Bene Watts, Robin Kothari, Luke Schaeffer, Avishay Tal

Journal-ref: Proceedings of the 51st Annual Symposium on Theory of Computing, STOC 2019, Pages 515-526

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

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

Title: Quantum-Inspired Support Vector Machine

Chen Ding, Tian-Yi Bao, He-Liang Huang

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, 33(12), 7210-7222 (2022)

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

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

Title: $\text{#NFA}$ admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros

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

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

Title: Tight Polynomial Worst-Case Bounds for Loop Programs

Amir M. Ben-Amram, Geoff Hamilton

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (May 14, 2020) lmcs:5596

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

[42] arXiv:1906.10705 (cross-list from quant-ph) [pdf, other]

Title: Computational Phase Transition Signature in Gibbs Sampling

H. Philathong, V. Akshay, I. Zacharov, J. Biamonte

Comments: feedback welcome; RevTeX; 7 pages; 2 composite figures

Subjects: Quantum Physics (quant-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Machine Learning (cs.LG)

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

Title: The Complexity of Helly-$B_{1}$ EPG Graph Recognition

Claudson F. Bornstein, Martin Charles Golumbic, Tanilson D. Santos, Uéverton S. Souza, Jayme L. Szwarcfiter

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (June 4, 2020) dmtcs:5603

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

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

Title: A Tight Analysis of Greedy Yields Subexponential Time Approximation for Uniform Decision Tree

Ray Li, Percy Liang, Stephen Mussmann

Comments: 40 pages, 5 figures

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

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

Title: Near-Optimal Methods for Minimizing Star-Convex Functions and Beyond

Oliver Hinder, Aaron Sidford, Nimit S. Sohoni

Comments: 48 pages. Published as a conference paper at COLT 2020

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

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

Title: Blocking dominating sets for $H$-free graphs via edge contractions

Esther Galby, Paloma T. Lima, Bernard Ries

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

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