User contributions for Nathanielvirgo

12 October 2024

• 19:5819:58, 12 October 2024 diff hist −15‎ POVM →Definition: small correction to my previous edit current
• 11:1011:10, 12 October 2024 diff hist +956‎ Talk:POVM →Probability (density): Reply Tag: Reply
• 11:0511:05, 12 October 2024 diff hist −7‎ m Talk:POVM →Probability (density): remove the weird "UTC" banner that I accidentally added
• 11:0311:03, 12 October 2024 diff hist 0‎ POVM →Definition: after my previous edit it makes sense to reorder the paragraphs, so that the first few are talking about the general measure theoretic definition and the rest are only about the discrete case.
• 11:0111:01, 12 October 2024 diff hist +114‎ POVM →Definition: there is some confusion on the talk page - I think the issue might be that the article kind of mixes up the general measure theoretic case with the discrete case, and also tries to mix in an informal "naive" approach based on density functions. It's a bit of a mess and this edit at least tries to separate out the measure theoretic definition from the description of the discrete case.
• 10:4110:41, 12 October 2024 diff hist +365‎ Talk:POVM →Probability (density): I takes I was wrong so exited my comment with an explanation Tags: Mobile edit Mobile web edit
• 10:3510:35, 12 October 2024 diff hist −108‎ Talk:POVM →Probability (density): I guess my claim about Radon-Nikodym is not strictly true. It's complicated. Tags: Mobile edit Mobile web edit
• 10:2910:29, 12 October 2024 diff hist +1,330‎ Talk:POVM →Probability (density): Reply Tags: Mobile edit Mobile web edit Reply
• 10:1410:14, 12 October 2024 diff hist +567‎ Talk:POVM →Probability (density): Reply Tags: Mobile edit Mobile web edit Reply
• 10:1110:11, 12 October 2024 diff hist +162‎ Talk:POVM →Probability (density): Reply Tags: Mobile edit Mobile web edit Reply

11 October 2024

• 18:2718:27, 11 October 2024 diff hist 0‎ Talk:POVM →Probability (density): Typo Tags: Mobile edit Mobile web edit
• 18:2618:26, 11 October 2024 diff hist +244‎ Talk:POVM →Probability (density): Reply Tags: Mobile edit Mobile web edit Reply
• 18:1718:17, 11 October 2024 diff hist +28‎ Talk:POVM →Probability (density): Minor addition to my comment Tags: Mobile edit Mobile web edit
• 18:1618:16, 11 October 2024 diff hist +4‎ Talk:POVM →Probability (density): Typos in my comment Tags: Mobile edit Mobile web edit
• 18:1518:15, 11 October 2024 diff hist +478‎ Talk:POVM →Probability (density): Reply Tags: Mobile edit Mobile web edit Reply
• 08:4508:45, 11 October 2024 diff hist +3‎ POVM Edit some formulas to talk about the probability of an event instead of an outcome, done the latter only makes sense in the discrete case Tags: Reverted Visual edit Mobile edit Mobile web edit
• 08:3608:36, 11 October 2024 diff hist −324‎ POVM It's not a probability density, it's really a probability, some this is a measure Tags: Reverted Visual edit Mobile edit Mobile web edit

26 June 2024

• 09:5409:54, 26 June 2024 diff hist −94‎ Ordered vector space →Positive cones and their equivalence to orderings: pointed already means it contains 0, so there's no need to keep saying "with vertex 0" all the time as well. current
• 09:5209:52, 26 June 2024 diff hist +72‎ Ordered vector space →Positive cones and their equivalence to orderings: minor clarification (kind of obvious but took me a while to figure out what it meant)

24 June 2024

• 05:4305:43, 24 June 2024 diff hist +311‎ Talk:Atom (measure theory) →no link for "mu-equivalence class": new section Tag: New topic

30 January 2024

• 04:0004:00, 30 January 2024 diff hist +390‎ Talk:Heavy-tailed distribution →Tilde sign not defined: new section Tag: New topic

7 December 2023

• 04:2904:29, 7 December 2023 diff hist +6‎ De Finetti's theorem →Statement of the theorem: it's important for de Finetti's theorem that we consider all probability measures over [0,1] and not (for example) finitely supported distributions or distributions that can be represented by probability density functions. The word "distribution" suggests one or other of these things, so I changed it to "measure", which is the technically correct term.

17 October 2023

• 04:3004:30, 17 October 2023 diff hist +134‎ Talk:Fixed-point combinator →Confusing/contradictory claims about lambda calculus semantics: edits to my comment
• 04:2804:28, 17 October 2023 diff hist +2,841‎ Talk:Fixed-point combinator →Confusing/contradictory claims about lambda calculus semantics: new section Tag: New topic

18 August 2023

• 02:3202:32, 18 August 2023 diff hist +840‎ Talk:Bony–Brezis theorem →More details needed about "exterior normal vector": new section Tag: New topic

24 June 2023

• 08:1308:13, 24 June 2023 diff hist +1,821‎ Talk:Outer measure →Confusing claim about area: new section Tag: New topic

21 May 2023

• 04:4104:41, 21 May 2023 diff hist +78‎ Hardy–Weinberg principle →Derivation: mention a crucial assumption, without which none of the rest makes any sense
• 04:4004:40, 21 May 2023 diff hist +704‎ Talk:Hardy–Weinberg principle →Assumptions listed after they are used: new section Tag: New topic
• 04:3004:30, 21 May 2023 diff hist +248‎ Talk:Hardy–Weinberg principle →Nonsensical footnote: more details to my comment
• 04:1404:14, 21 May 2023 diff hist +236‎ m Talk:Hardy–Weinberg principle →Nonsensical footnote
• 04:1204:12, 21 May 2023 diff hist +299‎ Talk:Hardy–Weinberg principle →Nonsensical footnote
• 04:0804:08, 21 May 2023 diff hist +2‎ m Talk:Hardy–Weinberg principle →Nonsensical footnote
• 04:0704:07, 21 May 2023 diff hist +1,058‎ Talk:Hardy–Weinberg principle →Nonsensical footnote: new section Tag: New topic

27 February 2023

• 01:4401:44, 27 February 2023 diff hist +232‎ Talk:Kelly criterion →Which formula is the "Kelly criterion"?: make my point a bit clearer
• 01:3701:37, 27 February 2023 diff hist +659‎ Talk:Kelly criterion →Which formula is the "Kelly criterion"?: new section Tag: New topic

21 January 2023

• 11:2411:24, 21 January 2023 diff hist +65‎ Cumulative distribution function →Properties: add link to Riemann–Stieltjes integral, since the notation is probably a bit mysterious without it

13 January 2023

• 01:3501:35, 13 January 2023 diff hist +1,663‎ Talk:Kullback–Leibler divergence →Weird sentence in definition section: new section Tag: New topic

11 April 2022

• 07:4707:47, 11 April 2022 diff hist +2‎ m Free energy principle No edit summary
• 07:4707:47, 11 April 2022 diff hist +20‎ Free energy principle to say it is formal is really not correct - the theory is clearly a work in progress and the precise statement, if there even is one, seems to change from one paper to the next.

24 March 2022

• 02:4802:48, 24 March 2022 diff hist +320‎ Talk:Rate–distortion theory →D not defined: Reply Tag: Reply
• 02:4302:43, 24 March 2022 diff hist +272‎ Talk:Rate–distortion theory →D not defined: new section

15 November 2021

• 03:5603:56, 15 November 2021 diff hist +1,086‎ Talk:Subobject →Clarity could be improved: new section

27 October 2020

• 07:1007:10, 27 October 2020 diff hist +22‎ m Talk:Open and closed maps →Unclear definition of relatively open: fix markup
• 07:0907:09, 27 October 2020 diff hist +622‎ Talk:Open and closed maps →Unclear definition of relatively open: new section

14 August 2020

• 05:2805:28, 14 August 2020 diff hist +406‎ Talk:Monoidal functor →Strong monoidal functors?
• 05:2605:26, 14 August 2020 diff hist +55‎ Monoidal functor →Definition: change it to "lax monoidal functor" so that the terminology agrees with what's stated in the lede. (See discussion page.)
• 05:2305:23, 14 August 2020 diff hist +121‎ m Talk:Monoidal functor →Strong monoidal functors?
• 05:2205:22, 14 August 2020 diff hist +315‎ Talk:Monoidal functor →Strong monoidal functors?

29 July 2020

• 01:0501:05, 29 July 2020 diff hist +4‎ Join and meet When I visit this page it's because I can't remember which one is called the "meet" and which is the "join", so I edited to make that easier to read from the initial text.

28 July 2020

• 09:3209:32, 28 July 2020 diff hist +71‎ List of algebras added monad algebras to the list (similar to F-algebras, but more specific)