Papyrus 62: Difference between revisions
en>SchreiberBike Repairing links to disambiguation pages - You can help! - Diaeresis |
en>Leszek Jańczuk |
||
Line 1: | Line 1: | ||
In [[graph theory]], a branch of mathematics, a '''Lévy family of graphs'''<!--, named after [[????? Lévy]],--> is a family of [[graph (mathematics)|graphs]] ''G''<sub>''n''</sub>, ''n'' = 1, 2, 3, ..., which possess a certain type of "compactness" or "tangledness". Many naturally occurring families of graphs are Lévy families. Many mathematicians have noted this fact and have expressed surprise that it does not appear to have a ready explanation. | |||
Formally, a family of graphs ''G<sub>n''</sub>, ''n'' = 1, 2, 3, ..., is a Lévy family if, for any <math>\varepsilon>0</math> | |||
:<math> \lim_{n\longrightarrow\infty}\alpha\left(G_n,\varepsilon\right) =0</math> | |||
where | |||
: <math>\alpha(G,\varepsilon) = \max \left\{ 1-\frac{\left|A_{(\varepsilon D)}\right|}{|G|}\,:\, A\subseteq G, |A|>|G|/2 \right\}. </math> | |||
Here ''D'' is the [[graph diameter]] of ''G'', and ''A''<sub>(''n'')</sub> is the ''n''-[[graph neighborhood]] of ''A''. Note that the maximization ranges over subsets ''A'' of ''G'', subject to ''A'' being over half the size of ''G'' | |||
In words, this means that one can take a subset of size at least half of ''G'', and blow it up by only <math>\epsilon</math> of the graph diameter, and end up with nearly all the set. | |||
Long "stringy" (i.e. not "compact") families of graphs such as the [[cyclic graph]] of order ''n'' clearly don't have such a property: one could consider a subset comprising the ''n/2'' neighborhood of a point (midnight to six o'clock, say). The graph has graph diameter ''D'' of about ''n/2''. So the <math>\epsilon D</math>-neighborhood of the subset is only of size about ''n/2''. A Levy family would have this neighborhood covering almost all the set. It should be clear that a Levy family must have a very special type of compact structure. | |||
* [[Hypercube graph]]s of order ''n'' are known to be a Lévy family. | |||
* If ''S''<sub>''n''</sub> is the graph with points that are elements of the [[permutation group]] of ''n'' elements, with edges joining points that differ by a [[Transposition (mathematics)|transposition]], then the series ''S''<sub>''i''</sub>, ''i=1,2,...'', is a Lévy family. | |||
==References== | |||
* [[Béla Bollobás|Bollobás]] (editor). ''Probabilistic combinatorics and its applications.'' [[American Mathematical Society]], 1991 (p63) | |||
{{DEFAULTSORT:Levy Family Of Graphs}} | |||
[[Category:Graph families]] |
Revision as of 17:53, 26 February 2013
In graph theory, a branch of mathematics, a Lévy family of graphs is a family of graphs Gn, n = 1, 2, 3, ..., which possess a certain type of "compactness" or "tangledness". Many naturally occurring families of graphs are Lévy families. Many mathematicians have noted this fact and have expressed surprise that it does not appear to have a ready explanation.
Formally, a family of graphs Gn, n = 1, 2, 3, ..., is a Lévy family if, for any
where
Here D is the graph diameter of G, and A(n) is the n-graph neighborhood of A. Note that the maximization ranges over subsets A of G, subject to A being over half the size of G
In words, this means that one can take a subset of size at least half of G, and blow it up by only of the graph diameter, and end up with nearly all the set.
Long "stringy" (i.e. not "compact") families of graphs such as the cyclic graph of order n clearly don't have such a property: one could consider a subset comprising the n/2 neighborhood of a point (midnight to six o'clock, say). The graph has graph diameter D of about n/2. So the -neighborhood of the subset is only of size about n/2. A Levy family would have this neighborhood covering almost all the set. It should be clear that a Levy family must have a very special type of compact structure.
- Hypercube graphs of order n are known to be a Lévy family.
- If Sn is the graph with points that are elements of the permutation group of n elements, with edges joining points that differ by a transposition, then the series Si, i=1,2,..., is a Lévy family.
References
- Bollobás (editor). Probabilistic combinatorics and its applications. American Mathematical Society, 1991 (p63)