3,812 research outputs found
Finite Resolution Dynamics
We develop a new mathematical model for describing a dynamical system at
limited resolution (or finite scale), and we give precise meaning to the notion
of a dynamical system having some property at all resolutions coarser than a
given number. Open covers are used to approximate the topology of the phase
space in a finite way, and the dynamical system is represented by means of a
combinatorial multivalued map. We formulate notions of transitivity and mixing
in the finite resolution setting in a computable and consistent way. Moreover,
we formulate equivalent conditions for these properties in terms of graphs, and
provide effective algorithms for their verification. As an application we show
that the Henon attractor is mixing at all resolutions coarser than 10^-5.Comment: 25 pages. Final version. To appear in Foundations of Computational
Mathematic
Countable locally 2-arc-transitive bipartite graphs
We present an order-theoretic approach to the study of countably infinite
locally 2-arc-transitive bipartite graphs. Our approach is motivated by
techniques developed by Warren and others during the study of cycle-free
partial orders. We give several new families of previously unknown countably
infinite locally-2-arc-transitive graphs, each family containing continuum many
members. These examples are obtained by gluing together copies of incidence
graphs of semilinear spaces, satisfying a certain symmetry property, in a
tree-like way. In one case we show how the classification problem for that
family relates to the problem of determining a certain family of highly
arc-transitive digraphs. Numerous illustrative examples are given.Comment: 29 page
Symmetry properties of subdivision graphs
The subdivision graph of a graph is obtained from
by `adding a vertex' in the middle of every edge of \Si. Various
symmetry properties of are studied. We prove that, for a connected
graph , is locally -arc transitive if and only if
is -arc transitive. The diameter of
is , where has diameter and , and local -distance transitivity of is
defined for . In the general case where
we prove that is locally -distance transitive
if and only if is -arc transitive. For the
remaining values of , namely , we classify
the graphs for which is locally -distance transitive in
the cases, and . The cases remain open
- …