Abstract
We consider the extremal problem to determine the maximal number \(N(m,k,r)\) of columns of a 0-1 matrix with\(m\) rows and at most \(r\) ones in each column such that each \(k\) columns are linearly independent modulo \(2\). For fixed integers \(k \geqslant 1\) and \(r \geqslant 1\), we shall prove the probabilistic lower bound \(N(m,k,r)\) = \(\Omega (m^{kr/2(k - 1)} )\); for \(k\) a power of \(2\), we prove the upper bound \( N(m,k,r) = O(m^{\left\lceil {kr/(k - 1)} \right\rceil /2} ) \) which matches the lower bound for infinitely many values of \(r\). We give some explicit constructions.
Similar content being viewed by others
References
Aigner, M., “Kombinatorik, Vol. I,” Springer Verlag, Berlin, 1975.
Alon, N., Goldreich, O., Håstad, J. and Peralta, R., “Simple Constructions of Almost k-wise Independent Random Variables,” Random Structures & Algorithms 3, 1992, pp. 289–304. Addendum: Random Structures & Algorithms 4, 1993, pp. 119–120.
Alon, N. and Spencer, J., “The Probabilistic Method,” Wiley & Sons, New York, 1992.
Benson, C. T., “Minimal Regular Graphs of Girth Eight and Twelve,” Canadian Journal of Mathematics 18, 1966, pp. 1091–1094.
Bondy, A. and Simonovits, M., “Cycles of Even Length in Graphs,” Journal of Combinatorial Theory Ser. B 16, 1974, pp. 97–105.
Brown, W.G., “On Graphs that do not Contain a Thomsen Graph,” Canadian Mathematical Bulletin 9, 1966, pp. 281–289.
Calkin, N., “Dependent Sets of Constant Weight Binary Vectors,” preprint, 1995.
Erdős, P., “On Sequences of Integers no One of which Divides the Product of Two Others and some Related Problems,” Izvestiya Nauchno-Issl. Inst. Mat. i Meh. Tomsk 2, 1938, pp. 74–82. Mitteilungen des Forschungsinstitutes für Math. und Mechanik, Tomsk, in Zentralblatt 20, p. 5.
Erdős, P., “Graph Theory and Probability,” Canadian Journal on Mathematics 11, 1959, pp. 34–38.
Erdös, P., Rényi, A., and Sós, V. T., “On a Problem of Graph Theory,” Studia Scientiarum Mathematicarum Hungarica 1, 1966, pp. 215–235.
Frankl, P. and Fűredi, Z., “Union-Free Families of Sets and Equations over Fields,” Journal of Number Theory 23, 1986, pp. 210–218.
Fűredi, Z., “Turán Type Problems,” Surveys in Combinatorics, London Math. Soc. LMS 166, Cambridge University Press, 1991, pp. 253–300.
Lazebnik, F., Ustimenko, V. A. and Woldar, A. J., “A New Series of Dense Graphs of High Girth,” Bulletin (New Series) of the American Mathematical Society 32, 1995, pp. 73–79.
Lefmann, H., Phelps, K. T. and Rödl, V., “Extremal Problems for Triple Systems,” Journal of Combinatorial Designs 1, 1993, pp. 379–394.
Lubotzky, A., Phillips, R. and Sarnak, P., “Ramanujan Graphs,” Combinatorica 8, 1988, pp. 261–277.
Margulis, G. A., “Explicit Constructions of Graphs Without Short Cycles and Low Density Codes,” Combinatorica 2, 1982, pp. 71–78.
Margulis, G. A., “Explicit Group Theoretical Construction of Combinatorial Schemes and Their Application to the Design of Expanders and Concentrators,” J. Probl. Inform. Transmission 24, 1988, pp. 39–46.
Singer, J., “A Theorem in Finite Projective Geometry and Some Applications to Number Theory,” Transactions of the American Mathematical Society 43, 1938, pp. 377–385.
Singleton, R., “On Minimal Graphs of Maximum Even Girth”, Journal of Combinatorial Theory 1, 1966, pp. 306–332.
Sipser, M. and Spielman, D. A., “Expander Codes,” Proc. 35th Ann. Symposium on Foundations of Computer Science FOCS, 1994, pp. 566–576.
Sós, V. T., Erdős, P. and Brown, W. G., “On the Existence of Triangulated Spheres in 3-Graphs, and Related Problems,” Periodica Mathematica Hungarica 3, 1973, pp. 221–228.
Spielman, D. A., “Linear-time Encodable and Decodable Error-correcting Codes,” Proc. 27th Ann. ACM Symposium on the Theory of Computing STOC, 1995, pp. 388–397.
Spielman, D. A., “Computationally Efficient Error-Correcting Codes and Holographic Proofs,” PhD thesis, MIT, 1995.
Wenger, R., “Extremal Graphs with no C 4's, C 6's or C 10's,” Journal of Combinatorial Theory Ser. B 52, 1991, pp. 113–116.
Rights and permissions
About this article
Cite this article
Lefmann, H., Pudlák, P. & Savicky, P. On Sparse Parity Check Matrices. Designs, Codes and Cryptography 12, 107–130 (1997). https://doi.org/10.1023/A:1008233013327
Issue Date:
DOI: https://doi.org/10.1023/A:1008233013327