4,747 research outputs found
The lattice of balanced equivalence relations of a coupled cell network
A coupled cell system is a collection of dynamical systems, or ‘cells’, that are coupled together. The associated coupled cell network is a labelled directed graph that indicates how the cells are coupled, and which cells are equivalent. Golubitsky, Stewart, Pivato and Török have presented a framework for coupled cell systems that permits a classification of robust synchrony in terms of the concept of a ‘balanced equivalence relation’, which depends solely on the network architecture. In their approach the network is assumed to be finite. We prove that the set of all balanced equivalence relations on a network forms a lattice, in the sense of a partially ordered set in which any two elements have a meet and a join. The partial order is defined by refinement. Some aspects of the theory make use of infinite networks, so we work in the category of networks of ‘finite type’, a class that includes all locally finite networks. This context requires some modifications to the standard framework. As partial compensation, the lattice of balanced equivalence relations can then be proved complete. However, the intersection of two balanced equivalence relations need not be balanced, as we show by a simple example, so this lattice is not a sublattice of the lattice of all equivalence relations with its usual operations of meet and join. We discuss the structure of this lattice and computational issues associated with it. In particular, we describe how to determine whether the lattice contains more than the equality relation. As an example, we derive the form of the lattice for a linear chain of identical cells with feedback
Bernoulli measure on strings, and Thompson-Higman monoids
The Bernoulli measure on strings is used to define height functions for the
dense R- and L-orders of the Thompson-Higman monoids M_{k,1}. The measure can
also be used to characterize the D-relation of certain submonoids of M_{k,1}.
The computational complexity of computing the Bernoulli measure of certain
sets, and in particular, of computing the R- and L-height of an element of
M_{k,1} is investigated.Comment: 27 pages
Rainbow domination and related problems on some classes of perfect graphs
Let and let be a graph. A function is a rainbow function if, for every vertex with
, . The rainbow domination number
is the minimum of over all rainbow
functions. We investigate the rainbow domination problem for some classes of
perfect graphs
A-Tint: A polymake extension for algorithmic tropical intersection theory
In this paper we study algorithmic aspects of tropical intersection theory.
We analyse how divisors and intersection products on tropical cycles can
actually be computed using polyhedral geometry. The main focus of this paper is
the study of moduli spaces, where the underlying combinatorics of the varieties
involved allow a much more efficient way of computing certain tropical cycles.
The algorithms discussed here have been implemented in an extension for
polymake, a software for polyhedral computations.Comment: 32 pages, 5 figures, 4 tables. Second version: Revised version, to be
published in European Journal of Combinatoric
Eulerian digraphs and toric Calabi-Yau varieties
We investigate the structure of a simple class of affine toric Calabi-Yau
varieties that are defined from quiver representations based on finite eulerian
directed graphs (digraphs). The vanishing first Chern class of these varieties
just follows from the characterisation of eulerian digraphs as being connected
with all vertices balanced. Some structure theory is used to show how any
eulerian digraph can be generated by iterating combinations of just a few
canonical graph-theoretic moves. We describe the effect of each of these moves
on the lattice polytopes which encode the toric Calabi-Yau varieties and
illustrate the construction in several examples. We comment on physical
applications of the construction in the context of moduli spaces for
superconformal gauged linear sigma models.Comment: 27 pages, 8 figure
- …