arXiv++ Combinatorics

We study solution discovery, where the goal is to obtain a feasible solution to a problem from an initial configuration by a bounded sequence of local moves. In many applications, however, the graph that defines which vertex sets are feasible is not the same as the graph that governs how tokens, agents, or resources may move. Existing models such as token sliding and token jumping typically do not distinguish the problem graph and the movement graph. Motivated by this mismatch, we introduce a directed weighted two-graph model that cleanly separates feasibility from movement. A problem graph specifies the desired combinatorial objects, while a movement graph specifies admissible relocations and their costs. This yields a flexible framework that captures asymmetry, heterogeneous movement constraints, and weighted transitions, while subsuming classical discovery models as special cases. We investigate this model through \textsc{Path Discovery} and \textsc{Shortest Path Discovery}, where the task is to realize a vertex set containing an $s$-$t$-path or a shortest $s$-$t$-path in the problem graph. These problems are particularly natural in applications, since directed and weighted shortest paths are among the most fundamental algorithmic primitives. At the same time, previous work has already shown that discovery can be computationally hard even when the underlying optimization problem is easy. Our results show that this phenomenon persists, and becomes especially rich, in the two-graph setting. We obtain a detailed complexity picture, identifying tractable cases as well as strong hardness results.

Tangle structure trees, introduced in [3], offer a unified data structure that displays all the tangles of a graph or data set together with certificates for the non-existence of any other tangles, either locally or overall. In this paper we apply tangle structure trees to derive new versions of the two fundamental tangle theorems: the tree-of-tangles theorem, and the tangle-tree duality theorem. We extend the tree-of-tangles theorem to $\mathcal F$-tangles that need not be profiles. When $\mathcal F$ consists of stars of separations, as it does in classical tangle-tree duality theorems, we show how to convert tangle structure trees that certify the non-existence of $\mathcal F$-tangles into tree-decompositions that certify this in the way known from graph tangles, as $S$-trees over~$\mathcal F$.

We introduce a comprehensive data structure, tangle structure trees, which simultaneously displays all the $\mathcal{F}$-tangles of an abstract separation system for very general obstruction sets $\mathcal{F}$. It simultaneously also displays certificates $σ\in\mathcal{F}$ for any non-existence of such tangles, or for the non-extendability of low-order tangles to higher-order ones. Our theorem can be applied to produce the structures of the classical tree-of-tangles and tangle-tree duality theorems, both for graph tangles and for their known generalizations to more general separation systems. It extends those theorems to obstruction sets $\mathcal{F}$ that need not define profiles (as they must in trees of tangles) or consist of stars of separations (as they must in tangle-tree duality). Our existence proof for these structure trees is constructive. The construction has been implemented in open-source software available for tangle detection and further analysis.

Using the recently developed mathematical theory of tangles, we re-assess the mathematical foundations for applications of the five factor model in personality tests by a new, mathematically rigorous, quantitative method. Our findings broadly confirm the validity of current tests, but also show that more detailed information can be extracted from existing data. We found that the big five traits appear at different levels of scrutiny. Some already emerge at a coarse resolution of our tools at which others cannot yet be discerned, while at a resolution where these _can_ be discerned, and distinguished, some of the former traits are no longer visible but have split into more refined traits or disintegrated altogether. We also identified traits other than the five targeted in those tests. These include more general traits combining two or more of the big five, as well as more specific traits refining some of them. All our analysis is structural and quantitative, and thus rigorous in explicitly defined mathematical terms. Since tangles, once computed, can be described concisely in terms of very few explicit statements referring only to the test questions used, our findings are also directly open to interpretation by experts in psychology. Tangle analysis can be applied similarly to other topics in psychology. Our paper is intended to serve as a first indication of what may be possible.

Diestel, Hundertmark and Lemanczyk asked whether every $k$-tangle in a graph is induced by a set of vertices by majority vote. We reduce their question to graphs whose size is bounded by a function in $k$. Additionally, we show that if for any fixed $k$ this problem has a positive answer, then every $k$-tangle is induced by a vertex set whose size is bounded in $k$. More generally, we prove for all $k$ that every $k$-tangle in a graph $G$ is induced by a weight function $V(G) \to \mathbb{N}$ whose total weight is bounded in $k$. As the key step of our proofs, we show that any given $k$-tangle in a graph $G$ is the lift of a $k$-tangle in some topological minor of $G$ whose size is bounded in $k$.