Abstract
We prove that any countable (finite or infinite) partially ordered set may be represented by finite oriented paths ordered by the existence of homomorphism between them. This (what we believe a surprising result) solves several open problems. Such path-representations were previously known only for finite and infinite partial orders of dimension 2. Path-representation implies the universality of other classes of graphs (such as connected cubic planar graphs). It also implies that finite partially ordered sets are on-line representable by paths and their homomorphisms. This leads to new on-line dimensions.
Similar content being viewed by others
References
Babai, L.: Automorphism groups of graphs and edge contraction, Discrete Math. 8 (1974), 13–22.
Babai, L. and Pultr, A.: Endomorphism monoids and topological subgraphs of graphs, J. Combin. Theory B 28(3) (1980), 278–283.
Cameron, P. J.: The random graph, In: R. L. Graham and J. Nešetřil (eds), The Mathematics of Paul Erdös, Springer-Verlag, 1998, pp. 333–351.
Cherlin, G. L.: The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments, Mem. Amer. Math. Soc. 621 (1998).
Conway, J. H.: On Numbers and Games, London Math. Soc. Monographs, Academic Press, 1976.
Gerards, A. M. H.: Homomorphisms of graphs into odd cycles, J. Graph Theory 12(1) (1998), 73–83.
Hedrlín, Z.: On universal partly oriented sets and classes, J. Algebra 11 (1969), 503–509.
Hell, P. and Nešetřil, J.: Graphs and Homomorphisms, Oxford University Press, 2004.
Hell, P., Nešetřil, J. and Zhu, X.: Duality and polynomial testing of tree homomorphisms, Trans. Amer. Math. Soc. 348 (1996), 1281–1297.
Hell, P. and Nešetřil, J.: Groups and monoids of regular graphs and of graphs with bounded degree, Canad. J. Math. XXV(2) (1973), 239–251.
Fraïssé, R.: Theory of Relations, North-Holland, Amsterdam, 1953.
Gambosi, G., Nešetřil, J. and Talamo, M.: On locally presented posets, Theoret. Comput. Sci. 70(12) (1990), 251–260.
Hodges, W.: Model Theory, Cambridge University Press, 1993.
Hubička, J. and Nešetřil, J.: On Homogeneous Graphs and Posets, KAM-DIMATIA Series 606, Charles University, 2003, to appear in Israel J. Math.
Hubička, J. and Nešetřil, J.: Universal Partial Order Represented by Means of Trees and Other Simple Graphs, ITI Series 2003-128, Charles University, 2003, to appear in European J. Combinatorics.
Hubička, J.: Ramsey properties of universal sets, Diploma thesis, Charles University, 2002.
Janáček, L.: On an overgrown path (Po zarostlém chodníčku), 1902.
Jónson, B.: Universal relational systems, Math. Scand. 4 (1956), 193–208.
Johnston, J. B.: Universal infinite partially ordered sets, Proc. Amer. Math. Soc. 7 (1956), 507–514.
Kac, M., Rota, G.-C. and Schwartz, J. T.: Indiscrete Thoughts, Birkhäuser, 1997.
Knuth, D. E.: Surreal Numbers, Addison-Wesley, 1974.
Nešetřil, J.: On Universality of Set Systems, KAM-DIMATIA Series 491, Charles University, 2000.
Nešetřil, J.: Aspects of structural combinactorics, Taiwanese J. Math. 3(4) (1999), 381–424.
Nešetřil, J. and Tardif, C.: Duality theorems for finite structures (Characterising gaps and good characterizations), J. Combin. Theory B 80 (2000), 80–97.
Nešetřil, J. and Pudlák, P.: A note on Boolean dimension of posets, In: W. Deuber and V. T. Sós (eds), Irregularities of Partitions, Algorithms and Combinatorics 8, Springer, 1989, pp. 137–140.
Nešetřil, J. and Rödl, V.: partitions of finite posets and lattices – Ramsey lattices, Algebra Universalis 19 (1994), 106–119.
Trotter, W. T.: Dimension Theory, John Hopkins Univ. Press, 1992.
Nešetřil, J. and Zhu, X.: Path homomorphisms, Math. Proc. Combridge Philos. Soc. (1996), 207–220.
Pultr, A. and Trnková, V.: Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories, North-Holland, 1980.
Schmerl, J. H.: Countable homogeneous partially ordered sets, Algebra Universalis 9 (1979), 317–321.
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classifications (2000)
06A06, 06A07, 05E99, 05C99.
J. Nešetřil: Supported by a Grant LN00A56 of the Czech Ministry of Education. The first author was partially supported by EU network COMBSTRU at UPC Barcelona.
Rights and permissions
About this article
Cite this article
Hubička, J., Nešetřil, J. Finite Paths are Universal. Order 21, 181–200 (2004). https://doi.org/10.1007/s11083-004-3345-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-004-3345-9