Computational Complexity

Authors and titles for January 2014

[1] arXiv:1401.0189 [pdf, other]

Title: On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields

Suryajith Chillara, Partha Mukhopadhyay

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1401.0758 [pdf, other]

Title: Graph Isomorphism and the Lasserre Hierarchy

Aaron Snook, Grant Schoenebeck, Paolo Codenotti

Comments: 22 pages, 3 figures, submitted to CCC

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

[3] arXiv:1401.0976 [pdf, other]

Title: Progress on Polynomial Identity Testing - II

Nitin Saxena

Comments: 17 pages, 1 figure, survey

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[4] arXiv:1401.1125 [pdf, other]

Title: On Symmetric Circuits and Fixed-Point Logics

Matthew Anderson, Anuj Dawar

Comments: 22 pages. Full version of a paper to appear in STACS 2014

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

[5] arXiv:1401.2436 [pdf, other]

Title: Hardness of robust graph isomorphism, Lasserre gaps, and asymmetry of random graphs

Ryan O'Donnell, John Wright, Chenggang Wu, Yuan Zhou

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1401.2444 [pdf, other]

Title: New algorithms and lower bounds for circuits with linear threshold gates

Ryan Williams

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

[7] arXiv:1401.2532 [pdf, other]

Title: Parameterized Complexity of Edge Interdiction Problems

Jiong Guo, Yash Raj Shrestha

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

[8] arXiv:1401.2861 [pdf, other]

Title: Function spaces for second-order polynomial time

Akitoshi Kawamura, Arno Pauly

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

[9] arXiv:1401.3063 [pdf, other]

Title: Lines Missing Every Random Point

Jack H. Lutz, Neil Lutz

Comments: Added a section: "Betting in Doubly Exponential Time."

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1401.3613 [pdf, other]

Title: Turing Minimalism and the Emergence of Complexity

Hector Zenil

Comments: As accepted The Rutherford Journal - The New Zealand Journal for the History and Philosophy of Science and Technology

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

[11] arXiv:1401.3687 [pdf, other]

Title: $2^3$ Quantified Boolean Formula Games and Their Complexities

Kyle Burke

Comments: 14 pages, 0 figures, for Integers 2013 Conference proceedings

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1401.3714 [pdf, other]

Title: Testing Equivalence of Polynomials under Shifts

Zeev Dvir, Rafael Oliveira, Amir Shpilka

Subjects: Computational Complexity (cs.CC)

[13] arXiv:1401.4512 [pdf, other]

Title: A quadratically tight partition bound for classical communication complexity and query complexity

Rahul Jain, Troy Lee, Nisheeth K. Vishnoi

Comments: 8 pages, version 1

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1401.4879 [pdf, other]

Title: On the Computing Power of $+$, $-$, and $\times$

Marcello Mamino

Comments: 11 pages, final version accepted by CSL-LICS 2014

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1401.5512 [pdf, other]

Title: 0-1 Integer Linear Programming with a Linear Number of Constraints

Russell Impagliazzo, Shachar Lovett, Ramamohan Paturi, Stefan Schneider

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

[16] arXiv:1401.5781 [pdf, other]

Title: Partition Expanders

Dmytro Gavinsky, Pavel Pudlák

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1401.5855 [pdf, other]

Title: Tractable Triangles and Cross-Free Convexity in Discrete Optimisation

Martin C. Cooper, Stanislav Živný

Comments: arXiv admin note: text overlap with arXiv:1008.4035 by other authors

Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 455-490, 2012

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

[18] arXiv:1401.6030 [pdf, other]

Title: The Effective Solving of the Tasks from NP by a Quantum Computer

Sergey Sysoev

Comments: The paper is submitted to the IEEE Transactions on Information Theory journal

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1401.6189 [pdf, other]

Title: Affine extractors over large fields with exponential error

Jean Bourgain, Zeev Dvir, Ethan Leeman

Comments: To appear in Comput. Complex

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

[20] arXiv:1401.6307 [pdf, other]

Title: Hypergraph Acyclicity and Propositional Model Counting

Florent Capelli, Arnaud Durand, Stefan Mengel

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

[21] arXiv:1401.6520 [pdf, other]

Title: Approximation Resistance by Disguising Biased Distributions

Peng Cui

Comments: 6 pages, short note

Subjects: Computational Complexity (cs.CC)

[22] arXiv:1401.6848 [pdf, other]

Title: AM with Multiple Merlins

Scott Aaronson, Russell Impagliazzo, Dana Moshkovitz

Comments: 48 pages

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

[23] arXiv:1401.7480 [pdf, other]

Title: NP is contained in DTIME(n^O(log^{gamma}))

Bruce Litow

Comments: paper has a fatal error

Subjects: Computational Complexity (cs.CC)

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

Title: Two-Page Book Embeddings of 4-Planar Graphs

Michael A. Bekos, Martin Gronemann, Chrysanthi N. Raftopoulou

Comments: 21 pages, 16 Figures. A shorter version is to appear at STACS 2014

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

[25] arXiv:1401.0912 (cross-list from quant-ph) [pdf, other]

Title: Rational approximations and quantum algorithms with postselection

Urmila Mahadev (UC Berkeley), Ronald de Wolf (CWI and University of Amsterdam)

Comments: v2: 12 pages LaTeX, to appear in Quantum Information and Computation. Compared to version 1, the writing has been improved but the results are unchanged

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

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

Title: "Information-Friction" and its implications on minimum energy required for communication

Pulkit Grover

Comments: Accepted in IEEE Trans. Information Theory; preliminary version presented at ISIT '13

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Mathematical Physics (math-ph)

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

Title: Computational Aspects of the Hausdorff Distance in Unbounded Dimension

Stefan König

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

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

Title: A Busy Beaver Problem for Infinite-Time Turing Machines

James T. Long, Lee J. Stanley

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

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

Title: Optimal Testing for Planted Satisfiability Problems

Quentin Berthet

Subjects: Statistics Theory (math.ST); Computational Complexity (cs.CC); Probability (math.PR)

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

Title: Interactive Proofs with Quantum Finite Automata

Harumichi Nishimura, Tomoyuki Yamakami

Comments: A4, 10pt, 2 figures, 20 pages. This paper is a complete version of the second half part of the extended abstract appearing in the Proc. of CIAA 2004, LNCS vol.3317, pp.225-236. A complete version of the first half had already appeared in JCSS, 2009. (*) Please note that there is a substantial text overlap with arXiv:quant-ph/0410040 as explained as above

Journal-ref: Theoretical Computer Science, vol. 568, pp. 1-18, 2015

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

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

Title: Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard

Omer Giménez, Anders Jonsson

Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 675-706, 2009

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

[32] arXiv:1401.3916 (cross-list from quant-ph) [pdf, other]

Title: Quantum Hamiltonian Complexity

Sevag Gharibian, Yichen Huang, Zeph Landau, Seung Woo Shin

Comments: v4: published version, 127 pages, introduction expanded to include brief introduction to quantum information, brief list of some recent developments added, minor changes throughout

Journal-ref: Foundations and Trends in Theoretical Computer Science: Vol. 10: No. 3, pp 159-282, 2015

Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Computational Complexity (cs.CC)

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

Title: Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach

Bruno Grenet

Comments: 22 pages

Journal-ref: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC'14), pp 224-231, ACM, 2014

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

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

Title: Stable Roommates Problem with Random Preferences

Stephan Mertens

Comments: 14 pages, 6 figures, 4 algorithms, 1 table; Journal of Statistical Mechanics: Theory and Experiment (2015) P01020

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

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

Title: Counting Houses of Pareto Optimal Matchings in the House Allocation Problem

Andrei Asinowski, Balázs Keszegh, Tillmann Miltzow

Comments: 24 pages 2 Figures revised

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Computer Science and Game Theory (cs.GT)

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

Title: A Near-Optimal Algorithm for Computing Real Roots of Sparse Polynomials

Michael Sagraloff

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: Perturbed Message Passing for Constraint Satisfaction Problems

Siamak Ravanbakhsh, Russell Greiner

Journal-ref: JMLR 16(Jul):1249-1274, 2015

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)

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

Title: On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets

Olivier Finkel (ELM, IMJ), Michał Skrzypczak

Journal-ref: Information Processing Letters 114, 5 (2014) 229-233

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

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

Title: Powers of Tensors and Fast Matrix Multiplication

François Le Gall

Comments: 28 pages

Journal-ref: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pp. 296-303, 2014

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

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

Title: Universal First-Order Logic is Superfluous for NL, P, NP and coNP

Nerio Borges (Universidad Simón Bolívar), Blai Bonet (Universidad Simón Bolívar)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (March 3, 2014) lmcs:1011

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

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

Title: Competitive learning of monotone Boolean functions

Sascha Kurz

Comments: 5 pages, 2 figures, presented at APMOD 2012

Journal-ref: Suhl, Leena; Mitra, Gautam et al. (ed.): Applied Mathematical Optimization and Modelling, APMOD 2012, DS&OR Lab, Vol. 8, Pages 416-421

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Optimization and Control (math.OC)