Computational Complexity

Authors and titles for August 2017

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

Title: Time-Space Tradeoffs for Learning from Small Test Spaces: Learning Low Degree Polynomial Functions

Paul Beame, Shayan Oveis Gharan, Xin Yang

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

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

Title: On Maximum Common Subgraph Problems in Series-Parallel Graphs

Nils Kriege, Florian Kurpicz, Petra Mutzel

Comments: accepted for publication in the European Journal of Combinatorics

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

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

Title: Algorithms based on *-algebras, and their applications to isomorphism of polynomials with one secret, group isomorphism, and polynomial identity testing

Gábor Ivanyos, Youming Qiao

Comments: 41 pages; improved presentation; accepted to SICOMP

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Rings and Algebras (math.RA)

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

Title: New Tools and Connections for Exponential-time Approximation

Nikhil Bansal, Parinya Chalermsook, Bundit Laekhanukit, Danupon Nanongkai, Jesper Nederlof

Comments: 13 pages

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

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

Title: Normalized Information Distance and the Oscillation Hierarchy

Klaus Ambos-Spies, Wolfgang Merkle, Sebastiaan A. Terwijn

Comments: revised version of 2017 paper

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

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

Title: Improved second-order evaluation complexity for unconstrained nonlinear optimization using high-order regularized models

Coralia Cartis, Nicholas I. M. Gould, Philippe L. Toint

Journal-ref: Optimization methods and Software, vol. 35(2), pp. 243-256, 2020

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

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

Title: Solving Hard Stable Matching Problems Involving Groups of Similar Agents

Kitty Meeks, Baharak Rastegari

Comments: Results on SMTI appear in proceedings of WINE 2018; Section 6 contains work in progress

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA); Combinatorics (math.CO)

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

Title: Vanishing of Littlewood-Richardson polynomials is in P

Anshul Adve, Colleen Robichaux, Alexander Yong

Comments: 10 pages

Journal-ref: Computational Complexity 28 (2019), no. 2, 241-257

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

[34] arXiv:1708.04713 (cross-list from math.NT) [pdf, other]

Title: Counting Roots of Polynomials over $\mathbb{Z}/p^2\mathbb{Z}$

Trajan Hammonds, Jeremy Johnson, Angela Patini, Robert M. Walker

Comments: 6 pages, comments welcome! Rewritten to address referee feedback. Bibliography updated. There is a new Corollary 3.3 giving a formula for the number of degenerate roots modulo p that fail to lift to roots modulo p^2

Journal-ref: Houston Journal of Mathematics (2018), Vol. 44, no. 4, pp. 1111-1119

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

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

Title: Complexity Bounds on Quantum Search Algorithms in finite-dimensional Networks

Stefan Boettcher, Shanshan Li (Emory U), Tharso D. Fernandes, Renato Portugal (LNCC)

Comments: 12 pages, revtex-4.1, enclosed is also a Mathematica Notebook to reproduce and experiment with the calculations; related information can be found at this http URL

Journal-ref: Phys. Rev. A 98, 012320 (2018)

Subjects: Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Improved Rectangular Matrix Multiplication using Powers of the Coppersmith-Winograd Tensor

François Le Gall, Florent Urrutia

Comments: 30 pages

Journal-ref: Proceedings of the 29th ACM-SIAM Symposium on Discrete Algorithms (SODA 2018), pp. 1029-1046, 2018

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

[37] arXiv:1708.05976 (cross-list from math.NT) [pdf, other]

Title: On the construction of small subsets containing special elements in a finite field

Jiyou Li

Comments: Some references were added and several minor mistakes were corrected

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

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

Title: Optimally Gathering Two Robots

Adam Heriban (NPA), Xavier Défago (TITECH), Sébastien Tixeuil (NPA, IUF, LINCS)

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

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

Title: Upward Partitioned Book Embeddings

Hugo A. Akitaya, Erik D. Demaine, Adam Hesterberg, Quanquan C. Liu

Comments: To appear at the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017)

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

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

Title: Newton-Type Methods for Non-Convex Optimization Under Inexact Hessian Information

Peng Xu, Fred Roosta, Michael W. Mahoney

Comments: 32 pages

Journal-ref: Mathematical Programming 2019

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

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

Title: A characterization of Linearizable instances of the Quadratic Traveling Salesman Problem

Abraham P. Punnen, Matthias Walter, Brad D. Woods

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

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

Title: Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources

Andrea Coladangelo, Alex Grilo, Stacey Jeffery, Thomas Vidick

Comments: 66 pages, 26 figures

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

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

Title: Non-FPT lower bounds for structural restrictions of decision DNNF

Andrea Calì, Florent Capelli, Igor Razgon

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

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

Title: Short Presburger arithmetic is hard

Danny Nguyen, Igor Pak

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

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

Title: Two-Dimensional Indirect Binary Search for the Positive One-in-Three Satisfiability Problem

Shunichi Matsubara

Comments: This version added a subsection for describing the idea of the algorithm

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

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

Title: Relativized Separation of Reversible and Irreversible Space-Time Complexity Classes

Michael P. Frank, M. Josephine Ammer

Comments: Several versions of this paper, dated 1997-2001, are available on the World-Wide Web at this http URL

Subjects: Emerging Technologies (cs.ET); Computational Complexity (cs.CC)

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

Title: Planar Drawings of Fixed-Mobile Bigraphs

Michael Bekos, Felice De Luca, Walter Didimo, Tamara Mchedlidze, Martin Nöllenburg, Antonios Symvonis, Ioannis Tollis

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

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

Title: Efficient Algorithms for Checking Fast Termination in VASS

Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera, Petr Novotný, Dominik Velan

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

[49] arXiv:1708.09355 (cross-list from quant-ph) [pdf, other]

Title: Quantum simulation from the bottom up: the case of rebits

Dax Enshan Koh, Murphy Yuezhen Niu, Theodore J. Yoder

Comments: 61 pages, 5 figures

Journal-ref: J. Phys. A: Math. Theor. 51 (2018) 195302

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

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

Title: Designing Strassen's algorithm

Joshua A. Grochow, Cristopher Moore

Comments: This is a simplified, generalized, and self-contained version of Section 5 of arXiv:1612.01527v2 [cs.CC]

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