Computational Complexity

Authors and titles for November 2024

[51] arXiv:2411.17330 [pdf, html, other]

Title: Derandomizing Multivariate Polynomial Factoring for Low Degree Factors

Pranjal Dutta, Amit Sinhababu, Thomas Thierauf

Subjects: Computational Complexity (cs.CC)

[52] arXiv:2411.17565 [pdf, html, other]

Title: Outer-(ap)RAC Graphs

Förster, Julia Katheder, Giacomo Ortali

Subjects: Computational Complexity (cs.CC)

[53] arXiv:2411.18137 [pdf, html, other]

Title: The Greedy Coin Change Problem

Shreya Gupta, Boyang Huang, Russell Impagliazzo

Subjects: Computational Complexity (cs.CC)

[54] arXiv:2411.18367 [pdf, html, other]

Title: Parameterized Complexity of Fair Many-to-One Matchings

Ramin Javadi, Hossein Shokouhi

Subjects: Computational Complexity (cs.CC)

[55] arXiv:2411.18590 [pdf, html, other]

Title: On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy

Christoph Grüne, Lasse Wulf

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

[56] arXiv:2411.18981 [pdf, html, other]

Title: The Complexity of Order-Finding for ROABPs

Vishwas Bhargava, Pranjal Dutta, Sumanta Ghosh, Anamay Tengse

Subjects: Computational Complexity (cs.CC)

[57] arXiv:2411.19003 [pdf, html, other]

Title: Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity

Simon Mackenzie, Abdallah Saffidine

Subjects: Computational Complexity (cs.CC)

[58] arXiv:2411.00082 (cross-list from quant-ph) [pdf, html, other]

Title: Testing and learning structured quantum Hamiltonians

Srinivasan Arunachalam, Arkopal Dutt, Francisco Escudero Gutiérrez

Comments: 45 pages. This work subsumes a prior work by the third author (arXiv:2404.06282)

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

[59] arXiv:2411.00946 (cross-list from quant-ph) [pdf, html, other]

Title: Classical versus quantum queries in quantum PCPs with classical proofs

Harry Buhrman, François Le Gall, Jordi Weggemans

Comments: 31 pages

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

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

Title: Low-degree approximation of QAC$^0$ circuits

Ashley Montanaro, Changpeng Shao, Dominic Verdon

Comments: Lemma 2.1 is incorrect, and we need some time to fix it

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

[61] arXiv:2411.01452 (cross-list from quant-ph) [pdf, html, other]

Title: Rapidly mixing loop representation quantum Monte Carlo for Heisenberg models on star-like bipartite graphs

Jun Takahashi, Sam Slezak, Elizabeth Crosson

Comments: 29 pages, 10 figures

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

[62] arXiv:2411.01663 (cross-list from cs.LG) [pdf, html, other]

Title: Unlocking the Theory Behind Scaling 1-Bit Neural Networks

Majid Daliri, Zhao Song, Chiwun Yang

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computation and Language (cs.CL)

[63] arXiv:2411.01718 (cross-list from quant-ph) [pdf, html, other]

Title: Toward Separating QMA from QCMA with a Classical Oracle

Mark Zhandry

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

[64] arXiv:2411.01992 (cross-list from cs.LG) [pdf, html, other]

Title: Ask, and it shall be given: On the Turing completeness of prompting

Ruizhong Qiu, Zhe Xu, Wenxuan Bao, Hanghang Tong

Comments: ICLR 2025

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

[65] arXiv:2411.02087 (cross-list from quant-ph) [pdf, html, other]

Title: An Exponential Separation Between Quantum and Quantum-Inspired Classical Algorithms for Linear Systems

Allan Grønlund, Kasper Green Larsen

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

[66] arXiv:2411.02148 (cross-list from cs.DS) [pdf, html, other]

Title: Optimality of Frequency Moment Estimation

Mark Braverman, Or Zamir

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

[67] arXiv:2411.02369 (cross-list from quant-ph) [pdf, other]

Title: A Criterion for Quantum Advantage

Chaitanya Karamchedu, Matthew Fox, Daniel Gottesman

Comments: 40 pages, submitted to QIP 2025

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

[68] arXiv:2411.02535 (cross-list from quant-ph) [pdf, html, other]

Title: Polynomial-Time Classical Simulation of Noisy Circuits with Naturally Fault-Tolerant Gates

Jon Nelson, Joel Rajakumar, Dominik Hangleiter, Michael J. Gullans

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

[69] arXiv:2411.02554 (cross-list from quant-ph) [pdf, html, other]

Title: Quantum-Computable One-Way Functions without One-Way Functions

William Kretschmer, Luowen Qian, Avishay Tal

Comments: 33 pages, 1 figure

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

[70] arXiv:2411.02681 (cross-list from quant-ph) [pdf, other]

Title: Towards a universal gateset for $\mathsf{QMA}_1$

Dorian Rudolph

Comments: 37 pages, 3 figures

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

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

Title: Corners in Quasirandom Groups via Sparse Mixing

Michael Jaber, Shachar Lovett, Anthony Ostuni

Comments: The proof of Lemma 6.6 is incorrect. (Namely, the argument does not suffice to show W is a convex combination of soft rectangles.) We are working on a fix. Thanks to Mehtaab Sawhney and Yang P. Liu for discovering and alerting us to the issue

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

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

Title: Sensitivity Lower Bounds for Approximaiton Algorithms

Noah Fleming, Yuichi Yoshida

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

[73] arXiv:2411.02782 (cross-list from quant-ph) [pdf, other]

Title: Practical, optimal preparation of general quantum state with exponentially improved robustness

Xiao-Ming Zhang

Comments: 6+13 pages, 2+2 figures

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

[74] arXiv:2411.02819 (cross-list from math.CO) [pdf, html, other]

Title: Coboundary expansion of coset complexes

Tali Kaufman, Izhar Oppenheim, Shmuel Weinberger

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Algebraic Topology (math.AT); Group Theory (math.GR)

[75] arXiv:2411.03006 (cross-list from math.CO) [pdf, html, other]

Title: Neural Networks and (Virtual) Extended Formulations

Christoph Hertrich, Georg Loho

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

[76] arXiv:2411.03096 (cross-list from quant-ph) [pdf, html, other]

Title: On the Complexity of Pure-State Consistency of Local Density Matrices

Jonas Kamminga, Dorian Rudolph

Comments: 51 pages, 2 figures; fixed proofs, added discussions on NC, BellQMA, optimization variant of GP systems

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

[77] arXiv:2411.03103 (cross-list from math.OC) [pdf, html, other]

Title: Benign landscape for Burer-Monteiro factorizations of MaxCut-type semidefinite programs

Faniriana Rakoto Endor, Irène Waldspurger

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

[78] arXiv:2411.03230 (cross-list from quant-ph) [pdf, html, other]

Title: Fermionic Independent Set and Laplacian of an independence complex are QMA-hard

Chaithanya Rayudu

Comments: 14 pages

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

[79] arXiv:2411.03240 (cross-list from cs.DC) [pdf, html, other]

Title: Distributed Quantum Advantage for Local Problems

Alkida Balliu, Sebastian Brandt, Xavier Coiteux-Roy, Francesco d'Amore, Massimo Equi, François Le Gall, Henrik Lievonen, Augusto Modanese, Dennis Olivetti, Marc-Olivier Renou, Jukka Suomela, Lucas Tendick, Isadora Veeren

Comments: 64 pages, 9 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[80] arXiv:2411.03248 (cross-list from cs.GT) [pdf, html, other]

Title: On the Role of Constraints in the Complexity of Min-Max Optimization

Martino Bernasconi, Matteo Castiglioni, Andrea Celli, Gabriele Farina

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

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

Title: Oblivious Defense in ML Models: Backdoor Removal without Detection

Shafi Goldwasser, Jonathan Shafer, Neekon Vafa, Vinod Vaikuntanathan

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

[82] arXiv:2411.03296 (cross-list from quant-ph) [pdf, html, other]

Title: Quantum Communication Advantage in TFNP

Mika Göös, Tom Gur, Siddhartha Jain, Jiawei Li

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

[83] arXiv:2411.03716 (cross-list from quant-ph) [pdf, other]

Title: Complexity Theory for Quantum Promise Problems

Nai-Hui Chia, Kai-Min Chung, Tzu-Hsiang Huang, Jhih-Wei Shih

Comments: (v2)Add the new separation results of pBQP/poly and pBQP/qpoly, and the unconditionally secure auxiliary-input quantum commitment with statistical hiding and computational binding (v1)79 pages, 3 figures

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

[84] arXiv:2411.03813 (cross-list from math.CO) [pdf, html, other]

Title: On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses

Ioannis Caragiannis, Nick Gravin, Zhile Jiang

Comments: 26 pages, 1 fugure

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

[85] arXiv:2411.04073 (cross-list from cs.RO) [pdf, html, other]

Title: Rescheduling after vehicle failures in the multi-depot rural postman problem with rechargeable and reusable vehicles

Eashwar Sathyamurthy, Jeffrey W. Herrmann, Shapour Azarm

Subjects: Robotics (cs.RO); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)

[86] arXiv:2411.04085 (cross-list from quant-ph) [pdf, other]

Title: Revisiting BQP with Non-Collapsing Measurements

David Miloschewsky, Supartha Podder

Comments: 21 pages, 4 Figures

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

[87] arXiv:2411.04353 (cross-list from quant-ph) [pdf, html, other]

Title: On the hardness of learning ground state entanglement of geometrically local Hamiltonians

Adam Bouland, Chenyi Zhang, Zixin Zhou

Comments: 47 pages, 10 figures

Subjects: Quantum Physics (quant-ph); Other Condensed Matter (cond-mat.other); Computational Complexity (cs.CC)

[88] arXiv:2411.04566 (cross-list from quant-ph) [pdf, html, other]

Title: On the average-case hardness of BosonSampling

Adam Bouland, Ishaun Datta, Bill Fefferman, Felipe Hernandez

Comments: 41 pages, 6 figures

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

[89] arXiv:2411.04846 (cross-list from cs.DS) [pdf, html, other]

Title: On the Complexity of 2-club Cluster Editing with Vertex Splitting

Faisal N. Abu-Khzam, Tom Davot, Lucas Isenmann, Sergio Thoumi

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

[90] arXiv:2411.04874 (cross-list from quant-ph) [pdf, html, other]

Title: Hardness of approximation for ground state problems

Sevag Gharibian, Carsten Hecht

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

[91] arXiv:2411.04898 (cross-list from quant-ph) [pdf, other]

Title: Convergence efficiency of quantum gates and circuits

Linghang Kong, Zimu Li, Zi-Wen Liu

Comments: 50 pages + 8 tables + 6 figures

Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Computational Complexity (cs.CC); Information Theory (cs.IT); Mathematical Physics (math-ph)

[92] arXiv:2411.04953 (cross-list from quant-ph) [pdf, html, other]

Title: Quantum Threshold is Powerful

Daniel Grier, Jackson Morris

Comments: 22 pages

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

[93] arXiv:2411.04972 (cross-list from quant-ph) [pdf, other]

Title: Uniformity testing when you have the source code

Clément L. Canonne, Robin Kothari, Ryan O'Donnell

Comments: 21 pages

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

[94] arXiv:2411.05120 (cross-list from quant-ph) [pdf, html, other]

Title: On the Computational Complexity of Schrödinger Operators

Yufan Zheng, Jiaqi Leng, Yizhou Liu, Xiaodi Wu

Comments: 32 pages, 5 figures, submitted to QIP 2025

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

[95] arXiv:2411.05208 (cross-list from quant-ph) [pdf, other]

Title: DQC1-hardness of estimating correlation functions

Subhayan Roy Moulik, Sergii Strelchuk

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

[96] arXiv:2411.05721 (cross-list from math.AG) [pdf, html, other]

Title: Symmetrization maps and minimal border rank Comon's conjecture

Tomasz Mańdziuk, Emanuele Ventura

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

[97] arXiv:2411.05736 (cross-list from quant-ph) [pdf, html, other]

Title: Unstructured Adiabatic Quantum Optimization: Optimality with Limitations

Arthur Braida, Shantanav Chakraborty, Alapan Chaudhuri, Joseph Cunningham, Rutvij Menavlikar, Leonardo Novo, Jérémie Roland

Comments: 29+18 pages, 3 figures

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

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

Title: Simple approximation algorithms for Polyamorous Scheduling

Yuriy Biktairov, Leszek Gąsieniec, Wanchote Po Jiamjitrak, Namrata, Benjamin Smith, Sebastian Wild

Comments: accepted at SOSA 2025. arXiv admin note: text overlap with arXiv:2403.00465

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

[99] arXiv:2411.06383 (cross-list from cs.PL) [pdf, html, other]

Title: Program Analysis via Multiple Context Free Language Reachability

Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol

Comments: Accepted at POPL 2024

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

[100] arXiv:2411.06498 (cross-list from cs.AI) [pdf, html, other]

Title: Barriers to Complexity-Theoretic Proofs that Achieving AGI Using Machine Learning is Intractable

Michael Guerzhoy

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