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
|
|
- William Walton
- 5 years ago
- Views:
Transcription
1 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 algebra of order two with operations (+ ) : 1+0= 0+1= 1+1= 1 1 = 1 & 0+0= 0 1 = 1 0 = 0 0=0and an order : 0 < 1. Then under these Boolean operations, the set B n of all n n matrices over (Boolean matrices) forms a multiplicative matrix semigroup. There have been many researches on various semigroup properties of B n. In this paper we study the indices of irreducible Boolean matrices in B n. Definition 1.1. Let A be an n n Boolean matrix in B n. The index of A and the period of A are the least positive integers q and p respectively such that A q = A q+p. For A 2 B n, index(a) and period(a) denote the index and the period of A respectively, and (A) denotes the number of one's of A. A 2 B n is called a J ;matrix if (A) is n 2, and A is primitive ifa q is a J ;matrix for some integer q. For an n n Boolean matrix A = [a ij ], the associated digraph of A, denoted by G(A), is the digraph with vertices f1 2 ::: ng such that there is an arc from i to j if and only if a ij > 0. A path from i to j of length l in G(A) is a sequence of vertices (v 0 = i v 1 ::: v l = j) such that a vk v k+1 =1foreach k 2f0 1 ::: l; 1g. A path is a simple path if v 1 ::: v l are all distinct, and a simple path is a cycle if v 0 = v l. Then we can interpretes many properties of A 2 B n in terms of its digraph G(A). For example, a Boolean matrix A 2 B n is primitive if and only if its associated digraph G(A) is strongly connected (i.e. for any vertices i and j in G(A) there is a path from i to j). Received February 11, Revised January Partially supported by the Korea Science and Engineering Foundation
2 268 Han Hyuk Cho Definition 1.2. Let A 2 B n be an n n Boolean matrix. Then A is irreucible if A is not permutationally similar to a matrix of the form B1, where B 0 B i 's are square matrices. A is reducible if A is not 2 irreducible. A is nearly reducible if deleting any positive entry of A results in a reducible matrix. If A is an irreducible matrix of period p, then A is called a p;irreducible matrix. A 2 B n is called a cyclically p;partite matrix if A is permutationally similar to the following matrix 0 = D 1 B 1 0 D 2 B 2 0 D 3 B p;1 B p 0 D p 1 C A where the block matrices D k 's on the main diagonal of are square zero matrices. For each k and m, welet k (m) =B k B k+1 B k+m;1 and k = k (p), where B k+i represents B j of ifk + i j(mod p). Lemma 1.3. Consider the matrix in the Denition 1.2. Then, (1) period( i ) = period( j ). (2) j index( i ) - index( j ) j 1. (3) If is irreducible, then index() is the smallest integer q such that k (q) is a J ;matrix for any k. Proof. Refer to Cho [3]. 2. Frobenius Numbers and Circum-diameters For the semigroup R n of n n real matrices, we say M 2 R n is power convergent in R n if the powers M M 2 M 3 M q form a convergent sequence in R n. It is well known that the power convergence of M is closely related to the set of eigenvalues of M. For the semigroup B n of Boolean matrices, any p;irreducible matrix A 2 B n has a nite index in B n, and the circumferences of A is closely related to the index of A as follows.
3 Indices of Irreducible Boolean Matrices 269 Definition 2.1. Let C = fc 1 c 2 c g be a nite set of relatively prime positive integers. The Frobenius number '(C) ofc is the smallest integer q such that any integer h( q) can be expressed as a nonnegative linear combination of c i 's (i.e. h = P a i=1 ic i, where a i 's are nonnegative integers). In general, for a nite set of positiveintegers C = fc 1 c 2 c g with the greatest common divisor gcd(c) =p, the Frobenius number '(C) of C is p '(d 1 d 2 d ), where d i = c i p. Let A 2 B n be an n n Boolean matrix, and let G(A) be its associated digraph with vertices f1 2 ::: ng. If there is a c;cycle (cycle of length c), then such integer c is called a circumference of A (and of G(A)). ;A and (A) denote respectively the set of all the circumferences of A and the cardinality of ;A. Now let A be irreducible and C be a subset of ;A. For any vertices s and t in G(A), P (s t) =f j is a path from s to tg and Q(C s t) =f j is a circumpath from s to t w.r.t. Cg (i.e. is a path from s to t such that meets with a p;cycle for each p 2 C). Then the distance d(s t) from s to t is the minimum of flength of j 2 P (s t)g, and the circum-distance (C s t) from s to t w.r.t. C is the minimum of the set flength of j 2 Q(C s t)g. Finally the circum-diameter A (C) of A w.r.t. C is the maximum of f(c s t)js t 2 G(A)g, and ' A (C) denotes '(C) if C is a subset of ;A. Lemma 2.2. Let A 2 B n be a p;irreducible matrix. Then index(a) ' A (C)+ A (C) for any subset C of ;A with gcd(c) =p. Proof. Refer to Cho [3] B C Consider the 4 by 4 Boolean matrix W A. Then the characteristic polynomial of W (as a real matrix) is 4 ; ; 1, and W is power divergent inr 4 since there exists an eigenvalue whose absolute value is greater than 1. But W (as a Boolean matrix) is power convergent inb n, and index(a) =' W (C)+ W (C). Now consider the primitive matrix
4 270 Han Hyuk Cho A = : B A Then ;A = f4 5 7g ' A (4 5 7) = 7 A (4 5 7) = 7: But index(a) = 12 < 14 = ' A (4 5 7) + A (4 5 7): Thus there exists a Boolean matrix A such that index(a) < ' A (C) + A (C). Note that if p and q are relatively prime integers, then '(p q) =(p ; 1)(q ; 1): 3. Gaps in the Index Set E p n For the given positive integers n and p(p n), let En p be the index set findex(a)ja 2 B n is p;irreducible g and men p be the maximum element of En. p Also let G p n be the set fgjg is a positive integer less than men p and g =2 En p g. Then any integer in Gp n is called a gap of En. p Shao [11] and Min [9] proved that there is no gap less than! n +1in the index set En(n 1 6= 11), where! n = n2 ;2n+2. Moreover 2 Lewin and Vitek [7] specied the gaps greater than! n + 1 in En. 1 In this section we investigate the gaps in the index set En p of n n p;irreducible matrices using their results and the index properties of cyclically p;partite matrices. Definition 3.1. E n (i j) denotes an n n Boolean matrix whose (i j);entry is the only nonzero entry. Each n n permutation matrix P can be expressed as a Boolean sum P n E i=1 n(i (i)), where is an element of the symmetric group S n representing P. Let n = p + with =[ n p ] for some positive integers p( n), and let M n p denote the set fa 2 B n ja is p;irreducible and index(a) >p(! +1)+g. Lemma 3.2. Let C = fc 1 c 2 c g be a nite set of positive integers with 2 c 1 < c 2 < < c n and gcd(c) = p. If c + c ;1 n, then E p n(c) E p n, where Ep n(c) = f'(c) + c ; p '(C)+c ; p +(n ; c ;1 )g.
5 Indices of Irreducible Boolean Matrices 271 Proof. Let u = c ;1, v = c, and M(C) = (v) + P E i=1 v(c i ). Here, + is the Boolean sum, (v) =E v (v 1) + P v;1 E i=1 v(i i +1),and E v (c i ) = P j2s i E v (c i j), where S i = fjjj > 0 and c i ; j +1 2 Cg. For integers s and t with 0 s v ; u and 0 t < u, consider the (v + t) (v + t) matrix where M(C s) =M(C)+ P s E i=1 v(i + u). For n with v n<u+ v M(C s t) Q M n (C s t) = R 0 is an n n matrix such that the i;th row (respectively column) of R(Q) is the rst row (column) of M(C s t) for any i. If u + v > n, then the index of the above M n (C s t) is '(C) +(v ; p) +(v ; u ; s) +t. Now let u + v = n, and consider the n n matrix S = Mn;1 (C 0 u; 1) 0 +E n (u ;1 n)+e n (n u+1). Then the index of S is '(C)+(v ; p)+(n ; u). Therefore we have the lemma. It is well known that any p;irreducible matrix is a cyclically p;parti te matrix. Also note that permutationally similar matrices have the same index. Thus without loss of generality we will assume that the matrix A of Lemma 3.3 and 3.4 is of the form (in Denition 1.2). Lemma 3.3. If A 2 M p n( 3), then ;A = fpg phg with g+h >.
6 272 Han Hyuk Cho Proof. First let p = 1. It is known that for a primitive matrix A 2 B, (A) 3 means index(a)! +1[7]. If (A) is 1, then the girth of A is 1 and index(a)! +1. Also if ;A = fg hg with g + h, then index(a) (g ; 1)( ; g ; 1) + 2 ; g ; 1 = ;g 2 + g( ; 1) + g! +1. Now let p 2. If index( 1 ) is the minimum of the set findex( i )g and if there are many i 's such that index( i ) > index( 1 ), then index(a) p(index( 1 )) +. Thus if (A) = 1, then the girth of A is p and index(a) p + p(! +1)+. Next if (A) 3, then index(a) p(! +1)+ since there are at most many i 's whose order is greater than. Now let ;A = fpg phg with g < h, and let be the minimum of forder of i g and the order of k be. Note that if g + h, then index( k ) (g ;1)(;g ;1)+2 ;g ;1! +1. Since at least p; many i 's are of order less than +1, index(a) p(! +1)+. Thus if index(a) >p(! +1)+, then ;A = fpg phg with g + h>. Lemma 3.4. Let A 2 B n ( 3) be p;irreducible, ;A = fpg phg (g <h), andq = g(h ; 1). If every i is nonsymmetric and g + h>, then pq index(a) pq + p( ; g)+ is a sharp inequality. Proof. If p = 1, then A is primitive and the lemma holds by the results of Lewin and Vitek [7]. From their results, if A is symmetric, then index(a)! +1. For each h;cycle of G(A), there is an arc (s t) in with d(t s) =h ; 1, and g(h ; 1) index(a) g(h ; 1) + ( ; g). Thus in the following proof, we will assume that p 2. We also let u = pg and v = ph. (Upper bound) Since A is a p;irreducible matrix, without loss of generality, let A be of the form (in Denition 1.2). If the order of i is m for some i, then index( i ) q +(m ; g). If m <, then index( j ) q +( ; g) for any j, and index(a) pq + p( ; g) in this case. Now let the minimum of forder of i g be. Then there are at most many i 's such that the order of each i is greater than. Therefore by the structure of A(= ) and Lemma 1.3, index(a) pq + p( ; g)+. (Lower bound) Consider a v;cycle of G(A) labeled as (v 1 v 2 v v v 1 ). Without loss of generality let d(v p+1 v 1 ) be v ; p (so there is no path of length pq ; p from v p+1 to v 1 ). If index(a) pq ; 1, then there is a path j of length pq ; 1 from v p+1;j to v p;j for 0 j <p.
7 Indices of Irreducible Boolean Matrices 273 Note that the length of i can be expressd as a sum of the length of a simple path from v p+1;j to v p;j and some circumferences of A. Also note that p(g ; 1)(h ; 1) ; p(= pgh ; pg ; ph) cannot be expressed as a nonnegative linear combination of u and v. So there is a path of length u ; 1 from v p+1;j to v p;j for 0 j < p since pq ; 1 = p(gh ; g) ; 1=pgh ; pg ; 1=pgh ; pg ; ph +(v ; 1). By the similar reason, we can construct a path of length k(u ; 1) from v p+1 to v p+1;k for 0 < k p. Then there is a path of length pq ; p from v p+1 to v 1 since pq ; p = u(h ; 1) ; p = u(h ; p ; 1) + p(u ; 1), contradiction. Thus index(a) pq. (Sharpness) By the Lemma 3.2. Theorem 3.5. For each ( 3) and n = p + with = [ n p ]( 3) [p( 2 ; +[( +1) 2 =4]) + 1 p( 2 ; ( ; 1) +( ; 2)) ; 1] is a gap interval greater than p(! +1)+ in the index set E p n. Proof. Let Mn[" p ] denote the set fa 2 Mn p j;a = fpg phg(g <h) such that " = h ; g +1 and = ; hg. For a positive integer, M p n[] denotes the set S "+2= M p n[" ]. Now choose any A 2 M p n. Then we may assume that ;A = fpg phg(g < h) with g + h > by Lemma 3.3, and A 2 M p n[] for some. From Lemma 3.4 we can obtain an inequality p( 2 ;+[; 2 +( ;2) +( ;1)] index(a) p( 2 ;+[; 2 +( ;3)+2( ;1)]). Since =( ;")=2 the minimum possible value of [; 2 +( ;2) +( ;1)] is ;1 when =0by simple calculation, and the maximum possible value of [; 2 +(;3)+2(;1)] is [( +1) 2 =4] when is ( ; 3)=2. Therefore there does not exist any matrix in M p n whose index lies between p( 2 ; +[( +1) 2 =4]) + 1 and p( 2 ; ( ; 1) +( ; 2)) ; 1. It is our belief that if 14 or 8, then there is no gap less than p(! +1)+ in the index set E p n. References 1. A.Berman and R.J. Plemmons, Nonnegative Matreces in the Mathematical Sciences, Academic Press, New York, R.A. Brualdi and B. Liu, Generalized exponents of primitive directed graphs, J. Graph Theory (4) 14 (1990),
8 274 Han Hyuk Cho 3. H.H. Cho, On the indices of the Boolean matrices, Proc. Workshops Pure Math. 9 (1989), A.L. Dulmage and N.S. Mendelsohn, Gaps in the exponent set of primiteve matrices, Illinois J. Math. 8 (1964), K.H. Kim, Boolean Matrix Theory and Applications, Pure and Applied Mathematics, 70, Marcel Dekker,New York, K.H. Kim, An extension of the Dulmage-Mendelsohn theorem, Linear Algebra and Appl. 27 (1979), M. Lewin and Y. Vitek, A system of gaps in the exponect set of primitive matrices, Illinois J. Math. 25 (1981), G. Markowsky, Bounds on the index and period of a binary relation on a nite set, Semigroup Forum. 13 (1977), Z.K.Min, On Lewin and Vitek's conjecture about the exponent set of primitive matrices, Linear Algebra and Appl. 96 (1987), H.Minc, The structure of irreducible matrices, Lin. and Multilinear Algebra 2 (1974), J. Shao, On a conjecture about the exponent set of primitive matrices, Linear Algebra and Appl. 65 (1985), Y.Vitek, Bounds for a linear diophantine problem of Frobenius, J.London Math. Soc. 10 (1975), Department of Mathematics Ed. Seoul National University Seoul , Korea
Nonnegative Matrices I
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.
More informationTHE BOOLEAN IDEMPOTENT MATRICES. Hong Youl Lee and Se Won Park. 1. Introduction
J. Appl. Math. & Computing Vol. 15(2004), No. 1-2. pp. 475-484 THE BOOLEAN IDEMPOTENT MATRICES Hong Youl Lee and Se Won Park Abstract. In general, a matrix A is idempotent if A 2 = A. The idempotent matrices
More information1182 L. B. Beasley, S. Z. Song, ands. G. Lee matrix all of whose entries are 1 and =fe ij j1 i m 1 j ng denote the set of cells. The zero-term rank [5
J. Korean Math. Soc. 36 (1999), No. 6, pp. 1181{1190 LINEAR OPERATORS THAT PRESERVE ZERO-TERM RANK OF BOOLEAN MATRICES LeRoy. B. Beasley, Seok-Zun Song, and Sang-Gu Lee Abstract. Zero-term rank of a matrix
More informationMaximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector
Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector MI Bueno, Department of Mathematics and The College of Creative Studies University of California,
More informationSang Gu Lee and Jeong Mo Yang
Commun. Korean Math. Soc. 20 (2005), No. 1, pp. 51 62 BOUND FOR 2-EXPONENTS OF PRIMITIVE EXTREMAL MINISTRONG DIGRAPHS Sang Gu Lee and Jeong Mo Yang Abstract. We consider 2-colored digraphs of the primitive
More informationSparsity of Matrix Canonical Forms. Xingzhi Zhan East China Normal University
Sparsity of Matrix Canonical Forms Xingzhi Zhan zhan@math.ecnu.edu.cn East China Normal University I. Extremal sparsity of the companion matrix of a polynomial Joint work with Chao Ma The companion matrix
More informationRANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA
Discussiones Mathematicae General Algebra and Applications 23 (2003 ) 125 137 RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Seok-Zun Song and Kyung-Tae Kang Department of Mathematics,
More informationPrimitive Digraphs with Smallest Large Exponent
Primitive Digraphs with Smallest Large Exponent by Shahla Nasserasr B.Sc., University of Tabriz, Iran 1999 A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of MASTER OF SCIENCE
More informationPrimitive Matrices with Combinatorial Properties
Southern Illinois University Carbondale OpenSIUC Research Papers Graduate School Fall 11-6-2012 Primitive Matrices with Combinatorial Properties Abdulkarem Alhuraiji al_rqai@yahoo.com Follow this and additional
More informationMinimizing the Laplacian eigenvalues for trees with given domination number
Linear Algebra and its Applications 419 2006) 648 655 www.elsevier.com/locate/laa Minimizing the Laplacian eigenvalues for trees with given domination number Lihua Feng a,b,, Guihai Yu a, Qiao Li b a School
More informationThe kth Upper Generalized Exponent Set for the Class of Non-symmetric Primitive Matrices
The kth Upper Generalized Exponent Set for the Class of Non-symmetric Primitive Matrices Yu-Bin Gao Yan-Ling Shao Department of Mathematics North China Institute of Technology Taiyuan, Shanxi 030051, P.
More informationCLASSIFICATION OF TREES EACH OF WHOSE ASSOCIATED ACYCLIC MATRICES WITH DISTINCT DIAGONAL ENTRIES HAS DISTINCT EIGENVALUES
Bull Korean Math Soc 45 (2008), No 1, pp 95 99 CLASSIFICATION OF TREES EACH OF WHOSE ASSOCIATED ACYCLIC MATRICES WITH DISTINCT DIAGONAL ENTRIES HAS DISTINCT EIGENVALUES In-Jae Kim and Bryan L Shader Reprinted
More informationand Department of Mathematics St. Olaf College Northfield, Minnesota Department of Mathematics University of Wisconsin Madison, Wisconsin 53706
Monomial Patterns In the Sequence Akb Pamela G. Coxson* Department of Mathematics Ohio State University Columbus, Ohio 43210-1174 Loren C. Larson Department of Mathematics St. Olaf College Northfield,
More informationSIGN PATTERNS THAT REQUIRE OR ALLOW POWER-POSITIVITY. February 16, 2010
SIGN PATTERNS THAT REQUIRE OR ALLOW POWER-POSITIVITY MINERVA CATRAL, LESLIE HOGBEN, D. D. OLESKY, AND P. VAN DEN DRIESSCHE February 16, 2010 Abstract. A matrix A is power-positive if some positive integer
More informationSpectrally arbitrary star sign patterns
Linear Algebra and its Applications 400 (2005) 99 119 wwwelseviercom/locate/laa Spectrally arbitrary star sign patterns G MacGillivray, RM Tifenbach, P van den Driessche Department of Mathematics and Statistics,
More informationPermutation transformations of tensors with an application
DOI 10.1186/s40064-016-3720-1 RESEARCH Open Access Permutation transformations of tensors with an application Yao Tang Li *, Zheng Bo Li, Qi Long Liu and Qiong Liu *Correspondence: liyaotang@ynu.edu.cn
More informationSection 1.7: Properties of the Leslie Matrix
Section 1.7: Properties of the Leslie Matrix Definition: A matrix A whose entries are nonnegative (positive) is called a nonnegative (positive) matrix, denoted as A 0 (A > 0). Definition: A square m m
More informationAnother algorithm for nonnegative matrices
Linear Algebra and its Applications 365 (2003) 3 12 www.elsevier.com/locate/laa Another algorithm for nonnegative matrices Manfred J. Bauch University of Bayreuth, Institute of Mathematics, D-95440 Bayreuth,
More informationarxiv: v3 [math.ra] 10 Jun 2016
To appear in Linear and Multilinear Algebra Vol. 00, No. 00, Month 0XX, 1 10 The critical exponent for generalized doubly nonnegative matrices arxiv:1407.7059v3 [math.ra] 10 Jun 016 Xuchen Han a, Charles
More informationRESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices
Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationOn A Special Case Of A Conjecture Of Ryser About Hadamard Circulant Matrices
Applied Mathematics E-Notes, 1(01), 18-188 c ISSN 1607-510 Available free at mirror sites of http://www.math.nthu.edu.tw/amen/ On A Special Case Of A Conjecture Of Ryser About Hadamard Circulant Matrices
More informationFundamental gaps in numerical semigroups
Journal of Pure and Applied Algebra 189 (2004) 301 313 www.elsevier.com/locate/jpaa Fundamental gaps in numerical semigroups J.C. Rosales a;, P.A. Garca-Sanchez a, J.I. Garca-Garca a, J.A. Jimenez Madrid
More informationSpectral radius of bipartite graphs
Linear Algebra and its Applications 474 2015 30 43 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Spectral radius of bipartite graphs Chia-an
More informationPROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS
PROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS Abstract. We present elementary proofs of the Cauchy-Binet Theorem on determinants and of the fact that the eigenvalues of a matrix
More informationA SIMPLIFIED FORM FOR NEARLY REDUCIBLE AND NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL
A SIMPLIFIED FORM FOR NEARLY REDUCIBLE AND NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL Introduction and definitions. Nearly reducible and nearly decomposable matrices have been discussed in [4], [5], and
More informationLeRoy B. Beasley and Alexander E. Guterman
J. Korean Math. Soc. 42 (2005), No. 2, pp. 223 241 RANK INEQUALITIES OVER SEMIRINGS LeRoy B. Beasley and Alexander E. Guterman Abstract. Inequalities on the rank of the sum and the product of two matrices
More informationComputing the elasticity of a Krull monoid
Linear Algebra and its Applications 336 (2001) 191 200 www.elsevier.com/locate/laa Computing the elasticity of a Krull monoid S.T. Chapman a,, J.I. García-García b,1, P.A. García-Sánchez b,1, J.C. Rosales
More informationCentral Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J
Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J Frank Curtis, John Drew, Chi-Kwong Li, and Daniel Pragel September 25, 2003 Abstract We study central groupoids, central
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationLaplacian spectral radius of trees with given maximum degree
Available online at www.sciencedirect.com Linear Algebra and its Applications 429 (2008) 1962 1969 www.elsevier.com/locate/laa Laplacian spectral radius of trees with given maximum degree Aimei Yu a,,1,
More informationPrime and Irreducible Ideals in Subtraction Algebras
International Mathematical Forum, 3, 2008, no. 10, 457-462 Prime and Irreducible Ideals in Subtraction Algebras Young Bae Jun Department of Mathematics Education Gyeongsang National University, Chinju
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationSums of diagonalizable matrices
Linear Algebra and its Applications 315 (2000) 1 23 www.elsevier.com/locate/laa Sums of diagonalizable matrices J.D. Botha Department of Mathematics University of South Africa P.O. Box 392 Pretoria 0003
More informationL(3, 2, 1)-LABELING FOR CYLINDRICAL GRID: THE CARTESIAN PRODUCT OF A PATH AND A CYCLE. Byeong Moon Kim, Woonjae Hwang, and Byung Chul Song
Korean J. Math. 25 (2017), No. 2, pp. 279 301 https://doi.org/10.11568/kjm.2017.25.2.279 L(3, 2, 1)-LABELING FOR CYLINDRICAL GRID: THE CARTESIAN PRODUCT OF A PATH AND A CYCLE Byeong Moon Kim, Woonjae Hwang,
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationDiameter of the Zero Divisor Graph of Semiring of Matrices over Boolean Semiring
International Mathematical Forum, Vol. 9, 2014, no. 29, 1369-1375 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.47131 Diameter of the Zero Divisor Graph of Semiring of Matrices over
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationMinimum number of non-zero-entries in a 7 7 stable matrix
Linear Algebra and its Applications 572 (2019) 135 152 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Minimum number of non-zero-entries in a
More informationSparse spectrally arbitrary patterns
Electronic Journal of Linear Algebra Volume 28 Volume 28: Special volume for Proceedings of Graph Theory, Matrix Theory and Interactions Conference Article 8 2015 Sparse spectrally arbitrary patterns Brydon
More informationThe effect on the algebraic connectivity of a tree by grafting or collapsing of edges
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 855 864 www.elsevier.com/locate/laa The effect on the algebraic connectivity of a tree by grafting or collapsing
More informationCONVERGENCE OF MULTISPLITTING METHOD FOR A SYMMETRIC POSITIVE DEFINITE MATRIX
J. Appl. Math. & Computing Vol. 182005 No. 1-2 pp. 59-72 CONVERGENCE OF MULTISPLITTING METHOD FOR A SYMMETRIC POSITIVE DEFINITE MATRIX JAE HEON YUN SEYOUNG OH AND EUN HEUI KIM Abstract. We study convergence
More informationIn 1912, G. Frobenius [6] provided the following upper bound for the spectral radius of nonnegative matrices.
SIMPLIFICATIONS OF THE OSTROWSKI UPPER BOUNDS FOR THE SPECTRAL RADIUS OF NONNEGATIVE MATRICES CHAOQIAN LI, BAOHUA HU, AND YAOTANG LI Abstract AM Ostrowski in 1951 gave two well-known upper bounds for the
More informationEventually reducible matrix, eventually nonnegative matrix, eventually r-cyclic
December 15, 2012 EVENUAL PROPERIES OF MARICES LESLIE HOGBEN AND ULRICA WILSON Abstract. An eventual property of a matrix M C n n is a property that holds for all powers M k, k k 0, for some positive integer
More informationTHE PERTURBATION BOUND FOR THE SPECTRAL RADIUS OF A NON-NEGATIVE TENSOR
THE PERTURBATION BOUND FOR THE SPECTRAL RADIUS OF A NON-NEGATIVE TENSOR WEN LI AND MICHAEL K. NG Abstract. In this paper, we study the perturbation bound for the spectral radius of an m th - order n-dimensional
More informationPolynomial Ideals. Euclidean algorithm Multiplicity of roots Ideals in F[x].
Polynomial Ideals Euclidean algorithm Multiplicity of roots Ideals in F[x]. Euclidean algorithms Lemma. f,d nonzero polynomials in F[x]. deg d deg f. Then there exists a polynomial g in F[x] s.t. either
More informationCOLUMN RANKS AND THEIR PRESERVERS OF GENERAL BOOLEAN MATRICES
J. Korean Math. Soc. 32 (995), No. 3, pp. 53 540 COLUMN RANKS AND THEIR PRESERVERS OF GENERAL BOOLEAN MATRICES SEOK-ZUN SONG AND SANG -GU LEE ABSTRACT. We show the extent of the difference between semiring
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More information--------------------------------------------------------------------------------------------- Math 6023 Topics: Design and Graph Theory ---------------------------------------------------------------------------------------------
More informationMaximizing the numerical radii of matrices by permuting their entries
Maximizing the numerical radii of matrices by permuting their entries Wai-Shun Cheung and Chi-Kwong Li Dedicated to Professor Pei Yuan Wu. Abstract Let A be an n n complex matrix such that every row and
More informationOn the classication of algebras
Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers
More informationPrimes in the Semigroup of Non-Negative Matrices
Linear and Multilinear Algebra, 1974, Vol. 2, pp. 135-140 Gordon and Breach Science Publishers Ltd. Printed in Great Britain Primes in the Semigroup of Non-Negative Matrices DANIEL J. RICHMAN and HANS
More information-ARC-TRANSITIVE GRAPHS Dragan Marusic IMFM, Oddelek za matematiko Univerza v Ljubljani Jadranska 19, 1111 Ljubljana Slovenija
CLASSIFYING -ARC-TRANSITIVE GRAPHS OF ORDER A PRODUCT OF TWO PRIMES Dragan Marusic 1 Primoz Potocnik 1 IMFM, Oddelek za matematiko IMFM, Oddelek za matematiko Univerza v Ljubljani Univerza v Ljubljani
More informationSome inequalities for sum and product of positive semide nite matrices
Linear Algebra and its Applications 293 (1999) 39±49 www.elsevier.com/locate/laa Some inequalities for sum and product of positive semide nite matrices Bo-Ying Wang a,1,2, Bo-Yan Xi a, Fuzhen Zhang b,
More informationCombinatorial Batch Codes and Transversal Matroids
Combinatorial Batch Codes and Transversal Matroids Richard A. Brualdi, Kathleen P. Kiernan, Seth A. Meyer, Michael W. Schroeder Department of Mathematics University of Wisconsin Madison, WI 53706 {brualdi,kiernan,smeyer,schroede}@math.wisc.edu
More informationConstructions of Nonbinary Quasi-Cyclic LDPC Codes: A Finite Field Approach
Constructions of Nonbinary Quasi-Cyclic LDPC Codes: A Finite Field Approach Shu Lin, Shumei Song, Lan Lan, Lingqi Zeng and Ying Y Tai Department of Electrical & Computer Engineering University of California,
More informationMath 42, Discrete Mathematics
c Fall 2018 last updated 12/05/2018 at 15:47:21 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationZ-Pencils. November 20, Abstract
Z-Pencils J. J. McDonald D. D. Olesky H. Schneider M. J. Tsatsomeros P. van den Driessche November 20, 2006 Abstract The matrix pencil (A, B) = {tb A t C} is considered under the assumptions that A is
More informationThe least eigenvalue of the signless Laplacian of non-bipartite unicyclic graphs with k pendant vertices
Electronic Journal of Linear Algebra Volume 26 Volume 26 (2013) Article 22 2013 The least eigenvalue of the signless Laplacian of non-bipartite unicyclic graphs with k pendant vertices Ruifang Liu rfliu@zzu.edu.cn
More informationA Cycle-Based Bound for Subdominant Eigenvalues of Stochastic Matrices
A Cycle-Based Bound for Subdominant Eigenvalues of Stochastic Matrices Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada, S4S 0A2 August 3, 2007
More informationImproved Upper Bounds for the Laplacian Spectral Radius of a Graph
Improved Upper Bounds for the Laplacian Spectral Radius of a Graph Tianfei Wang 1 1 School of Mathematics and Information Science Leshan Normal University, Leshan 614004, P.R. China 1 wangtf818@sina.com
More informationVladimir Kirichenko and Makar Plakhotnyk
São Paulo Journal of Mathematical Sciences 4, 1 (2010), 109 120 Gorenstein Quivers Vladimir Kirichenko and Makar Plakhotnyk Faculty of Mechanics and Mathematics, Kyiv National Taras Shevchenko University,
More informationDeterminants of Partition Matrices
journal of number theory 56, 283297 (1996) article no. 0018 Determinants of Partition Matrices Georg Martin Reinhart Wellesley College Communicated by A. Hildebrand Received February 14, 1994; revised
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION
ON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION Gretchen L. Matthews 1 Department of Mathematical Sciences, Clemson University, Clemson, SC 9634-0975, USA gmatthe@clemson.edu Received:
More informationMinimum Ranks and Refined Inertias of Sign Pattern Matrices
Georgia State University ScholarWorks @ Georgia State University Mathematics Dissertations Department of Mathematics and Statistics 8-12-2016 Minimum Ranks and Refined Inertias of Sign Pattern Matrices
More informationarxiv: v1 [math.ra] 11 Aug 2014
Double B-tensors and quasi-double B-tensors Chaoqian Li, Yaotang Li arxiv:1408.2299v1 [math.ra] 11 Aug 2014 a School of Mathematics and Statistics, Yunnan University, Kunming, Yunnan, P. R. China 650091
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationarxiv: v4 [math.co] 12 Feb 2017
arxiv:1511.03511v4 [math.co] 12 Feb 2017 On the signed graphs with two distinct eigenvalues F. Ramezani 1 Department of Mathematics, K.N.Toosi University of Technology, Tehran, Iran P.O. Box 16315-1618
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationKernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman
Kernels of Directed Graph Laplacians J. S. Caughman and J.J.P. Veerman Department of Mathematics and Statistics Portland State University PO Box 751, Portland, OR 97207. caughman@pdx.edu, veerman@pdx.edu
More informationTHE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION. Sunday, March 14, 2004 Time: hours No aids or calculators permitted.
THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION Sunday, March 1, Time: 3 1 hours No aids or calculators permitted. 1. Prove that, for any complex numbers z and w, ( z + w z z + w w z +
More informationSign Patterns that Allow Diagonalizability
Georgia State University ScholarWorks @ Georgia State University Mathematics Dissertations Department of Mathematics and Statistics 12-10-2018 Sign Patterns that Allow Diagonalizability Christopher Michael
More informationLEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN
LEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN Abstract. Let n > 1 and k > 0 be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix
More informationConstruction of quasi-cyclic self-dual codes
Construction of quasi-cyclic self-dual codes Sunghyu Han, Jon-Lark Kim, Heisook Lee, and Yoonjin Lee December 17, 2011 Abstract There is a one-to-one correspondence between l-quasi-cyclic codes over a
More informationR. Popovych (Nat. Univ. Lviv Polytechnic )
UDC 512.624 R. Popovych (Nat. Univ. Lviv Polytechnic ) SHARPENING OF THE EXPLICIT LOWER BOUNDS ON THE ORDER OF ELEMENTS IN FINITE FIELD EXTENSIONS BASED ON CYCLOTOMIC POLYNOMIALS ПІДСИЛЕННЯ ЯВНИХ НИЖНІХ
More informationG METHOD IN ACTION: FROM EXACT SAMPLING TO APPROXIMATE ONE
G METHOD IN ACTION: FROM EXACT SAMPLING TO APPROXIMATE ONE UDREA PÄUN Communicated by Marius Iosifescu The main contribution of this work is the unication, by G method using Markov chains, therefore, a
More informationSpectral Properties of Matrix Polynomials in the Max Algebra
Spectral Properties of Matrix Polynomials in the Max Algebra Buket Benek Gursoy 1,1, Oliver Mason a,1, a Hamilton Institute, National University of Ireland, Maynooth Maynooth, Co Kildare, Ireland Abstract
More informationNewton, Fermat, and Exactly Realizable Sequences
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.1.2 Newton, Fermat, and Exactly Realizable Sequences Bau-Sen Du Institute of Mathematics Academia Sinica Taipei 115 TAIWAN mabsdu@sinica.edu.tw
More information1 Tournament Matrices with Extremal Spectral Properties 1 Stephen J. Kirkland Department of Mathematics and Statistics University of Regina Regina, Sa
Tournament Matrices with Extremal Spectral Properties Stephen J. Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada SS OA and Bryan L. Shader Department
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationMATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,
MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence
More informationThe Perron-Frobenius Theorem and its Application to Population Dynamics
The Perron-Frobenius Theorem and its Application to Population Dynamics by Jerika Baldin A project submitted in partial fulfillment of the requirements for the degree of Mathematics (April 2017) Department
More informationLinear Algebra and its Applications
Linear Algebra and its Applications xxx (2008) xxx xxx Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: wwwelseviercom/locate/laa Graphs with three distinct
More informationWell primitive digraphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 71(1) (2018), Pages 1 11 Well primitive digraphs Jolanta Rosiak West Pomeranian University of Technology Szczecin Poland jrosiak@zut.edu.pl Abstract A primitive
More informationLecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<
Lecture 9: Cardinality 9. Binary representations Suppose fa n g n= is a sequence such that, for each n =; 2; 3;:::, either a n =0ora n = and, for any integer N, there exists an integer n>n such that a
More informationExtremal numbers of positive entries of imprimitive nonnegative matrices
Extremal numbers of positive entries of imprimitive nonnegative matrices Xingzhi Zhan East China Normal University Shanghai, China e-mail: zhan@math.ecnu.edu.cn A square nonnegative matrix A is said to
More informationOn the Frobenius Numbers of Symmetric Groups
Journal of Algebra 221, 551 561 1999 Article ID jabr.1999.7992, available online at http://www.idealibrary.com on On the Frobenius Numbers of Symmetric Groups Yugen Takegahara Muroran Institute of Technology,
More informationMY PUTNAM PROBLEMS. log(1 + x) dx = π2
MY PUTNAM PROBLEMS These are the problems I proposed when I was on the Putnam Problem Committee for the 984 86 Putnam Exams. Problems intended to be A or B (and therefore relatively easy) are marked accordingly.
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel
More informationDetailed Proof of The PerronFrobenius Theorem
Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand
More informationDecision Problems Concerning. Prime Words and Languages of the
Decision Problems Concerning Prime Words and Languages of the PCP Marjo Lipponen Turku Centre for Computer Science TUCS Technical Report No 27 June 1996 ISBN 951-650-783-2 ISSN 1239-1891 Abstract This
More informationOn the prime graph of L 2 (q) where q = p α < Introduction
Quasigroups and Related Systems 14 (2006), 179 190 On the prime graph of L 2 (q) where q = p α < 100 Behrooz Khosravi and Seyyed Sadegh Salehi Amiri Abstract Let G be a nite group. We construct the prime
More informationThe Best Circulant Preconditioners for Hermitian Toeplitz Systems II: The Multiple-Zero Case Raymond H. Chan Michael K. Ng y Andy M. Yip z Abstract In
The Best Circulant Preconditioners for Hermitian Toeplitz Systems II: The Multiple-ero Case Raymond H. Chan Michael K. Ng y Andy M. Yip z Abstract In [0, 4], circulant-type preconditioners have been proposed
More informationComm. Korean Math. Soc. 13(1998), No. 1, pp SEMI-QUASITRIANGULARITY OF TOEPLITZ OPERATORS WITH QUASICONTINUOUS SYMBOLS In Hyoun Kim and Woo You
Comm. Korean Math. Soc. 13(1998), No. 1, pp. 77-84 SEMI-QUASITRIANGULARITY OF TOEPLITZ OPERATORS WITH QUASICONTINUOUS SYMBOLS In Hyoun Kim and Woo Young Lee Abstract. In this note we show that if T ' is
More informationPrimal vector is primal infeasible till end. So when primal feasibility attained, the pair becomes opt. & method terminates. 3. Two main steps carried
4.1 Primal-Dual Algorithms Katta G. Murty, IOE 612 Lecture slides 4 Here we discuss special min cost ow problems on bipartite networks, the assignment and transportation problems. Algorithms based on an
More informationarxiv: v1 [math.ra] 23 Feb 2018
JORDAN DERIVATIONS ON SEMIRINGS OF TRIANGULAR MATRICES arxiv:180208704v1 [mathra] 23 Feb 2018 Abstract Dimitrinka Vladeva University of forestry, bulklohridski 10, Sofia 1000, Bulgaria E-mail: d vladeva@abvbg
More information