Vladimir Protasov LAquila University Italy Moscow State University
- Slides: 46
Vladimir Protasov L’Aquila University (Italy), Moscow State University (Russia) Primitivity and synchronizing automata: a functional analytic approach
All parts of diameters bigger than one
All parts of diameters bigger than one The problem of classifying all non-contractive partitions is still open. For d=2, 3 is done. For general d there was Vallet’s conjecture (1979). Disproved in 2009. Each of them has an invariant affine plane
Applications to synchonizing automata 1 2 3
Definition. A finite sequence of commands is called a synchronizing word (or reset word) if it sends all states to one state.
One corollary from the contraction product theorem G G
Applications to primitive matrix semigroups
NO: The matrices may have a common invariant subspace
1 Example: 2 3 1 4 2 5 6 7 8 3 Question 1. How to characterize all PRIMITIVE families, which have positive products ? Question 2. Is it possible to decide the existence of a positive product within polynomial time ?
The case of one matrix (m=1) If a family {A} possesses a positive product, then some power of A is positive. Definition 1. A matrix is called primitive if it has a strictly positive power. Primitive matrices share important spectral and dynamical properties with positive matrices and have been studied extensively.
Perron-Frobenius theorem (1912) A matrix A is not primitive if it is either reducible or one of the following equivalent conditions is satisfied:
Can these results be generalized to families of m matrices or to multiplicative matrix semigroups ? One of the ways – strongly primitive families.
Strongly primitive families have been studied in many works. Applications: inhomogeneous Markov chains, products of random matrices, probabilistic automata, weak ergodicity in mathematical demography. There is no generalization of Perron -Frobenius theory to strongly primitive families The algorithmic complexity of deciding the strong primitivity of a matrix family is unclear. Most likely, this is not polynomial. Let N be the least integer such that all products of length N are positive. There are families of d x d – matrices, for which N = (Cohen, Sellers, 1982; Wu, Zhu, 2015) (compare with N = for one matrix)
Another generalization: the concept of primitive families. Definition 3. A family of matrices is called primitive if there exists at least one positive product. Justification. If the matrices of the family have neither zero columns no zero rows, then almost all long products are positive.
Question 1. How to characterize primitive families ? Can the Perron-Frobenius theory be somehow generalized to primitive families ? Question 2. Is it possible to decide the existence of a positive product within polynomial time ? The answers to both these questions are affirmative. (under some mild assumptions on matrices)
Proofs of Theorem 1 (2012) P. , Voynov. By applying geometry of affine maps of convex polyhedra. Call for purely combinatorial proofs (2013) Alpin, Alpina. Combinatorial proof. (2014) Blondel, Jungers, Olshevsky. Combinatorial proof. (2015) P. , Voynov. By applying functional difference equations. (2019) Alpin, Alpina. Combinatorial proof
Proof by the contraction product theorem (the idea). 4 3 1 2 L
What about the minimal length N of the positive product ?
Generalization to Hurwitz products: m-primitive families Fornasini, Valcher (1997), Olesky, Shader, van den Driessche (2002), etc. The family is m-primitive if it has at least one positive Hurwitz product
The terminology: Fornasini, Valcher (1997), Olesky, Shader, van den Driessche (2002), P. (2013) k-primitivity We are in this talk m-primitivity It is probably better h-primitivity
Applications for graphs and for multivariate (2 D, 3 D, etc. ) Markov chains. The complexity of recognition of m-primitive families was unclear. There is a criterion, which is highly non-polynomial. An analogous result can be obtained for m-primitive families. The proof is algebraic, it uses theory of Abelian groups
The key difference between the criteria of primitivity and of m-primitivity There are geometric, combinatorial, and analytic proofs m-primitivity There is one algebraic proof A geometric proof ? An analytic proof ?
m-synchonizing automata 1 2 3
We are restricted by the total number of commands (i) which can by applied for the reset, i = 1, …, m. Example: each command requires some resources (time, electricity, money, etc) We need to have a spare amount of resources to reset the system independently of the state.
How to find the reset color vector? How to find the reset word for a given state? What is an upper bound for the length of the reset color vector?
Proof of the contraction product theorem Analytic approach based on functional equations f(1) f(0) f(t)
Special cases: Fractal curves: Cantor, Koch, De Rham (1950), Barnsley (1988) Wavelets: Daubechies, Lagarias, Cohen, Strang, Heil, …. (1988 -- 1994) Approximation algorithms: Dubuc, Micchelli, Dyn, …. (1986 -1998) Probability: Derfel (1989), Dyn, Levin (1996) Self-similar measures: Solomyak, Verbitsky (1995), Sheipak (2006)
Example 1. The Koch curve O K L M N
Example 2. De Rham curve This is a self-similar curve for two operators:
Proof of the contraction product theorem
Thank you!
Applications of primitivity of matrix families inhomogeneous Markov chains products of random matrices, Lyapunov exponents, probabilistic automata, refinement functional equations mathematical ecology (succession models for plants) Products of random matrices, Lyapunov exponents Every choice is independent with equal probabilities 1/m (the simplest model)
This result was significantly strengthened by V. Oseledec (multiplicative ergodic theorem, 1968) The problem of computing the Lyapunov exponent is algorithmically undecidable (Blondel, Tsitsiclis, 2000)
In case of nonnegative matrices there are good results on both problems. 1) An analogue of the central limit theorem for matrices (Watkins (1986), Hennion (1997), Ishitani (1997)) 2) Efficient methods for estimating and for computing the Lyapunov exponent (Key (1990), Gharavia, Anantharam (2005), Pollicott (2010), Jungers, P. (2011)). All those results hold only for primitive families. The existence of at least one positive product is always assumed in the literature ``to avoid pathological cases ’’ Our Theorems 1 and 2 extend all those results to general families of nonnegative matrices.
Refinement equations with nonnegative coefficients Refinement equation is a difference functional equation with the contraction of an argument is a sequence of complex numbers sutisfying some constraints. This is a usual difference equation, but with the double contraction of the argument Applications: wavelets theory, approximation theory, subdivision algorithms , power random series, combinatorial number theory.
How to check the existence of a compactly supported solution ? How to check if in case all the coefficients are nonnegative ? I. Daubechies, D. Lagarias, 1991 A. Cavaretta, W. Dahmen, C. Micchelli, 1991 C. Heil, D. Strang, 1994 R. Q. Jia, 1995, K. S. Lau, J. Wang, 1995 Y. Wang, 1996 Example.
Conclusions Thus, if a family of matrices is not primitive, then all its matrices constitute permutations of the canonical partition. The canonical partition can be found by a fast algorithm. This allows us to extend many results on Lyapunov exponents to general families of nonnegative matrices. In particular, to construct an efficient algorithm of computing the Lyapunov exponents of nonnegative matrices. Other applications: functional equations, succession models in mathematical ecology, etc. Thank you!
All parts of diameters bigger than one The problem of classifying all non-contractive partitions is still open. For d=2, 3 is done. For general d there was Vallet’s conjecture (1979). Disproved in 2009. Each of them has an invariant affine plane
- Confucius institute at moscow state linguistic university
- Moscow state university accommodation
- Moscow state university of design and technology
- "moscow state forest university" "money laundering"
- "bauman moscow state technical university" "fraud"
- Lomonosov moscow state university international relations
- Moscow state university of psychology and education
- Msfu
- Sti university moscow
- University of salerno province
- Pegaso telematic university
- Brescia university italy
- Climograph of bangkok
- My friend lives in moscow said alec
- 1147 moscow
- Moscow is the capital of which country
- Stalin tower
- Rosbusinessconsulting
- Luke upchurch
- Climograph southern hemisphere
- 127287
- Landforms in moscow
- To inform the readers/listeners about a newsworthy event.
- Present simple present continuous past simple future simple
- Moscow ski
- It softline 400m london moscow ipos
- Moscow art theatre
- Acting the first six lessons
- Moscow financial forum
- Moscow 1988
- Levis moscow t shirt
- Dragon lights festival at moscow
- Luke conner moscow
- Ogilvy russia
- Itep moscow
- Was moscow maggie a communist
- Alla pugacheva was born in 1949 in moscow
- Ruth
- Apnak bang
- Moscow institute of steel and alloys
- Embassy of india school moscow
- State the properties of liquid state
- State to state regionalism
- Synchronous counter design
- Good state and bad state graphs in software testing
- T state vs r state
- Define shell and subshell