Wikipedia talk:WikiProject Mathematics/Archive/2024/May
Emmy Noether FAR final citations and checks
[edit]The Emmy Noether article has been at featured article review for a couple months now. If anyone wants to take a look, most of the issues seem to have been fixed but the contributions to mathematics and physics section would likely benefit from a couple more citations and a quick survey (including of the typsetting) by someone more qualified than I am. Sgubaldo (talk) 15:20, 16 April 2024 (UTC)
- In particular, does anyone feel like tackling the subsection Emmy Noether#Ascending and descending chain conditions? XOR'easter (talk) 17:00, 1 May 2024 (UTC)
Frobenius theorem
[edit]Could someone take a look at my suggestion here? Alaexis¿question? 13:08, 6 May 2024 (UTC)
Log vs ln
[edit]On Talk:Ordered Bell number, an editor is arguing that we should use ln rather than log for the natural logarithm. My position is that for mathematics articles, the standard convention is to use log; ln is for engineers and this is not an engineering article. The same editor also claims that writing is "stupid" and that we should always write it instead. Mathematically-literate opinions welcome. (Note that the article is currently in the middle of a GA review; the editor disputing the notation is not the GA reviewer.) —David Eppstein (talk) 18:30, 1 May 2024 (UTC)
- Maybe we can add this to a style guide somewhere. I think it's worth using ln in articles about engineering and possibly also in high-school-level topics such as those related to trigonometry or introductory calculus. I'd rather use log everywhere else, wherever it isn't ambiguous. –jacobolus (t) 18:35, 1 May 2024 (UTC)
- I prefer , but as long as the article clearly sets out the nomenclature that it's using, it's no big deal.
- WRT "", eschew obfuscation; it's confusing and ugly. I see nothing wrong with -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 21:20, 1 May 2024 (UTC)
- How about Logarithmic integral function? You wouldn't write . IntGrah (talk) 22:22, 1 May 2024 (UTC)
- Whether to write 1/loge2 depends on the context. For starters, what if you're informing students of the basic facts about logarithms, which they just heard of today? Then you might state, as an example, that 1/loge2 = log2e, and then you'd need to write 1/loge2. Michael Hardy (talk) 21:10, 2 May 2024 (UTC)
- Presumably someone reading Ordered Bell number isn't learning about logarithms for the first time. –jacobolus (t) 21:55, 2 May 2024 (UTC)
- "My position is that for mathematics articles, the standard convention is to use log;"
- All you need is a reference to cite this standard convention. Johnjbarton (talk) 22:32, 1 May 2024 (UTC)
- You don't need a reference for this. This is prevailing practice throughout the mathematics literature. (It's not hard to find such references, but throwing them in is off-topic for whatever article, and gratuitous.) However, it could help to briefly note, in contexts where some readers might be confused, that log means the natural logarithm, with a wikilink. –jacobolus (t) 22:35, 1 May 2024 (UTC)
- In the early days of Wikipedia, user:AxelBoldt was the author of a majority of mathematics articles on Wikipedia, and argued that ln is better than log because it is unambiguous.
- I prefer log or loge. Notice that exp does not mean base-10 exponential.
- Undergraduates not majoring in mathematics sometimes say "Do you mean logarithm, or natural logarithm?" (to which the correct answer is usually "yes."). The use of ln has misled them to think that the natural logarithm is not literally a logarithm. (They have also often been taught to call the inverse tangent function the inverse tangent function and have never encountered the word "arctan". If you write "arctan θ" then one of them asks whether "arctangent" is the same as "cotangent.") Michael Hardy (talk) 20:56, 2 May 2024 (UTC)
- If using in some arbitrary article, it can be helpful to add an inline definition, along the lines of "where is the trigonometric inverse tangent function". –jacobolus (t) 21:55, 2 May 2024 (UTC)
- If I came across I'd worry I'd done something wrong! NadVolum (talk) 14:11, 3 May 2024 (UTC)
- If using in some arbitrary article, it can be helpful to add an inline definition, along the lines of "where is the trigonometric inverse tangent function". –jacobolus (t) 21:55, 2 May 2024 (UTC)
I think that makes it clear that anti-logarithm x is a real number rather than making it clear that the base is e. In particular, clarify that the domain of a function of the is real numbers. see principal value. --SilverMatsu (talk) 04:45, 3 May 2024 (UTC)
- I was going to say I didn't mind what was used but I agree, yes you're right. lt does make it clear one is working with real numbers. NadVolum (talk) 14:11, 3 May 2024 (UTC)
- Is there any Wikipedia article on which this technicality is worth bringing to the attention of the readers?
- (FWIW despite being about combinatorics the context for the log in the article initiating this discussion actually does involve complex numbers.) —David Eppstein (talk) 18:04, 3 May 2024 (UTC)
- This is not a universal convention, so I don't think it is a good idea to pretend it is. —Kusma (talk) 19:26, 3 May 2024 (UTC)
- +1 to Kusma. When I see I do not necessarily automatically assume that the domain is the reals. I've seen that convention so it wouldn't especially surprise me to find someone using and distinctively in that way, but I don't think it makes the domain unambiguous without further comment. --Trovatore (talk) 19:48, 3 May 2024 (UTC)
- In Logarithm#Complex logarithm the convention is used with good effect in the definition of the complex logarithm. NadVolum (talk) 17:25, 6 May 2024 (UTC)
- I find the use there to be confusing, inconsistent, and idiosyncratic. YMMV. I would much prefer if the multi-functions for argument and logarithm were capitalized, with names for the principal branch left all lowercase, matching the names of single-valued functions used elsewhere in the article and the more typical convention found in the literature (though this is a place where literature is notoriously inconsistent and confusing). –jacobolus (t) 19:00, 6 May 2024 (UTC)
- By the way there is a standard to use lb for the binary logarithm but I don't know of anyone who does that! And using a base with ln is just silly. Only a total massochist would try using any base other than e with a complex logarithm so there's no point in specifying it in that case. NadVolum (talk) 17:39, 6 May 2024 (UTC)
- I have often seen lg for the binary log. —Tamfang (talk) 01:12, 7 May 2024 (UTC)
- Yes, that's pretty common, and approved by the Chicago Manual of Style, despite ISO explicitly reserving lg for common logarithms instead. (I have never seen any actual use of lg for common logs outside of ISO documents.) It's also pretty common for computer scientists (and sometimes information theorists) to use log for binary logarithms (without any base subscript), unfortunately, with hard-to-spot disclaimers that they're doing so. —David Eppstein (talk) 07:00, 7 May 2024 (UTC)
- Knuth uses "lg" for the binary logarithm, and people probably pay more attention to Knuth than to the ISO. XOR'easter (talk) 16:16, 7 May 2024 (UTC)
- FWIW I've seen several computer science papers using log for the base 2 logarithm, a single one using lb, and non using lg. Tercer (talk) 20:24, 7 May 2024 (UTC)
- I can find several of my papers using lg. Nowadays I might be more likely to use log2. But in much of computer science the logs are wrapped in O-notation and it doesn't matter what the base is; I think in that context log is the most likely notation. —David Eppstein (talk) 20:45, 7 May 2024 (UTC)
- FWIW I've seen several computer science papers using log for the base 2 logarithm, a single one using lb, and non using lg. Tercer (talk) 20:24, 7 May 2024 (UTC)
- Knuth uses "lg" for the binary logarithm, and people probably pay more attention to Knuth than to the ISO. XOR'easter (talk) 16:16, 7 May 2024 (UTC)
- Yes, that's pretty common, and approved by the Chicago Manual of Style, despite ISO explicitly reserving lg for common logarithms instead. (I have never seen any actual use of lg for common logs outside of ISO documents.) It's also pretty common for computer scientists (and sometimes information theorists) to use log for binary logarithms (without any base subscript), unfortunately, with hard-to-spot disclaimers that they're doing so. —David Eppstein (talk) 07:00, 7 May 2024 (UTC)
- I have often seen lg for the binary log. —Tamfang (talk) 01:12, 7 May 2024 (UTC)
- In Logarithm#Complex logarithm the convention is used with good effect in the definition of the complex logarithm. NadVolum (talk) 17:25, 6 May 2024 (UTC)
- +1 to Kusma. When I see I do not necessarily automatically assume that the domain is the reals. I've seen that convention so it wouldn't especially surprise me to find someone using and distinctively in that way, but I don't think it makes the domain unambiguous without further comment. --Trovatore (talk) 19:48, 3 May 2024 (UTC)
- This is not a universal convention, so I don't think it is a good idea to pretend it is. —Kusma (talk) 19:26, 3 May 2024 (UTC)
Request review of Local analysis
[edit]Could someone please take a look at the article Local analysis, which has had zero references since July 2008? Is it a valid topic for a standalone article? If so, would you be able to add a citation? If not, should it be redirected somewhere? Cielquiparle (talk) 22:24, 7 May 2024 (UTC)
- I'm not keen on this edit. Generally an article should have a single topic, and not give distinct unrelated meanings of the same term. Lack of references is a problem, and I think merging to Hasse principle might be one solution. Tito Omburo (talk) 10:32, 8 May 2024 (UTC)
- Yes, lumping together unrelated, separate meanings of the same term is more dictionary-style, rather than encyclopedic. XOR'easter (talk) 16:49, 8 May 2024 (UTC)
- For the current article, a sensible thing might be to turn it into a disambiguation page for Localization of a ring and a subsection (to be added) of Sylow subgroups. For the latter, a p-local subgroup is the normalizer of a nontrivial p-subgroup; this could be sourced e.g. to Isaacs' Finite Group Theory book. I don't think the Hasse principle is a great redirect, although I could be missing something. Note that p-local subgroup currently redirects to this article, and there may be other redirects targeting here. Russ Woodroofe (talk) 18:15, 8 May 2024 (UTC)
- Yes, lumping together unrelated, separate meanings of the same term is more dictionary-style, rather than encyclopedic. XOR'easter (talk) 16:49, 8 May 2024 (UTC)
Merger of Unitary operator and Unitary transformation.
[edit]We have these two articles: Unitary operator, Unitary transformation. Should they get merged? Michael Hardy (talk) 21:04, 2 May 2024 (UTC)
- I always thought the map C2 → C3 given by sending (u, v) to (u, v, 0) would be an example of a unitary operator, with 'unitary' referring just to the preservation of a hermitian inner product. The notion suggested here is what I would call "unitary isomorphism." Have I been using the term in an unusual way? Gumshoe2 (talk) 18:59, 3 May 2024 (UTC)
- The text is incorrect. A
bounded linear operator U : H → H on a Hilbert space H that satisfies U*U = UU* = I
need not be surjective unless H is finite dimensional. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 19:03, 9 May 2024 (UTC)- No, this statement is correct. (Since .) Tito Omburo (talk) 20:26, 9 May 2024 (UTC)
- The text is incorrect. A
- The content of Unitary transformation which describes isomorphism between Hilbert spaces should be migrated to a section on Hilbert space, which currently has no discussion of morphisms of Hilbert spaces (in fact the word "isomorphism" is used only 8 times and never in the context of describing the natural notion of isomorphism of Hilbert spaces!). The rest of it is just a copy of content in Unitary operator which is a much more commonly discussed notion.
- Should also point out there will be quite a bit of overlap with Unitary matrix and indeed Unitary group but I think unitary operators (i.e. automorphisms of infinite-dimensional Hilbert spaces, especially function spaces) are studied in their own right as a primary topic that is distinct enough in flavour and techniques (and of course in level of difficulty for the average reader to understand) that it makes sense to keep Unitary matrix/operator/group as 3 separate pages. Tazerenix (talk) 05:35, 10 May 2024 (UTC)
- This seems sensible to me. Tito Omburo (talk) 09:16, 10 May 2024 (UTC)
request: birkhoff universality theorem
[edit]i began investigating my my belief that optimal function estimation of a 'target function', using purely geometric properties (i.e. properties of the curve wrt to the unit interval) was cyclical.
as a preface i want to emphasise to my peer group my understanding that using very finite-valued integers (i.e. in the hundreds or thousands) to describe cardinality on the real interval is asking to get slaughtered, but i need to lay some groundwork for my request. anyways!
i observed behaviour where the 'optimal function' estimating the target would exist in cycles. that is, define A > B > C \in \mathbb{Z}_+ as the cardinality of the set of uniformly-spaced points on the domain for which we have values of target function f. i.e. we have f(a) for all a \in A, etc.
whilst possible for B = A+1, i often found there was a 'gap' between A, B and C. again, ANYWAYS:
assuming the vertical line test is enforced, it seems that the 'optimal function' for a 'target function' can be (easily) estimated via composition of functions from, say, the space of square-integrable functions.
this lead me to the work of Joel Shapiro, which seems to point to Garrett Birkhoff's 1929 paper which, as i understand it, is considered the "birkhoff universality theorem".
don't you guys think we need a page for this? it seems kind of important in the era of function approximation and the ensuing evaluation of its optimality, for which the cyclical nature of the composition of functions are incredibly relevant.
https://math.osu.edu/sites/math.osu.edu/files/Birkhoff.pdf
George D Birkhoff. Démonstration d’un théoreme élémentaire sur les fonctions entières. C. R. Acad. Sci. Paris, 189(14):473– 475, 1929.
pinging the wikipedia math legend @D.Lazard: to see if this meets the WP notability.
toodles, my dear PEER GROUP 162.157.84.254 (talk) 22:53, 11 May 2024 (UTC)
Aaron Naber and Robin Pemantle
[edit]If anyone would like a suggestion on new wikipages to write, Aaron Naber and Robin Pemantle are mathematicians recently elected to the National Academy of Sciences (NAS, AMS). With this qualification there should be no issue on notability. Gumshoe2 (talk) 15:03, 12 May 2024 (UTC)
- In the same spirit there's Vladimir Sverak, recently elected to the American Academy of Arts and Sciences (AMS news). Gumshoe2 (talk) 22:39, 14 May 2024 (UTC)
Biographical notability
[edit]I just posted the following, to Wikipedia talk:WikiProject Physics. Cross-post here, because WPM has exactly the same problem.
- The physics project template counts the number of articles ranked by importance, and quality. Here: Wikipedia:WikiProject Physics/Quality Control There are currently 700+ articles with unassesed priority (marked "???"). Clicking through, almost all of these are biographies. I suspect that no one particularly wants to tackle this, because of the unpleasantness of tagging someone's biography as "unimportant". That, plus the true difficulty of actually assigning a relative ranking -- you have to be very cross-disciplinary to be able to assess such comparisons. And that's just within physics, never mind something like "my biologist is more important than your physicist" or god help us, "our TV anchor is more notable than your physicist". Thus, I'm wondering if perhaps there might be better to avoid this issue entirely? I'm thinking of allowing the template to have an "importance=biographical" value. Or maybe there is some better way to do this?
Please discuss there.
BTW, the WPM assessment is here: Wikipedia:WikiProject Mathematics/Assessment and clicking through to the server shows almost all unassessed articles are biographies, with a sprinkling of societies, journals and awards. 67.198.37.16 (talk) 00:18, 16 May 2024 (UTC)
Requested move at Talk:One half#Requested move 17 May 2024
[edit]![](http://upload.wikimedia.org/wikipedia/en/thumb/2/28/Information.svg/30px-Information.svg.png)
There is a requested move discussion at Talk:One half#Requested move 17 May 2024 that may be of interest to members of this WikiProject. Remsense诉 13:18, 17 May 2024 (UTC)
Expectile
[edit]I have created a somewhat stubby new article titled Expectile.
- It could use further work.
- Its uses in mathematical economics could possibly be mentioned. I don't know enough about those to do that.
- Three articles link to it: Quantile, Expected value, and Risk measure. Possibly other links should be there.
Michael Hardy (talk) 17:32, 17 May 2024 (UTC)
Edit war in Tournament (graph theory)???
[edit]Just across the article via contributions, watchlist, or whatever it is, the article Tournament (graph theory) apparently has some kind of edit war (I suppose) between User:David Eppstein and User:Closed Limelike Curves. I have no clue about graph theory, but probably need some discussion per WP:BRD. Dedhert.Jr (talk) 15:31, 18 May 2024 (UTC)
- CLC has now three times changed the lead to a wrong definition involving complete directed graphs. Tournaments are not complete directed graphs. Complete directed graphs have edges in BOTH directions between each pair of vertices. Tournaments have an edge in exactly ONE direction between each pair of vertices. They are orientations of complete UNDIRECTED graphs. The undirected part is important. CLC should be reverted a third time, at least. I reverted twice but more eyes would help. —David Eppstein (talk) 16:04, 18 May 2024 (UTC)
- @David Eppstein Not to mention, the article has problems with citations, and more importantly, why does the article even put the theorem box in the first place? Will take care of these problems as much as I can. Let me know if someone has a different idea.
- But seriously, for verifiability that tournaments are not the complete directed graphs, is it possible to expand the article, pointing it out alongside the supported sources, avoiding confusion or misinterpretation? Another problem here is the lead may already give some WP:TECHNICAL, and it seems that CLC relates this terminology to the round-robin tournament, from which I could not see anything about them instead of the list of see also section in the edit source. Dedhert.Jr (talk) 16:12, 18 May 2024 (UTC)
- Hi David—very sorry if my last edit was unclear, my intention wasn't to start an edit war. The last time I edited this, however, I described tournaments as "Oriented complete graphs", which I believe to be correct. (I don't see any difference between "oriented complete graphs" and "orientation of a complete graph"—the term "oriented complete graphs" means you start with a complete graph, then orient it.)
- I believe most people would understand the term "complete oriented graph" refers to a tournament by slight abuse of terminology (the meaning is clear because an oriented graph can't be complete, so it must mean "as complete as possible"). My citation of the Mathematica wiki shows the wiki using the term "complete oriented graphs".
- If you think "Orientation of a complete graph" would be more technically correct language, I think that's reasonable, but I'd prefer if you edited that term directly rather than reverting the edit as a whole. –Sincerely, A Lime 17:16, 18 May 2024 (UTC)
- Re your "
I described tournaments as "Oriented complete graphs", which I believe to be correct
": maybe you can argue that this is correct in a pedantic WP:TECHNICAL sense, if one understands the technical word "oriented" to mean adding directions to the edges of an undirected graph and "complete graph" to mean "complete undirected graph". However, it is also confusing, misleading, and totally inappropriate for the lead sentence of an article. When we talk about directed graphs, the natural interpretation of "complete graph" would be a complete directed graph, and casual readers are unlikely to notice the distinction between oriented and directed. These are not complete directed graphs. —David Eppstein (talk) 18:51, 18 May 2024 (UTC)- PS also please stop putting CS1-formatted citations into their own separate templates. This article uses CS2 (the citation template, not the cite templates) with short footnotes. When you put a citation into a template, rather than leaving it in the main text of an article, and then make a short footnote to it, it will always generate a harv linking error (look at the hidden categories). In addition, this violates WP:CITEVAR. —David Eppstein (talk) 18:55, 18 May 2024 (UTC)
- Re your "
- In this case David Eppstein's edit is certainly better since it is clearer. However, Closed Limelike Curves' proposed definition as "oriented complete graph" seems to be identical, at least according to the lead sentence of Orientation (graph theory). The sentence "A tournament is an orientation of a complete graph" also appears on that page. If this is actually in error, presumably because of wiki conventions on graph theory language, perhaps that page needs to be changed. Gumshoe2 (talk) 19:51, 18 May 2024 (UTC)
- Again, a definition that can be argued to be technically correct, if one uses the precise technical meanings of each term, can still be seriously misleading, if an un-expert reading of those terms would likely lead readers to a wrong understanding. We should aim for understanding, not merely technical correctness. —David Eppstein (talk) 20:11, 18 May 2024 (UTC)
Adjoint functor theorem, axiom of choice and anafunctor
[edit]I noticed that in the Formal criteria for adjoint functors it says that "for simplicity ignoring the set-theoretic issues". Does this refer to axiom of choice? Also, it seems that axiom of choice can be avoided by introducing a concept called anafunctor. It would be great if you could give me some advice or help with the draft (Draft:Anafunctor). SilverMatsu (talk) 05:16, 17 May 2024 (UTC)
- I think it is not appropriate to ignore set theoretic issues in the statement of the theorem, because one of the conditions is essentially a set theoretic smallness condition already (it holds trivially in small categories for instance). MacLane states the theorem for (small-)complete categories with small hom sets. As far as I am aware, the proof uses choice. I don't know about anafunctors. Tito Omburo (talk) 10:52, 17 May 2024 (UTC)
- Thank you for your advice. I think so, too. I think the theorem (SAFT) requires an axiom of choice. By the way, I'm thinking about whether to add Category: Axiom of choice to a new draft. --SilverMatsu (talk) 17:36, 21 May 2024 (UTC)
- Also, Roberts (2011) says that, the etymology of anafunctor is an analogy of the biological terms anaphase/prophase. By the way, wiktionary has an wikt:anafunctor, and wikipedia has a profunctor. --SilverMatsu (talk) 15:46, 23 May 2024 (UTC)
- Thanks for sharing. That's an interesting remark. Tito Omburo (talk) 15:56, 23 May 2024 (UTC)
Merge Measurable space into Measure space
[edit]This seems sensible, doesn't it? IntGrah (talk) 23:45, 26 May 2024 (UTC)
- Maybe, maybe not. The benefit of having two separate pages is that it makes it clear that the notions are different. This also allows other pages that reference these concepts to reference specifically the definition they need and thereby to minimize possible confusion. Note also that each of these two pages has "Not to be confused with ..." link at the top, and also shows the contrast with the other notion. But I can see that this could be debated. PatrickR2 (talk) 06:00, 27 May 2024 (UTC)
- I think they should not be merged, since they are different concepts. Note that the Springer EoM also has separate articles for the concepts. Tito Omburo (talk) 12:19, 27 May 2024 (UTC)
- Fair enough. I was hoping that one concept would just be described in a sentence in another article, like Weighted graph in Graph, but I see otherwise now. IntGrah (talk) 13:17, 27 May 2024 (UTC)
- The two concepts are importantly rather different, especially in applications of measure theory (e.g., probability and dynamics). Tito Omburo (talk) 15:05, 27 May 2024 (UTC)
- Agree w/Tito, Patrick. 67.198.37.16 (talk) 02:04, 29 May 2024 (UTC)
- The two concepts are importantly rather different, especially in applications of measure theory (e.g., probability and dynamics). Tito Omburo (talk) 15:05, 27 May 2024 (UTC)
- Fair enough. I was hoping that one concept would just be described in a sentence in another article, like Weighted graph in Graph, but I see otherwise now. IntGrah (talk) 13:17, 27 May 2024 (UTC)