Showing 1–3 of 3 results for author: Ravve, E V

A logician's view of graph polynomials

Authors: J. A. Makowsky, E. V. Ravve, T. Kotek

Abstract: Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. We discuss how to represent and compare graph po… ▽ More Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. We discuss how to represent and compare graph polynomials by their distinctive power. We introduce the class of graph polynomials definable using Second Order Logic which comprises virtually all examples of graph polynomials with a fixed finite set of indeterminates. Finally we show that the location of zeros and stability of graph polynomials is not a semantic property. The paper emphasizes a model theoretic view and gives a unified exposition of classical results in algebraic combinatorics together with new and some of our previously obtained results scattered in the graph theoretic literature. △ Less

Submitted 23 May, 2018; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 46 pages, 2 figures, Expanded version of invited lecture at WOLLIC 2016 (Workshop on Logic, Language, Information and Computation, Puebla, Mexico, 2016), Revised version May 5, 2018

On sequences of polynomials arising from graph invariants

Authors: T. Kotek, J. A. Makowsky, E. V. Ravve

Abstract: Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre… ▽ More Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre polynomials. An encoded graph invariant: The absolute value of the chromatic polynomial $χ(G,X)$ of a graph $G$ evaluated at $-1$ counts the number of acyclic orientations of $G$. In this paper we prove a general theorem on graph families which are characterized by families of polynomials satisfying linear recurrence relations. This gives infinitely many instances similar to the characterization of $K_{n,n}$. We also show where to use, instead of the Hermite and Laguerre polynomials, linear recurrence relations where the coefficients do not depend on $n$. Finally, we discuss the distinctive power of graph polynomials in specific form. △ Less

Submitted 2 March, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 25 pages

MSC Class: 05C15; 05C31; 05C85

On the location of roots of graph polynomials

Authors: Johann A. Makowsky, Elena V. Ravve, Nicolas K. Blanchard

Abstract: Roots of graph polynomials such as the characteristic polynomial, the chromatic polynomial, the matching polynomial, and many others are widely studied. In this paper we examine to what extent the location of these roots reflects the graph theoretic properties of the underlying graph. Roots of graph polynomials such as the characteristic polynomial, the chromatic polynomial, the matching polynomial, and many others are widely studied. In this paper we examine to what extent the location of these roots reflects the graph theoretic properties of the underlying graph. △ Less

Submitted 7 October, 2013; v1 submitted 8 September, 2013; originally announced September 2013.

Comments: 21 pages, 4 figures

MSC Class: 05c31