arXiv++ Combinatorics

For a digraph $D$, a subset $Q\subseteq V(D)$ is called a $q$-kernel if $Q$ is an independent set and all vertices in $V(D)$ are reachable from $Q$ via a directed path of length at most $q$. Given integers $q\geq 2$ and $δ\geq 1$, Spiro arXiv:2404.07305 [math.CO] posed the question: what is the smallest constant $c_{δ,q}$ such that every digraph $D$ with minimum in-degree $δ$ has a $q$-kernel of size at most $c_{δ,q}|V(D)|$? We show the constants $c_{δ,q}$ are monotone in both $δ$ and $q$, and we improve upon the known upper bounds for $c_{δ,q}$. Our main results show $\frac{1}{δ+1} \leq c_{δ,q}\leq \frac{1}{\lfloor\sqrt{δ+1}\rfloor+1}$ for all $q \geq 3$ and $δ\geq 1$, and $ c_{δ,q}=\frac{1}{δ+1}$ whenever $δ\geq 1$ and $q \geq \left\lceil\frac{3δ}{2}\right\rceil + 1$.

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.

Almost equitable partitions (AEPs) have been linked to cluster synchronization in oscillatory systems, highlighting the importance of structure in collective network dynamics. We provide a general spectral framework that formalizes this connection, showing how eigenvectors associated with AEPs span a subspace of the Laplacian spectrum that governs partition-induced synchronization behavior. This offers a principled reduction of network dynamics, allowing clustered states to be understood in terms of quotient graph projections. Our approach clarifies the conditions under which transient hierarchical clustering and multi-frequency synchronization emerge, and connects these dynamical phenomena directly to network symmetry and community structure. In doing so, we bridge a critical gap between static topology and dynamic behavior-namely, the lack of a spectral method for analyzing synchronization in networks that exhibit exact or approximate structural regularity. Perfect AEPs are rare in real-world networks since most have some degree of irregularity or noise. We define a relaxation of an AEP we call a quasi-equitable partition at level $δ$ ($δ-$QEP). $δ-$QEPs can preserve many of the clustering-relevant properties of AEPs while tolerating structural imperfections and noise. This extension enables us to describe synchronization behavior in more realistic scenarios, where ideal symmetries are rarely present. Our findings have important implications for understanding synchronization patterns in real-world networks, from neural circuits to power grids.

Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $ρ\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.