Exponential family canonical form
$begingroup$
I cannot figure this myself - suppose I have some distribution $f(y; theta)$ from the exponential family. By Wikipedia (https://en.wikipedia.org/wiki/Exponential_family) let us assume this form:
$
f(y; theta) = h(y)expbig[eta(theta)T(y) - A(theta)big]
$
The wiki defines the canonical form as
If $eta(theta) = theta$, then the exponential family is said to be
in canonical form
Then, it adds the part I do not get:
By defining a transformed parameter $eta(theta) = theta$, it is
always possible to convert an exponential family to canonical form
I do not get what they do with parameters $theta$. For example, let us have the Normal with unknown mean $mu$ AND unknown variance $sigma^2$. There is immediately example in wiki, where they define:
$eta = big(frac{mu}{sigma^2}, -frac{1}{2sigma^2}big)$
and then conclude: then our form is canonical. Why is that? They initially define the normal as $f(y; mu, sigma)$! According to the previous definition, it is clear that $eta(theta) neq (mu, sigma^2)$! Why do they call it a canonical form then?
Actually this can be shown almost for all distributions when written in canonical form, their parameter vector $eta$ is clearly not equal to the parameters in the definition.
Could someone clarify please.
probability-distributions normal-distribution
$endgroup$
add a comment |
$begingroup$
I cannot figure this myself - suppose I have some distribution $f(y; theta)$ from the exponential family. By Wikipedia (https://en.wikipedia.org/wiki/Exponential_family) let us assume this form:
$
f(y; theta) = h(y)expbig[eta(theta)T(y) - A(theta)big]
$
The wiki defines the canonical form as
If $eta(theta) = theta$, then the exponential family is said to be
in canonical form
Then, it adds the part I do not get:
By defining a transformed parameter $eta(theta) = theta$, it is
always possible to convert an exponential family to canonical form
I do not get what they do with parameters $theta$. For example, let us have the Normal with unknown mean $mu$ AND unknown variance $sigma^2$. There is immediately example in wiki, where they define:
$eta = big(frac{mu}{sigma^2}, -frac{1}{2sigma^2}big)$
and then conclude: then our form is canonical. Why is that? They initially define the normal as $f(y; mu, sigma)$! According to the previous definition, it is clear that $eta(theta) neq (mu, sigma^2)$! Why do they call it a canonical form then?
Actually this can be shown almost for all distributions when written in canonical form, their parameter vector $eta$ is clearly not equal to the parameters in the definition.
Could someone clarify please.
probability-distributions normal-distribution
$endgroup$
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56
add a comment |
$begingroup$
I cannot figure this myself - suppose I have some distribution $f(y; theta)$ from the exponential family. By Wikipedia (https://en.wikipedia.org/wiki/Exponential_family) let us assume this form:
$
f(y; theta) = h(y)expbig[eta(theta)T(y) - A(theta)big]
$
The wiki defines the canonical form as
If $eta(theta) = theta$, then the exponential family is said to be
in canonical form
Then, it adds the part I do not get:
By defining a transformed parameter $eta(theta) = theta$, it is
always possible to convert an exponential family to canonical form
I do not get what they do with parameters $theta$. For example, let us have the Normal with unknown mean $mu$ AND unknown variance $sigma^2$. There is immediately example in wiki, where they define:
$eta = big(frac{mu}{sigma^2}, -frac{1}{2sigma^2}big)$
and then conclude: then our form is canonical. Why is that? They initially define the normal as $f(y; mu, sigma)$! According to the previous definition, it is clear that $eta(theta) neq (mu, sigma^2)$! Why do they call it a canonical form then?
Actually this can be shown almost for all distributions when written in canonical form, their parameter vector $eta$ is clearly not equal to the parameters in the definition.
Could someone clarify please.
probability-distributions normal-distribution
$endgroup$
I cannot figure this myself - suppose I have some distribution $f(y; theta)$ from the exponential family. By Wikipedia (https://en.wikipedia.org/wiki/Exponential_family) let us assume this form:
$
f(y; theta) = h(y)expbig[eta(theta)T(y) - A(theta)big]
$
The wiki defines the canonical form as
If $eta(theta) = theta$, then the exponential family is said to be
in canonical form
Then, it adds the part I do not get:
By defining a transformed parameter $eta(theta) = theta$, it is
always possible to convert an exponential family to canonical form
I do not get what they do with parameters $theta$. For example, let us have the Normal with unknown mean $mu$ AND unknown variance $sigma^2$. There is immediately example in wiki, where they define:
$eta = big(frac{mu}{sigma^2}, -frac{1}{2sigma^2}big)$
and then conclude: then our form is canonical. Why is that? They initially define the normal as $f(y; mu, sigma)$! According to the previous definition, it is clear that $eta(theta) neq (mu, sigma^2)$! Why do they call it a canonical form then?
Actually this can be shown almost for all distributions when written in canonical form, their parameter vector $eta$ is clearly not equal to the parameters in the definition.
Could someone clarify please.
probability-distributions normal-distribution
probability-distributions normal-distribution
asked Jan 31 at 18:11
JohnJohn
2531314
2531314
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56
add a comment |
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3095255%2fexponential-family-canonical-form%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3095255%2fexponential-family-canonical-form%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
It's a typo. They define $theta=(cdot,cdot)^{top}$ (look at the next lines where they define $A(eta)$).
$endgroup$
– d.k.o.
Jan 31 at 18:44
$begingroup$
Then does it mean that the real density should be defined as $f(y; frac{mu}{sigma^2}, -frac{1}{2sigma^2})$? They kinda no where mention that parameters can be swapped like that (apart from second quote "By defining a transformed parameter..." - which i did not get - is it what it implies?).
$endgroup$
– John
Jan 31 at 18:56