DOCSLIB.ORG

Arxiv:2101.12000V1 [Math.CO] 28 Jan 2021 Problem 1.0.1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2101.12000V1 [Math.CO] 28 Jan 2021 Problem 1.0.1 EXCLUDING A LINE FROM C-REPRESENTABLE MATROIDS JIM GEELEN, PETER NELSON, AND ZACH WALSH Abstract. For each positive integer t and each sufficiently large integer r, we show that the maximum number of elements of a simple, rank-r, C-representable matroid with no U2;t+3-minor is r t 2 + r. We derive this as a consequence of a much more general result concerning matroids on group-labeled graphs. 1. Introduction A matroid is a pair M = (E; r), where E is a finite `ground' set and r : 2E ! Z is a `rank' function for which 0 ≤ r(X) ≤ jXj for each X, and r is both nondecreasing with respect to set inclusion, and submodular: that is r(X0) ≤ r(X) for each X0 ⊆ X ⊆ E, and r(X)+r(Y ) ≥ r(X[Y )+r(X\Y ) for all X; Y ⊆ E. These objects were introduced independently by Whitney [40] and Nakasawa [28, 29, 30] as a combinatorial abstraction of rank functions as they arise in linear algebra. Indeed, the most natural examples of matroids come from matrices; if A is a matrix over a field F with columns indexed by E, then the function r : 2E ! Z defined by r(X) = rank(A[X]) gives a matroid on E. Such a matroid is F-representable. The rank r(M) of a matroid is the rank of its ground set, r(E). The size jMj of M is the cardinality of its ground set E. This article concerns the natural problem of bounding size above by a function of rank. In his seminal 1993 survey paper [25], Kung phrased this as follows: arXiv:2101.12000v1 [math.CO] 28 Jan 2021 Problem 1.0.1. Let M be a class of matroids. For each positive in- teger r, determine the maximum size of a rank-r matroid in M. When M is the class of all matroids, this problem is not meaningful, since a rank-r matroid can have arbitrarily many elements. For exam- ple, for each integer a ≥ 0, the rank-a uniform matroid Ua;b, defined by jEj = b and r(X) = min(jXj; a) for each X ⊆ E, exists for all b ≥ a. Date: January 2021. 2020 Mathematics Subject Classification: 05B35. Key words and phrases: matroids. 1 2 GEELEN, NELSON, AND WALSH For many classes, however, the size of the matroids in the class is bounded by a function of their rank. A matroid M = (E; r) is simple if r(X) = jXj whenever jXj ≤ 2. If M is represented by a matrix A, then simplicity is equivalent to the assertion that the columns of A are nonzero and pairwise non-parallel. For this reason, it is easy to argue that, if GF(q) denotes the q-element finite field, then a simple rank- qr−1 r GF(q)-representable matroid has size at most q−1 , since a rank-r matrix over such a field with pairwise non-parallel, nonzero columns qr−1 has at most q−1 columns. A GF(q)-representable matroid attaining this bound is a rank-r projective geometry, denoted PG(r − 1; q). In fact, a similar upper bound applies under a much weaker hypothe- sis than representability, where we simply forbid a certain substructure from M. Given an element e of a matroid M = (E; r), we can delete e from M to obtain the matroid Mne = (E−feg; r0) where r0(X) = r(X) for each X ⊆ E − feg, or contract e from M to obtain the matroid M=e = (E − feg; r00), where r00(X) = r(X [ feg) − r(feg) for each X ⊆ E − feg. A matroid obtained from M by a sequence of dele- tions or contractions is a minor of M. Kung [25] showed that size is bounded above by a function of rank in any simple matroid omitting a fixed rank-2 uniform minor. Theorem 1.0.2 (Kung). For each integer ` ≥ 2, each simple rank-r `r−1 matroid M with no U2;`+2-minor satisfies jMj ≤ `−1 . This upper bound is best-possible in the weak sense that any upper bound must be exponential in r; if q is a prime power with q ≤ `, then the rank-r projective geometry PG(r − 1; q) has no U2;`+2-minor and qr−1 has size q−1 . In fact, for large r these projective geometries are the unique tight examples [10]: Theorem 1.0.3 (Geelen, Nelson). Let ` ≥ 2 be an integer, and let q be the largest prime power not exceeding `. Then, for all sufficiently large r, each simple rank-r matroid M with no U2;`+2-minor satisfies jMj ≤ qr−1 q−1 . Moreover, equality holds only if M is isomorphic to PG(r − 1; q). This result is surprising in that the purely combinatorial hypothesis of excluding a rank-2 uniform minor gives an upper bound attained uniquely by nontrivial algebraic objects: projective geometries over finite fields. There is a natural additional hypothesis that drastically changes the flavour of the problem: imposing representability over a field of charac- teristic zero. One can show that nontrivial finite projective geometries are not representable over C (or, therefore, R or Q), and thus the bound EXCLUDING A LINE FROM C-REPRESENTABLE MATROIDS 3 in Theorem 1.0.3 can be strengthened under the hypothesis that M is C-representable. In fact, it can be improved rather dramatically. In [24], Kung showed the following: Theorem 1.0.4. Let ` ≥ 2 be an integer. If M is a simple rank-r C-representable matroid with no U2;`+2-minor, then `−1 `−1 r + 1 jMj ≤ `2 −1 − `2 −2 − r: 2 That is, the upper bound drops from exponential to quadratic in r. In turn, no bound better than quadratic in r is possible; there is a natural example showing this. Let t ≥ 2 be an integer, and let ζ 2 C be a (t−1)-st primitive root of unity. Let D = Dr;t−1 denote the C-matrix having as columns the standard basis vectors b1; : : : ; br, as well as all k vectors of the form bi−ζ bj, where 1 ≤ i < j ≤ r and 0 ≤ k < t−1. The matroid represented by D is called a rank-r cyclic Dowling geometry of order t − 1, and can be shown to have no U2;t+2-minor. The matrix r D has r + (t − 1) 2 columns, so the best improvement on the upper r bound in Theorem 1.0.4 that one could hope for is (` − 1) 2 + r, in which the doubly-exponential term in ` is replaced with a linear one. Our main result shows that this bound is correct for all large r. Theorem 1.0.5. Let ` ≥ 2 be an integer. If r is sufficiently large, and M is a simple rank-r C-representable matroid with no U2;`+2-minor, then r jMj ≤ (` − 1) + r: 2 Moreover, if equality holds, then M is isomorphic to a rank-r cyclic Dowling geometry of order ` − 1. If M is instead required to be R-representable, most cyclic Dowling geometries also cease to be examples; the only exceptions are those of order 1 or 2, where all entries of D are real. A rank-r cyclic Dowling geometry of order 2 has no U2;`+2-minor for any ` ≥ 3, and has size r 2 2 2 + r = r ; our second main result is that, up to a linear error term, this is the correct upper bound for R-representable matroids. Theorem 1.0.6. For each integer ` ≥ 3, there is a constant c so that if M is a simple rank-r R-representable matroid with no U2;`+2-minor, then jMj ≤ r2 + c · r. We prove both of the above theorems using a much stronger result, Theorem 1.0.9, that applies to all matroids, not just representable ones. 4 GEELEN, NELSON, AND WALSH Our theorem yields asymptotically best-possible upper bounds in a va- riety of settings where the extremal matroids are close to Dowling ge- ometries, and further gives exact upper bounds in cases where Dowling geometries are the tight examples. One such family of examples arises by imposing representability over fields of different characteristic. Let F× denote the multiplicative group of a field F. Theorem 1.0.7. Let F1 and F2 be fields of different characteristic, × × for which F1 is finite and F1 is a subgroup of F2 . If r is sufficiently large, and M is a simple rank-r matroid representable over F1 and F2, r then jMj ≤ (jF1j − 1) 2 + r. Moreover, if equality holds, then M is isomorphic to a rank-r cyclic Dowling geometry of order jF1j − 1. These hypotheses apply in particular if F2 = C, or if F2 is finite and jF1j − 1 divides jF2j − 1. This problem was previously open for all jF1j > 3; the best general result was due to Kung [24], who proved that jMj satisfies the bound given in Theorem 1.0.4, with ` = jF1j. Extremal Functions. In [25], Kung introduced a piece of notation to facilitate discussions of Problem 1.0.1: the extremal function. For a nonempty class M of matroids, the extremal function of M is the ≥0 ≥0 function hM(r): Z ! (Z [f1g) whose value at an integer r ≥ 0 is the maximum number of elements of a simple matroid in M of rank at most r. Much later, it was proved in [9] that, if M is closed under both minors and isomorphism (for convenience we use the term minor-closed to describe this property), then the extremal function of M has one of three behaviours: linear, quadratic, and exponential.
Load more

Recommended publications
  • On Excluded Minors and Biased Graph Representations of Frame Matroids
    On excluded minors and biased graph representations of frame matroids by Daryl Funk M.Sc., University of Victoria, 2009 B.Sc., Simon Fraser University, 1992 Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in the Department of Mathematics Faculty of Science c Daryl Funk 2015 SIMON FRASER UNIVERSITY Spring 2015 All rights reserved. However, in accordance with the Copyright Act of Canada, this work may be reproduced without authorization under the conditions for \Fair Dealing." Therefore, limited reproduction of this work for the purposes of private study, research, criticism, review and news reporting is likely to be in accordance with the law, particularly if cited appropriately. APPROVAL Name: Daryl Funk Degree: Doctor of Philosophy (Mathematics) Title of Thesis: On excluded minors and biased graph representations of frame matroids Examining Committee: Dr. Jonathan Jedwab, Chair Professor, Department of Mathematics Dr. Matthew DeVos Senior Supervisor Associate Professor, Department of Mathematics Dr. Luis Goddyn Co-Supervisor Professor, Department of Mathematics Dr. Bojan Mohar Internal Examiner Professor, Department of Mathematics Dr. Daniel Slilaty External Examiner Professor, Department of Department of Mathematics and Statistics Wright State University Date Defended: 8 January 2015 ii Partial Copyright Licence iii ABSTRACT A biased graph is a graph in which every cycle has been given a bias, either balanced or un- balanced. Biased graphs provide representations for an important class of matroids, the frame matroids. As with graphs, we may take minors of biased graphs and of matroids, and a family of biased graphs or matroids is minor-closed if it contains every minor of every member of the family.
    [Show full text]
  • Projective Planarity of Matroids of 3-Nets and Biased Graphs
    AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 76(2) (2020), Pages 299–338 Projective planarity of matroids of 3-nets and biased graphs Rigoberto Florez´ ∗ Deptartment of Mathematical Sciences, The Citadel Charleston, South Carolina 29409 U.S.A. [email protected] Thomas Zaslavsky† Department of Mathematical Sciences, Binghamton University Binghamton, New York 13902-6000 U.S.A. [email protected] Abstract A biased graph is a graph with a class of selected circles (“cycles”, “cir- cuits”), called “balanced”, such that no theta subgraph contains exactly two balanced circles. A 3-node biased graph is equivalent to an abstract partial 3-net. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle is equivalent to a 3-net, which, in turn, is equivalent to an isostrophe class of quasigroups. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian.
    [Show full text]
  • Varieties of Combinatorial Geometries by J
    transactions of the american mathematical society Volume 271, Number 2, June 1982 VARIETIES OF COMBINATORIAL GEOMETRIES BY J. KAHN1 AND J. P. S. KUNG Abstract. A hereditary class of (finite combinatorial) geometries is a collection of geometries which is closed under taking minors and direct sums. A sequence of universal models for a hereditary class 'S of geometries is a sequence (T„ ) of geometries in ?T with rank Tn = n, and satisfying the universal property: if G is a geometry in 5" of rank n, then G is a subgeometry of T„. A variety of geometries is a hereditary class with a sequence of universal models. We prove that, apart from two degenerate cases, the only varieties of combina- torial geometries are ( 1) the variety of free geometries, (2) the variety of geometries coordinatizable over a fixed finite field, and (3) the variety of voltage-graphic geometries with voltages in a fixed finite group. 1. Introduction. The notion of free objects in a variety is one of the most important and pervasive ideas in universal algebra. In this paper, we investigate how that notion can be interpreted in the context of the theory of combinatorial geometries (or matroids). No detailed knowledge of universal algebra is required for reading this paper. However, we do assume familiarity with the basic concepts of the theory of combinatorial geometries [2, 4 and 13]. To fix our terminology, let G be a finite geometric lattice. Its maximum and minimum are denoted by 1 and 0. Let S be the set of points (or atoms) in G.
    [Show full text]
  • A Characterisation of Jointless Dowling Geometries Irasema Sarmiento* Mathematical Institute, Oxjord Untver.Vity, 24-29 St
    DISCRETE MATHEMATICS ELSEVIER Discrete Mathematics 197/198 ( 1999 ) 713--731 A characterisation of jointless Dowling geometries Irasema Sarmiento* Mathematical Institute, Oxjord Untver.vity, 24-29 St. Giles', O.'@~rd OX1 3LB. UK Received 9 July 1997; revised 18 December 1997; accepted 3 August 1998 Abstract We use statistics of flats of small rank in order to characterise the jointless Dowling geometries defined by groups of order exceeding three and having rank greater than 3. In particular, we show that if the Tutte polynomial of a matroid is identical to the Tutte polynomial of a jointless Dowling geometry, then the matroid is indeed a jointless Dowling geometry. For rank 3 (and groups of order exceeding 3) this holds only if the order of the group is even. @ 1999 Elsevier Science B.V. All rights reserved 1. Introduction Characterising classes of matroids by their Tutte polynomials is particularly inter- esting due to the large number of applications of Tutte polynomials [7]. Only a few classes of matroids have been shown to be characterised by their Tutte polynomials. Examples of such classes of matroids are projective and affine geometries and Dowling lattices [4]. We will prove here that jointless Dowling lattices are also characterised by their Tutte polynomials. Dowling lattices are group-theoretic generalisations of partition lattices [108]. They have, as well, an interpretation as matroids of gain graphs [14], and are, together with representable matroids, the only non-degenerate varieties [10]. Similarities between projective geometries and Dowling lattices have been studied in [1,2]. Dowling lattices form an infinite family of supersolvable tangential blocks [13].
    [Show full text]
  • SKEW PARTIAL FIELDS, MULTILINEAR REPRESENTATIONS of MATROIDS, and a MATRIX TREE THEOREM for Geoff Whittle, Whose Insights and Ki
    SKEW PARTIAL FIELDS, MULTILINEAR REPRESENTATIONS OF MATROIDS, AND A MATRIX TREE THEOREM R.A. PENDAVINGH AND S.H.M. VAN ZWAM ABSTRACT. We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such represen- tations extends Tutte’s definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte’s repre- sentability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class. MSC subject classification: 05B35 Keywords: matroids, representations, skew partial fields, multilinear rep- resentations, matrix tree theorem For Geoff Whittle, whose insights and kindness have made working in ma- troid theory even more rewarding. 1. INTRODUCTION A matrix with entries in R is totally unimodular if the determinant of each square submatrix is in 1, 0, 1 . A matroid is regular if it can be represented by a totally unimodular{− matrix.g Regular matroids are well-studied objects with many attractive properties. For instance, a binary matroid is either regular, and therefore representable over every field, or it is representable only over fields of characteristic 2. Whittle proved a similar, but more complicated, classification of the repre- sentability of ternary matroids [24, 25].
    [Show full text]
  • Secret-Sharing Matroids Need Not Be Algebraic
    Secret-Sharing Matroids need not be Algebraic Aner Ben-Efraim∗ September 27, 2018 Abstract We combine some known results and techniques with new ones to show that there exists a non- algebraic, multi-linear matroid. This answers an open question by Mat´uˇs(Discrete Mathematics 1999), and an open question by Pendavingh and van Zwam (Advances in Applied Mathematics 2013). The proof is constructive and the matroid is explicitly given. Keywords: Algebraic Matroids, Multi-Linear Matroids. 1 Introduction The aim of this paper is to compare two natural extensions of linear representations of matroids: multi- linear representations and algebraic representations. Specifically, we show that there exists a non-algebraic, multi-linearly representable matroid. Linear matroids. The beginning of matroid theory dates back to the work of Whitney in 1935. Whitney defined the matroid axioms as an abstraction of the linear dependence properties of a set of vectors. It is therefore not surprising that the class of linear matroids, i.e., matroids that originate from linear dependence, is probably the most well studied class of matroids. The class of linear matroids has many desirable properties, such as closure to minors and duality. Quite early in the study of matroids, MacLane proved that not all matroids are linear. The smallest non-linear matroid was presented by V´amos [20] (the V´amos matroid). Since linear algebra can also be done over division rings, and the linear dependence over division rings arXiv:1403.6363v1 [math.CO] 25 Mar 2014 clearly satisfies the matroid axioms, the class of matroids representable over division rings is probably the most natural extension of linear matroids.
    [Show full text]
  • Modularity and Structure in Matroids
    Modularity and Structure in Matroids by Rohan Kapadia A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics and Optimization Waterloo, Ontario, Canada, 2013 c Rohan Kapadia 2013 AUTHOR'S DECLARATION I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract This thesis concerns sufficient conditions for a matroid to admit one of two types of structural characterization: a representation over a finite field or a description as a frame matroid. We call a restriction N of a matroid M modular if, for every flat F of M, rM (F ) + r(N) = rM (F \ E(N)) + rM (F [ E(N)): A consequence of a theorem of Seymour is that any 3-connected matroid with a modular U2;3-restriction is binary. We extend this fact to arbitrary finite fields, showing that if N is a modular rank-3 restriction of a vertically 4-connected matroid M, then any representation of N over a finite field extends to a representation of M. We also look at a more general notion of modularity that applies to minors of a matroid, and use it to present conditions for a matroid with a large projective geometry minor to be representable over a finite field. In particular, we show that a 3-connected, representable matroid with a sufficiently large projective geometry over a finite field GF(q) as a minor is either representable over GF(q) or has a U2;q2+1-minor.
    [Show full text]
  • Seventh Edition 1999 September 22
    A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by Thomas Zaslavsky Manuscript prepared with Marge Pratt Department of Mathematical Sciences Binghamton University Binghamton, New York, U.S.A. 13902-6000 E-mail: [email protected] Submitted: March 19, 1998; Accepted: July 20, 1998. Seventh Edition 1999 September 22 Mathematics Subject Classifications (2000): Primary 05-00, 05-02, 05C22; Secondary 05B20, 05B35, 05C07, 05C10, 05C15, 05C17, 05C20, 05C25, 05C30, 05C35, 05C38, 05C40, 05C45, 05C50, 05C60, 05C62, 05C65, 05C70, 05C75, 05C80, 05C83, 05C85, 05C90, 05C99, 05E25, 05E30, 06A07, 15A06, 15A15, 15A39, 15A99, 20B25, 20F55, 34C99, 51D20, 51D35, 51E20, 51M09, 52B12, 52C07, 52C35, 57M27, 68Q15, 68Q25, 68R10, 82B20, 82D30, 90B10, 90C08, 90C27, 90C35, 90C57, 90C60, 91B14, 91C20, 91D30, 91E10, 92D40, 92E10, 94B75. Colleagues: HELP! If you have any suggestions whatever for items to include in this bibliography, or for other changes, please let me hear from you. Thank you. Copyright c 1996, 1998, 1999 Thomas Zaslavsky i Index A 1 H 61 O 105 V 138 B 8 I 73 P 106 W 140 C 23 J 74 Q 113 X 144 D 35 K 78 R 113 Y 144 E 41 L 87 S 117 Z 145 F 46 M 93 T 130 G 50 N 102 U 137 Preface A signed graph is a graph whose edges are labeled by signs. This is a bibliography of signed graphs and related mathematics. Several kinds of labelled graph have been called \signed" yet are mathematically very different. I distinguish four types: • Group-signed graphs: the edge labels are elements of a 2-element group and are mul- tiplied around a polygon (or along any walk).
    [Show full text]
  • Arxiv:Math/0411268V2 [Math.CO] 4 Aug 2005 Design
    ASSOCIATIVITY IN MULTARY QUASIGROUPS: THE WAY OF BIASED EXPANSIONS THOMAS ZASLAVSKY Abstract. A biased expansion of a graph is a kind of branched covering graph with ad- ditional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups (group expansions); these include all biased ex- pansions of complete graphs (assuming order at least four), which correspond to Dowling’s lattices of a group and encode an iterated group operation. A biased expansion of a cir- cle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion of a 3- connected graph (of order at least four) is a group expansion, and that all 2-connected biased expansions are constructed by expanded edge amalgamation from group expansions and irreducible multary quasigroups. If a 2-connected biased expansion covers every base edge at most three times, or if every four-node minor is a group expansion, then the whole biased expansion is a group expansion. In particular, if a multary quasigroup has a factor- ization graph that is 3-connected, if it has order 3, or if every residual ternary quasigroup is an iterated group isotope, it is isotopic to an iterated group. We mention applications to generalizing Dowling geometries and to transversal designs of high strength. arXiv:math/0411268v2 [math.CO] 4 Aug 2005 Date: Jan.–Mar., 2002; Aug., 2003; Rev. Apr.–May, 2004. Version of November 20, 2018. 2000 Mathematics Subject Classification. Primary 05C22, 20N05, Secondary 05B15, 05B35. Key words and phrases.
    [Show full text]
  • REPRESENTING SOME NON-REPRESENTABLE MATROIDS a Matrix with Entries in Is Totally Unimodular If the Determinant of Each Square Su
    REPRESENTING SOME NON-REPRESENTABLE MATROIDS R.A. PENDAVINGH AND S.H.M. VAN ZWAM ABSTRACT. We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such represen- tations extends Tutte’s definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte’s repre- sentability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class. 1. INTRODUCTION A matrix with entries in R is totally unimodular if the determinant of each square submatrix is in 1, 0, 1 . A matroid is regular if it can be represented by a totally unimodular{− matrix.g Regular matroids are well-studied objects with many attractive properties. For instance, a binary matroid is either regular, and therefore representable over every field, or it is representable only over fields of characteristic 2. Whittle proved a similar, but more complicated, classification of the repre- sentability of ternary matroids [39, 40]. His deep theorem is based on the study of representation matrices with structure similar to that of the totally unimod- ular matrices: the determinants of all square submatrices are constrained to be in some subset of elements of a field.
    [Show full text]
  • A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas
    A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by Thomas Zaslavsky Manuscript prepared with Marge Pratt Department of Mathematical Sciences Binghamton University Binghamton, New York, U.S.A. 13902-6000 E-mail: [email protected] Submitted: March 19, 1998; Accepted: July 20, 1998. Seventh Edition 1999 September 22 Mathematics Subject Classifications (2000): Primary 05-00, 05-02, 05C22; Secondary 05B20, 05B35, 05C07, 05C10, 05C15, 05C17, 05C20, 05C25, 05C30, 05C35, 05C38, 05C40, 05C45, 05C50, 05C60, 05C62, 05C65, 05C70, 05C75, 05C80, 05C83, 05C85, 05C90, 05C99, 05E25, 05E30, 06A07, 15A06, 15A15, 15A39, 15A99, 20B25, 20F55, 34C99, 51D20, 51D35, 51E20, 51M09, 52B12, 52C07, 52C35, 57M27, 68Q15, 68Q25, 68R10, 82B20, 82D30, 90B10, 90C08, 90C27, 90C35, 90C57, 90C60, 91B14, 91C20, 91D30, 91E10, 92D40, 92E10, 94B75. Colleagues: HELP! If you have any suggestions whatever for items to include in this bibliography, or for other changes, please let me hear from you. Thank you. Copyright c 1996, 1998, 1999 Thomas Zaslavsky Typeset by AMS-TEX i Index A1 H59 O 101 V 133 B8 I71 P 102 W 135 C23 J72 Q 109 X 139 D34 K75 R 109 Y 139 E40 L84 S 113 Z 140 F44 M90 T 126 G58 N99 U 133 Preface A signed graph is a graph whose edges are labeled by signs. This is a bibliography of signed graphs and related mathematics. Several kinds of labelled graph have been called “signed” yet are mathematically very different. I distinguish four types: • Group-signed graphs: the edge labels are elements of a 2-element group and are mul- tiplied around a polygon (or along any walk).
    [Show full text]
  • Quasigroup Associativity and Biased Expansion Graphs 1
    ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 12, Pages 13–18 (February 10, 2006) S 1079-6762(06)00155-7 QUASIGROUP ASSOCIATIVITY AND BIASED EXPANSION GRAPHS THOMAS ZASLAVSKY (Communicated by Efim Zelmanov) Abstract. We present new criteria for a multary (or polyadic) quasigroup to be isotopic to an iterated group operation. The criteria are consequences of a structural analysis of biased expansion graphs. We mention applications to transversal designs and generalized Dowling geometries. 1. Associativity in multary quasigroups A multary quasigroup is a set with an n-ary operation for some finite n ≥ 2, n say f : Q → Q, such that the equation f(x1,x2,...,xn)=x0 is uniquely solvable for any one variable given the values of the other n variables. An (associative) factorization is an expression (1) f(x1,...,xn)=g(x1,...,xi,h(xi+1,...,xj),...,xn), where g and h are multary quasigroup operations. For instance, if f is constructed by iterating a group operation, f(x1,...,xn)=x1 · x2 · ··· ·xn, then it has every possible factorization. We study the degree to which an arbi- trary multary quasigroup with some known factorizations is an iterated group. We employ a new method, the structural analysis of biased expansion graphs. An operation may be disguised by isotopy, which means relabelling each variable separately; or by conjugation, which means permuting the variables. Precisely, we call operations f and f isotopic if there exist bijections αi : Q → Q such that α0 α1 αn f (x1,...,xn) = f(x1 ,...,xn ); we call them circularly conjugate if x0 = f (x1,...,xn) ⇐⇒ xi = f(xi+1,...,xn,x0,x1,...,xi−1) or x0 = f (x1,...,xn) ⇐⇒ xi = f(xi−1,...,x1,x0,xn,...,xi+1) Received by the editors September 15, 2004.
    [Show full text]