Computational Complexity

Authors and titles for February 2023

[1] arXiv:2302.01145 [pdf, other]

Title: This Game Is Not Going To Analyze Itself

Aviv Adler, Hayashi Ani, Lily Chung, Michael Coulombe, Erik D. Demaine, Jenny Diomidova, Dylan Hendrickson, Jayson Lynch

Comments: 23 pages, 23 figures. Presented at JCDCGGG 2022

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

[2] arXiv:2302.01405 [pdf, other]

Title: Complexity of Solo Chess with Unlimited Moves

Josh Brunner, Lily Chung, Michael Coulombe, Erik D. Demaine, Timothy Gomez, Jayson Lynch

Comments: 22 pages, 9 figures. Presented at JCDCGGG 2022

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

[3] arXiv:2302.02756 [pdf, other]

Title: Diagnosis of Constant Faults in Switching Networks

Mikhail Moshkov

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2302.02870 [pdf, other]

Title: Noisy decoding by shallow circuits with parities: classical and quantum

Jop Briët, Harry Buhrman, Davi Castro-Silva, Niels M. P. Neumann

Comments: 39 pages; This is the full version of an extended abstract that will appear in the proceedings of ITCS'24

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

[5] arXiv:2302.03456 [pdf, html, other]

Title: 1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise

Lorenzo Ciardo, Marcin Kozik, Andrei Krokhin, Tamio-Vesa Nakajima, Stanislav Živný

Comments: Full version of a LICS 2024 paper

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

[6] arXiv:2302.04218 [pdf, other]

Title: On the Computational Complexity of Ethics: Moral Tractability for Minds and Machines

Jakob Stenseke

Comments: 102 pages, 4 figures, 3 tables

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

[7] arXiv:2302.04462 [pdf, other]

Title: Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy

Goutham Rajendran

Comments: Dissertation, University of Chicago

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

[8] arXiv:2302.04482 [pdf, other]

Title: Secret Sharing on Superconcentrator

Yuan Li

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

[9] arXiv:2302.04522 [pdf, other]

Title: Hardness of monadic second-order formulae over succinct graphs

Guilhem Gamard (MOCQUA), Pierre Guillon (I2M), Kévin Perrot (LIS), Guillaume Theyssier (I2M)

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

[10] arXiv:2302.04731 [pdf, other]

Title: Find a witness or shatter: the landscape of computable PAC learning

Valentino Delle Rose, Alexander Kozachinskiy, Cristobal Rojas, Tomasz Steifer

Comments: 12 pages, 1 figure (corrected version)

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

[11] arXiv:2302.05426 [pdf, other]

Title: Lower bounds for Choiceless Polynomial Time via Symmetric XOR-circuits

Benedikt Pago

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

[12] arXiv:2302.05575 [pdf, other]

Title: Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves

Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks, Daniel Rosiak

Comments: Revised and simplified notation and improved exposition. The companion code can be found here: this https URL

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

[13] arXiv:2302.05644 [pdf, other]

Title: Partial k-means to avoid outliers, mathematical programming formulations, complexity results

Nicolas Dupin, Frank Nielsen

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

[14] arXiv:2302.05972 [pdf, other]

Title: On the Existence of Anomalies

Samuel Epstein

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2302.06012 [pdf, other]

Title: Computation with Large Advice

Hiroki Morizumi

Comments: improved paper presentation

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

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

Title: Proving Unsatisfiability with Hitting Formulas

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals

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

[17] arXiv:2302.06485 [pdf, other]

Title: Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization

David Gamarnik, Eren C. Kızıldağ, Will Perkins, Changji Xu

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

[18] arXiv:2302.06984 [pdf, other]

Title: Towards Optimal Depth-Reductions for Algebraic Formulas

Hervé Fournier, Nutan Limaye, Guillaume Malod, Srikanth Srinivasan, Sébastien Tavenas

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2302.07063 [pdf, other]

Title: Bounds on Depth of Decision Trees Derived from Decision Rule Systems

Kerven Durdymyradov, Mikhail Moshkov

Subjects: Computational Complexity (cs.CC)

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

Title: Some Implications of the Independence Postulate for Physics

Samuel Epstein

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

[21] arXiv:2302.08083 [pdf, other]

Title: The Computational Complexity of Quantum Determinants

Shih-Han Hung, En-Jui Kuo

Subjects: Computational Complexity (cs.CC); Number Theory (math.NT); Quantum Algebra (math.QA); Representation Theory (math.RT)

[22] arXiv:2302.08420 [pdf, other]

Title: The Complexity of Graph Exploration Games

Janosch Fuchs, Christoph Grüne, Tom Janßen

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

[23] arXiv:2302.08570 [pdf, other]

Title: The complexity of counting planar graph homomorphisms of domain size 3

Jin-Yi Cai, Ashwin Maran

Comments: 32 pages, 2 figures, accepted by STOC 2023

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2302.09024 [pdf, other]

Title: A new approach for a proof that P is NP

Malay Dutta, Anjana K. Mahanta

Comments: 10 pages 0 figures

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2302.09220 [pdf, other]

Title: A Tight Lower Bound for Compact Set Packing

Huairui Chu

Subjects: Computational Complexity (cs.CC)

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

Title: SAT Requires Exhaustive Search

Ke Xu, Guangyan Zhou

Comments: 14 pages, added a two-page extended abstract

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

[27] arXiv:2302.10110 [pdf, other]

Title: Kernelizing Temporal Exploration Problems

Emmanuel Arrighi, Fedor V. Fomin, Petr Golovach, Petra Wolf

Subjects: Computational Complexity (cs.CC)

[28] arXiv:2302.10431 [pdf, other]

Title: A note on the partition bound for one-way classical communication complexity

Srinivasan Arunachalam, João F. Doriguello, Rahul Jain

Comments: 6 pages

Subjects: Computational Complexity (cs.CC)

[29] arXiv:2302.10972 [pdf, html, other]

Title: Complexity of Maker-Breaker Games on Edge Sets of Graphs

Eric Duchêne, Valentin Gledel, Fionn Mc Inerney, Nicolas Nisse, Nacim Oijid, Aline Parreau, Miloš Stojaković

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

[30] arXiv:2302.11336 [pdf, other]

Title: Approximability of the Four-Vertex Model

Zhiguo Fu, Tianyu Liu, Xiongxin Yang

Comments: 15 pages, 4 figures

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

[31] arXiv:2302.11417 [pdf, other]

Title: Hitting the Romans

Henning Fernau, Kevin Mann

Subjects: Computational Complexity (cs.CC)

[32] arXiv:2302.11476 [pdf, other]

Title: Matrix Multiplication and Number On the Forehead Communication

Josh Alman, Jarosław Błasiok

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

[33] arXiv:2302.11667 [pdf, other]

Title: Cutting Barnette graphs perfectly is hard

Édouard Bonnet, Dibyayan Chakraborty, Julien Duron

Comments: 19 pages, 7 figures

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

[34] arXiv:2302.12823 [pdf, other]

Title: Generative Models of Huge Objects

Lunjia Hu, Inbal Livni-Navon, Omer Reingold

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

[35] arXiv:2302.12953 [pdf, other]

Title: The Hardness of Optimization Problems on the Weighted Massively Parallel Computation Model

Hengzhao Ma, Jianzhong Li

Subjects: Computational Complexity (cs.CC)

[36] arXiv:2302.13764 [pdf, other]

Title: Logical Characterization of Algebraic Circuit Classes over Integral Domains

Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube

Subjects: Computational Complexity (cs.CC)

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

Title: Hardness of braided quantum circuit optimization in the surface code

Kunihiro Wasa, Shin Nishio, Koki Suetsugu, Michael Hanks, Ashley Stephens, Yu Yokoi, Kae Nemoto

Comments: 9 pages, 9 figures

Journal-ref: IEEE Transactions on Quantum Engineering, vol. 4, pp. 1-7, 2023, Art no. 3100207

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

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

Title: Faster maximal clique enumeration in large real-world link streams

Alexis Baudin, Clémence Magnien, Lionel Tabourier

Comments: 28 pages, 6 figure, 5 tables

Journal-ref: Journal of Graph Algorithms and Applications. 28, 1 (May 2024), 149-178

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

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

Title: Parameterized Complexity of Weighted Team Definability

Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer

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

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

Title: Explicit two-sided unique-neighbor expanders

Jun-Ting Hsieh, Theo McKenzie, Sidhanth Mohanty, Pedro Paredes

Comments: New version contains stronger result, and many new technical ingredients. 45 pages, 2 figures

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

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

Title: A Computational Separation Between Quantum No-cloning and No-telegraphing

Barak Nehoran, Mark Zhandry

Comments: 43 pages; Changed "No-teleportation" to "No-telegraphing" in the title & abstract, since this terminology is less ambiguous; added applications to complexity theory and cryptography, including the definition of $\mathsf{clonableQMA}$, a quantum oracle separation between $\mathsf{clonableQMA}$ and $\mathsf{QCMA}$, and a definition and construction of parallelizable but non-exfiltratable encryption

Journal-ref: 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 287, pp. 82:1-82:23, 2024

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

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

Title: Reducing Nearest Neighbor Training Sets Optimally and Exactly

Josiah Rohrer, Simon Weber

Comments: 10 pages, 9 figures

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

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

Title: The Solidarity Cover Problem

Eran Rosenbluth

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

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

Title: Label propagation on binomial random graphs

Marcos Kiwi, Lyuben Lichev, Dieter Mitsche, Paweł Prałat

Comments: 46 pages

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

[45] arXiv:2302.04108 (cross-list from cs.CV) [pdf, other]

Title: Triplet Loss-less Center Loss Sampling Strategies in Facial Expression Recognition Scenarios

Hossein Rajoli, Fatemeh Lotfi, Adham Atyabi, Fatemeh Afghah

Comments: The paper has been accepted in the CISS 2023 and will be published very soon

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

[46] arXiv:2302.04162 (cross-list from quant-ph) [pdf, other]

Title: Optimal Sufficient Requirements on the Embedded Ising Problem in Polynomial Time

Elisabeth Lobe, Volker Kaibel

Comments: 34 pages, 3 figures

Journal-ref: Quantum Inf Process 22, 305 (2023)

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

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

Title: Quantum free games

Anand Natarajan, Tina Zhang

Comments: 51 pages

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

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

Title: Quantum Advantage from One-Way Functions

Tomoyuki Morimae, Takashi Yamakawa

Comments: 52pages

Journal-ref: Crypto 2024

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

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

Title: Quadratic Memory is Necessary for Optimal Query Complexity in Convex Optimization: Center-of-Mass is Pareto-Optimal

Moïse Blanchard, Junhui Zhang, Patrick Jaillet

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

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

Title: General Position Problem of Butterfly Networks

R. Prabha, S. Renukaa Devi, Paul Manuel

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