Showing 1–15 of 15 results for author: Foniok, J

Infinitely many minimal classes of graphs of unbounded clique-width

Authors: A. Collins, J. Foniok, N. Korpelainen, V. Lozin, V. Zamaraev

Abstract: The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the restriction to minor-closed classes is justified by the fact that the tree-width of a graph is never smaller than the tree-width of any of its minors. This, howe… ▽ More The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the restriction to minor-closed classes is justified by the fact that the tree-width of a graph is never smaller than the tree-width of any of its minors. This, however, is not the case with respect to clique-width, as the clique-width of a graph can be (much) smaller than the clique-width of its minor. On the other hand, the clique-width of a graph is never smaller than the clique-width of any of its induced subgraphs, which allows us to be restricted to hereditary classes (that is, classes closed under taking induced subgraphs), when we study clique-width. Up to date, only finitely many minimal hereditary classes of graphs of unbounded clique-width have been discovered in the literature. In the present paper, we prove that the family of such classes is infinite. Moreover, we show that the same is true with respect to linear clique-width. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Hedetniemi's conjecture and adjoint functors in thin categories

Authors: Jan Foniok, Claude Tardif

Abstract: We survey results on Hedetniemi's conjecture which are connected to adjoint functors in the "thin" category of graphs, and expose the obstacles to extending these results. We survey results on Hedetniemi's conjecture which are connected to adjoint functors in the "thin" category of graphs, and expose the obstacles to extending these results. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Comments: 17 pages

MSC Class: 05C15; 18B35

Deciding the Bell number for hereditary graph properties

Authors: Aistis Atminas, Andrew Collins, Jan Foniok, Vadim V. Lozin

Abstract: The paper [J. Balogh, B. Bollobás, D. Weinreich, A jump to the Bell number for hereditary graph properties, J. Combin. Theory Ser. B 95 (2005) 29--48] identifies a jump in the speed of hereditary graph properties to the Bell number $B_n$ and provides a partial characterisation of the family of minimal classes whose speed is at least $B_n$. In the present paper, we give a complete characterisation… ▽ More The paper [J. Balogh, B. Bollobás, D. Weinreich, A jump to the Bell number for hereditary graph properties, J. Combin. Theory Ser. B 95 (2005) 29--48] identifies a jump in the speed of hereditary graph properties to the Bell number $B_n$ and provides a partial characterisation of the family of minimal classes whose speed is at least $B_n$. In the present paper, we give a complete characterisation of this family. Since this family is infinite, the decidability of the problem of determining if the speed of a hereditary property is above or below the Bell number is questionable. We answer this question positively by showing that there exists an algorithm which, given a finite set $\mathcal{F}$ of graphs, decides whether the speed of the class of graphs containing no induced subgraphs from the set $\mathcal{F}$ is above or below the Bell number. For properties defined by infinitely many minimal forbidden induced subgraphs, the speed is known to be above the Bell number. △ Less

Submitted 4 March, 2016; v1 submitted 13 May, 2014; originally announced May 2014.

Comments: 19 pages; v2, v3: minor improvements in exposition

MSC Class: 05C30; 68R10

Journal ref: SIAM J. Discrete Math. 30 (2016), no. 2, 1015--1031

Adjoint functors in graph theory

Authors: Jan Foniok, Claude Tardif

Abstract: We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and tree duality. The exposition of these applications through adjoint functors unifies the presentation to some extent, and also raises interesting questions. We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and tree duality. The exposition of these applications through adjoint functors unifies the presentation to some extent, and also raises interesting questions. △ Less

Submitted 8 April, 2013; originally announced April 2013.

Comments: 14 pages

MSC Class: 05C15; 18B35

Digraph functors which admit both left and right adjoints

Authors: Jan Foniok, Claude Tardif

Abstract: For our purposes, two functors Λ and Γ are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of Λ(G) to H if and only if there exists a homomorphism of G to Γ(H). We investigate the right adjoints characterised by Pultr in [A. Pultr, The right adjoints into the categories of relational systems, in Reports of the Midwest Category… ▽ More For our purposes, two functors Λ and Γ are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of Λ(G) to H if and only if there exists a homomorphism of G to Γ(H). We investigate the right adjoints characterised by Pultr in [A. Pultr, The right adjoints into the categories of relational systems, in Reports of the Midwest Category Seminar, IV, volume 137 of Lecture Notes in Mathematics, pages 100-113, Berlin, 1970]. We find necessary conditions for these functors to admit right adjoints themselves. We give many examples where these necessary conditions are satisfied, and the right adjoint indeed exists. Finally, we discuss a connection between these right adjoints and homomorphism dualities. △ Less

Submitted 12 August, 2014; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: 16 pages, 1 figure

MSC Class: 05C20; 18A40; 05C60

Journal ref: Discrete Mathematics 338 (4): 527-535, 2015

On Ramsey properties of classes with forbidden trees

Authors: Jan Foniok

Abstract: Let F be a set of relational trees and let Forbh(F) be the class of all structures that admit no homomorphism from any tree in F; all this happens over a fixed finite relational signature $σ$. There is a natural way to expand Forbh(F) by unary relations to an amalgamation class. This expanded class, enhanced with a linear ordering, has the Ramsey property. Let F be a set of relational trees and let Forbh(F) be the class of all structures that admit no homomorphism from any tree in F; all this happens over a fixed finite relational signature $σ$. There is a natural way to expand Forbh(F) by unary relations to an amalgamation class. This expanded class, enhanced with a linear ordering, has the Ramsey property. △ Less

Submitted 20 August, 2014; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: Keywords: forbidden substructure; amalgamation; Ramsey class; partite method v2: changed definition of expanded class; v3: final version

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 21, 2014) lmcs:796

Ramsey Properties of Permutations

Authors: Julia Böttcher, Jan Foniok

Abstract: The age of each countable homogeneous permutation forms a Ramsey class. Thus, there are five countably infinite Ramsey classes of permutations. The age of each countable homogeneous permutation forms a Ramsey class. Thus, there are five countably infinite Ramsey classes of permutations. △ Less

Submitted 21 December, 2012; v1 submitted 29 March, 2011; originally announced March 2011.

Comments: 10 pages, 3 figures; v2: updated info on related work + some other minor enhancements (Dec 21, 2012)

MSC Class: 05D10; 05C55; 03C52

Journal ref: Electron. J. Combin., 20(1), 2013. Paper 2, 10pp

Counting Unique-Sink Orientations

Authors: Jan Foniok, Bernd Gärtner, Lorenz Klaus, Markus Sprecher

Abstract: Unique-sink orientations (USOs) are an abstract class of orientations of the n-cube graph. We consider some classes of USOs that are of interest in connection with the linear complementarity problem. We summarise old and show new lower and upper bounds on the sizes of some such classes. Furthermore, we provide a characterisation of K-matrices in terms of their corresponding USOs. Unique-sink orientations (USOs) are an abstract class of orientations of the n-cube graph. We consider some classes of USOs that are of interest in connection with the linear complementarity problem. We summarise old and show new lower and upper bounds on the sizes of some such classes. Furthermore, we provide a characterisation of K-matrices in terms of their corresponding USOs. △ Less

Submitted 5 July, 2013; v1 submitted 7 December, 2010; originally announced December 2010.

Comments: 13 pages; v2: proof of main theorem expanded, plus various other corrections. Now 16 pages; v3: minor corrections

MSC Class: 90C33; 52B12; 05A16

Journal ref: Discrete Appl. Math., 163/2, pp. 155-164, 2014

Combinatorial Characterizations of K-matrices

Authors: Jan Foniok, Komei Fukuda, Lorenz Klaus

Abstract: We present a number of combinatorial characterizations of K-matrices. This extends a theorem of Fiedler and Ptak on linear-algebraic characterizations of K-matrices to the setting of oriented matroids. Our proof is elementary and simplifies the original proof substantially by exploiting the duality of oriented matroids. As an application, we show that a simple principal pivot method applied to the… ▽ More We present a number of combinatorial characterizations of K-matrices. This extends a theorem of Fiedler and Ptak on linear-algebraic characterizations of K-matrices to the setting of oriented matroids. Our proof is elementary and simplifies the original proof substantially by exploiting the duality of oriented matroids. As an application, we show that a simple principal pivot method applied to the linear complementarity problems with K-matrices converges very quickly, by a purely combinatorial argument. △ Less

Submitted 3 August, 2010; v1 submitted 11 November, 2009; originally announced November 2009.

Comments: 17 pages; v2, v3: clarified proof of Thm 5.5, minor corrections

MSC Class: 15B48; 52C40; 90C33

Journal ref: Linear Algebra Appl., 434, pp. 68-80, 2011

Dualities and dual pairs in Heyting algebras

Authors: Jan Foniok, Jaroslav Nesetril, Ales Pultr, Claude Tardif

Abstract: We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories. We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories. △ Less

Submitted 23 June, 2010; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: 17 pages; v2: minor corrections

MSC Class: 06D20; 18B35; 05C60

Journal ref: Order, 27(3), pp. 327-342, 2010

Interleaved adjoints on directed graphs

Authors: Jan Foniok, Jaroslav Nesetril, Claude Tardif

Abstract: For an integer k >= 1, the k-th interlacing adjoint of a digraph G is the digraph i_k(G) with vertex-set V(G)^k, and arcs ((u_1, ..., u_k), (v_1, ..., v_k)) such that (u_i,v_i) \in A(G) for i = 1, ..., k and (v_i, u_{i+1}) \in A(G) for i = 1, ..., k-1. For every k we derive upper and lower bounds for the chromatic number of i_k(G) in terms of that of G. In particular, we find tight bounds on the c… ▽ More For an integer k >= 1, the k-th interlacing adjoint of a digraph G is the digraph i_k(G) with vertex-set V(G)^k, and arcs ((u_1, ..., u_k), (v_1, ..., v_k)) such that (u_i,v_i) \in A(G) for i = 1, ..., k and (v_i, u_{i+1}) \in A(G) for i = 1, ..., k-1. For every k we derive upper and lower bounds for the chromatic number of i_k(G) in terms of that of G. In particular, we find tight bounds on the chromatic number of interlacing adjoints of transitive tournaments. We use this result in conjunction with categorial properties of adjoint functors to derive the following consequence. For every integer ell, there exists a directed path Q_{\ell} of algebraic length ell which admits homomorphisms into every directed graph of chromatic number at least 4. We discuss a possible impact of this approach on the multifactor version of the weak Hedetniemi conjecture. △ Less

Submitted 23 July, 2010; v1 submitted 8 May, 2009; originally announced May 2009.

MSC Class: 05C15 (Primary) 05C20; 18A40 (Secondary)

Journal ref: European J. Combin., 32(7), pp. 1018--1024, 2011

Pivoting in Linear Complementarity: Two Polynomial-Time Cases

Authors: Jan Foniok, Komei Fukuda, Bernd Gärtner, Hans-Jakob Lüthi

Abstract: We study the behavior of simple principal pivoting methods for the P-matrix linear complementarity problem (P-LCP). We solve an open problem of Morris by showing that Murty's least-index pivot rule (under any fixed index order) leads to a quadratic number of iterations on Morris's highly cyclic P-LCP examples. We then show that on K-matrix LCP instances, all pivot rules require only a linear num… ▽ More We study the behavior of simple principal pivoting methods for the P-matrix linear complementarity problem (P-LCP). We solve an open problem of Morris by showing that Murty's least-index pivot rule (under any fixed index order) leads to a quadratic number of iterations on Morris's highly cyclic P-LCP examples. We then show that on K-matrix LCP instances, all pivot rules require only a linear number of iterations. As the main tool, we employ unique-sink orientations of cubes, a useful combinatorial abstraction of the P-LCP. △ Less

Submitted 28 March, 2009; v1 submitted 8 July, 2008; originally announced July 2008.

Comments: 20 pages, v2: restructured and shortened, implemented referees' suggestions

MSC Class: 90C33; 68Q25

Journal ref: Discrete Comput. Geom., 42(2), pp. 187-205, 2009

Adjoint functors and tree duality

Authors: Jan Foniok, Claude Tardif

Abstract: A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H is said to have tree duality if there exists a complete set of obstructions T consisting of orientations of trees. We show that if H has tree duality, then its… ▽ More A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H is said to have tree duality if there exists a complete set of obstructions T consisting of orientations of trees. We show that if H has tree duality, then its arc graph delta H also has tree duality, and we derive a family of tree obstructions for delta H from the obstructions for H. Furthermore we generalise our result to right adjoint functors on categories of relational structures. We show that these functors always preserve tree duality, as well as polynomial CSPs and the existence of near-unanimity functions. △ Less

Submitted 6 May, 2009; v1 submitted 19 May, 2008; originally announced May 2008.

Comments: 14 pages, 2 figures; v2: minor revisions

MSC Class: 16B50; 68R10; 05C15; 18A40

Journal ref: Discrete Math. Theor. Comput. Sci., 11(2), pp. 97-110, 2009

Splitting finite antichains in the homomorphism order

Authors: Jan Foniok, Jaroslav Nesetril

Abstract: A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that non-splitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property for some subclasses of the homomorphism poset. Finally, we take a look at cut-points in this order. A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that non-splitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property for some subclasses of the homomorphism poset. Finally, we take a look at cut-points in this order. △ Less

Submitted 9 March, 2008; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: 10 pages

MSC Class: 06D05;05C15

Homomorphisms and Structural Properties of Relational Systems

Authors: Jan Foniok

Abstract: Two main topics are considered: The characterisation of finite homomorphism dualities for relational structures, and the splitting property of maximal antichains in the homomorphism order. Two main topics are considered: The characterisation of finite homomorphism dualities for relational structures, and the splitting property of maximal antichains in the homomorphism order. △ Less

Submitted 24 October, 2007; originally announced October 2007.

Comments: PhD Thesis, 77 pages, 14 figures

MSC Class: 18B35; 05C15; 06D20