Showing 1–31 of 31 results for author: Scholz, E

Orthology and Near-Cographs in the Context of Phylogenetic Networks

Authors: Anna Lindeberg, Guillaume E. Scholz, Nicolas Wieseke, Marc Hellmuth

Abstract: Orthologous genes, which arise through speciation, play a key role in comparative genomics and functional inference. In particular, graph-based methods allow for the inference of orthology estimates without prior knowledge of the underlying gene or species trees. This results in orthology graphs, where each vertex represents a gene, and an edge exists between two vertices if the corresponding gene… ▽ More Orthologous genes, which arise through speciation, play a key role in comparative genomics and functional inference. In particular, graph-based methods allow for the inference of orthology estimates without prior knowledge of the underlying gene or species trees. This results in orthology graphs, where each vertex represents a gene, and an edge exists between two vertices if the corresponding genes are estimated to be orthologs. Orthology graphs inferred under a tree-like evolutionary model must be cographs. However, real-world data often deviate from this property, either due to noise in the data, errors in inference methods or, simply, because evolution follows a network-like rather than a tree-like process. The latter, in particular, raises the question of whether and how orthology graphs can be derived from or, equivalently, are explained by phylogenetic networks. Here, we study the constraints imposed on orthology graphs when the underlying evolutionary history follows a phylogenetic network instead of a tree. We show that any orthology graph can be represented by a sufficiently complex level-k network. However, such networks lack biologically meaningful constraints. In contrast, level-1 networks provide a simpler explanation, and we establish characterizations for level-1 explainable orthology graphs, i.e., those derived from level-1 evolutionary histories. To this end, we employ modular decomposition, a classical technique for studying graph structures. Specifically, an arbitrary graph is level-1 explainable if and only if each primitive subgraph is a near-cograph (a graph in which the removal of a single vertex results in a cograph). Additionally, we present a linear-time algorithm to recognize level-1 explainable orthology graphs and to construct a level-1 network that explains them, if such a network exists. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Representing distance-hereditary graphs with multi-rooted trees

Authors: Guillaume E. Scholz

Abstract: Arboreal networks are a generalization of rooted trees, defined by keeping the tree-like structure, but dropping the requirement for a single root. Just as the class of cographs is precisely the class of undirected graphs that can be explained by a labelled rooted tree (T,t), we show that the class of distance-hereditary graphs is precisely the class of undirected graphs that can be explained by a… ▽ More Arboreal networks are a generalization of rooted trees, defined by keeping the tree-like structure, but dropping the requirement for a single root. Just as the class of cographs is precisely the class of undirected graphs that can be explained by a labelled rooted tree (T,t), we show that the class of distance-hereditary graphs is precisely the class of undirected graphs that can be explained by a labelled arboreal network (N,t). △ Less

Submitted 12 February, 2025; originally announced February 2025.

Comments: 25 pages, 9 figures

MSC Class: 05C05; 05C20; 05C62

Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective

Authors: Anna Lindeberg, Guillaume E. Scholz, Marc Hellmuth

Abstract: In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. Böcker and Dress generalized this concept by introducing symbolic dated maps $δ:X \times X \to Υ$, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the u… ▽ More In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. Böcker and Dress generalized this concept by introducing symbolic dated maps $δ:X \times X \to Υ$, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the umbrella of symbolic dated maps, such as 2-dissimilarities, symmetric labeled 2-structures, or edge-colored complete graphs, and are here referred to as strudigrams. Strudigrams have a unique decomposition into non-overlapping modules, which can be represented by a modular decomposition tree (MDT). In the absence of prime modules, strudigrams are equivalent to symbolic ultrametrics, and the MDT fully captures the relationships $δ(x,y)$ between pairs of vertices $x,y$ in $X$ through the label of their least common ancestor in the MDT. However, in the presence of prime vertices, this information is generally hidden. To provide this missing structural information, we aim to locally replace the prime vertices in the MDT to obtain networks that capture full information about the strudigrams. While starting with the general framework of prime-vertex replacement networks, we then focus on a specific type of such networks obtained by replacing prime vertices with so-called galls, resulting in labeled galled-trees. We introduce the concept of galled-tree explainable (GATEX) strudigrams, provide their characterization, and demonstrate that recognizing these structures and reconstructing the labeled networks that explain them can be achieved in polynomial time. △ Less

Submitted 26 June, 2024; originally announced June 2024.

The Complement of the Djokovic-Winkler Relation

Authors: Marc Hellmuth, Bruno J. Schmidt, Guillaume E. Scholz, Sandhya Thekkumpadan Puthiyaveedu

Abstract: The Djoković-Winkler relation $Θ$ is a binary relation defined on the edge set of a given graph that is based on the distances of certain vertices and which plays a prominent role in graph theory. In this paper, we explore the relatively uncharted ``reflexive complement'' $\overlineΘ$ of $Θ$, where $(e,f)\in \overlineΘ$ if and only if $e=f$ or $(e,f)\notin Θ$ for edges $e$ and $f$. We establish th… ▽ More The Djoković-Winkler relation $Θ$ is a binary relation defined on the edge set of a given graph that is based on the distances of certain vertices and which plays a prominent role in graph theory. In this paper, we explore the relatively uncharted ``reflexive complement'' $\overlineΘ$ of $Θ$, where $(e,f)\in \overlineΘ$ if and only if $e=f$ or $(e,f)\notin Θ$ for edges $e$ and $f$. We establish the relationship between $\overlineΘ$ and the set $Δ_{ef}$, comprising the distances between the vertices of $e$ and $f$ and shed some light on the intricacies of its transitive closure $\overlineΘ^*$. Notably, we demonstrate that $\overlineΘ^*$ exhibits multiple equivalence classes only within a restricted subclass of complete multipartite graphs. In addition, we characterize non-trivial relations $R$ that coincide with $\overlineΘ$ as those where the graph representation is disconnected, with each connected component being the (join of) Cartesian product of complete graphs. The latter results imply, somewhat surprisingly, that knowledge about the distances between vertices is not required to determine $\overlineΘ^*$. Moreover, $\overlineΘ^*$ has either exactly one or three equivalence classes. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Shared ancestry graphs and symbolic arboreal maps

Authors: Katharina T. Huber, Vincent Moulton, Guillaume E. Scholz

Abstract: A network $N$ on a finite set $X$, $|X|\geq 2$, is a connected directed acyclic graph with leaf set $X$ in which every root in $N$ has outdegree at least 2 and no vertex in $N$ has indegree and outdegree equal to 1; $N$ is arboreal if the underlying unrooted, undirected graph of $N$ is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolu… ▽ More A network $N$ on a finite set $X$, $|X|\geq 2$, is a connected directed acyclic graph with leaf set $X$ in which every root in $N$ has outdegree at least 2 and no vertex in $N$ has indegree and outdegree equal to 1; $N$ is arboreal if the underlying unrooted, undirected graph of $N$ is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolutionary history of a set $X$ of species whose ancestors have exchanged genes in the past. For $M$ some arbitrary set of symbols, $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if there exists some arboreal network $N$ whose vertices with outdegree two or more are labelled by elements in $M$ and so that $d(\{x,y\})$, $\{x,y\} \in {X \choose 2}$, is equal to the label of the least common ancestor of $x$ and $y$ in $N$ if this exists and $\odot$ else. Important examples of symbolic arboreal maps include the symbolic ultrametrics, which arise in areas such as game theory, phylogenetics and cograph theory. In this paper we show that a map $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if and only if $d$ satisfies certain 3- and 4-point conditions and the graph with vertex set $X$ and edge set consisting of those pairs $\{x,y\} \in {X \choose 2}$ with $d(\{x,y\}) \neq \odot$ is Ptolemaic. To do this, we introduce and prove a key theorem concerning the shared ancestry graph for a network $N$ on $X$, where this is the graph with vertex set $X$ and edge set consisting of those $\{x,y\} \in {X \choose 2}$ such that $x$ and $y$ share a common ancestor in $N$. In particular, we show that for any connected graph $G$ with vertex set $X$ and edge clique cover $K$ in which there are no two distinct sets in $K$ with one a subset of the other, there is some network with $|K|$ roots and leaf set $X$ whose shared ancestry graph is $G$. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 19 pages, 5 figures

MSC Class: 05C05; 05C20; 05C90

Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets

Authors: Marc Hellmuth, Guillaume E. Scholz

Abstract: The class of $\mathsf{Ga}$lled-$\mathsf{T}$ree $\mathsf{Ex}$plainable ($\mathsf{GaTEx}$) graphs has recently been discovered as a natural generalization of cographs. Cographs are precisely those graphs that can be uniquely represented by a rooted tree where the leaves correspond to the vertices of the graph. As a generalization, $\mathsf{GaTEx}$ graphs are precisely those that can be uniquely repr… ▽ More The class of $\mathsf{Ga}$lled-$\mathsf{T}$ree $\mathsf{Ex}$plainable ($\mathsf{GaTEx}$) graphs has recently been discovered as a natural generalization of cographs. Cographs are precisely those graphs that can be uniquely represented by a rooted tree where the leaves correspond to the vertices of the graph. As a generalization, $\mathsf{GaTEx}$ graphs are precisely those that can be uniquely represented by a particular rooted acyclic network, called a galled-tree. This paper explores the use of galled-trees to solve combinatorial problems on $\mathsf{GaTEx}$ graphs that are, in general, NP-hard. We demonstrate that finding a maximum clique, an optimal vertex coloring, a perfect order, as well as a maximum independent set in $\mathsf{GaTEx}$ graphs can be efficiently done in linear time. The key idea behind the linear-time algorithms is to utilize the galled-trees that explain the $\mathsf{GaTEx}$ graphs as a guide for computing the respective cliques, colorings, perfect orders, or independent sets. △ Less

Submitted 26 April, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Resolving Prime Modules: The Structure of Pseudo-cographs and Galled-Tree Explainable Graphs

Authors: Marc Hellmuth, Guillaume E. Scholz

Abstract: The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ is a cograph, i.e., $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$,… ▽ More The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ is a cograph, i.e., $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". Pseudo-cographs, or, more general, GaTEx graphs $G$ are graphs that can be explained by labeled galled-trees, i.e., labeled networks $(N,t)$ that are obtained from the modular decomposition tree $(T,t)$ of $G$ by replacing the prime vertices in $T$ by simple labeled cycles. GaTEx graphs can be recognized and labeled galled-trees that explain these graphs can be constructed in linear time. In this contribution, we provide a novel characterization of GaTEx graphs in terms of a set $\mathfrak{F}_{\mathrm{GT}}$ of 25 forbidden induced subgraphs. This characterization, in turn, allows us to show that GaTEx graphs are closely related to many other well-known graph classes such as $P_4$-sparse and $P_4$-reducible graphs, weakly-chordal graphs, perfect graphs with perfect order, comparability and permutation graphs, murky graphs as well as interval graphs, Meyniel graphs or very strongly-perfect and brittle graphs. Moreover, we show that every GaTEx graph as twin-width at most 1 and and provide linear-time algorithms to solve several NP-hard problems (clique, coloring, independent set) on GaTEx graphs by utilizing the structure of the underlying galled-trees they explain. △ Less

Submitted 4 May, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: 18 pages, 3 figures

Injective split systems

Authors: M. Hellmuth, K. T. Huber, V. Moulton, G. E. Scholz, P. F. Stadler

Abstract: A split system $\mathcal S$ on a finite set $X$, $|X|\ge3$, is a set of bipartitions or splits of $X$ which contains all splits of the form $\{x,X-\{x\}\}$, $x \in X$. To any such split system $\mathcal S$ we can associate the Buneman graph $\mathcal B(\mathcal S)$ which is essentially a median graph with leaf-set $X$ that displays the splits in $\mathcal S$. In this paper, we consider properties… ▽ More A split system $\mathcal S$ on a finite set $X$, $|X|\ge3$, is a set of bipartitions or splits of $X$ which contains all splits of the form $\{x,X-\{x\}\}$, $x \in X$. To any such split system $\mathcal S$ we can associate the Buneman graph $\mathcal B(\mathcal S)$ which is essentially a median graph with leaf-set $X$ that displays the splits in $\mathcal S$. In this paper, we consider properties of injective split systems, that is, split systems $\mathcal S$ with the property that $\mathrm{med}_{\mathcal B(\mathcal S)}(Y) \neq \mathrm{med}_{\mathrm B(\mathcal S)}(Y')$ for any 3-subsets $Y,Y'$ in $X$, where $\mathrm {med}_{\mathcal B(\mathcal S)}(Y)$ denotes the median in $\mathcal B(\mathcal S)$ of the three elements in $Y$ considered as leaves in $\mathcal B(\mathcal S)$. In particular, we show that for any set $X$ there always exists an injective split system on $X$, and we also give a characterization for when a split system is injective. We also consider how complex the Buneman graph $\mathcal B(\mathcal S)$ needs to become in order for a split system $\mathcal S$ on $X$ to be injective. We do this by introducing a quantity for $|X|$ which we call the injective dimension for $|X|$, as well as two related quantities, called the injective 2-split and the rooted-injective dimension. We derive some upper and lower bounds for all three of these dimensions and also prove that some of these bounds are tight. An underlying motivation for studying injective split systems is that they can be used to obtain a natural generalization of symbolic tree maps. An important consequence of our results is that any three-way symbolic map on $X$ can be represented using Buneman graphs. △ Less

Submitted 8 November, 2022; originally announced November 2022.

Comments: 22 pages, 3 figures

Mathematical modernity, goal or problem? The opposing views of Felix Hausdorff and Hermann Weyl

Authors: Erhard Scholz

Abstract: This paper contains a case study of the work and self-definition of two important mathematicians during the rise of modern mathematics: Felx Hausdorff (1868--1942) and Hermann Weyl (1885--1955). The two had strongly diverging positions with regard to basic questions of mathematical methodology, which is reflected in the style and content of their mathematical research. Herbert Mehrtens (1990) desc… ▽ More This paper contains a case study of the work and self-definition of two important mathematicians during the rise of modern mathematics: Felx Hausdorff (1868--1942) and Hermann Weyl (1885--1955). The two had strongly diverging positions with regard to basic questions of mathematical methodology, which is reflected in the style and content of their mathematical research. Herbert Mehrtens (1990) describes them as protagonists of what he sees as the two opposing camps of ``modernists'' (Hilbert, Hausdorff et al.) and ``countermodernists'' (Brouwer, Weyl et al.). There is no doubt that Hausdorff may be described as a mathematical ``modernist''', while the qualification of Weyl as ``countermodern'' is rather off the track, once his work is taken into account. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 34 pp

From heliocentrism to epicycles: A commentary on pre-Ptolemaic astronomy

Authors: Erhard Scholz

Abstract: If one wants to translate the heliocentric picture of planets moving uniformly on circular orbits about the sun to the perspective of a terrestrial observer, using classical (ancient) geometric means only, one is naturally led to the investigation of epicyclic constructions. The announcement of the heliocentric hypothesis by Aristarchos of Samos and the invention of the method of epicycles happene… ▽ More If one wants to translate the heliocentric picture of planets moving uniformly on circular orbits about the sun to the perspective of a terrestrial observer, using classical (ancient) geometric means only, one is naturally led to the investigation of epicyclic constructions. The announcement of the heliocentric hypothesis by Aristarchos of Samos and the invention of the method of epicycles happened during the 3rd and 2nd centuries BC. The latter developed into the central tool of Hellenistic and Ptolemaic astronomy. In the present literature on the history of astronomy the parallel rise of the heliocentric view and the methods of epicycles is usually considered as a pure contingency. Here I explain why I do not find this view convincing. △ Less

Submitted 24 August, 2022; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 29 pp, 8 figures. In v2 indexes have been corrected + small changes of the text have been made in the light of some added literature

H. Weyl's and E. Cartan's proposals for infinitesimal geometry in the early 1920s

Authors: Erhard Scholz

Abstract: In the early phase of general relativity Elie Cartan and Hermann Weyl thought about the question of how the role of transformation groups could be transferred from classical geometry (Erlangen program) to differential geometry. They had different starting points and used different techniques, but both generalized the concept of connection arising from Levi-Civita's interpretation of the classical… ▽ More In the early phase of general relativity Elie Cartan and Hermann Weyl thought about the question of how the role of transformation groups could be transferred from classical geometry (Erlangen program) to differential geometry. They had different starting points and used different techniques, but both generalized the concept of connection arising from Levi-Civita's interpretation of the classical Christoffel symbols as parallel transfer in curved spaces. Their focus differed and Cartan headed toward a much more general framwork than Weyl (non-holonomous spaces versus scale gauge geometry). But there also was an overlap of topics (space problem) and, at the turn to the 1930s, they arrived at an agreement on how to deal with Cartan's infinitesimal geometric structures. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Journal ref: Boletim da Sociedade Portuguesa de Matemática, Número especial Mira Fernandes, 2010 pp. 43-66. Reprint in Newsletter EMS 84: 2012, 22-30

Compatible split systems on a multiset

Authors: Vincent Moulton, Guillaume E. Scholz

Abstract: A split system on a multiset $\mathcal M$ is a set of bipartitions of $\mathcal M$. Such a split system $\mathfrak S$ is compatible if it can be represented by a tree in such a way that the vertices of the tree are labelled by the elements in $\mathcal M$, the removal of each edge in the tree yields a bipartition in $\mathfrak S$ by taking the labels of the two resulting components, and every bipa… ▽ More A split system on a multiset $\mathcal M$ is a set of bipartitions of $\mathcal M$. Such a split system $\mathfrak S$ is compatible if it can be represented by a tree in such a way that the vertices of the tree are labelled by the elements in $\mathcal M$, the removal of each edge in the tree yields a bipartition in $\mathfrak S$ by taking the labels of the two resulting components, and every bipartition in $\mathfrak S$ can be obtained from the tree in this way. In this contribution, we present a novel characterization for compatible split systems, and for split systems admitting a unique tree representation. In addition, we show that a conjecture on compatibility stated in 2008 holds for some large classes of split systems. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 16 pages, 4 figures

Forest-based networks

Authors: Katharina T. Huber, Vincent Moulton, Guillaume E. Scholz

Abstract: In evolutionary studies it is common to use phylogenetic trees to represent the evolutionary history of a set of species. However, in case the transfer of genes or other genetic information between the species or their ancestors has occurred in the past, a tree may not provide a complete picture of their history. In such cases,tree-based phylogenetic networks can provide a useful, more refined rep… ▽ More In evolutionary studies it is common to use phylogenetic trees to represent the evolutionary history of a set of species. However, in case the transfer of genes or other genetic information between the species or their ancestors has occurred in the past, a tree may not provide a complete picture of their history. In such cases,tree-based phylogenetic networks can provide a useful, more refined representation of the species evolution. Such a network is essentially a phylogenetic tree with some arcs added between the tree edges so as to represent reticulate events such as gene transfer. Even so, this model does not permit the representation of evolutionary scenarios where reticulate events have taken place between different subfamilies or lineages of species. To represent such scenarios, in this paper we introduce the notion of a forest-based phylogenetic network, that is, a collection of leaf-disjoint phylogenetic trees on a set of species with arcs added between the edges of distinct trees within the collection. Forest-based networks include the recently introduced class of overlaid species forests which are used to model introgression. As we shall see, even though the definition of forest-based networks is closely related to that of tree-based networks, they lead to new mathematical theory which complements that of tree-based networks. As well as studying the relationship of forest-based networks with other classes of phylogenetic networks, such as tree-child networks and universal tree-based networks, we present some characterizations of some special classes of forest-based networks. We expect that our results will be useful for developing new models and algorithms to understand reticulate evolution, such as gene transfer between collections of bacteria that live in different environments. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: 17 pages, 11 figures

From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats

Authors: Marc Hellmuth, Guillaume E. Scholz

Abstract: The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$… ▽ More The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$. We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them. △ Less

Submitted 15 June, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Overlaid species forests

Authors: K. T. Huber, V. Moulton, G. E. Scholz

Abstract: Introgression is an evolutionary process in which genes or other types of genetic material are introduced into a genome. It is an important evolutionary process that can, for example, play a fundamental role in speciation. Recently the concept of an overlaid species forest was introduced to represent introgression histories. Basically this approach takes a putative gene history in the form of a ph… ▽ More Introgression is an evolutionary process in which genes or other types of genetic material are introduced into a genome. It is an important evolutionary process that can, for example, play a fundamental role in speciation. Recently the concept of an overlaid species forest was introduced to represent introgression histories. Basically this approach takes a putative gene history in the form of a phylogenetic gene tree and tries to overlay this onto a forest which usually consists of a collection of lineage trees for the species of interest. The result is a network called an overlaid species forest in which genes jump or introgress between lineages. In this paper we study properties of overlaid species forests, showing that they have various connections with models for lateral gene transfer, maximum parsimony, and unfolding of phylogenetic networks. In particular, we show that a certain algorithm called OSF-B UILDER for constructing overlaid species forests is guaranteed to a produce a special type of overlaid species forest with a minimum number introgressions, as well as providing some characterizations for networks that can arise from overlaid species forests. We expect that these results will be useful in developing new methods for representing introgression histories, a growing area of interest in phylogenetics. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 18 pages, 5 figures

MSC Class: 05C90; 92D15

From Grassmann complements to Hodge-duality

Authors: Erhard Scholz

Abstract: Hodge duality is a central concept of 20th century algebraic and analytic geometry and plays a non-negligible role also in recent mathematical physics. At first sight one might expect that its origins lie in the 1930s when its name-giving protagonist, William V.D. Hodge, started his mathematical research. On the other hand, a close link between Hodge's theory and the Maxwell equation has sometimes… ▽ More Hodge duality is a central concept of 20th century algebraic and analytic geometry and plays a non-negligible role also in recent mathematical physics. At first sight one might expect that its origins lie in the 1930s when its name-giving protagonist, William V.D. Hodge, started his mathematical research. On the other hand, a close link between Hodge's theory and the Maxwell equation has sometimes been claimed not only from a systematic point of view but also historically. In the transformation of classical electromagnetism to the relativistic Maxwell theory the influence of Grassmann's alternating product and an operation he called "complement" played a certain role. In fact, Grassmann's "complements" were a linear algebraic template of the later Hodge star operation. This paper surveys the development from Grassmann's complements and their appearance in relativistic electrodynamics to Hodge's theory of harmonic forms. △ Less

Submitted 21 February, 2021; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 52 pages, v2: section 2.1 slightly extended, typos corrected

Light cone and Weyl compatibility of conformal and projective structures

Authors: Vladimir S. Matveev, Erhard Scholz

Abstract: In the literature different concepts of compatibility between a projective structure and a conformal structure on a differentiable manifold are used. In particular compatibility in the sense of Weyl geometry is slightly more general than compatibility in the Riemannian sense. An often cited paper [Ehlers-Pirani-Schild:1972] introduces still another criterion which is natural from the physical poin… ▽ More In the literature different concepts of compatibility between a projective structure and a conformal structure on a differentiable manifold are used. In particular compatibility in the sense of Weyl geometry is slightly more general than compatibility in the Riemannian sense. An often cited paper [Ehlers-Pirani-Schild:1972] introduces still another criterion which is natural from the physical point of view: every light like geodesics of of the conformal structure is a geodesics of the projective structure. Their claim that this type of compatibility is sufficient for introducing a Weylian metric has recently been questioned in [Trautman:2012] and [Scholz:2019]. Here it is proved that the conjecture of EPS is correct. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: easy reading/comments are welcome

Journal ref: General Relativity and Gravitation volume 52, Article number: 66 (2020)

Gauging the spacetime metric -- looking back and forth a century later

Authors: Erhard Scholz

Abstract: H. Weyl's proposal of 1918 for generalizing Riemannian geometry by local scale gauge (later called {\em Weyl geometry}) was motivated by mathematical, philosophical and physical considerations. It was the starting point of his unified field theory of electromagnetism and gravity. After getting disillusioned with this research program and after the rise of a convincing alternative for the gauge ide… ▽ More H. Weyl's proposal of 1918 for generalizing Riemannian geometry by local scale gauge (later called {\em Weyl geometry}) was motivated by mathematical, philosophical and physical considerations. It was the starting point of his unified field theory of electromagnetism and gravity. After getting disillusioned with this research program and after the rise of a convincing alternative for the gauge idea by translating it to the phase of wave functions and spinor fields in quantum mechanics, Weyl no longer considered the original scale gauge as physically relevant. About the middle of the last century the question of conformal and/or local scale gauge transformation were reconsidered by different authors in high energy physics (Bopp, Wess, et al.) and, independently, in gravitation theory (Jordan, Fierz, Brans, Dicke). In this context Weyl geometry attracted new interest among different groups of physicists (Omote/Utiyama/Kugo, Dirac/Canuto/Maeder, Ehlers/Pirani/Schild and others), often by hypothesizing a new scalar field linked to gravity and/or high energy physics. Although not crowned by immediate success, this ``retake'' of Weyl geometrical methods lives on and has been extended a century after Weyl's first proposal of his basic geometrical structure. It finds new interest in present day studies of elementary particle physics, cosmology, and philosophy of physics. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 56 pages, contribution to Workshop Hundred Years of Gauge Theory Bad Honnef, July 30 - August 3, 2018

E. Cartan's attempt at bridge-building between Einstein and the Cosserats -- or how translational curvature became to be known as {\em torsion}

Authors: Erhard Scholz

Abstract: Élie Cartan's "généralisation de la notion de courbure" (1922) arose from a creative evaluation of the geometrical structures underlying both, Einstein's theory of gravity and the Cosserat brothers generalized theory of elasticity. In both theories groups operating in the infinitesimal played a crucial role. To judge from his publications in 1922--24, Cartan developed his concept of generalized sp… ▽ More Élie Cartan's "généralisation de la notion de courbure" (1922) arose from a creative evaluation of the geometrical structures underlying both, Einstein's theory of gravity and the Cosserat brothers generalized theory of elasticity. In both theories groups operating in the infinitesimal played a crucial role. To judge from his publications in 1922--24, Cartan developed his concept of generalized spaces with the dual context of general relativity and non-standard elasticity in mind. In this context it seemed natural to express the translational curvature of his new spaces by a rotational quantity (via a kind of Grassmann dualization). So Cartan called his translational curvature "torsion" and coupled it to a hypothetical rotational momentum of matter several years before spin was encountered in quantum mechanics. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: 36 pp

Phylogenetic networks that are their own fold-ups

Authors: Katharina T. Huber, Guillaume E. Scholz

Abstract: Phylogenetic networks are becoming of increasing interest to evolutionary biologists due to their ability to capture complex non-treelike evolutionary processes. From a combinatorial point of view, such networks are certain types of rooted directed acyclic graphs whose leaves are labelled by, for example, species. A number of mathematically interesting classes of phylogenetic networks are known. T… ▽ More Phylogenetic networks are becoming of increasing interest to evolutionary biologists due to their ability to capture complex non-treelike evolutionary processes. From a combinatorial point of view, such networks are certain types of rooted directed acyclic graphs whose leaves are labelled by, for example, species. A number of mathematically interesting classes of phylogenetic networks are known. These include the biologically relevant class of stable phylogenetic networks whose members are defined via certain "fold-up" and "un-fold" operations that link them with concepts arising within the theory of, for example, graph fibrations. Despite this exciting link, the structural complexity of stable phylogenetic networks is still relatively poorly understood. Employing the popular tree-based, reticulation-visible, and tree-child properties which allow one to gauge this complexity in one way or another, we provide novel characterizations for when a stable phylogenetic network satisfies either one of these three properties. △ Less

Submitted 18 October, 2019; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: 25 pages, 6 figures

MSC Class: 05C05; 05C20; 05C85; 05D15; 92D15

Three-way symbolic tree-maps and ultrametrics

Authors: Katharina T. Huber, Vincent Moulton, Guillaume E. Scholz

Abstract: Three-way dissimilarities are a generalization of (two-way) dissimilarities which can be used to indicate the lack of homogeneity or resemblance between any three objects. Such maps have applications in cluster analysis, and have been used in areas such as psychology and phylogenetics, where three-way data tables can arise. Special examples of such dissimilarities are three-way tree-metrics and ul… ▽ More Three-way dissimilarities are a generalization of (two-way) dissimilarities which can be used to indicate the lack of homogeneity or resemblance between any three objects. Such maps have applications in cluster analysis, and have been used in areas such as psychology and phylogenetics, where three-way data tables can arise. Special examples of such dissimilarities are three-way tree-metrics and ultrametrics, which arise from leaf-labelled trees with edges labelled by positive real numbers. Here we consider three-way maps which arise from leaf-labelled trees where instead the interior vertices are labelled by an arbitrary set of values. For unrooted trees we call such maps three-way symbolic tree-maps; for rooted trees we call them three-way symbolic ultrametrics since they can be considered as a generalization of the (two-way) symbolic ultrametrics of Böcker and Dress. We show that, as with two- and three-way tree-metrics and ultrametrics, three-way symbolic tree-maps and ultrametrics can be characterized via certain $k$-point conditions. In the unrooted case, our characterization is mathematically equivalent to one presented by Gurvich for a certain class of edge-labelled hypergraphs. We also show that it can be decided whether or not an arbitrary three-way symbolic map is a tree-map or a symbolic ultrametric using a triplet-based approach that relies on the so-called BUILD algorithm for deciding when a set of 3-leaved trees or triplets can be displayed by a single tree. We envisage that our results will be useful in developing new approaches and algorithms for understanding 3-way data, especially within the area of phylogenetics. △ Less

Submitted 18 October, 2017; v1 submitted 25 July, 2017; originally announced July 2017.

The unexpected resurgence of Weyl geometry in late 20-th century physics

Authors: Erhard Scholz

Abstract: Weyl's original scale geometry of 1918 ("purely infinitesimal geometry") was withdrawn by its author from physical theorizing in the early 1920s. It had a comeback in the last third of the 20th century in different contexts: scalar tensor theories of gravity, foundations of gravity, foundations of quantum mechanics, elementary particle physics, and cosmology. It seems that Weyl geometry continues… ▽ More Weyl's original scale geometry of 1918 ("purely infinitesimal geometry") was withdrawn by its author from physical theorizing in the early 1920s. It had a comeback in the last third of the 20th century in different contexts: scalar tensor theories of gravity, foundations of gravity, foundations of quantum mechanics, elementary particle physics, and cosmology. It seems that Weyl geometry continues to offer an open research potential for the foundations of physics even after the turn to the new millennium. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: Completely rewritten conference paper 'Beyond Einstein', Mainz Sep 2008. Preprint ELHC (Epistemology of the LHC) 2017-02, 92 pages, 1 figure

The changing faces of the Problem of Space in the work of Hermann Weyl

Authors: Erhard Scholz

Abstract: During his life Weyl approached the problem of space (PoS) from various sides. Two aspects stand out as permanent features of his different approaches: the {\em unique determination of an affine connection} (i.e., without torsion in the terminology of Cartan) and the question {\em which type of group} characterizes physical space. The first feature came up in 1919 (commentaries to Riemann's inaugu… ▽ More During his life Weyl approached the problem of space (PoS) from various sides. Two aspects stand out as permanent features of his different approaches: the {\em unique determination of an affine connection} (i.e., without torsion in the terminology of Cartan) and the question {\em which type of group} characterizes physical space. The first feature came up in 1919 (commentaries to Riemann's inaugural lecture) and played a crucial role in Weyl's work on the PoS in the early 1920s. He defended the central role of affine connections even in the light of Cartan's more general framework of connections with torsion. In later years, after the rise of the Dirac field, it could have become problematic, but Weyl saw the challenge posed to Einstein gravity by spin coupling primarily in the possibility to allow for non-metric affine connections. Only after Weyl's death Cartan's approach to infinitesimal homogeneity and torsion became revitalized in gravity theories. △ Less

Submitted 13 August, 2016; originally announced August 2016.

Comments: 20 pp

Bridging the gap between rooted and unrooted phylogenetic networks

Authors: Philippe Gambette, Katharina T. Huber, Guillaume E. Scholz

Abstract: The need for structures capable of accommodating complex evolutionary signals such as those found in, for example, wheat has fueled research into phylogenetic networks. Such structures generalize the standard phylogenetic tree model by also allowing cycles and have been introduced in rooted and unrooted form. In contrast to phylogenetic trees, however, surprisingly little is known about the interp… ▽ More The need for structures capable of accommodating complex evolutionary signals such as those found in, for example, wheat has fueled research into phylogenetic networks. Such structures generalize the standard phylogenetic tree model by also allowing cycles and have been introduced in rooted and unrooted form. In contrast to phylogenetic trees, however, surprisingly little is known about the interplay between both types thus hampering our ability to make much needed progress for rooted phylogenetic networks by drawing on insights from their much better understood unrooted counterparts. Unrooted phylogenetic networks are underpinned by split systems and by focusing on them we establish a first link between both types. More precisely, we develop a link between 1-nested phylogenetic networks which are examples of rooted phylogenetic networks and the well-studied median networks (aka Buneman graph) which are examples of unrooted phylogenetic networks. In particular, we show that not only can a 1-nested network be obtained from a median network but also that that network is, in a well-defined sense, optimal. Along the way, we characterize circular split systems in terms of the novel $\mathcal I$-intersection closure of a split system and establish the 1-nested analogue of the fundamental "Splits Equivalence Theorem" for phylogenetic trees. △ Less

Submitted 26 November, 2015; originally announced November 2015.

Comments: 28 pages, 5 figures

MSC Class: 92D15; 92B10

Weyl's search for a difference between `physical' and `mathematical' automorphisms

Authors: Erhard Scholz

Abstract: During his whole scientific life Hermann Weyl was fascinated by the interrelation of physical and mathematical theories. From the mid 1920s onward he reflected also on the typical difference between the two epistemic fields and tried to identify it by comparing their respective automorphism structures. In a talk given at the end of the 1940s (ETH, Hs 91a:31) he gave the most detailed and coherent… ▽ More During his whole scientific life Hermann Weyl was fascinated by the interrelation of physical and mathematical theories. From the mid 1920s onward he reflected also on the typical difference between the two epistemic fields and tried to identify it by comparing their respective automorphism structures. In a talk given at the end of the 1940s (ETH, Hs 91a:31) he gave the most detailed and coherent discussion of his thoughts on this topic. This paper presents his arguments in the talk and puts it in the context of the later development of gauge theories. △ Less

Submitted 11 July, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 30 pp

The problem of space in the light of relativity: the views of H. Weyl and E. Cartan

Authors: Erhard Scholz

Abstract: Starting from a short review of the "classical" space problem in the sense of the 19th century (Helmholtz -- Lie -- Klein) it is discussed how the challenges posed by special and general relativity to the classical analysis were taken up by Hermann Weyl and Elie Cartan. Both mathematicians reconsidered the space problem from the point of view of transformations operating in the infinitesimal neigh… ▽ More Starting from a short review of the "classical" space problem in the sense of the 19th century (Helmholtz -- Lie -- Klein) it is discussed how the challenges posed by special and general relativity to the classical analysis were taken up by Hermann Weyl and Elie Cartan. Both mathematicians reconsidered the space problem from the point of view of transformations operating in the infinitesimal neighbourhoods of a manifold (spacetime). In a short outlook we survey further developments in mathematics and physics of the second half of the 20th century, in which core ideas of Weyl's and/or Cartan's analysis of the space problem were further investigated (mathematics) or incorporated into basic theories (physics). △ Less

Submitted 21 July, 2014; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: 50 pages, to appear in L. Bioesmat-Martagon (Ed.): Eléments d'une biographie de l'espace mathématique. Nancy: Presses Universitaires de Lorraine

Weyl geometry in late 20th century physics

Authors: Erhard Scholz

Abstract: Weyl's original scale geometry of 1918 ("purely infinitesimal geometry") was withdrawn from physical theory in the early 1920s. It had a comeback in the last third of the 20th century in different contexts: scalar tensor theories of gravity, foundations of physics (gravity, quantum mechanics), elementary particle physics, and cosmology. Here we survey the last two segments. It seems that Weyl geom… ▽ More Weyl's original scale geometry of 1918 ("purely infinitesimal geometry") was withdrawn from physical theory in the early 1920s. It had a comeback in the last third of the 20th century in different contexts: scalar tensor theories of gravity, foundations of physics (gravity, quantum mechanics), elementary particle physics, and cosmology. Here we survey the last two segments. It seems that Weyl geometry continues to have an open research potential for the foundations of physics after the turn of the century. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Comments: Draft paper to appear in V. Bach, D. Rowe (eds.) Beyond Einstein. Proceedings Mainz Conference September 2008. Einstein Studies. Basel: Birkhäuser

MSC Class: 01A60

Philosophy as a cultural resource and medium of reflection for Hermann Weyl

Authors: Erhard Scholz

Abstract: Here we review a kind of post-World-War-II "Nachtrag" to H. Weyl's philosophical comments on mathematics and the natural sciences published in the middle of the 1920s. In a talk given at Zürich in the late 1940s, Weyl discussed F.Gonseth's dialectical epistemology and considered it as being restricted too strictly to aspects of historical change. His own experiences with post-Kantian dialectical… ▽ More Here we review a kind of post-World-War-II "Nachtrag" to H. Weyl's philosophical comments on mathematics and the natural sciences published in the middle of the 1920s. In a talk given at Zürich in the late 1940s, Weyl discussed F.Gonseth's dialectical epistemology and considered it as being restricted too strictly to aspects of historical change. His own experiences with post-Kantian dialectical philosophy, in particular J.G. Fichte's derivation of the concept of space and matter, had been a stronger dialectical background for his own 1918 studies in purely infintitesimal geometry and the early geometrically unified field theory of matter (extending the Mie-Hilbert program). Although now Weyl distantiated himself from the speculative features of his youthful philosophizing and in particular from his earlier enthusiasm for Fichte, he again had deep doubts as to the cultural foundations of modern mathematical sciences and its role in material culture of high modernity. For Weyl, philosophical "reflection" was a cultural necessity; he now turned towards K. Jasper's and M. Heidegger's existentialism to find deeper grounds, similar to his turn towards Fichte's philosophy after World War I. △ Less

Submitted 30 September, 2004; originally announced September 2004.

Comments: 19pp, the paper was written for a conference on the philosophy of F. Gonseth and 20th century science, organized by Eric Emery e.a. in October 2000 at Crêt-Bérard. It was accepted for publication in "Révue de Synthèse" but (not due to the main organizer of the conference) it is still open, when it will appear

MSC Class: 01A60

C.F. Gauss' Präzisionsmessungen terrestrischer Dreiecke und seine Überlegungen zur empirischen Fundierung der Geometrie in den 1820er Jahren (C.F. Gauss' high precion measurements of terrestrial triangles and his thoughts on the empirical foundations of geometry in the 1820s)

Authors: Erhard Scholz

Abstract: In the historical literature there has been an extended discussion on the question, whether the report of Sartorius von Waltershausen about C. F. Gauss checking the largest triangle of the geodetical measurement campaign in the kingdom of Hannover as a kind of ``test'' for the Euclididean nature of physical space can be taken seriously or not. Among others, it was argued that it even was logical… ▽ More In the historical literature there has been an extended discussion on the question, whether the report of Sartorius von Waltershausen about C. F. Gauss checking the largest triangle of the geodetical measurement campaign in the kingdom of Hannover as a kind of ``test'' for the Euclididean nature of physical space can be taken seriously or not. Among others, it was argued that it even was logically impossible for Gauss to do so in the early 1820s (i.e. in particular, before J. Bolyai's, N.I. Lobachevsy's, or even B. Riemann's works). This article shows, in which sense Gauss's methodology of curvature of surfaces, although logically developed in all clarity only for surfaces embedded in Euclidean 3-space, could very well be used already in the early 1820 to investigate the above mentioned question in the sense of physical geometry. Although we do not have a definitive proof of the respective calculations by Gauss's own hand, the latter's account of the situation to contemporaries (correspondents, friend and students) changed clearly between the early and the late 1820s. That speaks very much in favour of a basic correctness of Sartorius von Waltershausen's report on this topic. △ Less

Submitted 29 September, 2004; originally announced September 2004.

Comments: Paper [in German] submitted for publication in M. Folkerts, R. Seisink (eds.) {\em Form, Zahl, Ordnung. Studien zur Wissenschafts- und Technikgeschichte. Ivo Schneider zum 65. Geburtstag.} Stuttgart: Franz Steiner Verlag 2004

MSC Class: 01A55; 51-03; 51P05

The changing concept of matter in H. Weyl's thought, 1918 -1930

Authors: Erhard Scholz

Abstract: During the ``long decade'' of transformation of mathematical physics between 1915 and 1930, H. Weyl interacted with physics in two highly productive phases and contributed to it, among others, by his widely read book on {\em Space - Time - Matter (Raum Zeit - Materie)} (1918 -- 1923) and on {\em Group Theory and Quantum Mechanics (Gruppentheorie und Quantenmechanik)} (1928 - 1931). In this time… ▽ More During the ``long decade'' of transformation of mathematical physics between 1915 and 1930, H. Weyl interacted with physics in two highly productive phases and contributed to it, among others, by his widely read book on {\em Space - Time - Matter (Raum Zeit - Materie)} (1918 -- 1923) and on {\em Group Theory and Quantum Mechanics (Gruppentheorie und Quantenmechanik)} (1928 - 1931). In this time Weyl's understanding of the constitution of matter and its mathematical description changed considerably. At the beginning of the period he started from a "dynamistic" and geometrical conception of matter, following and extending the Mie-Hilbert approch, which he gave up during the year 1920. After transitional experiments with a singularity (and in this sense topological) approach in 1921/22, he developed an open perspective of what he called an ``agency theory'' of matter. The idea for it was formulated already before the advent of the ``new'' quantum mechanics in 1925/26. It turned out to be well suited to be taken over to the quantum view as a kind of ``heritage'' from the first half of the decade. At the end of the period, Weyl completely renounced his earlier belief in the possibility to ``construct matter'' from a geometrically unified field theory. He now posed the possibility of a geometrization of the mathematical forms underlying the rising quantum physical description of matter as a completely open problem for future research. △ Less

Submitted 29 September, 2004; originally announced September 2004.

Comments: Talk given at a conference at Copenhagen, 2003. Proceedings prepared by Jesper Luetzen

MSC Class: 01A60; 83-03

Introducing Groups into Quantum Theory (1926 -- 1930)

Authors: Erhard Scholz

Abstract: In the second half of the 1920s, physicists and mathematicians introduced group theoretic methods into the recently invented ``new'' quantum mechanics. Group representations turned out to be a highly useful tool in spectroscopy and in giving quantum mechanical explanations of chemical bonds. H. Weyl explored the possibilities of a group theoretic approach towards quantization. In his second vers… ▽ More In the second half of the 1920s, physicists and mathematicians introduced group theoretic methods into the recently invented ``new'' quantum mechanics. Group representations turned out to be a highly useful tool in spectroscopy and in giving quantum mechanical explanations of chemical bonds. H. Weyl explored the possibilities of a group theoretic approach towards quantization. In his second version of a gauge theory for electromagnetism, he even started to build a bridge between quantum theoretic symmetries and differential geometry. Until the early 1930s, an active group of young quantum physicists and mathematicians contributed to this new challenging field. But around the turn to the 1930s, opposition against the new methods in physics grew. This article focusses on the work of those physicists and mathematicians who introduced group theoretic methods into quantum physics. △ Less

Submitted 24 August, 2005; v1 submitted 29 September, 2004; originally announced September 2004.

Comments: Accepted by Historia Mathematica. The second version is considerably changed in the section on Heisenberg, due to critical comments by an anonymous referee. Other parts of the original manuscript have been improved

MSC Class: 01A60; 81P05; 20A99