Timeline for Probability vector $p$ majorizes its normalized entropy vector $\small \frac{-p\log p}{H(p)}$
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20 at 16:48 | vote | accept | Amir | ||
| Aug 20 at 16:48 | comment | added | Amir | I will consider your first suggestion. Thanks again for your elegant and skillful answer. | |
| Aug 20 at 16:20 | comment | added | Terry Tao | The numerics look convincing, but I will not have time available to perform a line-by-line checking. If you really want to reach the standard of a rigorous proof, I would recommend either writing up the argument to the standards of a publication-ready research paper, or else formalizing the argument in a proof assistant such as Lean. | |
| Aug 20 at 15:23 | comment | added | Amir | Could you please check the analysis presented for Claim 1 in my answer? | |
| Aug 16 at 14:47 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 72 characters in body
|
| Aug 16 at 14:41 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 1993 characters in body
|
| Aug 16 at 7:22 | comment | added | Amir | Thank you Terry for such a nice answer! I hope a rigorous proof for Claim 1 can be presented. | |
| Aug 16 at 6:39 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 82 characters in body
|
| Aug 16 at 6:30 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 510 characters in body
|
| Aug 16 at 5:20 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 215 characters in body
|
| Aug 16 at 4:55 | history | edited | Terry Tao | CC BY-SA 4.0 |
fixed sign errors
|
| Aug 16 at 4:50 | history | edited | Terry Tao | CC BY-SA 4.0 |
fixed sign errors
|
| Aug 16 at 1:00 | history | edited | LSpice | CC BY-SA 4.0 |
Typo, picture, `\tag`+`\label`+`\eqref`
|
| Aug 15 at 22:58 | history | edited | Terry Tao | CC BY-SA 4.0 |
added 1 character in body
|
| Aug 15 at 22:48 | history | answered | Terry Tao | CC BY-SA 4.0 |