Computational Complexity

Authors and titles for cs.CC in Apr 2015, skipping first 50

[51]  arXiv:1504.06135 (cross-list from cs.LO) [pdf, ps, other]

Title: Complexity of Propositional Logics in Team Semantics

Authors: Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

Comments: 15 pages + 1 page appendix, the main result is generalised and the title updated to reflect this

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

[52]  arXiv:1504.06187 (cross-list from cs.LO) [pdf, ps, other]

Title: LTL Fragments are Hard for Standard Parameterisations

Authors: Martin Lück, Arne Meier

Comments: TIME 2015 conference version

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

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

Title: A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences

Authors: Fernando Soler-Toscano, Hector Zenil

Comments: As accepted by the journal Complexity (Wiley/Hindawi)

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

[54]  arXiv:1504.06409 (cross-list from cs.LO) [pdf, ps, other]

Title: Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics

Authors: Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

Comments: Correction of MFCS 2015 paper

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

[55]  arXiv:1504.07648 (cross-list from cs.IT) [pdf, ps, other]

Title: Nearly Optimal Deterministic Algorithm for Sparse Walsh-Hadamard Transform

Authors: Mahdi Cheraghchi, Piotr Indyk

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Machine Learning (cs.LG); Functional Analysis (math.FA)

[56]  arXiv:1504.07687 (cross-list from cs.GT) [pdf, ps, other]

Title: Public projects, Boolean functions and the borders of Border's theorem

Authors: Parikshit Gopalan, Noam Nisan, Tim Roughgarden

Comments: Accepted to ACM EC 2015

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

[57]  arXiv:1504.00143 (cross-list from math.PR) [pdf, ps, other]

Title: Fully explicit large deviation inequalities for empirical processes with applications to information-based complexity

Authors: Christoph Aistleitner

Comments: 10 pages

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Information Theory (cs.IT); Numerical Analysis (math.NA)

[58]  arXiv:1504.03732 (cross-list from math.AG) [pdf, ps, other]

Title: Abelian Tensors

Authors: J.M. Landsberg, Mateusz Michałek

Comments: to appear in JMPA

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

[59]  arXiv:1504.03761 (cross-list from math.OC) [pdf, ps, other]

Title: Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems

Authors: Amir Ali Ahmadi, Raphael Jungers

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Systems and Control (eess.SY); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)

[60]  arXiv:1504.05155 (cross-list from quant-ph) [pdf, ps, other]

Title: The Classification of Reversible Bit Operations

Authors: Scott Aaronson, Daniel Grier, Luke Schaeffer

Comments: 68 pages, 7 figures

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

[61]  arXiv:1504.07830 (cross-list from math.OC) [pdf, ps, other]

Title: On k-Submodular Relaxation

Authors: Hiroshi Hirai, Yuni Iwamasa

Comments: 11 pages, corrected typos, accepted in SIAM Journal on Discrete Mathematics

Journal-ref: SIAM Journal on Discrete Mathematics, 30(3):1726-1736, 2016

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

[62]  arXiv:1504.07999 (cross-list from quant-ph) [pdf, other]

Title: Average-case complexity versus approximate simulation of commuting quantum computations

Authors: Michael J. Bremner, Ashley Montanaro, Dan J. Shepherd

Comments: This version is arguably easier to read than v1. Trust us, we argued about it. 4+1+5 pages, RevTex 4.1

Journal-ref: Phys. Rev. Lett. 117, 080501 (2016)

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

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

Title: Concentration of the number of solutions of random planted CSPs and Goldreich's one-way candidates

Authors: Emmanuel Abbe, Katherine Edwards

Comments: 17 pages

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