Computational Complexity

Authors and titles for November 2021

[1] arXiv:2111.01551 [pdf, other]

Title: Classifying Approximation Algorithms: Understanding the APX Complexity Class

Arthur Lee, Bruce Xu

Subjects: Computational Complexity (cs.CC)

[2] arXiv:2111.01997 [pdf, other]

Title: Deterministic Approximation of Random Walks via Queries in Graphs of Unbounded Size

Edward Pyne, Salil Vadhan

Comments: 14 pages, to appear in SOSA 2022. Abstract truncated to fit arXiv requirements

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

[3] arXiv:2111.02025 [pdf, other]

Title: W[1]-hardness of Outer Connected Dominating set in d-degenerate Graphs

Mohsen Alambardar Meybodi, Mohammad Reza Hooshmandasl, Ali Shakiba

Comments: Presented at the 49th Annual Iranian Mathematics Conference at Iran University of Science and Technology on 2018

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2111.02138 [pdf, other]

Title: Effective Guessing Has Unlikely Consequences

András Z. Salamon, Michael Wehar

Comments: 22 pages, amended pre-production version submitted to journal

Subjects: Computational Complexity (cs.CC)

[5] arXiv:2111.02277 [pdf, other]

Title: Counting Small Induced Subgraphs with Hereditary Properties

Jacob Focke, Marc Roth

Comments: An extended abstract of this work is accepted for publication at STOC22, 29 pages, 4 figures

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

[6] arXiv:2111.02296 [pdf, other]

Title: On polynomially many queries to NP or QMA oracles

Sevag Gharibian, Dorian Rudolph

Comments: 46 pages pages, 5 figures, to appear in ITCS 2022

Journal-ref: Proceedings of 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 75:1--75:27, 2022

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

[7] arXiv:2111.03479 [pdf, other]

Title: Long paths make pattern-counting hard, and deep trees make it harder

Vít Jelínek, Michal Opler, Jakub Pekárek

Comments: 30 pages, 10 figures, extended abstract will appear in proceedings of IPEC 2021

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

[8] arXiv:2111.04254 [pdf, other]

Title: Alternating Automatic Register Machines

Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Comments: 26 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[9] arXiv:2111.05001 [pdf, other]

Title: Parameterized complexity of untangling knots

Clément Legrand-Duchesne, Ashutosh Rai, Martin Tancer

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Geometric Topology (math.GT)

[10] arXiv:2111.05518 [pdf, other]

Title: Applications of Random Algebraic Constructions to Hardness of Approximation

Boris Bukh, Karthik C. S., Bhargav Narayanan

Comments: Abstract in metadata shortened to meet arxiv requirements

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

[11] arXiv:2111.05545 [pdf, other]

Title: Defensive Alliances in Graphs

Ajinkya Gaikwad, Soumen Maity

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

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

[12] arXiv:2111.06213 [pdf, other]

Title: Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning

Jiaxi Zhang, Liwei Ni, Shenggen Zheng, Hao Liu, Xiangfu Zou, Feng Wang, Guojie Luo

Comments: To be appeared in ICCAD'21

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

[13] arXiv:2111.06267 [pdf, other]

Title: The Harmless Set Problem

Ajinkya Gaikwad, Soumen Maity

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

[14] arXiv:2111.06338 [pdf, other]

Title: On the parameterized complexity of Compact Set Packing

Ameet Gadekar

Comments: To appear at WALCOM 23

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2111.06878 [pdf, other]

Title: FIXP-membership via Convex Optimization: Games, Cakes, and Markets

Aris Filos-Ratsikas, Kristoffer Arnsfelt Hansen, Kasper Høgh, Alexandros Hollender

Comments: Journal version. Preliminary version appeared at FOCS '21

Journal-ref: SIAM Journal on Computing, Special Issue FOCS 2021

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

[16] arXiv:2111.06967 [pdf, other]

Title: On the complexity of SAT

Fabio Romano

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

[17] arXiv:2111.07483 [pdf, other]

Title: Tradeoffs for small-depth Frege proofs

Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan

Comments: FOCS 2021. Fixed typo in Theorem 1.1

Subjects: Computational Complexity (cs.CC)

[18] arXiv:2111.07572 [pdf, other]

Title: Fast, Algebraic Multivariate Multipoint Evaluation in Small Characteristic and Applications

Vishwas Bhargava, Sumanta Ghosh, Mrinal Kumar, Chandra Kanta Mohapatra

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

[19] arXiv:2111.08100 [pdf, other]

Title: A Chronology of Set Cover Inapproximability Results

Erika Melder

Comments: 32 pages, 8 figures. Created as a scholarly paper for the University of Maryland, College Park

Subjects: Computational Complexity (cs.CC)

[20] arXiv:2111.08262 [pdf, other]

Title: Larger Corner-Free Sets from Combinatorial Degenerations

Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam

Comments: A short version of this paper will appear in the proceedings of ITCS 2022. This paper improves results that appeared in arXiv:2104.01130v1

Journal-ref: Proceedings of 13th Innovations in Theoretical Computer Science Conference (ITCS 2022)

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

[21] arXiv:2111.08969 [pdf, other]

Title: Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth

Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2111.09049 [pdf, other]

Title: Bipartite Temporal Graphs and the Parameterized Complexity of Multistage 2-Coloring

Till Fluschnik, Pascal Kunz

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

[23] arXiv:2111.09250 [pdf, other]

Title: Sum-of-Squares Lower Bounds for Sparse Independent Set

Chris Jones, Aaron Potechin, Goutham Rajendran, Madhur Tulsiani, Jeff Xu

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2111.09256 [pdf, other]

Title: Max-3-Lin over Non-Abelian Groups with Universal Factor Graphs

Amey Bhangale, Aleksa Stankovic

Comments: Accepted to 13th Innovations in Theoretical Computer Science (ITCS 2022)

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

[25] arXiv:2111.09375 [pdf, other]

Title: Hypercontractivity on High Dimensional Expanders: Approximate Efron-Stein Decompositions for $\varepsilon$-Product Spaces

Tom Gur, Noam Lifshitz, Siqi Liu

Comments: New title to distinguish from independent work of Bafna, Hopkins, Kaufman, and Lovett

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

[26] arXiv:2111.09671 [pdf, other]

Title: A Variant of the VC-dimension with Applications to Depth-3 Circuits

Peter Frankl, Svyatoslav Gryaznov, Navid Talebanfard

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2111.10092 [pdf, other]

Title: Non-NP-Hardness of Translationally-Invariant Spin-Model Problems

Rotem Liss, Tal Mor, Roman Shapira

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

[28] arXiv:2111.10409 [pdf, html, other]

Title: The Acrobatics of BQP

Scott Aaronson, DeVon Ingram, William Kretschmer

Comments: 64 pages. V2: various writing improvements. V3: minor fixes to spelling and references. V4: corrected an error in what is now Lemma 53

Journal-ref: 37th Computational Complexity Conference (CCC 2022), Leibniz International Proceedings in Informatics (LIPIcs) 234, pp. 20:1-20:17 (2022)

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

[29] arXiv:2111.10436 [pdf, other]

Title: A counter-example to the probabilistic universal graph conjecture via randomized communication complexity

Lianna Hambardzumyan, Hamed Hatami, Pooya Hatami

Comments: 7 pages

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

[30] arXiv:2111.10626 [pdf, other]

Title: Learning algorithms versus automatability of Frege systems

Ján Pich, Rahul Santhanam

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

[31] arXiv:2111.10912 [pdf, other]

Title: Johnson Coverage Hypothesis: Inapproximability of k-means and k-median in L_p metrics

Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee

Comments: Abstract in metadata shortened to meet arxiv requirements

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

[32] arXiv:2111.11072 [pdf, other]

Title: Algorithmizing the Multiplicity Schwartz-Zippel Lemma

Siddharth Bhandari, Prahladh Harsha, Mrinal Kumar, Ashutosh Shankar

Journal-ref: In Proc. 34th SODA, pages 2816-2835, 2023

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

[33] arXiv:2111.13054 [pdf, other]

Title: On the Strong Metric Dimension of directed co-graphs

Yannick Schmitz, Egon Wanke

Subjects: Computational Complexity (cs.CC)

[34] arXiv:2111.13269 [pdf, other]

Title: On Algorithms Based on Finitely Many Homomorphism Counts

Yijia Chen, Jörg Flum, Mingjun Liu, Zhiyang Xun

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

[35] arXiv:2111.14033 [pdf, other]

Title: On Lower Bounds of Approximating Parameterized $k$-Clique

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

Subjects: Computational Complexity (cs.CC)

[36] arXiv:2111.14974 [pdf, other]

Title: Algorithms and Lower Bounds for Comparator Circuits from Shrinkage

Bruno P. Cavalar, Zhenjian Lu

Subjects: Computational Complexity (cs.CC)

[37] arXiv:2111.15330 [pdf, other]

Title: Sublinear-time Reductions for Big Data Computing

Xiangyu Gao, Jianzhong Li, Dongjing Miao

Subjects: Computational Complexity (cs.CC)

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

Title: Efficient, Anytime Algorithms for Calibration with Isotonic Regression under Strictly Convex Losses

Kaan Gokcesu, Hakan Gokcesu

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

[39] arXiv:2111.00486 (cross-list from cs.CR) [pdf, html, other]

Title: Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR

Itai Dinur, Nathan Keller, Ohad Klein

Comments: 44 pages, to appear in JACM, abridged version appeared in FOCS'2021

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

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

Title: Exponential Lower Bounds for Locally Decodable and Correctable Codes for Insertions and Deletions

Jeremiah Blocki, Kuan Cheng, Elena Grigorescu, Xin Li, Yu Zheng, Minshen Zhu

Comments: Accepted to the 62nd Annual Symposium on Foundations of Computer Science (FOCS)

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

[41] arXiv:2111.01254 (cross-list from quant-ph) [pdf, other]

Title: Unique Games hardness of Quantum Max-Cut, and a conjectured vector-valued Borell's inequality

Yeongwoo Hwang, Joe Neeman, Ojas Parekh, Kevin Thompson, John Wright

Comments: 76 pages; v3 treats the vector-valued Borell's inequality as a conjecture rather than a theorem, due to an error in previous versions

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

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

Title: Provably efficient, succinct, and precise explanations

Guy Blanc, Jane Lange, Li-Yang Tan

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

[43] arXiv:2111.01874 (cross-list from q-fin.CP) [pdf, other]

Title: Numerical Smoothing with Hierarchical Adaptive Sparse Grids and Quasi-Monte Carlo Methods for Efficient Option Pricing

Christian Bayer, Chiheb Ben Hammouda, Raúl Tempone

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

Subjects: Computational Finance (q-fin.CP); Computational Complexity (cs.CC); Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Pricing of Securities (q-fin.PR)

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

Title: Expected Complexity of Persistence Barcode Computation via Matrix Reduction

Barbara Giunti, Guillaume Houry, Michael Kerber, Matthias Söls

Comments: Version accepted for publication in Journal of Applied and Computational Topology. Extended version of the previous conference article "Average complexity of matrix reduction for clique filtrations" by Giunti, Houry, Kerber

Subjects: Algebraic Topology (math.AT); Computational Complexity (cs.CC)

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

Title: Nearly Tight Lower Bounds for Succinct Range Minimum Query

Mingmou Liu

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

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

Title: Polygon Placement Revisited: (Degree of Freedom + 1)-SUM Hardness and an Improvement via Offline Dynamic Rectangle Union

Marvin Künnemann, André Nusser

Comments: to appear at SODA 2020; shortened abstract

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

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

Title: The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata

Tomoyuki Yamakami

Comments: (10pt, A4, p.17) A slightly more explanation was added

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

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

Title: An Empirical Comparison of the Quadratic Sieve Factoring Algorithm and the Pollard Rho Factoring Algorithm

Zongxia Li, William Gasarch

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

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

Title: Quantum search-to-decision reductions and the state synthesis problem

Sandy Irani, Anand Natarajan, Chinmay Nirkhe, Sujit Rao, Henry Yuen

Comments: v2 included new figures and improved explanations. No technical content was changed between versions. Comments are welcome and encouraged!

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

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

Title: Computational thresholds for the fixed-magnetization Ising model

Charlie Carlson, Ewan Davies, Alexandra Kolla, Will Perkins

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