 Method
 Open Access
 Published:
MSV: a modular structural variant caller that reveals nested and complex rearrangements by unifying breakends inferred directly from reads
Genome Biology volume 24, Article number: 170 (2023)
Abstract
Structural variant (SV) calling belongs to the standard tools of modern bioinformatics for identifying and describing alterations in genomes. Initially, this work presents several complex genomic rearrangements that reveal conceptual ambiguities inherent to the representation via basic SV. We contextualize these ambiguities theoretically as well as practically and propose a graphbased approach for resolving them. For various yeast genomes, we practically compute adjacency matrices of our graph model and demonstrate that they provide highly accurate descriptions of one genome in terms of another. An opensource prototype implementation of our approach is available under the MIT license at https://github.com/ITBELab/MA.
Background
Structural variant (SV) calling is a popular technique for discovering and describing genomic differences and rearrangements. Examples of the application of SV calling are phylogenetic analyses and the discovery of genetic disorders. SV callers can be classified as alignmentbased, assemblybased, and metacallers. Alignmentbased callers rely on short reads (Illumina) or long reads (PacBio, Oxford Nanopore) [1,2,3,4]. Here SV callers exploit one or several types of evidence for SV detection such as (1) deviations from the expected distance between paired reads (readpairbased calling), (2) the locations of supplementary alignments for chimeric reads (splitreadbased calling), and (3) regions with particularly high or low coverage on the reference genome regarding alignments. Assemblybased callers detect SV by comparing assemblies, e.g., in [5,6,7,8]. Finally, metacallers [9,10,11] try to achieve high accuracy and high recall rates by combining the output of other SV callers. Overviews presenting all these types of SV callers together with their characteristics and their respective performances can be found in [12,13,14,15].
Our work starts by reporting shortcomings of stateoftheart readpair and splitreadbased SV calling. Here we identify ambiguities inherent to the description of genomic rearrangements via basic SV [16]. As a solution, we introduce a description of genomic rearrangements using skewsymmetric graphs. A highlight of our graph model is a folding scheme for adjacency matrices that unifies forward strand and reverse strand. The general suitability of graphs for the representation of genomic rearrangements is already demonstrated in [17, 18]. Furthermore, we inspect the negative side effects of alignments on SV calling that result from their pathoriented nature. For circumventing these side effects, our skewsymmetric graphs are computed using seeds merely. This seeding is extended by a recursive reseeding technique that takes the position of Dynamic Programming [19, 20] usually incorporated with alignment computations (e.g., in the aligners Minimap2 [21] and MA [22]). A practical evaluation using the two Saccharomyces paradoxus (wild yeast) genomes UFRJ50816 and YPS138 (data published by [23]) shows the viability of our approach. In this context, we express the genome UFRJ50816 in terms of the genome YPS138 via a graph that is computed either from the assemblies of both genomes or from PacBio reads and Illumina reads. A discussion of our approach emphasizes its suitability with graph genomes and, in this way, with pan genomes.
Results
Ambiguities inherent to the description of genomic rearrangements via basic SV
In the following, we assume that genomic rearrangements are represented by combinations of basic SV, where a basic SV is one of the following four elementary reorganizations of the reference genome: Deletion, Insertion, Inversion or Duplication. Some stateoftheart SV callers [1, 4] attempt to represent genomic rearrangements by nesting these basic SV. However, this representation scheme comprises inherent ambiguities in two ways: (1) a set of basic SVs can describe multiple reorganizations and, on the contrary, (2) a single genomic rearrangement can be described by multiple sets of basic SVs. Figure 1 visualizes these ambiguities via examples. In Fig. 1A, the combination of a duplication and an inversion describes three different genomic outcomes. In Fig. 1B, a reference \(ABCD\) is reorganized to \(AC\widetilde{B}D\) either with two inversions or with a duplication followed by two deletions and an inversion. Recently published works are aware of these ambiguities [24,25,26,27]. As an intermediate solution, they exclude complex genomic rearrangements that pose unmanageable ambiguities to them.
The abovementioned ambiguities can be eliminated by expressing the outcome of the rearrangement process (instead of the process itself) in terms of the reference. This can be accomplished by, e.g., dotplots as shown in Fig. 1. Each dotplot, in turn, can be translated into a genomemapping graph, where all breakend pairs of the dotplot become edges. (The notion breakend is similar to the notion breakpoint as explained in Additional file 1). Moreover, the genomemapping graph can be represented using an adjacency matrix that can be efficiently stored in a database, a CSV file, or by tying together breakends in the VCF format [28] (using the BND tag and no other tag). For unifying forward and reverse strands, an adjacency matrix can be folded. A detailed definition of our graphmodel, the inference of adjacency matrices, and their folding scheme is given in the methods section.
We now analyze the practical relevance of the abovementioned ambiguities by inspecting the output of the popular SV callers Sniffles [29] and Delly [4]. For this purpose, for each dotplot, we generate a set of errorfree alignments, which reflects the rearrangement of the respective dotplot and fully covers the yaxis. A detailed description of the experimental setup is given in Additional files 4 and 5. We generate 100 × coverage and do not induce any noise, e.g., sequencer errors, into the alignments. This exclusion of noise is for avoiding additional complications for SV callers besides the nested variants themselves. The generated queries are forwarded to the SV callers for evaluation and their output is visualized in the bottom row of Fig. 1. All SV callers reconstruct the reference positions of the breakends successfully but struggle with the abovementioned ambiguities. For subfigure A, Sniffles reports an inversion and duplication for all three reorganizations. Therefore, Sniffles recognizes the basic SV correctly but cannot distinguish between the three cases. Delly distinguishes all three cases but does not report the duplication in the first two rearrangements. For Fig. 1B, Sniffles returns a combination of both development histories, where the basic SV are sorted by their start position on the reference (due to this sorting both histories appear intermingled). Delly’s output seems to comprise fragments of both development histories. Using our proposed representation scheme, all cases can be represented unambiguously by a unique adjacency matrix. Furthermore, there are SV callers, such as Gridss [30] and Manta [3], which avoid basic SV calls for reporting variants and make use of a BNDcall representation of the VCF format [28] instead. As a consequence, these callers do not struggle with the ambiguities reported here. We examine the equivalence of the BNDcall representation, our adjacency matrix approach, and a dotplot representation in the discussion section.
Alignments can conceal SV
SV callers recognize genomic rearrangements using the locations of their breakends. Here many stateoftheart SV callers [1, 13, 14] rely on alignments of splitreads (chimeric reads). Therefore, these SV callers require their aligner to deliver precise and consistent breakend locations. Aligners are designed to find maximally scored paths in the tradition of NeedlemanWunsch’s (NW) [19] and SmithWaterman’s [20] algorithms. Such a pathbased approach is wellsuited for the discovery of mutations, short insertions, and short deletions. However, long insertions and long deletions oppose maximally scored paths. This problem is well known and reflected by the introduction of twopiece affine gapcosts [31]. Furthermore, the pathdriven approach contradicts duplications and inversions as indicated by the Dynamic Programming (DP) curves in Fig. 2B. Stateoftheart aligners attempt to compensate for these shortcomings by identifying special cases using tailored strategies and reporting them via supplementary alignments. For example, Minimap2 tries to identify potential inversions using a zdrop heuristic during DP and verifies these potential inversions via DP on the reverse complement.
In Fig. 2, we evaluate the aligners Minimap2 [21], NGMLR [29], GraphAligner [32], and MA [22] in the context of the abovementioned shortcomings (Additional file 5 lists the versions of all software used for the analysis). There, we benchmark the discovery rates of the aligners for the following SV types: (1) a plain deletion; (2) a plain insertion; (3) a duplication, where a gap occurs between the original and copied segment; (4) a deletion directly followed by an inversion; (5) an inverted duplication (identical to the leftmost case in Fig. 1A); and (6) two nested inversions (identical to the case in Fig. 1B. In all six cases, the aligner’s query sequences span over the complete SV. Each query is generated by performing the following three steps: (1) We pick a randomly located interval of a given size (this size is denoted on the xaxis of the respective case in Fig. 2A on the human genome assembly GRCh38.p12). (2) The sequence in that interval is decomposed into sections as visualized on the xaxis (sections named \(A\), \(B\), \(C\), …). (3) The query is generated by copying and rearranging these sections as shown on the yaxis. All queries generated by the above scheme are of equal size (2000 nt). We generate 1000 queries for each SV size of each SVvariant, where each query is generated from a different, randomly chosen reference interval. Following the generation, the query sequences are forwarded to the aligner. Using the CIGARs of the primary alignments and the supplementary alignments, we verify an aligner’s discovery of all breakends that belong to the respective SV. Here, we grant a tolerance of 25 nt and verify reference locations as well as query locations of breakends. An SV counts as rediscovered if all its breakends are found. To account for sequencing errors, we additionally simulate substitutions, insertions, and deletions on queries with error rates that mimic PacBio HiFi reads, using the simulator published in [22]. Additional file 6 details the exact error simulation approach. As visible in Fig. 2B, erroneous reads have a limited impact on the recall rates of aligners and do not affect the range of SV types that are concealed by them.
In Additional file 6, we repeat the experiment of Fig. 2 with the query sizes 1000 nt and 20,000 nt. There, recall rates show improvements with increased query size, particularly for NGMLR [1]. However, the general shape of the curves stays unaltered since the size of the reorganized segments does not change.
Figure 2B indicates the limited success of stateoftheart aligners in overcoming their pathoriented design. Aligners recognize some cases comprising duplications and inversions while failing on others. Maximal Exact Matches (MEMs) are a particular form of seeds, where seeds are equivalences between a reference genome and a read, typically used by an aligner as the basis for alignment computation. Informally, a MEM is such an equivalence between two sequences (e.g., reference genome and read) that cannot be extended in either direction without encountering a mismatch or the outer end of one (or both) of the sequences. A formal definition of MEMs can be found in [22]. The MEM’s curves, in contrast to the aligner’s curves, illustrate that this type of seed is sufficient for recognizing all analyzed cases. For MEMs, the impact of erroneous reads on the recall rates is higher than for aligners or DP, but still moderate. This can be attributed to the fact that, in the presence of sequencer errors, MEMs may not extend to the exact location of a breakend, whereas aligners accurately recover exact breakends by using DP. In our SV calling approach, we address imprecise breakends by employing techniques such as reseeding, fuzzy edges, and a statistical approximation of true entry locations. These techniques are explained in detail in the methods section.
The failing of aligners can be explained by their pathdriven selection of seeds that occurs as part of the seedprocessing step (e.g., chaining), where aligners purge relevant seeds. While small deletions and insertions are well discovered by all aligners, their discovery rates decrease with increasing indel size. This is in accordance with the abovementioned opposition of the pathoriented scoring scheme to long indels. Since the MEM and DP curves in Fig. 2B indicate that seeds and twopiece affine gapcosts cope well with larger indels, the worse behavior of all aligners for indels must again originate from their seedprocessing step (e.g., chaining [33]).
Aligners rely on “occurrence filtering” for coping with the ambiguity of genomes. For keeping fairness, we mimic this occurrence filtering during MEM computation by discarding all MEMs that surpass a given threshold of occurrences on the genome. Except for insertions and deletions, Fig. 2B shows a slightly decreasing discovery rate with MEMs for small SVsizes. This can be explained by the mimicked filtering in combination with the ambiguity of the human genome because small seeds tend to be purged by occurrence filtering and so the corresponding breakends cannot be discovered anymore. As with alignments, a breakend is considered as “discovered by a MEM” if one of the MEMs endpoints and the breakend have equal read and reference positions. Furthermore, an SV counts as rediscovered by MEMs if all its breakends are found. Please note that all cases investigated in Fig. 2 mimic realworld rearrangements that we encounter during our analysis of the yeast genomes UFRJ50816 and YPS138.
Some aligners, e.g., Minimap2, can be configured to report all discovered chains via supplementary alignments. If configured this way, an aligner’s recall rate in the above analysis increases significantly (as shown in Additional file 6 for Minimap2). However, the configuration results in an abundance of CIGARS without any contextual information among them. Without this contextual information, the CIGARs are of similar value as pure MEMs in the context of SV calling.
SV calling using genomemapping graphs inferred from MEMs
We now outline our technique for computing genomemapping graphs from MEMs. Using the inversion shown in Fig. 3A as an example, we explain our approach stepbystep. First, we unfold the reference genome and represent it as a string of nucleotides so that the forward strand is directly followed by the reverse strand. Using this unfolded reference genome together with a set of given reads, we compute a set of MEMs and record the linkage between the MEMs’ breakends during computation. Figure 3B shows the computation of four MEMs \({m}_{1}\) to \({m}_{4}\) for the two exemplary reads \({r}_{1}\) and \({r}_{2}\) that are assumed to be errorfree for simplicity. The four MEMs are connected at their breakends via the two links labeled “a” (end of \({m}_{1}\) to begin of \({m}_{3}\)) and “b” (end of \({m}_{2}\) to begin of \({m}_{4}\)). Next, the linkage between MEMs is mapped into an adjacency matrix that runs along the reference genome on both axes. Informally, this adjacency matrix expresses the sequenced genome in terms of the reference genome via neighborhood relationships, i.e. the matrix indicates which nucleotides of the reference genome appear as neighbors on the sequenced genome. The matrix can be simplified by omitting entries that do not indicate differences between reference genome and sequenced genome (such entries appear directly over the matrix diagonal as described in the methods section). The neighborhood relationships are expressed in the matrix by indicating ‘from’ which position on the reference genome (xaxis position of a matrix entry) we have to go “to” which position on the reference genome (yaxis position of a matrix entry) for reconstructing the sequenced genome. For example, in Fig. 3B the arrow of the breakendpair labeled “a” originates from the last nucleotide of the sequence ‘A’. Therefore, the matrix entry “a” in Fig. 3C is placed above the end of the sequence ‘A’ on the forward strand. Accordingly, the matrix entry’s vertical position is defined by the arrow’s end, which points to the first nucleotide of the sequence ‘B’ on the reverse strand. For inferring the adjacency matrix position of a breakend pair, we merely require the immediate surrounding area on the sequenced genome, which can be provided by a sequencing read. As opposed to the dotplots in Fig. 3A and B, both axes of the adjacency matrix run along the reference genome. This is vital, as the sequenced genome is unknown during SV calling. The matrix shown in Fig. 3C is not suitable for describing structural variations because it comprises the example’s inversion twice. To solve this problem, the matrix is folded in 3 steps (the folding scheme is explained in the methods section) and reduced to the matrix shown in Fig. 3D. Here the two entries “a” and “b” of the unfolded matrix are unified to a single entry “a/b” that describes the example’s inversion uniquely. Such a folded matrix can then be visualized as a genomemapping graph that expresses the sequenced genome in terms of the reference genome. Figure 3E shows this graph for the example. In the absence of ambiguities induced by genomic repetitions, the genomemapping graph allows a directed reconstruction of the sequenced genome from the reference genome. In the case of ambiguities (e.g., in the case of duplications, where the reconstruction runs into a cycle), an additional graph traversal is required that decides the order of entry visits in ambiguous situations. A detailed description of our SV calling approach is given in the methods section. This includes the proposal of a memoryefficient representation of our adjacency matrices.
Incorporating genome repetitiveness and sequencer errors into SV calling
Repeats on the reference genome can cause MEMs to overlap on the yaxis (on the read) as shown in Fig. 4A. There, the MEMs \({m}_{1}\) and \({m}_{2}\) both cover the section labeled \(B\) on the yaxis. This overlap leads to the erroneous matrix entry labeled \(a\). This entry expresses that, on the sequenced genome, the reference’s first instance of \(B\) is followed by the reference’s second instance of \(B\). However, for correctly representing the sequenced genome via the adjacency matrix, we instead express that there exists only one instance of \(B\) on the sequenced genome. A graph genome, where such repetitiveness is modeled by edges instead of vertices, would eliminate this problem (more details on graph genomes can be found in the discussion section). In the methods section, we introduce an algorithmic scheme that shortens overlapping seeds for resolving such overlaps on sequential reference genomes.
The repetitiveness of genomes creates further issues. In the following, let \(S\) be a sequence that occurs once on the reference genome but \(n\) times on the sequenced genome. This leads to a situation, where the vertex belonging to the first or last nucleotide of \(S\) comprises \(n\) inbound or outbound edges, respectively. Relations between such inbound and outbound edges cannot be expressed by the graph itself. Instead, they must be defined by a graph traversal. Since our approach currently does not compute such a traversal, we avoid these regions by applying a filtering approach on all reads as described in the methods section. Now, let \(S\) be a sequence that occurs \(n\) times on the reference genome and at least once on the sequenced genome. In this case, an occurrence of \(S\) on a read triggers \(n\) matches on the reference, where all of them are false positives except for one. For handling this situation, we discard all seeds. This technique is similar to the “occurrence filtering” that is part of the seeding step of many aligners [21, 22, 34]. The discarding of ambiguous seeds primarily removes small seeds since the number of occurrences of a seed on a genome is expected to increase with decreasing size of the seed. However, small seeds are required if two differences between read and reference are close to each other. Such differences can be caused by genomic rearrangements, sequencer errors, or combinations of them. If the seed between two differences is missing, two correct entries in the adjacency matrix are replaced by a single wrong entry (see Fig. 4B). For tackling this problem, we propose an efficient reseeding scheme for the retrieval of small seeds on a locally confined region of the reference (see Fig. 4C). The required basic techniques for obtaining such seeds using an index computed on the fly are proposed in [35]. There, a hash table is used for computing Minimizers that are merged and extended afterward for obtaining MEMs. For each MEM, we search for smaller undiscovered MEMs occurring immediately before and after it. This process is recursively extended to freshly discovered MEMs until they are expected to be too small (down to 5nt). The detailed process is described in the Methods section.
Evaluation using yeast genomes
So far, we analyzed individual aspects of our SV calling approach merely. Now, we perform a comprehensive evaluation using the realworld data proposed in [23] for Saccharomyces paradoxus (wild yeast). We work with yeast genomes due to their small size and moderate repetitiveness in comparison to, e.g., the human genome. In the Discussion section, we outline extensions and modifications of our approach that would allow its application to the human genome. The data in [23] are particularly well suited for our analysis because they comprise independently assembled genomes for several strains of wild and domestic yeast, which can be used as ground truth for our analysis. We focus on the genomes UFRJ50816 and YPS138 here. These genomes comprise complex genomic rearrangements (e.g., six clustered inversions, some of which are overlapping) that are similar to the situations shown in Fig. 1B2. Finally, the yeast genomes in [23] are all sequenced in their haploid or homozygous diploid forms, which simplifies SV calling compared to diploid genomes comprising heterozygous loci.
Due to the reported ambiguities of basic SV, an evaluation of our approach using VCFformatted data as ground truth is not feasible. For overcoming this problem, we compute a set of adjacency matrix entries based on a reference assembly (we use YPS138) and a sequenced assembly (we use UFRJ50816) as ground truth entries. The entries are inferred from a comprehensive set of MEMs for the assemblies. Here, we rely on the same algorithmic techniques for computing seeds and matrix entries as we use for reads (see methods section). The overall scheme for the computation of groundtruth entries is given in Additional file 7. For the \(\sim\) 12Mio bp long yeast genomes, this groundtruth matrix comprises 45,533 entries. In the following, it is denoted by \({M}_{T}\).
The theoretic foundations of our approach demand that the sequenced assembly corresponds to one specific traversal throughout the genomemapping graph, where the graph is defined by the groundtruth entries and the traversal is determined by a visiting order among the entries. For UFRJ50816 and YPS138 we could fully reconstruct the sequenced genome using a prototype implementation, which is described in Additional file 8. This, in turn, proves the correctness of the practically computed groundtruth entries.
So far, for the generation of the groundtruth entries, the complete genome \({A}_{S}\) is used as one virtual errorfree read. Now, we evaluate our approach using simulated reads, where we rely on SURVIVOR [37] and DWGSIM [36] for the generation of CCSPacBio and Illumina reads, respectively. The error profiles for SURVIVOR’s CCSPacBio read generation are sampled from Minimap2 alignments for the PacBioMtSinaiNIST reads of HG002 (AJ Son) [38]. We use simulated reads instead of realworld reads to establish a proper ground truth. In the context of our benchmarking, the entries of the ground truth matrix \({M}_{T}\) are distributed over three submatrices: A matrix \({M}_{T,\ge 200}\) (comprising 337 entries) consisting of all entries in \({M}_{T}\) of size \(\ge\) 200nt, a matrix \({M}_{T,10199}\) (comprising 1329 entries), comprising all entries of size \([10{\text{nt}},200{\text{nt}})\) and a matrix \({M}_{T,<10}\) (comprising 43,804 entries) with all the remaining entries (size \(<\) 10nt). Here the size of an entry is the maximum of the distance between an entry’s breakends on the reference genome and an entry’s weight, i.e., the length of an inserted sequence that might be part of the entry (e.g., for a basic insertion the distance of the breakends is 0 and the size of the entry is the length of the inserted sequence). Figure 5 shows the outcome of our benchmarking for all three matrices. Callers that report basic SV (e.g., Sniffles [1] and Delly [4] are excluded from the benchmarking due to the previously reported ambiguities affecting the representation of complex rearrangements via basic SV. Manta reports complex events via the BNDtag and nested events via basic SV. Hence, we could translate the basic SVcalls as well as the BNDcalls into our matrix representation. The benchmarking indicates a superiority of our approach compared to its competitors. Particularly for PacBio reads, it performs well over the full range of all three matrices. Furthermore, we surpass the other callers with respect to the maximal recall rate except for \({M}_{T,\ge 200}\) with Illumina reads, where Gridss can recall 2% of the 337 entries. Altogether, Gridss and Manta show a blindness outside of the middlesized genomic rearrangements defined by \({M}_{T,10199}\). Aside from this blindness, they struggle to determine the exact locations of breakpoints (solid curves of Fig. 5) as indicated by their improved behavior for the more relaxed benchmarking, where a tolerance of \(\pm\) 25nt is granted in the context of the breakend reporting. The slightly better accuracy of Gridss for recall rates of up to 25% with \({M}_{T,10199}\) in the case of a \(\pm\) 25nt tolerance indicates a weakness of our heuristics for filtering false positives. This mirrors the conclusion that assemblybased SV calling is excellent for filtering falsepositives of [30]. Manta shows an improved behavior for Illumina reads of length 100 nt. Therefore, an additional benchmarking for 100nt Illumina reads is given in Additional file 6.
Next, we analyze realworld reads. To accomplish this, we rely on the PacBio SMRT and Illumina HiSeq 2500 reads that were originally employed to generate the UFRJ50816 assembly [23]. As a result, we no longer measure accuracy and recall rates in comparison to a ground truth, as the ground truth is now unknown. Instead, we evaluate the similarity to the output of the genome assembler used during the creation of the UFRJ50816 assembly. For Illumina HiSeq 2500 reads, our curves for both simulated and realworld reads show a high degree of similarity. For PacBio reads with an entry size < 10nt, we observe the same similarity. However, as the entry size increases the curves become more divergent. Larger entry sizes correspond to larger SV, which subsequently increases the probability of discrepancies between the SV caller and the assembler.
The outcome of SV calling should allow the reconstruction of the sequenced genome from the respective reference genome. Our genome mapping graph model (adjacency matrices) permits such a reconstruction as described in the methods section. We now evaluate the genomes that result from a reconstruction using matrix entries inferred from the sequenced genome as one long errorfree read. With respect to this reconstruction, we compare our approach, in the following called MSV, with Gridss. Here we work with Illumina reads in combination with PacBio reads for MSV and Illumina reads by themselves for Gridss. As shown in the first row of Table 1, the calls from the sequenced genome deliver a perfect reconstruction of the sequenced genome, which justifies the use of these calls as groundtruth. With MSV, the identity between chromosomes of the reconstructed genome and the sequenced genome varies from 97.0 to 99.9%. Here, these identities are computed as \(\frac{i}{\mathrm{min}(\leftQ\right,\leftR\right)}\), where \(i\) represents the number of matches in a banded ( \(\mathrm{bandwidth}=\;abs\left(\leftQ\right\leftR\right\right)+10,000\;\mathrm{nt}\)) Needleman Wunsch alignment with twopiece affine gap costs between the sequences \(Q\) and \(R\). As described in the methods section, the reconstruction requires a traversal for resolving ambiguities resulting from genomic repetitions. SV callers do not compute such a traversal. Therefore, as an approximation, we infer this traversal from the sequenced genome itself. In the following, we call this traversal the primordial traversal. This traversal is trivially computable by ordering the entries of the sequenced genome according to their position on the sequenced genome. However, the primordial traversal can contradict the entries of a caller. For MSV, such contradictions occur between 195 (0.5%) of the 38,113 entries used during the reconstruction. For Gridss, such contradictions occur for 73 out of 155 entries (47%). Here the total number of entries is much lower since the entries of Gridss are mainly in \({M}_{T,10199}\). The primordial traversal could be replaced by a naïve traversal that always prioritizes nonimplicit edges over implicit edges (see the first subsection of the methods section for the definition of implicit edges) and stops if multiple nonimplicit edges originate from a visited vertex. For MSV, 94.5% of pairs of consecutive edges in the primordial traversal are part of such a naïve traversal as well, i.e., merely 5.5% of edge pairs of the primordial traversal are contributing. Comparing the naïve approach to the primordial traversal, 97.6% of pairs of consecutive edges are part of both traversals.
The use of weights is necessary during reconstruction since some differences between the reference genome and the sequenced genome (e.g., mutations and insertions) should not be expressed via sequences of the reference genome. In our case, sequences that are not covered by any seed are represented as weights. This implies that some duplications become weights due to the occurrence filtering (see methods section). Here, 90.6% and 93.8% of these weights are sequences of size one (mutations), while 0.6% and 0.4% of these weights are sequences of size \(\ge 100\) nt (long insertions or long repetitive regions), for entries of the sequenced genome and MSV, respectively. For MSV, 4.5% of the reconstructed genome originates from weights (inserted sequences), where 37,683 of MSV’s entries comprise a weight. For the calls of the primordial traversal, 3.0% of the reconstructed genome originate from weights and 42,597 entries have weights. Large insertions connect to one of two special sentinel vertices as described in the methods section. However, in the context of our evaluation of Yeast, all insertions are fully enclosed by one PacBio read at least. Therefore, for all entries, the merging scheme described in Additional file 9 can be applied in the context of the entries’ scoring.
Discussion
The yeast genomes used for our analyses are small compared to, e.g., the human genome. This raises the question of the applicability of our approach to larger, more complex genomes. Currently, the repetitiveness of complex genomes practically overloads the seed processing involved in our approach. For example, the human genome comprises many nontrivial sequences with more than 10,000 occurrences distributed over all its chromosomes. In our approach, all occurrences of such a sequence must be memorized by seeds for each sequenced read that comprises that sequence. The resulting amount of seeds for all reads can be staggering for complex large genomes and is best handled by extending our approach as described later. For the yeast genomes, this problem is still manageable. Benchmarking can be done on standard hardware without any extensions of our approach while still working with genomes showing complex, nested SV. Nevertheless, the repetitiveness of genomes generally poses a problem during the analysis of genomic data. Here, the repetitiveness of sequenced genomes affects our approach differently than the repetitiveness of reference genomes. A sequence that occurs once on the reference genome but many times on the sequenced genome equals one or several duplications. Such duplications create cycles in our graph model that can be resolved via a graph traversal. On the contrary, sections of a sequenced genome that match several locations on a reference genome are more challenging. Here it is necessary to select the correct location from many candidates on the reference. This selection could be done via alignments, where the alignment’s CIGARs provide the seeds used for the computation of matrix entries. In detail, each maximally extended stretch of consecutive matches within the CIGARs of the primary and all supplementary alignments can be translated into a single seed. Here, secondary alignments should be excluded for ensuring that seeds do not overlap on their read intervals. However, such an alignmentbased seed generation would conceal many complex genomic rearrangements as shown in the results section. Therefore, it represents an unsatisfactory solution.
Instead of tackling the repetitiveness of a reference genome, via, e.g., an alignmentbased seed generation as mentioned above, it would be advantageous to avoid such repetitiveness in the first place. This can be achieved by switching to graph genomes. Here a repetitive sequence can be represented by a single vertex (or a subgraph for nested repetitive sequences) and the repetitiveness is resolved by a traversal throughout the graph. Currently, the axes of our adjacency matrices correspond to sequential genomes and therefore all matrix entries that connect nonneighboring vertices (vertices that belong to nonneighboring nucleotides on a genome) represent SVs. However, our approach does not require such sequential genomes in the context of the adjacency matrix. Instead, we can use a graph genome as a reference by placing the vertices of the graph genome on the axes of the adjacency matrix. Compared to a sequential genome, the genomic rearrangements are now matrix entries that connect vertices not neighboring in the graph genome. Furthermore, the graph traversal that is computed for representing the sequenced genome can immediately be used as another path in the graph genome. Hence, our approach can be used for adding new specimens to graphbased pangenomes. Such additions might imply a modification of the pangenome graph’s structure if the sequenced genome indicates an additional level of repetitiveness. In this work, we use sequential reference genomes for two reasons: (1) Currently, we do not compute the traversal that delivers a sequenced genome. (2) A bootstrapping that provides repetitionfree graph genomes as starting points is required.
In the results section, we investigate ambiguities resulting from the description of genomic rearrangements using basic SV (e.g., descriptions via the VCF format). Figure 6 extends this inspection of ambiguities to the relationships between genomic rearrangements, basic SV, sequenced genomes, and breakend associations: Evolutionary development is a stepwise process; its genetic state is usually observed via sequenced genomes, which are snapshots of a specimen’s genetic definition. Aside from some trivial cases, these snapshots cannot reveal the history of genomic alterations (basic SV) that leads from one snapshot to another because different histories can yield the same outcome. For example, three inversions can alter a sequence in the same way as one duplication followed by two deletions, e.g., shown in Additional file 10: Fig. S12 D). This inherent ambiguity, in turn, affects all basic SVbased description schemes, e.g., the VCF format. Therefore, any quantitative measurement of basic SV has to exclude nested variants (e.g., by using the benchmarking dataset proposed in [24]) or it is doomed to be ambiguous. For example, in [25,26,27, 39], these ambiguities are tackled by defining signature variant allele structures for several complex genomic rearrangements while ignoring all others. However, such complex genomic rearrangements are a significant aspect of the human genome as shown by Li et al. in [39], where they report that over half of all somatic variants in cancer genomes are nested and complex variants, and Collins et al. in [25], where they report that complex SV are abundant in noncancer genomes as well. Furthermore, the repetitiveness of genomes in combination with the limited length of sequenced reads inflicts an additional level of ambiguity on the snapshots (sequenced genomes) themselves. For example, if a duplication’s size exceeds the length of all reads, the exact number of repeats can be guessed merely (see Additional file 10: Fig. S12 E). Our adjacency matrixbased approach resolves these ambiguities in two ways: (1) It abstracts from the history of genomic alterations. (2) It differentiates between the adjacency matrix itself and a traversal through its respective graph. In this context, the adjacency matrix captures the locations of all breakend pairs (see Additional file 1 and Fig. 6), while the traversal corresponds to the occurrence order of the breakend pairs on the sequenced genome. This traversal can only be computed if there are reads of sufficient length. However, for inferring adjacency matrix entries, short reads are sufficient since each entry merely requires two seeds to identify its breakend pair.
Conclusions
We show that stateoftheart approaches for SV calling are incapable of unambiguously representing nested and complex structural variants. This deficiency of current approaches leads to the exclusion of nested and complex variants in many contemporary studies (e.g., [25,26,27, 39]). This blindspot in the analysis of genomic variation prohibits the association of complex and nested SV to diseases and observable traits.
For representing all forms of SVs unambiguously, we argue that one must express the outcome of genomic rearrangement instead of attempting to describe the process of rearrangement. Our outcomefocused approach leads to an adjacency matrixbased model that can cope with complex and arbitrarily nested SVs. This yields the following two advantages over current approaches for SV calling: (1) Detected genomic variations (from SNPs over isolated SVs to nested SVs) can be crosscompared between different individuals by inspecting overlapping matrix entries. (2) Our matrices can be easily translated into other forms of visualizations, e.g., dot plots. Furthermore, a practical evaluation of our approach using various yeast genomes demonstrates that our adjacency matrices can be efficiently computed from raw sequenced reads. Summarily, our work eliminates significant shortcomings of stateoftheart SV calling and paves the way for the discovery and understanding of diseases and biological processes that are related to complex and nested SVs.
Methods
A skewsymmetric graph model for describing genomic rearrangements
We describe rearrangements between a reference genome \(R\) and a sequenced genome \(S\) using a weighted, directed skewsymmetric graph (skewsymmetric graphs are defined, e.g., in [40]). In our graph model, vertices represent nucleotides of \(R\). Using the edges and their weights, we express \(S\) in terms of \(R\). Let \(u\) and \(v\) be two vertices. Furthermore, let \(N\left(u\right)\) and \(N\left(v\right)\) be their respective nucleotides: An edge from \(u\) to \(v\), indicates that \(N\left(v\right)\) follows \(N\left(u\right)\) on \(S\). Hence, edges can either express equality between \(S\) and \(R\), by connecting the vertices of nucleotides that follow each other on \(R\), or express differences (i.e., breakend pairs) by connecting the vertices of nucleotides that are nonconsecutive on \(R\). For example, in Fig. 7C, the edge between the first two vertices of the segment \(U\) on the forward strand indicates that the corresponding nucleotides appear consecutively on the sequenced genome. Accordingly, the edge labeled \(a\) expresses that \(W\) follows \(U\) on the sequenced genome. For each position on the reference, we have one vertex on the forward strand and one vertex on the reverse strand. These vertices are called mates. Additionally, each edge \(\left(u,v\right)\) has a mate edge that connects the mate vertices of \(u\) and \(v\) in opposite direction. In Fig. 7C, the forwardstrand edge labeled \(a\) has a mate on the reverse strand that connects the first vertex of \(W\) with the last vertex of \(U\). The concept of mates is part of the skewsymmetry of our graph model. Using strandcrossing edges, we can represent breakend pairs of inversions. For example, in Fig. 7C, the first breakend pair of the inversion of \(X\) on the sequenced genome is represented by the green mate edges labeled \(b\). Insertions are modeled using the weights of edges. Hence, the edge connecting \(Y\) and \(Z\) in Fig. 7C comprises \(I\) as weight for modeling the insertion of the sequence \(I\) on the forward strand. For representing a genome, it is necessary to have a set of traversals that accumulatively visit all nonisolated vertices of the graph at least once. Each traversal represents one chromosome of the sequenced genome.
The example reads of Fig. 7D and E demonstrate the inference of entries for an unfolded adjacency matrix in the idealized situation of errorfree reads. For this purpose, we use Maximal Exact Matches (MEMs). MEMs are seeds that are maximally extended in either direction. Each entry is generated by the combination of the head (xposition of entry) and tail (yposition of entry) of two arrows, which correspond to the endpoints of two MEMs that occur consecutively on the respective read. For example, the MEMs labeled 1.1 and 1.2 in Fig. 7D and E create the entry labeled \(a\) in quadrant \(III\). If a read from the forward strand and a read from the reverse strand span over the same breakend pair, they create mate entries in the unfolded matrix. For example, the mate entries labeled \(b\) result from read \({r}_{1}\) (on the forward strand) and read \({r}_{3}\) (on the reverse strand). The entries touching the diagonal on their bottom right corner can be directly inferred from the seeds, where such a matrix entry \((u,v)\) is formed by the pair of consecutive nucleotides \(N(u),N(v)\) in the respective seed. We call these entries implicit because they are not related to SVs and can be neglected in practical implementations.
Folding adjacency matrices
We now propose a folding scheme for unifying mate matrix entries (e.g., the entries labeled \(b\) in Fig. 7E) by exploiting the skewsymmetry of our graph model. In the context of this folding, for each edge \((u,v)\), we store the strands of \(u\) and \(v\) via two annotations. Each annotation can receive the value \(F\) or \(R\) for the forward strand or reverse strand, respectively. In short, we write \(FF,FR,RF\) or \(RR\) for the strand annotations of both vertices of an edge. In the context of these annotations, we use the following coloring scheme: \(FF\) = blue, \(FR\) = green, \(RF\) = purple, \(RR\) = light brown. In the unfolded matrix, these annotations are intrinsically defined via the quadrant an edge appears in Quadrant \(I\to RR\), Quadrant \(II\) \(\to FR\), Quadrant \(III\) \(\to FF\), Quadrant \(IV\) \(\to RF\) (see Fig. 6E). The annotations allow a reconstruction of the unfolded matrix out of the folded one.
The folding scheme is visualized in Fig. 7F and comprises the following three steps:

1)
The top half of the matrix is mirrored to the bottom half of the matrix.

2)
The right half of the resulting rectangular matrix is mirrored to the left half.

3)
In the resulting matrix, all entries below the diagonal are mirrored to their corresponding mates above the diagonal. During this mirroring, the two binary annotations of entries are swapped and complemented (\(FF\to RR,FR\to FR,RF\to RF,RR\to FF\)). The weights of mirrored edges are reverse complemented. Entries on the diagonal that are annotated with \(FF\) stay untouched, while all other entries on the diagonal are mirrored to themselves as described above.
In Fig. 7, the example matrix of subfigure E is folded into the matrix shown in subfigure G. The two breakpoints (two breakend pairs) of an inversion always correspond to two entries in the folded matrix, where one entry is annotated \(FR\) and the other \(RF\). For example, in subfigure G, the entries labeled \(b\) and \(c\) correspond to the inversion \(X\). For isolated inversions, these two entries are always direct neighbors in the folded matrix and their distance to the diagonal indicates the size of the inversion. The deletion of \(V\) is represented by the mate entries labeled \(a\). In the unfolded matrix, one of these mates is annotated \(FF\) and the other \(RR\). The folding combines these two mates as shown in subfigure G. As with isolated inversions, the distance to the diagonal in the folded matrix indicates the size of isolated deletions. The insertion of \(I\) is represented via the weights \(I\) and \(\widetilde{I}\)(the reverse complement of \(I\)) on the mate edges labeled \(d\). Once more, the matrix folding combines both mates.
Computing a folded adjacency matrix from realworld reads
In the following, we infer an adjacency matrix from a given set of reads and a reference genome \(R\). Initially, we compute the MEMs of all reads. Each pair of these MEMs that occur consecutively on a read creates a single entry in the adjacency matrix. Here multiple reads can create the same entry. For coping with this, we move to a multigraph model. Furthermore, the endpoints of MEMs can deviate slightly from actual breakends due to sequencing errors and the repetitiveness of genomes. Therefore, we include a concept of fuzziness by extending each matrix entry to an area around it. For finding true breakend pairs, we merge overlapping areas and later reduce them to single points. In the context of this merging, the size of these areas should be chosen so that we do not merge areas that belong to different breakend pairs. For dealing with large insertions that are not enclosed by any read, two sentinel vertices are added to our graph model.
Computing MEMs for a read via reseeding
The MEMs used for inferring the adjacency matrix are computed via a process that comprises three steps: (1) an initial computation of MEMs with respect to the whole reference \(R\) and a given read, (2) a locally confined reseeding, and (3) the elimination of overlaps between MEMs on the same read.
For 1, we compute MEMs of a specific minimum size using Minimizers [41] and a mergeextend scheme [35]. In this context, we apply an occurrence filtering that eliminates hash table entries of Minimizers with too many matches on the reference genome or the sequenced genome. (This is required for handling the repetitiveness of the involved genomes. Please note that the sequenced genome is not directly available. Instead, we use all reads, which incorporate the sequenced genome.) In contrast to the commonly used occurrence filtering on the reference, the occurrence filtering on the sequenced genome is a novel addition. It is achieved in two steps: First, the number of occurrences is counted for all Minimizers on all reads. Next, we compute the reference positions for all minimizers with fewer occurrences than a given threshold, where this threshold is modulated by the average coverage of all reads.
For 2, matches smaller than the minimal size of Minimizers as well as matches for repetitive sections purged by the occurrence filtering are missing in the set of MEMs computed in 1. Many of these missing MEMs can be discovered via a locally confined reseeding that works as follows: First, we sort each read’s MEMs according to their start positions on the read. Afterward, we visit both endpoints of each MEM and search in a rectangular area that starts on the endpoint and extends away from the MEM on read and reference (see Fig. 4C). If a MEM’s successor or predecessor (on the read) extends into this rectangular area, we shrink the area so that it lies between the endpoints of both MEMs. The size of this area determines the minimal size of MEMs to be discovered by the reseeding using the following formula:
Let \(\lambda\) denote the minimal size of MEMs. \(w\) and \(h\) are the width and height of the rectangular area for reseeding, respectively. \(\lambda\) is chosen so that the probability of a random match of size \(\lambda\) in an area of size \(w*h\) is lower than 1%. For each rectangular area, we reseed by computing a singleuse Minimizer index and by utilizing the mergeextend scheme proposed in [35] for turning the Minimizers into MEMs. The above procedure is repeatedly applied until it does not deliver new MEMs.
For 3, both of the above steps can deliver MEMs that overlap on a read. (These MEMs must originate from the same read.) However, as shown in the results section, such overlapping MEMs lead to erroneous matrix entries. We solve this problem by applying a seed shortening, where we distinguish between two kinds of situations as follows: A) A MEM \({m}_{1}\) is fully enclosed by another MEM \({m}_{2}\) on the read. In this case \({m}_{1}\) is deleted and \({m}_{2}\) is kept unaltered. B) The endpoint of \({m}_{1}\) is above the start point of \({m}_{2}\), but \({m}_{1}\) is not fully enclosed by \({m}_{2}\). So, we determine the central point \({p}_{cut}\) of the overlap between both seeds and shorten both seeds with respect to \({p}_{cut}\). (The endpoint of \({m}_{1}\) is moved to \({p}_{cut}1\); the startpoint of \({m}_{2}\) is moved to \({p}_{cut}\).) The described overlap elimination is applied on SoCs as well. Additional file 12 visualizes both forms of overlap elimination and extends the explanation.
Fuzzy inference of edges from MEMs
Our fuzziness concept exploits the spatial locality of neighboring vertices on the reference genome. (Neighboring vertices (and so adjacency matrix entries) correspond to neighboring nucleotides on the reference.) In the following, we represent a MEM as a triple \((q,r,l)\), where \(q\) is the MEM’s start on the read (query), \(r\) is the MEM’s start on the reference and \(l\) is the length of the MEM. Let \({m}_{1}=({q}_{1},{r}_{1},{l}_{1})\) and \({m}_{2}=({q}_{2},{r}_{2},{l}_{2})\) be two MEMs that occur consecutively on some read. These two MEMs create a matrix entry \(e=\left({v}_{x},{v}_{y}\right)\) with \({x=r}_{1}+{l}_{1}\) and \(y={r}_{2}\). Here, the vertex \({v}_{i}\) corresponds to the \(i\) th nucleotide of the reference genome. Furthermore, we assume the existence of a corresponding true entry, denoted by \(T(e)\), which emerges from errorfree reads. The entry \(e\) can deviate from \(T(e)\) due to sequencing errors that shorten or extend MEMs erroneously. Here a shortened MEM causes a deviance leftwards (\({m}_{1}\) shortened) or upwards (\({m}_{2}\) shortened) and an enlarged MEM causes deviance rightwards (\({m}_{1}\) extended) or downwards (\({m}_{2}\) extended). An erroneous extension of \(n\) nucleotides requires a wrongful match between reference and read of \(n\) nucleotides, which is caused by \(n\) consecutive sequencer errors. On the contrary, a shorting by \(n\) nucleotides can be caused by a single sequencer error that breaks a MEM into two pieces, where the small piece (required for the entry) gets lost due to size constraints or occurrence filtering. This implies that an erroneous shortening is more probable than an erroneous enlargement. For dealing with such deviations of entries, we define a rectangular area around each entry \(e=({v}_{x},{v}_{y})\) that is expected to include \(T(e)\) as follows: For denoting a rectangular matrix area \(A\), we use a quadruple \((a,b,w,h)\), where \(a,b\) are the coordinates of the topleft point of \(A\) and \(a+w,bh\) are the coordinates of the bottomright point of \(A\). We define a rectangular area \(A\left(e\right)=(x\sigma ,y\sigma ,f+\sigma ,f+\sigma )\), where \(f\) and \(\sigma\) deal with the erroneous shortening or enlargement of MEMs, respectively. \(A(e)\) is called the entry area of \(e\) and we choose \(f=\mathrm{min}(\leftxy\right,10)\) as well as \(\sigma =3\) by default. Additional file 13 visualizes the concept of entry areas. All entry areas \(A\left(e\right)\) inherit a strand annotation from their respective entry \(e\). The folding of the adjacency matrix automatically mirrors entry areas and adapts their strand annotations as required. Accordingly, in the folded matrix, an entry area can extend into four different directions with respect to its origin. For coping with the high density of entries immediately above the diagonal of the adjacency matrix, the fuzziness parameter \(f\) is downregulated in this region (see Additional file 14). For an adjacency matrix \(M\), entry areas in \(M\) correspond to bipartite subgraphs of \(M\)’s graph.
Computing clusters by merging overlapping entryareas
Let \(M\) be a matrix and \(E\) be the maximal set, where we have \(T\left(e\right)=T({e}{\prime})\) for all pairs \(e,{e}{\prime}\in E\). This entry, which is equal for all elements in \(E\), is called the true entry of \(E\) and denotes it by \(T(E)\). If the parameters \(f\) and \(\sigma\) are chosen properly, the entry area \(A(e)\) overlaps \(T(E)\) for all entries \(e\in E\). This implies that all these entry areas mutually overlap. Hence, we can compute the set \(E\) (without knowledge about the true entry \(T(E)\) itself) by joining overlapping entry areas of \(M\) into clusters. Such clustering can be performed efficiently by a single linesweep as described in Additional file 14. Additional file 13: Fig. S15 B) shows an example for the clustering of several entry areas that belong to the same true entry. As described above, the matrix folding maps areas originating from the reverse strand into the corresponding areas of the forward strand. The clustering is performed after the folding so that entryareas from forward and reverse strand reads are unified. The weights (inserted sequences) of matrix entries in \(E\) can be different. In this case, multiple sequence alignments can be used for obtaining a unified weight. So far, we skip such multiple sequence alignments and leave the weight empty instead.
Approximating true entry locations
We now use all entries in \(E\) for computing an approximation of \(E\)’s true entry \(T(E)\). For this purpose, we compute two sets \(X\) and \(Y\) as follows:\(X=\left\{i \right ({v}_{i},\_)\in E\}\),\(Y=\{ j (\_,{v}_{j})\in E \}\). Depending on the two strandannotations of \(E\) (these must be equal for all \(e\in E\)), the approximation of \(T\left(E\right)=\left({u}_{x},{u}_{y}\right)\) is defined as follows:

\(FF\): \(x\) is the \({95}^{\mathrm{th}}\) percentile of \(X\) and \(y\) is the \({5}^{\mathrm{th}}\) percentile of \(Y\)

\(FR\): \(x\) is the \({95}^{\mathrm{th}}\) percentile of \(X\) and \(y\) is the \({95}^{\mathrm{th}}\) percentile of \(Y\)

\(RF\): \(x\) is the \({5}^{\mathrm{th}}\) percentile of \(X\) and \(y\) is the \({5}^{\mathrm{th}}\) percentile of \(Y\)

\(RR\): \(x\) is the \({5}^{\mathrm{th}}\) percentile of \(X\) and \(y\) is the \({95}^{\mathrm{th}}\) percentile of \(Y\)
Here, the first annotation determines whether \(x\) is the \({95}^{\mathrm{th}}\) (for \(F\)) or \({5}^{\mathrm{th}}\) (for \(R\)) percentile of \(X\), while the second annotation sets \(y\)’s percentiles reciprocally (\(F:{5}^{\mathrm{th}}\), \({R:95}^{\mathrm{th}}\)) regarding \(Y\). The strand annotationdependent percentile scheme is required due to the abovementioned mirroring of entry areas (in the context of the matrix folding scheme). Due to this mirroring, an entry can expand into an area in four different directions.
Large insertions and the sentinel vertex
Let \(I\) be a large insertion and let \(r\) be a read that covers \(I\) partially at the beginning or end without fully enclosing \(I\). In this case, an edge corresponding to \(I\) cannot be formed from \(r\) because either the edge’s origin vertex or destination vertex is unknown. Accordingly, it is impossible to create a valid adjacency matrix entry for \(I\) using \(r\). For coping with this situation, a sentinel vertex and its mate (one for the forward strand and one for the reverse strand) are added to our graph model. These sentinels take the position of the missing origin or destination vertex in the context of the edge creation. As for all vertices, one row and one column of the folded adjacency matrix correspond to the sentinel vertex and its mate (see Additional file 9).
Practically, edges are connected to the sentinel vertex or its mate if the outer ends of a read exceed a given distance to the outmost ends of its seeds (MEMs). Furthermore, the previously introduced clustering for adjacency matrix entries can be used with the sentinels’ column and row as well. If there are reads that fully enclose \(I\), a merging with entries that only partially enclose \(I\) is possible. If such fully enclosing reads are absent, genome assembly techniques are required for the reconstruction of \(I\) and its matrix entry. Additional file 9 comprises a detailed description of the creation, clustering and merging of edges that connect to the sentinel vertex or its mate.
Computing confidence scores for matrix entries
We compute the confidence score \(Conf(E)\) of an adjacency matrix entry \(E\) at the position \(({u}_{X}, {u}_{Y})\) as \(Conf\left(E\right)=Reads(E)/(Cov\left(X\right)+Cov\left(Y\right))\). Here, \(Reads(E)\) is the number of reads that contribute at least one entryarea to the cluster belonging to \(E\), where entryareas are the fuzzy edges inferred directly from MEMs. We define coverage \(Cov\left(Z\right)\) as the number of reads that have at least one seed overlapping the \(Z\) th nucleotide of the reference. The subterm \(Cov\left(X\right)+Cov\left(Y\right)\) of the above computational scheme represents the sum of coverages from the \(X\) and \(Y\) matrix position of \(E\).
Reconstructing sequenced genomes from graphs
Highly accurate SV calling should allow a reconstruction of the sequenced genome on the foundation of the reference genome and the SV calls. In the following, we assume the existence of a sequenced genome \(S\) together with a set \(X\) of simulated long (PacBio) and short (Illumina) reads for \(S\). Using our proposed approach, we compute an adjacency matrix \({M}_{S}\) using \(S\) as one single errorfree read and a matrix \({M}_{X}\) using the set of reads \(X\). The matrices \({M}_{S}\) and \({M}_{X}\) can differ slightly due to the impact of sequencing errors, the size of reads in \(X\), and the repetitiveness of the reference genome. The differences between \({M}_{S}\) and \({M}_{X}\) can manifest in three ways: (1) an entry of \({M}_{S}\) is slightly misplaced in \({M}_{X}\), (2) An entry of \({M}_{S}\) is missing in\({M}_{X}\), and (3) \({M}_{X}\) comprises an additional entry that does not occur in \({M}_{S}\). The matrices \({M}_{S}\) and \({M}_{X}\) define two skewsymmetric genomemapping graphs \({G}_{S}\) and \({G}_{X}\), respectively. Let \({t}_{S}\) be a traversal through \({G}_{S}\) that visits the edges in compliance with \(S\). \({t}_{S}\) defines a set of tuples \({T}_{S}=\{ \left(i,e\right):\) \(e\) is the \(i\) th edge visited during the traversal \({t}_{S} \}\). Here an edge can be part of multiple tuples in \({T}_{S}\). By following the edges in \({T}_{S}\) in ascending order of their \(i\)values, we can reconstruct \(S\) in terms of \({G}_{S}\). In this context, the diagonal entries (which are not part of the matrix in practice for efficiency reasons) are implicitly inserted. According to the computation of \({t}_{S}\) on the foundation of \(S\), it must be possible to compute a traversal \({t}_{X}\) through \({G}_{X}\). For this purpose, the partial traversal information comprised in reads needs to be accumulatively combined using techniques known from genome assemblers. Furthermore, insertions that are not fully covered by any read require readtoread alignments for reconstruction. These two problems are subject to further research. In this work, we instead infer \({T}_{X}\) directly from \({T}_{S}\) as follows: For each pair \(\left(i,e\right)\in {T}_{S}\), we search for the spatially closest neighbor \(e{\prime}\in {M}_{X}\). If the distance to \(e{\prime}\) exceeds a given threshold, we ignore the pair \((i,e)\). Otherwise, we add a tuple \((i,e{\prime})\) to an initially empty \({T}_{X}\). In the context of this addition, we copy the weight (weights are insertions) of \(e\) to \(e\)’ too. Additionally, we define a successor function on the indices in \({T}_{X}\) as\(succ\left(i\right)=\mathrm{min}\left(\left\{j \right j>i {\text{and}} \left(j,e\right)\in {T}_{X}\right\})\). For example, in Additional file 8, we have \(succ\left(1\right)=2\) and \(succ\left(2\right)=4\) for \({T}_{X}\). The reconstruction of an approximated \(S\) via \({T}_{X}\) follows the same algorithmic approach as described for \(S\) and \({T}_{S}\). However, due to the differences between \({M}_{S}\) and \({M}_{X}\), we get an approximated form of \(S\) merely. As shown in Additional file 8, these differences can cause a situation, where two tuples \(\left(i,e\right)\) and \(\left(succ\left(i\right),e{\prime}{\prime}\right)\) in \({T}_{X}\) contradict the graph \({G}_{X}\). (I.e., the origin of the edge \(e{\prime}{\prime}\) cannot be reached from the destination of the edge\(e\).) In this case, we continue the reconstruction at the origin of \(e{\prime}{\prime}\) as soon as we reach the destination of\(e\). For example, in Additional file 8, this contradiction occurs between the edges \(a{\prime}\) and \(b{\prime}\) as well as \(b{\prime}\) and \(d{\prime}\). Therefore, the reconstruction comprises the segments before the destination of \(a{\prime}\) and the segments following the origin of \(d{\prime}\) merely. By choosing the origin of \(d{\prime}\) instead of its destination, we avoid a bypassing of the insertion \(I\).
As mentioned before, our skewsymmetric graph model unifies forward and reverse strand. The reconstruction process can encounter edges connecting vertices of opposite strands that we call crossing edges. Due to such crossing edges, the strand must be tracked during reconstruction. In \({T}_{S}\) this tracking is achieved by inverting a “current strand”variable whenever the reconstruction passes crossing edges. (The current strand must be considered during the abovementioned insertion of implicit edges; see Figs. 6E and 7C.) However, in \({T}_{X}\), the strand tracking can fail due to the disappearance of crossing edges. For tackling this shortcoming, we inspect \({T}_{S}\) whenever we resolve one of the abovementioned contradictions between \({T}_{X}\) and \({G}_{X}\).
Availability of data and materials
An opensource, MITlicensed prototype implementation of our approach can be found at https://github.com/ITBELab/MA [42, 43]. The scripts used for performing all experiments are available at https://github.com/ITBELab/MSVEVAL [44, 45].
The PacBio reads and Yeast genomes used and analyzed in the current study have been created by [23] and are available from the European Nucleotide Archive and Genebank under the accession code PRJEB7245 [46, 47]. The Illumina reads used and analyzed in the current study have been created by [23] and are available from the Short Reads Archive under the accession code PRJNA340312 [48].
References
Sedlazeck FJ, Rescheneder P, Smolka M, Fang H, Nattestad M, von Haeseler A, et al. Accurate detection of complex structural variations using singlemolecule sequencing. Nat Methods. 2018;15(6):461–8.
Layer RM, Chiang C, Quinlan AR, Hall IM. LUMPY: a probabilistic framework for structural variant discovery. Genome Biol. 2014;15(6):R84.
Chen X, SchulzTrieglaff O, Shaw R, Barnes B, Schlesinger F, Källberg M, et al. Manta: rapid detection of structural variants and indels for germline and cancer sequencing applications. Bioinformatics. 2015;32(8):1220–2.
Rausch T, Zichner T, Schlattl A, Stütz AM, Benes V, Korbel JO. DELLY: structural variant discovery by integrated pairedend and splitread analysis. Bioinformatics. 2012;28(18):i333–9.
Chong Z, Ruan J, Gao M, Zhou W, Chen T, Fan X, et al. novoBreak: local assembly for breakpoint detection in cancer genomes. Nat Methods. 2016;14:65.
Nattestad M, Schatz MC. Assemblytics: a web analytics tool for the detection of variants from an assembly. Bioinformatics. 2016;32(19):3021–3.
Fan X, Chaisson M, Nakhleh L, Chen K. HySA: a Hybrid Structural variant Assembly approach using nextgeneration and singlemolecule sequencing technologies. Genome Res. 2017;27(5):793–800.
Abo RP, Ducar M, Garcia EP, Thorner AR, RojasRudilla V, Lin L, et al. BreaKmer: detection of structural variation in targeted massively parallel sequencing data using kmers. Nucleic Acids Res. 2015;43(3):e19–e.
Sohn J, Choi MH, Yi D, Menon AV, Kim YJ, Lee J, et al. Ultrafast prediction of somatic structural variations by filtering out reads matched to pangenome kmer sets. Nat Biomed Eng. 2022;12(13):1–14.
Fang L, Hu J, Wang D, Wang K. NextSV: a metacaller for structural variants from lowcoverage longread sequencing data. BMC Bioinformatics. 2018;19(1):180.
Kuzniar A, Maassen J, Verhoeven S, Santuari L, Shneider C, Kloosterman WP, et al. svcallers: a highly portable parallel workflow for structural variant detection in wholegenome sequence data. PeerJ. 2020;8: e8214.
Cameron DL, Di Stefano L, Papenfuss AT. Comprehensive evaluation and characterisation of short read generalpurpose structural variant calling software. Nat Commun. 2019;10(1):1–11.
Kosugi S, Momozawa Y, Liu X, Terao C, Kubo M, Kamatani Y. Comprehensive evaluation of structural variation detection algorithms for whole genome sequencing. Genome Biol. 2019;20(1):117.
Mahmoud M, Gobet N, CruzDávalos DI, Mounier N, Dessimoz C, Sedlazeck FJ. Structural variant calling: the long and the short of it. Genome Biol. 2019;20(1):246.
Chander V, Gibbs RA, Sedlazeck FJ. Evaluation of computational genotyping of structural variation for clinical diagnoses. GigaScience. 2019;8(9):giac115.
Heller D, Vingron M. SVIM: structural variant identification using mapped long reads. Bioinformatics. 2019;35(17):2907–15.
Pevzner P, Tesler G. Genome rearrangements in mammalian evolution: lessons from human and mouse genomes. Genome Res. 2003;13(1):37–45.
Hickey G, Paten B, Earl D, Zerbino D, Haussler D. HAL: a hierarchical format for storing and analyzing multiple genome alignments. Bioinformatics. 2013;29(10):1341–2.
Needleman SB, Wunsch CD. A general method applicable to the search for similarities in the amino acid sequence of two proteins. J Mol Biol. 1970;48(3):443–53.
Smith TF, Waterman MS. Identification of common molecular subsequences. J Mol Biol. 1981;147(1):195–7.
Li H. Minimap2: pairwise alignment for nucleotide sequences. Bioinformatics. 2018;1:7.
Schmidt M, Heese K, Kutzner A. Accurate high throughput alignment via line sweepbased seed processing. Nat Commun. 2019;10(1):1939.
Yue JX, Li J, Aigrain L, Hallin J, Persson K, Oliver K, et al. Contrasting evolutionary genome dynamics between domesticated and wild yeasts. Nat Genet. 2017;49(6):913–24.
Zook JM, Hansen NF, Olson ND, Chapman L, Mullikin JC, Xiao C, et al. A robust benchmark for detection of germline large deletions and insertions. Nat Biotechnol. 2020;38:1–9.
Collins RL, Brand H, Karczewski KJ, Zhao X, Alföldi J, Francioli LC, et al. A structural variation reference for medical and population genetics. Nature. 2020;581(7809):444–51.
Werling DM, Brand H, An JY, Stone MR, Zhu L, Glessner JT, et al. An analytical framework for wholegenome sequence association studies and its implications for autism spectrum disorder. Nat Genet. 2018;50(5):727–36.
Collins RL, Brand H, Redin CE, Hanscom C, Antolik C, Stone MR, et al. Defining the diverse spectrum of inversions, complex structural variation, and chromothripsis in the morbid human genome. Genome Biol. 2017;18(1):36.
Danecek P, Auton A, Abecasis G, Albers CA, Banks E, DePristo MA, et al. The variant call format and VCFtools. Bioinformatics (Oxford, England). 2011;27(15):2156–8.
Nattestad M, Goodwin S, Ng K, Baslan T, Sedlazeck FJ, Rescheneder P, et al. Complex rearrangements and oncogene amplifications revealed by longread DNA and RNA sequencing of a breast cancer cell line. Genome Res. 2018;28(8):1126–35.
Cameron DL, Schröder J, Penington JS, Do H, Molania R, Dobrovic A, et al. GRIDSS: sensitive and specific genomic rearrangement detection using positional de Bruijn graph assembly. Genome Res. 2017;27(12):2050–60.
Gotoh O. Optimal sequence alignment allowing for long gaps. Bull Math Biol. 1990;52(3):359–73.
Rautiainen M, Marschall T. GraphAligner: rapid and versatile sequencetograph alignment. Genome Biol. 2020;21(1):1–28.
Ohlebusch E, Abouelhoda MI. Chaining algorithms and applications in comparative genomics. Handbook Comput Mol Biol. 2006;1:26–33.
Li H. Aligning sequence reads, clone sequences and assembly contigs with BWAMEM. arXiv preprint arXiv:13033997. 2013.
Kutzner A, Kim PS, Schmidt M. A performant bridge between fixedsize and variablesize seeding. BMC Bioinformatics. 2020;21(1):328.
Homer N. Dwgsim: whole genome simulator for nextgeneration sequencing. GitHub repository. 2010.
Jeffares DC, Jolly C, Hoti M, Speed D, Shaw L, Rallis C, et al. Transient structural variations have strong effects on quantitative traits and reproductive isolation in fission yeast. Nat Commun. 2017;8(1):14061.
Zook JM, Catoe D, McDaniel J, Vang L, Spies N, Sidow A, et al. Extensive sequencing of seven human genomes to characterize benchmark reference materials. Scientific Data. 2016;3: 160025.
Li Y, Roberts ND, Wala JA, Shapira O, Schumacher SE, Kumar K, et al. Patterns of somatic structural variation in human cancer genomes. Nature. 2020;578(7793):112–21.
Goldberg AV, Karzanov AV. Path problems in skewsymmetric graphs. Combinatorica. 1996;16(3):353–82.
Roberts M, Hayes W, Hunt BR, Mount SM, Yorke JA. Reducing storage requirements for biological sequence comparison. Bioinformatics. 2004;20(18):3363–9.
Schmidt M, Kutzner A. MA and MSV. Github. (2023). https://github.com/ITBELab/MA
Schmidt M, Kutzner A. ITBELab/MA: MA & MSV. 2023. Zenodo. https://doi.org/10.5281/zenodo.7929978.
Schmidt M, Kutzner A. MSVEVAL. Github. (2023). https://github.com/ITBELab/MSVEVAL
Schmidt M, Kutzner A. 2023. ITBELab/MSVEVAL Zenodo. https://doi.org/10.5281/zenodo.5744530.
Yue JX, Li J, Aigrain L, Hallin J, Persson K, Oliver K, et al. PacBio_sequencing_of_yeast_strains. Genbank. (2014). https://www.ncbi.nlm.nih.gov/bioproject/PRJEB7245
Yue JX, Li J, Aigrain L, Hallin J, Persson K, Oliver K, et al. PacBio_sequencing_of_yeast_strains. European Nucleotide Archive. (2014). http://www.ebi.ac.uk/ena/data/view/PRJEB7245
Yue JX, Li J, Aigrain L, Hallin J, Persson K, Oliver K, et al. llumina sequencing for 12 representative strains from S. cerevisiae and S. paradoxus. Short Reads Archive. (2014). https://www.ncbi.nlm.nih.gov/bioproject/PRJNA340312
Acknowledgements
Not applicable.
Peer review information
Andrew Cosgrove was the primary editor of this article and managed its editorial process and peer review in collaboration with the rest of the editorial team.
Review history
The review history is available as Additional file 15.
Funding
This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2016R1D1A1B03932599).
National Research Foundation of Korea,2016R1D1A1B03932599,Arne Kutzner
Author information
Authors and Affiliations
Contributions
The project was conceived and carried out by both authors. The manuscript was written by both authors.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Additional file 1.
Breakends versus Breakpoints.
Additional file 2.
Diagrammatic dotplots and genome section pictograms. Contains Fig. S1.
Additional file 3.
Unfolded matrices and full graphs for Fig. 1 of themain text. Contains Fig. S2 and S3.
Additional file 4.
Experimental setup for the generation of nested genomic rearrangements. Contains Fig. S4.
Additional file 5.
Description of the SV caller prototype and benchmarking environment.
Additional file 6.
SVs that are hidden to aligners – Extended analysis. Contains Fig. S5, S6, and S7.
Additional file 7.
Computation of ground truth entries and evaluation of 100nt long Illumina as well as Oxford Nanopore reads. Contains Fig. S8 and S9.
Additional file 8.
Reconstructing sequenced genomes from graphs. Contains Fig. S10.
Additional file 9.
The sentinel vertex. Contains Fig. S11 and Table S1.
Additional file 10.
Ambiguities inherent to basic SV. Contains Fig. S12.
Additional file 11.
Detailed matrix folding of Fig. 7 in the methodssection. Contains Fig. S13.
Additional file 12.
Detailed description of overlapelimination. Contains Fig. S14.
Additional file 13.
Fuzzy inference of edges from MEMs. Contains Fig. S15.
Additional file 14.
Linesweep based clustering of entryareas. Contains Fig. S16 and S17.
Additional file 15.
Review history.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated in a credit line to the data.
About this article
Cite this article
Schmidt, M., Kutzner, A. MSV: a modular structural variant caller that reveals nested and complex rearrangements by unifying breakends inferred directly from reads. Genome Biol 24, 170 (2023). https://doi.org/10.1186/s13059023030095
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13059023030095
Keywords
 Nested SV
 Complex SV
 Alignment
 MEMs
 Seeds
 Pangenomes
 Ambiguity