Computational Complexity

Authors and titles for July 2020

[1] arXiv:2007.00870 [pdf, other]

Title: Efficient Document Exchange and Error Correcting Codes with Asymmetric Information

Kuan Cheng, Xin Li

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

[2] arXiv:2007.01673 [pdf, other]

Title: On girth and the parameterized complexity of token sliding and token jumping

Valentin Bartier, Nicolas Bousquet, Clément Dallard, Kyle Lomer, Amer E. Mouawad

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

[3] arXiv:2007.01779 [pdf, other]

Title: The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains

Caterina Viola, Stanislav Zivny

Comments: Full version of an MFCS'20 paper

Journal-ref: ACM Transactions on Algorithms 17(3) Article No. 21 (2021)

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

[4] arXiv:2007.02370 [pdf, other]

Title: Complexity of the Multilevel Critical Node Problem

Adel Nabli, Margarida Carvalho, Pierre Hosteins

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

[5] arXiv:2007.02431 [pdf, other]

Title: A stochastic calculus approach to the oracle separation of BQP and PH

Xinyu Wu

Comments: 6 pages

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

[6] arXiv:2007.02533 [pdf, other]

Title: Computational Complexity Characterization of Protecting Elections from Bribery

Lin Chen (1), Ahmed Sunny (1), Lei Xu (2), Shouhuai Xu (3), Zhimin Gao (4), Yang Lu (5), Weidong Shi (5), Nolan Shah (6) ((1) Texas Tech University, (2) University of Texas Rio Grande Valley, (3) University of Texas San Antonio, (4) Auburn University at Montgomery, (5) University of Houston, (6) Amazon Web Services)

Comments: 28 Pages. The Article has been accepted in the 26th International Computing and Combinatorics Conference (COCOON 2020)

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

[7] arXiv:2007.02740 [pdf, other]

Title: KRW Composition Theorems via Lifting

Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere

Subjects: Computational Complexity (cs.CC)

[8] arXiv:2007.03631 [pdf, other]

Title: Lower Bounds for XOR of Forrelations

Uma Girish, Ran Raz, Wei Zhan

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

[9] arXiv:2007.05580 [pdf, other]

Title: A Strong XOR Lemma for Randomized Query Complexity

Joshua Brody, Jae Tak Kim, Peem Lerdputtipongporn, Hariharan Srinivasulu

Comments: 9 pages

Subjects: Computational Complexity (cs.CC)

[10] arXiv:2007.06819 [pdf, other]

Title: Lower Bounds of Algebraic Branching Programs and Layerization

Christian Engels

Comments: The current version has some serious gaps which I need to address before the results stand

Subjects: Computational Complexity (cs.CC)

[11] arXiv:2007.07496 [pdf, other]

Title: Observations on Symmetric Circuits

Christian Engels

Comments: While I believe the results still hold, the current proofs are not correct. I will work on a fixed version

Subjects: Computational Complexity (cs.CC)

[12] arXiv:2007.07772 [pdf, other]

Title: Improved Extractors for Small-Space Sources

Eshan Chattopadhyay, Jesse Goodman

Comments: 32 pages; improved presentation

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

[13] arXiv:2007.08069 [pdf, other]

Title: Maximizing coverage while ensuring fairness: a tale of conflicting objective

Abolfazl Asudeh, Tanya Berger-Wolf, Bhaskar DasGupta, Anastasios Sidiropoulos

Comments: Revised version, under submission to journal

Journal-ref: Algorithmica, 85, 1287-1331, 2023

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

[14] arXiv:2007.09023 [pdf, other]

Title: Parameterized Complexity of Scheduling Chains of Jobs with Delays

Hans L. Bodlaender, Marieke van der Wegen

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2007.09045 [pdf, other]

Title: Integer factorization and Riemann's hypothesis: Why two-item joint replenishment is hard

Andreas S. Schulz, Claudio Telha

Comments: 20 pages, 4 figures

Subjects: Computational Complexity (cs.CC)

[16] arXiv:2007.09099 [pdf, other]

Title: A dichotomy theorem for nonuniform CSPs simplified

Andrei A. Bulatov

Comments: This is an updated and improved version of the proof of the CSP dichotomy from CoRR abs/1703.03021, 2017. arXiv admin note: text overlap with arXiv:1703.03021

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

[17] arXiv:2007.09318 [pdf, other]

Title: Monochromatic Triangles, Triangle Listing and APSP

Virginia Vassilevska Williams, Yinzhan Xu

Comments: To appear in FOCS'20

Subjects: Computational Complexity (cs.CC)

[18] arXiv:2007.10924 [pdf, other]

Title: Partial Boolean functions with exact quantum 1-query complexity

Guoliang Xu, Daowen Qiu

Comments: 11pages; comments are welcome

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2007.12048 [pdf, other]

Title: Lower Bounds and Hardness Magnification for Sublinear-Time Shrinking Cellular Automata

Augusto Modanese

Comments: 22 pages, 2 figures

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

[20] arXiv:2007.12372 [pdf, other]

Title: On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency (Technical Report)

Ronny Tredup, Evgeny Erofeev

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

[21] arXiv:2007.13179 [pdf, other]

Title: Cyclotomic Identity Testing and Applications

Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

[22] arXiv:2007.14169 [pdf, other]

Title: Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler

Comments: Full and extended version of the IJCAI2020 paper with the same title

Subjects: Computational Complexity (cs.CC); Databases (cs.DB)

[23] arXiv:2007.14346 [pdf, other]

Title: Algorithmic Fractal Dimensions in Geometric Measure Theory

Jack H. Lutz, Elvira Mayordomo

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2007.00204 (cross-list from stat.ML) [pdf, other]

Title: Learning an arbitrary mixture of two multinomial logits

Wenpin Tang

Comments: 14 pages

Subjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

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

Title: Can Global Optimization Strategy Outperform Myopic Strategy for Bayesian Parameter Estimation?

Juanping Zhu, Hairong Gu

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

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

Title: Factoring Polynomials over Finite Fields with Linear Galois Groups: An Additive Combinatorics Approach

Zeyu Guo

Comments: To be published in the proceedings of MFCS 2020

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

[27] arXiv:2007.00662 (cross-list from quant-ph) [pdf, other]

Title: Implementing a Fast Unbounded Quantum Fanout Gate Using Power-Law Interactions

Andrew Y. Guo, Abhinav Deshpande, Su-Kuan Chu, Zachary Eldredge, Przemyslaw Bienias, Dhruv Devulapalli, Yuan Su, Andrew M. Childs, Alexey V. Gorshkov

Comments: 6 pages, 1 figure

Journal-ref: Physical Review Research 4, L042016 (2022)

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

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

Title: Maximizing The Distance To A "Far Enough" Point Over The Intersection Of Hyper-Disks

Marius-Simion Costandin, Bogdan Gavrea, Beniamin Costandin

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

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

Title: Double-Loop Unadjusted Langevin Algorithm

Paul Rolland, Armin Eftekhari, Ali Kavis, Volkan Cevher

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

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

Title: Universal codes in the shared-randomness model for channels with general distortion capabilities

Bruno Bauwens, Marius Zimand

Comments: Removed the mentioning of online matching, which is not used here

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

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

Title: On the weight and density bounds of polynomial threshold functions

Erhan Oztop, Minoru Asada

Comments: To be submitted to SIAM Journal on Discrete Mathematics or Discrete Mathematics. Main author: Erhan Oztop

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

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

Title: Refined Analysis of the Asymptotic Complexity of the Number Field Sieve

Aude Le Gluher, Pierre-Jean Spaenlehauer, Emmanuel Thomé

Comments: Accepted for publication in Mathematical Cryptology

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Number Theory (math.NT)

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

Title: Quantum Lower and Upper Bounds for 2D-Grid and Dyck Language

Andris Ambainis, Kaspars Balodis, Jānis Iraids, Kamil Khadiev, Vladislavs Kļevickis, Krišjānis Prūsis, Yixin Shen, Juris Smotrovs, Jevgēnijs Vihrovs

Comments: arXiv admin note: substantial text overlap with arXiv:1911.12638

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

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

Title: Streaming Complexity of SVMs

Alexandr Andoni, Collin Burns, Yi Li, Sepideh Mahabadi, David P. Woodruff

Comments: APPROX 2020

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

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

Title: An Improved Upper Bound for SAT

Huairui Chu, Mingyu Xiao, Zhe Zhang

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

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

Title: On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic

Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

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

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

Title: A Quantum Finite Automata Approach to Modeling the Chemical Reactions

Amandeep Singh Bhatia, Shenggen Zheng

Comments: 8 figures, 13 pages

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

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

Title: Computing the Largest Bond and the Maximum Connected Cut of a Graph

Gabriel L. Duarte, Hiroshi Eto, Tesshu Hanaka, Yasuaki Kobayashi, Yusuke Kobayashi, Daniel Lokshtanov, Lehilton L. C. Pedrosa, Rafael C. S. Schouery, Uéverton S. Souza

Comments: This paper resulted from a merge of two papers submitted to arXiv (arXiv:1908.03389 and arXiv:1910.01071). Both preliminary versions were presented at the 14th International Symposium on Parameterized and Exact Computation (IPEC 2019)

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

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

Title: Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard

Markus Hecher, Jorge Fandinno

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

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

Title: Dota Underlords game is NP-complete

Alexander A. Ponomarenko, Dmitry V. Sirotkin

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

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

Title: Target set selection with maximum activation time

Lucas Keiler, Carlos Vinicius G. C. Lima, Ana Karolinna Maia, Rudini Sampaio, Ignasi Sau

Comments: 27 pages, 12 figures

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

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

Title: Extending Nearly Complete 1-Planar Drawings in Polynomial Time

Eduard Eiben, Robert Ganian, Thekla Hamm, Fabian Klute, Martin Nöllenburg

Comments: arXiv admin note: text overlap with arXiv:2004.12222

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

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

Title: Border rank non-additivity for higher order tensors

Matthias Christandl, Fulvio Gesmundo, Mateusz Michałek, Jeroen Zuiddam

Comments: 26 pages, 5 figures. Final version accepted in SIMAX

Journal-ref: SIAM J. Matrix Anal. Appl., 42(2), 503-527, 2021

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

[44] arXiv:2007.05469 (cross-list from quant-ph) [pdf, other]

Title: Efficient ancilla-free reversible and quantum circuits for the Hidden Weighted Bit function

Sergey Bravyi, Theodore J. Yoder, Dmitri Maslov

Comments: 20 pages, 4 figures

Journal-ref: IEEE Transactions on Computers 71(5), 1170-1180 (2022)

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

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

Title: Consensus Halving for Sets of Items

Paul W. Goldberg, Alexandros Hollender, Ayumi Igarashi, Pasin Manurangsi, Warut Suksompong

Journal-ref: Mathematics of Operations Research, 47(4):3357-3379 (2022)

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

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

Title: Component Order Connectivity in Directed Graphs

J. Bang-Jensen, E. Eiben, G. Gutin, M. Wahlstrom, A. Yeo

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

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

Title: The Collatz process embeds a base conversion algorithm

Tristan Stérin, Damien Woods

Comments: 28 pages. 8 figures. 2 appendices. Short version accepted to the 14th International Conference on Reachability Problems (RP 2020)

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

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

Title: Downsampling for Testing and Learning in Product Distributions

Nathaniel Harms, Yuichi Yoshida

Comments: 48 pages, 1 figure. Updated to include some new results; in particular the monotonicity tester now has 1-sided error

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

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

Title: Adapting the Directed Grid Theorem into an FPT Algorithm

Victor Campos, Raul Lopes, Ana Karolinna Maia, Ignasi Sau

Comments: 36 pages, 14 figures

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

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

Title: A Finite Time Combinatorial Algorithm for Instantaneous Dynamic Equilibrium Flows

Lukas Graf, Tobias Harks

Comments: 32 pages, 10 figures

Journal-ref: Math. Program. 197, 761-792 (2023)

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