ARTICLE IN PRESS European Journal of Combinatorics ( )
|
|
- Silas Glenn
- 5 years ago
- Views:
Transcription
1 European Journal of Combinatorics ( ) Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: Proof of a conjecture concerning the direct product of bipartite graphs Richard H. Hammack Department of Mathematics Applied Mathematics, Virginia Commonwealth University, Richmond, VA , USA a r t i c l e i n f o a b s t r a c t Article history: Available online xxxx We prove that if the direct product of two connected bipartite graphs has isomorphic components, then one of the factors admits an automorphism that interchanges its partite sets. his proves a conjecture made by Jha, Klavžar Zmazek in 1997 P. Jha, S. Klavzar, B. Zmazek, Isomorphic components of Kronecker product of bipartite graphs, Discussiones Mathematicae Graph heory 17 (1997) Elsevier Ltd. All rights reserved. 1. Introduction If G H are graphs (possibly with loops) then their direct product is the graph G H whose vertex set is the Cartesian product V(G) V(H) whose edges are all pairs (g, h)(g, h ) with gg E(G) hh E(H). It is a stard fact, first proved by Weichsel 8, that if G H are connected bipartite, then G H has exactly two components. hese components may or may not be isomorphic, depending on G H. For example, Fig. 1 shows two products of bipartite graphs, where in each case the two components are distinguished by solid dashed lines. In Fig. 1(a) the components are not isomorphic, in Fig. 1(b) they are. A number of authors have sought structural conditions on G H that characterize the condition of G H having isomorphic components. Jha, Klavžar Zmazek 6 observed that this condition seems to be related to a certain kind of symmetry in at least one of the factors. hey prove that if either G or H admits an automorphism that interchanges its partite sets, then G H has isomorphic components. hey conjecture that the converse is true. In 3 it is proved that the converse is true if G H are square-free. his note presents a general proof of the converse. o summarize our main result, we state the following definition theorem. (he definition was introduced in 6.) address: rhammack@vcu.edu /$ see front matter 28 Elsevier Ltd. All rights reserved. doi:1.116/j.ejc European Journal of Combinatorics (28), doi:1.116/j.ejc
2 2 R.H. Hammack / European Journal of Combinatorics ( ) Fig. 1. Products of bipartite graphs. Definition 1. A connected bipartite graph has property π if it admits an automorphism that interchanges its partite sets. heorem 1. Suppose G H are connected bipartite graphs. he two components of G H are isomorphic if only if at least one of G or H has property π. As an example, neither G nor H in Fig. 1(a) has property π, indeed the components of G H are not isomorphic. By contrast, in Fig. 1(b) G has property π (the nontrivial automorphism switches the bipartition) the components of G H are isomorphic. One direction of heorem 1 is proved as follows. Suppose G or H (say G) has property π. hen there is an automorphism ϕ of G that interchanges its partite sets. By 6 (heorem 3.2), the map given by (g, h) (ϕ(g), h) restricts to an isomorphism of one component of G H to the other, so if one of G or H has property π, then G H has isomorphic components. he remainder of this note is devoted to proving the converse. 2. Preliminaries We assume that the reader is familiar with the basic properties of direct products graph homomorphisms. (For excellent surveys, see 5,4.) For convenience, we collect in this section some necessary definitions, ideas stard results. Observe that the direct product can be regarded as a product on digraphs. Given a digraph G, we let gg denote an arc pointing from g to g. hen G H is the digraph with arcs (g, h)(g, h ) directed from (g, h) to (g, h ) whenever there are arcs gg in G hh in H. Since any graph can be identified with a symmetric digraph (where each edge is replaced by a double arc) the direct product of graphs is a special case of the direct product of digraphs. hough our main result is about graphs, we will use digraphs where necessary in the proofs. Suppose G is a digraph whose vertices are ordered as g 1, g 2,..., g m. he adjacency matrix for G relative to this ordering is the m m matrix A for which a ij 1 or according to whether g i g j is or is not an arc of G. Graphs are identified with symmetric digraphs, so the adjacency matrix of a graph is symmetric, that is it satisfies A A, where indicates transpose. he tensor product of two matrices A B is the matrix A B obtained by replacing each entry a ij of A with the block a ij B. he rows columns of A B thus divide into blocks corresponding to the rows columns of A. he rows (columns) of A B are indexed by ordered pairs so that (i, j) indexes the row (column) corresponding to the jth row (column) of B in the ith row-block (column-block). herefore the entry of A B in row (i, j) column (k, l) equals a ik b jl. Although A B B A in general, there are permutation matrices M N for which M(A B)N B A. (Matrix M corresponds to the permutation that rearranges the row list (1, 1), (1, 2)..., (1, n), (2, 1), (2, 2)... (2, n),..., (m, 1), (m, 2)... (m, n) as (1, 1), (2, 1)..., (m, 1), (1, 2), (2, 2)... (m, 2),..., (1, n), (2, n)... (m, n), etc.) In fact, M(C D)N D C for any C D having the same sizes as A B, respectively. It is simple to verify that if digraphs G H have adjacency matrices A B, respectively, relative to vertex orderings g 1, g 2,..., g m h 1, h 2,..., h n, respectively, then G H has adjacency matrix European Journal of Combinatorics (28), doi:1.116/j.ejc
3 R.H. Hammack / European Journal of Combinatorics ( ) 3 A B relative to the ordering (g 1, h 1 ), (g 1, h 2 ),..., (g 1, h n ), (g 2, h 1 ), (g 2, h 2 ),..., (g 2, h n ),..., (g m, h 1 ), (g m, h 2 ),..., (g m, h n ) of its vertices. Proposition 1 (2, Lemma 8.1.1). Suppose G H are digraphs with adjacency matrices A B respectively. hen G H if only if there is a permutation matrix P for which PAP B. In using Proposition 1, we keep in mind the connection between the matrix P the corresponding isomorphism θ : G H, namely p ij 1 if only if θ(g i ) h j. For example, suppose G H are connected bipartite graphs, the vertices of each graph are ordered so that all vertices of one partite set are listed first, followed by vertices in the other partite set. Since θ preserves partite sets, P must have block form or. Q R R Q he following classic result of Lovász plays a major role in our main proof. Proposition 2 (Lovász, 7, heorem 6). Let A, B, C D be digraphs, suppose there exists a homomorphism D C. If C A C B, then D A D B. 3. Results We begin with some observations about the adjacency matrices of the direct product of two bipartite graphs. Suppose G H are connected bipartite graphs with bipartitions (G, G 1 ) ({w 1, w 2,... w m }, {x 1, x 2,..., x n }) (H, H 1 ) ({y 1, y 2,... y p }, {z 1, z 2,..., z q }), respectively. hen the adjacency matrices of G H relative to these vertex orderings have the forms A A B B, respectively. Now, it is simple to check that the two components of G H are induced on the vertex sets (G H ) (G 1 H 1 ) (G H 1 ) (G 1 H ), respectively. We now construct adjacency matrices for the two components. List the vertices of (G H ) (G 1 H 1 ) in the following order: (w 1, y 1 ), (w 1, y 2 ),..., (w 1, y p ), (w 2, y 1 ), (w 2, y 2 ),..., (w 2, y p ), , (w m, y 1 ), (w m, y 2 ),..., (w m, y p ), (x 1, z 1 ), (x 1, z 2 ),..., (x 1, z q ), (x 2, z 1 ), (x 2, z 2 ),..., (x 2, z q ), , (x n, z 1 ), (x n, z 2 ),..., (x n, z q ). Likewise, list the vertices of (G H 1 ) (G 1 H ) as (w 1, z 1 ), (w 1, z 2 ),..., (w 1, z q ), (w 2, z 1 ), (w 2, z 2 ),..., (w 2, z q ), , (w m, z 1 ), (w m, z 2 ),..., (w m, z q ), (x 1, y 1 ), (x 1, y 2 ),..., (x 1, y p ), (x 2, y 1 ), (x 2, y 2 ),..., (x 2, y p ), , (x n, y 1 ), (x n, y 2 ),..., (x n, y p ). As was observed in 1, it is simple to check that, relative to these vertex orderings, the two components of G H have adjacency matrices A B A B A B A B (1). (2) Now suppose the two components of G H are isomorphic. Any isomorphism θ between them preserves their partite sets, so either θ(g H ) G H 1 θ(g 1 H 1 ) G 1 H, or θ(g H ) G 1 H θ(g 1 H 1 ) G H 1. Proposition 1 ( the remark that follows it) applied to (2) guarantees permutation matrices Q R for which either Q A B Q R A B A B R A B European Journal of Combinatorics (28), doi:1.116/j.ejc
4 4 R.H. Hammack / European Journal of Combinatorics ( ) or R A B R Q A B Q A B A B Multiplying the matrices, we see that either Q (A B)R A B in the first case, or Q (A B)R A B in the second. Renaming R as R, we have the following lemma. A Lemma 1. Suppose connected bipartite graphs G H have adjacency matrices A B, respectively. If the components of G H are isomorphic, then there are permutation matrices B Q R for which either Q (A B)R A B or Q (A B)R A B. A Lemma 2. Let bipartite graph G have matrix. If there are permutation matrices Q R with Q AR A, then G has property π. Proof. Suppose Q AR A. hen R A R Q A Q A A A. By Proposition 1 the remark that follows it, we have an isomorphism from G to itself that reverses the partite sets, so G has property π. Now we can see how the proof of our main theorem will work. Suppose G H has isomorphic components. By Lemma 1, there are permutation matrices Q R for which either Q (A B)R A B or Q (A B)R A B. Roughly speaking, we want to cancel the common factor of B (or A) deduce that there are permutation matrices Q R for which Q AR A or Q BR B, from which Proposition 2 implies G or H has property π. he fact that this cancellation is justified follows from the next lemma. Lemma 3. Suppose A, A C are 1 matrices for which C O, A is square has at least one nonzero entry in each row. Suppose also there are permutation matrices Q R for which Q (C A)R C A. hen there are permutation matrices Q R for which Q AR A. Also, if Q (A C)R A C, then there are permutation matrices Q R for which Q AR A. Proof. We begin with the first statement. Suppose Q (C A)R C A. Let D be the digraph with adjacency matrix A, let D be the digraph with adjacency matrix A, let E be the digraph with adjacency matrix of block form C C. (3) (he lower left block is written as C rather than to indicate its size.) he adjacency matrices of E D E D are then C A C A respectively. Notice that the lower left block of zeros in the matrix for E D has the same size as C A. Since A is square, this block is also the same size as C A (C A), so this block can be multiplied by R. (Recall Q (C A)R C A, which means R (C A) Q (C A ).) By letting Q R be blocks in a larger permutation matrix, we have Q C A R Q Q (C A)R R C A. hen from Proposition 1 we deduce E D E D. European Journal of Combinatorics (28), doi:1.116/j.ejc
5 R.H. Hammack / European Journal of Combinatorics ( ) 5 Recall that the graph E corresponds to the matrix C that we want to eliminate. In pursuit of this goal, we next show that the E in the expression E D E D can be replaced by a very simple graph K. Let K be the digraph on two vertices k k consisting of the single arc kk. We claim that K D K D : Since C O, we know from (3) that E has at least one arc ee. hen the map sending k to e k to e is a homomorphism K E. Proposition 2 now applies to give K D K D. he adjacency matrices for K D K D are A A A A K D K D, Proposition 1 guarantees a permutation matrix P for which A P P A A A., respectively. Since Since A has nonzero rows it follows that left-multiplying by P in (4) does not permute any of the rows Q of the upper blocks to rows of the lower blocks. herefore P has block form P, R so (4) yields Q AR A. We now have permutation matrices Q R with Q AR A. his proves the first part of the lemma. For the second part of the lemma it must be shown that Q (A C)R A C implies there are permutation matrices Q R for which Q AR A. Let M N be the permutation matrices for which M(A C)N C A M(A C)N C A. From Q (A C)R A C it follows that MQM (C A)N RN C A. hen the first part of the lemma guarantees there are permutation matrices Q R with Q AR A. heorem 1. Suppose G H are connected bipartite graphs. he two components of G H are isomorphic if only if at least one of G or H has property π. Proof. As was noted earlier, the necessity was proved in 6. We prove the sufficiency here. Suppose the two components of G H are isomorphic. Using the notation established in (1), along with Lemma 1, we get that either Q (A B)R A B or Q (A B)R A B. If Q (A B)R A B, it follows that A is square; since G is connected A has nonzero entries in each row column. hus Lemma 3 implies the existence of permutation matrices Q R for which Q AR A, so Lemma 2 implies G has property π. On the other h, if Q (A B)R A B, the same reasoning shows H has property π. References 1. Chow, he Q -spectrum spanning trees of tensor products of bipartite graphs, Proceedings of the American Mathematical Society 125 (11) (1997) C. Godsil, G. Royle, Algebraic Graph heory, in: GM Series No 27, Springer-Verlag, New York, 2. 3 R. Hammack, Isomorphic components of direct products of bipartite graphs, Discussiones Mathematicae Graph heory 26 (26) P. Hell, J. Nešetřil, Graphs Homomorphisms, in: Oxford Lecture Series in Mathematics, Oxford U. Press, New York, W. Imrich, S. Klavžar, Product Graphs; Structure Recognition, in: Wiley Interscience Series in Discrete Mathematics Optimization, Wiley Interscience, New York, 2. 6 P. Jha, S. Klavžar, B. Zmazek, Isomorphic components of Kronecker product of bipartite graphs, Discussiones Mathematicae Graph heory 17 (1997) L. Lovász, On the cancellation law among finite relational structures, Periodica Mathematica Hungarica 1 (2) (1971) P. Weichsel, he Kronecker product of graphs, Proceedings of the American Mathematical Society 13 (1962) (4) European Journal of Combinatorics (28), doi:1.116/j.ejc
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research education use, including for instruction at the authors institution
More informationDiscrete Mathematics
Discrete Mathematics 313 (2013) 1018 1027 Contents lists available at SciVerse ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc On uniqueness of prime bipartite factors
More informationNOTES ON THE INDEPENDENCE NUMBER IN THE CARTESIAN PRODUCT OF GRAPHS
Discussiones Mathematicae Graph Theory xx (xxxx ) xxx xxx NOTES ON THE INDEPENDENCE NUMBER IN THE CARTESIAN PRODUCT OF GRAPHS G. Abay-Asmerom, R. Hammack, C.E. Larson and D.T. Taylor Department of Mathematics
More informationOn uniqueness of prime bipartite factors of graphs
On uniqueness of prime bipartite factors of graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284, USA Abstract It has long been
More informationNeighborhood reconstruction and cancellation of graphs
Neighborhood reconstruction and cancellation of graphs Richard H. Hammack Dept. of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA, U.S.A. rhammack@vcu.edu Cristina Mullican
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. DISCRETE MATH. Vol. 23, No. 4, pp. 2042 2052 c 2010 Society for Industrial and Applied Mathematics DIRECT PRODUCT FACTORIZATION OF BIPARTITE GRAPHS WITH BIPARTITION-REVERSING INVOLUTIONS GHIDEWON
More informationA prime factor theorem for bipartite graphs
A prime factor theorem for bipartite graphs Richard Hammack, Owen Puffenberger Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284, USA Abstract It has
More informationUNIQUE PRIME CARTESIAN FACTORIZATION OF GRAPHS OVER FINITE FIELDS
UNIQUE PRIME CARTESIAN FACTORIZATION OF GRAPHS OVER FINITE FIELDS RICHARD H. HAMMACK Abstract. A fundamental result, due to Sabidussi and Vizing, states that every connected graph has a unique pre factorization
More informationAn Isomorphism Theorem for Graphs
Virginia Commonwealth University VCU Scholars Compass Theses and Dissertations Graduate School 2009 An Isomorphism Theorem for Graphs Laura Culp Virginia Commonwealth University Follow this and additional
More informationDISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS
DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS M. N. ELLINGHAM AND JUSTIN Z. SCHROEDER In memory of Mike Albertson. Abstract. A distinguishing partition for an action of a group Γ on a set
More informationThe Matrix-Tree Theorem
The Matrix-Tree Theorem Christopher Eur March 22, 2015 Abstract: We give a brief introduction to graph theory in light of linear algebra. Our results culminates in the proof of Matrix-Tree Theorem. 1 Preliminaries
More informationEvery line graph of a 4-edge-connected graph is Z 3 -connected
European Journal of Combinatorics 0 (2009) 595 601 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Every line graph of a 4-edge-connected
More informationSmall Label Classes in 2-Distinguishing Labelings
Also available at http://amc.imfm.si ISSN 1855-3966 (printed ed.), ISSN 1855-3974 (electronic ed.) ARS MATHEMATICA CONTEMPORANEA 1 (2008) 154 164 Small Label Classes in 2-Distinguishing Labelings Debra
More informationUsing Determining Sets to Distinguish Kneser Graphs
Using Determining Sets to Distinguish Kneser Graphs Michael O. Albertson Department of Mathematics and Statistics Smith College, Northampton MA 01063 albertson@math.smith.edu Debra L. Boutin Department
More informationDIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS
DIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS LUKE MORGAN, JOY MORRIS, AND GABRIEL VERRET Abstract. Let Γ = Cay(G, S) be a Cayley digraph on a group G and let A =
More informationOn the connectivity of the direct product of graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 41 (2008), Pages 45 56 On the connectivity of the direct product of graphs Boštjan Brešar University of Maribor, FEECS Smetanova 17, 2000 Maribor Slovenia bostjan.bresar@uni-mb.si
More informationDISTINGUISHING CARTESIAN PRODUCTS OF COUNTABLE GRAPHS
Discussiones Mathematicae Graph Theory 37 (2017) 155 164 doi:10.7151/dmgt.1902 DISTINGUISHING CARTESIAN PRODUCTS OF COUNTABLE GRAPHS Ehsan Estaji Hakim Sabzevari University, Sabzevar, Iran e-mail: ehsan.estaji@hsu.ac.ir
More informationA Questionable Distance-Regular Graph
A Questionable Distance-Regular Graph Rebecca Ross Abstract In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection
More informationarxiv: v1 [math.co] 23 Oct 2016
arxiv:1610.07200v1 [math.co] 23 Oct 2016 Distinguishing number and distinguishing index of Kronecker product of two graphs Saeid Alikhani February 1, 2018 Samaneh Soltani Department of Mathematics, Yazd
More informationCourse : Algebraic Combinatorics
Course 18.312: Algebraic Combinatorics Lecture Notes #29-31 Addendum by Gregg Musiker April 24th - 29th, 2009 The following material can be found in several sources including Sections 14.9 14.13 of Algebraic
More informationMinimum cycle bases for direct products of K 2 with complete graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 43 (2009), Pages 127 131 Minimum cycle bases for direct products of K 2 with complete graphs Zachary Bradshaw Virginia Commonwealth University Department of
More informationAssociativity and Non-Associativity of Some Hypergraph Products
Math.Comput.Sci. DOI 10.1007/s11786-016-0276-y Mathematics in Computer Science Associativity and Non-Associativity of Some Hypergraph Products Richard H. Hammack Marc Hellmuth Lydia Ostermeier Peter F.
More information(This is a sample cover image for this issue. The actual cover is not yet available at this time.)
(This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationZero sum partition of Abelian groups into sets of the same order and its applications
Zero sum partition of Abelian groups into sets of the same order and its applications Sylwia Cichacz Faculty of Applied Mathematics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków,
More informationON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2. Bert L. Hartnell
Discussiones Mathematicae Graph Theory 24 (2004 ) 389 402 ON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2 Bert L. Hartnell Saint Mary s University Halifax, Nova Scotia, Canada B3H 3C3 e-mail: bert.hartnell@smu.ca
More informationOn Hadamard Diagonalizable Graphs
On Hadamard Diagonalizable Graphs S. Barik, S. Fallat and S. Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A2 Abstract Of interest here is a characterization
More informationDistinguishing Cartesian powers of graphs
Distinguishing Cartesian powers of graphs Wilfried Imrich Sandi Klavžar Abstract The distinguishing number D(G) of a graph is the least integer d such that there is a d-labeling of the vertices of G that
More informationPrime Factorization and Domination in the Hierarchical Product of Graphs
Prime Factorization and Domination in the Hierarchical Product of Graphs S. E. Anderson 1, Y. Guo 2, A. Rubin 2 and K. Wash 2 1 Department of Mathematics, University of St. Thomas, St. Paul, MN 55105 2
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 159 (2011) 1345 1351 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam On disconnected cuts and separators
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 informationUniqueness of Bipartite Factors in Prime Factorizations Over the Direct Product of Graphs
Virginia Commonwealth University VCU Scholars Compass Theses and Dissertations Graduate School 2013 Uniqueness of Bipartite Factors in Prime Factorizations Over the Direct Product of Graphs Owen Puffenberger
More informationAn algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings
Also available at http://amc-journal.eu ISSN 855-3966 (printed edn.), ISSN 855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 2 (207) 205 27 An algebraic proof of the Erdős-Ko-Rado theorem for intersecting
More informationAUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS
AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS MAX GOLDBERG Abstract. We explore ways to concisely describe circulant graphs, highly symmetric graphs with properties that are easier to generalize
More information5 Flows and cuts in digraphs
5 Flows and cuts in digraphs Recall that a digraph or network is a pair G = (V, E) where V is a set and E is a multiset of ordered pairs of elements of V, which we refer to as arcs. Note that two vertices
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 informationFractal property of the graph homomorphism order
Fractal property of the graph homomorphism order Jiří Fiala a,1, Jan Hubička b,2, Yangjing Long c,3, Jaroslav Nešetřil b,2 a Department of Applied Mathematics Charles University Prague, Czech Republic
More informationEdge-counting vectors, Fibonacci cubes, and Fibonacci triangle
Publ. Math. Debrecen Manuscript (November 16, 2005) Edge-counting vectors, Fibonacci cubes, and Fibonacci triangle By Sandi Klavžar and Iztok Peterin Abstract. Edge-counting vectors of subgraphs of Cartesian
More informationUnstable graphs: A fresh outlook via TF-automorphisms
Also available at http://amc-journal.eu ISSN 855-3966 (printed edn.), ISSN 855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 8 (205) 5 3 Unstable graphs: A fresh outlook via TF-automorphisms Josef
More informationEigenvectors Via Graph Theory
Eigenvectors Via Graph Theory Jennifer Harris Advisor: Dr. David Garth October 3, 2009 Introduction There is no problem in all mathematics that cannot be solved by direct counting. -Ernst Mach The goal
More informationStrongly Regular Decompositions of the Complete Graph
Journal of Algebraic Combinatorics, 17, 181 201, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Strongly Regular Decompositions of the Complete Graph EDWIN R. VAN DAM Edwin.vanDam@uvt.nl
More informationNear-domination in graphs
Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford
More informationGraph coloring, perfect graphs
Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive
More informationAcyclic and Oriented Chromatic Numbers of Graphs
Acyclic and Oriented Chromatic Numbers of Graphs A. V. Kostochka Novosibirsk State University 630090, Novosibirsk, Russia X. Zhu Dept. of Applied Mathematics National Sun Yat-Sen University Kaohsiung,
More informationApplicable Analysis and Discrete Mathematics available online at ATOMS AND CLIQUE SEPARATORS IN GRAPH PRODUCTS
Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.rs Appl. Anal. Discrete Math. x (xxxx), xxx xxx. doi:10.2298/aadmxxxxxxxx ATOMS AND CLIQUE SEPARATORS IN GRAPH PRODUCTS
More information7 Matrix Operations. 7.0 Matrix Multiplication + 3 = 3 = 4
7 Matrix Operations Copyright 017, Gregory G. Smith 9 October 017 The product of two matrices is a sophisticated operations with a wide range of applications. In this chapter, we defined this binary operation,
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 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 information1 Counting spanning trees: A determinantal formula
Math 374 Matrix Tree Theorem Counting spanning trees: A determinantal formula Recall that a spanning tree of a graph G is a subgraph T so that T is a tree and V (G) = V (T ) Question How many distinct
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationConstructing Critical Indecomposable Codes
Constructing Critical Indecomposable Codes Judy L. Walker 1 Abstract Critical indecomposable codes were introduced by Assmus [1], who also gave a recursive construction for these objects. One of the key
More informationRING ELEMENTS AS SUMS OF UNITS
1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand
More informationDiscrete Mathematics
Discrete Mathematics 311 (011) 1646 1657 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Point sets that minimize ( k)-edges, 3-decomposable
More informationEdge colored complete bipartite graphs with trivial automorphism groups
Edge colored complete bipartite graphs with trivial automorphism groups Michael J. Fisher Garth Isaak Abstract We determine the values of s and t for which there is a coloring of the edges of the complete
More informationCartesian powers of graphs can be distinguished with two labels
Cartesian powers of graphs can be distinguished with two labels Sandi Klavžar Xuding Zhu Abstract The distinguishing number D(G) of a graph G is the least integer d such that there is a d-labeling of the
More informationGraph Algebras. Kr HANG KrM. Mathematics Research Group, Alabama State University, Montgomery, Alabama 36101, L. MAKAR-LIMANOV
JOURNAL OF ALGEBRA 64, 46-51 (1980) Graph Algebras Kr HANG KrM Mathematics Research Group, Alabama State University, Montgomery, Alabama 36101, L. MAKAR-LIMANOV Semashko Street 5-4, 103009 Moscow, U.S.S.R.,
More informationRepresentations of disjoint unions of complete graphs
Discrete Mathematics 307 (2007) 1191 1198 Note Representations of disjoint unions of complete graphs Anthony B. Evans Department of Mathematics and Statistics, Wright State University, Dayton, OH, USA
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationMutually embeddable graphs and the tree alternative conjecture
Journal of Combinatorial Theory, Series B 96 (2006) 874 880 www.elsevier.com/locate/jctb Mutually embeddable graphs and the tree alternative conjecture Anthony Bonato a, Claude Tardif b a Department of
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 informationOn disconnected cuts and separators
On disconnected cuts and separators Takehiro Ito 1, Marcin Kamiński 2, Daniël Paulusma 3 and Dimitrios M. Thilikos 4 1 Graduate School of Information Sciences, Tohoku University, Aoba-yama 6-6-05, Sendai,
More informationGeneralized Cayley Digraphs
Pure Mathematical Sciences, Vol. 1, 2012, no. 1, 1-12 Generalized Cayley Digraphs Anil Kumar V. Department of Mathematics, University of Calicut Malappuram, Kerala, India 673 635 anilashwin2003@yahoo.com
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationARTICLE IN PRESS Discrete Mathematics ( )
Discrete Mathematics ( ) Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc On the interlace polynomials of forests C. Anderson a, J. Cutler b,,
More informationRelations Graphical View
Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian
More informationORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact.
ORIE 6334 Spectral Graph Theory September 8, 2016 Lecture 6 Lecturer: David P. Williamson Scribe: Faisal Alkaabneh 1 The Matrix-Tree Theorem In this lecture, we continue to see the usefulness of the graph
More informationLecture 22: Counting
CS 710: Complexity Theory 4/8/2010 Lecture 22: Counting Instructor: Dieter van Melkebeek Scribe: Phil Rydzewski & Chi Man Liu Last time we introduced extractors and discussed two methods to construct them.
More informationBase subsets of polar Grassmannians
Journal of Combinatorial Theory, Series A 114 (2007) 1394 1406 www.elsevier.com/locate/jcta Base subsets of polar Grassmannians Mark Pankov Department of Mathematics and Information Technology, University
More informationHamilton Cycles in Digraphs of Unitary Matrices
Hamilton Cycles in Digraphs of Unitary Matrices G. Gutin A. Rafiey S. Severini A. Yeo Abstract A set S V is called an q + -set (q -set, respectively) if S has at least two vertices and, for every u S,
More informationNOTE ON CYCLIC DECOMPOSITIONS OF COMPLETE BIPARTITE GRAPHS INTO CUBES
Discussiones Mathematicae Graph Theory 19 (1999 ) 219 227 NOTE ON CYCLIC DECOMPOSITIONS OF COMPLETE BIPARTITE GRAPHS INTO CUBES Dalibor Fronček Department of Applied Mathematics Technical University Ostrava
More informationAcyclic Digraphs arising from Complete Intersections
Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine
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 informationA note on the Isomorphism Problem for Monomial Digraphs
A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University
More informationThe super line graph L 2
Discrete Mathematics 206 (1999) 51 61 www.elsevier.com/locate/disc The super line graph L 2 Jay S. Bagga a;, Lowell W. Beineke b, Badri N. Varma c a Department of Computer Science, College of Science and
More informationDeterminant of the distance matrix of a tree with matrix weights
Determinant of the distance matrix of a tree with matrix weights R. B. Bapat Indian Statistical Institute New Delhi, 110016, India fax: 91-11-26856779, e-mail: rbb@isid.ac.in Abstract Let T be a tree with
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 informationRECOGNIZING WEIGHTED DIRECTED CARTESIAN GRAPH BUNDLES
Discussiones Mathematicae Graph Theory 20 (2000 ) 39 56 RECOGNIZING WEIGHTED DIRECTED CARTESIAN GRAPH BUNDLES Blaž Zmazek Department of Mathematics, PEF, University of Maribor Koroška 160, si-2000 Maribor,
More information(a i1,1 a in,n)µ(e i1,..., e in ) i 1,...,i n. (a i1,1 a in,n)w i1,...,i n
Math 395. Bases of symmetric and exterior powers Let V be a finite-dimensional nonzero vector spaces over a field F, say with dimension d. For any n, the nth symmetric and exterior powers Sym n (V ) and
More informationAdjacency Matrix of Product of Graphs
Kalpa Publications in Computing Volume 2, 2017, Pages 158 165 ICRISET2017 International Conference on Research and Innovations in Science, Engineering &Technology Selected Papers in Computing Adjacency
More informationHomomorphism Bounded Classes of Graphs
Homomorphism Bounded Classes of Graphs Timothy Marshall a Reza Nasraser b Jaroslav Nešetřil a Email: nesetril@kam.ms.mff.cuni.cz a: Department of Applied Mathematics and Institute for Theoretical Computer
More informationOn zero-sum partitions and anti-magic trees
Discrete Mathematics 09 (009) 010 014 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/disc On zero-sum partitions and anti-magic trees Gil Kaplan,
More informationRefined Inertia of Matrix Patterns
Electronic Journal of Linear Algebra Volume 32 Volume 32 (2017) Article 24 2017 Refined Inertia of Matrix Patterns Kevin N. Vander Meulen Redeemer University College, kvanderm@redeemer.ca Jonathan Earl
More informationSpectral results on regular graphs with (k, τ)-regular sets
Discrete Mathematics 307 (007) 1306 1316 www.elsevier.com/locate/disc Spectral results on regular graphs with (k, τ)-regular sets Domingos M. Cardoso, Paula Rama Dep. de Matemática, Univ. Aveiro, 3810-193
More information18.06 Problem Set 2 Solution
18.06 Problem Set 2 Solution Total: 100 points Section 2.5. Problem 24: Use Gauss-Jordan elimination on [U I] to find the upper triangular U 1 : 1 a b 1 0 UU 1 = I 0 1 c x 1 x 2 x 3 = 0 1 0. 0 0 1 0 0
More informationOn decomposing graphs of large minimum degree into locally irregular subgraphs
On decomposing graphs of large minimum degree into locally irregular subgraphs Jakub Przyby lo AGH University of Science and Technology al. A. Mickiewicza 0 0-059 Krakow, Poland jakubprz@agh.edu.pl Submitted:
More informationarxiv: v2 [math.co] 6 Oct 2016
ON THE CRITICAL GROUP OF THE MISSING MOORE GRAPH. arxiv:1509.00327v2 [math.co] 6 Oct 2016 JOSHUA E. DUCEY Abstract. We consider the critical group of a hypothetical Moore graph of diameter 2 and valency
More informationA Generalized Algorithm for Computing Matching Polynomials using Determinants. Asa Scherer
A Generalized Algorithm for Computing Matching Polynomials using Determinants Asa Scherer April 17, 2007 Abstract We discuss the connection between determinants of modified matching matrices and the matching
More informationGeneralized Pigeonhole Properties of Graphs and Oriented Graphs
Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER
More informationA MATROID EXTENSION RESULT
A MATROID EXTENSION RESULT JAMES OXLEY Abstract. Adding elements to matroids can be fraught with difficulty. In the Vámos matroid V 8, there are four independent sets X 1, X 2, X 3, and X 4 such that (X
More informationColoring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]).
Coloring Basics A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]). For an i S, the set f 1 (i) is called a color class. A k-coloring is called proper if adjacent
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationCorrigendum: The complexity of counting graph homomorphisms
Corrigendum: The complexity of counting graph homomorphisms Martin Dyer School of Computing University of Leeds Leeds, U.K. LS2 9JT dyer@comp.leeds.ac.uk Catherine Greenhill School of Mathematics The University
More informationA Class of Vertex Transitive Graphs
Volume 119 No. 16 2018, 3137-3144 ISSN: 1314-3395 (on-line version) url: http://www.acadpubl.eu/hub/ http://www.acadpubl.eu/hub/ A Class of Vertex Transitive Graphs 1 N. Murugesan, 2 R. Anitha 1 Assistant
More informationA NOTE ON THE DOMINATION NUMBER OF THE CARTESIAN PRODUCTS OF PATHS AND CYCLES. 1. Introduction
Kragujevac Journal of Mathematics Volume 37() (013), Pages 75 85. A NOTE ON THE DOMINATION NUMBER OF THE CARTESIAN PRODUCTS OF PATHS AND CYCLES POLONA PAVLIČ1, AND JANEZ ŽEROVNIK,3 Abstract. Using algebraic
More informationA linear algebraic view of partition regular matrices
A linear algebraic view of partition regular matrices Leslie Hogben Jillian McLeod June 7, 3 4 5 6 7 8 9 Abstract Rado showed that a rational matrix is partition regular over N if and only if it satisfies
More informationThe Chromatic Number of Ordered Graphs With Constrained Conflict Graphs
The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs Maria Axenovich and Jonathan Rollin and Torsten Ueckerdt September 3, 016 Abstract An ordered graph G is a graph whose vertex set
More informationDiscrete Mathematics. The edge spectrum of the saturation number for small paths
Discrete Mathematics 31 (01) 68 689 Contents lists available at SciVerse ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc The edge spectrum of the saturation number for
More informationGroup Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:
Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) =
More informationSemidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5
Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5 Instructor: Farid Alizadeh Scribe: Anton Riabov 10/08/2001 1 Overview We continue studying the maximum eigenvalue SDP, and generalize
More information