Related papers: Condition (K) for Boolean dynamical systems

We prove that every closed "general" trajectory of the control system $\Sigma_M$ has an open neighborhood on which $\Sigma_M$ is controllable if 1) this orbit contains some point where the Lie algebra rank condition ($LARC$) is satisfied,…

After investigating by examples the unusual and striking elementary properties of the Penrose tilings and the Arnold cat map, we associate a finite symbolic dynamics with finite grammar rules to each of them. Instead of studying these…

Partial Boolean algebra underlies the quantum logic as an important tool for quantum contextuality. We propose the notion atom graphs to reveal the graph structure of partial Boolean algebra for finite dimensional quantum systems by proving…

The local trajectories method establishes invertibility in algebras $\mathcal{B}= \alg(\mathcal{A}, U_G)$, for a unital $C^*$-algebra $\mathcal{A}$ with a non-trivial center, and a unitary group $U_g$, $g\in G$, with $G$ a discrete group,…

Let K be a number field or a function field, let F:P^1 --> P^1 be a rational map of degree at least two defined over K, let P be a point in P^1(K) having infinite F-orbit, and let Z be a finite subset of Z. We prove a local-global criterion…

We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the…

We attach to each finite bipartite separated graph (E,C) a partial dynamical system (\Omega(E,C), F, \theta), where \Omega(E,C) is a zero-dimensional metrizable compact space, F is a finitely generated free group, and {\theta} is a…

Controllability, one of the fundamental concepts in control theory, consists in guiding a system from an initial state to a desired one within a limited (and possibly minimum) time interval. When the objective is limited to a specific…

We investigate the controllability of an infinite-dimensional quantum system: a quantum particle confined on a Thick Quantum Graph, a generalisation of Quantum Graphs whose edges are allowed to be manifolds of arbitrary dimension with…

We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $\mu$-measurable $d$-coloring with respect to any Borel…

When one studies geometric properties of graphs, local finiteness is a common implicit assumption, and that of transitivity a frequent explicit one. By compactness arguments, local finiteness guarantees several regularity properties. It is…

Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$…

We calculate the K-theory of the Cuntz-Krieger algebra ${\cal O}_E$ associated with an infinite, locally finite graph, via the Bass-Hashimoto operator. The formulae we get express the Grothendieck group and the Whitehead group in purely…

This paper is concerned with an optimal control problem governed by nonsmooth semilinear elliptic partial differential equations with both distributed and boundary unilateral pointwise control constraints, in which the nonlinear coefficient…

Several authors have recently been studying the equilibrium or KMS states on the Toeplitz algebras of finite higher-rank graphs. For graphs of rank one (that is, for ordinary directed graphs), there is a natural dynamics obtained by lifting…

To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to…

We obtain necessary and sufficient conditions for pure infiniteness of the path groupoid $C^*$-algebra of a row-finite graph without sinks. In particular we show that for such a path groupoid $\mathcal{G}_E$, the properties of being…

We introduce a generalisation of Condition (K) to finitely separated graphs and show that it is equivalent to essential freeness of the associated partial action as well as the exchange property of any of the associated tame algebras. As a…

We consider non-autonomous calculus of variations problems with a state constraint represented by a given closed set. We prove that if the interior of the Clarke tangent cone of the state constraint set is non-empty (this is the constraint…

C*-algebras generalizing Cuntz-Krieger algebras can be associated to hyperbolic homeomorphisms of compact metric spaces. They satisfy a non-commutative form of Spanier-Whitehead duality with respect to K-theory. We prove this for the case…