Qualitative representations of chromatic algebras

Conventional Ramsey-theoretic investigations for edge-colourings of complete graphs are framed around avoidance of certain configurations. Motivated by considerations arising in the field of Qualitative Reasoning, we explore edge colourings that in addition to forbidding certain triangle configurations also require others to be present. These conditions have natural combinatorial interest in their own right, but also correspond to qualitative representability of certain nonassociative relation algebras, which we will call chromatic.

[1]  H. J. Ryser,et al.  The Nonexistence of Certain Finite Projective Planes , 1949, Canadian Journal of Mathematics.

[2]  Jae Hee Lee,et al.  A Survey of Qualitative Spatial and Temporal Calculi , 2016, ACM Comput. Surv..

[3]  Julien Hué,et al.  On the Scope of Qualitative Constraint Calculi , 2014, KI.

[4]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[5]  Robin Hirsch,et al.  Representability is not decidable for finite relation algebras , 1999 .

[6]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[7]  Lynn Batten,et al.  The Theory of Finite Linear Spaces by Lynn Margaret Batten , 1993 .

[8]  Jonathan D. H. Smith.  An Introduction to Quasigroups and Their Representations , 2006 .

[9]  Jérôme Euzenat,et al.  So, what exactly is a qualitative calculus? , 2020, Artif. Intell..

[10]  Jeremy F. Alm,et al.  Sum-free cyclic multi-bases and constructions of Ramsey algebras , 2015, Discret. Appl. Math..

[11]  R. Greenwood,et al.  Combinatorial Relations and Chromatic Graphs , 1955, Canadian Journal of Mathematics.

[12]  R. C. Lyndon.  Relation algebras and projective geometries. , 1961 .

[13]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[14]  Jitsuro Nagura.  On the interval containing at least one prime number , 1952 .

[15]  D. Monk.  On representable relation algebras. , 1964 .

[16]  Jae Hee Lee,et al.  StarVars - Effective Reasoning about Relative Directions , 2013, IJCAI.

[17]  Roger D. Maddux,et al.  Relation Algebras , 1997, Relational Methods in Computer Science.

[18]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[19]  J. G. Kalbfleisch,et al.  On the maximal triangle-free edge-chromatic graphs in three colors , 1968 .

[20]  Robin Hirsch,et al.  Algebraic foundations for qualitative calculi and networks , 2016, Theor. Comput. Sci..

[21]  Reinaldo A. C. Bianchi,et al.  Guided navigation from multiple viewpoints using qualitative spatial reasoning , 2020, Spatial Cogn. Comput..

[22]  Representability of Ramsey Relation Algebras , 2015 .

[23]  Jeremy F. Alm.  401 and beyond: improved bounds and algorithms for the Ramsey algebra search , 2016, J. Integer Seq..