Abstract
Batch codes, first introduced by Ishai, Kushilevitz, Ostrovsky, and Sahai, mimic a distributed storage of a set of n data items on m servers, in such a way that any batch of k data items can be retrieved by reading at most some t symbols from each server. Combinatorial batch codes, are replication-based batch codes in which each server stores a subset of the data items. In this paper, we propose a generalization of combinatorial batch codes, called multiset combinatorial batch codes (MCBC), in which n data items are stored in m servers, such that any multiset request of k items, where any item is requested at most r times, can be retrieved by reading at most t items from each server. The setup of this new family of codes is motivated by recent work on codes which enable high availability and parallel reads in distributed storage systems. The main problem under this paradigm is to minimize the number of items stored in the servers, given the values of n, m, k, r, t, which is denoted by N(n, k, m, t; r). We first give a necessary and sufficient condition for the existence of MCBCs. Then, we present several bounds on N(n, k, m, t; r) and constructions of MCBCs. In particular, we determine the value of N(n, k, m, 1; r) for any \(n\ge \left\lfloor \frac{k-1}{r}\right\rfloor {m\atopwithdelims ()k-1}-(m-k+1)A(m,4,k-2)\), where \(A(m,4,k-2)\) is the maximum size of a binary constant weight code of length m, distance four and weight \(k-2\). We also determine the exact value of N(n, k, m, 1; r) when \(r\in \{k,k-1\}\) or \(k=m\).
Similar content being viewed by others
Notes
For any \(i\in [n]\), the multiplicity of i in the multiset union of the sets \(D_j\) for \(j\in [m]\) is the number of subsets that contain i, that is \(|\{j\in [m]:i\in D_j\}|\).
We notice that this direction is not needed in the proof. But we still prove it here because we will use it in Lemma 7 below.
For a block \(S\in \mathcal{S}\) of size \(k-2\), the supersets are the \((k-1)\)-subsets of [m] that contain S.
References
Aharoni R., Kessler O.: On a possible extension of Hall’s theorem to bipartite hypergraphs. Discret. Math. 84, 309–313 (1990).
Balachandran N., Bhattacharya S.: On an extremal hypergraph problem related to combinatorial batch codes. Discret. Appl. Math. 162, 373–380 (2014).
Bhattacharya S., Ruj S., Roy B.: Combinatorial batch codes: a lower bound and optimal constructions. Adv. Math. Commun. 6, 165–174 (2012).
Brouwer A.E., Shearer J.B., Sloane N.J.A., Smith W.D.: A new table of constant weight codes. IEEE Trans. Inf. Theory 36(6), 1334–1380 (1990).
Brualdi R.A., Kiernan K.P., Meyer S.A., Schroeder M.W.: Combinatorial batch codes and transversal matroids. Adv. Math. Commun. 4, 419–431 (2010).
Bujtás C., Tuza Z.: Combinatorial batch codes: extremal problems under Hall-type conditions. Electr. Notes in Discret. Math. 38, 201–206 (2011).
Bujtás C., Tuza Z.: Optimal batch codes: many items or low retrieval requirement. Adv. Math. Commun. 5, 529–541 (2011).
Bujtás C., Tuza Z.: Optimal combinatorial batch codes derived from dual systems. Miskolc Math. Notes 12(1), 11–23 (2011).
Bujtás C., Tuza Z.: Relaxations of Hall’s condition: optimal batch codes with multiple queries. Appl. Anal. Discret. Math. 6(1), 72–81 (2012).
Bujtás C., Tuza Z.: Turán numbers and batch codes. Discret. Appl. Math. 186, 45–55 (2015).
Colbourn C.J., Mathon R.: Steiner systems. In: Colbourn C.J., Dinitz J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 102–110. Chapman & Hall/CRC, Boca Raton (2007).
Graham R.L., Sloane N.J.A.: Lower bounds for constant weight codes. IEEE Trans. Inf. Theory 26, 37–43 (1980).
Ishai Y., Kushilevitz E., Ostrovsky R., Sahai A.: Batch codes and their applications. In: Proceedings of the 36-Sixth Annual ACM Symposium on Theory of Computing STOC ’04, pp. 262–271 (2004).
Mathon M., Rosa R.: 2-\((v, k,\lambda )\) designs of small order. In: Colbourn C.J., Dinitz J.H. (eds.) Handbook of Combinatorial Designs, 2nd edn, pp. 25–58. Chapman & Hall/CRC, Boca Raton (2007).
Mirsky L.: Systems of representatives with repetition. Proc. Camb. Philos. Soc. 63, 1135–1140 (1967).
Mirsky L., Perfect H.: Systems of representatives. J. Math. Anal. Appl. 15, 520–568 (1966).
Paterson M.B., Stinson D.R., Wei R.: Combinatorial batch codes. Adv. Math. Commun. 3, 13–27 (2009).
Rawat A.S., Papailiopoulos D.S., Dimakis A.G., Vishwanath S.: Locality and availability in distributed storage. IEEE Trans. Inf. Theory 62, 4481–4493 (2016).
Silberstein N.: Fractional repetition and erasure batch codes. In: Proceedings of the 4th International Castle Meeting on Coding Theory and Applications, Palmela, Portugal (2014).
Silberstein N., Gál A.: Optimal combinatorial batch codes based on block designs. Des. Codes Cryptogr. 78, 1–16 (2014).
Zeh A., Yaakobi E.: Bounds and constructions of codes with multiple localities. In: Proceedings of the IEEE International Symposium Information Theory (ISIT), Barcelona, Spain, pp. 640–644 (2016).
Zhang H., Yaakobi E., Silberstein N.: Multiset combinatorial batch codes. In: Proceedings of the IEEE International Symposium on Information Theory (ISIT), Aachen, Germany, pp. 2183–2187 (2017).
Acknowledgements
The authors would like to thank Prof. Tuvi Etzion for valuable discussions. The authors would also like to express their gratitude to the anonymous reviewers for their detailed and constructive comments. The work of Hui Zhang was supported in part at the Technion by a fellowship of the Israel Council of Higher Education.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Paterson.
Parts of the presented work [22] were published in the proceedings of the IEEE International Symposium on Information Theory (ISIT) 2017.
Rights and permissions
About this article
Cite this article
Zhang, H., Yaakobi, E. & Silberstein, N. Multiset combinatorial batch codes. Des. Codes Cryptogr. 86, 2645–2660 (2018). https://doi.org/10.1007/s10623-018-0468-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-018-0468-3