Nonnegative Matrices I

Similar documents
Section 1.7: Properties of the Leslie Matrix

Key words. Strongly eventually nonnegative matrix, eventually nonnegative matrix, eventually r-cyclic matrix, Perron-Frobenius.

Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J

Sang Gu Lee and Jeong Mo Yang

Chapter 9: Relations Relations

The spectrum of a square matrix A, denoted σ(a), is the multiset of the eigenvalues

A Tiling and (0, 1)-Matrix Existence Problem

Eigenvectors Via Graph Theory

Sparsity of Matrix Canonical Forms. Xingzhi Zhan East China Normal University

Math.3336: Discrete Mathematics. Chapter 9 Relations

arxiv: v1 [math.ra] 16 Jul 2014

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

Markov Chains, Random Walks on Graphs, and the Laplacian

Preliminaries and Complexity Theory

Sign Patterns that Allow Diagonalizability

Eventually reducible matrix, eventually nonnegative matrix, eventually r-cyclic

ECEN 689 Special Topics in Data Science for Communications Networks

The power graph of a finite group, II

1.10 Matrix Representation of Graphs

SIGN PATTERNS THAT REQUIRE OR ALLOW POWER-POSITIVITY. February 16, 2010

Convex Optimization CMU-10725

Another algorithm for nonnegative matrices

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition A finite Markov chain is a memoryless homogeneous discrete stochastic process with a finite number of states.

Lecture 3: graph theory

Z-Pencils. November 20, Abstract

Intrinsic products and factorizations of matrices

AALBORG UNIVERSITY. Directed strongly regular graphs with rank 5. Leif Kjær Jørgensen. Department of Mathematical Sciences. Aalborg University

Social network analysis: social learning

On the convergence of weighted-average consensus

A linear algebraic view of partition regular matrices

List of topics for the preliminary exam in algebra

LIMITING PROBABILITY TRANSITION MATRIX OF A CONDENSED FIBONACCI TREE

CSC Discrete Math I, Spring Relations

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Detailed Proof of The PerronFrobenius Theorem

Applications to network analysis: Eigenvector centrality indices Lecture notes

J. Korean Math. Soc. 30 (1993), No. 2, pp. 267{274 INDICES OF IRREDUCIBLE BOOLEAN MATRICES Han Hyuk Cho 1.Introduction Let = f0 1g be the Boolean alge

THE BOOLEAN IDEMPOTENT MATRICES. Hong Youl Lee and Se Won Park. 1. Introduction

Sign Patterns with a Nest of Positive Principal Minors

On scores in tournaments and oriented graphs. on score sequences in oriented graphs. Also we give a new proof for Avery s

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Notes on Linear Algebra and Matrix Theory

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms

Rings, Paths, and Paley Graphs

Markov Chains Handout for Stat 110

Eugene Wigner [4]: in the natural sciences, Communications in Pure and Applied Mathematics, XIII, (1960), 1 14.

Markov Chains and Spectral Clustering

Hamilton Cycles in Digraphs of Unitary Matrices

MATH 56A: STOCHASTIC PROCESSES CHAPTER 1

A Cycle-Based Bound for Subdominant Eigenvalues of Stochastic Matrices

Chapter 1. Greatest common divisor. 1.1 The division theorem. In the beginning, there are the natural numbers 0, 1, 2, 3, 4,...,

Discrete Optimization 23

Discrete Applied Mathematics

Exam Practice Problems

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Max-plus algebra. Max-plus algebra. Monika Molnárová. Technická univerzita Košice. Max-plus algebra.

Characteristic polynomials of skew-adjacency matrices of oriented graphs

TRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS

Technische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik. Combinatorial Optimization (MA 4502)

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

Characterizations of Strongly Regular Graphs: Part II: Bose-Mesner algebras of graphs. Sung Y. Song Iowa State University

Combinatorial optimization problems

Introduction to Kleene Algebras

Outlines. Discrete Time Markov Chain (DTMC) Continuous Time Markov Chain (CTMC)

Primitive Digraphs with Smallest Large Exponent

Markov Chains (Part 3)

Writing Assignment 2 Student Sample Questions

Markov Chains. Andreas Klappenecker by Andreas Klappenecker. All rights reserved. Texas A&M University

NOTES ON THE PERRON-FROBENIUS THEORY OF NONNEGATIVE MATRICES

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

Math Homework 5 Solutions

Minimum number of non-zero-entries in a 7 7 stable matrix

Link Analysis. Leonid E. Zhukov

Matrix Completion Problems for Pairs of Related Classes of Matrices

Control and synchronization in systems coupled via a complex network

On algebras arising from semiregular group actions

Relations Graphical View

Mathematics for Cryptography

On non-hamiltonian circulant digraphs of outdegree three

Simplification by Truth Table and without Truth Table

Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr.

IE418 Integer Programming

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

Extremal numbers of positive entries of imprimitive nonnegative matrices

Introduction to Machine Learning CMU-10701

21-301, Spring 2019 Homework 4 Solutions

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Reachability and controllability of time-variant discrete-time positive linear systems

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

Primitive Matrices with Combinatorial Properties

Polynomial Rings : Linear Algebra Notes

Lecture 13 Spectral Graph Algorithms

An Alternative Proof of Primitivity of Indecomposable Nonnegative Matrices with a Positive Trace

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2018

On some incidence structures constructed from groups and related codes

Automorphisms of strongly regular graphs and PDS in Abelian groups

Transcription:

Nonnegative Matrices I Daisuke Oyama Topics in Economic Theory September 26, 2017

References J. L. Stuart, Digraphs and Matrices, in Handbook of Linear Algebra, Chapter 29, 2006. R. A. Brualdi and H. J. Ryser, Combinatorial Matrix Theory, Cambridge University Press, Cambridge, 1991. 1 / 13

Directed Graphs and Matrices A directed graph G = (V, E) consists of a nonempty finite set V of vertices (or nodes) and a subset E of V V, whose elements are called edges (or arcs). An undirected graph can be seen as a special case of a directed graph where (u, v) E if and only if (v, u) E. The adjacency matrix of a directed graph G = (V, E) with V = {v 1,..., v n } is the n n matrix A such that a ij = 1 if (v i, v j ) E and a ij = 0 otherwise. The directed graph of an n n matrix A is the directed graph (V, E) with V = {1,..., n} such that (i, j) E if and only if a ij 0. 2 / 13

Strongly Connected Components of a Directed Graph We say that u V has access to v V and denote u v if u = v, or there are v 0,..., v k V with v 0 = u and v k = v such that (v i, v i+1 ) E for all i = 0,..., k 1. The sequence of edges (v 0, v 1 ),..., (v k 1, v k ) is called a walk of length k. By convention, for all v V there is a walk of length 0 from v to v (even if (v, v) / E). The binary relation on V is a preorder (or quasi-order), i.e., it is reflexive (u u for all u V ) and transitive. Define the binary relation on V by u v if u v and v u (in which case we say that u and v communicate). Then is an equivalence relation, i.e., it is symmetric (u v if and only if v u), reflexive, and transitive. 3 / 13

For each v, its equivalent class with respect to is [v] = {u V u v}. The quotient set of V by is V/ = {[v] v V }. Elements of V/ are called strongly connected components (SCCs) of G. If G has a unique SCC, then it is called strongly connected. 4 / 13

The reduced directed graph (or condensation directed graph) of G = (V, E) is the directed graph R(G) = (V, E ) given as follows: V = V/, (Vi, V j ) E if and only if V i V j and (v i, v j ) E for some v i V i and v j V j. For V i, V j V, V i V j if and only if v i v j for some (in fact, for all) v i V i and v j V j. The access preorder for R(G) is also a partial order, i.e., it is also anti-symmetric (if U V and V U, then U = V ). For R(G) = (V, E ), elements of V can be ordered as V 1,..., V k so that if (V i, V j ) E, then i < j. 5 / 13

Irreducibility of a Matrix Let A be an n n matrix, and G(A) the directed graph of A. For n 2, we define A to be irreducible if G(A) is strongly connected, and reducible otherwise. For n = 1, we define A to be irreducible if A O, and reducible if A = O. 6 / 13

Let n 2. If A is reducible with k 2 SCCs, then there exists a permutation matrix P such that A 11 A 12 A 1k P AP O A 22 A 2k =........, O O A kk where A 11,..., A kk are square irreducible matrices, which are called the irreducible components of A. (The form above is called a Frobenius normal form of A.) 7 / 13

Periodicity of a Strongly Connected Directed Graph (Definitions may differ across different textbooks.) Let G = (V, E) be a directed graph. A walk of length k is a sequence of edges (v 0, v 1 ),..., (v k 1, v k ) of length k. A walk is closed if v k = v 0. A simple walk or path is a walk such that all vertices, possibly except v 0 and v k, are distinct. A cycle is a simple walk such that v k = v 0. A cycle of length k is called a k-cycle. 8 / 13

Let G = (V, E) be a strongly connected directed graph with V 2. The period of a vertex v V is the greatest common divisor of the lengths of all closed walks containing v. It equals the GCD of the lengths of all cycles containing v. If some vertex of G has period d, then all vertices of G (being strongly connected) have period d. The period of G is the period of some (in fact, any) vertex of G. G is aperiodic if its period is 1, and periodic otherwise. 9 / 13

G is primitive if there exists a positive integer k such that for any u, v V, there exists a walk of length k from u to v. It is imprimitive if it is not primitive. The following are equivalent: G is primitive. G is aperiodic. There exists a positive integer k such that for any t k and for any u, v V, there exists a walk of length t from u to v. The period of G is also called the index of imprimitivity. 10 / 13

Suppose that a strongly connected directed graph G has period d. Fix any vertex u 0 V. For each m = 0,..., d 1, let V m be the set of vertices v such that there exists a walk of length kd + m from u 0 to v for some k. These sets V 0,..., V d 1 constitute a partition of V and are called cyclic components. 11 / 13

Periodicity of an Irreducible Matrix Let A be an n n irreducible matrix, and G(A) the directed graph of A. The period, or the index of imprimitivity, of A is the period of the index of imprimitivity of G(A). A is aperiodic if its period is 1, or equivalently, if G(A) is aperiodic. If A has period d, then there exists a permutation matrix P such that O A 0 O O O O A 1 O P AP =....... O O O A d 2 A d 1 O O O (The form above is called a cyclic normal form of A.) 12 / 13

Powers of an Irreducible Nonnegative Matrix Let A be an n n nonnegative matrix. For a nonnegative integer k, write a (k) ij (where A 0 = I). for the (i, j) entry of A k a (k) ij > 0 if and only if there is a walk of length k from i to j. Let A be an n n irreducible nonnegative matrix. For each (i, j), there exists k = 0,..., n 1 such that a (k) ij > 0. A is primitive if there exists k such that A k O. A is primitive if and only if it is aperiodic. 13 / 13