50 research outputs found
Ramsey numbers of Berge-hypergraphs and related structures
For a graph , a hypergraph is called a Berge-,
denoted by , if there exists a bijection such
that for every , . Let the Ramsey number
be the smallest integer such that for any -edge-coloring of
a complete -uniform hypergraph on vertices, there is a monochromatic
Berge- subhypergraph. In this paper, we show that the 2-color Ramsey number
of Berge cliques is linear. In particular, we show that for and where is a Berge-
hypergraph. For higher uniformity, we show that for
and for and sufficiently large. We
also investigate the Ramsey number of trace hypergraphs, suspension hypergraphs
and expansion hypergraphs.Comment: Updated to include suggestions of the refere
On Ramsey properties of classes with forbidden trees
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.Comment: Keywords: forbidden substructure; amalgamation; Ramsey class; partite
method v2: changed definition of expanded class; v3: final versio
Unavoidable Multicoloured Families of Configurations
Balogh and Bollob\'as [{\em Combinatorica 25, 2005}] prove that for any
there is a constant such that any set system with at least sets
reduces to a -star, an -costar or an -chain. They proved
. Here we improve it to for some constant
.
This is a special case of the following result on the multi-coloured
forbidden configurations at 2 colours. Let be given. Then there exists a
constant so that a matrix with entries drawn from with
at least different columns will have a submatrix that
can have its rows and columns permuted so that in the resulting matrix will be
either or (for some ), where
is the matrix with 's on the diagonal and 's else
where, the matrix with 's below the diagonal and
's elsewhere. We also extend to considering the bound on the number of
distinct columns, given that the number of rows is , when avoiding a matrix obtained by taking any one of the matrices above
and repeating each column times. We use Ramsey Theory.Comment: 16 pages, add two application
Innocent strategies as presheaves and interactive equivalences for CCS
Seeking a general framework for reasoning about and comparing programming
languages, we derive a new view of Milner's CCS. We construct a category E of
plays, and a subcategory V of views. We argue that presheaves on V adequately
represent innocent strategies, in the sense of game semantics. We then equip
innocent strategies with a simple notion of interaction. This results in an
interpretation of CCS.
Based on this, we propose a notion of interactive equivalence for innocent
strategies, which is close in spirit to Beffara's interpretation of testing
equivalences in concurrency theory. In this framework we prove that the
analogues of fair and must testing equivalences coincide, while they differ in
the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014
Analysis of Generative Chemistries
For the modelling of chemistry we use undirected, labelled graphs as explicit models of molecules and graph transformation rules for modelling generalised chemical reactions. This is used to define artificial chemistries on the level of individual bonds and atoms, where formal graph grammars implicitly represent large spaces of chemical compounds. We use a graph rewriting formalism, rooted in category theory, called the Double Pushout approach, which directly expresses the transition state of chemical reactions. Using concurrency theory for transformation rules, we define algorithms for the composition of rewrite rules in a chemically intuitive manner that enable automatic abstraction of the level of detail in chemical pathways. Based on this rule composition we define an algorithmic framework for generation of vast reaction networks for specific spaces of a given chemistry, while still maintaining the level of detail of the model down to the atomic level. The framework also allows for computation with graphs and graph grammars, which is utilised to model non-trivial chemical systems. The graph generation relies on graph isomorphism testing, and we review the general individualisation-refinement paradigm used in the state-of-the-art algorithms for graph canonicalisation, isomorphism testing, and automorphism discovery.
We present a model for chemical pathways based on a generalisation of network flows from ordinary directed graphs to directed hypergraphs. The model allows for reasoning about the flow of individual molecules in general pathways, and the introduction of chemically motivated routing constraints. It further provides the foundation for defining specialised pathway motifs, which is illustrated by defining necessary topological constraints for both catalytic and autocatalytic pathways. We also prove that central types of pathway questions are NP-complete, even for restricted classes of reaction networks. The complete pathway model, including constraints for catalytic and autocatalytic pathways, is implemented using integer linear programming. This implementation is used in a tree search method to enumerate both optimal and near-optimal pathway solutions.
The formal methods are applied to multiple chemical systems: the enzyme catalysed beta-lactamase reaction, variations of the glycolysis pathway, and the formose process. In each of these systems we use rule composition to abstract pathways and calculate traces for isotope labelled carbon atoms. The pathway model is used to automatically enumerate alternative non-oxidative glycolysis pathways, and enumerate thousands of candidates for autocatalytic pathways in the formose process