A dual Ramsey theorem for finite ordered oriented graphs
-
Dragan Mašulović
and
Bojana Pantić
Abstract
In contrast to the abundance of “direct” Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for “direct” Ramsey results, we consider a special class of surjective homomorphisms between finite ordered oriented graphs. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
The authors gratefully acknowledges the support of the Grant No. 174019 of the Ministry of Education, Science and Technological Development of the Republic of Serbia.
(Communicated by Peter Horák)
References
[1] Abramson, F. G.—Harrington, L. A.: Models without indiscernibles, J. Symbolic Logic 43 (1978), 572–600.10.2307/2273534Search in Google Scholar
[2] Aranda, A.—Bradley-Williams, D.—Hubička, J.—Karamanlis, M.—Kompatscher, M.—Konečný, M.—Pawliuk, M.: Ramsey expansions of metrically homogeneous graphs, arXiv:1707.02612.Search in Google Scholar
[3] Carlson, T. J.—Simpson, S. G.: A dual form of Ramsey’s theorem, Adv. Math. 53 (1984), 265–290.10.1016/0001-8708(84)90026-4Search in Google Scholar
[4] Frankl, P.—Graham, R. L.—Rödl, V.: Induced restricted Ramsey theorems for spaces, J. Combin. Theory Ser. A 44 (1987), 120–128.10.1016/0097-3165(87)90064-1Search in Google Scholar
[5] Graham, R. L.—Rothschild, B. L.: Ramsey’s theorem for n-parameter sets, Tran. Amer. Math. Soc. 159 (1971), 257–292.10.2307/1996010Search in Google Scholar
[6] Leeb, K.: The Categories of Combinatorics. Combinatorial Structures and their Applications, Gordon and Breach, New York, 1970.Search in Google Scholar
[7] Mašulović, D.: A dual Ramsey theorem for permutations, Electron. J. Combin. 24(3) (2017), #P3.3910.37236/6845Search in Google Scholar
[8] Mašulović, D.: Dual Ramsey theorems for relational structures, Czechoslovak Math. J., to appear.Search in Google Scholar
[9] Mašulović, D.—Scow, L.: Categorical equivalence and the Ramsey property for finite powers of a primal algebra, Algebra Universalis 78 (2017), 159–17910.1007/s00012-017-0453-0Search in Google Scholar
[10] Nešetřil, J.: Ramsey theory. In: Handbook of Combinatorics (R. L. Graham, M. Grötschel and L. Lovász, eds.), Vol. 2, MIT Press, Cambridge, MA, USA, 1995, pp. 1331–1403.Search in Google Scholar
[11] Nešetřil, J.—Rödl, V.: Partitions of finite relational and set systems, J. Combin. Theory Ser. A 22 (1977), 289–312.10.1016/0097-3165(77)90004-8Search in Google Scholar
[12] Nešetřil, J.—Rödl, V.: Dual Ramsey type theorems. In: Proc. Eighth Winter School on Abstract Analysis (Z. Frolíik, ed.), Prague, 1980, pp. 121–123.Search in Google Scholar
[13] Nešetřil, J.—Rödl, V.: Ramsey classes of set systems, J. Combin. Theory Ser. A 34 (1983), 183–201.10.1016/0097-3165(83)90055-9Search in Google Scholar
[14] Nešetřil, J.—Rödl, V.: The partite construction and Ramsey set systems, Discrete Math. 75 (1989), 327–334.10.1016/0012-365X(89)90097-6Search in Google Scholar
[15] Prömel, H. J.: Induced partition properties of combinatorial cubes, J. Combin. Theory Ser. A 39 (1985), 177–208.10.1016/0097-3165(85)90036-6Search in Google Scholar
[16] Prömel H. J.—Voigt, B.: Hereditary atributes of surjections and parameter sets, European J. Combin. 7 (1986), 161–170.10.1016/S0195-6698(86)80042-7Search in Google Scholar
[17] Ramsey, F. P.: On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264–286.10.1007/978-0-8176-4842-8_1Search in Google Scholar
[18] Sokić, M.: Ramsey properties of finite posets II, Order 29 (2012), 31–47.10.1007/s11083-011-9196-2Search in Google Scholar
[19] Solecki, S.: A Ramsey theorem for structures with both relations and functions, J. Combin. Theory Ser. A 117 (2010), 704–714.10.1016/j.jcta.2009.12.004Search in Google Scholar
[20] Solecki, S.: Dual Ramsey theorem for trees, arXiv:1502.04442.Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
