3,811 research outputs found

    Finite Resolution Dynamics

    Full text link
    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

    Get PDF
    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

    Get PDF
    The subdivision graph S(Σ)S(\Sigma) of a graph Σ\Sigma is obtained from Σ\Sigma by `adding a vertex' in the middle of every edge of \Si. Various symmetry properties of §(Σ)\S(\Sigma) are studied. We prove that, for a connected graph Σ\Sigma, S(Σ)S(\Sigma) is locally ss-arc transitive if and only if Σ\Sigma is s+12\lceil\frac{s+1}{2}\rceil-arc transitive. The diameter of S(Σ)S(\Sigma) is 2d+δ2d+\delta, where Σ\Sigma has diameter dd and 0δ20\leqslant \delta\leqslant 2, and local ss-distance transitivity of §(Σ)\S(\Sigma) is defined for 1s2d+δ1\leqslant s\leqslant 2d+\delta. In the general case where s2d1s\leqslant 2d-1 we prove that S(Σ)S(\Sigma) is locally ss-distance transitive if and only if Σ\Sigma is s+12\lceil\frac{s+1}{2}\rceil-arc transitive. For the remaining values of ss, namely 2ds2d+δ2d\leqslant s\leqslant 2d+\delta, we classify the graphs Σ\Sigma for which S(Σ)S(\Sigma) is locally ss-distance transitive in the cases, s5s\leqslant 5 and s15+δs\geqslant 15+\delta. The cases max{2d,6}smin{2d+δ,14+δ}\max\{2d, 6\}\leqslant s\leqslant \min\{2d+\delta, 14+\delta\} remain open
    corecore