CONDITION (K) FOR BOOLEAN DYNAMICAL SYSTEMS

被引:3
|
作者
Carlsen, Toke Meier [1 ]
Kang, Eun Ji [2 ]
机构
[1] Univ Faroe Isl, Dept Sci & Technol, Vcstara Bryggja 15, FO-100 Torshavn, Faroe Islands
[2] Seoul Natl Univ, Res Inst Math, Seoul 08826, South Korea
关键词
C*-algebras of Boolean dynamical systems; condition (K); gauge-invariant ideals; graph C*-algebras; ideal property; maximal tail; primitive ideal space; real rank zero; topological dimension zero; ultrafilter cycle; C-ASTERISK-ALGEBRAS; REAL RANK;
D O I
10.1017/S1446788721000082
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We generalize Condition (K) from directed graphs to Boolean dynamical systems and show that a locally finite Boolean dynamical system (B, L, theta) with countable B and L satisfies Condition (K) if and only if every ideal of its C* -algebra is gauge-invariant, if and only if its C* -algebra has the (weak) ideal property, and if and only if its C* -algebra has topological dimension zero. As a corollary we prove that if the C*-algebra of a locally finite Boolean dynamical system with B and L countable either has real rank zero or is purely infinite, then (B, L, theta) satisfies Condition (K). We also generalize the notion of maximal tails from directed graph to Boolean dynamical systems and use this to give a complete description of the primitive ideal space of the C*-algebra of a locally finite Boolean dynamical system that satisfies Condition (K) and has countable B and L.
引用
收藏
页码:145 / 169
页数:25
相关论文
共 50 条
  • [21] PARTICLE FILTERING APPROACH TO STATE ESTIMATION IN BOOLEAN DYNAMICAL SYSTEMS
    Braga-Neto, Ulisses
    [J]. 2013 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), 2013, : 81 - 84
  • [22] Describing and Controlling Multivariate Dynamical Systems: A Boolean Network Method
    Yang, Xiao
    Ram, Nilam
    [J]. MULTIVARIATE BEHAVIORAL RESEARCH, 2020, 55 (01) : 163 - 164
  • [23] From Boolean networks to linear dynamical systems: a simplified route
    Wang, Yunjiao
    Leite, Maria C. A.
    Ben-Tal, Alona
    [J]. JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, 2023, 29 (05) : 542 - 560
  • [24] Graphic Requirements for Multiple Attractive Cycles in Boolean Dynamical Systems
    Dong, Jian-Lang
    [J]. JOURNAL OF INFORMATICS AND MATHEMATICAL SCIENCES, 2011, 3 (01): : 11 - 29
  • [25] Particle filters for partially-observed Boolean dynamical systems
    Imani, Mandi
    Braga-Neto, Ulisses M.
    [J]. AUTOMATICA, 2018, 87 : 238 - 250
  • [26] Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability
    Bashar, Mohammad Khairul
    Lin, Zongli
    Shukla, Nikhil
    [J]. IEEE JOURNAL ON EXPLORATORY SOLID-STATE COMPUTATIONAL DEVICES AND CIRCUITS, 2023, 9 (01): : 12 - 20
  • [27] Parallel discrete dynamical systems on maxterm and minterm Boolean functions
    Aledo, J. A.
    Martinez, S.
    Pelayo, F. L.
    Valverde, Jose C.
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 2012, 55 (3-4) : 666 - 671
  • [28] Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems
    Ogihara, Mitsunori
    Uchizawa, Kei
    [J]. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2015), 2015, 9076 : 87 - 98
  • [29] Dichotomy results for fixed point counting in boolean dynamical systems
    Homan, Christopher M.
    Kosub, Sven
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 573 : 16 - 25
  • [30] Boolean Biology: Introducing Boolean Networks and Finite Dynamical Systems Models to Biology and Mathematics Courses
    Robeva, R.
    Kirkwood, B.
    Davies, R.
    [J]. MATHEMATICAL MODELLING OF NATURAL PHENOMENA, 2011, 6 (06) : 39 - 60