fixed points and feedback cycles in boolean networks
play

Fixed Points and Feedback Cycles in Boolean Networks Adrien Richard - PowerPoint PPT Presentation

Jan 11, 2024 •230 likes •1.31k views

Fixed Points and Feedback Cycles in Boolean Networks Adrien Richard Laboratoire I3S, CNRS & Universit e de Nice-Sophia Antipolis Joint work with Julio Aracena & Lilian Salinas Universidad de Concepci on, Chile Groupe de travail

  1. Remark If H ⊆ G then τ ( H ) ≤ τ ( G ) thus φ ( H ) ≤ 2 τ ( H ) ≤ 2 τ ( G ) → connexion with Network Coding from Information Theory ֒ Binary network coding problem Given a digraph G , is there exists H ⊆ G such that φ ( H ) = 2 τ ( G ) ? Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 12/25

  2. Remark If H ⊆ G then τ ( H ) ≤ τ ( G ) thus φ ( H ) ≤ 2 τ ( H ) ≤ 2 τ ( G ) → connexion with Network Coding from Information Theory ֒ Binary network coding problem Given a digraph G , is there exists H ⊆ G such that φ ( H ) = 2 τ ( G ) ? Surprisingly, the following question has deserved very few attention Given a digraph G , do we have φ ( G ) = 2 τ ( G ) ? Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 12/25

  3. Upper bounds on φ ( G σ ) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 13/25

  4. In G σ the sign of a cycle (or path) is the product of the sign of its arcs τ + ( G σ ) := positive transversal number := minimum size of a set of vertices meeting every non-negative cycle Remark 1 τ + ≤ τ Remark 2 τ + is invariant under subdivisions of arcs preserving signs Remark 2 e.g. → replaced by →→ , or → replaced by →→ Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 13/25

  5. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  6. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + G σ has only negative cycles ⇒ τ + = 0 ⇒ φ ( G σ ) ≤ 1 Remark 1 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  7. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + G σ has only negative cycles ⇒ τ + = 0 ⇒ φ ( G σ ) ≤ 1 Remark 1 Also true for differential equation systems [Soul´ e 03] ! Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  8. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + G σ has only negative cycles ⇒ τ + = 0 ⇒ φ ( G σ ) ≤ 1 Remark 1 Also true for differential equation systems [Soul´ e 03] ! Remark 2 We recover the classical upper-bound: 2 τ + ( G σ ) = 2 τ ( G ) φ ( G ) = max φ ( G σ ) ≤ max σ σ Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  9. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + G σ has only negative cycles ⇒ τ + = 0 ⇒ φ ( G σ ) ≤ 1 Remark 1 Also true for differential equation systems [Soul´ e 03] ! Remark 2 We recover the classical upper-bound: 2 τ + ( G σ ) = 2 τ ( G ) φ ( G ) = max φ ( G σ ) ≤ max σ σ This is the state of the art for upper bounds that depend on the cycle structure Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  10. Theorem (signed version of the classical bound) [Aracena, 2008] For every signed digraph G σ φ ( G σ ) ≤ 2 τ + G σ has only negative cycles ⇒ τ + = 0 ⇒ φ ( G σ ) ≤ 1 Remark 1 Also true for differential equation systems [Soul´ e 03] ! Remark 2 We recover the classical upper-bound: 2 τ + ( G σ ) = 2 τ ( G ) φ ( G ) = max φ ( G σ ) ≤ max σ σ This is the state of the art for upper bounds that depend on the cycle structure No lower bounds on φ ( G ) neither φ ( G σ ) ! Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 14/25

  11. The bound φ ≤ 2 τ + is very perfectible Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 15/25

  12. The bound φ ≤ 2 τ + is very perfectible · · · • • • • • • φ = 1 2 τ + ∼ 2 n/ 4 • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 15/25

  13. The bound φ ≤ 2 τ + is very perfectible · · · • • • • • • φ = 1 2 τ + ∼ 2 n/ 4 • • • • We think that improvements could be obtained by considering negative cycles too. This is a difficult problem... What happen when there is only positive cycles ? ֒ → This essentially corresponds to the case where f is monotone Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 15/25

  14. Monotone networks Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 16/25

  15. { 0 , 1 } n is equipped with the usual partial order x ≤ y ⇐ ⇒ x i ≤ y i for all i f is monotone if for all x, y ∈ { 0 , 1 } n x ≤ y ⇒ f ( x ) ≤ f ( y ) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 16/25

  16. { 0 , 1 } n is equipped with the usual partial order x ≤ y ⇐ ⇒ x i ≤ y i for all i f is monotone if for all x, y ∈ { 0 , 1 } n x ≤ y ⇒ f ( x ) ≤ f ( y ) Remark f is monotone ⇐ ⇒ G σ has only positive arcs φ ( G + ) = maximum number of fixed points in a monotone boolean network with G as interaction graph Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 16/25

  17. { 0 , 1 } n is equipped with the usual partial order x ≤ y ⇐ ⇒ x i ≤ y i for all i f is monotone if for all x, y ∈ { 0 , 1 } n x ≤ y ⇒ f ( x ) ≤ f ( y ) Remark f is monotone ⇐ ⇒ G σ has only positive arcs φ ( G + ) = maximum number of fixed points in a monotone boolean network with G as interaction graph Proposition If G σ is strong and has only positive cycles then φ ( G σ ) = φ ( G + ) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 16/25

  18. Fixed points in monotone networks Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 17/25

  19. Theorem [Knaster-Tarski, 1928] If f is monotone then Fixe ( f ) is a non-empty lattice Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 17/25

  20. Theorem [Knaster-Tarski, 1928] If f is monotone then Fixe ( f ) is a non-empty lattice To go further we need another graph parameter about cycles ν ( G ) := packing number := maximum number of vertex-disjoint cycles Remark ν ≤ τ Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 17/25

  21. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  22. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of the isomorphism • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  23. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of the isomorphism FVS of size τ I • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  24. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of the isomorphism FVS of size τ I • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  25. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇐ ⇒ x ≤ y Proof of the isomorphism FVS of size τ I • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  26. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇐ ⇒ x ≤ y Proof of the isomorphism Fixe ( f ) is isomorphic to L = { x I : x ∈ Fixe ( f ) } I • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  27. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = I • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  28. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I • • • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  29. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I J • • • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  30. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I i i J • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  31. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I f i ( x ) ≤ f i ( y ) i i J • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  32. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I x i ≤ y i i i J • • • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  33. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I x J ≤ y J 0 1 1 1 J • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  34. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I x J ≤ y J 0 1 1 1 J K • • • • • • Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  35. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 ∀ x, y ∈ Fixe ( f ) x I ≤ y I ⇒ x ≤ y Proof of the isomorphism = x I ≤ y I 0 1 0 1 1 0 I x J ≤ y J 0 1 1 1 J x K ≤ y K K 0 1 0 1 1 0 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 18/25

  36. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of 2 If Fixe ( f ) has a chain of size k then ν ≥ k − 1 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 19/25

  37. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of 2 If Fixe ( f ) has a chain of size k then ν ≥ k − 1 x 5 = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 x 4 = 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 x 3 = 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 x 2 = 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 1 = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 19/25

  38. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of 2 If Fixe ( f ) has a chain of size k then ν ≥ k − 1 x 5 = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 x 4 = 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 x 3 = 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 x 2 = 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 1 = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∆( x 1 , x 2 ) ∆( x 2 , x 3 ) ∆( x 3 , x 4 ) ∆( x 4 , x 5 ) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 19/25

  39. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of 2 If Fixe ( f ) has a chain of size k then ν ≥ k − 1 x 5 = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 x 4 = 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 x 3 = 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 x 2 = 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 1 = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∆( x 1 , x 2 ) ∆( x 2 , x 3 ) ∆( x 3 , x 4 ) ∆( x 4 , x 5 ) C 1 C 2 C 3 C 4 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 19/25

  40. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 Proof of 2 If Fixe ( f ) has a chain of size k then ν ≥ k − 1 Thus Fixe ( f ) has no chains of length ν + 2 and so L x 5 = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 x 4 = 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 x 3 = 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 x 2 = 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 1 = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∆( x 1 , x 2 ) ∆( x 2 , x 3 ) ∆( x 3 , x 4 ) ∆( x 4 , x 5 ) C 1 C 2 C 3 C 4 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 19/25

  41. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  42. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Remark The case ℓ = 1 is Sperner’s lemma on antichains Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  43. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Corollary If f is monotone then � τ | Fixe ( f ) | − 2 ≤ the sum of the ν − 1 largest � k Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  44. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Corollary If f is monotone then � τ | Fixe ( f ) | − 2 ≤ the sum of the ν − 1 largest � k Proof Let L ⊆ { 0 , 1 } τ be a non-empty lattice isomorphic to Fixe ( f ) max b • no chains L of size ν + 2 • min a Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  45. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Corollary If f is monotone then � τ | Fixe ( f ) | − 2 ≤ the sum of the ν − 1 largest � k Proof Let L ⊆ { 0 , 1 } τ be a non-empty lattice isomorphic to Fixe ( f ) max b • no chains L \ { a, b } of size ν • min a Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  46. Theorem [Erd˝ os, 1945] If X ⊆ { 0 , 1 } n has no chains of size ℓ + 1 then � n | X | ≤ the sum of the ℓ largest binomial coefficients � k Corollary If f is monotone then � τ | Fixe ( f ) | − 2 ≤ the sum of the ν − 1 largest � k Proof Let L ⊆ { 0 , 1 } τ be a non-empty lattice isomorphic to Fixe ( f ) max b • no chains � τ ≤ � L \ { a, b } the sum of the ν − 1 largest k of size ν • min a Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 20/25

  47. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  48. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k � τ � τ � τ � � � τ/ 2 0 τ τ − 1 coefficients Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  49. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k 2 τ � τ � τ � τ � � � τ/ 2 0 τ τ − 1 coefficients Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  50. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k � τ � τ � τ � � � τ/ 2 0 τ ν − 1 coefficients τ − 1 coefficients φ ( G + ) = 2 τ ⇒ ν = τ Corollary Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  51. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k The upper bound is interesting when ν is much more smaller that τ The largest gap known is ν log ν ≤ 30 τ [Seymour 93] Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  52. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k The upper bound is interesting when ν is much more smaller that τ The largest gap known is ν log ν ≤ 30 τ [Seymour 93] For a fixed ν , τ cannot be arbitrarily large... Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  53. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k The upper bound is interesting when ν is much more smaller that τ The largest gap known is ν log ν ≤ 30 τ [Seymour 93] For a fixed ν , τ cannot be arbitrarily large... Theorem [Reed-Robertson-Seymour-Thomas, 1995] There exists h : N → N such that, for every digraph G , τ ≤ h ( ν ) The upper-bound on h ( ν ) is astronomique (iterated use of Ramsey theorem) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  54. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k The upper bound is interesting when ν is much more smaller that τ The largest gap known is ν log ν ≤ 30 τ [Seymour 93] For a fixed ν , τ cannot be arbitrarily large... Theorem [Reed-Robertson-Seymour-Thomas, 1995] There exists h : N → N such that, for every digraph G , τ ≤ h ( ν ) The upper-bound on h ( ν ) is astronomique (iterated use of Ramsey theorem) φ ( G ) ≤ 2 τ ≤ 2 h ( ν ) Corollary Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  55. � τ � Corollary φ ( G + ) ≤ the sum of the ν − 1 largest + 2 k The upper bound is interesting when ν is much more smaller that τ The largest gap known is ν log ν ≤ 30 τ [Seymour 93] For a fixed ν , τ cannot be arbitrarily large... Theorem [Reed-Robertson-Seymour-Thomas, 1995] There exists h : N → N such that, for every digraph G , τ ≤ h ( ν ) The upper-bound on h ( ν ) is astronomique (iterated use of Ramsey theorem) ν + 1 ≤ φ ( G ) ≤ 2 τ ≤ 2 h ( ν ) Corollary Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 21/25

  56. More on fixed points in monotone networks Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  57. Special packing Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  58. Special packing v • • u Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  59. Special packing • u • v Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  60. Special packing v • • P u Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  61. Special packing • P ′ v • • P u Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  62. Special packing • P ′ v • • P u We denote by ν ∗ ( G ) the maximum size of a special packing Remark ν ∗ ≤ ν ≤ τ Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 22/25

  63. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  64. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Example ( e 1 , e 2 , e 3 ) is a 3 -pattern of { 0 , 1 } 3 e 1 = 011 e 2 = 101 e 3 = 110 e 1 = 100 e 2 = 010 e 3 = 001 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  65. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Example ( e 1 , e 2 , e 3 ) is a 3 -pattern of { 0 , 1 } 3 e 1 = 011 e 2 = 101 e 3 = 110 e 1 = 100 e 2 = 010 e 3 = 001 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  66. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Example ( e 1 , e 2 , e 3 ) is a 3 -pattern of { 0 , 1 } 3 e 1 = 011 e 2 = 101 e 3 = 110 e 1 = 100 e 2 = 010 e 3 = 001 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  67. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Example ( e 1 , e 2 , e 3 ) is a 3 -pattern of { 0 , 1 } 3 e 1 = 011 e 2 = 101 e 3 = 110 e 1 = 100 e 2 = 010 e 3 = 001 Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  68. A k -pattern in X ⊆ { 0 , 1 } n is a sequence ( x 1 , . . . , x k ) ∈ X k such that x p ≤ x q ( x 1 , . . . , x k ) ∈ X k and ⇐ ⇒ p � = q Example ( e 1 , e 2 , e 3 ) is a 3 -pattern of { 0 , 1 } 3 e 1 = 011 e 2 = 101 e 3 = 110 e 1 = 100 e 2 = 010 e 3 = 001 More generally ( e 1 , e 2 , . . . , e n ) is an n -pattern of { 0 , 1 } n Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 23/25

  69. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

  70. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Remark If L = { 0 , 1 } τ then L has a has a τ -pattern, so τ < ν ∗ + 1 . Remark Thus τ ≤ ν ∗ and since ν ∗ ≤ τ we deduce that ν ∗ = τ . Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

  71. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Remark If L = { 0 , 1 } τ then L has a has a τ -pattern, so τ < ν ∗ + 1 . φ ( G + ) = 2 τ ⇒ ν ∗ = τ Corollary Remark Thus τ ≤ ν ∗ and since ν ∗ ≤ τ we deduce that ν ∗ = τ . Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

  72. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Remark If L = { 0 , 1 } τ then L has a has a τ -pattern, so τ < ν ∗ + 1 . φ ( G + ) = 2 τ ⇒ ν ∗ = τ ⇒ ν = τ Corollary Remark Thus τ ≤ ν ∗ and since ν ∗ ≤ τ we deduce that ν ∗ = τ . Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

  73. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Remark If L = { 0 , 1 } τ then L has a has a τ -pattern, so τ < ν ∗ + 1 . φ ( G + ) = 2 τ ⇒ ν ∗ = τ ⇒ ν = τ Corollary Remark Thus τ ≤ ν ∗ and since ν ∗ ≤ τ we deduce that ν ∗ = τ . Theorem [Aracena-Salinas-R, 2016 + ] 2 ν ∗ ≤ φ ( G + ) Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

  74. Theorem [Aracena-Salinas-R, 2016 + ] If f is monotone then Fixe ( f ) a isomorphic to a subset L ⊆ { 0 , 1 } τ s.t. 1. L is a non-empty lattice 2. L has no chains of size ν + 2 3. L has no ( ν ∗ + 1) -pattern Remark If L = { 0 , 1 } τ then L has a has a τ -pattern, so τ < ν ∗ + 1 . φ ( G + ) = 2 τ ⇒ ν ∗ = τ ⇒ ν = τ Corollary Remark Thus τ ≤ ν ∗ and since ν ∗ ≤ τ we deduce that ν ∗ = τ . Theorem [Aracena-Salinas-R, 2016 + ] 2 ν ∗ ≤ φ ( G + ) ν ∗ = τ φ ( G + ) = 2 τ Corollary ⇐ ⇒ Adrien RICHARD Fixed Points in Boolean Networks Paris 2016 24/25

Recommend

A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks Adrien

A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks Adrien

A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard University of Nice - France CNRS I3S Laboratory Contents 1. Introduction 2. Roberts fixed point theorem (1980) 3.

1.51k views • 55 slides
On the convergence of Boolean automata networks without negative cycles Tarek Melliti and Damien

On the convergence of Boolean automata networks without negative cycles Tarek Melliti and Damien

On the convergence of Boolean automata networks without negative cycles Tarek Melliti and Damien Regnault e d IBISC - Universit Evry Val dEssonne, France Adrien Richard I3S - Universit e de Nice-Sophia Antipolis, France Sylvain

1.12k views • 66 slides
Complexity of maximum and minimum fixed point problem in Boolean networks Adrien Richard I3S

Complexity of maximum and minimum fixed point problem in Boolean networks Adrien Richard I3S

Complexity of maximum and minimum fixed point problem in Boolean networks Adrien Richard I3S laboratory, CNRS, Nice, France joint work with Florian Bridoux , Nicola Durbec &amp; K evin Perrot LIS laboratory, CNRS, Marseille, France Workshop:

918 views • 80 slides
Limit cycles and update schedules in Boolean networks: Inverse Problem. (Results of Luis G

Limit cycles and update schedules in Boolean networks: Inverse Problem. (Results of Luis G

Definition and Notation Limit Cycle Existence problem Limit Cycle Non Existence problem Feasible Limit Cycle problem Limit cycles and update schedules in Boolean networks: Inverse Problem. (Results of Luis G omezs Ph.D. Thesis)

805 views • 51 slides
Definitions Boolean set: B 0 , 1 Boolean constants: 0, 1 Boolean variable: x 0

Definitions Boolean set: B 0 , 1 Boolean constants: 0, 1 Boolean variable: x 0

Computer Architecture applied computer science 03.01 Boolean algebra urbino worldwide campus 03 Logic networks 03.01 Boolean algebra Definitions Boolean

489 views • 6 slides
Outline Lattices and fixed points 1 The varieties D n 2 Results 3 2 2/17 Lattices and fixed

Outline Lattices and fixed points 1 The varieties D n 2 Results 3 2 2/17 Lattices and fixed

Lattices and fixed points The varieties D n Results Fixed-point theory in the varieties D n Sabine Frittella and Luigi Santocanale Laboratoire dInformatique Fondamentale de Marseille, France May 1, 2014 RAMiCS 2014, Marienstatt im

520 views • 17 slides
A Xz Of fixed points 3 Students HW example: # = For every outcome, X assigns it a real

A Xz Of fixed points 3 Students HW example: # = For every outcome, X assigns it a real

Questions Example: Returning HW (From notes.) I If I flip 20 coins, how many are heads ? Let X 3 = the number of fixed points Intro to Random Variables I If I enter a raffle with 9 other people every Permutation X 3 outcomes day, when will

528 views • 5 slides
Analysing Kauffman Boolean Networks PAVEL EMELYANOV Institute of Informatics Systems and

Analysing Kauffman Boolean Networks PAVEL EMELYANOV Institute of Informatics Systems and

Analysing Kauffman Boolean Networks Analysing Kauffman Boolean Networks PAVEL EMELYANOV Institute of Informatics Systems and Novosibirsk State University May 31, 2016 Analysing Kauffman Boolean Networks Plan 1 Introduction 2 Problem

1.14k views • 46 slides
Least and greatest fixed points in ludics 10 September 2015 - CSL 2015 David Baelde, Amina

Least and greatest fixed points in ludics 10 September 2015 - CSL 2015 David Baelde, Amina

Least and greatest fixed points in ludics 10 September 2015 - CSL 2015 David Baelde, Amina Doumane and Alexis Saurin Least and greatest fixed points in Ludics Least and greatest fixed points in Ludics A logic modelling inductive and coinductive

331 views • 31 slides
Propositional models Start with a fixed number of boolean variables called the vocabulary : e.g. a

Propositional models Start with a fixed number of boolean variables called the vocabulary : e.g. a

1/22/2010 Propositional models Start with a fixed number of boolean variables called the vocabulary : e.g. a , b , c . Each boolean Historical models of computation variable represents a proposition, for example &quot;today it is raining&quot;.

416 views • 6 slides
Graphs, Strings, Languages and Boolean Logic Graphs, Strings, Languages and Boolean Logic

Graphs, Strings, Languages and Boolean Logic Graphs, Strings, Languages and Boolean Logic

Graphs, Strings, Languages and Boolean Logic Graphs, Strings, Languages and Boolean Logic p.1/41 Graphs An undirected graph, or simple a graph, is a set of points with lines connecting some points. The points are called nodes or

538 views • 42 slides
Listing all fixed-length simple cycles in sparse graphs in optimal time George Manoussakis

Listing all fixed-length simple cycles in sparse graphs in optimal time George Manoussakis

Listing all fixed-length simple cycles in sparse graphs in optimal time George Manoussakis Universit e Paris Saclay, Universit e Paris Sud, LRI-CNRS, France G. Manoussakis Listing all fixed-length simple cycles 1 / 19 Introduction Input

1.36k views • 57 slides
Asymptotic safety and fixed points of gauge theories Andrew Bond University of Sussex YTF 9

Asymptotic safety and fixed points of gauge theories Andrew Bond University of Sussex YTF 9

Renormalisation group and fixed points Structure of perturbative gauge-Yukawa -functions Example scenarios Conclusion Asymptotic safety and fixed points of gauge theories Andrew Bond University of Sussex YTF 9 12th January 2017 Based on

459 views • 24 slides
IR fixed points in gauge theories from lattice simulations Luigi Del Debbio Higgs Centre for

IR fixed points in gauge theories from lattice simulations Luigi Del Debbio Higgs Centre for

IR fixed points in gauge theories from lattice simulations Luigi Del Debbio Higgs Centre for Theoretical Physics - University of Edinburgh Nagoya, March 2014 1 Plan RG flows, fixed points, anomalous dimensions Anomalous

561 views • 27 slides
ECE 238L Boolean Algebra - Part I August 29, 2008 Typeset by Foil T EX Boolean Algebra

ECE 238L Boolean Algebra - Part I August 29, 2008 Typeset by Foil T EX Boolean Algebra

ECE 238L Boolean Algebra - Part I August 29, 2008 Typeset by Foil T EX Boolean Algebra Objectives Understand basic Boolean Algebra Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand and Use

316 views • 28 slides
Fixed points of the composition of earthquakes Francesco Bonsante (joint work with J.-M.

Fixed points of the composition of earthquakes Francesco Bonsante (joint work with J.-M.

The results Equivalence of the two results Proof of theorems Fixed points of the composition of earthquakes Francesco Bonsante (joint work with J.-M. Schlenker) July 28, 2010 Francesco Bonsante Fixed points of the composition of earthquakes

710 views • 29 slides
Lecture 5.4: Fixed points and Cauchys theorem Matthew Macauley Department of Mathematical

Lecture 5.4: Fixed points and Cauchys theorem Matthew Macauley Department of Mathematical

Lecture 5.4: Fixed points and Cauchys theorem Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 5.4: Fixed points and

447 views • 5 slides
On fixed points, diagonalization, and self-reference Bernd Buldt Department of Philosophy

On fixed points, diagonalization, and self-reference Bernd Buldt Department of Philosophy

Fixed Points Diagonalization Self-Reference On fixed points, diagonalization, and self-reference Bernd Buldt Department of Philosophy Indiana U - Purdue U Fort Wayne (IPFW) Fort Wayne, IN, USA e-mail: buldtb@ipfw.edu CL 16 Hamburg

995 views • 30 slides
Rational points on elliptic curves and cycles on Shimura varieties

Rational points on elliptic curves and cycles on Shimura varieties

Rational points on elliptic curves and cycles on Shimura varieties Harvard-MIT-Brandeis-Northeastern Joint Colloquium Henri Darmon McGill University February 28, 2008 http://www.math.mcgill.ca/darmon /slides/slides.html Diophantine

592 views • 29 slides
Boolean Functions Boolean Expressions Let B = { 0 , 1 } . 1 ... true, 0 ... false Let x 1 , x 2 ,

Boolean Functions Boolean Expressions Let B = { 0 , 1 } . 1 ... true, 0 ... false Let x 1 , x 2 ,

Boolean Functions Boolean Expressions Let B = { 0 , 1 } . 1 ... true, 0 ... false Let x 1 , x 2 , . . . , x n be boolean variables. Boolean Function of Arity n Semantics and Verification 2005 Abstract Syntax for Boolean Expressions ( x ranges

382 views • 4 slides
On Construction of Probabilistic Boolean Networks Wai-Ki CHING Advanced Modeling and Applied

On Construction of Probabilistic Boolean Networks Wai-Ki CHING Advanced Modeling and Applied

On Construction of Probabilistic Boolean Networks Wai-Ki CHING Advanced Modeling and Applied Computing Laboratory Department of Mathematics, The University of Hong Kong Abstract Modeling genetic regulatory networks is an important problem in

873 views • 52 slides
Unitarizable representations and fixed points of groups of biholomorphic transformations of

Unitarizable representations and fixed points of groups of biholomorphic transformations of

Unitarizable representations and fixed points of groups of biholomorphic transformations of operator balls (joint work with V. S. Shulman and L. Turowska) Mikhail Ostrovskii St. Johns University Queens, New York City, NY e-mail:

935 views • 54 slides
NBER July 2018 Main Points: 2 Revival of research on credit cycles shows

NBER July 2018 Main Points: 2 Revival of research on credit cycles shows

NBER July 2018 Main Points: 2 Revival of research on credit cycles shows that financial crises follow credit expansions, are long time coming, and in part predictable US housing bubble and the crisis of 2008 look very

485 views • 34 slides
Is Faith Delusion? Andrew Sims Fixed points You must be mad to believe that By mid-20th

Is Faith Delusion? Andrew Sims Fixed points You must be mad to believe that By mid-20th

Is Faith Delusion? Andrew Sims Fixed points You must be mad to believe that By mid-20th Century mutual distrust between the Church and Psychiatry Bilingual psychiatrists need... to become fluent in two languages: the language

866 views • 45 slides

More recommend