Computational Complexity

Authors and titles for April 2025

[26] arXiv:2504.13986 [pdf, html, other]

Title: Forgetting in short and heterogeneous sequences of belief revisions

Paolo Liberatore

Comments: arXiv admin note: substantial text overlap with arXiv:2402.15445, arXiv:2305.09200

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

[27] arXiv:2504.14074 [pdf, html, other]

Title: Holant* Dichotomy on Domain Size 3: A Geometric Perspective

Jin-Yi Cai, Jin Soo Ihm

Comments: 49 pages, 17 figures

Subjects: Computational Complexity (cs.CC)

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

Title: A Note on the Complexity of Defensive Domination

Steven Chaplick, Grzegorz Gutowski, Tomasz Krawczyk

Subjects: Computational Complexity (cs.CC)

[29] arXiv:2504.14729 [pdf, other]

Title: Rank Bounds and PIT for $Σ^3 ΠΣΠ^d$ circuits via a non-linear Edelstein-Kelly theorem

Abhibhav Garg, Rafael Oliveira, Akash Kumar Sengupta

Comments: 43 pages. Added reference to concurrent work

Subjects: Computational Complexity (cs.CC)

[30] arXiv:2504.15143 [pdf, html, other]

Title: Deterministic Depth-4 PIT and Normalization

Zeyu Guo, Siki Wang

Comments: Modified Theorem 3.19 and its proof, as the original version was insufficient to imply Lemma 3.20

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

[31] arXiv:2504.16311 [pdf, html, other]

Title: Key-agreement exists if and only if the "interactive vs non interactive Kolmogorov problem" is not in ioBPP: a short proof

Bruno Bauwens, Bruno Loff

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

[32] arXiv:2504.17412 [pdf, html, other]

Title: Catalytic Computing and Register Programs Beyond Log-Depth

Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra

Subjects: Computational Complexity (cs.CC)

[33] arXiv:2504.17756 [pdf, html, other]

Title: On the Degree Automatability of Sum-of-Squares Proofs

Alex Bortolotti, Monaldo Mastrolilli, Luis Felipe Vargas

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

[34] arXiv:2504.18640 [pdf, html, other]

Title: Worst-Case and Average-Case Hardness of Hypercycle and Database Problems

Cheng-Hao Fu, Andrea Lincoln, Rene Reyes

Subjects: Computational Complexity (cs.CC)

[35] arXiv:2504.18722 [pdf, html, other]

Title: MODP: Multi Objective Directional Prompting

Aashutosh Nema, Samaksh Gulati, Evangelos Giakoumakis, Bipana Thapaliya

Comments: 10 pages, 5 figures, submission to KDD 2025

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

[36] arXiv:2504.19386 [pdf, html, other]

Title: Hardness of Finding Kings and Strong Kings

Ziad Ismaili Alaoui, Nikhil S. Mande

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

[37] arXiv:2504.19777 [pdf, html, other]

Title: On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness

Joshua A. Grochow, Dan Johnson, Michael Levet

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

[38] arXiv:2504.19944 [pdf, other]

Title: Probabilistic and Causal Satisfiability: Constraining the Model

Markus Bläser, Julian Dörfler, Maciej Liśkiewicz, Benito van der Zander

Comments: accepted at ICALP 25

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

[39] arXiv:2504.20262 [pdf, html, other]

Title: Closure Properties and Characterizations of TotP

Yaroslav Ivanashev

Comments: 10 pages

Subjects: Computational Complexity (cs.CC)

[40] arXiv:2504.20950 [pdf, html, other]

Title: Improved Bounds on the Space Complexity of Circuit Evaluation

Yakov Shalunov

Comments: 14 pages

Subjects: Computational Complexity (cs.CC)

[41] arXiv:2504.21624 [pdf, html, other]

Title: Multicut Problems in Almost-Planar Graphs: The Dependency of Complexity on the Demand Pattern

Florian Hörsch, Dániel Marx

Subjects: Computational Complexity (cs.CC)

[42] arXiv:2504.00133 (cross-list from eess.SY) [pdf, html, other]

Title: Data-driven Power Loss Identification through Physics-Based Thermal Model Backpropagation

Mattia Scarpa, Francesco Pase, Ruggero Carli, Mattia Bruschetta, Franscesco Toso

Comments: Accepted by European Control Conference (ECC) 2020, 8 pages, 7 figures

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)

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

Title: Epistemic Skills: Reasoning about Knowledge and Oblivion

Xiaolong Liang, Yì N. Wáng

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

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

Title: Distributed Triangle Detection is Hard in Few Rounds

Sepehr Assadi, Janani Sundaresan

Comments: 75 pages, 7 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

[45] arXiv:2504.02115 (cross-list from quant-ph) [pdf, other]

Title: Quantum algorithms through graph composition

Arjan Cornelissen

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

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

Title: Finding Diverse Solutions in Combinatorial Problems with a Distributive Lattice Structure

Mark de Berg, Andrés López Martínez, Frits Spieksma

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

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

Title: Beating full state tomography for unentangled spectrum estimation

Angelos Pelecanos, Xinyu Tan, Ewin Tang, John Wright

Comments: 53 pages, 3 figures

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

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

Title: Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH

Igor Pak, Colleen Robichaux

Comments: 19 pages

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

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

Title: On the consistency of stronger lower bounds for NEXP

Neil Thapen

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

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

Title: Undefinability of Approximation of 2-to-2 Games

Anuj Dawar, Bálint Molnár

Comments: 25 pages. Full version of a paper that appeared in CSL 2025

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

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

Title: Constant Rate Isometric Embeddings of Hamming Metric into Edit Metric

Sudatta Bhattacharya, Sanjana Dey, Elazar Goldenberg, Mursalin Habib, Bernhard Haeupler, Karthik C. S., Michal Koucký

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

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

Title: Quantum Search with In-Place Queries

Blake Holman, Ronak Ramachandran, Justin Yirka

Comments: 31 pages, 3 figures

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

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

Title: Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition

Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

Comments: An updated version of arXiv:2408.07215v2, featuring: (1) inclusion of recent LRMs and recent LLMs, (2) revised conclusions reflecting recent developments, and (3) updated analysis

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

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

Title: Provable Failure of Language Models in Learning Majority Boolean Logic via Gradient Descent

Bo Chen, Zhenmei Shi, Zhao Song, Jiahao Zhang

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

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

Title: The Complexity of Maximal Common Subsequence Enumeration

Giovanni Buzzega, Alessio Conte, Yasuaki Kobayashi, Kazuhiro Kurita, Giulia Punzi

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

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

Title: Nonlocal techniques for the analysis of deep ReLU neural network approximations

Cornelia Schneider, Mario Ullrich, Jan Vybiral

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Numerical Analysis (math.NA)

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

Title: The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs

Tiziana Calamoneri, Federico Corò, Giacomo Paesani

Comments: Soon to be submitted to a conference. Any constructive comment is welcome

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

[58] arXiv:2504.05012 (cross-list from math.DS) [pdf, html, other]

Title: Descriptive Complexity of Sensitivity of Cellular Automata

Tom Favereau, Ville Salo

Comments: 16 pages, 4 figures, accepted to AUTOMATA 2025. Addressed referee comments

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

[59] arXiv:2504.05191 (cross-list from cs.DC) [pdf, other]

Title: Distributed Quantum Advantage in Locally Checkable Labeling Problems

Alkida Balliu, Filippo Casagrande, Francesco d'Amore, Massimo Equi, Barbara Keller, Henrik Lievonen, Dennis Olivetti, Gustav Schmid, Jukka Suomela

Comments: 51 pages, 14 figures

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

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

Title: Group Order is in QCMA

François Le Gall, Harumichi Nishimura, Dhara Thakkar

Comments: 28 pages

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

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

Title: Kronecker scaling of tensors with applications to arithmetic circuits and algorithms

Andreas Björklund, Petteri Kaski, Tomohiro Koana, Jesper Nederlof

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

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

Title: Tight bounds on depth-2 QAC-circuits computing parity

Stephen Fenner, Daniel Grier, Daniel Padé, Thomas Thierauf

Comments: 26 pages, 5 figures (including 2 in-line). Some material also appeared in [arXiv:2005.12169]

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

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

Title: Matching and Edge Cover in Temporal Graphs

Lapo Cioni, Riccardo Dondi, Andrea Marino, Jason Schoeters, Ana Silva

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

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

Title: More-efficient Quantum Multivariate Mean Value Estimator from Generalized Grover Operator

Letian Tang

Comments: 39 pages, 0 figures

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

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

Title: Quasipolynomial bounds for the corners theorem

Michael Jaber, Yang P. Liu, Shachar Lovett, Anthony Ostuni, Mehtaab Sawhney

Comments: 73 pages

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

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

Title: Learning to erase quantum states: thermodynamic implications of quantum learning theory

Haimeng Zhao, Yuzhen Zhang, John Preskill

Comments: 5.5 pages + 1 figure

Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG)

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

Title: Directed Temporal Tree Realization for Periodic Public Transport: Easy and Hard Cases

Julia Meusel, Matthias Müller-Hannemann, Klaus Reinhardt

Comments: slightly extended version

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

[68] arXiv:2504.08914 (cross-list from cs.DB) [pdf, html, other]

Title: Circuits and Formulas for Datalog over Semirings

Austen Z. Fan, Paraschos Koutris, Sudeepa Roy

Comments: To appear in PODS 2025

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

[69] arXiv:2504.09331 (cross-list from stat.CO) [pdf, other]

Title: Adaptive Robustness of Hypergrid Johnson-Lindenstrauss

Andrej Bogdanov, Alon Rosen, Neekon Vafa, Vinod Vaikuntanathan

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

[70] arXiv:2504.09388 (cross-list from cs.IT) [pdf, html, other]

Title: The Rate-Immediacy Barrier in Explicit Tree Code Constructions

Gil Cohen, Leonard J. Schulman, Piyush Srivastava

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

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

Title: Fine-Grained Complexity via Quantum Natural Proofs

Yanlin Chen, Yilei Chen, Rajendra Kumar, Subhasree Patro, Florian Speelman

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

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

Title: Optimal Hardness of Online Algorithms for Large Independent Sets

David Gamarnik, Eren C. Kızıldağ, Lutz Warnke

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

[73] arXiv:2504.12551 (cross-list from eess.SP) [pdf, html, other]

Title: Fast Computation of the Discrete Fourier Transform Rectangular Index Coefficients

Saulo Queiroz, João P. Vilela, Benjamin Koon Kei Ng, Chan-Tong Lam, Edmundo Monteiro

Comments: This work has been submitted to the IEEE for possible publication

Subjects: Signal Processing (eess.SP); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Broadcasting under Structural Restrictions

Yudai Egami, Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz

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

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

Title: Maker-Maker games of rank 4 are PSPACE-complete

Florian Galliot, Jonas Sénizergues

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

[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)