Luttinger's theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Faizhaider
m clean up using AWB
 
Line 1: Line 1:
In [[statistics]] and [[information geometry]], '''divergence''' or a '''contrast function''' is a function which establishes the “distance” of one [[probability distribution]] to the other on a statistical [[manifold]]. The divergence is a weaker notion than that of the [[distance]] in mathematics, in particular the divergence need not be symmetric (that is, in general the divergence from ''p'' to ''q'' is not equal to the divergence from ''q'' to ''p''), and need not satisfy the [[triangle inequality]].
Break the difficulties of conformity as well as go all from a biking journey. Each hole is made up differently and your driver is not always the best way to start a hole. High end mountain bikes use carbon fibre frames, or other, more exotic materials to reduce weight and keep stiffness up. The remarkable thing though was an electric bike could cover 25 miles on one charge with a bet of pedal power or up to 15 miles on battery power lone. That kept me looking forward to the book launch and beyond. <br><br>The prices offered by these online stores are very competitive and realistic according to the market. One way to increase exercise fun is to find a friend to run with you. If you don't do a lot of racing on mountain trails then you need a road bike. Just to give you an idea, mine has three settings, those being; *Completely off, so that I am riding it as a normal bike; *Power assist, where the power kicks in after a couple of revolutions of the pedals and then remains on as long as the pedals are turning, (there is a high and low setting in this mode). UST kits can also improve sturdiness of UST wheels with added sealing capacity in case of any punctures. <br><br>They have great suspension that fits the need of both amateur and professional bikers. That's a level of quality you just don't get from many brands these days. In case you have just about any issues about where by and also tips on how to utilize [http://www.lvlywallpapers.com/profile/nadxma Womens mountain bike sizing.], you possibly can call us at our own page. Buy a bike that has a top quality body made outside of steel, aluminum, carbon fiber or titanium. In no time you'll be cruising through the woods and getting into great shape. We have built a number of thousand semi custom wheels for all kinds of bikes, and will probably be happy to do the exact same for you. <br><br>Read product reviews and cycling magazines, research online, and ask for advice at your local bike shop. Or get the type motor that senses when you are pedaling harder and switches on automatically. Bike Comfort  If you are at a height or have a leg length that is somewhere in the middle of 2 bike frame sizes, trying several of them to see what feels more comfortable is the best option. " I want us to be able to chase one another around the room, have pillow fights, and wrestle. The best way to narrow down your options is to determine the components that are most important to you, such as the forks, rear derailleur and wheels. <br><br>Looked like one or two other people beat me to the punch. The circumstances will dictate which method to use. There are good bikes available at reasonable prices, and there are some overpriced stinkers. Hence, XC suspension forks tend to have a short travel and are light weight. They will provide you with a honest price, yet be ready to pay in between $650 and $4,000 on dual suspensions and in between $470 and $670 for hardtails.
 
== Definition ==
Suppose ''S'' is a space of all [[probability distribution]]s with common support. Then a '''divergence''' on ''S'' is a function {{nowrap|''D''(·&thinsp;{{!}}{{!}}&thinsp;·): ''S×S'' → '''R'''}} satisfying <ref>{{harvtxt|Eguchi|1985}}</ref>
# ''D''(''p''&thinsp;||&thinsp;''q'') ≥ 0 for all ''p'', ''q'' ∈ ''S'',
# ''D''(''p''&thinsp;||&thinsp;''q'') = 0 if and only if ''p'' = ''q'',
# The matrix ''g''<sup>(''D'')</sup> (see definition in the “geometrical properties” section) is strictly [[Positive-definite matrix|positive-definite]] everywhere on ''S''.<ref>{{harvtxt|Amari|Nagaoka|2000|loc=chapter 3.2}}</ref>
 
The '''dual divergence''' ''D*'' is defined as
: <math>
    D^*(p \parallel q) = D(q \parallel p).
  </math>
 
== Geometrical properties ==
Many properties of divergences can be derived if we restrict ''S'' to be a statistical [[manifold]], meaning that it can be  parametrized with a finite-dimensional coordinate system ''θ'', so that for a distribution {{nowrap|''p'' ∈ ''S''}} we can write {{nowrap|1=''p'' = ''p''(''θ'')}}.
 
For a pair of points {{nowrap|''p'', ''q'' ∈ ''S''}} with coordinates ''θ''<sub>''p''</sub> and ''θ''<sub>''q''</sub>, denote the partial derivatives of ''D''(''p''&thinsp;||&thinsp;''q'') as
: <math>\begin{align}
    D((\partial_i)_p \parallel q) \ \ &\stackrel\mathrm{def}=\ \ \tfrac{\partial}{\partial\theta^i_p} D(p \parallel q), \\
    D((\partial_i\partial_j)_p \parallel (\partial_k)_q) \ \ &\stackrel\mathrm{def}=\ \ \tfrac{\partial}{\partial\theta^i_p} \tfrac{\partial}{\partial\theta^j_p}\tfrac{\partial}{\partial\theta^k_q}D(p \parallel q), \ \ \mathrm{etc.}
  \end{align}</math>
Now we restrict these functions to a diagonal {{nowrap|1=''p'' = ''q''}}, and denote <ref>{{harvtxt|Eguchi|1992}}</ref>
: <math>\begin{align}
    D[\partial_i\parallel\cdot]\ &:\ p \mapsto D((\partial_i)_p \parallel p), \\
    D[\partial_i\parallel\partial_j]\ &:\ p \mapsto D((\partial_i)_p \parallel (\partial_j)_p),\ \ \mathrm{etc.}
  \end{align}</math>
 
By definition, the function ''D''(''p''&thinsp;||&thinsp;''q'') is minimized at {{nowrap|1=''p'' = ''q''}}, and therefore
: <math>\begin{align}
    & D[\partial_i\parallel\cdot] = D[\cdot\parallel\partial_i] = 0, \\
    & D[\partial_i\partial_j\parallel\cdot] = D[\cdot\parallel\partial_i\partial_j] = -D[\partial_i\parallel\partial_j] \ \equiv\ g_{ij}^{(D)},
  \end{align}</math>
where matrix ''g''<sup>(''D'')</sup> is [[positive semi-definite]] and defines a unique [[Riemannian metric]] on the manifold ''S''.
 
Divergence ''D''(·&thinsp;||&thinsp;·) also defines a unique [[torsion of connection|torsion]]-free [[affine connection]] ∇<sup>(''D'')</sup> with coefficients
: <math>
    \Gamma_{ij,k}^{(D)} = -D[\partial_i\partial_j\parallel\partial_k],
  </math>
and the [[dual affine connection|dual]] to this connection ∇* is generated by the dual divergence ''D''*.
 
Thus, a divergence ''D''(·&thinsp;||&thinsp;·) generates on a statistical manifold a unique dualistic structure (''g''<sup>(''D'')</sup>, ∇<sup>(''D'')</sup>, ∇<sup>(''D''*)</sup>). The converse is also true: every torsion-free dualistic structure on a statistical manifold is induced from some globally defined divergence function (which however need not be unique).<ref>{{harvtxt|Matumoto|1993}}</ref>
 
For example, when ''D'' is an [[f-divergence]] for some function ƒ(·), then it generates the [[Riemannian metric|metric]] {{nowrap|1=''g''<sup>(''D''<sub>''f''</sub>)</sup> = ''c·g''}} and the connection {{nowrap|1=∇<sup>(''D''<sub>''f''</sub>)</sup> = ∇<sup>(''α'')</sup>}}, where ''g'' is the canonical [[Fisher information metric]], ∇<sup>(''α'')</sup> is the [[α-connection]], {{nowrap|1=''c'' = ƒ′′(1)}}, and {{nowrap|1=''α'' = 3 + 2ƒ′′′(1)/ƒ′′(1)}}.
 
==Examples ==
The largest and most frequently used class of divergences form the so-called ''[[f-divergence]]s'', however other types of divergence functions are also encountered in the literature.
 
=== f-divergences ===
{{Main|f-divergence}}
This family of divergences are generated through functions ''f''(''u''), convex on {{nowrap|''u'' > 0}} and such that {{nowrap|1=''f''(1) = 0}}. Then an ''f''-divergence is defined as
: <math>
    D_f(p\parallel q) = \int p(x)f\bigg(\frac{q(x)}{p(x)}\bigg) dx
  </math>
 
{| class="wikitable"
| [[Kullback-Leibler divergence]]:
| <math>
    D_\mathrm{KL}(p \parallel q) = \int p(x)\ln\left( \frac{p(x)}{q(x)}\right) dx
  </math>
|-
| squared [[Hellinger distance]]:
| <math>
    H^2(p,\, q) = 2 \int \Big( \sqrt{p(x)} - \sqrt{q(x)}\, \Big)^2 dx
  </math>
|-
| Jeffrey’s divergence:
| <math>
    D_J(p \parallel q) = \int (p(x) - q(x))\big( \ln p(x) - \ln q(x) \big) dx
  </math>
|-
| Chernoff’s [[α-divergence]]:
| <math>
    D^{(\alpha)}(p \parallel q) = \frac{4}{1-\alpha^2}\bigg(1 - \int p(x)^\frac{1-\alpha}{2} q(x)^\frac{1+\alpha}{2} dx \bigg)
  </math>
|-
| exponential divergence:
| <math>
    D_e(p \parallel q) = \int p(x)\big( \ln p(x) - \ln q(x) \big)^2 dx
  </math>
|-
| Kagan’s divergence:
| <math>
    D_{\chi^2}(p \parallel q) = \frac12 \int \frac{(p(x) - q(x))^2}{p(x)} dx
  </math>
|-
| (''α'',''β'')-product divergence:
| <math>
    D_{\alpha,\beta}(p \parallel q) = \frac{2}{(1-\alpha)(1-\beta)} \int
        \Big(1 - \Big(\tfrac{q(x)}{p(x)}\Big)^{\!\!\frac{1-\alpha}{2}} \Big)
        \Big(1 - \Big(\tfrac{q(x)}{p(x)}\Big)^{\!\!\frac{1-\beta}{2}} \Big)
        p(x) dx
  </math>
|}
 
</ul>
 
=== M-divergences ===
{{Empty section|date=January 2011}}
 
=== S-divergences ===
{{Empty section|date=January 2011}}
 
== See also ==
* [[Statistical distance]]
 
== References ==
{{reflist}}
{{refbegin}}
* {{cite book
  | last1 = Amari  | first1 = Shun-ichi | authorlink = Shun'ichi Amari
  | last2 = Nagaoka | first2 = Hiroshi
  | title = Methods of information geometry
  | year = 2000
  | publisher = Oxford University Press
  | isbn = 0-8218-0531-2
  | ref = CITEREFAmariNagaoka2000
  }}
* {{cite journal
  | last = Eguchi | first = Shinto
  | title = A differential geometric approach to statistical inference on the basis of contrast functionals
  | year = 1985
  | journal = Hiroshima mathematical journal
  | volume = 15
  | issue = 2
  | pages = 341–391
  | url = http://projecteuclid.org/euclid.hmj/1206130775
  | ref = CITEREFEguchi1985
  }}
* {{cite journal
  | last = Eguchi | first = Shinto
  | title = Geometry of minimum contrast
  | year = 1992
  | journal = Hiroshima mathematical journal
  | volume = 22
  | issue = 3
  | pages = 631–647
  | url = http://projecteuclid.org/euclid.hmj/1206128508
  | ref = CITEREFEguchi1992
  }}
* {{cite journal
  | last = Matumoto | first = Takao
  | title = Any statistical manifold has a contrast function — on the C³-functions taking the minimum at the diagonal of the product manifold
  | year = 1993
  | journal = Hiroshima mathematical journal
  | volume = 23
  | issue = 2
  | pages = 327–332
  | url = http://projecteuclid.org/euclid.hmj/1206128255
  | ref = CITEREFMatumoto1993
  }}
{{refend}}
 
{{DEFAULTSORT:Divergence (Statistics)}}
[[Category:Statistical distance measures]]
[[Category:F-divergences]]

Latest revision as of 15:34, 11 September 2014

Break the difficulties of conformity as well as go all from a biking journey. Each hole is made up differently and your driver is not always the best way to start a hole. High end mountain bikes use carbon fibre frames, or other, more exotic materials to reduce weight and keep stiffness up. The remarkable thing though was an electric bike could cover 25 miles on one charge with a bet of pedal power or up to 15 miles on battery power lone. That kept me looking forward to the book launch and beyond.

The prices offered by these online stores are very competitive and realistic according to the market. One way to increase exercise fun is to find a friend to run with you. If you don't do a lot of racing on mountain trails then you need a road bike. Just to give you an idea, mine has three settings, those being; *Completely off, so that I am riding it as a normal bike; *Power assist, where the power kicks in after a couple of revolutions of the pedals and then remains on as long as the pedals are turning, (there is a high and low setting in this mode). UST kits can also improve sturdiness of UST wheels with added sealing capacity in case of any punctures.

They have great suspension that fits the need of both amateur and professional bikers. That's a level of quality you just don't get from many brands these days. In case you have just about any issues about where by and also tips on how to utilize Womens mountain bike sizing., you possibly can call us at our own page. Buy a bike that has a top quality body made outside of steel, aluminum, carbon fiber or titanium. In no time you'll be cruising through the woods and getting into great shape. We have built a number of thousand semi custom wheels for all kinds of bikes, and will probably be happy to do the exact same for you.

Read product reviews and cycling magazines, research online, and ask for advice at your local bike shop. Or get the type motor that senses when you are pedaling harder and switches on automatically. Bike Comfort If you are at a height or have a leg length that is somewhere in the middle of 2 bike frame sizes, trying several of them to see what feels more comfortable is the best option. " I want us to be able to chase one another around the room, have pillow fights, and wrestle. The best way to narrow down your options is to determine the components that are most important to you, such as the forks, rear derailleur and wheels.

Looked like one or two other people beat me to the punch. The circumstances will dictate which method to use. There are good bikes available at reasonable prices, and there are some overpriced stinkers. Hence, XC suspension forks tend to have a short travel and are light weight. They will provide you with a honest price, yet be ready to pay in between $650 and $4,000 on dual suspensions and in between $470 and $670 for hardtails.