“Guided” and “quantised” dynamical systems
by Orr Shalit
Evegenios Kakariadis and I have recently posted our paper “On operator algebras associated with monomial ideals in noncommuting variables” on the arxiv. The subject of the paper is several operator algebras (at the outset, there are seven algebras, but later we prove that some are isomorphic to others) that one can associate with each monomial ideal, in such a way that these algebras encode various aspects of the relations defining the ideal.
I refer you to the abstract and intro of that paper for more information about we do there. In this post I would like to discuss at some length an issue that came up writing the paper, and the paper itself was not an appropriate place to have this discussion.
1. Dynamical systems in spaces and algebras
For many mathematicians the phrase dynamical system means a set together with a group of maps acting on it. In the theory of C*-algebras one usually considers this action as represented by a homomorphism , where is the group of *-automorphisms of the C*-algebra (as in the situation described in Section 6 in this previous post).
I do not adopt this point of view as understanding dynamics as something that is automatically connected to a group – in fact the intuitive picture I have in my head of a dynamical evolution looks nothing like a group. Personally, I have always been more fascinated by dynamical systems which do not involve groups, in other words “irreversible” dynamical systems.
So to me a dynamical system is a pair where is a compact (for the sake of simplicity) and Hausdorff (for the sake of sanity) topological space and is a finite (as suffices for applicability) sequence of continuous maps .
Let us see what we obtain if we consider this from the *-algebraic point of view. Let the commutative C*-algebra . Every map gives rise to a map by
The maps are all unital *-endomorphisms, and if is a homeomorphism then is a *-automorphism. The dynamical system can be read from the action of the maps on the algebra .
Since algebras of the form (where is compact Hausdorff) constitute all commutative unital C*-algebras, our above discussion motivates (somewhat vaguely) defining a noncommutative dynamical system to be a pair , where is a C*-algebra and is a finite sequence of *-endomorphisms of .
2. Quantised dynamical systems
In the paper we introduce the quantised dynamical systems associated with a monomial ideal. The quantised dynamical system is a certain commutative C*-algebra and homomorphisms (*-homomorphisms) that act on it. That is, it is a noncommutative dynamical system in a commutative C*-algebra (the reason for the splashy name is that we had to clearly distinguish between this dynamical and another dynamical system that may be associated to a monomial ideal – a certain natural subshift. The quantised dynamical system is the less obvious dynamical system to study, and deserved a special name, and “quantum” is something you can say when talking about a noncommutative generalisation of something classical, especially when the noncommutative generalisation is commutative…).
The details are not important for my purposes here; the bottom line is that we have a noncommutative dynamical system where is a sequence of *-endomorphisms of a commutative C*-algebra (this system does play an important role in our analysis; see paper). Now let us check which readers are reading carefully: we have a noncommutative dynamical system on a commutative C*-algebra, say ; this corresponds to a classical dynamical system in , right?
Not exactly. If came from a classical system , then all maps must be unit preserving maps (because composition of the constant function gives back the constant function). However, in a typical situation our maps are not unit preserving. Then what do we get?
Letting , we find that is a projection in , so it is the characteristic function of a clopen set . It follows that the map is a unit preserving *-homomorphism of onto . Now we get by the usual Gelfand theory a continuous map .
Thus the noncommutative dynamical system gives rise to a partially defined dynamical system, that is continuous maps . In the paper we also call the quantised dynamical system (associated to a given monomial ideal), and these systems play a key, classifying role in our work on operator algebras associated with monomial ideals. But never mind the application, the concept itself of a partially defined dynamical seems like a very natural and interesting concept to consider. Has it been already considered before?
3. Guided dynamical systems
Funnily enough, I studied partially defined dynamical systems in my masters thesis, which was completed ten years ago. The idea to study such systems is due to my masters thesis advisor, Boris Paneah (in the next section I will explain what for). In my thesis I gave these dynamical systems the name guided dynamical systems, because it is like a dynamical system in which not all orbits are allowed, rather at every point there is a subset of the maps which cannot be used, thus one is guided along some particular orbits (the rough idea will become clearer when I explain how these systems arise in analysis, see next section).
This class of dynamical objects – which sits in between dynamical systems and topological graphs – continued to intrigue me and I had some hopes that it would be pursued further. On the other hand, mathematics is not short in definitions, and I did not want to push this idea artificially. Therefore I was pleasantly surprised that it arose naturally in my joint work with Evgenios (and, to be honest, it was his idea).
Here is a formal definition of a guided dynamical system (technically slightly different from the definition in my thesis).
Definition: A guided dynamical system is a triple consisting of a space , a sequence of maps on , and a sequence of subsets .
The sets are called guiding sets. If one is used to thinking of a dynamical system as a space in which points can be moved around by the maps, then one should think of a guided dynamical system as a space in which points can be moved around by the maps, with the restriction that if a point is in then one cannot use to move it. One may, if one prefers, consider that the map is only defined on the complement of .
In the notation of the previous section, one would put .
(I briefly discussed this notion and its relation to functional equations in this old post, especially Section 5 there).
This concept leads to “guided” notions of dynamical properties and ideas. For example, there is the notion of -invariant set : is said to be -invariant (for ) if for every , if , then (it is easier to be invariant then invariant). Another example: the guided dynamical system is said to be -minimal if the only non-empty -invariant subset of is itself (it is harder to be -minimal than minimal). Likewise, there are -attracting sets, and so on.
An important concept is the notion of -orbit of a point , which is the set of all points that can be reached by a sequence of applications of the maps , but where one may apply a map to a point only if .
One can study how theorems from classical dynamical systems fare in the guided world. An abstract and systematic study may be in place, on the other hand first things first: one has to show that the concept is rich (lots of examples) and useful (at least one application).
The quantised dynamical systems that arise in our paper are guided dynamical systems where the sets are the complements of the sets (so, we have a nice example of the phenomena that the noncommutative point of view can lead to some new ideas in the commutative world). But it is better to go back to the original origin of guided dynamical systems.
4. How guided dynamical systems arise in analysis?
Boris Paneah introduced the idea of guided dynamical systems (without using that terminology) in his study of functional equations (which originated from a problem in PDEs). Paneah wrote a series of papers on the subject, and I would recommend this one for starters. I will outline here how guided dynamical systems arise in the theory of functional equations; for an application of guided dynamical system to PDEs (an idea that is also due to Paneah) you can take a look at Chapter 4 of my thesis, which contains nice figures illustrating the dynamics made by Daniel Reem.
Let us consider the interval . Let be two given continuous maps of the interval. For a given continuous function we may consider the following functional equation:
(*) , .
The function is considered as an unknown, and the goal is to study the solvability (or hopefully even solve) the equation (*). We now introduce some more notation to show how a guided dynamical system arises from this problem, and how the (guided) dynamics determine the solvability of the equation.
To get things flowing let’s assume that every function that occurs is sufficiently smooth. Define . We assume that satisfy the following: (a) they are non-decreasing (b) and and for all . If follows that , and .
We use the sets as guiding sets for the dynamical system . We also denote . The relation between the dynamical system and the solvability of the functional equation (*) is summarised in the following theorem (a compilation of things from Section 2.3 in my thesis).
Theorem: With the above notation, the following are equivalent.
1) The guided dynamical system is -minimal.
2) The guided dynamical system has -weak attractor in .
3) For every satisfying and every , there exists a unique satisfying the functional equation (*) and .
1) A -weak attractor is a point which is an accumulation point of all the orbits (the word “weak” is to distinguish between this notion and another, stronger notion of attractor, which is a point to which all orbits converge). In general the existence of such a weak attractor is strictly weaker than -minimality, and it is a remarkable feature of these dynamical systems (as well as a surprising byproduct of the analysis of these functional equations) that the notions turn out to be equivalent.
2) It is easy to see that the condition is necessary for solvability of (*) (just plug in ). On the other hand, if is a solution then so is , for any . The theorem says that this is the only source of non-uniqueness (this is what the condition on the derivative is about).
In the rest of this section I will show how the existence of a -weak attractor (and therefore also -minimality) implies the uniqueness part of the above theorem. (My goal is merely to indicate how the notion of guided dynamical systems naturally arise).
We need to show that for some . Differentiating the equation we find that the continuous function satisfies the functional equation
Let be a point where attains its maximum . Then if then , and then we must have . We see inductively that the for every point in the -orbit of . Likewise, if is a point where attains its minimum in , we conclude that attains a minimum at very point in the -orbit of . Now if is a -weak attractor, then it is an accumulation point of the -orbits of both and , so attains both its minimum and its maximum at , whence is constant. Q.E.D.
(To get the whole theorem is obviously more complicated, and involves among other thing a clever application of Fredholm theory; perhaps I will discuss it some other time. )
Let me remark that such a dynamical system may certainly fail to have a -weak attractor in , for example if the dynamical system forces a point to go in a guided cycle in (but it is an open question whether in this setting there must be a guided cycle in when fails to be -minimal).
5. How guided dynamical systems arise in nature?
Obvious! Everything is a guided dynamical system (Isn’t it clear that this is superior to considering groups?)
6. Final word of warning
Having linked to my masters thesis I cannot resist making fun of my younger self, and say to all the kids out there: beware! the thesis contains some ridiculously unripe examples of how not to write; if you really have nothing else to do, see for example the fifth line in the abstract (which, sorry to say, contains no typo).