Computational Complexity

Authors and titles for October 2017

[1] arXiv:1710.00234 [pdf, other]

Title: Homomorphisms are indeed a good basis for counting: Three fixed-template dichotomy theorems, for the price of one

Hubie Chen

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1710.01458 [pdf, other]

Title: Sum of Square Proof for Brascamp-Lieb Type Inequality

Zhixian Lei, Yueqi Sheng

Subjects: Computational Complexity (cs.CC); Classical Analysis and ODEs (math.CA)

[3] arXiv:1710.01712 [pdf, other]

Title: Note on "The Complexity of Counting Surjective Homomorphisms and Compactions"

Holger Dell

Subjects: Computational Complexity (cs.CC)

[4] arXiv:1710.01783 [pdf, other]

Title: Some facts on Permanents in Finite Characteristics

Anna Knezevic, Greg Cohen, Marina Domanskaya

Comments: 89 pages; this research was partly supported by the School of Electrical Engineering, Computing and Mathematical Sciences of the Curtin University (Australia) whose member is one of the authors (Anna Knezevic)

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1710.01934 [pdf, other]

Title: Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth

Arnaud Durand, Anselm Haak, Heribert Vollmer

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1710.01969 [pdf, other]

Title: Simultaneous Multiparty Communication Complexity of Composed Functions

Yassine Hamoudi

Comments: 17 pages, 1 figure; v2: improved introduction, better cost analysis for the 2nd protocol

Journal-ref: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), LIPIcs vol.117, pp. 14:1--14:15, 2018

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1710.02898 [pdf, other]

Title: The space complexity of mirror games

Sumegha Garg, Jon Schneider

Comments: 13 pages

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

[8] arXiv:1710.03148 [pdf, other]

Title: The complexity of general-valued CSPs seen from the other side

Clement Carbonnel, Miguel Romero, Stanislav Zivny

Comments: v3: Full version of a FOCS'18 paper; some parts shortened compared to v2 and other small corrections

Journal-ref: SIAM Journal on Computing 51(1) (2022) 19-69

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[9] arXiv:1710.03214 [pdf, other]

Title: Discovering the roots: Uniform closure results for algebraic classes under factoring

Pranjal Dutta, Nitin Saxena, Amit Sinhababu

Comments: 33 Pages, No figures

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1710.03219 [pdf, other]

Title: Stabbing Planes

Paul Beame, Noah Fleming, Russell Impagliazzo, Antonina Kolokolova, Denis Pankratov, Toniann Pitassi, Robert Robere

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1710.03702 [pdf, other]

Title: Representations and evaluation strategies for feasibly approximable functions

Michal Konečný, Eike Neumann

Comments: 33 pages, 4 figures

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

[12] arXiv:1710.04533 [pdf, other]

Title: On the Containment Problem for Linear Sets

Hans U. Simon

Comments: 15 pages

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

[13] arXiv:1710.04640 [pdf, other]

Title: Hard and Easy Instances of L-Tromino Tilings

Javier T. Akagi, Carlos F. Gaona, Fabricio Mendoza, Manjil P. Saikia, Marcos Villagra

Comments: Full extended version of LNCS 11355:82-95 (WALCOM 2019)

Journal-ref: Theoretical Computer Science 2020

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

[14] arXiv:1710.04856 [pdf, other]

Title: Compact Formulae in Sparse Elimination

Ioannis Emiris (Athens, AROMATH)

Journal-ref: ISSAC 2016 - International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.1 - 8, 2016, ISSAC '16 - Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Symbolic Computation (cs.SC)

[15] arXiv:1710.05121 [pdf, other]

Title: Netrunner Mate-in-1 or -2 is Weakly NP-Hard

Jeffrey Bosboom (MIT CSAIL), Michael Hoffmann (ETH Zurich)

Comments: 13 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1710.05140 [pdf, other]

Title: On complexity of mutlidistance graph recognition in $\mathbb{R}^1$

Mikhail Tikhomirov

Comments: 38 pages, 9 figures. Extended abstract published in EUROCOMB'17 proceedings in Electronic Notes in Discrete Mathematics (this http URL)

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

[17] arXiv:1710.05481 [pdf, other]

Title: Small-depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication, with Applications

Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1710.07476 [pdf, other]

Title: Planar 3-SAT with a Clause/Variable Cycle

Alexander Pilz

Comments: Implementing style of DMTCS journal

Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Discrete Algorithms (June 5, 2019) dmtcs:4742

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

[19] arXiv:1710.07584 [pdf, other]

Title: The Maximum Colorful Arborescence problem parameterized by the structure of its color hierarchy graph

Guillaume Fertin, Julien Fradin, Christian Komusiewicz

Comments: Submitted a 12 pages version (+ rest in Appendix for referees) to CPM 2018

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

[20] arXiv:1710.07601 [pdf, other]

Title: Kernelization Lower Bounds for Finding Constant-Size Subgraphs

Till Fluschnik, George B. Mertzios, André Nichterlein

Comments: An extended abstract appeared in Proceedings of the 14th Conference on Computability in Europe (CiE 2018)

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

[21] arXiv:1710.08111 [pdf, other]

Title: Conjugacy of one-dimensional one-sided cellular automata is undecidable

Joonatan Jalonen, Jarkko Kari

Comments: 12 pages, 2 figures, accepted for SOFSEM 2018

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

[22] arXiv:1710.08163 [pdf, other]

Title: Satisfiability in multi-valued circuits

Paweł M. Idziak, Jacek Krzaczkowski

Comments: 50 pages

Subjects: Computational Complexity (cs.CC)

[23] arXiv:1710.08602 [pdf, other]

Title: On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz

Aleksandrs Belovs, Gábor Ivanyos, Youming Qiao, Miklos Santha, Siyi Yang

Comments: 26 pages

Journal-ref: 32nd Conference on Computational Complexity (CCC 2017), Leibniz International Proceedings in Informatics (LIPIcs) 79, pp. 30:1-30:24 (2017)

Subjects: Computational Complexity (cs.CC)

[24] arXiv:1710.09143 [pdf, other]

Title: Nondeterministic Communication Complexity with Help and Graph Functions

Adi Shraibman

Subjects: Computational Complexity (cs.CC)

[25] arXiv:1710.09502 [pdf, other]

Title: Barriers for Rank Methods in Arithmetic Complexity

Klim Efremenko, Ankit Garg, Rafael Oliveira, Avi Wigderson

Subjects: Computational Complexity (cs.CC)

[26] arXiv:1710.09595 [pdf, other]

Title: Quantum versus Classical Online Streaming Algorithms with Logarithmic Size of Memory

Kamil Khadiev, Aliya Khadieva, Dmitry Kravchenko, Alexander Rivosh, Ramis Yamilov, Ilnaz Mannapov

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

[27] arXiv:1710.09780 [pdf, other]

Title: Interactions of Computational Complexity Theory and Mathematics

Avi Wigderson

Comments: 27 pages

Subjects: Computational Complexity (cs.CC)

[28] arXiv:1710.09806 [pdf, other]

Title: Minimum Circuit Size, Graph Isomorphism, and Related Problems

Eric Allender, Joshua A. Grochow, Dieter van Melkebeek, Cristopher Moore, Andrew Morgan

Comments: 35 pages

Subjects: Computational Complexity (cs.CC)

[29] arXiv:1710.11516 [pdf, other]

Title: On the List-Decodability of Random Linear Rank-Metric Codes

Venkatesan Guruswami, Nicolas Resch

Subjects: Computational Complexity (cs.CC)

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

Title: Bayesian estimation from few samples: community detection and related problems

Samuel B. Hopkins, David Steurer

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

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

Title: FPT-algorithms for The Shortest Lattice Vector and Integer Linear Programming Problems

D. V. Gribanov

Comments: 17 pages

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

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

Title: The Width and Integer Optimization on Simplices With Bounded Minors of the Constraint Matrices

D. V. Gribanov, A. Y. Chirkov

Comments: 12 pages

Journal-ref: Optim Lett 10, 1179-1189 (2016)

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

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

Title: Plethysm and fast matrix multiplication

Tim Seynnaeve

Comments: 5 pages

Journal-ref: Comptes Rendus Mathematique 356 (2018) 52-55

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

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

Title: Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices

Pavel Dvořák, Andreas Emil Feldmann, Dušan Knop, Tomáš Masařík, Tomáš Toufar, Pavel Veselý

Comments: 23 pages, 6 figures An extended abstract appeared in proceedings of STACS 2018

Journal-ref: SIAM Journal on Discrete Mathematics 35(1), 546-574 (2021)

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

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

Title: The Parameterized Complexity of Centrality Improvement in Networks

Clemens Hoffmann, Hendrik Molter, Manuel Sorge

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

[36] arXiv:1710.01578 (cross-list from q-fin.RM) [pdf, other]

Title: The Computational Complexity of Financial Networks with Credit Default Swaps

Steffen Schuldenzucker, Sven Seuken, Stefano Battiston

Subjects: Risk Management (q-fin.RM); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); General Finance (q-fin.GN)

[37] arXiv:1710.03062 (cross-list from quant-ph) [pdf, other]

Title: Two-player entangled games are NP-hard

Anand Natarajan, Thomas Vidick

Comments: The paper has been withdrawn due to an error in the proof of the main theorem, inherited from arXiv:1302.1242. For more details see this http URL and arXiv:2009.12982

Journal-ref: Proc. CCC 2018, pp. 20:1-20:18

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

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

Title: Theoretical Computer Science for the Working Category Theorist

Noson S. Yanofsky

Comments: 47 pages

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

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

Title: Tropicalization, symmetric polynomials, and complexity

Alexander Woo, Alexander Yong

Comments: 8 pages

Journal-ref: J. Symbolic Comput. 99 (2020), 242--249

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

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

Title: Combinatorial and Asymptotical Results on the Neighborhood Grid

Martin Skrodzki, Ulrich Reitebuch, Alex McDonough

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

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

Title: On the Power of Tree-Depth for Fully Polynomial FPT Algorithms

Yoichi Iwata, Tomoaki Ogasawara, Naoto Ohsaka

Comments: 16 pages

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

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

Title: The power of sum-of-squares for detecting hidden structures

Samuel B. Hopkins, Pravesh K. Kothari, Aaron Potechin, Prasad Raghavendra, Tselil Schramm, David Steurer

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

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

Title: An operational characterization of mutual information in algorithmic information theory

Andrei Romashchenko, Marius Zimand

Comments: 39 pages, 2 figures. A brief version of this work has been presented at 45th International Colloquium on Automata, Languages, and Programming (ICALP), Prague, July 10-13, 2018

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

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

Title: Primal-Dual $π$ Learning: Sample Complexity and Sublinear Run Time for Ergodic Markov Decision Problems

Mengdi Wang

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

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

Title: The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Comments: Presented at The 26th International Joint Conference on Artificial Intelligence (IJCAI-17)

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

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

Title: Kolmogorov Complexity and Information Content

Fouad B. Chedid

Comments: 12 pages

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

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

Title: On vertex coloring without monochromatic triangles

Michał Karpiński, Krzysztof Piecuch

Comments: Extended abstract

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

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

Title: Biased halfspaces, noise sensitivity, and local Chernoff inequalities

Nathan Keller, Ohad Klein

Comments: Revised version, published in Discrete Analysis. 50 pages

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

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

Title: Learning With Errors and Extrapolated Dihedral Cosets

Zvika Brakerski, Elena Kirshanova, Damien Stehlé, Weiqiang Wen

Comments: Updated acknowledgments

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

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

Title: Symbolic Computations of First Integrals for Polynomial Vector Fields

Guillaume Chèze (IMT), Thierry Combot (IMB)

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS); Exactly Solvable and Integrable Systems (nlin.SI)