Computational Complexity

Authors and titles for May 2024

[1] arXiv:2405.00165 [pdf, html, other]

Title: Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations

Olivier Bournez, Riccardo Gozzi

Comments: Preliminary version presented at STACS'2024

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

[2] arXiv:2405.00327 [pdf, other]

Title: A Smoothed Analysis of the Space Complexity of Computing a Chaotic Sequence

Naoaki Okada, Shuji Kijima

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

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2405.01091 [pdf, html, other]

Title: Maximizing Network Phylogenetic Diversity

Leo van Iersel, Mark Jones, Jannik Schestag, Celine Scornavacca, Mathias Weller

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2405.02232 [pdf, html, other]

Title: From Proof Complexity to Circuit Complexity via Interactive Protocols

Noel Arteche, Erfan Khaniki, Ján Pich, Rahul Santhanam

Comments: A conference version of this work is accepted to the 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024)

Subjects: Computational Complexity (cs.CC)

[5] arXiv:2405.03609 [pdf, other]

Title: Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions

Ma Junchi, Chen Weilin, Wang Chen, Lin Defu, Wang Chao

Comments: in Chinese language

Subjects: Computational Complexity (cs.CC)

[6] arXiv:2405.04697 [pdf, html, other]

Title: The Existential Theory of the Reals with Summation Operators

Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander

Comments: ISAAC 2024

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

[7] arXiv:2405.05062 [pdf, html, other]

Title: Controlling Borda Elections by Adding or Deleting either Votes or Candidates: Complete and Top-Truncated Votes

Aizhong Zhou, Fengbo Wang, Jiong Guo

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

[8] arXiv:2405.05083 [pdf, html, other]

Title: Committee Elections with Candidate Attribute Constraints

Aizhong Zhou, Fengbo Wang, Jiong Guo

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

[9] arXiv:2405.06485 [pdf, html, other]

Title: Solving Quantified Boolean Formulas with Few Existential Variables

Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki

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

[10] arXiv:2405.07107 [pdf, html, other]

Title: A Pair of Bayesian Network Structures has Undecidable Conditional Independencies

Cheuk Ting Li

Comments: 13 pages, 2 figures

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

[11] arXiv:2405.08051 [pdf, html, other]

Title: P=NP

Zikang Deng

Subjects: Computational Complexity (cs.CC)

[12] arXiv:2405.08255 [pdf, html, other]

Title: Total Variation Distance for Product Distributions is $\#\mathsf{P}$-Complete

Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

Comments: 5 pages. An extended version of this paper appeared in the proceedings of IJCAI 2023, under the title "On approximating total variation distance" (see this https URL and arXiv:2206.07209)

Subjects: Computational Complexity (cs.CC)

[13] arXiv:2405.08377 [pdf, html, other]

Title: ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

MIT Hardness Group, Josh Brunner, Della Hendrickson, Lily Chung, Erik D. Demaine, Andy Tockman

Comments: 34 pages, 41 figures. To appear at Fun with Algorithms 2024

Subjects: Computational Complexity (cs.CC)

[14] arXiv:2405.08649 [pdf, html, other]

Title: The computational power of discrete chemical reaction networks with bounded executions

David Doty, Ben Heckmann

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2405.10277 [pdf, html, other]

Title: Hilbert Functions and Low-Degree Randomness Extractors

Alexander Golovnev, Zeyu Guo, Pooya Hatami, Satyajeet Nagargoje, Chao Yan

Subjects: Computational Complexity (cs.CC)

[16] arXiv:2405.10297 [pdf, html, other]

Title: Low-Degree Polynomials Are Good Extractors

Omar Alrabiah, Jesse Goodman, Jonathan Mosheiff, João Ribeiro

Comments: 45 pages; improved result for sumset sources; added reference to the work of Mrazović; added new impossibility result; improved presentation

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

[17] arXiv:2405.10546 [pdf, html, other]

Title: You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games

MIT Hardness Group, Hayashi Ani, Erik D. Demaine, Holden Hall, Ricardo Ruiz, Naveen Venkat

Subjects: Computational Complexity (cs.CC)

[18] arXiv:2405.10774 [pdf, html, other]

Title: Injective hardness condition for PCSPs

Demian Banakh, Marcin Kozik

Comments: To be published in LICS'24

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2405.11699 [pdf, html, other]

Title: Fixed-parameter tractability of canonical polyadic decomposition over finite fields

Jason Yang

Comments: 12 pages; some proofs copied from arXiv:2401.06857; slightly refined result

Subjects: Computational Complexity (cs.CC)

[20] arXiv:2405.13143 [pdf, html, other]

Title: Pseudorandomness, symmetry, smoothing: I

Harm Derksen, Peter Ivanov, Chin Ho Lee, Emanuele Viola

Comments: CCC 2024

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2405.13875 [pdf, html, other]

Title: On the Inapproximability of Finding Minimum Monitoring Edge-Geodetic Sets

Davide Bilò, Giordano Colli, Luca Forlizzi, Stefano Leucci

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

[22] arXiv:2405.15368 [pdf, html, other]

Title: Complexity of Robust Orbit Problems for Torus Actions and the abc-conjecture

Peter Bürgisser, Mahmut Levent Doğan, Visu Makam, Michael Walter, Avi Wigderson

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Algebraic Geometry (math.AG); Representation Theory (math.RT)

[23] arXiv:2405.15790 [pdf, html, other]

Title: The Radical Solution and Computational Complexity

Bojin Zheng, Weiwu Wang

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2405.16270 [pdf, html, other]

Title: Complexity of Multiple-Hamiltonicity in Graphs of Bounded Degree

Brian Liu, Nathan S. Sheffield, Alek Westover

Comments: 16 pages

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2405.16340 [pdf, html, other]

Title: A Strong Direct Sum Theorem for Distributional Query Complexity

Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan

Comments: 34 pages, 4 figures, CCC 2024

Subjects: Computational Complexity (cs.CC)

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

Title: Game Derandomization

Samuel Epstein

Subjects: Computational Complexity (cs.CC)

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

Title: Half-duplex communication complexity with adversary can be less than the classical communication complexity

Mikhail Dektiarev, Nikolay Vereshchagin

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

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

Title: Unconventional complexity classes in unconventional computing (extended abstract)

Antonio E. Porreca

Subjects: Computational Complexity (cs.CC)

[29] arXiv:2405.17001 [pdf, other]

Title: Delta-modular ILP Problems of Bounded Codimension, Discrepancy, and Convolution (new version)

M. Cherniavskii, D. Gribanov, D. Malyshev, P. M. Pardalos

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Commutative Algebra (math.AC); Optimization and Control (math.OC)

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

Title: Maximizing Phylogenetic Diversity under Ecological Constraints: A Parameterized Complexity Study

Christian Komusiewicz, Jannik Schestag

Subjects: Computational Complexity (cs.CC)

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

Title: On Bounded Advice Classes

Simon Marshall, Casper Gyurik, Vedran Dunjko

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

[32] arXiv:2405.18439 [pdf, other]

Title: The Polynomial Hierarchy does not collapse

Reiner Czerwinski

Comments: 11 pages

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

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

Title: A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system

Sergiu Ivanov, Damien Regnault

Comments: First Draft, contains no images, introduction and roadmap

Subjects: Computational Complexity (cs.CC)

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

Title: Derandomized Non-Abelian Homomorphism Testing in Low Soundness Regime

Tushant Mittal, Sourya Roy

Comments: Updated intro and minor edits

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Group Theory (math.GR); Representation Theory (math.RT)

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

Title: Formalizing the notions of non-interactive and interactive algorithms

C. A. Middelburg

Comments: 29 pages, major revision of v2 with more attention to the similarities and differences between non-interactive algorithms and interactive algorithms

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

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

Title: Set Descriptive Complexity of Solvable Functions

Riccardo Gozzi, Olivier Bournez

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

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

Title: Complexity of Injectivity and Verification of ReLU Neural Networks

Vincent Froese, Moritz Grillo, Martin Skutella

Comments: 26 pages, Accepted for presentation at the Conference on Learning Theory (COLT) 2025

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

[38] arXiv:2405.20847 [pdf, html, other]

Title: Proportionally dense subgraphs of maximum size in degree-constrained graphs

Narmina Baghirova, Antoine Castillon

Subjects: Computational Complexity (cs.CC)

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

Title: A quantum neural network framework for scalable quantum circuit approximation of unitary matrices

Rohit Sarma Sarkar, Bibhas Adhikari

Comments: 58 pages. arXiv admin note: substantial text overlap with arXiv:2304.14096

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

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

Title: From Linear to Linearizable Optimization: A Novel Framework with Applications to Stationary and Non-stationary DR-submodular Optimization

Mohammad Pedramfar, Vaneet Aggarwal

Comments: 38th Conference on Neural Information Processing Systems (NeurIPS 2024)

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

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

Title: Finding Diverse Strings and Longest Common Subsequences in a Graph

Yuto Shida, Giulia Punzi, Yasuaki Kobayashi, Takeaki Uno, Hiroki Arimura

Comments: Proceedings of 35th Annual Symposium on Combinatorial Pattern Matching (CPM 2024), Leibniz International Proceedings in Informatics, Vol.296, pp.21:0-21:17, June 2024

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

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

Title: Real Stability and Log Concavity are coNP-Hard

Tracy Chin

Comments: 21 pages, 1 figure

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

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

Title: Quantum-Classical Separations in Shallow-Circuit-Based Learning with and without Noises

Zhihan Zhang, Weiyuan Gong, Weikang Li, Dong-Ling Deng

Comments: 14 pages, 3 figures

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

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

Title: Classically Spoofing System Linear Cross Entropy Score Benchmarking

Andrew Tanggara, Mile Gu, Kishor Bharti

Comments: 19 pages, 1 figure

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

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

Title: NP-completeness of Tiling Finite Simply Connected Regions with a Fixed Set of Wang Tiles

Chao Yang, Zhujun Zhang

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

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

Title: Metric Dimension and Geodetic Set Parameterized by Vertex Cover

Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale

Comments: This is the second part following an accompanying paper arXiv:2307.08149. We split the original paper to keep paper length more manageable

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

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

Title: Privacy-aware Berrut Approximated Coded Computing for Federated Learning

Xavier Martínez Luaña, Rebeca P. Díaz Redondo, Manuel Fernández Veiga

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)

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

Title: TSP Escapes the $O(2^n n^2)$ Curse

Mihail Stoian

Comments: minor text improvements; added reference to time-space tradeoff paper; original results unchanged

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

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

Title: On Probabilistic and Causal Reasoning with Summation Operators

Duligur Ibeling, Thomas F. Icard, Milan Mossé

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

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

Title: Markov Chain-based Optimization Time Analysis of Bivalent Ant Colony Optimization for Sorting and LeadingOnes

Matthias Kergaßner, Oliver Keszocze, Rolf Wanka

Subjects: Neural and Evolutionary Computing (cs.NE); Computational Complexity (cs.CC)

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

Title: BBK: a simpler, faster algorithm for enumerating maximal bicliques in large sparse bipartite graphs

Alexis Baudin, Clémence Magnien, Lionel Tabourier

Comments: 21 pages, 4 figures, 3 tables

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

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

Title: Certifying Euclidean Sections and Finding Planted Sparse Vectors Beyond the $\sqrt{n}$ Dimension Threshold

Venkatesan Guruswami, Jun-Ting Hsieh, Prasad Raghavendra

Comments: 32 pages, 2 Figures

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

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

Title: Time complexity for deterministic string machines

Ali Cataltepe, Vanessa Kosoy

Comments: 14 pages, 1 figure

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

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

Title: Beyond Bell sampling: stabilizer state learning and quantum pseudorandomness lower bounds on qudits

Jonathan Allcock, Joao F. Doriguello, Gábor Ivanyos, Miklos Santha

Comments: 35 pages

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

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

Title: PCF Learned Sort: a Learning Augmented Sort Algorithm with $O(n \log\log n)$ Expected Complexity

Atsuki Sato, Yusuke Matsui

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

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

Title: Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy

Nai-Hui Chia, Min-Hsiu Hsieh, Shih-Han Hung, En-Jui Kuo

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

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

Title: The Rank-Ramsey Problem and the Log-Rank Conjecture

Gal Beniamini, Nati Linial, Adi Shraibman

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

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

Title: From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy

Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz

Comments: accepted at ICLR 25

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

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

Title: When Do Low-Rate Concatenated Codes Approach The Gilbert-Varshamov Bound?

Dean Doron, Jonathan Mosheiff, Mary Wootters

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

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

Title: Explicit Orthogonal Arrays and Universal Hashing with Arbitrary Parameters

Nicholas Harvey, Arvin Sahami

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

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

Title: Symmetric-Difference (Degeneracy) and Signed Tree Models

Édouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev

Comments: 21 pages, 7 figures

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

[62] arXiv:2405.09457 (cross-list from cond-mat.stat-mech) [pdf, html, other]

Title: Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices

Yong Kong

Subjects: Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Combinatorics (math.CO)

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

Title: Rounding Large Independent Sets on Expanders

Mitali Bafna, Jun-Ting Hsieh, Pravesh K. Kothari

Comments: 57 pages, 3 figures

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

[64] arXiv:2405.10930 (cross-list from stat.ML) [pdf, other]

Title: Submodular Information Selection for Hypothesis Testing with Misclassification Penalties

Jayanth Bhargav, Mahsa Ghasemi, Shreyas Sundaram

Comments: 21 pages, 4 figures

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

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

Title: Learning low-degree quantum objects

Srinivasan Arunachalam, Arkopal Dutt, Francisco Escudero Gutiérrez, Carlos Palazuelos

Comments: 26+4 pages

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

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

Title: Inner-approximate Reachability Computation via Zonotopic Boundary Analysis

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue

Comments: the extended version of the paper accepted by CAV 2024

Subjects: Systems and Control (eess.SY); Computational Complexity (cs.CC)

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

Title: Noise-tolerant learnability of shallow quantum circuits from statistics and the cost of quantum pseudorandomness

Chirag Wadhwa, Mina Doosti

Comments: 20+7 pages, 1 figure, 1 table. v3: Improved presentation

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

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

Title: A Subexponential Reduction from Product Partition to Subset Sum

Marius Costandin

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

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

Title: Ergodic Unobservable MDPs: Decidability of Approximation

Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto

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

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

Title: Dequantizability from inputs

Tae-Won Kim, Byung-Soo Choi

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

[71] arXiv:2405.13877 (cross-list from cs.CG) [pdf, html, other]

Title: On connections between k-coloring and Euclidean k-means

Enver Aman, Karthik C. S., Sharath Punna

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

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

Title: Polynomial Pass Semi-Streaming Lower Bounds for K-Cores and Degeneracy

Sepehr Assadi, Prantar Ghosh, Bruno Loff, Parth Mittal, Sagnik Mukhopadhyay

Comments: Accepted at CCC 2024

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

[73] arXiv:2405.15441 (cross-list from stat.ML) [pdf, html, other]

Title: Statistical and Computational Guarantees of Kernel Max-Sliced Wasserstein Distances

Jie Wang, March Boedihardjo, Yao Xie

Comments: Accepted by ICML-2025

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

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

Title: Fundamental computational limits of weak learnability in high-dimensional multi-index models

Emanuele Troiani, Yatin Dandi, Leonardo Defilippis, Lenka Zdeborová, Bruno Loureiro, Florent Krzakala

Subjects: Machine Learning (cs.LG); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC)

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

Title: Models That Prove Their Own Correctness

Noga Amit, Shafi Goldwasser, Orr Paradise, Guy Rothblum

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

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

Title: Small unsatisfiable $k$-CNFs with bounded literal occurrence

Tianwei Zhang, Tomáš Peitl, Stefan Szeider

Comments: full version of a paper to appear in the proceedings of SAT 2024, slight revision compared to v1

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

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

Title: Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory

Nikola Zubić, Federico Soldá, Aurelio Sulser, Davide Scaramuzza

Comments: 31 page, 4 theorems, 17 figures, 4 tables, ICLR 2025 Camera Ready paper

Journal-ref: International Conference on Learning Representations (ICLR), Singapore, 2025

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

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

Title: Finding Maximum Common Contractions Between Phylogenetic Networks

Bertrand Marchand, Nadia Tahiri, Olivier Tremblay-Savard, Manuel Lafond

Comments: journal version (under review)

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

[79] arXiv:2405.16864 (cross-list from math.NA) [pdf, other]

Title: Sparsity comparison of polytopal finite element methods

Christoph Lehrenfeld, Paul Stocker, Maximilian Zienecker

Comments: 15 pages, 12 figures, 15 tables

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC); Computational Engineering, Finance, and Science (cs.CE)

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

Title: Program Synthesis is $Σ_3^0$-Complete

Jinwoo Kim

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

[81] arXiv:2405.17112 (cross-list from cond-mat.dis-nn) [pdf, html, other]

Title: Using continuation methods to analyse the difficulty of problems solved by Ising machines

Jacob Lamers, Guy Verschaffelt, Guy Van der Sande

Comments: 21 pages, 9 figures and 2 tables. At present time (27th of May 2024), this submission is under review in the journal 'Nature Communications'

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC)

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

Title: Graph Threading with Turn Costs

Erik D. Demaine, Yael Kirkpatrick, Rebecca Lin

Comments: 18 pages; 10 figures

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

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

Title: The Round Complexity of Proofs in the Bounded Quantum Storage Model

Alex B. Grilo, Philippe Lamontagne

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

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

Title: Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning

Marco Sälzer, Eric Alsmann, Martin Lange

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

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

Title: Geometric Bipartite Matching is in NC

Sujoy Bhore, Sarfaraz Equbal, Rohit Gurjar

Comments: 15 pages, 4 figures

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

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

Title: The Structural Complexity Landscape of Finding Balance-Fair Shortest Paths

Matthias Bentert, Leon Kellerhals, Rolf Niedermeier

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

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

Title: Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents

Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard

Comments: 53 pages, 14 figures

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

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

Title: Sparse High Dimensional Expanders via Local Lifts

Inbar Ben Yaacov, Yotam Dikstein, Gal Maor

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

[89] arXiv:2405.19982 (cross-list from cs.CE) [pdf, other]

Title: A Deep Reinforcement Learning Approach for Trading Optimization in the Forex Market with Multi-Agent Asynchronous Distribution

Davoud Sarani, Parviz Rashidi-Khazaee

Subjects: Computational Engineering, Finance, and Science (cs.CE); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

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

Title: An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments

Roman Feller, Michael Pinsker

Comments: 30 pages

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)

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

Title: Automatic Channel Pruning for Multi-Head Attention

Eunho Lee, Youngbae Hwang

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