1,016 research outputs found
Universal graphs with forbidden subgraphs and algebraic closure
We apply model theoretic methods to the problem of existence of countable
universal graphs with finitely many forbidden connected subgraphs. We show that
to a large extent the question reduces to one of local finiteness of an
associated''algebraic closure'' operator. The main applications are new
examples of universal graphs with forbidden subgraphs and simplified treatments
of some previously known cases
The singular world of singular cardinals
The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones
Universal graphs with a forbidden subtree
We show that the problem of the existence of universal graphs with specified
forbidden subgraphs can be systematically reduced to certain critical cases by
a simple pruning technique which simplifies the underlying structure of the
forbidden graphs, viewed as trees of blocks. As an application, we characterize
the trees T for which a universal countable T-free graph exists
Club guessing and the universal models
We survey the use of club guessing and other pcf constructs in the context of
showing that a given partially ordered class of objects does not have a
largest, or a universal element
A counterexample to Thiagarajan's conjecture on regular event structures
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002)
that regular event structures correspond exactly to event structures obtained
as unfoldings of finite 1-safe Petri nets. The same counterexample is used to
disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999)
that domains of regular event structures with bounded -cliques are
recognizable by finite trace automata. Event structures, trace automata, and
Petri nets are fundamental models in concurrency theory. There exist nice
interpretations of these structures as combinatorial and geometric objects.
Namely, from a graph theoretical point of view, the domains of prime event
structures correspond exactly to median graphs; from a geometric point of view,
these domains are in bijection with CAT(0) cube complexes.
A necessary condition for both conjectures to be true is that domains of
regular event structures (with bounded -cliques) admit a regular nice
labeling. To disprove these conjectures, we describe a regular event domain
(with bounded -cliques) that does not admit a regular nice labeling.
Our counterexample is derived from an example by Wise (1996 and 2007) of a
nonpositively curved square complex whose universal cover is a CAT(0) square
complex containing a particular plane with an aperiodic tiling. We prove that
other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way
deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009).
On the positive side, using breakthrough results by Agol (2013) and Haglund
and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's
conjecture is true for regular event structures whose domains occur as
principal filters of hyperbolic CAT(0) cube complexes which are universal
covers of finite nonpositively curved cube complexes
- …