---
title: Semi-Directed Networks
url: https://www.emergentmind.com/topics/semi-directed-networks
type: topic
---

# Semi-Directed Networks

Semi-directed networks, also written *semidirected networks*, are mixed graphs containing both directed and undirected connections. In contemporary phylogenetics, they are used to represent evolutionary histories when reticulation events retain an identifiable orientation but the global root is uncertain, so only arcs entering reticulations remain directed while the remaining edges are left undirected. Closely related mixed-graph formulations define such objects through the existence of one or more rooted partners and study when node types, directed-path structure, or induced subnetworks are invariant across rootings. The same term also appears in other areas, notably preferential-attachment network models with limited directedness and mixed linear dynamic networks combining diffusive couplings with directed signal-flow links [2408.12997, 2405.16035, 2507.18772, 1205.0149, 2604.14960].

## 1. Terminological scope and domain-specific usage

The label “semi-directed network” is not attached to a single universal formalism. Instead, it denotes a family of partially oriented network models whose precise meaning depends on the application domain.

| Domain | Core meaning | Representative result |
|---|---|---|
| Phylogenetics | Mixed graph with reticulation directions retained and other edges undirected | Quarnets encode all binary level-2 semi-directed networks, but not level-3 [2408.12997] |
| Semidirected phylogenetic comparison | Network admitting rooted partners with stable directed-path structure | Edge-based dissimilarity extends Robinson–Foulds distance [2405.16035] |
| Complex networks | Preferential-attachment network with limited directedness | Degree exponent becomes non-universal in $m$ [1205.0149] |
| Statistical physics on SDBA graphs | Partially reciprocal influence network for spin dynamics | Relaxation follows a Vogel–Fulcher law [1602.01069] |
| Control and system identification | Mixed dynamic network with undirected diffusive and directed interconnections | Consistent identification algorithm for all dynamics [2604.14960] |

In phylogenetics, the mixed-graph viewpoint is central because root placement is often difficult to determine from data, whereas the local orientation of reticulation edges may still be meaningful. In network science and control, by contrast, the mixed structure reflects partial reciprocity, asymmetric influence, or the coexistence of physical variable-sharing and directed information flow [2408.12997, 2405.16035, 2604.14960].

## 2. Formal graph-theoretic models in phylogenetics

A common phylogenetic construction starts from a rooted directed acyclic phylogenetic network and forms an underlying semi-directed network by replacing all arcs by edges except those entering reticulations, then suppressing the root when applicable. In the notation of one formulation, if $N_d$ is a directed network on leaf set $X$, then the associated semi-directed network is denoted $N=\underline{N_d}$; different rootings can yield the same underlying semi-directed network, and the construction is well-defined [2408.12997].

A complementary formulation defines a semidirected graph as a tuple $N=(V,E_U\sqcup E_D)$ with undirected edges $E_U$ and directed edges $E_D$, and studies those semidirected acyclic graphs that admit a rooted partner. In this setting, hybrid edges and the partition of vertices into tree and hybrid nodes are stable across all rooted partners, which makes the mixed graph a rooting-invariant object rather than merely a rooted network with deleted directions [2405.16035].

Recent work has given explicit recognition criteria for these mixed graphs. For multi-semi-directed phylogenetic networks, one characterization requires: degree constraints $d(v)\neq 2$ and $d^{-}(v)\in\{0,d(v)-1\}$ for all vertices, absence of semi-directed cycles, and absence of non-trivial edge-paths between reticulations. For single-root semi-directed networks, an additional wedge-path condition is imposed: there must be a wedge-path between each pair of vertices. Equivalent formulations are also given in terms of sinks on cycles and pendant sink components [2507.18772].

Several structural notions recur across these formulations. A *blob* is a maximal 2-edge-connected subgraph in the mixed-graph sense, and the *blob tree* $B(N)$ is obtained by contracting each blob to a single vertex. The *level* of a network is the maximum number of reticulations in any blob; level-$k$ means every blob contains at most $k$ reticulations, and strict level-$k$ means that some blob contains exactly $k$ reticulations [2408.12997]. In the semidirected-rooted-partner framework, the undirected part induces a forest, root components are maximal undirected components under the reachability preorder, and completion directs all undirected edges in the directed part in the unique way shared by all rooted partners [2405.16035].

## 3. Structural invariants, classes, and internal geometry

The blob decomposition is the coarse structural invariant that organizes most of the modern theory. For semi-directed phylogenetic networks, the blob tree is always an undirected phylogenetic tree, and the level bound localizes combinatorial complexity inside blobs. This supports a division between global tree-like structure and local reticulate structure, which is exploited both in reconstruction and in comparison algorithms [2408.12997].

Several special classes from rooted-network theory have now been transferred to the semi-directed setting. In one semidirected framework, weakly tree-child means that at least one rooted partner is tree-child, while strongly tree-child means that all rooted partners are tree-child; for complete $\mathcal L$-networks this admits a linear-time characterization using the directed part, trivial root components, and distinguished sets $W_1(T)$ inside root components [2405.16035]. In the explicit mixed-graph characterization framework, a vertex is an omnian if $d^{+}(v)\geq 1$ and $d^{e}(v)\leq 1$, and a multi-semi-directed network is strongly tree-child if and only if it has no omnians. The same paper also gives criteria for weakly tree-child, strongly tree-based, weakly orchard, strongly orchard, weakly forest-based, and weakly tree-based networks, using Hall-type conditions, cherry-picking reductions, HGT-consistent labellings on binary resolutions, and path-system decompositions [2507.18772].

The geometry of spaces of semi-directed phylogenetic networks has likewise been developed through rearrangement moves. The cut edge transfer (CET) move prunes across a cut edge and reattaches elsewhere, subject to a rooted-partner compatibility condition that guarantees the result is again semi-directed. For fixed leaf set $X$ and reticulation number $k$, the space of semi-directed level-1 networks is connected under CET when $k\leq |X|-2$, and weakly connected when $k=|X|-1$; in both cases the diameter is $O(|X|+k)$. With the additional moves CET$^{+}$ and CET$^{-}$, which respectively add and delete reticulations, the space of all semi-directed phylogenetic networks on a fixed leaf set is connected under extended CET [2301.10818].

## 4. Reconstruction from quarnets and small subnetworks

A major line of work studies whether semi-directed phylogenetic networks are determined by their induced subnetworks on four leaves. These subnetworks are called *quarnets*. For $A\subseteq X$ with $|A|=4$, the restriction is written $N|_A$, and the set of all quarnets is
$$
Q(N)=\{\,N|_A : A\in \tbinom{X}{4}\,\}.
$$
A class is encoded by quarnets if equality of quarnet sets forces isomorphism of the full networks on the same leaf set [2408.12997].

For semi-directed level-1 phylogenetic networks, two constructive reconstructions from complete quarnet sets were established earlier. The sequential algorithm starts from a single quarnet and adds leaves one at a time via uniquely determined attachment moves, while the cherry-blob algorithm identifies exterior structures such as tree cherries, reticulation cherries, and larger exterior blobs directly from quarnets. For binary semi-directed level-1 networks, both procedures recover the unique parent network from its complete quarnet set [1910.00048].

Subsequent work reduced the amount of required four-leaf information. An $O(n^2)$-time algorithm reconstructs binary $n$-leaf semi-directed level-1 networks from direct access to all quarnets while using only an asymptotically optimal $O(n\log n)$ of them; a related $O(n^3)$-time algorithm reconstructs the tree-of-blobs of any binary semi-directed network of unbounded level from $O(n^3)$ splits of its quarnets. When the network contains no triangles, reconstruction can be carried out using only four-cycle quarnets together with the splits of the other quarnets [2409.06034].

For bounded higher level, the current dividing line is now sharp in one important case. Semi-directed binary level-2 phylogenetic networks with at least four leaves are encoded by quarnets, but semi-directed binary level-3 networks are not: there exist non-isomorphic level-3 examples with identical quarnet sets. At the same time, the blob tree is always encoded by the quarnets of a semi-directed binary network, via a characterization of CE-splits through 4-leaf restrictions. These results are explicitly linked to statistical consistency arguments for network-reconstruction programs, including the Squirrel software tool under development [2408.12997].

## 5. Distances, representations, and algorithmic comparison

Comparison of semidirected networks has led to a distinct line of theory centered on rooting-invariant representations. For a leaf-labelled semidirected network, node $\mu$-vectors count directed paths from a vertex to each labelled leaf in a rooted partner; stability theorems show that these vectors are independent of the rooted partner in the directed part, and directional $\mu$-vectors are similarly well-defined for edges in root components once a local orientation is fixed. This yields an edge-based $\mu$-representation $E(N)$ for complete networks, and the associated dissimilarity
$$
D(N_1,N_2)=|E(N_1)\,\Delta\,E(N_2)|
$$
is defined as the symmetric-difference cardinality of the corresponding multisets [2405.16035].

This dissimilarity extends the Robinson–Foulds distance in both classical tree regimes. For unrooted trees it reduces to symmetric difference on splits; for rooted trees it reduces to symmetric difference on rooted clusters. On complete strongly tree-child $\mathcal L$-networks it is a true metric, because equality of edge-based $\mu$-representations implies phylogenetic isomorphism. The representation can be computed in $O(n|E|)$ time, and the dissimilarity can be computed in $O(|E|(n+\log |E|))$ time after sorting. Under mild bounds on hybrid indegree and the number of root components, this becomes near-quadratic in the number of leaves [2405.16035].

The rearrangement geometry supplied by CET complements this metric viewpoint. CET furnishes connected search spaces for semi-directed level-1 networks with fixed reticulation number, CET$^{+}$/CET$^{-}$ allow movement between reticulation tiers, and CET1 provides a local variant analogous to NNI. These results justify CET-based proposal mechanisms for hill-climbing and MCMC over semi-directed network spaces, particularly in the level-1 regime [2301.10818].

## 6. Uses beyond phylogenetics

In complex-network growth models, “semi-directed” refers to a preferential-attachment construction in which directionality is introduced through asymmetric list updates or partial reciprocity. In the semi-directed Barabási–Albert model of one study, a new node chooses $m$ older targets, the targets are each appended once to the Kertész list, and the new node is appended only once rather than $m$ times. The resulting in-degree distribution obeys
$$
P(k)\propto (k+a)^{-\gamma}, \qquad \gamma(m)=2+\frac{1}{m}
$$
for the case $a=1$, so the exponent decreases from $3$ at $m=1$ toward $2$ as $m$ increases, breaking the usual $\gamma=3$ universality of undirected BA growth [1205.0149].

A related statistical-physics literature studies Ising and Potts models on semi-directed BA networks with asymmetric influence neighborhoods. Two variants, SDBA1 and SDBA2, differ in whether a new node influences all selected targets or is influenced by them, with one reverse link in each case. Monte Carlo simulations report that magnetization decays after a characteristic time $\tau(T)$ obeying a Vogel–Fulcher–Tammann form
$$
\tau(T)\approx \tau_0 \exp\!\left(\frac{A}{T-T_c(N)}\right),
$$
with $T_c(N)\approx a+b\ln N$, rather than a conventional equilibrium ferromagnetic transition. The papers interpret this as “unusual ferromagnetism” or metastable, glass-like relaxation on partially directed scale-free topologies [1602.01069].

In systems and control, mixed linear dynamic networks provide a different meaning again. Here the undirected part represents diffusive, Laplacian-structured couplings dictated by physical variable-sharing, while the directed part represents input-output signal flow such as digital control or nonsymmetric components. The model
$$
A(q^{-1})\,w(t)=B(q^{-1})\,r(t)+G(q)\,w(t)+F(q)\,e(t)
$$
combines a symmetric polynomial matrix $A(q^{-1})$ for the undirected diffusive part with a hollow proper rational matrix $G(q)$ for directed modules. For this mixed setting, identifiability conditions are given in terms of left coprimeness, a diagonal block condition after permutation, the presence of at least one excitation, a linear parameter constraint, known zero structure of $G(q)$, and the exclusion of bidirectional directed links between a pair of nodes. A two-step procedure—first estimating a polynomial surrogate model by convex constrained least squares, then mapping back to the original mixed model by linear least-squares relations—yields consistent estimates of all dynamics under the stated assumptions [2604.14960].

## 7. Open problems and current research directions

Several active problems remain open. For quarnet-based reconstruction, the maximal subclasses of semi-directed binary level-3 networks that are still encoded by quarnets are not known; one conjecture isolates the known counterexample family and its leaf-insertion variants as the essential obstruction. Further directions include inference rules for semi-directed quarnets, polynomial-time reconstruction of level-2 networks from complete quarnet sets, and robustness to sparse or noisy four-leaf input [2408.12997].

For graph-theoretic characterization and class theory, open questions include extending the strong orchard characterization from semi-directed to multi-semi-directed networks, finding a direct path-partition characterization of strongly forest-based networks, characterizing weakly orchard networks directly through HGT-consistent labellings on the semi-directed graph itself, and developing efficient decision procedures for strong orchard status without enumerating rootings [2507.18772].

For comparison and search spaces, the edge-based $\mu$-dissimilarity is known to be a metric on complete strongly tree-child semidirected networks, but extending metricity beyond this class remains unresolved. Weighted or continuous variants that incorporate branch lengths or inheritance probabilities also remain open [2405.16035]. In rearrangement theory, higher-level analogues of CET connectivity, exact diameter bounds, and the computational complexity of CET distance are open problems [2301.10818]. For few-quarnet reconstruction, the gap between the $O(n^3)$ upper bound and $\Omega(n^2)$ lower bound for blobtree reconstruction in unbounded-level networks remains, as do extensions of the canonical reconstruction framework to level-2 and to noisy quarnet data [2409.06034].

Source: https://www.emergentmind.com/topics/semi-directed-networks