Abstract
The combinatorial aspects of quantum codes were demonstrated in the study of decay processes of certain quantum systems used in the newly emerging field of quantum computing. Among them, the configuration of t-spontaneous emission error design (t-SEED) was proposed to correct errors caused by quantum jumps. The number of designs (dimension) in a t-SEED corresponds to the number of orthogonal basis states in a quantum jump code. In this paper the upper and lower bounds on the dimensions of 3-\((v,\,4;\,m)\) SEEDs are studied and the necessary and sufficient conditions for 3-SEEDs attaining the upper bounds are described. Several new combinatorial constructions are presented for general t-SEEDs and lots of t-SEEDs of new parameters with \(t\ge 3\) are shown to exist.
Similar content being viewed by others
References
Alber G., Beth T., Charnes C., Delgado A., Grassl M., Mussinger M.: Stabilizing distinguishable qubits against spontaneous decay by detected-jump correcting quantum codes. Phys. Rev. Lett. 86, 4402–4405 (2001).
Baranyai Zs.: In: Bolyai J. (ed.) On the Factorizations of the Complete Uniform Hypergraph, Finite and Infinite Sets. Colloquium of Mathematical Society, vol. 10, pp. 91–108. North-Holland, Amsterdam (1975).
Beth T., Charnes C., Grassl M., Alber G., Delgado A., Mussinger M.: A new class of designs which protect against quantum jumps. Des. Codes Cryptogr. 29, 51–70 (2003).
Chen D., Stinson D.R.: Recent results on combinatorial constructions for threshold schemes. Australas. J. Comb. 1, 29–48 (1990).
Chouinard II L.G.: Partitions of the 4-subsets of a 13-set into disjoint projective planes. Discret. Math. 45, 297–300 (1983).
Cusack C.A., Graham S.W., Kreher D.L.: Large sets of 3-designs from PSL\((2,\, q)\) with block sizes 4 and 5. J. Comb. Des. 3, 147–160 (1995).
Etzion T.: Partitions for quadruples. Ars Comb. 36, 296–308 (1993).
Etzion T.: On threshold schemes from large sets. J. Comb. Des. 4, 323–338 (1996).
Etzion T., Hartman A.: Towards a large set of Steiner quadruple systems. SIAM J. Discret. Math. 4, 182–195 (1991).
Jimbo M., Shiromoto K.: Quantum jump codes and related combinatorial designs. In: Crnkovic D., Tonchev V. (eds.) Information Security, Coding Theory and Related Combinatorics, vol. 29, pp. 285–311. NATO Series D: ICSIOS Press, Amsterdam (2011).
Keranen M.S., Kreher D.L.: 3-Designs of PSL\((2,\, 2^n)\) with block sizes 4 and 5. J. Comb. Des. 12, 103–111 (2004).
Khosrovshahi G.B., Tayfeh-Rezaie B.: Large sets of t-designs through partitionable sets: a survey. Discret. Math. 306, 2993–3004 (2006).
Kramer E.S., Mesner D.M.: Intersections among Steiner systems. J. Comb. Theory A 16, 273–285 (1974).
Kramer E.S., Magliveras S.S., O’Brien E.A.: Some new large sets of \(t\)-designs. Australas. J. Comb. 7, 189–193 (1993).
Li W., Shen H.: Simple 3-designs of PSL\((2,\, 2^n)\) with block size 6. Discret. Math. 308, 3061–3072 (2008).
Li W., Shen H.: Simple 3-designs of PSL\((2,\, 2^n)\) with block size 7. J. Comb. Des. 16, 1–17 (2008).
Lin Y., Jimbo M.: Extremal properties of \(t\)-SEEDs and recursive constructions. Des. Codes Cryptogr. 73, 805–823 (2014).
Lindner C.C.: A note on disjoint Steiner quadruple systems. Ars Comb. 3, 271–276 (1977).
Lindner C.C.: On the construction of pairwise disjoint Steiner quadruple systems. Ars Comb. 19, 153–156 (1985).
Lu J.: On large sets of disjoint Steiner triple systems. I-III. J. Comb. Theory (A) 34, 140–182 (1983).
Lu J.: On large sets of disjoint Steiner triple systems. IV-VI. J. Comb. Theory (A) 37, 136–192 (1984).
Mathon R.: Searching for spreads and packings. Geometry, Combinatorial Designs and Related Structures, vol. 245, pp. 161–176. London Mathematical Society Lecture Note Series Cambridge University Press, Cambridge (1997).
Omidi G.R., Pournaki M.R., Tayfeh-Rezaie B.: 3-Designs with block size 6 from PSL\((2,\, q)\) and their large sets. Discret. Math. 307, 1580–1588 (2007).
Phelps K.T.: A class of 2-chromatic SQS(22). Discret. Math. 97, 333–338 (1991).
Phelps K.T., Rosa A.: 2-Chromatic Steiner quadruple systems. Eur. J. Comb. 1, 253–258 (1980).
Shor P.W.: Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A 52, R2493–R2496 (1995).
Teirlinck L.: Locally trivial \(t\)-designs and \(t\)-designs without repeated blocks. Discret. Math. 77, 345–356 (1989).
Teirlinck L.: A completion of Lu’s determination of the spectrum for large sets of disjoint Steiner triple systems. J. Comb. Theory (A) 57, 302–305 (1991).
Zhou J., Chang Y.: Bounds on the dimensions of 2-spontaneous emission error designs. J. Comb. Des. doi:10.1002/jcd.21514.
Acknowledgements
The authors would like to thank the anonymous referees for many valuable comments. Supported by NSFC Grants 11431003 and 11571034.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Mitchell.
Appendix
Appendix
Four block sets in Lemma 2.14.
\(0\ 1\ 2\ 3\) | \(0\ 1\ 5\ 6\) | \(0\ 1\ 7\ 8\) | \(0\ 1\ 9\ 10\) | \(0\ 1\ 11\ 13\) | \(0\ 1\ 12\ 14\) | \(0\ 2\ 4\ 5\) |
\(0\ 2\ 6\ 12\) | \(0\ 2\ 7\ 11\) | \(0\ 2\ 9\ 13\) | \(0\ 2\ 10\ 14\) | \(0\ 3\ 4\ 10\) | \(0\ 3\ 5\ 7\) | \(0\ 3\ 6\ 8\) |
\(0\ 3\ 9\ 11\) | \(0\ 3\ 12\ 13\) | \(0\ 4\ 6\ 9\) | \(0\ 4\ 7\ 12\) | \(0\ 4\ 8\ 13\) | \(0\ 4\ 11\ 14\) | \(0\ 5\ 8\ 11\) |
\(0\ 5\ 9\ 12\) | \(0\ 5\ 13\ 14\) | \(0\ 6\ 7\ 14\) | \(0\ 6\ 10\ 11\) | \(0\ 7\ 10\ 13\) | \(0\ 8\ 9\ 14\) | \(0\ 8\ 10\ 12\) |
\(1\ 2\ 4\ 9\) | \(1\ 2\ 6\ 13\) | \(1\ 2\ 7\ 10\) | \(1\ 2\ 8\ 12\) | \(1\ 2\ 11\ 14\) | \(1\ 3\ 4\ 14\) | \(1\ 3\ 5\ 8\) |
\(1\ 3\ 6\ 7\) | \(1\ 3\ 10\ 13\) | \(1\ 3\ 11\ 12\) | \(1\ 4\ 5\ 13\) | \(1\ 4\ 6\ 8\) | \(1\ 4\ 7\ 11\) | \(1\ 4\ 10\ 12\) |
\(1\ 5\ 7\ 12\) | \(1\ 5\ 9\ 14\) | \(1\ 5\ 10\ 11\) | \(1\ 6\ 9\ 12\) | \(1\ 6\ 10\ 14\) | \(1\ 7\ 9\ 13\) | \(1\ 8\ 9\ 11\) |
\(1\ 8\ 13\ 14\) | \(2\ 3\ 4\ 13\) | \(2\ 3\ 5\ 12\) | \(2\ 3\ 7\ 14\) | \(2\ 3\ 8\ 9\) | \(2\ 3\ 10\ 11\) | \(2\ 4\ 6\ 7\) |
\(2\ 4\ 8\ 11\) | \(2\ 4\ 12\ 14\) | \(2\ 5\ 6\ 11\) | \(2\ 5\ 7\ 9\) | \(2\ 5\ 8\ 14\) | \(2\ 5\ 10\ 13\) | \(2\ 6\ 8\ 10\) |
\(2\ 6\ 9\ 14\) | \(2\ 7\ 8\ 13\) | \(2\ 9\ 10\ 12\) | \(2\ 11\ 12\ 13\) | \(3\ 4\ 5\ 9\) | \(3\ 4\ 6\ 11\) | \(3\ 4\ 8\ 12\) |
\(3\ 5\ 6\ 13\) | \(3\ 5\ 10\ 14\) | \(3\ 6\ 9\ 10\) | \(3\ 6\ 12\ 14\) | \(3\ 7\ 8\ 10\) | \(3\ 7\ 9\ 12\) | \(3\ 7\ 11\ 13\) |
\(3\ 8\ 11\ 14\) | \(3\ 9\ 13\ 14\) | \(4\ 5\ 6\ 14\) | \(4\ 5\ 7\ 10\) | \(4\ 5\ 11\ 12\) | \(4\ 6\ 10\ 13\) | \(4\ 7\ 8\ 9\) |
\(4\ 7\ 13\ 14\) | \(4\ 8\ 10\ 14\) | \(4\ 9\ 10\ 11\) | \(4\ 9\ 12\ 13\) | \(5\ 6\ 7\ 8\) | \(5\ 6\ 10\ 12\) | \(5\ 7\ 11\ 14\) |
\(5\ 8\ 9\ 10\) | \(5\ 8\ 12\ 13\) | \(5\ 9\ 11\ 13\) | \(6\ 7\ 9\ 11\) | \(6\ 7\ 12\ 13\) | \(6\ 8\ 9\ 13\) | \(6\ 8\ 11\ 12\) |
\(6\ 11\ 13\ 14\) | \(7\ 8\ 12\ 14\) | \(7\ 9\ 10\ 14\) | \(7\ 10\ 11\ 12\) | \(8\ 10\ 11\ 13\) | \(9\ 11\ 12\ 14\) | \(10\ 12\ 13\ 14\) |
\(0\ 1\ 2\ 9\) | \(0\ 1\ 3\ 6\) | \(0\ 1\ 5\ 13\) | \(0\ 1\ 7\ 12\) | \(0\ 1\ 8\ 11\) | \(0\ 1\ 10\ 14\) | \(0\ 2\ 3\ 4\) |
\(0\ 2\ 5\ 12\) | \(0\ 2\ 6\ 14\) | \(0\ 2\ 7\ 10\) | \(0\ 2\ 11\ 13\) | \(0\ 3\ 5\ 8\) | \(0\ 3\ 7\ 11\) | \(0\ 3\ 9\ 12\) |
\(0\ 3\ 10\ 13\) | \(0\ 4\ 5\ 9\) | \(0\ 4\ 6\ 8\) | \(0\ 4\ 7\ 13\) | \(0\ 4\ 10\ 11\) | \(0\ 4\ 12\ 14\) | \(0\ 5\ 6\ 7\) |
\(0\ 5\ 11\ 14\) | \(0\ 6\ 9\ 11\) | \(0\ 6\ 10\ 12\) | \(0\ 7\ 8\ 14\) | \(0\ 8\ 9\ 10\) | \(0\ 8\ 12\ 13\) | \(0\ 9\ 13\ 14\) |
\(1\ 2\ 3\ 11\) | \(1\ 2\ 4\ 6\) | \(1\ 2\ 7\ 13\) | \(1\ 2\ 8\ 14\) | \(1\ 2\ 10\ 12\) | \(1\ 3\ 4\ 12\) | \(1\ 3\ 5\ 10\) |
\(1\ 3\ 7\ 8\) | \(1\ 3\ 13\ 14\) | \(1\ 4\ 5\ 7\) | \(1\ 4\ 8\ 13\) | \(1\ 4\ 9\ 10\) | \(1\ 4\ 11\ 14\) | \(1\ 5\ 6\ 14\) |
\(1\ 5\ 8\ 9\) | \(1\ 5\ 11\ 12\) | \(1\ 6\ 7\ 9\) | \(1\ 6\ 8\ 12\) | \(1\ 6\ 10\ 13\) | \(1\ 7\ 10\ 11\) | \(1\ 9\ 11\ 13\) |
\(1\ 9\ 12\ 14\) | \(2\ 3\ 5\ 7\) | \(2\ 3\ 8\ 12\) | \(2\ 3\ 9\ 13\) | \(2\ 3\ 10\ 14\) | \(2\ 4\ 5\ 14\) | \(2\ 4\ 7\ 11\) |
\(2\ 4\ 8\ 9\) | \(2\ 4\ 12\ 13\) | \(2\ 5\ 6\ 13\) | \(2\ 5\ 8\ 11\) | \(2\ 5\ 9\ 10\) | \(2\ 6\ 7\ 8\) | \(2\ 6\ 9\ 12\) |
\(2\ 6\ 10\ 11\) | \(2\ 7\ 9\ 14\) | \(2\ 8\ 10\ 13\) | \(2\ 11\ 12\ 14\) | \(3\ 4\ 5\ 13\) | \(3\ 4\ 6\ 10\) | \(3\ 4\ 8\ 14\) |
\(3\ 4\ 9\ 11\) | \(3\ 5\ 6\ 12\) | \(3\ 5\ 9\ 14\) | \(3\ 6\ 7\ 13\) | \(3\ 6\ 8\ 9\) | \(3\ 6\ 11\ 14\) | \(3\ 7\ 9\ 10\) |
\(3\ 7\ 12\ 14\) | \(3\ 8\ 10\ 11\) | \(3\ 11\ 12\ 13\) | \(4\ 5\ 6\ 11\) | \(4\ 5\ 10\ 12\) | \(4\ 6\ 7\ 14\) | \(4\ 6\ 9\ 13\) |
\(4\ 7\ 8\ 10\) | \(4\ 7\ 9\ 12\) | \(4\ 8\ 11\ 12\) | \(4\ 10\ 13\ 14\) | \(5\ 6\ 8\ 10\) | \(5\ 7\ 8\ 12\) | \(5\ 7\ 9\ 11\) |
\(5\ 7\ 10\ 14\) | \(5\ 8\ 13\ 14\) | \(5\ 9\ 12\ 13\) | \(5\ 10\ 11\ 13\) | \(6\ 7\ 11\ 12\) | \(6\ 8\ 11\ 13\) | \(6\ 9\ 10\ 14\) |
\(6\ 12\ 13\ 14\) | \(7\ 8\ 9\ 13\) | \(7\ 10\ 12\ 13\) | \(7\ 11\ 13\ 14\) | \(8\ 9\ 11\ 14\) | \(8\ 10\ 12\ 14\) | \(9\ 10\ 11\ 12\) |
\(0\ 1\ 2\ 10\) | \(0\ 1\ 3\ 12\) | \(0\ 1\ 5\ 14\) | \(0\ 1\ 6\ 8\) | \(0\ 1\ 7\ 11\) | \(0\ 1\ 9\ 13\) | \(0\ 2\ 3\ 5\) |
\(0\ 2\ 4\ 12\) | \(0\ 2\ 6\ 11\) | \(0\ 2\ 7\ 13\) | \(0\ 2\ 9\ 14\) | \(0\ 3\ 4\ 13\) | \(0\ 3\ 6\ 7\) | \(0\ 3\ 8\ 9\) |
\(0\ 3\ 10\ 11\) | \(0\ 4\ 5\ 6\) | \(0\ 4\ 7\ 14\) | \(0\ 4\ 8\ 11\) | \(0\ 4\ 9\ 10\) | \(0\ 5\ 7\ 8\) | \(0\ 5\ 9\ 11\) |
\(0\ 5\ 12\ 13\) | \(0\ 6\ 9\ 12\) | \(0\ 6\ 10\ 14\) | \(0\ 7\ 10\ 12\) | \(0\ 8\ 10\ 13\) | \(0\ 8\ 12\ 14\) | \(0\ 11\ 13\ 14\) |
\(1\ 2\ 3\ 14\) | \(1\ 2\ 4\ 11\) | \(1\ 2\ 6\ 7\) | \(1\ 2\ 8\ 13\) | \(1\ 2\ 9\ 12\) | \(1\ 3\ 4\ 10\) | \(1\ 3\ 5\ 6\) |
\(1\ 3\ 7\ 13\) | \(1\ 3\ 8\ 11\) | \(1\ 4\ 5\ 9\) | \(1\ 4\ 6\ 13\) | \(1\ 4\ 7\ 12\) | \(1\ 4\ 8\ 14\) | \(1\ 5\ 7\ 10\) |
\(1\ 5\ 8\ 12\) | \(1\ 5\ 11\ 13\) | \(1\ 6\ 9\ 10\) | \(1\ 6\ 12\ 14\) | \(1\ 7\ 8\ 9\) | \(1\ 9\ 11\ 14\) | \(1\ 10\ 11\ 12\) |
\(1\ 10\ 13\ 14\) | \(2\ 3\ 4\ 8\) | \(2\ 3\ 7\ 11\) | \(2\ 3\ 9\ 10\) | \(2\ 3\ 12\ 13\) | \(2\ 4\ 5\ 13\) | \(2\ 4\ 6\ 14\) |
\(2\ 4\ 7\ 9\) | \(2\ 5\ 6\ 10\) | \(2\ 5\ 7\ 14\) | \(2\ 5\ 8\ 9\) | \(2\ 5\ 11\ 12\) | \(2\ 6\ 8\ 12\) | \(2\ 6\ 9\ 13\) |
\(2\ 7\ 8\ 10\) | \(2\ 8\ 11\ 14\) | \(2\ 10\ 11\ 13\) | \(2\ 10\ 12\ 14\) | \(3\ 4\ 5\ 12\) | \(3\ 4\ 6\ 9\) | \(3\ 4\ 11\ 14\) |
\(3\ 5\ 7\ 9\) | \(3\ 5\ 8\ 14\) | \(3\ 5\ 10\ 13\) | \(3\ 6\ 8\ 10\) | \(3\ 6\ 11\ 12\) | \(3\ 6\ 13\ 14\) | \(3\ 7\ 8\ 12\) |
\(3\ 7\ 10\ 14\) | \(3\ 9\ 11\ 13\) | \(3\ 9\ 12\ 14\) | \(4\ 5\ 7\ 11\) | \(4\ 5\ 10\ 14\) | \(4\ 6\ 7\ 8\) | \(4\ 6\ 10\ 11\) |
\(4\ 7\ 10\ 13\) | \(4\ 8\ 9\ 13\) | \(4\ 8\ 10\ 12\) | \(4\ 9\ 11\ 12\) | \(4\ 12\ 13\ 14\) | \(5\ 6\ 7\ 12\) | \(5\ 6\ 8\ 13\) |
\(5\ 6\ 11\ 14\) | \(5\ 8\ 10\ 11\) | \(5\ 9\ 10\ 12\) | \(5\ 9\ 13\ 14\) | \(6\ 7\ 9\ 14\) | \(6\ 7\ 11\ 13\) | \(6\ 8\ 9\ 11\) |
\(6\ 10\ 12\ 13\) | \(7\ 8\ 13\ 14\) | \(7\ 9\ 10\ 11\) | \(7\ 9\ 12\ 13\) | \(7\ 11\ 12\ 14\) | \(8\ 9\ 10\ 14\) | \(8\ 11\ 12\ 13\) |
\(0\ 1\ 2\ 11\) | \(0\ 1\ 3\ 7\) | \(0\ 1\ 5\ 9\) | \(0\ 1\ 6\ 14\) | \(0\ 1\ 8\ 13\) | \(0\ 1\ 10\ 12\) | \(0\ 2\ 3\ 13\) |
\(0\ 2\ 4\ 9\) | \(0\ 2\ 5\ 7\) | \(0\ 2\ 6\ 10\) | \(0\ 2\ 12\ 14\) | \(0\ 3\ 4\ 12\) | \(0\ 3\ 5\ 6\) | \(0\ 3\ 8\ 11\) |
\(0\ 3\ 9\ 10\) | \(0\ 4\ 5\ 14\) | \(0\ 4\ 6\ 11\) | \(0\ 4\ 7\ 8\) | \(0\ 4\ 10\ 13\) | \(0\ 5\ 8\ 12\) | \(0\ 5\ 11\ 13\) |
\(0\ 6\ 7\ 12\) | \(0\ 6\ 8\ 9\) | \(0\ 7\ 10\ 11\) | \(0\ 7\ 13\ 14\) | \(0\ 8\ 10\ 14\) | \(0\ 9\ 11\ 14\) | \(0\ 9\ 12\ 13\) |
\(1\ 2\ 3\ 8\) | \(1\ 2\ 4\ 7\) | \(1\ 2\ 6\ 12\) | \(1\ 2\ 9\ 13\) | \(1\ 2\ 10\ 14\) | \(1\ 3\ 4\ 13\) | \(1\ 3\ 5\ 12\) |
\(1\ 3\ 6\ 10\) | \(1\ 3\ 11\ 14\) | \(1\ 4\ 5\ 10\) | \(1\ 4\ 6\ 9\) | \(1\ 4\ 8\ 11\) | \(1\ 4\ 12\ 14\) | \(1\ 5\ 6\ 8\) |
\(1\ 5\ 7\ 11\) | \(1\ 5\ 13\ 14\) | \(1\ 6\ 7\ 13\) | \(1\ 7\ 8\ 12\) | \(1\ 7\ 9\ 10\) | \(1\ 8\ 9\ 14\) | \(1\ 9\ 11\ 12\) |
\(1\ 10\ 11\ 13\) | \(2\ 3\ 4\ 5\) | \(2\ 3\ 7\ 10\) | \(2\ 3\ 9\ 14\) | \(2\ 3\ 11\ 12\) | \(2\ 4\ 6\ 13\) | \(2\ 4\ 8\ 12\) |
\(2\ 4\ 11\ 14\) | \(2\ 5\ 6\ 14\) | \(2\ 5\ 8\ 13\) | \(2\ 5\ 9\ 12\) | \(2\ 5\ 10\ 11\) | \(2\ 6\ 7\ 9\) | \(2\ 6\ 8\ 11\) |
\(2\ 7\ 8\ 14\) | \(2\ 7\ 11\ 13\) | \(2\ 8\ 9\ 10\) | \(2\ 10\ 12\ 13\) | \(3\ 4\ 6\ 14\) | \(3\ 4\ 8\ 9\) | \(3\ 4\ 10\ 11\) |
\(3\ 5\ 7\ 14\) | \(3\ 5\ 8\ 10\) | \(3\ 5\ 9\ 13\) | \(3\ 6\ 7\ 8\) | \(3\ 6\ 9\ 12\) | \(3\ 6\ 11\ 13\) | \(3\ 7\ 9\ 11\) |
\(3\ 7\ 12\ 13\) | \(3\ 8\ 12\ 14\) | \(3\ 10\ 13\ 14\) | \(4\ 5\ 6\ 7\) | \(4\ 5\ 9\ 11\) | \(4\ 5\ 12\ 13\) | \(4\ 6\ 8\ 10\) |
\(4\ 7\ 9\ 13\) | \(4\ 7\ 10\ 14\) | \(4\ 7\ 11\ 12\) | \(4\ 8\ 13\ 14\) | \(4\ 9\ 10\ 12\) | \(5\ 6\ 10\ 13\) | \(5\ 6\ 11\ 12\) |
\(5\ 7\ 8\ 9\) | \(5\ 7\ 10\ 12\) | \(5\ 8\ 11\ 14\) | \(5\ 9\ 10\ 14\) | \(6\ 7\ 11\ 14\) | \(6\ 8\ 12\ 13\) | \(6\ 9\ 10\ 11\) |
\(6\ 9\ 13\ 14\) | \(6\ 10\ 12\ 14\) | \(7\ 8\ 10\ 13\) | \(7\ 9\ 12\ 14\) | \(8\ 9\ 11\ 13\) | \(8\ 10\ 11\ 12\) | \(11\ 12\ 13\ 14\) |
Rights and permissions
About this article
Cite this article
Zhou, J., Chang, Y. Bounds and constructions of t-spontaneous emission error designs. Des. Codes Cryptogr. 85, 249–271 (2017). https://doi.org/10.1007/s10623-016-0300-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-016-0300-x