Computational Complexity

Authors and titles for November 2022

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

Title: Polynomial Identity Testing via Evaluation of Rational Functions

Ivan Hu, Dieter van Melkebeek, Andrew Morgan

Comments: Published in Theory of Computing, Volume 20 (2024), Article 1; Received: November 2, 2022, Revised: April 7, 2024, Published: July 18, 2024

Journal-ref: Theory of Computing 20(1):1-70, 2024

Subjects: Computational Complexity (cs.CC)

[2] arXiv:2211.01443 [pdf, other]

Title: Improved Inapproximability of VC Dimension and Littlestone's Dimension via (Unbalanced) Biclique

Pasin Manurangsi

Comments: To appear in ITCS 2023

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

[3] arXiv:2211.01776 [pdf, other]

Title: Complexity of Simon's problem in classical sense

Hans Zantema

Comments: 10 pages

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

[4] arXiv:2211.01905 [pdf, other]

Title: The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree

Marco Bressan, Matthias Lanzinger, Marc Roth

Comments: 47 pages, 1 figure, abstract shortened due to arXiv requirements

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

[5] arXiv:2211.02257 [pdf, other]

Title: Certification with an NP Oracle

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

Comments: 25 pages, 2 figures, ITCS 2023

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

[6] arXiv:2211.02926 [pdf, other]

Title: Parity Games of Bounded Tree-Depth

Konrad Staniszewski (University of Warsaw, IDEAS NCBR Sp. z o.o.)

Comments: This is the full version of the paper that has been accepted at CSL 2023 and is going to be published in Leibniz International Proceedings in Informatics (LIPIcs)

Subjects: Computational Complexity (cs.CC)

[7] arXiv:2211.03168 [pdf, other]

Title: Approximate Graph Colouring and the Crystal with a Hollow Shadow

Lorenzo Ciardo, Stanislav Živný

Comments: Full version of a STOC'23 paper and a SODA'23 paper (arXiv:2210.08293). Generalises and subsumes results from Section 6 in arXiv:2203.02478

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

[8] arXiv:2211.03365 [pdf, other]

Title: Polynomial Kernels for Generalized Domination Problems

Pradeesha Ashok, Rajath Rao, Avi Tomar

Comments: 19 pages, 6 figures

Subjects: Computational Complexity (cs.CC)

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

Title: Certificate Games and Consequences for the Classical Adversary Bound

Sourav Chakraborty, Anna Gál, Mika Göös, Sophie Laplante, Rajat Mittal, Anupa Sunny

Comments: 38 pages, 1 figure, ITCS2023 Major update to the paper previously entitled Certificate Games. Additional author: Mika Göös

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

[10] arXiv:2211.03404 [pdf, other]

Title: Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$

Vladimir P. Burichenko

Comments: 19 pp. Accepted for publication in Proceedings of the Institute of mathematics (of Academy of Sciences of Belarus)

Subjects: Computational Complexity (cs.CC)

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

Title: Nearly optimal independence oracle algorithms for edge estimation in hypergraphs

Holger Dell, John Lapinskas, Kitty Meeks

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

[12] arXiv:2211.04032 [pdf, other]

Title: Non-existence of a short algorithm for multiplication of $3\times3$ matrices with group $S_4\times S_3$, II

Vladimir P. Burichenko

Comments: 13 pp. Accepted for publication in Proceedings of the Institute of Mathematics of Academy of Sciences of Belarus

Subjects: Computational Complexity (cs.CC)

[13] arXiv:2211.04278 [pdf, other]

Title: Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part I: Algorithmic Results

Jacob Focke, Dániel Marx, Fionn Mc Inerney, Daniel Neuen, Govind S. Sankar, Philipp Schepper, Philip Wellnitz

Comments: 45 pages, 4 figures; second version splits the original paper into two parts: this is the first part with the algorithmic results followed by the accompanying paper arXiv:2306.03640 covering the second part with the hardness results; third version improves on the presentation

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

[14] arXiv:2211.04385 [pdf, other]

Title: Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!

Divesh Aggarwal, Rajendra Kumar

Comments: Added: Instance compression of exact-CVP

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

[15] arXiv:2211.05069 [pdf, other]

Title: Basis for a vector space generated by Hamiltonian time paths in a complete time graph

Malay Dutta, Anjana K. Mahanta

Comments: 16 pages 3 figures

Subjects: Computational Complexity (cs.CC)

[16] arXiv:2211.05274 [pdf, other]

Title: Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials

Alexander S. Wein

Comments: 42 pages; STOC 2023

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

[17] arXiv:2211.05325 [pdf, other]

Title: Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Michael J. Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro E.S. Morales

Comments: 37 pages, 10 figures

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

[18] arXiv:2211.05637 [pdf, other]

Title: Description Graphs, Matrix-Power Stabilizations and Graph Isomorphism in Polynomial Time

Rui Xue (State Key Laboratory of Information Security, Institute of Information Engineering, CAS)

Comments: In this version, some related references are added. An explicit proof to Theorem 9 is sketched in the appendix. The proofs in Section 7-10 to our main results are rewritten with WL process for consistency

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2211.06121 [pdf, other]

Title: A parameterized halting problem, $Δ_0$ truth and the MRDP theorem

Yijia Chen, Moritz Müller, Keita Yokoyama

Comments: 25 pages

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

[20] arXiv:2211.06485 [pdf, other]

Title: On automorphism group of a possible short algorithm for multiplication of $3\times3$ matrices

Vladimir Burichenko

Comments: 11 pp. To be submitted to European J. Math

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

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

Title: Geometric complexity theory for product-plus-power

Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Comments: This version (v3) has been accepted for publication at the "special issue on the topics of MEGA 2024" of the Journal of Symbolic Computation. Parts of v1/v2 have been published independently as "Fixed-parameter debordering of Waring rank" (DOI: https://doi.org/10.4230/LIPIcs.STACS.2024.30) and "Homogeneous Algebraic Complexity Theory and Algebraic Formulas" (DOI: https://doi.org/10.4230/LIPIcs.ITCS.2024.43)

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

[22] arXiv:2211.07315 [pdf, other]

Title: Counterfactual Analysis by Algorithmic Complexity: A metric between possible worlds

Nicholas Kluge Corrêa, Nythamar Fernandes De Oliveira

Journal-ref: November 2022, Manuscrito 46(4):1-34

Subjects: Computational Complexity (cs.CC)

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

Title: On the Smoothed Complexity of Combinatorial Local Search

Yiannis Giannakopoulos, Alexander Grosz, Themistoklis Melissourgos

Comments: An extended abstract of this paper was accepted to ICALP 2024

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

[24] arXiv:2211.07691 [pdf, other]

Title: Low-depth arithmetic circuit lower bounds via shifted partials

Prashanth Amireddy, Ankit Garg, Neeraj Kayal, Chandan Saha, Bhargav Thankey

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: Parameterized Inapproximability of the Minimum Distance Problem over all Fields and the Shortest Vector Problem in all $\ell_p$ Norms

Huck Bennett, Mahdi Cheraghchi, Venkatesan Guruswami, João Ribeiro

Comments: 40 pages. Revised exposition. To appear at SICOMP. Short conference version in STOC 2023

Subjects: Computational Complexity (cs.CC)

[26] arXiv:2211.07923 [pdf, other]

Title: A Theory for Discrete-time Boolean Finite Dynamical Systems with Uncertainty

Mitsunori Ogihara, Kei Uchizawa

Comments: 37 pages

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2211.08524 [pdf, other]

Title: Complexity Results for Implication Bases of Convex Geometries

Todd Bichoupan

Subjects: Computational Complexity (cs.CC)

[28] arXiv:2211.08563 [pdf, other]

Title: The wrong direction of Jensen's inequality is algorithmically right

Or Zamir

Subjects: Computational Complexity (cs.CC)

[29] arXiv:2211.09106 [pdf, other]

Title: The Exact Bipartite Matching Polytope Has Exponential Extension Complexity

Xinrui Jia, Ola Svensson, Weiqiang Yuan

Comments: SODA 2023

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

[30] arXiv:2211.09229 [pdf, other]

Title: Improved Monotonicity Testers via Hypercube Embeddings

Mark Braverman, Subhash Khot, Guy Kindler, Dor Minzer

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

[31] arXiv:2211.09341 [pdf, other]

Title: Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test

Dor Minzer, Kai Zheng

Comments: SODA 2023, 19 pages

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

[32] arXiv:2211.09482 [pdf, other]

Title: Unique-Neighbor-Like Expansion and Group-Independent Cosystolic Expansion

Tali Kaufman, David Mass

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

[33] arXiv:2211.09485 [pdf, other]

Title: Double Balanced Sets in High Dimensional Expanders

Tali Kaufman, David Mass

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

[34] arXiv:2211.09729 [pdf, other]

Title: Rounding via Low Dimensional Embeddings

Mark Braverman, Dor Minzer

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

[35] arXiv:2211.10144 [pdf, other]

Title: Computational Short Cuts in Infinite Domain Constraint Satisfaction

Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak

Journal-ref: Journal of Artificial Intelligence Research. 75 (2022)

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

[36] arXiv:2211.11693 [pdf, other]

Title: Lattice Problems Beyond Polynomial Time

Divesh Aggarwal, Huck Bennett, Zvika Brakerski, Alexander Golovnev, Rajendra Kumar, Zeyong Li, Spencer Peters, Noah Stephens-Davidowitz, Vinod Vaikuntanathan

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

[37] arXiv:2211.11839 [pdf, other]

Title: Celeste is PSPACE-hard

Lily Chung, Erik D. Demaine

Comments: 15 pages, 13 figures. Presented at 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games

Subjects: Computational Complexity (cs.CC)

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

Title: Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs

Matthew Johnson, Barnaby Martin, Siani Smith, Sukanya Pandey, Daniel Paulusma, Erik Jan van Leeuwen

Comments: Appeared in Proceedings of SWAT 2024

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

[39] arXiv:2211.12862 [pdf, other]

Title: Odd Paths, Cycles and $T$-joins: Connections and Algorithms

Ildikó Schlotter, András Sebő

Comments: 24 pages, 2 figures

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

[40] arXiv:2211.12982 [pdf, other]

Title: The Stochastic Arrival Problem

Thomas Webster

Subjects: Computational Complexity (cs.CC)

[41] arXiv:2211.13473 [pdf, other]

Title: Communication Complexity of Inner Product in Symmetric Normed Spaces

Alexandr Andoni, Jarosław Błasiok, Arnold Filtser

Comments: Accepted to ITCS 2023

Subjects: Computational Complexity (cs.CC)

[42] arXiv:2211.13741 [pdf, other]

Title: Parallel Repetition for the GHZ Game: Exponential Decay

Mark Braverman, Subhash Khot, Dor Minzer

Subjects: Computational Complexity (cs.CC)

[43] arXiv:2211.13790 [pdf, other]

Title: Approximating the chromatic polynomial is as hard as computing it exactly

Ferenc Bencs, Jeroen Huijben, Guus Regts

Comments: 47 pages; minor changes based on referee comments. The number of pages has gone up significantly because we used a different document class, namely cc. Accepted for publication in Computational Complexity

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

[44] arXiv:2211.14497 [pdf, other]

Title: Extractors for Images of Varieties

Zeyu Guo, Ben Lee Volk, Akhil Jalan, David Zuckerman

Comments: v2: fixed a gap in the proof of the effective fiber dimension theorem in Appendix B

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

[45] arXiv:2211.14640 [pdf, other]

Title: Derandomization under Different Resource Constraints

Samuel Epstein

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

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

[46] arXiv:2211.14658 [pdf, other]

Title: Hardness Results for Minimizing the Covariance of Randomly Signed Sum of Vectors

Peng Zhang

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

[47] arXiv:2211.15520 [pdf, other]

Title: Symmetric Formulas for Products of Permutations

William He, Benjamin Rossman

Comments: ITCS 2023

Subjects: Computational Complexity (cs.CC)

[48] arXiv:2211.16402 [pdf, other]

Title: Query complexity of Boolean functions on slices

Farzan Byramji

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

[49] arXiv:2211.17159 [pdf, other]

Title: Opinion Evolution among friends and foes: the deterministic Majority Rule - extended abstract

Miriam Di Ianni

Comments: 12 pages, no figures

Subjects: Computational Complexity (cs.CC); Social and Information Networks (cs.SI)

[50] arXiv:2211.17211 [pdf, other]

Title: On Disperser/Lifting Properties of the Index and Inner-Product Functions

Paul Beame, Sajin Koroth

Subjects: Computational Complexity (cs.CC)

[51] arXiv:2211.17214 [pdf, other]

Title: Lifting to Parity Decision Trees Via Stifling

Arkadev Chattopadhyay, Nikhil S. Mande, Swagato Sanyal, Suhail Sherif

Subjects: Computational Complexity (cs.CC)

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

Title: Persistent Tensors and Multiqudit Entanglement Transformation

Masoud Gharahi, Vladimir Lysikov

Comments: 19 pages. Your comments are more than welcome

Journal-ref: Quantum 8, 1238 (2024)

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

[53] arXiv:2211.00747 (cross-list from quant-ph) [pdf, other]

Title: Quantum Pseudoentanglement

Scott Aaronson, Adam Bouland, Bill Fefferman, Soumik Ghosh, Umesh Vazirani, Chenyi Zhang, Zixin Zhou

Comments: 55 pages

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

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

Title: Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications

Prabhanjan Ananth, Aditya Gulati, Luowen Qian, Henry Yuen

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

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

Title: Hive-type polytopes for quiver multiplicities and the membership problem for quiver moment cones

Calin Chindris, Brett Collins, Daniel Kline

Comments: v2: Fixed the claim about the generic quiver semi-stability problem (see Remarks 2.8 and 5.5); v3: Final version to appear in Algebraic Combinatorics. The focus is on polytopal descriptions of multiplicities of irreducible representations of $GL(β)$ in the ring of polynomial functions on $rep(Q, β)$

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

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

Title: Steiner connectivity problems in hypergraphs

Florian Hörsch, Zoltán Szigeti

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

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

Title: Geometry of Rounding

Jason Vander Woude, Peter Dixon, A. Pavan, Jamie Radcliffe, N. V. Vinodchandran

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

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

Title: A degree 4 sum-of-squares lower bound for the clique number of the Paley graph

Dmitriy Kunisky, Xifan Yu

Comments: 62 pages, 3 figures, 1 table; closest to version published in CCC 2023

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Number Theory (math.NT); Optimization and Control (math.OC)

[59] arXiv:2211.03311 (cross-list from math.OC) [pdf, other]

Title: The Complexity of Recognizing Facets for the Knapsack Polytope

Rui Chen, Haoran Zhu

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

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

Title: Complexity Classification Transfer for CSPs via Algebraic Products

Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová

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

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

Title: Towards derandomising Markov chain Monte Carlo

Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin

Comments: 64 pages

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

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

Title: Approximation algorithms for Node-weighted Steiner Problems: Digraphs with Additive Prizes and Graphs with Submodular Prizes

Gianlorenzo D'Angelo, Esmaeil Delfaraz

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

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

Title: From approximate to exact integer programming

Daniel Dadush, Friedrich Eisenbrand, Thomas Rothvoss

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

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

Title: On the amortized complexity of approximate counting

Ishaq Aden-Ali, Yanjun Han, Jelani Nelson, Huacheng Yu

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

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

Title: Directed Steiner path packing and directed path connectivity

Yuefang Sun

Comments: arXiv admin note: substantial text overlap with arXiv:2208.08618, arXiv:2206.12092

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

[66] arXiv:2211.04117 (cross-list from cs.GT) [pdf, other]

Title: Computing better approximate pure Nash equilibria in cut games via semidefinite programming

Ioannis Caragiannis, Zhile Jiang

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

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

Title: Computational indistinguishability and boson sampling

Georgios M. Nikolopoulos

Journal-ref: Physica Scripta 98, 014001 (2023)

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

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

Title: Shortest Cycles With Monotone Submodular Costs

Fedor V. Fomin, Petr A. Golovach, Tuukka Korhonen, Daniel Lokshtanov, Giannos Stamoulis

Comments: 17 pages, 1 figure. Accepted to SODA 2023

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

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

Title: Complexity of chess domination problems

Alexis Langlois-Rémillard, Mia Müßig, Érika Róldan

Comments: 23 pages, 23 figures, 4 tables. Added more examples, extended the proof of Prop 10, and implemented other referee's suggestions. Final version

Journal-ref: Res Math Sci 12, 14 (2025)

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

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

Title: A New Conjecture on Hardness of Low-Degree 2-CSP's with Implications to Hardness of Densest $k$-Subgraph and Other Problems

Julia Chuzhoy, Mina Dalirrooyfard, Vadim Grinberg, Zihan Tan

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

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

Title: Faster Walsh-Hadamard and Discrete Fourier Transforms From Matrix Non-Rigidity

Josh Alman, Kevin Rao

Comments: 42 pages

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

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

Title: A Local-to-Global Theorem for Congested Shortest Paths

Shyan Akmal, Nicole Wein

Comments: Updated to reflect reviewer comments

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

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

Title: Removing Additive Structure in 3SUM-Based Reductions

Ce Jin, Yinzhan Xu

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

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

Title: Bellman-Ford is optimal for shortest hop-bounded paths

Tomasz Kociumaka, Adam Polak

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

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

Title: Numbers Extensions

David O. Zisselman

Comments: The changes made from previous version are vast: primarily the "unnatural" assumption isn't longer needed due to a changed methodology of construction (sections 5-7). This article also presents a second percolation theorem that applies to all ZFC model with a worldly cardinal

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

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

Title: Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision

Pascal Koiran, Subhayan Saha

Comments: Updated with the version accepted to Theoretical Computer Science

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Numerical Analysis (math.NA)

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

Title: Efficient algorithms for certifying lower bounds on the discrepancy of random matrices

Prayaag Venkat

Comments: ITCS 2023

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

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

Title: Comparative Learning: A Sample Complexity Theory for Two Hypothesis Classes

Lunjia Hu, Charlotte Peale

Comments: In ITCS 2023

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

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

Title: Littlewood-Richardson coefficients as a signed sum of Kostka numbers

Sagar Shrivastava

Comments: 10 pages

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

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

Title: Algorithmic Applications of Hypergraph and Partition Containers

Or Zamir

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

[81] arXiv:2211.12158 (cross-list from math.GR) [pdf, other]

Title: Post's correspondence problem for hyperbolic and virtually nilpotent groups

Laura Ciobanu, Alex Levine, Alan D. Logan

Comments: 20 pages, v2. Final version

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

[82] arXiv:2211.12447 (cross-list from quant-ph) [pdf, other]

Title: Quantum algorithms and the power of forgetting

Andrew M. Childs, Matthew Coudron, Amin Shiraz Gilani

Comments: 49 pages, 9 figures

Journal-ref: 14th Innovations in Theoretical Computer Science Conference (ITCS 2023), Leibniz International Proceedings in Informatics, vol. 251, pp. 37:1-37:22 (2023)

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

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

Title: Exponential separations using guarded extension variables

Emre Yolcu, Marijn J.H. Heule

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

[84] arXiv:2211.12519 (cross-list from quant-ph) [pdf, other]

Title: Optimizing the depth of variational quantum algorithms is strongly QCMA-hard to approximate

Lennart Bittel, Sevag Gharibian, Martin Kliesch

Comments: 31 pages, 2 figures

Journal-ref: 38th Computational Complexity Conference (CCC 2023), 34:1--34:24

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

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

Title: Complexity Framework For Forbidden Subgraphs I: The Framework

Matthew Johnson, Barnaby Martin, Jelle J. Oostveen, Sukanya Pandey, Daniël Paulusma, Siani Smith, Erik Jan van Leeuwen

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

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

Title: The NISQ Complexity of Collision Finding

Yassine Hamoudi, Qipeng Liu, Makrand Sinha

Comments: 40 pages; v2: title changed, major extension to other complexity models

Journal-ref: Proceedings of the 43rd International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2024)

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

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

Title: On the Complexity of Finding a Diverse and Representative Committee using a Monotone, Separable Positional Multiwinner Voting Rule

Kunal Relia

Comments: 8 pages (2-column format). This paper builds upon arXiv:2107.07356 such that the hardness results of the former hold without the need for the assumptions used in Corollary 2 of the latter.

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

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

Title: A Moment-Matching Approach to Testable Learning and a New Characterization of Rademacher Complexity

Aravind Gollakota, Adam R. Klivans, Pravesh K. Kothari

Comments: 34 pages

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

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

Title: On the Complexity of Counterfactual Reasoning

Yunqiu Han, Yizuo Chen, Adnan Darwiche

Comments: Appearing in the International Joint Conference on Artificial Intelligence (IJCAI), 2023

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

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

Title: Many bounded versions of undecidable problems are NP-hard

Andreas Klingler, Mirte van der Eyden, Sebastian Stengele, Tobias Reinhart, Gemma De las Cuevas

Comments: 10 pages and 7 pages of appendices, 8 figures; v2,v3: minor changes

Journal-ref: SciPost Phys. 14, 173 (2023)

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

[91] arXiv:2211.13767 (cross-list from quant-ph) [pdf, other]

Title: Quantum Adversarial Learning in Emulation of Monte-Carlo Methods for Max-cut Approximation: QAOA is not optimal

Cem M. Unsal, Lucas T. Brady

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

[92] arXiv:2211.14676 (cross-list from q-bio.PE) [pdf, other]

Title: Maximizing the Probability of Fixation in the Positional Voter Model

Petros Petsinis, Andreas Pavlogiannis, Panagiotis Karras

Comments: Accepted for publication in AAAI 2023

Subjects: Populations and Evolution (q-bio.PE); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Social and Information Networks (cs.SI)

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

Title: Upper Bounds for All and Max-gain Policy Iteration Algorithms on Deterministic MDPs

Ritesh Goenka, Eashan Gupta, Sushil Khyalia, Pratyush Agarwal, Mulinti Shaik Wajid, Shivaram Kalyanakrishnan

Comments: Added new bounds for two state MDPs

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

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

Title: The Adversary Bound Revisited: From Optimal Query Algorithms to Optimal Control

Duyal Yolcu

Comments: 11 pages, extended the proof of Proposition 2, changed formatting

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Systems and Control (eess.SY)

[95] arXiv:2211.16518 (cross-list from quant-ph) [pdf, other]

Title: Optimizing sparse fermionic Hamiltonians

Yaroslav Herasymenko, Maarten Stroeks, Jonas Helsen, Barbara Terhal

Comments: 34 pages, 4 figures; v.2 - corrected typos and edited for clarity; improved discussion section

Journal-ref: Quantum 7, 1081 (2023)

Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Computational Complexity (cs.CC); High Energy Physics - Theory (hep-th)

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

Title: Improved Smoothed Analysis of 2-Opt for the Euclidean TSP

Bodo Manthey, Jesse van Rhijn

Comments: 31 pages, 3 figures. Accepted for presentation at ISAAC 2023

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

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

Title: Post-Quantum $κ$-to-1 Trapdoor Claw-free Functions from Extrapolated Dihedral Cosets

Xingyu Yan (1), Licheng Wang (2), Lize Gu (1), Ziyi Li (3), Jingwen Suo (1) ((1) State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, 100876, China. (2) School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, 100081, China. (3) State Key Laboratory of Information Security, Institute of Information Engineering, University of Chinese Academy of Sciences, Beijing, 100049, China.)

Comments: 34 pages, 7 figures

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

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

Title: Internal Closedness and von Neumann-Morgenstern Stability in Matching Theory: Structures and Complexity

Yuri Faenza, Clifford Stein, Jia Wan

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