« first day (2462 days earlier)      last day (1741 days later) » 

05:15
[meta-specific-question] This is one of the questions where it might be difficult to choose the replacement for deprecated : Continuous notions with compelling discrete analogues (OTOH it is already tagged , which is at the moment the target of the synonym.)
12
Q: Continuous notions with compelling discrete analogues

Patricia HershFollowing up on the previous MO question "Are there any important mathematical concepts without discrete analogue?", I'd like to ask the opposite: what are examples of notions in math that were not originally discrete, but have good discrete analogues? While a few examples arose in the answers t...

Maybe also would fit here? Although it was suggested to deprecated continuity.
1
A: Help cleanup tags!

YCorcontinuity seems to have no coherent use. It has 3 watchers for 88 questions, which is a very low ratio (compared to tags with a comparable number of questions). It's mostly to mean some use of continuity, often somewhere fitting with real-analysis, gn.general-topology, and others. This number o...

Here is another question where there isn't an obvious replacement for : Discrete Mathematics Uses. (The question is closed. If it is retagged, probably the tag could be added.)
05:47
1
Q: Discrete Mathematics Uses

Chance212I am trying to explain how and why discrete maths is used in areas such as programming, correctness, data types, state transistion and conditionals. I'm having a really hard time articulating it though! Can anyone point me in the right direction of some resources or help shed some light on it ple...

1
Q: Maximization of the difference of a monotone submodular function and a linear function with a cardinality constraint

LaoMaoMaximizing a monotone submodular function with a cardinality constraint can be solved by using a simple greedy heuristic. However, if the submodular function is non-monotone, the greedy heuristic can perform arbitrarily poorly. Now I have a very special non-monotone submodular function: $$G(S)=F...

 
1 hour later…
06:57
As a side note, the size of seems manageable and perhaps a clean-up could be made in reasonable time. It is the smallest among the "big three" deprecated tags, there are less than 70 questions tagged discrete-mathematics without co.combinatorics.
I have made a list on meta (10k+ link) to collect posts which are already retagged or which do not need retagging (i.e., they are tagged correctly with the master tag of the tag synonym).
 
1 hour later…
08:23
Perhaps would be suitable for: Should we reopen “The resolution of which conjecture/problem would-advance mathematics the most?” However, it is probably not worth bumping the post just for this change. (I have only noticed that question since there was a new comment.)
 
3 hours later…
11:01
I have stumbled upon such link in this post. Searching for url:"*nlab.mathforge.org*" returns 43 posts.
Using SEDE I only found one instance where such link was edited away: mathoverflow.net/posts/47319/revisions
On mathematics, there are 25 posts with such link.
I guess this could be corrected manually. (I am not sure to which extent the changes in the links are completely mechanical.)
11:23
The question mentioned above was bumped yesterday after an edit to the accepted answer. And again today by an edit on the question.
 
1 hour later…
12:31
On one hand, I would be tempted to replaced the dead link in "Can the Poisson summation formula break?" by a working link to Wayback Machine. (After all, updating links is a useful thing to do.)
On the other hand, some people might be in favor of removing the link alltogether, for the reasons discussed previously: What to do when a post contains a “suspicious” link (possibly with copyrighted material)?
@ToddTrimble You were part of the discussion about copyrighted content on MO, maybe you might have an opinion this. Should the link be removed? Should link to the Wayback Machine be added? Or simply we can leave the post as it is?
It is nothing too important, but since the question was bumped recently, I thought that asking about this will not do any harm.
This question has no top-level tag: The relation between t-structures and derived category. I would guess might be a suitable candidate?
7
Q: The relation between t-structures and derived category

AnonymeLet $\mathcal{D}$ be a triangulated category and a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, $\mathcal{A}=\mathcal{D}^{\leq 0} \cap \mathcal{D}^{\geq 0}$, is an abelian category. I know that in general there is not a natural ...

 
2 hours later…
14:35
@MartinSleziak yes of course!
 
2 hours later…
16:06
I am not really sure what the link here was supposed to be. It was just http:// followed by the text:
> Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg–Witten equations tend to be compact, so one avoids the hard problems involved in compactifying the moduli spaces in Donaldson theory.
6
A: Examples of theorems with proofs that have dramatically improved over time

Gil KalaiSome results by Donaldson were simplified via the Seiberg-Witten invariants. From Wikipedea: Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work...

Perhaps it was meant to be a link to Wikipedia article (maybe with a quote): Seiberg–Witten invariants.
In mathematics, Seiberg–Witten invariants are invariants of compact smooth oriented 4-manifolds introduced by Edward Witten (1994), using the Seiberg–Witten theory studied by Nathan Seiberg and Witten (1994a, 1994b) during their investigations of Seiberg–Witten gauge theory. Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg–Witten equations tends to be...
Considering the fact that the same text appear on WP, that seems like a reasonable guess.
Looking at that particular question, there are two links to MathSciNet searches in an answer. People who have access to MathSciNet would be able to check whether such link can be replaced by an article. (The latter also works for people without a subscription, although it does not show the review.)
10
A: Examples of theorems with proofs that have dramatically improved over time

Gil KalaiTverberg Theorem (1965): Let $ x_1,x_2,\dots, x_m$ be points in $ R^d$, $ m \ge (r-1)(d+1)+1$. Then there is a partition $ S_1,S_2,\dots, S_r$ of $ \{1,2,\dots,m\}$ such that $\cap _{j=1}^rconv (x_i: i \in S_j) \ne \emptyset$. Tverberg's theorem was conjectured by Birch who also proved the plana...

The above question was bumped by a new answer not too long ago.
16:38
20
Q: Integral $\int_0^1 \int_0^1 \cdots \int_0^1\frac{x_{1}^2+x_{2}^2+\cdots+x_{n}^2}{x_{1}+x_{2}+\cdots+x_{n}}dx_{1}\, dx_{2}\cdots \, dx_{n}=?$

Jerry LeungHow to evaluate this integral: $$\int_0^1 \int_0^1 \cdots \int_0^1\frac{x_{1}^2+x_{2}^2+\cdots+x_{n}^2}{x_{1}+x_{2}+\cdots+x_{n}}dx_{1}\, dx_{2}\cdots \, dx_{n}=?$$ I'm making use of the integral identity: $$\int_{0}^{+\infty }e^{-t(x_{1}+x_{2}\cdots +x_{n})}dt=\frac{1}{x_{1}+x_{2}\cdots +x_{n}}$...

16:57
@MartinSleziak yes, or even better if one considers it as top-level. Or both.
17:12
That sounds reasonable. I have added both.
18:10
0
Q: Create usage guidance for 2-categories tag

Praphulla Koushik The 2-categories tag has no usage guidance, can you help us create it? This is what the 2-categories tag page https://mathoverflow.net/questions/tagged/2-categories says. Can some one create usage guidance for this?


« first day (2462 days earlier)      last day (1741 days later) »