DOCSLIB.ORG

Generalisation of Bishop Polynomial Derived from Conventional Rook Polynomial

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Generalisation of Bishop Polynomial Derived from Conventional Rook Polynomial Generalisation of bishop polynomial derived from conventional rook polynomial Sim Ming Hui Melodies, Qu Siyang k non-attacking rooks on an m × n chess- Raffles Girls’ School (Secondary) board. A rook is a chess piece that moves Singapore, Singapore vertically and horizontally on the chess- E-mail: [email protected], board. As such, non-attacking rooks must [email protected] be arranged such that no rook are placed in the same row or column. 1. Abstract Let B denote a generalised board (which The rook polynomial is a powerful tool in may be irregular in shape), whereas Bm×n the study of restricted permutations. The denote a rectangular (regular) board with bishop polynomial is a subset of the rook m rows and n columns. In this paper, polynomial on irregular boards. While we define the term k-rook placement as the rook polynomial for regular boards the number of arrangements of k non- is well-established, a generalisation for attacking rooks on a board B whereby or- the bishop polynomial remains unclear der does not matter. (at the point of the study). This study The following are theorems and defini- hence presents an original generalisation, tions previously derived by other papers. the Qu-Sim theorem, for the bishop poly- Proof will not be provided here but can be nomial for all square boards. easily found in the references. 2. Introduction Definition 3.1 The rook polynomial of a board B is the generating function: The rook polynomial is a powerful tool 1 R (x) = P r (B)xk, where r (B) in the theory of restricted permutations. B k=0 k k denotes the k-rook placement on B. [1] Especially in recent years, the study of rook polynomial branches from the ini- mn Lemma 3.1 rk(Bm×n) = k k k! tial focus on the enumeration of restricted where k ≥ m; n. permutations to many others, with ap- plications in graph theory, enumeration Theorem 3.2 The rook polynomial of of matrices, chromatic theory and more. Bm×n is defined as: Rm;n(x) = In comparison, the bishop polynomial, a Pmin(m;n) mn k k=0 k k k! x while a 0-rook special case of the rook polynomial, has placement on any board is always 1. not been as well- established. As such, this paper hopes to present an original Definition 3.2 Two boards, A and B, are generalisation of the bishop polynomial said to be rook equivalent if RA(x) = for square boards to help raise the thresh- RB(x). A sufficient (while not always old of research on bishop polynomials. necessary) condition of rook equivalence is that B can be obtained from A by per- 3. Preliminaries mutation of rows and columns, meaning interchanging rows and columns will not (Note that a glossary of notations is avail- alter the k-rook placements of a board.[1] able at the Appendix for easy of refer- ence.) Theorem 3.3 Component Theorem Let B The rook polynomial is a generating poly- be a board consisting of k disjoint sub- nomial of the number of arrangements of boards, B1;B2;B3:::Bk. Then RB(x) = k Πi=1RBk (x), where disjoint sub-boards Corollary 4.0.1 The rook polynomial for are defined as boards made up of cells n × 2 boards is as follows: Rn×2(x) = 2 from the original board B not sharing 1+(n×2)x+(n)(n−1)x where Rn×2(x) common rows/columns.[2] denotes the rook polynomial for n × 2 boards. Definition 3.3 Let Bm×n be an m×n board, and S an s × t block of Bm×n. For Proof 4.0.1 : Since there is always 1 way 0 ≤ j ≤ min(s; t), let BS;j denote the to arrange 0 rooks on any board. Con- board obtained by deleting sider all possible n × 2 boards, using Theorem 2.2 there is n2 = 2n ways • j of the s rows covered by S 1 1 • j of the t columns covered by S to arrange 1 non-attacking rook; and n2 • all the cells of S 2 2 2! = (n)(n − 1) ways to arrange 2 non-attacking rooks. th BS;j is known as the j inclusion board of Bm×n relative to S. Since rows and 5. Introduction to the Bishop columns involved are identical except on Polynomial S, which are deleted, BS;j is well-defined. [1] A bishop moves only diagonally without Theorem 3.4 Block Decomposition The- restriction in the distance of each move. orem [1] Definition 5.1 Here, the bishop poly- min (s;t) nomial is the generating function of X j R(B) = rk(S)x R(BS;j) the number of arrangements of k non- j=0 attacking bishops (k-bishop placement) on a m × n board: Bm×n(x) = (Efficiency of the theorem is greatly af- P k th k=0 bkx where bk denotes the k co- fected by the choice of cell/block to de- efficient of the bishop polynomial. compose.) Example: In Figure 1, let S be the 2 × 1 While both bishops and rooks move in shaded block. Then by Theorem 2.4, straight lines, they differ in the direction the rook polynomial of un-decomposed of movement. However, the movement of the two can be related through a 45o ro- board B is r0(S)R(Bs;0) + r1(S)R(Bs;1) as shown. tation of the board. Tracing out the path of a bishop after a 45o rotation, gives the path of a rook piece. In Figure 2, the bishop polynomial of board A is the rook polynomial of board B. Example of Application of Block Decomposition 4. Special case of Rook Polynomial: 2 × n boards This special case of the Rook Polynomial will be used intensively in our proof of our main theorems presented, accompa- nied with Theorem 2.4. As such, it is instructive to go through the general for- mula of the rook polynomial for n × 2 Tilting board 45o converts bishop move (in A) to a rook boards. one (in B) 2 Given that a rook moves only vertically or 6.2. Qu-Sim Theorem for Even Boards horizontally, it can only occupy squares Theorem 6.1 B (x) = (P2n−3 of the same colour (in board B above). 2n×2n k=0 xk b (E (x))×R (x))2 Thus the white board (consisting of white k (2n−2)×(2n−2) 2×(2n−k−1) cells) and black board (consisting of black cells) are disjoint sub-boards of the over- all board B. In particular, for even boards where n ≥ 2 and E2×2(x) = 1 + 2x: Note th B2n×2n, note that R(Bwhite) = R(Bblack). that bk(B(x)) refers to the k bishop By Theorem 2.3, R(B) = R(Bwhite) × coefficient of bishop polynomial of sub- R(Bblack) for all square board B. board E(x) and Rm×n(x) refers to the rook polynomial of regular board Bm×n. 6. The Qu-Sim Theorem Proof 6.1.1 Transforming the first few even boards (Figure 4) gives us a gen- 6.1. Definitions eral idea of the pattern: The sub-boards Definition 6.1 Square even boards, E(2n+2)×(2n+2) always adds a 2×(2n+1) B2n×2n can be decomposed into two rook block to the former E sub-board E2n×2n. equivalent sub-boards, each denoted as Hence, as the consecutive boards are E board or E2n×2n. Bishop polynomial closely related, a recursive function can of E2n×2n is expressed as E2n×2n(x). be used to calculate the bishop polyno- Based on Theorem 2.3, B2n×2n(x) = mial for each board. 2 (E2n×2n(x)) Definition 6.2 Square odd boards, B(2n+1)×(2n+1) can be broken down into two sub-boards: one with even num- First few E boards (subboard of the even board ber of cells – denoted as P board or B2n×2n) P(2n+1)×(2n+1) - and the other with an odd Using Theorem 2.4, we see that for number of cells – denoted as O board or E2n×2n the following relations hold if O(2n+1)×(2n+1). we choose to decompose the previous E(2n−2)×(2n−2) board: (Refer to Figure 5 Bishop polynomial of the P and O for diagrammatic representation of rela- boards are expressed as P(2n+1)×(2n+1)(x) tions.) and O(2n+1)×(2n+1)(x). By Theorem 2.3, B(2n+1)×(2n+1)(x) = P(2n+1)×(2n+1)(x) × O(2n+1)×(2n+1)(x) Block Decomposition of the E2n×2n board) (which is the board on the LHS of equation) Representing Figure 5 mathematically, B2n×2n(x) = b0(E2n−2)×(2n−2)(x)) × R(2n−1)×2(x) + b1(E(2n−2)×(2n−2)(x)) × Decomposition of B2n×2n and B(2n+1)×(2n+1) R(2n−2)×2(x) + b2(E(2n−2)×(2n−2)(x)) × 3 2 P2n−1 k R(2n−4)×2(x) x + ::: + R2×(2n−k)(x) k=0 x bk(O2n×2n(x))× 2n−2 b2n−2(E(2n−2)×(2n−2)(x))×R(3×2)(x) x + R1×(2n−k+1)(x) 2n−3 b2n−3(E(2n−2)×(2n−2)(x))×R2×2(x) x where n ≥ 2. Note that bk(B(x)) refers to which is equivalent to the Qu-Sim Theo- the kth bishop coefficient of some bishop rem presented at the start of this section.
Load more

Recommended publications
  • THE N-DIMENSIONAL MATCHING POLYNOMIAL B. Lass
    GAFA, Geom. funct. anal. Vol. 15 (2005) 453 – 475 c Birkh¨auser Verlag, Basel 2005 1016-443X/05/020453-23 DOI 10.1007/s00039-005-0512-0 GAFA Geometric And Functional Analysis THE N-DIMENSIONAL MATCHING POLYNOMIAL B. Lass To P. Cartier and A.K. Zvonkin Abstract. Heilmann et Lieb ont introduit le polynˆome de couplage µ(G, x) d’un graphe G =(V,E). Nous prolongeons leur d´efinition en munissant chaque sommet de G d’une forme lin´eaire N-dimensionnelle (ou bien d’un vecteur) et chaque arˆete d’une forme sym´etrique bilin´eaire. On attache doncatout ` r-couplage de G le produit des formes lin´eaires des sommets qui ne sont pas satur´es par le couplage, multipli´e par le produit des poids des r arˆetes du couplage, o`u le poids d’une arˆete est la valeur de sa forme ´evalu´ee sur les deux vecteurs de ses extr´emit´es. En multipliant par (−1)r et en sommant sur tous les couplages, nous obtenons notre polynˆome de couplage N-dimensionnel. Si N =1,leth´eor`eme principal de l’article de Heilmann et Lieb affirme que tous les z´eros de µ(G, x)sontr´eels. Si N =2, cependant, nous avons trouv´e des graphes exceptionnels o`u il n’y a aucun z´ero r´eel, mˆeme si chaque arˆete est munie du produit scalaire canonique. Toutefois, la th´eorie de la dualit´ed´evelopp´ee dans [La1] reste valable en N dimensions. Elle donne notamment une nouvelle interpr´etationala ` transformation de Bargmann–Segal, aux diagrammes de Feynman et aux produits de Wick.
    [Show full text]
  • Generalized Rook Polynomials and Orthogonal Polynomials
    GENERALIZED ROOK POLYNOMIALS AND ORTHOGONAL POLYNOMIALS Ira M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA 02254-9110 Revised September 30, 1988 Abstract. We consider several generalizations of rook polynomials. In particular we develop analogs of the theory of rook polynomials that are related to general Laguerre and Charlier polynomials in the same way that ordinary rook polynomials are related to simple Laguerre polynomials. 1. Introduction. Suppose that p0(x), p1(x),... is a sequence of polynomials orthogonal with re- spect to a measure dµ. Many authors have considered the problem of finding a combinatorial interpretation of the integral r Z Y pni (x) dµ. i=1 See, for example, Askey and Ismail [1], Askey, Ismail, and Koornwinder [2], Azor, Gillis, and Victor [3], de Sainte-Catherine and Viennot [4], Even and Gillis [5], Foata and Zeilberger [6, 7], Godsil [9], Ismail, Stanton, and Viennot [16], Jackson [17], Viennot [26], and Zeng [27]. The earliest of these papers, that of Even and Gillis [5] in 1976, showed that an integral of a product of simple Laguerre polynomials counts “generalized derange- ments”: permutations of a set of objects of different “colors” with the property that the each object goes to an object of a different color. Jackson [17] observed that the result of Even and Gillis follows easily from the theory of rook polynomials, and in fact an equivalent result (not stated explicitly in terms of integrals of Laguerre 1991 Mathematics Subject Classification. 05A15, 33A65. Key words and phrases. rook polynomial, orthogonal polynomial, Laguerre polynomial, Her- mite polynomial, Charlier polynomial, chromatic polynomial, permutation, set partition.
    [Show full text]
  • COMBINATORICS MT454 / MT5454 These Notes Are Intended to Give
    COMBINATORICS MT454 / MT5454 MARK WILDON These notes are intended to give the logical structure of the course; proofs and further remarks will be given in lectures. Further install- ments will be issued as they are ready. All handouts and problem sheets will be put on Moodle. I would very much appreciate being told of any corrections or possible improvements to these notes. You are warmly encouraged to ask questions in lectures, and to talk to me after lectures and in my office hours. I am also happy to answer questions about the lectures or problem sheets by email. My email ad- dress is [email protected]. Lectures: Tuesday 11am in C201, Wednesday 12 noon in ABLT3 and Thursday 3pm in C336. Office hours in McCrea 240: Monday 4pm, Wednesday 10am and Fri- day 4pm. Date: First term 2013/14. 2 1. INTRODUCTION Combinatorial arguments may be found lurking in all branches of mathematics. Many people first become interested in mathematics by a combinatorial problem. But, strangely enough, at first many mathe- maticians tended to sneer at combinatorics. Thus one finds: “Combinatorics is the slums of topology.” J. H. C. Whitehead (early 1900s, attr.) Fortunately attitudes have changed, and the importance of combina- torial arguments is now widely recognised: “The older I get, the more I believe that at the bottom of most deep mathematical problems there is a combinatorial problem.” I. M. Gelfand (1990) Combinatorics is a very broad subject. It will often be useful to prove the same result in different ways, in order to see different combinato- rial techniques at work.
    [Show full text]
  • On Connectedness and Graph Polynomials
    ON CONNECTEDNESS AND GRAPH POLYNOMIALS by Lucas Mol Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at Dalhousie University Halifax, Nova Scotia April 2016 ⃝c Copyright by Lucas Mol, 2016 Table of Contents List of Tables ................................... iv List of Figures .................................. v Abstract ...................................... vii List of Abbreviations and Symbols Used .................. viii Acknowledgements ............................... x Chapter 1 Introduction .......................... 1 1.1 Background . .6 Chapter 2 All-Terminal Reliability ................... 11 2.1 An Upper Bound on the Modulus of any All-Terminal Reliability Root.................................... 13 2.1.1 All-Terminal Reliability and Simplical Complexes . 13 2.1.2 The Chip-Firing Game and Order Ideals of Monomials . 16 2.1.3 An Upper Bound on the Modulus of any All-Terminal Reliabil- ity Root . 19 2.2 All-Terminal Reliability Roots outside of the Unit Disk . 25 2.2.1 All-Terminal Reliability Roots of Larger Modulus . 25 2.2.2 Simple Graphs with All-Terminal Reliability Roots outside of the Unit Disk . 29 Chapter 3 Node Reliability ........................ 45 3.1 Monotonicity . 51 3.2 Concavity and Inflection Points . 66 3.3 Fixed Points . 74 3.4 The Roots of Node Reliability . 80 ii Chapter 4 The Connected Set Polynomial ............... 84 4.1 Complexity . 88 4.2 Roots of the Connected Set Polynomial . 99 4.2.1 Realness and Connected Set Roots . 99 4.2.2 Bounding the Connected Set Roots . 104 4.2.3 The Closure of the Collection of Connected Set Roots . 116 Chapter 5 The Subtree Polynomial ................... 130 5.1 Connected Sets and Convexity . 132 5.2 Paths and Stars .
    [Show full text]
  • Rook Polynomials
    Rook polynomials Ira M. Gessel Department of Mathematics Brandeis University University of Washington Combinatorics Seminar January 30, 2013 Rook numbers We have an n × n chessboard. A board is a subset of these n2 squares: Rook numbers We have an n × n chessboard. A board is a subset of these n2 squares: In our example, r0 = 1, r1 = 5, r2 = 6, r3 = 1, r4 = r5 = 0. The rook number rk is the number of ways to put k non-attacking rooks on the board, that is, the number of ways to choose k squares from the board with no two in the same row or column. The rook number rk is the number of ways to put k non-attacking rooks on the board, that is, the number of ways to choose k squares from the board with no two in the same row or column. In our example, r0 = 1, r1 = 5, r2 = 6, r3 = 1, r4 = r5 = 0. Hit numbers We can identify a permutation π of [n] = f1; 2;:::; ng with the set of ordered pairs f (i; π(i)) : i 2 [n] g ⊆ [n] × [n], and we can represent such a set of ordered pairs as a set of n squares from [n] × [n], no two in the same row or column. 5 4 3 2 1 1 2 3 4 5 1 2 3 4 5 This is the permutation 4 5 1 3 2 . (The rows are i and the columns are π(i).) Basic problem: Compute the hit numbers. Sometimes we just want h0, the number of permutations that avoid the board.
    [Show full text]
  • Harary Polynomials
    numerative ombinatorics A pplications Enumerative Combinatorics and Applications ECA 1:2 (2021) Article #S2R13 ecajournal.haifa.ac.il Harary Polynomials Orli Herscovici∗, Johann A. Makowskyz and Vsevolod Rakitay ∗Department of Mathematics, University of Haifa, Israel Email: [email protected] zDepartment of Computer Science, Technion{Israel Institute of Technology, Haifa, Israel Email: [email protected] yDepartment of Mathematics, Technion{Israel Institute of Technology, Haifa, Israel Email: [email protected] Received: November 13, 2020, Accepted: February 7, 2021, Published: February 19, 2021 The authors: Released under the CC BY-ND license (International 4.0) Abstract: Given a graph property P, F. Harary introduced in 1985 P-colorings, graph colorings where each color class induces a graph in P. Let χP (G; k) counts the number of P-colorings of G with at most k colors. It turns out that χP (G; k) is a polynomial in Z[k] for each graph G. Graph polynomials of this form are called Harary polynomials. In this paper we investigate properties of Harary polynomials and compare them with properties of the classical chromatic polynomial χ(G; k). We show that the characteristic and the Laplacian polynomial, the matching, the independence and the domination polynomials are not Harary polynomials. We show that for various notions of sparse, non-trivial properties P, the polynomial χP (G; k) is, in contrast to χ(G; k), not a chromatic, and even not an edge elimination invariant. Finally, we study whether the Harary polynomials are definable in monadic second-order Logic. Keywords: Generalized colorings; Graph polynomials; Courcelle's Theorem 2020 Mathematics Subject Classification: 05; 05C30; 05C31 1.
    [Show full text]
  • The Complexity of Multivariate Matching Polynomials
    The Complexity of Multivariate Matching Polynomials Ilia Averbouch∗ and J.A.Makowskyy Faculty of Computer Science Israel Institute of Technology Haifa, Israel failia,[email protected] February 28, 2007 Abstract We study various versions of the univariate and multivariate matching and rook polynomials. We show that there is most general multivariate matching polynomial, which is, up the some simple substitutions and multiplication with a prefactor, the original multivariate matching polynomial introduced by C. Heilmann and E. Lieb. We follow here a line of investigation which was very successfully pursued over the years by, among others, W. Tutte, B. Bollobas and O. Riordan, and A. Sokal in studying the chromatic and the Tutte polynomial. We show here that evaluating these polynomials over the reals is ]P-hard for all points in Rk but possibly for an exception set which is semi-algebraic and of dimension strictly less than k. This result is analoguous to the characterization due to F. Jaeger, D. Vertigan and D. Welsh (1990) of the points where the Tutte polynomial is hard to evaluate. Our proof, however, builds mainly on the work by M. Dyer and C. Greenhill (2000). 1 Introduction In this paper we study generalizations of the matching and rook polynomials and their complexity. The matching polynomial was originally introduced in [5] as a multivariate polynomial. Some of its general properties, in particular the so called half-plane property, were studied recently in [2]. We follow here a line of investigation which was very successfully pursued over the years by, among others, W. Tutte [15], B.
    [Show full text]
  • Intriguing Graph Polynomials Intriguing Graph Polynomials
    ICLA-09, January 2009 Intriguing Graph Polynomials Intriguing Graph Polynomials Johann A. Makowsky Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel http://www.cs.technion.ac.il/∼janos e-mail: [email protected] ********* Joint work with I. Averbouch, M. Bl¨aser, H. Dell, B. Godlin, T. Kotek and B. Zilber Reporting also recent work by M. Freedman, L. Lov´asz, A. Schrijver and B. Szegedy Graph polynomial project: http://www.cs.technion.ac.il/∼janos/RESEARCH/gp-homepage.html 1 ICLA-09, January 2009 Intriguing Graph Polynomials Overview • Parametrized numeric graph invariants and graph polynomials • Evaluations of graph polynomials • What we find intriguing • Numeric graph invariants: Properties and guiding examples • Connection matrices • MSOL-definable graph polynomials • Finite rank of connection matrices • Applications of the Finite Rank Theorem • Complexity of evaluations of graph polynomials • Towards a dichotomy theorem 2 ICLA-09, January 2009 Intriguing Graph Polynomials References, I [CMR] B. Courcelle, J.A. Makowsky and U. Rotics: On the Fixed Parameter Complexity of Graph Enumeration Problems Definable in Monadic Second Order Logic, Discrete Applied Mathematics, 108.1-2 (2001) 23-52 [M] J.A. Makowsky: Algorithmic uses of the Feferman-Vaught theorem, Annals of Pure and Applied Logic, 126.1-3 (2004) 159-213 [M-zoo] J.A. Makowsky: From a Zoo to a Zoology: Towards a general theory of graph polynomials, Theory of Computing Systems, Special issue of CiE06, online first, October 2007 3 ICLA-09, January 2009 Intriguing Graph Polynomials References, II [MZ] J.A. Makowsky and B. Zilber, Polynomial invariants of graphs and totally categorical theories, MODNET Preprint No.
    [Show full text]
  • Generalizations of the Matching Polynomial to the Multivariate
    Generalizations of the Matching Polynomial to the Multivariate Independence Polynomial Jonathan Leake Nick Ryder ∗ February 20, 2019 Abstract We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph G as the independence polynomial of the line graph of G, we determine conditions for the extension of these theorems to the independence polynomial of any graph. In particular, we show that a stability-like property of the multivariate independence polynomial characterizes claw-freeness. Finally, we give and extend multivariate versions of Godsil’s theorems on the divisibility of matching polynomials of trees related to G. 1 Introduction Given a graph G = (V, E), the matching polynomial of G and the independence polynomial of G are defined as follows. |M| µ(G) := x2 I(G) := x|S| − MX⊂E SX⊂V M,matching S,independent The real-rootedness of the matching polynomial and the Heilmann-Lieb root bound are important results in the theory of undirected simple graphs. In particular, real-rootedness implies log-concavity and unimodality of the matchings of a graph, and recently in [MSS15] the root bound was used to show the existence of Ramanujan graphs. Additionally, it is well-known that the matching polynomial of a graph G is equal to the independence polynomial of the line graph of G. With this, one obtains the same results for the independence polynomials of line graphs. This then leads to a natural question: what properties extend to the independence polynomials of all graphs? Generalization of these results to the independence polynomial has been partially successful.
    [Show full text]
  • CHRISTOFFEL-DARBOUX TYPE IDENTITIES for INDEPENDENCE POLYNOMIAL3 Conjecture Turned out to Be False for General Graphs, As It Was Pointed out in [3]
    CHRISTOFFEL-DARBOUX TYPE IDENTITIES FOR INDEPENDENCE POLYNOMIAL FERENC BENCS Abstract. In this paper we introduce some Christoffel-Darboux type identities for independence polynomials. As an application, we give a new proof of a theorem of M. Chudnovsky and P. Seymour, claiming that the independence polynomial of a claw-free graph has only real roots. Another application is related to a conjecture of Merrifield and Simmons. 1. Introduction The independence polynomial of a graph G is defined by: I(G, x)= a (G)xk, X k k=0 where a0(G) = 1, and if k ≥ 1, then ak(G) denotes the number of independent sets of G of size k. The matching polynomial of a graph G is defined in a similar way: µ(G, x)= (−1)km (G)xn−2k, X k k=0 where m0(G) = 1, and if k ≥ 1, then mk(G) is the number of matchings of size k. The Christoffel-Darboux identity is one of the most important tools in the theory of orthogonal polynomials. It asserts, that if (pn(x)) is a sequence of orthogonal polynomials, then n 1 kn pn(y)pn+1(x) − pn(x)pn+1(x) pj(x)pj(y)= , X hj hnhn x − y j=0 +1 where hj is the squared norm of pj(x), and kj is the leading coefficient of pj(x). A one-line consequence of this identity is the real-rootedness of the polynomial pn(x) for any n. Indeed, assume that ξ is a non-real root of pn(x), and let x = ξ and arXiv:1409.2527v1 [math.CO] 8 Sep 2014 y = ξ.
    [Show full text]
  • The Matching Polynomial of a Distance-Regular Graph
    Internat. J. Math. & Math. Sci. Vol. 23, No. 2 (2000) 89–97 S0161171200000740 ©Hindawi Publishing Corp. THE MATCHING POLYNOMIAL OF A DISTANCE-REGULAR GRAPH ROBERT A. BEEZER and E. J. FARRELL (Received 15 August 1997) Abstract. A distance-regular graph of diameter d has 2d intersection numbers that de- termine many properties of graph (e.g., its spectrum). We show that the first six coefficients of the matching polynomial of a distance-regular graph can also be determined from its intersection array, and that this is the maximum number of coefficients so determined. Also, the converse is true for distance-regular graphs of small diameter—that is, the inter- section array of a distance-regular graph of diameter 3 or less can be determined from the matching polynomial of the graph. Keywords and phrases. Matching polynomial, distance-regular graph. 2000 Mathematics Subject Classification. Primary 05C70, 05E30. 1. Introduction. Distance-regular graphs are highly regular combinatorial struc- tures that often occur in connection with other areas of combinatorics (e.g., designs and finite geometries) and many of their properties can be determined from their intersection numbers. These properties include the eigenvalues of the graph, and their multiplicities, and hence, we can determine the characteristic polynomial of a distance-regular graph from knowledge of its intersection numbers. It is also known that the characteristic polynomial of any graph can be determined by computing the circuit polynomial and converting it to a polynomial in a single variable via a specific set of substitutions. Since the intersection array and the circuit polynomial of a distance-regular graph both determine its characteristic polynomial, it was natural to investigate the relation- ship between the circuit polynomial and the intersection array for distance-regular graphs.
    [Show full text]
  • Combinatorics and Zeros of Multivariate Polynomials
    Combinatorics and zeros of multivariate polynomials NIMA AMINI Doctoral Thesis in Mathematics Stockholm, Sweden 2019 TRITA-SCI-FOU 2019:33 KTH School of Engineering Sciences ISRN KTH/MAT/A-19/05-SE SE-100 44 Stockholm ISBN 978-91-7873-210-4 SWEDEN Akademisk avhandling som med tillst˚andav Kungl Tekniska h¨ogskolan framl¨agges till offentlig granskning f¨or avl¨aggande av filosofie doktorsexamen i matematik fredagen den 24 maj 2019 klockan 14.00 i sal D3, Lindstedtsv¨agen 5, KTH, Stock- holm. c Nima Amini, 2019 Tryck: Universitetsservice US-AB, 2019 iii Abstract This thesis consists of five papers in algebraic and enumerative combina- torics. The objects at the heart of the thesis are combinatorial polynomials in one or more variables. We study their zeros, coefficients and special eval- uations. Hyperbolic polynomials may be viewed as multivariate generalizations of real-rooted polynomials in one variable. To each hyperbolic polynomial one may associate a convex cone from which a matroid can be derived - a so called hyperbolic matroid. In Paper A we prove the existence of an infinite family of non-representable hyperbolic matroids parametrized by hypergraphs. We further use special members of our family to investigate consequences to a cen- tral conjecture around hyperbolic polynomials, namely the generalized Lax conjecture. Along the way we strengthen and generalize several symmetric function inequalities in the literature, such as the Laguerre-Tur´aninequality and an inequality due to Jensen. In Paper B we affirm the generalized Lax conjecture for two related classes of combinatorial polynomials: multivariate matching polynomials over arbitrary graphs and multivariate independence polynomials over simplicial graphs.
    [Show full text]