Computational Complexity

Authors and titles for April 2025

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

Title: Approximate all-pairs Hamming distances and 0-1 matrix multiplication

Miroslaw Kowaluk, Andrzej Lingas, Mia Persson

Comments: 18 pages

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

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

Title: (Sub)Exponential Quantum Speedup for Optimization

Jiaqi Leng, Kewen Wu, Xiaodi Wu, Yufan Zheng

Comments: 69 pages, 6 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Optimization and Control (math.OC)

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

Title: Parallel Kac's Walk Generates PRU

Chuhan Lu, Minglong Qin, Fang Song, Penghui Yao, Mingnan Zhao

Comments: Update acknowledgment

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

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

Title: Explicit Lossless Vertex Expanders

Jun-Ting Hsieh, Alexander Lubotzky, Sidhanth Mohanty, Assaf Reiner, Rachel Yun Zhang

Comments: 33 pages, 3 figures

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Group Theory (math.GR)

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

Title: How Global Calibration Strengthens Multiaccuracy

Sílvia Casacuberta, Parikshit Gopalan, Varun Kanade, Omer Reingold

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

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

Title: Hardness of Median and Center in the Ulam Metric

Nick Fischer, Elazar Goldenberg, Mursalin Habib, Karthik C. S.

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

[82] arXiv:2504.16663 (cross-list from math.LO) [pdf, html, other]

Title: Online and feasible presentability: from trees to modal algebras

Nikolay Bazhenov, Dariusz Kalociński, Michał Wrocławski

Comments: 26 pages, 2 figures, ICALP 2025

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

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

Title: Symmetric Proofs in the Ideal Proof System

Anuj Dawar, Erich Grädel, Leon Kullmann, Benedikt Pago

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

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

Title: Feasibility of Primality in Bounded Arithmetic

Raheleh Jalali, Ondřej Ježil

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

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

Title: Precision Neural Network Quantization via Learnable Adaptive Modules

Wenqiang Zhou, Zhendong Yu, Xinyu Liu, Jiaming Yang, Rong Xiao, Tao Wang, Chenwei Tang, Jiancheng Lv

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

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

Title: Knapsack on Graphs with Relaxed Neighborhood Constraints

Palash Dey, Ashlesha Hota, Sudeshna Kolay

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

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

Title: A general framework for finding diverse solutions via network flow and its applications

Yuni Iwamasa, Tomoki Matsuda, Shunya Morihira, Hanna Sumita

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

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

Title: Geodetic Set on Graphs of Constant Pathwidth and Feedback Vertex Set Number

Prafullkumar Tale

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

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

Title: Efficient witnessing and testing of magic in mixed quantum states

Tobias Haug, Poetri Sonya Tarabunga

Comments: 10 + 13 pages, 4 + 9 figures

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

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

Title: Quantum Lifting for Invertible Permutations and Ideal Ciphers

Alexandru Cojocaru, Minki Hhan, Qipeng Liu, Takashi Yamakawa, Aaram Yun

Comments: 48 pages, 3 figures

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

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

Title: The Trichotomy of Regular Property Testing

Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle

Comments: Accepted at ICALP'25

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

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

Title: Learning High-dimensional Gaussians from Censored Data

Arnab Bhattacharyya, Constantinos Daskalakis, Themis Gouleakis, Yuhao Wang

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Statistics Theory (math.ST); Machine Learning (stat.ML)

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

Title: A Cautionary Note on Quantum Oracles

Avantika Agarwal, Srijita Kundu

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

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

Title: Quantum circuit lower bounds in the magic hierarchy

Natalie Parham

Comments: 44 pages. Latest version includes details more explicitly the connection to classical circuit lower bounds by clearly explaining the simulation of threshold circuits and Rosenthal's single query algorithm for state synthesis

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

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

Title: Low-Rank Matrix Approximation for Neural Network Compression

Kalyan Cherukuri, Aarav Lala

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

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

Title: List Decoding Expander-Based Codes up to Capacity in Near-Linear Time

Shashank Srivastava, Madhur Tulsiani

Comments: Improved dependence on $ε$ from doubly exponential to exponential

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

[97] arXiv:2504.21502 (cross-list from cs.DM) [pdf, html, other]

Title: Concurrency Constrained Scheduling with Tree-Like Constraints

Hans L. Bodlaender, Danny Hermelin, Erik Jan van Leeuwen

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

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

Title: Complexities of Well-Quasi-Ordered Substructural Logics

Nikolaos Galatos, Vitor Greati, Revantha Ramanayake, Gavin St. John

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

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

Title: Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings

Thi Xuan Vu

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