Computational Complexity

Authors and titles for January 2022

[1] arXiv:2201.00311 [pdf, other]

Title: Rough analysis of computation trees

Mikhail Moshkov

Subjects: Computational Complexity (cs.CC)

[2] arXiv:2201.01013 [pdf, other]

Title: Time and space complexity of deterministic and nondeterministic decision trees

Mikhail Moshkov

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2201.03301 [pdf, other]

Title: An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation

Ruo Ando, Yoshiyasu Takefuji

Comments: arXiv admin note: substantial text overlap with arXiv:2012.08231

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2201.03375 [pdf, other]

Title: A full dichotomy for Holant$^c$, inspired by quantum computation

Miriam Backens

Comments: 57 pages, combines edited versions of arXiv:1702.00767 and arXiv:1704.05798 with some new results

Journal-ref: SIAM J. Comput., 50(6), 1739-1799 (2021)

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

[5] arXiv:2201.04118 [pdf, other]

Title: On proof theory in computational complexity: overview

L. Gordeev, E.H. Haeusler

Comments: This is a talk at Logic Colloquium 2021, Poznan, July 2021. arXiv admin note: text overlap with arXiv:2012.04437

Subjects: Computational Complexity (cs.CC)

[6] arXiv:2201.04506 [pdf, other]

Title: Exact learning and test theory

Mikhail Moshkov

Comments: Submitted to Theoretical Computer Science

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

[7] arXiv:2201.05218 [pdf, other]

Title: The Ideal Membership Problem and Abelian Groups

Andrei A. Bulatov, Akbar Rafiey

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[8] arXiv:2201.05662 [pdf, other]

Title: On Protocols for Monotone Feasible Interpolation

Lukáš Folwarczný

Comments: 20 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[9] arXiv:2201.06432 [pdf, other]

Title: On Finer Separations between Subclasses of Read-once Oblivious ABPs

C. Ramya, Anamay Tengse

Comments: Accepted to STACS 2022

Subjects: Computational Complexity (cs.CC)

[10] arXiv:2201.06836 [pdf, other]

Title: A Computation Model with Automatic Functions and Relations as Primitive Operations

Ziyuan Gao, Sanjay Jain, Li Zeyong, Ammar Fathin Sabili, Frank Stephan

Comments: 33 pages

Subjects: Computational Complexity (cs.CC)

[11] arXiv:2201.08501 [pdf, other]

Title: Incomplete sets in P for logspace-reduction

Reiner Czerwinski

Subjects: Computational Complexity (cs.CC)

[12] arXiv:2201.08895 [pdf, other]

Title: On the Satisfaction Probabilities of $k$-CNF Formulas

Till Tantau

Comments: 47 pages, version updated after the presentation of the results at the CCC 2022 conference and after further reviewing

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

[13] arXiv:2201.08988 [pdf, other]

Title: Faster Algorithms for Sparse ILP and Hypergraph Multi-Packing/Multi-Cover Problems

Dmitry Gribanov, Dmitry Malyshev, Nikolai Zolotykh

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

[14] arXiv:2201.09034 [pdf, other]

Title: Strong Sleptsov Net is Turing-Complete

Dmitry A. Zaitsev

Comments: 21 pages, 8 figures, 2 tables, 43 references

Journal-ref: Information Sciences, Volume 621, 2023, Pages 172-182, ISSN 0020-0255

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

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

Title: Constant Inapproximability for PPA

Argyrios Deligkas, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos

Comments: Journal version

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

[16] arXiv:2201.10350 [pdf, other]

Title: Noise sensitivity from fractional query algorithms and the axis-aligned Laplacian

Renan Gross

Comments: 25 pages, 3 figures

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Analysis of PDEs (math.AP); Optimization and Control (math.OC); Probability (math.PR)

[17] arXiv:2201.10835 [pdf, other]

Title: Perfect Matching in Random Graphs is as Hard as Tseitin

Per Austrin, Kilian Risse

Comments: 43 pages, 4 figures, SODA 2022

Journal-ref: TheoretiCS, Volume 1 (December 21, 2022) theoretics:9012

Subjects: Computational Complexity (cs.CC)

[18] arXiv:2201.10997 [pdf, other]

Title: Linear Branching Programs and Directional Affine Extractors

Svyatoslav Gryaznov, Pavel Pudlák, Navid Talebanfard

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2201.11587 [pdf, other]

Title: Two-Commodity Flow is Equivalent to Linear Programming under Nearly-Linear Time Reductions

Ming Ding, Rasmus Kyng, Peng Zhang

Comments: 65 pages, 6 figures

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

[20] arXiv:2201.12374 [pdf, other]

Title: On the Kolmogorov Complexity of Binary Classifiers

Samuel Epstein

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2201.12870 [pdf, other]

Title: General 2-path Problem

Qianghui Xiao

Comments: 15 pages,3 figures

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

[22] arXiv:2201.13119 [pdf, other]

Title: XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure

Hans L. Bodlaender, Carla Groenland, Hugo Jacob, Lars Jaffke, Paloma T. Lima

Comments: Results and authors added

Subjects: Computational Complexity (cs.CC)

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

Title: Geometric Complexity Theory -- Lie Algebraic Methods for Projective Limits of Stable Points

Bharat Adsul, Milind Sohoni, K V Subrahmanyam

Comments: 66 pages

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

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

Title: Classifying Subset Feedback Vertex Set for $H$-Free Graphs

Giacomo Paesani, Daniël Paulusma, Paweł Rzążewski

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

[25] arXiv:2201.00857 (cross-list from quant-ph) [pdf, other]

Title: Topological quantum computation is hyperbolic

Eric Samperton (Purdue University)

Comments: 12 pages. V4: Incorporated changes in response to referee reports

Journal-ref: Commun. Math. Phys. (2023)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Geometric Topology (math.GT); Quantum Algebra (math.QA)

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

Title: An unfeasability view of neural network learning

Joos Heintz, Hvara Ocar, Luis Miguel Pardo, Andres Rojas Paredes, Enrique Carlos Segura

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

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

Title: Sparse Super-Regular Networks

Andrew W.E. McDonald, Ali Shokoufandeh

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

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

Title: Deterministic metric $1$-median selection with very few queries

Ching-Lueh Chang

Comments: Part of this paper appears in {\em Proceedings of the 27th International Computing and Combinatorics Conference} (COCOON 2021)

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

[29] arXiv:2201.01470 (cross-list from cs.NE) [pdf, other]

Title: Complexity and Aesthetics in Generative and Evolutionary Art

Jon McCormack, Camilo Cruz Gambardella

Comments: Preprint of paper submitted to the Journal Genetic Programming and Evolvable Machines. arXiv admin note: substantial text overlap with arXiv:2102.02332

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

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

Title: Decision trees for binary subword-closed languages

Mikhail Moshkov

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

[31] arXiv:2201.01824 (cross-list from quant-ph) [pdf, other]

Title: Testing matrix product states

Mehdi Soleimanifar, John Wright

Comments: 30 pages, 2 figures

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

[32] arXiv:2201.01904 (cross-list from quant-ph) [pdf, other]

Title: Oracle separations of hybrid quantum-classical circuits

Atul Singh Arora, Alexandru Gheorghiu, Uttam Singh

Comments: 47 pages, 5 figures

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

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

Title: Decision trees for regular factorial languages

Mikhail Moshkov

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

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

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

Title: The splitting power of branching programs of bounded repetition and CNFs of bounded width

Igor Razgon

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

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

Title: Fixation Maximization in the Positional Moran Process

Joachim Brendborg, Panagiotis Karras, Andreas Pavlogiannis, Asger Ullersted Rasmussen, Josef Tkadlec

Comments: 11 pages, 6 figures, to appear at AAAI 2022

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Populations and Evolution (q-bio.PE)

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

Title: Tight Fine-Grained Bounds for Direct Access on Join Queries

Karl Bringmann, Nofar Carmeli, Stefan Mengel

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

[37] arXiv:2201.03615 (cross-list from math.AG) [pdf, other]

Title: Geometric Rank and Linear Determinantal Varieties

Runshi Geng

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

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

Title: The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs

Elisabet Burjons, Janosch Fuchs, Henri Lotze

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

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

Title: Cut query algorithms with star contraction

Simon Apers, Yuval Efron, Paweł Gawrychowski, Troy Lee, Sagnik Mukhopadhyay, Danupon Nanongkai

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

[40] arXiv:2201.06533 (cross-list from quant-ph) [pdf, other]

Title: Efficient Algorithms for Approximating Quantum Partition Functions at Low Temperature

Tyler Helmuth, Ryan L. Mann

Comments: 12 pages, 0 figures, published version

Journal-ref: Quantum 7, 1155 (2023)

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

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

Title: The Power Word Problem in Graph Products

Markus Lohrey, Florian Stober, Armin Weiß

Comments: Version 3 fixes a mistake in the previous versions. There our results on graph products were wrongly stated without the additional assumption that the base groups do not have elements of order two. Version 3 also includes some content from arXiv:1904.08343

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

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

Title: Paired compressed cover trees guarantee a near linear parametrized complexity for all $k$-nearest neighbors search in an arbitrary metric space

Yury Elkin, Vitaliy Kurlin

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

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

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

Title: Low Regret Binary Sampling Method for Efficient Global Optimization of Univariate Functions

Kaan Gokcesu, Hakan Gokcesu

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

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

Title: Minimax Optimality (Probably) Doesn't Imply Distribution Learning for GANs

Sitan Chen, Jerry Li, Yuanzhi Li, Raghu Meka

Comments: 32 pages, 1 figure

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Machine Learning (stat.ML)

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

Title: The Query Complexity of Certification

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

Comments: 30 pages, to appear in STOC'22. Edit: fixed typos and added references

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

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

Title: On the success probability of quantum order finding

Martin Ekerå

Comments: This revision resolves a minor issue in Alg. 4, and addresses a number of other minor issues. It furthermore adds a number of extensions and clarifications, in particular with respect to potential optimizations. No key results or findings in the original version of the manuscript are affected by this revision

Journal-ref: ACM Trans. Quantum Comput. 5(2):11 (2024)

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

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

Title: Invasion Dynamics in the Biased Voter Process

Loke Durocher, Panagiotis Karras, Andreas Pavlogiannis, Josef Tkadlec

Comments: 8 pages, 3 figures. To be published in IJCAI-22

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

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

Title: Exact learning for infinite families of concepts

Mikhail Moshkov

Comments: arXiv admin note: substantial text overlap with arXiv:2201.04506

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

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

Title: What Makes the Recognition Problem Hard for Classes Related to Segment and String graphs?

Irina Mustata, Martin Pergel

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

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

Title: A Note on Hardness of Multiprocessor Scheduling with Scheduling Solution Space Tree

Debasis Dwibedy, Rakesh Mohanty

Comments: 21 pages, 4 figures, 1 table

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