arXiv++ Combinatorics

By their nature it is difficult to differentiate chaotic dynamical systems through measurement. In recent years, work has begun on using methods of Topological Data Analysis (TDA) to qualitatively type dynamical data by approximating the topology of the underlying attracting set. This comes with the additional challenges of high dimensionality incurring computational complexity along with the lack of directional information encoded in the approximated topology. Due to the latter fact, standard methods of TDA for this high dimensional dynamical data do not differentiate between periodic cycles and non-periodic cycles in the attractor. We present a framework to address both of these challenges. We begin by binning the dynamical data, and capturing the sequential information in the form of a coarse-grained weighted and directed network. We then calculate the persistent Dowker homology of the asymmetric network, encoding spatial and temporal information. Analytically, we highlight the differences in periodic and non-periodic cycles by providing a full characterization of their one-dimensional Dowker persistences. We prove how the homologies of graph wedge sums can be described in terms of the wedge component homologies. Finally, we generalize our characterization to cactus graphs with arbitrary edge weights and orientations. Our analytical results give insight into how our method captures temporal information in its asymmetry, producing a persistence framework robust to noise and sensitive to dynamical structure.

This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive lattice. For posets, we generalize a bottleneck version of Dilworth's theorem, again weighted in a distributive lattice. These results are applicable to a wide array of non-numerical network flow problems, as shown. All results, proofs, and applications were created in collaboration with AI language models. An appendix documents their role and impact.

With an eye towards studying curve systems on low-complexity surfaces, we introduce and analyze the $k$-Farey graphs $\mathcal{F}_k$ and $\mathcal{F}_{\leqslant k}$, two natural variants of the Farey graph in which we relax the edge condition to indicate intersection number $=k$ or $\le k$, respectively. The former, $\mathcal{F}_k$, is disconnected when $k>1$. In fact, we find that the number of connected components is infinite if and only if $k$ is not a prime power. Moreover, we find that each component of $\mathcal{F}_k$ is an infinite-valence tree whenever $k$ is even, and $\mathrm{Aut}(\mathcal{F}_k)$ is uncountable for $k>1$. As for $\mathcal{F}_{\leqslant k}$, Agol obtained an upper bound of $1+\min\{p:p\text{ is a prime}>k\}$ for both chromatic and clique numbers, and observed that this is an equality when $k$ is either one or two less than a prime. We add to this list the values of $k$ that are three less than a prime equivalent to $11\ (\mathrm{mod}\ 12)$, and we show computer-assisted computations of many values of $k$ for which equality fails.