T-theory is a branch of
discrete mathematics
Discrete mathematics is the study of mathematical structures that can be considered "discrete" (in a way analogous to discrete variables, having a bijection with the set of natural numbers) rather than "continuous" (analogously to continuous f ...
dealing with analysis of
tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, e.g., including only woody plants with secondary growth, only ...
s and discrete
metric spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are a general setting for ...
.
General history
T-theory originated from a question raised by
Manfred Eigen
Manfred Eigen (; 9 May 1927 ā 6 February 2019) was a German biophysical chemist who won the 1967 Nobel Prize in Chemistry for work on measuring fast chemical reactions.
Eigen's research helped solve major problems in physical chemistry and ...
in the late 1970s. He was trying to fit twenty distinct
t-RNA molecule
A molecule is a group of two or more atoms that are held together by Force, attractive forces known as chemical bonds; depending on context, the term may or may not include ions that satisfy this criterion. In quantum physics, organic chemi ...
s of the ''
Escherichia coli
''Escherichia coli'' ( )Wells, J. C. (2000) Longman Pronunciation Dictionary. Harlow ngland Pearson Education Ltd. is a gram-negative, facultative anaerobic, rod-shaped, coliform bacterium of the genus '' Escherichia'' that is commonly fo ...
'' bacterium into a
tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, e.g., including only woody plants with secondary growth, only ...
.
An important concept of T-theory is the
tight span of a metric space. If ''X'' is a metric space, the tight span ''T''(''X'') of ''X'' is, up to isomorphism, the unique minimal
injective metric space In metric geometry, an injective metric space, or equivalently a hyperconvex metric space, is a metric space with certain properties generalizing those of the real line and of Lā distances in higher- dimensional vector spaces. These properties c ...
that contains ''X''.
John Isbell was the first to discover the tight span in 1964, which he called the injective envelope.
Andreas Dress independently constructed the same construct, which he called the tight span.
Application areas
* Phylogenetic analysis, which is used to create
phylogenetic tree
A phylogenetic tree or phylogeny is a graphical representation which shows the evolutionary history between a set of species or taxa during a specific time.Felsenstein J. (2004). ''Inferring Phylogenies'' Sinauer Associates: Sunderland, MA. In ...
s.
*
Online algorithm
In computer science, an online algorithm is one that can process its input piece-by-piece in a serial fashion, i.e., in the order that the input is fed to the algorithm, without having the entire input available from the start. In contrast, an of ...
s -
''k''-server problem
Recent developments
*
Bernd Sturmfels, Professor of Mathematics and Computer Science at
Berkeley, and Josephine Yu classified six-point metrics using T-theory.
References
*
*
*
*
Metric geometry
Trees (data structures)
{{combin-stub