Skip to main content
Log in

Mapping qubit algebras to combinatorial designs

  • Published:
Quantum Information Processing Aims and scope Submit manuscript

Abstract

This work considers combinatorial designs in terms of the algebra of quantum spins, providing insights and techniques useful to both. The number 15 that is central to a famous problem of classical design theory, with origins in a recreational puzzle nearly two centuries old, coincidentally equals the number of basic operators of two quantum spins (“qubits”). This affords a 1:1 correspondence that we exploit to use the well-known Pauli spin or Lie–Clifford algebra of those 15 operators to provide specific constructions for that recreational problem. An algorithm is set up that, working with four basic operators conveniently rendered in a two-bit binary, generates solutions to quantum states. They can be mapped into four base colors or various tonal scales, thus leading to visual or acoustic realizations of each design. The Fano plane of finite projective geometry involving seven points and lines of an equilateral triangle, and the tetrahedron (a “three-dimensional simplex” of 15 points) are key objects in this study. They simplify the handling of two-qubit operator algebra and may be useful in wide contexts in the field of quantum information. In particular, the seven-parameter sub-algebra describes also what have been called X-states which, while being a subset of all two-qubit states, still embrace a wide variety of quantum correlations including entanglement and quantum discord. Extension to n qubits and higher-dimensional “qudits” with similar mappings of them to combinatorial designs and finite projective geometries is indicated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  1. Campbell, E.T., Terhal, B.M., Vuillot, C.: Roads towards fault-tolerant universal quantum computation. Nature 549, 172–179 (2017), and arXiv:1612.07330 (2018)

  2. Woolhouse, W.S.B.: Prize Question 1733. Ladys and Gentlemans Diary (1844)

  3. Kirkman, T.P.: Query VI; Ladys and Gentlemans diary 147, 48 and note on an unanswered prize question. Camb. Dublin Math. J. 5, 255–262 (1850)

    Google Scholar 

  4. Kirkman, T.P.: On a problem in combinations. Camb. Dublin Math. J. 2, 191–204 (1847)

    Google Scholar 

  5. Steiner, J.: Combinatorische Aufgabe. J. Reine Angew. Math. 45, 181–182 (1853)

    MathSciNet  Google Scholar 

  6. Reiss, M.: Über eine Steinerische combinatorische Aufgabe. J. Reine Angew. Math. 56, 326–344 (1859)

    MathSciNet  Google Scholar 

  7. Beth T., Jungnickel D., Lenz H.: Design Theory. Bibl. Inst., Zürich (1985), and Encyclopedia of Mathematics, vol. 69. Cambridge Univ. Press, Cambridge (1993)

  8. Lenz, H.: Half a century of design theory. Mitt. Math. Ges. Hambg. 12, 579–593 (1991)

    MathSciNet  MATH  Google Scholar 

  9. MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes. North-Holland, Amsterdam (1977)

    MATH  Google Scholar 

  10. Yates, F.: Incomplete randomized blocks. Ann. Eugen. 7, 121–140 (1936)

    Article  Google Scholar 

  11. Bose, R.C.: On the construction of balanced incomplete block designs. Ann. Eugen. 9, 353–399 (1939)

    Article  MathSciNet  Google Scholar 

  12. Bose, R.C., Manvel, B.: Introduction to Combinatorial Theory. Wiley, New York (1984)

    MATH  Google Scholar 

  13. Bose, R.C., Parker, E.T., Shrikhande, S.: On orthogonal Latin squares. Can. J. Math. 12, 189–203 (1960)

    Article  Google Scholar 

  14. Rao, R.D.: Constructions and Combinatorial Problems in Design of Experiments. Wiley, New York (1971)

    Google Scholar 

  15. Fisher, R.A.: The Design of Experiments. Oliver and Boyd, Edinburgh (1935)

    Google Scholar 

  16. Gropp, H.: The history of Steiner systems S(2,3,13). Mitt. Math. Ges. Hambg. 12, 849–861 (1991)

    MathSciNet  MATH  Google Scholar 

  17. Gropp, H.: The birth of a mathematical theory in British India. Colloq. Math. Soc. Janos Bolyai 60, 315–327 (1992)

    MathSciNet  MATH  Google Scholar 

  18. Rau, A.R.P.: RA Fisher, design theory, and the Indian connection. J. Biosci. 34(3), 353–363 (2009)

    Article  MathSciNet  Google Scholar 

  19. Brown, E., Mellinger, K.E.: Kirkman’s schoolgirls wearing hats and walking through fields of numbers. Math. Mag. 82, 3–15 (2009)

    Article  MathSciNet  Google Scholar 

  20. Falcone, G., Pavone, M.: Kirkman’s Tetrahedron and the fifteen schoolgirl problem. Am. Math. Mon. 118, 887–900 (2011)

    Article  MathSciNet  Google Scholar 

  21. Cole, F.N.: Kirkman parades. Bull. Am. Math. Soc. 28, 435–437 (1922)

    Article  MathSciNet  Google Scholar 

  22. Colbourn, C.J., Rosa, A.: Triple Systems. Oxford Univ. Press, Oxford (1999)

    MATH  Google Scholar 

  23. Levay, P., Holweck, F.: Finite geometric toy model of spacetime as an error correcting code. Phys. Rev. D 99, 086015 (2019)

    Article  ADS  MathSciNet  Google Scholar 

  24. Goyeneche, D., Raissi, Z., Di Martino, S., Zyczkowski, K.: Entanglement and quantum combinatorial designs. arXiv:1708.05946

  25. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge Univ Press, Cambridge (2000)

    MATH  Google Scholar 

  26. Garling, D.G.H.: Clifford Algebras: An Introduction. Cambridge Univ Press, Cambridge (2011)

    Book  Google Scholar 

  27. Bincer, A.M.: Lie Groups and Lie Algebras: A Physicist’s Perspective. Oxford Univ Press, Oxford (2013)

    MATH  Google Scholar 

  28. Rau, A.R.P.: Algebraic characterization of \(X\)-states in quantum information. J. Phys. A Math. Theor. 42, 412002 (2009)

    Article  MathSciNet  Google Scholar 

  29. Rau, A.R.P.: Calculation of quantum discord in higher dimensions for X- and other specialized states. Quantum Inf. Process. 17, 216 (2018)

    Article  ADS  MathSciNet  Google Scholar 

  30. Planat, M., Saniga, M.: On the Pauli graphs on \(N\)-qudits. Quantum Inf. Comput. 8, 127–146 (2008)

    MathSciNet  MATH  Google Scholar 

  31. Saniga, M., Levay, P.: Mermin’s pentagram as an ovoid of PG(3, 2). EPL 97, 50006 (2012)

    Article  ADS  Google Scholar 

  32. Rau, A.R.P.: Manipulating two-spin coherences and qubit pairs. Phys. Rev. A 61, 032301 (2000)

    Article  ADS  MathSciNet  Google Scholar 

  33. Rau, A.R.P., Selvaraj, G., Uskov, D.: Four-level and two-qubit systems, sub-algebras, and unitary integration. Phys. Rev. A 71, 062316 (2005)

    Article  ADS  Google Scholar 

  34. Vinjanampathy, S., Rau, A.R.P.: Generalized X states of \(N\) qubits and their symmetries. Phys. Rev. A 82, 032336 (2010)

    Article  ADS  Google Scholar 

  35. Sakurai, J.J.: Relativistic Quantum Mechanics. Addison-Wesley, Reading (1967)

    Google Scholar 

  36. Rau, A.R.P.: The Beauty of Physics: Patterns, Principles, and Perspectives. Oxford Univ Press, Oxford (2014)

    Book  Google Scholar 

  37. Coxeter, H.S.M.: Regular Polytopes. Dover, Mineola (1973)

    MATH  Google Scholar 

  38. Marceaux J.P.: Geometric Design. Louisiana State University, Baton Rouge, Senior Honors Thesis, unpublished (2018)

  39. Odeen, A., Hastad, O., Alstroem, P.: Evolution of ultraviolet vision in the largest avian radiation—the passerines. BMC Evol. Biol. 11, 313 (2011)

    Article  Google Scholar 

  40. Tristan, Needham: Visual Complex Analysis. Oxford Univ. Press, Oxford (1997)

    MATH  Google Scholar 

  41. Gabor, D.: Acoustical quanta and the theory of hearing. Nature 159, 591–594 (1947)

    Article  ADS  Google Scholar 

  42. Johnson, T., Jedrejewski, F.: Looking at Numbers, Chap. 4. Springer, Basel (2014)

    Book  Google Scholar 

  43. Rau, A.R.P., Alber, G.: Shared symmetries of the hydrogen atom and the two-qubit system. J. Phys. B 50, 242001 (2017)

    Article  ADS  Google Scholar 

  44. Pamuk, O.: My Name is Red. Vintage, New York (2002)

    Google Scholar 

  45. Johnson, T.: Kirkman’s Ladies: Rational Harmonies in Three Voices. France, Paris (2005)

  46. Grady, K.: Ervin Wilson’s Hexany. Just Intonation 7(8–11), 1 (1991)

    Google Scholar 

Download references

Acknowledgements

ARPR thanks the Alexander von Humboldt Foundation and the Technische Universität, Darmstadt, for support during the final stage of writing and preparing this paper for publication.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A. R. P. Rau.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix: Color and acoustic designs of the Fano and Kirkman Patterns

Appendix: Color and acoustic designs of the Fano and Kirkman Patterns

1.1 Color designs for (7, 3, 1) and (15, 3, 1)

Fig. 7
figure 7

\(D_c(7,3,1)|Q_{10},Q_4,Q_{11}\rangle \)

Fig. 8
figure 8

\(K_c(15,3,1)|Q_{12},Q_{10},Q_4,Q_{11}\rangle \)

As noted in the text, color has played an enormous role in human perception, art, and philosophy in many cultures. The very naming of a color poses deep questions that have been addressed in literature [44]. Using the color–flavor language hereto developed, we can cast resolved design systems into color tilings. To construct a \((v,k,\lambda )\) tiling, we assign a subset of the v colors of the design to the k tiles in each block, and the v colors can be read directly from a resolved operator design with the use of our dictionary in Table 1. Hence, in Fig. 7, we see a color design that is a representation of the \(D(7,3,1)|Q_{10},Q_{4},Q_{11}\rangle \) example used throughout this paper, especially in Sections IIIB and IV. Furthermore, if a Kirkman design (3n, 3, 1) is of odd n, we can find a resolved design wherein the v varieties of the design appear once in a number of discrete sets or “days.” For such a resolved Kirkman system, we construct rows of colored tiles packed into sets of all v colors. Hence, in Fig. 8, we see a Kirkman design that is a representation of the \(D(15,3,1)|Q_{12},Q_{10},Q_{4},Q_{11}\rangle \) example used throughout this paper and which gives the Kirkman arrangement in Table 4.

1.2 Constructing acoustic designs

Our 15 schoolgirls have already made their appearance in music. While most western music is based on the canonical 12-tone chromatic scale, musical scales can be constructed on any number of notes through different octave divisions. The composer Tom Johnson used such an alternative octave division in his musical composition “Kirkman’s Ladies” [45], a sonic representation of a Kirkman design system in which the schoolgirls or tones are arranged into sets of three as chords over a 15-note scale. Johnson’s musical Kirkman design spans 7 intervals or “days” of 5 musical chords of three notes or “sets of three girls” such that 15 notes that form the chords obey the criteria of the Kirkman design system. At a notional level, musical composition strongly resembles the method of design construction. A composer arranges the distinct notes of the scale into blocks that form chords and then harmonies.

Following Gabor’s construction of acoustic quanta as products of windowing functions and harmonic oscillations, we choose our wavelets, taking special care to construct wavelets that when sounded together produce distinct chords for the human ear. We first address the windowing function, which can be written \(W_n(t)=W(t-nh)\), where n denotes the temporal displacement and h denotes the hop size of the windowing function. There are a number of possible choices for the windowing function, including the square window, the B-spline, the Cosine window, and Gaussian function. Each type of windowing function introduces artifacts in the frequency spectrum of a note, yet we find that, as long as the windowing function is sufficiently smooth, the structure of the window has only a small effect on the way that notes sound together in chords, this being rather a consequence of the harmonic oscillations modulating each window. Thus, we choose the Gaussian function to window our notes and we adjust the width of the Gaussian so that the onsets and decays of the chords can be distinguished.

Because the harmonic aspect of the wavelet has the most significant effect on the distinguishability of different tonal bases, we must be careful with the definition of our 15-note scale. Inspired by the chromatic scale, we might be tempted to choose 15-note equal temperament. However, we will find that equal temperament will not provide a set of notes that are readily distinguishable by the human ear. The problem arises because the notes of an equal tempered scale are not very consonant among themselves, and so will produce chords that all sound very similar. It is for this reason that western music generally works with a subset of the chromatic scale, such as the C-major scale, to create music. In order to maximize the distinguishability of the notes, we must turn to some non-traditional ideas in music theory. One such idea is the use of “combination product sets” (CPS s) for scale production, which Ervin Wilson used to construct his famous “Hexany” system [44, 46]. To construct a CPS, one first picks a number N of prime numbers, excluding two as the octave number, and a combinatoric number M. The octave divisions of the scale are then found by multiplying M prime numbers and then rescaling the product by a power of two such that the elements lie on a range [1, 2] in the octave. A ‘tonic’ is then chosen for the scale, which defines the frequency of the lowest note. All further frequencies are then given by the product of the tonic and the other scaled products. We employ this method to construct our scale, using a \(\hbox {CPS}(6,2)\) for the 15-note scale.

Using 15 tonal bases as a 15-note scale, the Fano (7, 3, 1) design rendered previously in color in Figs. 4 and 7 takes the acoustical form shown in Fig. 9 and the Kirkman (15, 3, 1) design of Figs. 6 and 8 the form shown in Fig. 10. Note how the (7, 3, 1) design in Fig. 9 is a subset formed by the first vertical bars of each of the 7 day panels in the (15, 3, 1) design of Fig. 10, an aspect of the nesting of the Fano triangle’s 2-simplex of Fig. 4 within the tetrahedron’s 3-simplex of Fig. 6 discussed earlier.

Fig. 9
figure 9

\(D_s(7,3,1)|Q_{10},Q_4,Q_{11}\rangle \)

Fig. 10
figure 10

\(K_s(15,3,1)|Q_{12},Q_{10},Q_4,Q_{11}\rangle \)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Marceaux, J.P., Rau, A.R.P. Mapping qubit algebras to combinatorial designs. Quantum Inf Process 19, 49 (2020). https://doi.org/10.1007/s11128-019-2541-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11128-019-2541-x

Keywords

Navigation