Computational Complexity

Authors and titles for July 2021

[26] arXiv:2107.06156 [pdf, other]

Title: Parallel Repetition for the GHZ Game: A Simpler Proof

Uma Girish, Justin Holmgren, Kunal Mittal, Ran Raz, Wei Zhan

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2107.06261 [pdf, other]

Title: Tight running times for minimum $\ell_q$-norm load balancing: beyond exponential dependencies on $1/ε$

Lin Chen, Liangde Tao, José Verschae

Subjects: Computational Complexity (cs.CC)

[28] arXiv:2107.06309 [pdf, other]

Title: Tight bounds on the Fourier growth of bounded functions on the hypercube

Siddharth Iyer, Anup Rao, Victor Reis, Thomas Rothvoss, Amir Yehudayoff

Subjects: Computational Complexity (cs.CC); Functional Analysis (math.FA)

[29] arXiv:2107.06889 [pdf, other]

Title: Counting list homomorphisms from graphs of bounded treewidth: tight complexity bounds

Jacob Focke, Dániel Marx, Paweł Rzążewski

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

[30] arXiv:2107.07359 [pdf, other]

Title: Efficient Möbius Transformations and their applications to Dempster-Shafer Theory: Clarification and implementation

Maxime Chaveroche, Franck Davoine, Véronique Cherfaoui

Comments: Extension of an article published in the proceedings of the international conference on Scalable Uncertainty Management (SUM) in 2019

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

[31] arXiv:2107.07386 [pdf, other]

Title: Scheme-theoretic Approach to Computational Complexity I. The Separation of P and NP

Ali Çivril

Comments: 15 pages, more formal definitions unit reductions, proof (of the almost obvious fact) that unit operations are distinct from unit instance operations

Subjects: Computational Complexity (cs.CC)

[32] arXiv:2107.07387 [pdf, html, other]

Title: Scheme-theoretic Approach to Computational Complexity II. The Separation of P and NP over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$

Ali Çivril

Comments: 4 pages, updated the definitions according to the first paper in the series

Subjects: Computational Complexity (cs.CC)

[33] arXiv:2107.08102 [pdf, other]

Title: On the complexity of open shop scheduling with time lags

Wieslaw Kubiak

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

[34] arXiv:2107.09320 [pdf, other]

Title: QRAT Polynomially Simulates Merge Resolution

Sravanthi Chede, Anil Shukla

Comments: 12 pages, 1 figure

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

[35] arXiv:2107.09423 [pdf, other]

Title: Combinatorial Gap Theorem and Reductions between Promise CSPs

Libor Barto, Marcin Kozik

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

[36] arXiv:2107.09703 [pdf, other]

Title: Functional lower bounds for restricted arithmetic circuits of depth four

Suryajith Chillara

Subjects: Computational Complexity (cs.CC)

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

Title: Fourier growth of structured $\mathbb{F}_2$-polynomials and applications

Jarosław Błasiok, Peter Ivanov, Yaonan Jin, Chin Ho Lee, Rocco A. Servedio, Emanuele Viola

Comments: Corrected a mistake in Lemma 27 in the previous version of the paper

Subjects: Computational Complexity (cs.CC)

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

Title: Lower Bounds for Symmetric Circuits for the Determinant

Anuj Dawar, Gregory Wilsenach

Comments: 29 Pages. Substantial revision, particularly in Section 4

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

[39] arXiv:2107.11205 [pdf, other]

Title: On Boolean Functions with Low Polynomial Degree and Higher Order Sensitivity

Subhamoy Maitra, Chandra Sekhar Mukherjee, Pantelimon Stanica, Deng Tang

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

[40] arXiv:2107.11623 [pdf, other]

Title: On relating one-way classical and quantum communication complexities

Naresh Goud Boddu, Rahul Jain, Han-Hsuan Lin

Journal-ref: Quantum 7, 1010 (2023)

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

[41] arXiv:2107.11886 [pdf, other]

Title: Logspace Reducibility From Secret Leakage Planted Clique

Jay Mardia

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

[42] arXiv:2107.12267 [pdf, other]

Title: Parameterized complexity of reconfiguration of atoms

Alexandre Cooper, Stephanie Maaz, Amer E.Mouawad, Naomi Nishimura

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

[43] arXiv:2107.13282 [pdf, other]

Title: Dense Graph Partitioning on sparse and dense graphs

Cristina Bazgan, Katrin Casel, Pierre Cazals

Subjects: Computational Complexity (cs.CC)

[44] arXiv:2107.13809 [pdf, other]

Title: Generalisations of Matrix Partitions : Complexity and Obstructions

Alexey Barsukov, Mamadou Moustapha Kanté

Subjects: Computational Complexity (cs.CC)

[45] arXiv:2107.14799 [pdf, other]

Title: Generating Boolean Functions on Totalistic Automata Networks

Eric Goles (Unconventional Computing Laboratory, University of the West of England, Bristol, UK and Facultad de Ingeniería y Ciencias, Universidad Adolfo Ibáñez, Santiago, Chile), Andrew Adamatzky (Unconventional Computing Laboratory, University of the West of England, Bristol, UK), Pedro Montealegre (Facultad de Ingeniería y Ciencias, Universidad Adolfo Ibáñez, Santiago, Chile), Martín Ríos-Wilson (Departamento de Ingeniería Matemática, FCFM, Universidad de Chile, Santiago, Chile and Aix Marseille Univ, Université de Toulon, CNRS, LIS, Marseille, France)

Journal-ref: International Journal of Unconventional Computing 16(4): 343-391 (2021)

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

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

Title: A Simple Linear-Time Algorithm for the Common Refinement of Rooted Phylogenetic Trees on a Common Leaf Set

David Schaller, Marc Hellmuth, Peter F. Stadler

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

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

Title: An extended and more practical mwp flow analysis

Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)

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

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

Title: pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)

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

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

Title: Almost-Orthogonal Bases for Inner Product Polynomials

Chris Jones, Aaron Potechin

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

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

Title: Backtracking (the) Algorithms on the Hamiltonian Cycle Problem

Joeri Sleegers, Daan van den Berg

Comments: Peer-reviewed and published in IARIA journals

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