Skip to main content
Log in

A novel linear representation for evolving matrices

  • Optimization
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

A number of problems from specifiers for Boolean networks to programs for quantum computers can be encoded as matrices. The paper presents a novel family of linear, generative representations for evolving matrices. The matrices can be general or restricted within special classes of matrices like permutation matrices, Hermitian matrices, or other groups of matrices with particular algebraic properties. These classes include unitary matrices which encode quantum programs. This representation avoids the brittleness that arises in direct representations of matrices and permits the researcher substantial control of the part of matrix space being searched. The representation is demonstrated on a relatively simple matrix problem in automatic content generation as well as Boolean map induction and automatic quantum programming. The automatic content generation problem yields interesting results; the generative matrix representation yields worse fitness but a substantially greater variety of outcomes than a direct encoding, which is acceptable when generating content. The Boolean map experiments extend and confirm results that demonstrate that the generative encoding is superior to a direct encoding for the transition matrix of a Boolean map. The quantum programming results are generally quite good, with poor performance on the simplest problems in two of the families of programming tasks studied. The viability of the new representation for evolutionary matrix induction is well supported.

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
Fig. 7

Similar content being viewed by others

Data Availability

Enquiries about data availability should be directed to the authors.

References

  • Albert R, Othmer HG (2003) The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J Theor Biol 223(1):1–18

    Article  MathSciNet  Google Scholar 

  • Ashlock D (2006) Evolutionary computation for opimization and modeling. Springer, New York

    MATH  Google Scholar 

  • Ashlock D (2015) Evolvable fashion based cellular automata for generating cavern systems. In: Proceedings of the 2015 IEEE conference on computational intelligence in games. IEEE Press, Piscataway, pp 306–313

  • Ashlock D (2018) Exploring representation in evolutionary level design. Morgan and Claypool, San Rafel

    Book  Google Scholar 

  • Ashlock D, Bickley L (2016) Rescalable, replayable maps generated with evolved cellular automata. Acta Phys Polonica (B) Proc Suppl 9(1):13–24

    Article  Google Scholar 

  • Ashlock D, McNicholas S (2013) Fitness landscapes of evolved cellular automata. IEEE Trans Evol Comput 17(2):198–212

    Article  Google Scholar 

  • Ashlock D, Ruz GA (2017) A novel representation for boolean networks designed to enhance heritability and scalability. In: Proceedings of the 2017 IEEE conference on computational intelligence in bioiformatics and computational biology. IEEE Press, Piscataway, pp 1–8

  • Ashlock D, Lee C, McGuinness C (2011) Search-based procedural generation of maze-like levels. IEEE Trans Comput Intell AI Games 3(3):260–273

    Article  Google Scholar 

  • Ashlock D, Lee C, McGuinness C (2011) Simultaneous dual level creation for games. IEEE Comput Intell Mag 6(2):26–37

    Article  Google Scholar 

  • Banzhaf W, Nordin P, Keller RE, Francone FD (1998) Genetic programming: an introduction. Morgan Kaufmann, San Francisco

    Book  Google Scholar 

  • Gilbert J, Ashlock D (2016) Evolvable warps for data normalization. In: Proceedings of the IEEE 2016 congress on evolutionary computation. IEEE Press, Piscataway, pp 1562–1569

  • Graudenzi A, Serra R, Villani M, Colacci A, Kauffman S (2011) Robustness analysis of a Boolean model of gene regulatory network with memory. J Comput Biol 18:559–577

    Article  MathSciNet  Google Scholar 

  • Gregor C (2018) Construction of unitary matrices and bounding minimal quantum gate fidelity using genetic algorithms. Master’s thesis, University of Guelph, Guelph, ON, Canada

  • Grover LK (1996) A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on theory of computing. ACM, New York, pp 212–219

  • Hungerford TW (1974) Algebra. Springer, New York

    MATH  Google Scholar 

  • Hutsell S, Greenwood G (2007) Applying evolutionary techniques to quantum computing problems. In: IEEE Congress on evolutionary computation, 2007. CEC 2007. IEEE, pp 4081–4085

  • Johnson L, Yannakakis GN, Togelius J (2010) Cellular automata for real-time generation of infinite cave levels. In: PCGames’10: proceedings of the (2010) workshop on procedural content generation in games. ACM, New York

    Google Scholar 

  • Kauffman SA (1969) Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol 22:437–467

    Article  MathSciNet  Google Scholar 

  • Krawec WO (2014) An algorithm for evolving multiple quantum operators for arbitrary quantum computational problems. In: Proceedings of the companion publication of the 2014 annual conference on genetic and evolutionary computation. ACM, pp 59–60

  • Krawec WO (2016) A genetic algorithm to analyze the security of quantum cryptographic protocols. In: 2016 IEEE congress on evolutionary computation (CEC), pp 2098–2105

  • Kribs D (2005) A quantum computing primer for operator theorists. Linear Algebra Appl 400:147–167

    Article  MathSciNet  Google Scholar 

  • MacKinnon D (2017) Evolving quantum algorithms with genetic programming. Master’s thesis, University of Guelph, 50 Strone Rd. East

  • Nguyen-Schäfer H, Schmidt JP (2014) General basis and bra–ket notation. In: Tensor analysis and elementary differential geometry for physicists and engineers. Springer, pp 1–34

  • Nielson M, Chuang I (2000) Quantum computation and quantum information. Cambridge University Press, Cambridge

    Google Scholar 

  • Rubinstein BIP (2001) Evolving quantum circuits using genetic programming. In: Proceedings of the 2001 congress on evolutionary computation (IEEE Cat. No.01TH8546), vol 1, pp 144–151

  • Ruz GA, Goles E (2010) Learning gene regulatory networks with predefined attractors for sequential updating schemes using simulated annealing. In: Proceedings of IEEE the ninth international conference on machine learning and applications (ICMLA 2010), pp 889–894

  • Ruz GA, Goles E (2012) Reconstruction and update robustness of the mammalian cell cycle network. In: 2012 IEEE symposium on computational intelligence and computational biology, CIBCB 2012, pp 397–403

  • Ruz GA, Goles E (2013) Learning gene regulatory networks using the bees algorithm. Neural Comput Appl 22:63-70

    Article  Google Scholar 

  • Ruz GA, Timmermann T, Goles E (2012) Building synthetic networks of the budding yeast cell-cycle using swarm intelligence. In: Proceedings—2012 11th international conference on machine learning and applications, ICMLA 2012, vol 1, pp 120–125

  • Ruz GA, Goles E, Montalva M, Fogel GB (2014) Dynamical and topological robustness of the mammalian cell cycle network: a reverse engineering approach. Biosystems 115:23–32

    Article  Google Scholar 

  • Ruz GA, Timmermann T, Goles E (2015) Reconstruction of a GRN model of salt stress response in Arabidopsis using genetic algorithms. In: The 2015 IEEE conference on computational intelligence in bioinformatics and computational biology (CIBCB 2015), pp 1–8

  • Ruz GA, Timmermann T, Goles E (2016) Neutral space analysis of gene regulatory network models of salt stress response in arabidopsis using evolutionary computation. In: Proceedings of the 2016 IEEE congress on evolutionary computation, pp 4281–4288

  • Sorenson N, Pasquier P (2010) Towards a generic framework for automated video game level creation. In: Proceedings of the european conference on applications of evolutionary computation (EvoApplications), Springer LNCS, vol 6024, pp 130–139

  • Spector L, Klein J (2008) Machine invention of quantum computing circuits by means of genetic programming. Artif Intell Eng Des Anal Manuf 22(3):275–283

    Article  Google Scholar 

  • Strang G (2005) Linear algebra and its applications, 4th edn. Brooks Cole

  • Syswerda G (1991) A study of reproduction in generational and steady state genetic algorithms. In: Foundations of genetic algorithms. Morgan Kaufmann, pp 94–101

  • Togelius J, Preuss M, Yannakakis GN (2010a) Towards multiobjective procedural map generation. In: PCGames’10: proceedings of the 2010 workshop on procedural content generation in games. ACM, New York, pp 1–8. https://doi.org/10.1145/1814256.1814259

  • Togelius J, Yannakakis G, Stanley K, Browne C (2010) Search-based procedural content generation. Applications of evolutionary computation, Lecture notes in computer science, vol 6024. Springer, Berlin, pp 141–150

    Chapter  Google Scholar 

  • Weigert S (2009) No-cloning theorem. Compendium of quantum physics. Springer, Berlin, pp 404–405

    Chapter  Google Scholar 

  • Xiao Y (2009) A tutorial on analysis and simulation of Boolean gene regulatory network models. Curr Genom 10(7):511–525

    Article  Google Scholar 

Download references

Acknowledgements

The authors thank the University of Guelph and Canadian Natural Science and Engineering Research Council of Canada (NSERC), and ANID FONDECYT grant number 1180706 for supporting this work.

Funding

ANID PIA/BASAL FB0002.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gonzalo A. Ruz.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Publisher's Note

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

Appendices

Appendix A: Results of evolving generative matrix representations

Figure 7 shows the results of evolving generative matrix representations of length 10 through 100.

Appendix B: Quantum fitness functions

For the five quantum program fitness functions discussed below, the term randomly generated pure quantum state is mentioned repeatedly; these randomly generated pure quantum states are vectors of dimension \(2^{n}\), where n is the number of qubits; the real and imaginary components of each entry of these vectors are taken from a uniform distribution over the interval (\(-1,1\)). The entries of the vector are then divided by the \(l_2\) norm of the vector so that it is normalized.

1.1 Appendix B.1: Identity problem

The goal of the algorithm for this problem is to do nothing at all. In order to properly test for this problem, a randomly generated pure quantum state is sent through a unitary matrix generated by the algorithm. The desired output state for this problem is a vector with the exact same entries as the vector before the unitary acted upon it. Solving this problem is expected to be incredibly easy and as such this test problem could be likened to the one-max problem that is often seen in other genetic algorithms.

1.2 Appendix B.2: Hadamard basis change

The goal of the algorithm for this problem is to take a quantum state that has a value of \(\frac{1}{\sqrt{2^{n}}}\) in all of its entries; where n is the number of qubits in the quantum state. After the unitary is applied, it is rewarded fitness based on how high it makes the absolute value of the first entry in the vector. In terms of quantum information application, such a problem would involve switching the basis of the qubits in a quantum circuit into or out of the Hadamard basis where

$$\begin{aligned} |{+}\rangle =\left( \begin{array}{cc}\frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}}\\ \end{array}\right) \\ |{-}\rangle =\left( \begin{array}{cc}\frac{1}{\sqrt{2}} \\ \frac{-1}{\sqrt{2}}\\ \end{array}\right) \\ \end{aligned}$$

are the new zero and one bit respectively.

1.3 Appendix B.3: Amplitude problem

In this test problem, the algorithm is to take a randomly generated pure quantum state and maximize the likelihood of the initial entry with the highest amplitude. The algorithm will track this information by recording the address of the vector entry with the highest absolute value; such an address will be denoted entry j. With that recorded, the output state after the unitary operation is applied is to be a quantum state with a value of one in vector entry address j, up to a global phase factor. In terms of quantum information application, such a unitary that makes a quantum state favour a certain state of superposition could prove helpful in quantum programs that utilize quantum measurement while hoping for a specific outcome from the state after measuring it.

1.4 Appendix B.4: Entropy problem

For this test problem, the goal of the algorithm is to take a randomly generated pure quantum state. After applying the unitary, the outputted quantum state will be rewarded with higher fitness if it maximizes Shannon entropy. Within the context of quantum information, a pure quantum state that has a high Shannon entropy is in a higher state of superposition than other quantum states with less Shannon entropy.

1.5 Appendix B.5: Cloning problem

This problem was inspired by the no-cloning theorem of quantum information. The no-cloning theorem (Weigert 2009), states that there does not exist a quantum gate U such that \(U(|{\psi }\rangle _{n} \otimes |{0}\rangle _{n}) = |{\psi }\rangle _{n} \otimes |{\psi }\rangle _{n}\) for arbitrary quantum states \(|{\psi }\rangle \). For this test problem, the genetic algorithm will be given the zero qubit in the computational basis. A unitary created by the GBM will then be applied to it; fitness will be rewarded to a unitary that is able to make an output that can better replicate a randomly generated pure quantum state that was selected at the start of the algorithm’s run. With respect to quantum information application; the successful application of this GBM generated quantum gate could act as a sort of pseudo-cloning gate if it is ever figured out how to implement the genetic algorithm without measuring the state.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gregor, C., Ashlock, D., Ruz, G.A. et al. A novel linear representation for evolving matrices. Soft Comput 26, 6645–6657 (2022). https://doi.org/10.1007/s00500-022-07043-6

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-022-07043-6

Keywords

Navigation