Computational Complexity

Authors and titles for February 2013

[1] arXiv:1302.0067 [pdf, other]

Title: A direct reduction of PPAD Lemke-verified linear complementarity problems to bimatrix games

Ilan Adler, Sushil Verma

Comments: 19 pages

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1302.0275 [pdf, other]

Title: A strong direct product theorem for the tribes function via the smooth-rectangle bound

Prahladh Harsha, Rahul Jain

Comments: 16 pages (including title page), fixed error in earlier version

Journal-ref: In Proc. 33rd IARCS Conf. on Foundations of Software Technology & Theoretical Computer Science (FSTTCS) (Guwahati, India, 12-14 December), pages 141-152, 2013

Subjects: Computational Complexity (cs.CC)

[3] arXiv:1302.0418 [pdf, other]

Title: Arthur-Merlin Streaming Complexity

Tom Gur, Ran Raz

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

[4] arXiv:1302.0487 [pdf, other]

Title: On the dynamic compressibility of sets

Karthik S. Gurumoorthy

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

[5] arXiv:1302.0566 [pdf, other]

Title: Orbit Problem Revisited

Taolue Chen, Xiaoming Sun, Nengkun Yu

Comments: Comments are welcome. We delete the first part since the overlap with arXiv:1303.2981 by other authors

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1302.0973 [pdf, other]

Title: A Combination Framework for Complexity

Martin Avanzini, Georg Moser

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1302.1109 [pdf, other]

Title: Short lists with short programs in short time - a short proof

Marius Zimand

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1302.2787 [pdf, other]

Title: Acquaintance Time of a Graph

Itai Benjamini, Igor Shinkar, Gilad Tsur

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

[9] arXiv:1302.3308 [pdf, other]

Title: Arithmetic Circuit Lower Bounds via MaxRank

Mrinal Kumar, Gaurav Maheshwari, Jayalal Sarma M.N

Comments: 22 pages

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1302.3360 [pdf, other]

Title: Lower bounds for the circuit size of partially homogeneous polynomials

Hông Vân Lê

Comments: 25 pages, final version, accepted to Journal of Fundamental and Applied Mathematics. Some missing definitions and coefficients in the last version have been added and corrected now

Journal-ref: Journal of Mathematical Sciences, 225(2017), 639-647 (translated from Journal of Fundamental and Applied Mathematics 20 (2015), 153-179)

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

[11] arXiv:1302.3494 [pdf, other]

Title: On Polynomial Kernels for Sparse Integer Linear Programs

Stefan Kratsch

Comments: To appear in STACS 2013

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

[12] arXiv:1302.3496 [pdf, other]

Title: On Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility

Stefan Kratsch

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

[13] arXiv:1302.3673 [pdf, other]

Title: Global Optimal Solutions to General Sensor Network Localization Problem

Ning Ruan, David Y Gao

Comments: 29 pages, 8 figures

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1302.4207 [pdf, other]

Title: A composition theorem for decision tree complexity

Ashley Montanaro

Comments: 7 pages

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1302.4266 [pdf, other]

Title: Model Checking Lower Bounds for Simple Graphs

Michael Lampis (Research Institute for Mathematical Sciences (RIMS), Kyoto University)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (March 25, 2014) lmcs:976

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

[16] arXiv:1302.4625 [pdf, other]

Title: On the sum of $L1$ influences

Artūrs Bačkurs, Mohammad Bavarian

Comments: Proceedings of CCC (2014)

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1302.4707 [pdf, other]

Title: On the Complexity of Barrier Resilience for Fat Regions

Matias Korman, Maarten Löffler, Rodrigo I. Silveira, Darren Strash

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

[18] arXiv:1302.5898 [pdf, other]

Title: Towards Randomized Testing of $q$-Monomials in Multivariate Polynomials

Shenshi Chen, Yaqing Chen, Quanhai Yang

Comments: 21 pages, 5 figures. arXiv admin note: text overlap with arXiv:1007.2675, arXiv:1007.2678, arXiv:1007.2673 by other authors

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1302.6191 [pdf, other]

Title: Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities

Mark Bun, Justin Thaler

Comments: 34 pages. Appears in ICALP 2013. To appear in the special issue of Information and Computation for ICALP 2013

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1302.6695 [pdf, other]

Title: Complexity vs Energy: Theory of Computation and Theoretical Physics

Yuri I. Manin

Comments: 23 pages. Talk at the satellite conference to ECM 2012, "QQQ Algebra, Geometry, Information", Tallinn, July 9-12, 2012

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

[21] arXiv:1302.0290 (cross-list from quant-ph) [pdf, other]

Title: Quantum 3-SAT is QMA1-complete

David Gosset, Daniel Nagaj

Journal-ref: 2013 IEEE 54TH annual symposium on Foundations of Computer Science (FOCS 2013), Pages: 756-765 (2013)

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

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

Title: Computability of the entropy of one-tape Turing Machines

Emmanuel Jeandel (INRIA Nancy - Grand Est / LORIA)

Comments: First version (01/08/2012)

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Information Theory (cs.IT); Dynamical Systems (math.DS)

[23] arXiv:1302.1235 (cross-list from quant-ph) [pdf, other]

Title: Exact quantum query complexity of EXACT and THRESHOLD

Andris Ambainis, Jānis Iraids, Juris Smotrovs

Comments: 8 pages

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

[24] arXiv:1302.1242 (cross-list from quant-ph) [pdf, other]

Title: Three-player entangled XOR games are NP-hard to approximate

Thomas Vidick

Comments: The paper has been withdrawn due to an error in the proof of the main theorem. For details, see this http URL

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

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

Title: On the extension complexity of combinatorial polytopes

David Avis, Hans Raj Tiwary

Comments: 15 pages, 3 figures, 2 tables

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

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

Title: What can be decided locally without identifiers?

Pierre Fraigniaud, Mika Göös, Amos Korman, Jukka Suomela

Comments: 1 + 15 pages, 3 figures

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

[27] arXiv:1302.2826 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Renyi entropies as a measure of the complexity of counting problems

Claudio Chamon, Eduardo R. Mucciolo

Comments: 13 pages, 4 figures

Journal-ref: J. Stat. Mech. (2013) P04008

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

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

Title: Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata

Alistair Stewart, Kousha Etessami, Mihalis Yannakakis

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

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

Title: Probabilistic existence of regular combinatorial structures

Greg Kuperberg, Shachar Lovett, Ron Peled

Comments: An extended abstract of this work [arXiv:1111.0492] appeared in STOC 2012. This version expands the literature discussion

Journal-ref: Geom. Funct. Anal. 27 (2017), 919-972

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

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

Title: Testing Uniformity of Stationary Distribution

Sourav Chakraborty, Akshay Kamath, Rameshwar Pratap

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

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

Title: Knapsack Problems in Groups

Alexei Myasnikov, Andrey Nikolaev, Alexander Ushakov

Comments: 28 pages, 12 figures

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

[32] arXiv:1302.5843 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Ising formulations of many NP problems

Andrew Lucas

Comments: 27 pages; v2: substantial revision to intro/conclusion, many more references; v3: substantial revision and extension, to-be-published version

Journal-ref: Frontiers in Physics 2, 5 (2014)

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

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

Title: Non-simplifying Graph Rewriting Termination

Guillaume Bonfante (LORIA Université de Lorraine), Bruno Guillaume (LORIA Inria Nancy Grand-Est)

Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997

Journal-ref: EPTCS 110, 2013, pp. 4-16

Subjects: Computation and Language (cs.CL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

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

Title: Stochastic Context-Free Grammars, Regular Languages, and Newton's Method

Kousha Etessami, Alistair Stewart, Mihalis Yannakakis

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

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

Title: The VC-Dimension of Graphs with Respect to k-Connected Subgraphs

Andrea Munaro

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

[36] arXiv:1302.6660 (cross-list from math.NT) [pdf, other]

Title: Optimal rate algebraic list decoding using narrow ray class fields

Venkatesan Guruswami, Chaoping Xing

Comments: 22 pages

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

[37] arXiv:1302.6861 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: The effect of quantum fluctuations on the coloring of random graphs

Victor Bapst, Guilhem Semerjian, Francesco Zamponi

Comments: 28 pages, 17 figures

Journal-ref: Phys. Rev. A 87, 042322 (2013)

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

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

Title: The Complexity of Simultaneous Geometric Graph Embedding

Jean Cardinal, Vincent Kusters

Journal-ref: Journal of Graph Algorithms and Applications (JGAA), volume 19, number 1, 2015, pages 259--272

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