Computational Complexity

Authors and titles for May 2017

[1] arXiv:1705.00140 [pdf, other]

Title: Efficient Identity Testing and Polynomial Factorization over Non-associative Free Rings

V. Arvind, Rajit Datta, Partha Mukhopadhyay, S. Raja

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1705.00942 [pdf, other]

Title: Clifford Gates in the Holant Framework

Jin-Yi Cai, Heng Guo, Tyson Williams

Comments: 14 pages

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

[3] arXiv:1705.01194 [pdf, other]

Title: The Lov\'asz Theta Function for Random Regular Graphs and Community Detection in the Hard Regime

Jess Banks, Robert Kleinberg, Cristopher Moore

Subjects: Computational Complexity (cs.CC); Social and Information Networks (cs.SI); Combinatorics (math.CO); Probability (math.PR)

[4] arXiv:1705.01497 [pdf, other]

Title: Sustaining Moore's Law Through Inexactness

John Augustine, Krishna Palem, Parishkrati

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

[5] arXiv:1705.01773 [pdf, other]

Title: Uncountable realtime probabilistic classes

Maksims Dimitrijevs, Abuzer Yakaryılmaz

Comments: 12 pages. Accepted to DCFS2017

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

[6] arXiv:1705.01826 [pdf, other]

Title: Towards a Physical Oracle for the Partition Problem using Analogue Computing

Stefan Rass

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1705.02397 [pdf, other]

Title: Weights at the Bottom Matter When the Top is Heavy

Arkadev Chattopadhyay, Nikhil S. Mande

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1705.02944 [pdf, other]

Title: Hardness Results for Structured Linear Systems

Rasmus Kyng, Peng Zhang

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)

[9] arXiv:1705.03188 [pdf, other]

Title: Linear Projections of the Vandermonde Polynomial

C.Ramya, B.V.Raghavendra Rao

Comments: Submitted to a conference

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1705.03263 [pdf, other]

Title: A Note on the Power of Non-Deterministic Circuits with Gate Restrictions

Gustav Nordh

Comments: Corrected some glitches in the proofs

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1705.03283 [pdf, other]

Title: An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism

Daniel Neuen, Pascal Schweitzer

Comments: 21 pages

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

[12] arXiv:1705.03581 [pdf, other]

Title: Inapproximability of Maximum Biclique Problems, Minimum $k$-Cut and Densest At-Least-$k$-Subgraph from the Small Set Expansion Hypothesis

Pasin Manurangsi

Comments: A preliminary version of this work will appear at ICALP 2017 under a different title "Inapproximability of Maximum Edge Biclique, Maximum Balanced Biclique and Minimum k-Cut from the Small Set Expansion Hypothesis"

Subjects: Computational Complexity (cs.CC)

[13] arXiv:1705.03588 [pdf, other]

Title: A Duality Between Depth-Three Formulas and Approximation by Depth-Two

Shuichi Hirahara

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1705.03673 [pdf, other]

Title: The Complexity of Routing with Few Collisions

Till Fluschnik, Marco Morik, Manuel Sorge

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

[15] arXiv:1705.03866 [pdf, other]

Title: Explicit polynomial sequences with maximal spaces of partial derivatives and a question of K. Mulmuley

Fulvio Gesmundo, Joseph M. Landsberg

Comments: 18 pages - final version to appear in Theory of Computing

Journal-ref: Vol. 15 Art. 3 pp. 1-24, 2019

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

[16] arXiv:1705.04205 [pdf, other]

Title: Flipping out with many flips: hardness of testing k-monotonicity

Elena Grigorescu, Akash Kumar, Karl Wimmer

Comments: 18 pages

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1705.04587 [pdf, other]

Title: Complexity and Inapproximability Results for Parallel Task Scheduling and Strip Packing

Sören Henning, Klaus Jansen, Malin Rau, Lars Schmarje

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1705.05452 [pdf, other]

Title: Polynomial time estimates for #SAT

Bernd R. Schuh

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

[19] arXiv:1705.05599 [pdf, other]

Title: The Parameterized Complexity of the Equidomination Problem

Oliver Schaudt, Fabian Senger

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

[20] arXiv:1705.06796 [pdf, other]

Title: Being even slightly shallow makes life hard

Irene Muzi, Michael P. O'Brien, Felix Reidl, Blair D. Sullivan

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1705.07211 [pdf, other]

Title: Quantum versus classical simultaneity in communication complexity

Dmytro Gavinsky

Comments: Reflecting a number of reviewers' comments

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

[22] arXiv:1705.07312 [pdf, other]

Title: Lower Bound On the Computational Complexity of Discounted Markov Decision Problems

Yichen Chen, Mengdi Wang

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

[23] arXiv:1705.09517 [pdf, other]

Title: Inapproximability of VC Dimension and Littlestone's Dimension

Pasin Manurangsi, Aviad Rubinstein

Comments: To appear in Conference On Learning Theory (COLT) 2017

Subjects: Computational Complexity (cs.CC)

[24] arXiv:1705.09652 [pdf, other]

Title: The border support rank of two-by-two matrix multiplication is seven

Markus Bläser, Matthias Christandl, Jeroen Zuiddam

Journal-ref: Chicago Journal of Theoretical Computer Science 2018, article 05, pages 1-16

Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT); Quantum Physics (quant-ph)

[25] arXiv:1705.09710 [pdf, other]

Title: A Block-Sensitivity Lower Bound for Quantum Testing Hamming Distance

Marcos Villagra

Comments: Short note, 3 pages

Subjects: Computational Complexity (cs.CC)

[26] arXiv:1705.10081 [pdf, other]

Title: Affine maps between quadratic assignment polytopes and subgraph isomorphism polytopes

Aleksandr Maksimenko

Comments: 6 pages, translated to English

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

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

Title: The Homogeneous Broadcast Problem in Narrow and Wide Strips

Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak

Comments: 50 pages, WADS 2017 submission

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

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

Title: Homomorphisms Are a Good Basis for Counting Small Subgraphs

Radu Curticapean, Holger Dell, Dániel Marx

Comments: An extended abstract of this paper appears at STOC 2017

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

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

Title: Near-optimal linear decision trees for k-SUM and related problems

Daniel M. Kane, Shachar Lovett, Shay Moran

Comments: 18 paged, 1 figure

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Combinatorics (math.CO)

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

Title: Quantum SDP-Solvers: Better upper and lower bounds

Joran van Apeldoorn, András Gilyén, Sander Gribling, Ronald de Wolf

Comments: v4: 69 pages, small corrections and clarifications. This version will appear in Quantum

Journal-ref: Quantum 4, 230 (2020)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Quantum Security of Cryptographic Primitives

Tommaso Gagliardoni

Comments: PhD Thesis. This document is an electronic version with minor modifications of the original, published through the E-Publishing-Service of the TU Darmstadt

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

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

Title: Towards a complexity theory for the congested clique

Janne H. Korhonen, Jukka Suomela

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

[33] arXiv:1705.03842 (cross-list from math.AC) [pdf, other]

Title: On the linear independence of shifted powers

Ignacio García-Marco, Pascal Koiran, Timothée Pecatte

Comments: 25 pages

Subjects: Commutative Algebra (math.AC); Computational Complexity (cs.CC)

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

Title: Constant Space and Non-Constant Time in Distributed Computing

Tuomo Lempiäinen, Jukka Suomela

Comments: 13 pages, 1 figure

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

[35] arXiv:1705.04770 (cross-list from math.ST) [pdf, other]

Title: Bayesian Decision Making in Groups is Hard

Jan Hązła, Ali Jadbabaie, Elchanan Mossel, M. Amin Rahimian

Journal-ref: Operations Research, 2021

Subjects: Statistics Theory (math.ST); Computational Complexity (cs.CC); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI)

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

Title: Evaluation complexity bounds for smooth constrained nonlinear optimisation using scaled KKT conditions, high-order models and the criticality measure $\chi$

Coralia Cartis, Nick Gould, Philippe L Toint

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

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

Title: A class of exponential neighbourhoods for the quadratic travelling salesman problem

Brad Woods, Abraham Punnen

Comments: 23 pages

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

[38] arXiv:1705.05946 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Optimal segmentation of directed graph and the minimum number of feedback arcs

Yi-Zhi Xu, Hai-Jun Zhou

Comments: 14 pages

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Physics and Society (physics.soc-ph)

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

Title: Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)

Andrej Dudenhefner, Jakob Rehof

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

[40] arXiv:1705.06303 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Phase transitions in integer linear problems

S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari

Comments: 15 pages, 6 figures, comments are welcome

Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC)

[41] arXiv:1705.06643 (cross-list from math.PR) [pdf, other]

Title: Symmetric Convex Sets with Minimal Gaussian Surface Area

Steven Heilman

Comments: 52 pages, typos corrected, new section added

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Differential Geometry (math.DG)

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

Title: A lower bound on the positive semidefinite rank of convex bodies

Hamza Fawzi, Mohab Safey El Din

Comments: v2: 14 pages - minor changes following comments by referees; v1: 13 pages

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: Optimality of orders one to three and beyond: characterization and evaluation complexity in constrained nonconvex optimization

C. Cartis, N. I. M. Gould, Ph. L. Toint

Comments: 32 pages, 3 figures

Journal-ref: Journal of Complexity, vol. 53, pp. 68-94, 2019

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Numerical Analysis (math.NA)

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

Title: Improved method for finding optimal formulae for bilinear maps in a finite field

Svyatoslav Covanov (CARAMBA)

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

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

Title: Algorithms and hardness results for happy coloring problems

N. R. Aravind, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Juho Lauri

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

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

Title: The tessellation problem of quantum walks

A. Abreu, L. Cunha, T. Fernandes, C. de Figueiredo, L. Kowada, F. Marquezino, D. Posner, R. Portugal

Comments: 10 pages, 7 figs

Journal-ref: Theoretical Computer Science 801, 175-191, 2020

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO); Quantum Physics (quant-ph)

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

Title: On the (parameterized) complexity of recognizing well-covered (r,l)-graphs

Sancrey R. Alves, Konrad K. Dabrowski, Luerbio Faria, Sulamita Klein, Ignasi Sau, Uéverton S. Souza

Comments: 24 pages, 2 figures

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

[48] arXiv:1705.09379 (cross-list from math.AC) [pdf, other]

Title: Tensor rank is not multiplicative under the tensor product

Matthias Christandl, Asger Kjærulff Jensen, Jeroen Zuiddam

Comments: Fixed a typo in Remark 9

Journal-ref: Linear Algebra Appl. 543 (2018) 125-139

Subjects: Commutative Algebra (math.AC); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Obtaining a Proportional Allocation by Deleting Items

Britta Dorn, Ronald de Haan, Ildikó Schlotter

Comments: This is the authors' self-archived copy of a paper that appeared in the proceedings of the 5th International Conference on Algorithmic Decision Theory (ADT 2017)

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