Abstract
We show that every set of \( m \simeq cn \sqrt {n log log n} \) vectors in {0, 1}n in which every vector has Hamming weight 3 contains a subset of {tiO(log n) vectors that form a linear dependency. Our proof is based on showing that in every graph of average degree at least c log log n, every legal edge coloring produces a cycle in which one of the colors appears either once or twice.} (In both results, c is some constant.) The results proved are used (in a companion work) in refutation algorithms for semirandom 3CNF formulas.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N. Alon and U. Feige, On the power of two, three and four probes, manuscript (2008).
N. Alon, S. Hoory and N. Linial, The Moore bound for irregular graphs, Graphs and Combinatorics, 18 (2002), 53–57.
A. Coja-Oghlan, A. Goerdt and A. Lanka, Strong Refutation Heuristics for Random k-SAT, in: Combinatorics, Probability and Computing, 16 (2007), 5–28.
U. Feige, Relations between average case complexity and approximation complexity, in: Proc. of the 34th Annual ACM Symposium on Theory of Computing (2002), pp. 534–543.
U. Feige, Refuting smoothed 3CNF formulas, in: Proceedings of 48th Annual Symposium on Foundations of Computer Science (2007), pp. 407–417.
U. Feige, J. H. Kim and E. Ofek, Witnesses for non-satisfiability of dense random 3CNF formulas, in: Proceedings of 47th Annual Symposium on Foundations of Computer Science (2006), pp. 497–508.
U. Feige and E. Ofek, Easily refutable subformulas of large random 3CNF formulas, Theory of Computing, Volume 3 (2007) Article 2, pp. 25–43. http://theoryofcomputing.org.
J. Friedman, A. Goerdt and M. Krivelevich, Recognizing more unsatisfiable random k-SAT instances efficiently, SIAM Journal on Computing, 35(2) (2005), 408–430.
J. Hastad, Some optimal inapproximability results, J. ACM, 48(4) (2001), 798–859.
A. V. Kostochka, Lower bound of the Hadwiger number of graphs by their average degree. Combinatorica, 4 (4) (1984), pp. 307–316.
A. Naor and J. Verstraete, Parity check matrices and product representaions of squares. Submitted for publication. A preliminary version appeared in IEEE ISIT 2005.
A. Thomason, An extremal function for contraction of graphs, Math. Proc. Comb. Phil. Soc., 95 (1984), pp. 261–265.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 János Bolyai Mathematical Society and Springer-Verlag
About this chapter
Cite this chapter
Feige, U. (2008). Small Linear Dependencies for Binary Vectors of Low Weight. In: Grötschel, M., Katona, G.O.H., Sági, G. (eds) Building Bridges. Bolyai Society Mathematical Studies, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85221-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-85221-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85218-6
Online ISBN: 978-3-540-85221-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)