Computational Complexity

Authors and titles for September 2023

[26] arXiv:2309.15468 [pdf, other]

Title: Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over $\mathbb{F}_2$

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

Subjects: Computational Complexity (cs.CC); Cellular Automata and Lattice Gases (nlin.CG)

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

Title: Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time

V. Arvind, Abhranil Chatterjee, Partha Mukhopadhyay

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

[28] arXiv:2309.16897 [pdf, other]

Title: Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold

Venkatesan Guruswami, Jun-Ting Hsieh, Pravesh K. Kothari, Peter Manohar

Comments: FOCS 2023

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

[29] arXiv:2309.17032 [pdf, other]

Title: Refined Kolmogorov Complexity of Analog, Evolving and Stochastic Recurrent Neural Networks

Jérémie Cabessa, Yann Strozecki

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

[30] arXiv:2309.17042 [pdf, other]

Title: Enumeration Complexity: Incremental Time, Delay and Space

Yann Strozecki

Comments: Habilitation thesis manuscript

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

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

Title: Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

Endre Boros, Vladimir Gurvich, Martin Milanič, Yushi Uno

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

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

Title: The Complexity of Cluster Vertex Splitting and Company

Alexander Firbas, Alexander Dobler, Fabian Holzer, Jakob Schafellner, Manuel Sorge, Anaïs Villedieu, Monika Wißmann

Comments: 30 pages, 9 figures. Appears in SOFSEM 2024

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

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

Title: $(\min,+)$ Matrix and Vector Products for Inputs Decomposable into Few Monotone Subsequences

Andrzej Lingas, Mia Persson

Comments: 16 pages, accepted by COCOON 2023

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

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

Title: Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth

Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov

Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

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

[35] arXiv:2309.01800 (cross-list from cs.IT) [pdf, other]

Title: Tight Bounds on List-Decodable and List-Recoverable Zero-Rate Codes

Nicolas Resch, Chen Yuan, Yihan Zhang

Comments: Abstract shortened to meet the arXiv requirement

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

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

Title: Testing properties of distributions in the streaming model

Sampriti Roy, Yadu Vasudev

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

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

Title: A Josephson Parametric Oscillator-Based Ising Machine

Sasan Razmkhah, Mehdi Kamal, Nobuyuki Yoshikawa, Massoud Pedram

Comments: 9 pages, 10 figures, 31 references. Accepted by PRB

Journal-ref: Phys. Rev. B, vol. 109, p. 014511, Jan 2024

Subjects: Quantum Physics (quant-ph); Superconductivity (cond-mat.supr-con); Computational Complexity (cs.CC)

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

Title: Three Hardness Results for Graph Similarity Problems

He Sun, Danny Vagnozzi

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

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

Title: Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs

Euiwoong Lee, Pasin Manurangsi

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

[40] arXiv:2309.04642 (cross-list from cs.CR) [pdf, other]

Title: The Complexity of Verifying Boolean Programs as Differentially Private

Mark Bun, Marco Gaboardi, Ludmila Glinskih

Comments: Appeared in CSF 2022

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

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

Title: Parallel RAM from Cyclic Circuits

David Heath

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

[42] arXiv:2309.05155 (cross-list from quant-ph) [pdf, other]

Title: Uncloneable Quantum Advice

Anne Broadbent, Martti Karvonen, Sébastien Lord

Comments: 58 pages, 6 figures

Journal-ref: IACR Communications in Cryptology, vol. 1, no. 3 (2024)

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

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

Title: Testing Spreading Behavior in Networks with Arbitrary Topologies

Augusto Modanese, Yuichi Yoshida

Comments: 36 pages, 4 figures, revised a few inaccuracies. To appear in ICALP 2024

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

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

Title: Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy

Swee Hong Chan, Igor Pak

Comments: 35 pages. Fixed some typos and updated some references. to appear in Forum Math. Pi

Journal-ref: \Forum Math. Pi 12 (2024), e21 1--38

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

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

Title: On the Fine-Grained Hardness of Inverting Generative Models

Feyza Duman Keles, Chinmay Hegde

Comments: 19 pages

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

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

Title: Perfect Roman Domination and Unique Response Roman Domination

Henning Fernau, Kevin Mann

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

[47] arXiv:2309.07166 (cross-list from cs.CG) [pdf, other]

Title: Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

Michael A. Bekos, Markus Chimani

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Human-Computer Interaction (cs.HC)

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

Title: Flat origami is Turing Complete

Thomas C. Hull, Inna Zakharevich

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

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

Title: Forbidden Tournaments and the Orientation Completion Problem

Manuel Bodirsky, Santiago Guzmán-Pro

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

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

Title: Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

Jinzhao Li, Nan Jiang, Yexiang Xue

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

[51] arXiv:2309.08941 (cross-list from quant-ph) [pdf, other]

Title: Quantum Pseudorandom Scramblers

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

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

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

Title: Total Variation Distance Meets Probabilistic Inference

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

Comments: 25 pages. This work has been accepted for presentation at the International Conference on Machine Learning (ICML) 2024

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

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

Title: Sharp Phase Transition for Multi Overlap Gap Property in Ising $p$-Spin Glass and Random $k$-SAT Models

Eren C. Kızıldağ

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Mathematical Physics (math-ph)

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

Title: Quantum Multiplier Based on Exponent Adder

Junpeng Zhan

Comments: 15 pages, 7 figures

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

[55] arXiv:2309.10331 (cross-list from quant-ph) [pdf, other]

Title: Hardness results for decoding the surface code with Pauli noise

Alex Fischer, Akimasa Miyake

Comments: 44 pages, 21 figures. 29 pages, 13 figures in main text. Published version in Quantum

Journal-ref: Quantum 8, 1511 (2024)

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

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

Title: Recent advances in algorithmic problems for semigroups

Ruiwen Dong

Comments: survey article for SIGLOG News

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

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

Title: Hardness Transitions of Star Colouring and Restricted Star Colouring

Shalu M.A., Cyriac Antony

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

[58] arXiv:2309.11229 (cross-list from cs.CR) [pdf, other]

Title: Trace Monomial Boolean Functions with Large High-Order Nonlinearities

Jinjie Gao, Haibin Kan, Yuan Li, Jiahua Xu, Qichun Wang

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Rings and Algebras (math.RA)

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

Title: Robust Approximation Algorithms for Non-monotone $k$-Submodular Maximization under a Knapsack Constraint

Dung T.K. Ha, Canh V. Pham, Tan D. Tran, Huan X. Hoang

Comments: 12 pages

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Machine Learning (cs.LG); Combinatorics (math.CO)

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

Title: New Approaches to Complexity via Quantum Graphs

Eric Culf, Arthur Mehta

Comments: v2: 47 pages, 3 figures

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

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

Title: Query complexity of Boolean functions on the middle slice of the cube

Dániel Gerbner, Balázs Keszegh, Dániel T. Nagy, Kartal Nagy, Dömötör Pálvölgyi, Balázs Patkós, Gábor Wiener

Comments: 11 pages

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

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

Title: A unified worst case for classical simplex and policy iteration pivot rules

Yann Disser, Nils Mosis

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

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

Title: The Upper Clique Transversal Problem

Martin Milanič, Yushi Uno

Comments: A preliminary version appeared in the proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2023)

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

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

Title: Efficient Pauli channel estimation with logarithmic quantum memory

Sitan Chen, Weiyuan Gong

Comments: 57 pages, 1 figure

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)

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

Title: On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networks

Ankur Mali, Alexander Ororbia, Daniel Kifer, Lee Giles

Comments: 12 pages, 5 tables, 1 figure

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

[66] arXiv:2309.15115 (cross-list from math.ST) [pdf, other]

Title: Planted Random Number Partitioning Problem

Eren C. Kızıldağ

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

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

Title: The Complexity of Resilience Problems via Valued Constraint Satisfaction

Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz

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

[68] arXiv:2309.15816 (cross-list from math.RT) [pdf, other]

Title: Orbit closures, stabilizer limits and intermediate $G$-varieties

Bharat Adsul, Milind Sohoni, K V Subrahmanyam

Subjects: Representation Theory (math.RT); Computational Complexity (cs.CC)

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

Title: Minimum Monotone Tree Decomposition of Density Functions Defined on Graphs

Lucas Magee, Yusu Wang

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

[70] arXiv:2309.16253 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Where do hard problems really exist?

Raffaele Marino

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

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

Title: Finding dense sub-lattices as low-energy states of a Hamiltonian

Júlia Barberà-Rodríguez, Nicolas Gama, Anand Kumar Narayanan, David Joseph

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

[72] arXiv:2309.16431 (cross-list from quant-ph) [pdf, other]

Title: QSETH strikes again: finer quantum lower bounds for lattice problem, strong simulation, hitting set problem, and more

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

Comments: 34 pages, 2 tables, 2 figures

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

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

Title: Circuit-to-Hamiltonian from tensor networks and fault tolerance

Anurag Anshu, Nikolas P. Breuckmann, Quynh T. Nguyen

Comments: Appeared in QIP 2024 and STOC 2024; version 2 included a proof of QMA-completeness and expanded discussions

Journal-ref: In Proceedings of the 56th Annual ACM Symposium on Theory of Computing (STOC 2024), pp. 585-595

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

[74] arXiv:2309.16549 (cross-list from math.RA) [pdf, other]

Title: The subpower membership problem of 2-nilpotent algebras

Michael Kompatscher

Comments: 17 pages (including appendix)

Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC)

[75] arXiv:2309.16596 (cross-list from quant-ph) [pdf, other]

Title: Local minima in quantum systems

Chi-Fang Chen, Hsin-Yuan Huang, John Preskill, Leo Zhou

Comments: 9+80 pages, 4 figures

Subjects: Quantum Physics (quant-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Mathematical Physics (math-ph); Optimization and Control (math.OC)

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

Title: Bandwidth Parameterized by Cluster Vertex Deletion Number

Tatsuya Gima, Eun Jung Kim, Noleen Köhler, Nikolaos Melissinos, Manolis Vasilakis

Comments: An extended abstract of this article was presented at IPEC 2023

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

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

Title: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

Antonis Achilleos (Reykjavik University), Dario Della Monica (University of Udine)

Journal-ref: EPTCS 390, 2023

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)