Computational Complexity

Authors and titles for March 2023

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

Title: Enumeration and Unimodular Equivalence of Empty Delta-Modular Simplices

D. Gribanov

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

[27] arXiv:2303.01411 (cross-list from physics.hist-ph) [pdf, other]

Title: Algorithmic Randomness and Probabilistic Laws

Jeffrey A. Barrett, Eddy Keming Chen

Comments: 14 pages

Subjects: History and Philosophy of Physics (physics.hist-ph); Computational Complexity (cs.CC); Probability (math.PR); Quantum Physics (quant-ph)

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

Title: Ternary Quantization: A Survey

Dan Liu, Xue Liu

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

[29] arXiv:2303.01625 (cross-list from quant-ph) [pdf, other]

Title: Certified Randomness from Quantum Supremacy

Scott Aaronson, Shih-Han Hung

Comments: 84 pages

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

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

Title: Complexity of total dominator coloring in graphs

Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul

Comments: V1, 18 pages, 1 figure

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

[31] arXiv:2303.01877 (cross-list from quant-ph) [pdf, other]

Title: Quantum Merlin-Arthur proof systems for synthesizing quantum states

Hugo Delavenne, François Le Gall, Yupan Liu, Masayuki Miyamoto

Comments: 31 pages. v2: minor changes. v3: add a new result - UQMA witness family is in stateQMA

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

[32] arXiv:2303.01952 (cross-list from quant-ph) [pdf, other]

Title: Quantum state testing beyond the polarizing regime and quantum triangular discrimination

Yupan Liu

Comments: 31 pages. v3: added a simple QSZK-hardness proof for QEDP, updated a correct version of Theorem 5.1(2), and improved presentation. v2: minor changes

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

[33] arXiv:2303.02131 (cross-list from quant-ph) [pdf, other]

Title: Spacetime-Efficient Low-Depth Quantum State Preparation with Applications

Kaiwen Gui, Alexander M. Dalzell, Alessandro Achille, Martin Suchara, Frederic T. Chong

Journal-ref: Quantum 8, 1257 (2024)

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

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

Title: On Maximum Bipartite Matching with Separation

Pasin Manurangsi, Erel Segal-Halevi, Warut Suksompong

Journal-ref: Information Processing Letters, 182:106388 (2023)

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

[35] arXiv:2303.02301 (cross-list from math.LO) [pdf, other]

Title: Locally universal C*-algebras with computable presentations

Alec Fox, Isaac Goldbring, Bradd Hart

Comments: 12 pages. This paper supercedes an earlier paper by the second and third author (arXiv:2107.14010). First draft; comments welcome!

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Operator Algebras (math.OA)

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

Title: Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest

Michael Vielhaber, Mónica del Pilar Canales Chacón, Sergio Jara Ceballos

Comments: 25 pages

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

[37] arXiv:2303.03148 (cross-list from math.HO) [pdf, other]

Title: The Mathematics of L\'aszl\'o Lov\'asz

Martin Grötschel, Jaroslav Nešetřil

Comments: Chapter i Abel Prize book

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

[38] arXiv:2303.03645 (cross-list from cs.CV) [pdf, html, other]

Title: Filter Pruning based on Information Capacity and Independence

Xiaolong Tang, Shuo Ye, Yufeng Shi, Tianheng Hu, Qinmu Peng, Xinge You

Comments: Accepted by IEEE Transactions on Neural Networks and Learning Systems (IEEE TNNLS).The code will be available at this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computational Complexity (cs.CC)

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

Title: Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

Xingjian Li, Qipeng Liu, Angelos Pelecanos, Takashi Yamakawa

Comments: 31 pages. Added classically-accessible classical oracle separation of QMA and QCMA and updated the abstract. v4: Fixed an issue with the proof of Claim 5.2

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

[40] arXiv:2303.04613 (cross-list from cs.LO) [pdf, html, other]

Title: The Descriptive Complexity of Graph Neural Networks

Martin Grohe

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

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

Title: Agnostic PAC Learning of k-juntas Using L2-Polynomial Regression

Mohsen Heidari, Wojciech Szpankowski

Comments: AISTATS 2023

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (stat.ML)

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

Title: General Boolean Formula Minimization with QBF Solvers

Eduardo Calò, Jordi Levy

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

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

Title: Schr\"odinger as a Quantum Programmer: Estimating Entanglement via Steering

Aby Philip, Soorya Rethinasamy, Vincent Russo, Mark M. Wilde

Comments: v4: 33 pages, 12 figures, all source code available as arXiv ancillary files, update to complexity theoretic results for QIP$_{\operatorname{EB}}(2)$, accepted to Quantum

Journal-ref: Quantum 8, 1366 (2024)

Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); High Energy Physics - Theory (hep-th)

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

Title: Logarithmic Weisfeiler--Leman and Treewidth

Michael Levet, Puck Rombach, Nicholas Sieger

Comments: There were minor bugs in this version. We corrected those bugs and folded this result into a different paper: arXiv:2306.17777

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Process Equivalence Problems as Energy Games

Benjamin Bisping

Comments: 29 pages. Code: this https URL

Journal-ref: Extended abstract in: CAV 2023, LNCS 13964, pp. 85--106, 2023

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

[46] arXiv:2303.10244 (cross-list from quant-ph) [pdf, other]

Title: One Weird Trick Tightens the Quantum Adversary Bound, Especially for Success Probability Close to $1/2$

Duyal Yolcu

Comments: 9 pages

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

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

Title: On the exact quantum query complexity of $\text{MOD}_m^n$ and $\text{EXACT}_{k,l}^n$

Penghui Yao, Zekun Ye

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

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

Title: Algorithmic Threshold for Multi-Species Spherical Spin Glasses

Brice Huang, Mark Sellke

Comments: updated references

Subjects: Probability (math.PR); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Mathematical Physics (math-ph)

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

Title: Analyzing Innermost Runtime Complexity Through Tuple Interpretations

Liye Guo (Radboud University), Deivid Vale (Radboud University)

Comments: In Proceedings LSFA 2022, arXiv:2303.12680

Journal-ref: EPTCS 376, 2023, pp. 34-48

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

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

Title: Parameterized Algorithms for Topological Indices in Chemistry

Giovanna K. Conrado, Amir K. Goharshady, Harshit J. Motwani, Sergei Novozhilov

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