Monostability and Bistability of Boolean Networks Using Semitensor Products

Abstract

This paper investigates the monostability and bistability of Boolean networks using semitensor products (STPs). A theorem characterizing the stability of a Boolean network is presented and then used to develop three new algorithms. The first determines the stability in O(2 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> ), a marked improvement of the complexity of O((2 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> - 1) <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">22.81n</sup> ), the results from simply using Strassen's recursive algorithm. The second algorithm computes the transient period of a given system state, and the last one maximizes this over an entire Boolean network. We conclude by applying these algorithms to two published Boolean models of well-known biological networks in E. coli.