Picard–Lefschetz theory: Difference between revisions
en>Charles Matthews m →Picard–Lefschetz formula: typo |
en>Rjwilmsi m →References: Journal cites, using AWB (9901) |
||
Line 1: | Line 1: | ||
{{Merge to|Exponential formula|discuss=talk:Labelled enuemration theorem|date=July 2010}} | |||
In [[combinatorics|combinatorial]] mathematics, the '''labelled enumeration theorem''' is the counterpart of the [[Pólya enumeration theorem]] for the labelled case, where we have a set of labelled objects given by an [[exponential generating function]] (EGF) ''g''(''z'') which are being distributed into ''n'' slots and a permutation group ''G'' which permutes the slots, thus creating equivalence classes of configurations. There is a special re-labelling operation that re-labels the objects in the slots, assigning labels from 1 to ''k'', where ''k'' is the total number of nodes, i.e. the sum of the number of nodes of the individual objects. The EGF <math>f_n(z)</math> of the number of different configurations under this re-labelling process is given by | |||
:<math>f_n(z) = \frac{g(z)^n}{|G|}.</math> | |||
In particular, if ''G'' is the [[symmetric group]] of order ''n'' (hence, |''G''| = ''n''!), the functions ''f''_''n''(''z'') can be further combined into a single [[generating function]]: | |||
:<math>F(z,t) = \sum_{n=0}^\infty f_n(z) t^n = \sum_{n=0}^\infty \frac{g(z)^n}{n!} t^n = e^{g(z)t}</math> | |||
which is exponential w.r.t. the variable ''z'' and ordinary w.r.t. the variable ''t''. | |||
== The re-labelling process == | |||
[[Image:RelabelCycles.png|400px|right|thumb|A set of cycles being re-labelled to form a permutation. (There are three slots and <math>G=S_3</math>.)]] | |||
We assume that an object <math>\omega</math> of size <math>|\omega|</math> represented by <math>z^{|\omega|}/|\omega|!</math> contains <math>|\omega|=m\,</math> labelled internal nodes, with the labels going from 1 to ''m''. The action of ''G'' on the slots is greatly simplified compared to the unlabelled case, because the labels distinguish the objects in the slots, and the orbits under ''G'' all have the same size <math>|G|</math>. (The EGF ''g''(''z'') may not include objects of size zero. This is because they are not distinguished by labels and therefore the presence of two or more of such objects creates orbits whose size is less than <math>|G|</math>.) As mentioned, the nodes of the objects are re-labelled when they are distributed into the slots. Say an object of size <math>r_1</math> goes into the first slot, an object of size <math>r_2</math> into the second slot, and so on, and the total size of the configuration is ''k'', so that | |||
:<math>r_1 + r_2 + \cdots + r_n = k. \, </math> | |||
The re-labelling process works as follows: choose one of | |||
:<math>{k \choose r_1, r_2, \ldots r_n}</math> | |||
partitions of the set of ''k'' labels into subsets of size <math>r_1, r_2, \ldots r_n.</math> | |||
Now re-label the internal nodes of each object using the labels from the respective subset, preserving the order of the labels. E.g. if the first object contains four nodes labelled from 1 to 4 and the set of labels chosen for this object is {2, 5, 6, 10}, then node 1 receives the label 2, node 2, the label 5, node 3, the label 6 and node 4, the label 10. In this way the labels on the objects induce a unique labelling using the labels from the subset of <math>[k]</math> chosen for the object. | |||
== Proof of the theorem == | |||
It follows from the re-labelling construction that there are | |||
:<math> | |||
\frac{1}{|G|} | |||
\sum_{r_1 + r_2 + \ldots + r_n = k} | |||
{k \choose r_1, r_2, \ldots r_n} \; | |||
r_1! [z^{r_1}] g(z) \; | |||
r_2! [z^{r_2}] g(z) \; | |||
\cdots \; | |||
r_n! [z^{r_n}] g(z) | |||
</math> | |||
or | |||
:<math> | |||
\frac{k!}{|G|} | |||
\sum_{r_1 + r_2 + \ldots + r_n = k} | |||
[z^{r_1}] g(z) | |||
[z^{r_2}] g(z) | |||
\cdots | |||
[z^{r_n}] g(z) | |||
\; = \; \frac{k!}{|G|} [z^k] g(z)^n | |||
</math> | |||
different configurations of total size ''k''. The formula evaluates to an integer because <math>[z^k] g(z)^n</math> is zero for ''k'' < ''n'' (remember that ''g'' does not include objects of size zero) and when <math>k \ge n </math> we have <math>n!|k!</math> and the order <math>|G|</math> of ''G'' divides the order of <math>S_n</math>, which is <math>n!</math>, by Lagrange's theorem. The conclusion is that the EGF of the labelled configurations is given by | |||
:<math> f_n(z) = \sum_{k \ge 0} \left( \frac{k!}{|G|} [z^k] g(z)^n \right) \frac{z^k}{k!} = | |||
\frac{1}{|G|} \sum_{k \ge 0} z^k [z^k] g(z)^n = \frac{g(z)^n}{|G|}.</math> | |||
This formula could also be obtained by enumerating sequences, i.e. the case when the slots are not being permuted, and by using the above argument without the <math>1/|G|</math>-factor to show that their generating function under re-labelling is given by <math>g(z)^n</math>. Finally note that every sequence belongs to an orbit of size <math>|G|</math>, hence the generating function of the orbits is given by <math>g(z)^n/|G|.</math> | |||
==References== | |||
* François Bergeron, Gilbert Labelle, Pierre Leroux, ''Théorie des espèces et combinatoire des structures arborescentes'', LaCIM, Montréal (1994). English version: ''Combinatorial Species and Tree-like Structures'', Cambridge University Press (1998). | |||
[[Category:Enumerative combinatorics]] | |||
[[Category:Mathematical theorems]] | |||
[[Category:Articles containing proofs]] |
Revision as of 08:34, 2 February 2014
Hostgator is a large independently possessed hosting business operating from several state of the art centers in Dallas, Texas. Hostgator was founded in 2002, because then they have actually expanded rapidly and currently host over 400,000 websites.
Hostgator offers numerous different hosting packages, and deal with a broad array of customers. From the first time webmaster who needs simple, stress cost-free hosting for their personal website; all the way with to big corporations, who require specialist devoted hosting services.
Hostgator's hosting packages can be split into 3 teams; basic shared hosting plans (suitable for the huge bulk people), reseller hosting strategies (these are generally for people and companies that want to "resell" their account resources to consumers of their own), and lastly committed server strategies (these accounts give client their own server, so they don't have to share its resources with anyone else). Really few of us will every need a devoted server so this testimonial will focus on the shared hosting strategies that Hostgator offer.
Attributes
Hostgator's 3 major shared hosting plans are named: "Hatchling" (the entry level plan priced at $6.95 / month), "Child" (this is the most popular plan, and it is likely to satisfy the requirements of a really wide range of customers), and "Swamp" (similar as the "Baby" plan, however with increases in bandwidth and disk space, priced at $14.95 / month).
For a complete list of features and a side by side contrast of all hosting strategies you should see Hostgator's website below. Below is a testimonial of the most vital features of the "Baby" strategy, this is most likely the most ideal plan for the majority of users, and it is our favorite plan.
Disk space 100GB - This amount has actually been just recently upgraded by Hostgator from 5GB to a huge 100GB. All users are most likely to discover it impossible to tire this quantity of disk space.
Bandwidth 1000GB/month - Also enhanced is the bandwidth allotment, from 75GB to a relatively extreme 1000GB. Once again virtually absolutely no opportunity of making use of all that, but it's good to understand that you absolutely won't be dealing with additional costs for reviewing your limitation, even if you have an extremely hectic internet site(s).
Website Studio website home builder - This is an excellent free program that permits you to build your site from scratch. You have over 500 design templates and color schemes to select from. You require no HTML experience, or code writing understanding. It provides the most basic possible method of making an expert looking site in a really short area of time. Nonetheless, there is no have to take my word for it, as Hostgator offers us with a trial version of the software application on their internet site!
Unrestricted add-on domains - This truly is the stand out function of this hosting plan (the "Hatchling" strategy just permits 1 domain), and allows you to host as lots of internet sites as you like on a single account, at no additional expense. This permits you to make full use of your massive bandwidth and disk space allowances, and host numerous internet sites at a portion of the regular cost.
99.9 % Uptime guarantee - This generally tells us that Hostgator is a significant host offering a trusted service. If uptime drops below this figure in any provided month then you do not spend for that months hosting, it's as basic as that! We would never ever think about making use of a host that did not provide a strong uptime assurance; this is simply because there is only one great reason why a host will not offer an uptime assurance - undependable uptime!
30 Day money back guarantee - This has become a pretty conventional function in the webhosting community, though it's good to have for added assurance.
Immediate setup - Many hosting providers take 24-48 hours to setup your account however Hostgator guarantees to have you up and running in under 15 minutes (they do not charge a setup charge either)!
Endless MySQL databases - This is really helpful because each Fantastico (see below) script requires its own MySQL database.
Fantastico DeLuxe - This remarkable program permits you to instantly install over 50 scripts through your control board. Scripts include blog sites, forums, galleries, buying carts, and more.
If you cherished this article and also you would like to receive more info pertaining to Hostgator Coupons generously visit our own web site. Unrestricted e-mail accounts - Permits you to have as many, or as few, different email addresses as you like.
It contains numerous features and offers good performance. Best of all, there is a complete working demo on the Hostgator website, so you can test it out yourself!
Customer service and technical support
Hostgator offers us 24/7 phone support, and live online chat. The fact that you are provided 2 options to receive instantaneous technical support at any time of the day is excellent. Our experience has actually always been really good when speaking to Hostgator, their operatives are extremely respectful and most significantly they appear to understand their things when dealing with technical issues.
Performance
The efficiency from Hostgator's servers is outstanding! Hostgator location much tighter limitations on the variety of websites sharing the exact same server compared with most various other shared hosting carriers. This offers higher dependability since less stress is put on the servers; and it also greatly enhances the rate at which your web pages run.
Server efficiency is an additional one of the essential areas where Hostgator distinguish themselves from the crowd of various other host.
Our decision
Overall there is so much to such as about the method Hostgator does company, they actually do appear to have a great grasp on what the typical customer requires from a web hosting provider. Rarely do you come across reports of unhappy Hostgator customers, and after hosting with them ourselves we now understand why! At simply $9.95 / month for the "Baby" strategy (which includes limitless domains); anyone looking to host more than one internet site has a rather easy decision to make.
In combinatorial mathematics, the labelled enumeration theorem is the counterpart of the Pólya enumeration theorem for the labelled case, where we have a set of labelled objects given by an exponential generating function (EGF) g(z) which are being distributed into n slots and a permutation group G which permutes the slots, thus creating equivalence classes of configurations. There is a special re-labelling operation that re-labels the objects in the slots, assigning labels from 1 to k, where k is the total number of nodes, i.e. the sum of the number of nodes of the individual objects. The EGF of the number of different configurations under this re-labelling process is given by
In particular, if G is the symmetric group of order n (hence, |G| = n!), the functions f_n(z) can be further combined into a single generating function:
which is exponential w.r.t. the variable z and ordinary w.r.t. the variable t.
The re-labelling process
We assume that an object of size represented by contains labelled internal nodes, with the labels going from 1 to m. The action of G on the slots is greatly simplified compared to the unlabelled case, because the labels distinguish the objects in the slots, and the orbits under G all have the same size . (The EGF g(z) may not include objects of size zero. This is because they are not distinguished by labels and therefore the presence of two or more of such objects creates orbits whose size is less than .) As mentioned, the nodes of the objects are re-labelled when they are distributed into the slots. Say an object of size goes into the first slot, an object of size into the second slot, and so on, and the total size of the configuration is k, so that
The re-labelling process works as follows: choose one of
partitions of the set of k labels into subsets of size Now re-label the internal nodes of each object using the labels from the respective subset, preserving the order of the labels. E.g. if the first object contains four nodes labelled from 1 to 4 and the set of labels chosen for this object is {2, 5, 6, 10}, then node 1 receives the label 2, node 2, the label 5, node 3, the label 6 and node 4, the label 10. In this way the labels on the objects induce a unique labelling using the labels from the subset of chosen for the object.
Proof of the theorem
It follows from the re-labelling construction that there are
or
different configurations of total size k. The formula evaluates to an integer because is zero for k < n (remember that g does not include objects of size zero) and when we have and the order of G divides the order of , which is , by Lagrange's theorem. The conclusion is that the EGF of the labelled configurations is given by
This formula could also be obtained by enumerating sequences, i.e. the case when the slots are not being permuted, and by using the above argument without the -factor to show that their generating function under re-labelling is given by . Finally note that every sequence belongs to an orbit of size , hence the generating function of the orbits is given by
References
- François Bergeron, Gilbert Labelle, Pierre Leroux, Théorie des espèces et combinatoire des structures arborescentes, LaCIM, Montréal (1994). English version: Combinatorial Species and Tree-like Structures, Cambridge University Press (1998).