# Visibility graphs and symbolic dynamics

## TL;DR

This paper investigates the relationship between visibility graphs derived from time series and symbolic dynamics, demonstrating that the visibility algorithm implicitly constructs phase space partitions related to the system's entropy and fixed point structure.

## Contribution

It analytically and numerically shows that visibility graphs encode phase space partitions and relate to the system's entropy, connecting graph topology with dynamical properties.

## Key findings

- Visibility graphs' degree sequences converge to Lyapunov exponents in chaos.
- The algorithm implicitly constructs phase space partitions with generating properties.
- Analytical methods reveal the partition structure as a union of subintervals related to fixed points.

## Abstract

Visibility algorithms are a family of geometric and ordering criteria by which a real-valued time series of N data is mapped into a graph of N nodes. This graph has been shown to often inherit in its topology non-trivial properties of the series structure, and can thus be seen as a combinatorial representation of a dynamical system. Here we explore in some detail the relation between visibility graphs and symbolic dynamics. To do that, we consider the degree sequence of horizontal visibility graphs generated by the one-parameter logistic map, for a range of values of the parameter for which the map shows chaotic behaviour. Numerically, we observe that in the chaotic region the block entropies of these sequences systematically converge to the Lyapunov exponent of the system. Via Pesin identity, this in turn suggests that these block entropies are converging to the Kolmogorov- Sinai entropy of the map, which ultimately suggests that the algorithm is implicitly and adaptively constructing phase space partitions which might have the generating property. To give analytical insight, we explore the relation k(x), x \in[0,1] that, for a given datum with value x, assigns in graph space a node with degree k. In the case of the out-degree sequence, such relation is indeed a piece-wise constant function. By making use of explicit methods and tools from symbolic dynamics we are able to analytically show that the algorithm indeed performs an effective partition of the phase space and that such partition is naturally expressed as a countable union of subintervals, where the endpoints of each subinterval are related to the fixed point structure of the iterates of the map and the subinterval enumeration is associated with particular ordering structures that we called motifs.