Showing 1–27 of 27 results for author: Makowsky, J A

Effective MC-finiteness

Authors: Yuval Filmus, Eldar Fischer, Johann A. Makowsky

Abstract: An integer sequence $(a_n)_{n \in \mathbb{N}}$ is \emph{MC-finite} if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences $(a_n)_{n \in \mathbb{N}}$ such that the function $F: (m,n) \mapsto a_n \bmod m$ is not computable. In \cite{filmus2023mc} we presented concrete examples of MC-finite sequences taken from the Online Encyclopedia of Integer Sequences (OE… ▽ More An integer sequence $(a_n)_{n \in \mathbb{N}}$ is \emph{MC-finite} if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences $(a_n)_{n \in \mathbb{N}}$ such that the function $F: (m,n) \mapsto a_n \bmod m$ is not computable. In \cite{filmus2023mc} we presented concrete examples of MC-finite sequences taken from the Online Encyclopedia of Integer Sequences (OEIS) without discussing the computability of $F$. In this paper we discuss cases when this $F$ is effectively computable. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 12 pages

MSC Class: 05; 05C30

Meta-theorems for Graph Polynomials

Authors: Johann A. Makowsky

Abstract: In this paper I survey the sources of inspiration for my own and co-authored work in trying to develop a general theory of graph polynomials. I concentrate on meta-theorems, i.e., theorem which depend only on the form infinite classes of graph polynomials are defined in some formalism, and not on the actual meaning of the particular definitions. In this paper I survey the sources of inspiration for my own and co-authored work in trying to develop a general theory of graph polynomials. I concentrate on meta-theorems, i.e., theorem which depend only on the form infinite classes of graph polynomials are defined in some formalism, and not on the actual meaning of the particular definitions. △ Less

Submitted 12 May, 2024; v1 submitted 4 May, 2024; originally announced May 2024.

Comments: 21 pages

MSC Class: 05; 05C10; 05C30; 05C31; 05C69; 05C80

How I got to like graph polynomials

Authors: Johann A. Makowsky

Abstract: For Boris Zilber on his 75th birthday. I trace the roots of my collaboration with Boris Zilber, which combines categoricity theory, finite model theory, algorithmics, and combinatorics. For Boris Zilber on his 75th birthday. I trace the roots of my collaboration with Boris Zilber, which combines categoricity theory, finite model theory, algorithmics, and combinatorics. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: 11 pages

MSC Class: 03; 05; 68; 03C13; 03C35; 05C31; 68Q99

Counting Finite Topologies

Authors: Eldar Fischer, Johann A. Makowsky

Abstract: In this paper we study the number of finite topologies on an $n$-element set subject to various restrictions. In this paper we study the number of finite topologies on an $n$-element set subject to various restrictions. △ Less

Submitted 31 December, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 12 pages

MSC Class: 05A99; 5408

MC-finiteness of restricted set partition functions

Authors: Yuval Filmus, Eldar Fischer, Johann A. Makowsky, Vsevolod Rakita

Abstract: A sequence $s(n)$ of integers is MC-finite if for every $m \in \mathbb{N}^+$ the sequence $s^m(n) = s(n) \bmod{m}$ is ultimately periodic. We discuss various ways of proving and disproving MC-finiteness. Our examples are mostly taken from set partition functions, but our methods can be applied to many more integer sequences. A sequence $s(n)$ of integers is MC-finite if for every $m \in \mathbb{N}^+$ the sequence $s^m(n) = s(n) \bmod{m}$ is ultimately periodic. We discuss various ways of proving and disproving MC-finiteness. Our examples are mostly taken from set partition functions, but our methods can be applied to many more integer sequences. △ Less

Submitted 2 July, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Comments: 16 pages, 4 tables

MSC Class: 06A07; 11B30; 05A19

Extensions and Limits of the Specker-Blatter Theorem

Authors: Eldar Fischer, Johann A. Makowsky

Abstract: The original Specker-Blatter Theorem (1983) was formulated for classes of structures $\mathcal{C}$ of one or several binary relations definable in Monadic Second Order Logic MSOL. It states that the number of such structures on the set $[n]$ is modularly C-finite (MC-finite). In previous work we extended this to structures definable in CMSOL, MSOL extended with modular counting quantifiers. The fi… ▽ More The original Specker-Blatter Theorem (1983) was formulated for classes of structures $\mathcal{C}$ of one or several binary relations definable in Monadic Second Order Logic MSOL. It states that the number of such structures on the set $[n]$ is modularly C-finite (MC-finite). In previous work we extended this to structures definable in CMSOL, MSOL extended with modular counting quantifiers. The first author also showed that the Specker-Blatter Theorem does not hold for one quaternary relation (2003). If the vocabulary allows a constant symbol $c$, there are $n$ possible interpretations on $[n]$ for $c$. We say that a constant $c$ is {\em hard-wired} if $c$ is always interpreted by the same element $j \in [n]$. In this paper we show: 1. The Specker-Blatter Theorem also holds for CMSOL when hard-wired constants are allowed. The proof method of Specker and Blatter does not work in this case. 2. The Specker-Blatter Theorem does not hold already for $\mathcal{C}$ with one ternary relation definable in First Order Logic FOL. This was left open since 1983. Using hard-wired constants allows us to show MC-finiteness of counting functions of various restricted partition functions which were not known to be MC-finite till now. Among them we have the restricted Bell numbers $B_{r,A}$, restricted Stirling numbers of the second kind $S_{r,A}$ or restricted Lah-numbers $L_{r,A}$. Here $r$ is an non-negative integer and $A$ is an ultimately periodic set of non-negative integers. △ Less

Submitted 27 June, 2022; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: 25 pages

MSC Class: 05; 03; 05C30; 05A18; 03C13; 03C98

On the Tutte and matching polynomials for complete graphs

Authors: Tomer Kotek, Johann A. Makowsky

Abstract: Let $T(G;X,Y)$ be the Tutte polynomial for graphs. We study the sequence $t_{a,b}(n) = T(K_n;a,b)$ where $a,b$ are non-negative integers, and show that for every $μ\in \N$ the sequence $t_{a,b}(n)$ is ultimately periodic modulo $μ$ provided $a \neq 1 \modμ$ and $b \neq 1 \modμ$. This result is related to a conjecture by A. Mani and R. Stones from 2016. The theorem is a consequence of a more genera… ▽ More Let $T(G;X,Y)$ be the Tutte polynomial for graphs. We study the sequence $t_{a,b}(n) = T(K_n;a,b)$ where $a,b$ are non-negative integers, and show that for every $μ\in \N$ the sequence $t_{a,b}(n)$ is ultimately periodic modulo $μ$ provided $a \neq 1 \modμ$ and $b \neq 1 \modμ$. This result is related to a conjecture by A. Mani and R. Stones from 2016. The theorem is a consequence of a more general theorem which holds for a wide class of graph polynomials definable in Monadic Second Order Logic and some of its extensions, such as the the independence polynomial, the clique polynomial, etc. We also show similar results for the various substitution instances of the bivariate matching polynomial and the trivariate edge elimination polynomial $ξ(G;X,Y,Z)$ introduced by I. Averbouch, B. Godlin and the second author in 2008. All our results depend on the Specker-Blatter Theorem from 1981, which studies modular recurrence relations of combinatorial sequences which count the number of labeled graphs. △ Less

Submitted 5 October, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Accepted for publication in Fundamenta Informaticae 186(3): 1-19 (2022), the special volume celebrating B.A. Trakhtenbrot's centenary

MSC Class: 05C30; 05C31 %68Q25; 68R10; 68U05

Journal ref: Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:8839

Almost Unimodal and Real-Rooted Graph Polynomials

Authors: Johann A. Makowsky, Vsevolod Rakita

Abstract: It is well known that the coefficients of the matching polynomial are unimodal. Unimodality of the coefficients (or their absolute values) of other graph polynomials have been studied as well. One way to prove unimodality is to prove real-rootedness.` Recently I. Beaton and J. Brown (2020) proved the for almost all graphs the coefficients of the domination polynomial form a unimodal sequence, an… ▽ More It is well known that the coefficients of the matching polynomial are unimodal. Unimodality of the coefficients (or their absolute values) of other graph polynomials have been studied as well. One way to prove unimodality is to prove real-rootedness.` Recently I. Beaton and J. Brown (2020) proved the for almost all graphs the coefficients of the domination polynomial form a unimodal sequence, and C. Barton, J. Brown and D. Pike (2020) proved that the forest polynomial (aka acyclic polynomial) is real-rooted iff $G$ is a forest. Let $\mathcal{A}$ be a graph property, and let $a_i(G)$ be the number of induced subgraphs of order $i$ of a graph $G$ which are in $\mathcal{A}$. Inspired by their results we prove: {\bf Theorem:} If $\mathcal{A}$ is the complement of a hereditary property, then for almost all graphs in $G(n,p)$ the sequence $a_i(G)$ is unimodal. {\bf Theorem:} If $\mathcal{A}$ is a hereditary property which contains a graph which is not a clique or the complement of a clique, then the graph polynomial $P_{\mathcal{A}}(G;x) = \sum_i a_i(G) x^i$ is real-rooted iff $G \in \mathcal{A}$. △ Less

Submitted 18 October, 2022; v1 submitted 30 January, 2021; originally announced February 2021.

Comments: 14 pages, expanded and revised version of previous posting with different title. Previous title: Graph Polynomials Unimodal for Almost All Graphs. Revised version as accepted for publication in the European Journal of Combinatorics

MSC Class: 05C30; 05C31; 05C80

Axiomatizing Origami planes

Authors: Lev Beklemishev, Anna Dmitrieva, Johann A. Makowsky

Abstract: We provide a variant of an axiomatization of elementary geometry based on logical axioms in the spirit of Huzita--Justin axioms for the Origami constructions. We isolate the fragments corresponding to natural classes of Origami constructions such as Pythagorean, Euclidean, and full Origami constructions. The sets of Origami constructible points for each of the classes of constructions provides the… ▽ More We provide a variant of an axiomatization of elementary geometry based on logical axioms in the spirit of Huzita--Justin axioms for the Origami constructions. We isolate the fragments corresponding to natural classes of Origami constructions such as Pythagorean, Euclidean, and full Origami constructions. The sets of Origami constructible points for each of the classes of constructions provides the minimal model of the corresponding set of logical axioms. Our axiomatizations are based on Wu's axioms for orthogonal geometry and some modifications of Huzita--Justin axioms. We work out bi-interpretations between these logical theories and theories of fields as described in J.A. Makowsky (2018). Using a theorem of M. Ziegler (1982) which implies that the first order theory of Vieta fields is undecidable, we conclude that the first order theory of our axiomatization of Origami is also undecidable. △ Less

Submitted 26 May, 2021; v1 submitted 6 December, 2020; originally announced December 2020.

Comments: 32 pages. This new version has been restructured and expanded in May 2021

MSC Class: 51E15; 51M15; 03D35; 12L05

Harary polynomials

Authors: Orli Herscovici, Johann A. Makowsky, Vsevolod Rakita

Abstract: Given a graph property $\mathcal{P}$, F. Harary introduced in 1985 $\mathcal{P}$-colorings, graph colorings where each colorclass induces a graph in $\mathcal{P}$. Let $χ_{\mathcal{P}}(G;k)$ counts the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. It turns out that $χ_{\mathcal{P}}(G;k)$ is a polynomial in $\mathbb{Z}[k]$ for each graph $G$. Graph polynomials of this form are c… ▽ More Given a graph property $\mathcal{P}$, F. Harary introduced in 1985 $\mathcal{P}$-colorings, graph colorings where each colorclass induces a graph in $\mathcal{P}$. Let $χ_{\mathcal{P}}(G;k)$ counts the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. It turns out that $χ_{\mathcal{P}}(G;k)$ is a polynomial in $\mathbb{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 Laplacian polynomial, the matching, the independence and the domination polynomial are not Harary polynomials. We show that for various notions of sparse, non-trivial properties $\mathcal{P}$, the polynomial $χ_{\mathcal{P}}(G;k)$ is, in contrast to $χ(G;k)$, not a chromatic, and even not an edge elimination invariant. Finally we study whether Harary polynomials are definable in Monadic Second Order Logic. △ Less

Submitted 12 July, 2020; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: 17 pages

MSC Class: 05C30; 05C31; 05C15

The exact complexity of the Tutte polynomial

Authors: Tomer Kotek, Johann A. Makowsky

Abstract: This is a survey on the exact complexity of computing the Tutte polynomial. It is the longer 2017 version of Chapter 25 of the CRC Handbook on the Tutte polynomial and related topics, edited by J. Ellis-Monaghan and I. Moffatt, which is due to appear in the first quarter of 2020. In the version to be published in the Handbook the Sections 5 and 6 are shortened and made into a single section. This is a survey on the exact complexity of computing the Tutte polynomial. It is the longer 2017 version of Chapter 25 of the CRC Handbook on the Tutte polynomial and related topics, edited by J. Ellis-Monaghan and I. Moffatt, which is due to appear in the first quarter of 2020. In the version to be published in the Handbook the Sections 5 and 6 are shortened and made into a single section. △ Less

Submitted 20 October, 2019; originally announced October 2019.

Comments: 26 pages, 3 figures, 1 table

MSC Class: 05; 05C31; 05-02; 68; 68-02; 68Q17; 68Q25;

Weakly Distinguishing Graph Polynomials on Addable Properties

Authors: Johann A. Makowsky, Vsevolod Rakita

Abstract: A graph polynomial $P$ is weakly distinguishing if for almost all finite graphs $G$ there is a finite graph $H$ that is not isomorphic to $G$ with $P(G)=P(H)$. It is weakly distinguishing on a graph property $\mathcal{C}$ if for almost all finite graphs $G\in\mathcal{C}$ there is $H \in \mathcal{C}$ that is not isomorphic to $G$ with $P(G)=P(H)$. We give sufficient conditions on a graph property… ▽ More A graph polynomial $P$ is weakly distinguishing if for almost all finite graphs $G$ there is a finite graph $H$ that is not isomorphic to $G$ with $P(G)=P(H)$. It is weakly distinguishing on a graph property $\mathcal{C}$ if for almost all finite graphs $G\in\mathcal{C}$ there is $H \in \mathcal{C}$ that is not isomorphic to $G$ with $P(G)=P(H)$. We give sufficient conditions on a graph property $\mathcal{C}$ for the characteristic, clique, independence, matching, and domination and $ξ$ polynomials, as well as the Tutte polynomial and its specialisations, to be weakly distinguishing on $\mathcal{C}$. One such condition is to be addable and small in the sense of C. McDiarmid, A. Steger and D. Welsh (2005). Another one is to be of genus at most $k$. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 17 pages, 6 figures

MSC Class: 05; 05C10; 05C30; 05C31; 05C69; 05C80

Journal ref: Moscow J. Comb. Number Th. 9 (2020) 333-349

Modernism, Fiction and Mathematics

Authors: Johann A. Makowsky

Abstract: This is an expanded version of my review of Nina Engelhardt's book "Modernism, Fiction and Mathematics", Edinburgh University Press 2018. A considerably shortened version will appear in the Notices of the AMS. This is an expanded version of my review of Nina Engelhardt's book "Modernism, Fiction and Mathematics", Edinburgh University Press 2018. A considerably shortened version will appear in the Notices of the AMS. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 14 pages, 11 public domain photographs

MSC Class: 01A70

On Weakly Distinguishing Graph Polynomials

Authors: Johann A. Makowsky, Vsevolod Rakita

Abstract: A univariate graph polynomial P(G;X) is weakly distinguishing if for almost all finite graphs G there is a finite graph H with P(G;X)=P(H;X). We show that the clique polynomial and the independence polynomial are weakly distinguishing. Furthermore, we show that generating functions of induced subgraphs with property C are weakly distinguishing provided that C is of bounded degeneracy or tree-width… ▽ More A univariate graph polynomial P(G;X) is weakly distinguishing if for almost all finite graphs G there is a finite graph H with P(G;X)=P(H;X). We show that the clique polynomial and the independence polynomial are weakly distinguishing. Furthermore, we show that generating functions of induced subgraphs with property C are weakly distinguishing provided that C is of bounded degeneracy or tree-width. The same holds for the harmonious chromatic polynomial. △ Less

Submitted 31 March, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (April 2, 2019) dmtcs:4949

On P-unique hypergraphs

Authors: J. A. Makowsky, R. X. Zhang

Abstract: We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjectur… ▽ More We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollobás, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remains open. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: 10 pages

MSC Class: 05C65; 05C31

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 complexity of generalized chromatic polynomials

Authors: A. Goodall, M. Hermann, T. Kotek, J. A. Makowsky, S. D. Noble

Abstract: J. Makowsky and B. Zilber (2004) showed that many variations of graph colorings, called CP-colorings in the sequel, give rise to graph polynomials. This is true in particular for harmonious colorings, convex colorings, mcc_t-colorings, and rainbow colorings, and many more. N. Linial (1986) showed that the chromatic polynomial $χ(G;X)$ is #P-hard to evaluate for all but three values X=0,1,2, where… ▽ More J. Makowsky and B. Zilber (2004) showed that many variations of graph colorings, called CP-colorings in the sequel, give rise to graph polynomials. This is true in particular for harmonious colorings, convex colorings, mcc_t-colorings, and rainbow colorings, and many more. N. Linial (1986) showed that the chromatic polynomial $χ(G;X)$ is #P-hard to evaluate for all but three values X=0,1,2, where evaluation is in P. This dichotomy includes evaluation at real or complex values, and has the further property that the set of points for which evaluation is in P is finite. We investigate how the complexity of evaluating univariate graph polynomials that arise from CP-colorings varies for different evaluation points. We show that for some CP-colorings (harmonious, convex) the complexity of evaluation follows a similar pattern to the chromatic polynomial. However, in other cases (proper edge colorings, mcc_t-colorings, H-free colorings) we could only obtain a dichotomy for evaluations at non-negative integer points. We also discuss some CP-colorings where we only have very partial results. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 33 pages, 2 figures, 3 tables

MSC Class: 05C15; 05C31; 05C85; 68Q17; 68W05

On the exact learnability of graph parameters: The case of partition functions

Authors: Nadia Labai, Johann A. Makowsky

Abstract: We study the exact learnability of real valued graph parameters $f$ which are known to be representable as partition functions which count the number of weighted homomorphisms into a graph $H$ with vertex weights $α$ and edge weights $β$. M. Freedman, L. Lovász and A. Schrijver have given a characterization of these graph parameters in terms of the $k$-connection matrices $C(f,k)$ of $f$. Our mode… ▽ More We study the exact learnability of real valued graph parameters $f$ which are known to be representable as partition functions which count the number of weighted homomorphisms into a graph $H$ with vertex weights $α$ and edge weights $β$. M. Freedman, L. Lovász and A. Schrijver have given a characterization of these graph parameters in terms of the $k$-connection matrices $C(f,k)$ of $f$. Our model of learnability is based on D. Angluin's model of exact learning using membership and equivalence queries. Given such a graph parameter $f$, the learner can ask for the values of $f$ for graphs of their choice, and they can formulate hypotheses in terms of the connection matrices $C(f,k)$ of $f$. The teacher can accept the hypothesis as correct, or provide a counterexample consisting of a graph. Our main result shows that in this scenario, a very large class of partition functions, the rigid partition functions, can be learned in time polynomial in the size of $H$ and the size of the largest counterexample in the Blum-Shub-Smale model of computation over the reals with unit cost. △ Less

Submitted 13 June, 2016; originally announced June 2016.

Comments: 14 pages, full version of the MFCS 2016 conference paper

ACM Class: I.2.6; G.2.1

Logics of Finite Hankel Rank

Authors: Nadia Labai, Johann A. Makowsky

Abstract: We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures and their Hankel matrices. We show the connection between Hankel matrices and the Feferman-Vaught Theorem. The largest logic known to satisfy a Feferman-Vaught Theorem for product-like operations is CFOL, first order logic… ▽ More We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures and their Hankel matrices. We show the connection between Hankel matrices and the Feferman-Vaught Theorem. The largest logic known to satisfy a Feferman-Vaught Theorem for product-like operations is CFOL, first order logic with modular counting quantifiers. For sum-like operations it is CMSOL, the corresponding monadic second order logic. We discuss whether there are maximal logics satisfying Feferman-Vaught Theorems for finite structures. △ Less

Submitted 8 December, 2015; originally announced December 2015.

Comments: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th birthday. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23534-9_14

ACM Class: F.4.1

Journal ref: Fields of Logic and Computation II, Volume 9300 of the series Lecture Notes in Computer Science, pp 237-252. Springer International Publishing, 2015

Finiteness conditions for graph algebras over tropical semirings

Authors: Nadia Labai, Johann A. Makowsky

Abstract: Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{á}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rin… ▽ More Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{á}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matrices of fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption. △ Less

Submitted 11 May, 2014; originally announced May 2014.

Comments: 12 pages, accepted for presentation at FPSAC 2014 (Chicago, June 29 -July 3, 2014), to appear in Discrete Mathematics and Theoretical Computer Science

MSC Class: 05C25; 05C30; 05C31; 05C50 ACM Class: G.2.2

Recurrence Relations for Graph Polynomials on Bi-iterative Families of Graphs

Authors: Tomer Kotek, Johann A. Makowsky

Abstract: We show that any graph polynomial from a wide class of graph polynomials yields a recurrence relation on an infinite class of families of graphs. The recurrence relations we obtain have coefficients which themselves satisfy linear recurrence relations. We give explicit applications to the Tutte polynomial and the independence polynomial. Furthermore, we get that for any sequence $a_{n}$ satisfying… ▽ More We show that any graph polynomial from a wide class of graph polynomials yields a recurrence relation on an infinite class of families of graphs. The recurrence relations we obtain have coefficients which themselves satisfy linear recurrence relations. We give explicit applications to the Tutte polynomial and the independence polynomial. Furthermore, we get that for any sequence $a_{n}$ satisfying a linear recurrence with constant coefficients, the sub-sequence corresponding to square indices $a_{n^{2}}$ and related sub-sequences satisfy recurrences with recurrent coefficients. △ Less

Submitted 16 September, 2013; originally announced September 2013.

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

Connection Matrices and the Definability of Graph Parameters

Authors: Tomer Kotek, Johann A. Makowsky

Abstract: In this paper we extend and prove in detail the Finite Rank Theorem for connection matrices of graph parameters definable in Monadic Second Order Logic with counting (CMSOL) from B. Godlin, T. Kotek and J.A. Makowsky (2008) and J.A. Makowsky (2009). We demonstrate its vast applicability in simplifying known and new non-definability results of graph properties and finding new non-definability resu… ▽ More In this paper we extend and prove in detail the Finite Rank Theorem for connection matrices of graph parameters definable in Monadic Second Order Logic with counting (CMSOL) from B. Godlin, T. Kotek and J.A. Makowsky (2008) and J.A. Makowsky (2009). We demonstrate its vast applicability in simplifying known and new non-definability results of graph properties and finding new non-definability results for graph parameters. We also prove a Feferman-Vaught Theorem for the logic CFOL, First Order Logic with the modular counting quantifiers. △ Less

Submitted 27 October, 2014; v1 submitted 16 August, 2013; originally announced August 2013.

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 4 (October 31, 2014) lmcs:731

Definability of Combinatorial Functions and Their Linear Recurrence Relations

Authors: T. Kotek, J. A. Makowsky

Abstract: We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, s uch as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these functions satisfy a linear recurrence relation over $\mathbb Z$ or ${\mathbb Z}_m$ and allow an interpretation as counting the number of relations satisfying a pr… ▽ More We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, s uch as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these functions satisfy a linear recurrence relation over $\mathbb Z$ or ${\mathbb Z}_m$ and allow an interpretation as counting the number of relations satisfying a property expressible in Monadic Second Order Logic (MSOL). C. Blatter and E. Specker (1981) showed that if such a function $f$ counts the number of binary relations satisfying a property expressible in MSOL then $f$ satisfies for every $m \in \mathbb{N}$ a linear recurrence relation over $\mathbb{Z}_m$. In this paper we give a complete characterization in terms of definability in MSOL of the combinatorial functions which satisfy a linear recurrence relation over $\mathbb{Z}$, and discuss various extensions and limitations of the Specker-Blatter theorem. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Comments: 18 pages, 1 table

MSC Class: 05A15; 03C13; 68R05; 68R15

Journal ref: Lecture Notes in Computer Science, vol. 6300, pages 444-462, 2010

The Enumeration of Vertex Induced Subgraphs with respect to the Number of Components

Authors: P. Tittmann, I. Averbouch, J. A. Makowsky

Abstract: Inspired by the study of community structure in connection networks, we introduce the graph polynomial $Q(G;x,y)$, the bivariate generating function which counts the number of connected components in induced subgraphs. We give a recursive definition of $Q(G;x,y)$ using vertex deletion, vertex contraction and deletion of a vertex together with its neighborhood and prove a universality property.… ▽ More Inspired by the study of community structure in connection networks, we introduce the graph polynomial $Q(G;x,y)$, the bivariate generating function which counts the number of connected components in induced subgraphs. We give a recursive definition of $Q(G;x,y)$ using vertex deletion, vertex contraction and deletion of a vertex together with its neighborhood and prove a universality property. We relate $Q(G;x,y)$ to other known graph invariants and graph polynomials, among them partition functions, the Tutte polynomial, the independence and matching polynomials, and the universal edge elimination polynomial introduced by I. Averbouch, B. Godlin and J.A. Makowsky (2008). We show that $Q(G;x,y)$ is vertex reconstructible in the sense of Kelly and Ulam, discuss its use in computing residual connectedness reliability. Finally we show that the computation of $Q(G;x,y)$ is $\sharp \mathbf{P}$-hard, but Fixed Parameter Tractable for graphs of bounded tree-width and clique-width. △ Less

Submitted 3 February, 2009; v1 submitted 22 December, 2008; originally announced December 2008.

Comments: 23 pages, 9 figures, Minor corrections of misprints and new open problems

MSC Class: 05C99; 05E99

Journal ref: Eur. J. Comb. 32(7): 954-974 (2011)

A most general edge elimination graph polynomial

Authors: Ilia Averbouch, Benny Godlin, Johann A. Makowsky

Abstract: We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new pol… ▽ More We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$. △ Less

Submitted 19 December, 2007; originally announced December 2007.

Comments: 17 pages, 2 figures

Journal ref: Eur. J. Comb. 31(1): 1-17 (2010)