Questions designed to generate a "big list" of certain results, examples, conjectures, etc. via many individual answers, each contributing one or a few instances. Such a question should typically be in Community Wiki mode (CW); after asking, please, flag for moderators attention requesting the ...

learn more… | top users | synonyms

14
votes
2answers
700 views

What are the applications of operator algebras to other areas?

Question: What are the applications of operator algebras to other areas? More precisely, I would like to know the results in mathematical areas outside of operator algebras which were proved by ...
1
vote
1answer
1k views

Famous examples of PhD advisors younger than their student [closed]

What are the most famous examples of PhD advisors in mathematics, younger than their student? (if possible put the date of birth and/or the difference in age).
-2
votes
1answer
168 views

Degree of a rational function [closed]

I would like to have a simple proof for the following result: Let $f=\frac{p}{q}:\mathbb{C}\longrightarrow\mathbb{C}$ be a quotient of polynomials (of course, at some points it may be undefined). ...
4
votes
2answers
204 views

Proving results about complete Boolean algebras in ZFC using Boolean valued models

I want to know what non-trivial ZFC theorems (not consistency results) about complete Boolean algebras (or more generally of partially ordered sets) one can prove using forcing. I am mainly ...
2
votes
1answer
175 views

Statistical distance between discrete and continuous distributions

Are there any statistical distance functions that are capable of comparing a continuous and a discrete distribution? From reading this list http://en.wikipedia.org/wiki/Statistical_distance the only ...
4
votes
0answers
171 views

What will be the consequences if second Hardy-Littlewood conjecture turns out to be true?

It is generally believed that the Second Hardy-Littlewood Conjecture is false. But it has not been proved (or disproved) yet. My question is, What would be the consequences if Second ...
12
votes
2answers
1k views

New research and re-discovering classic results in “basic” real analysis

Sometimes, it happens that researchers publish a new proof of an old well-known result in "basic real analysis" (I'm referring to what some American people may call "honors calculus"). For instance, ...
5
votes
0answers
80 views

Which known theorems of Lie algebras are still valid for Leibniz algebras?

Leibniz algebras can be seen as a non-commutative generalization of Lie algebras. Thus, it is common to see a lot of papers which topic is about a generalization of a classic theorem of Lie algebras ...
18
votes
5answers
1k views

Collection of conjectures and open problems in graph theory

Is there something similar to the Kourovka Notebook for graph theory (or anyway an organized, possibly commented, collection of conjectures and open problems)?
23
votes
3answers
906 views

Graduate program applications that require questionnaires and other non-letter material

In the December 2014 AMS Notices, a letter to the editor (http://www.ams.org/notices/201411/rnoti-p1311.pdf) by Deconinck and Medlock addresses the problem of (math) graduate programs requiring letter ...
7
votes
3answers
1k views

The resolution of which conjecture/problem would advance Mathematics the most? [closed]

This is an impossibly broad question, and makes the unwarranted assumption that Mathematics is a uniform field. It might make more sense to ask the same question restricted to, say, Mathematical ...
-3
votes
1answer
128 views

Decidable theorem or result that is not weaker than Tarski's theorem

I am wondering what other decidable theorem or results that is not weaker or stronger than Tarski's theorem. Could any one give reference or a simple introduction about such result known in their ...
13
votes
9answers
1k views

Combinatorial Databases

At one point, I remember being excited by seeing the website Encyclopedia of Combinatorial Structures as an extension of Sloane's Online Integer Sequence Database site. Unfortunately, the site (ECS) ...
24
votes
13answers
1k views

Big list of repositories of mathematical preprints and postprints

I'm looking for a extensive list of online repositories of mathematical preprints and postprints. I'm interested in every type of repository, including small informal and semi-formal collections, like ...
17
votes
19answers
3k views

Math books for advanced high school students

I'm working in a program for teaching a group of students selected in a Olympiad competition. The program is aimed to acquaint the students with the diverse aspects of higher mathematics in a way ...
3
votes
1answer
62 views

The link and equivalence between variant definition of computation model and computational complexity over reals

To unify the numerical computation and classic computability theory, or to pave a foundation for the numerical computation, mathematicians present variant computation model and computational ...
0
votes
0answers
49 views

Models for events where position and time are correlated

Apologies in advance if this question is not sufficiently research-level: What are the standard models that are used to describe phenomena in which events that occur at the same time are likely to be ...
2
votes
0answers
87 views

Non-negative, monotone polynomial sequences without combinatorial interpretation

I am wondering what sequences of integers there are, that are known to grow polynomially, are non-negative, monotone but lacks a combinatorial interpretation. By combinatorial interpretation, they ...
1
vote
0answers
65 views

Examples of noncommutative Bezout domains

I would like to see some (or many!) examples of noncommutative Bezout domains (one-sided principal ideals sum to one-sided principal ideals). I've read somewhere that it's not easy to find an example ...
39
votes
36answers
5k views

Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces for a given dimension $n$ but become false in higher dimensions. Here are two examples: A positive polynomial not reaching its minimum. Impossible in ...
15
votes
4answers
994 views

Mathematical research papers in general science journals

I am interested in collecting a list of research papers with a mainly mathematical focus that appeared in high-reputation general science journals without a dedicated mathematics section. This would ...
6
votes
2answers
373 views

Rational points techniques on curves not using their Jacobian

Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...
4
votes
1answer
293 views

Does every mathematics article have a DOI (Digital Object Identifier)?

Most articles nowadays have DOI's. I am looking for a list of mathematics journals in which some (or all) articles lack this piece of metadata. I don't have access to MathSciNet, but even if I had, a ...
7
votes
4answers
1k views

Proofs of the Chevalley-Warning Theorem

A well known proof of the Chevally-Warning Theorem is the one listed on wikipedia: http://en.wikipedia.org/wiki/Chevalley%E2%80%93Warning_theorem Are there any other proofs of this, or ...
106
votes
22answers
24k views

Examples of unexpected mathematical images

I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an ...
14
votes
5answers
882 views

Examples of research on how people perceive mathematical objects

What examples are there on research related to human perception and mathematical objects? For example, the shape of a beer glass influences drinking habits, since people are bad at integrating. ...
7
votes
2answers
433 views

Undecidable puzzles

There are plenty of popular NP-hard puzzles, for example, generalized Sudoku ($n^2 \times n^2$-board), Flow (I cannot give a source for this), Minesweeper, etc. Recently, I read a bit about aperiodic ...
26
votes
15answers
4k views

Examples of famous 'workhorse' theorems

I use the term 'workhorse' to describe a theorem which is technically challenging to prove, perhaps very deep, but the statement is either uninteresting at first glance or too imposing to be ...
0
votes
0answers
46 views

The set of (property) elements of a locally compact group is closed

For which properties $(P)$ is the following statement known to be true? In any locally compact group $G$, the elements of $G$ that satisfy $(P)$ form a closed subset of $G$. In other words, the ...
2
votes
1answer
162 views

Distance matrices

We say that a matrix $M\in\mathbb{R}^{n\times n}$ is a distance matrix on a metric space $(X,d)$, if there exist $x_1,\cdots,x_n \in X$ such that $M=[d(x_i,x_j)]_{n\times n}$. Question. For which ...
28
votes
26answers
4k views

Mathematicians who made important contributions outside their own field? [closed]

It is often said that scientists who cross disciplinary borders can make unexpected discoveries thanks to their fresh view of the problems at hand. I am looking for mathematicians who did just that. ...
75
votes
6answers
7k views

Mistakes in mathematics, false illusions about conjectures

Since long time ago I have been thinking in two problems that I have not been able to solve. It seems that one of them was recently solved. I have been thinking a lot about the motivation and its ...
11
votes
9answers
1k views

Probabilistic method used to prove existence theorems

I am aiming for a "big list" of theorems using probability techniques to prove existence of some objects. And in each case, there is an interesting question -- can we find an explicit example? Was the ...
20
votes
4answers
773 views

Which journals allow authors to retain copyright…?

I became motivated to ask this question after seeing the inspiring "© The Author(s) 2013 " in the header of this very interesting article, published in Compositio Mathematica. Apart from open access ...
10
votes
6answers
514 views

Unconventional types of induction

Induction is one of the most common tools is mathematics, and everybody knows the ordinary induction and the strong induction. However, in some proofs induction is applied in an unexpected and elegant ...
11
votes
8answers
785 views

Interesting examples of generic behavior of mathematical objects being either unreasonably structured or simply unreasonable

My experience seems to be that quite often "generic" mathematical objects tend to be either extremely well behaved or structured, or at the opposite extreme are as unstructured as possible. For ...
11
votes
2answers
447 views

References for particular topics related to Langlands

I have never really concentrated on Langlands, which explains my poor level of understanding of it. But I have read quite a few introductory papers related to Langlands, and to the circle of ideas ...
2
votes
2answers
352 views

Beautiful constructions in algebraic topology that facilitate one's understanding of homotopy theory [closed]

There is an army of interesting constructions in AT, and Understanding them are usually very helpful for appreciate the theory underneath. So I would like to invite you to share those examples that ...
2
votes
0answers
97 views

Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?

I duplicate here a question I asked on math.stackexchange. Question: Which inequalities similar to the famous isoperimetric inequality is known? conjectured? I recently learned about some ...
6
votes
4answers
553 views

NP-hard problems in linear algebra and real analysis [closed]

I am curious about NP-hard problems in linear algebra and real analysis. An example in linear algebra would be the calculation of the permanent. I would thus like to collect in this thread a list of ...
11
votes
7answers
724 views

Properties of rings that have an elegant description in terms of the associated category of modules

Suppose $A$ is a ring. Then $A$ happens to be a division ring iff every left $A$-module is free. (See here for proofs). I think this is very beautiful; what other properties of rings have an elegant ...
7
votes
2answers
184 views

Local-to-global inequalities for measures: Brunn-Minkowski, Ahlswede-Daykin, what else?

This question is motivated by an obvious formal analogy between two well-known inequalities: Log-concavity and Brunn-Minkowski inequality Let $\mu(dx) := m(x) dx$ be an absolutely continuous ...
4
votes
3answers
731 views

The most unexpected and/or the least natural category theory theorem?

Theory of categories is all natural and abstract nonsense. Or is it? What would be the most unexpected and/or the least natural theorem of the theory of category? (It does not really have to be THE). ...
71
votes
9answers
8k views

Analogues of P vs. NP in the history of mathematics

Recently I wrote a blog post entitled "The Scientific Case for P≠NP". The argument I tried to articulate there is that there seems to be an "invisible electric fence" separating the problems in P ...
3
votes
0answers
458 views

Does Pure Mathematics glue Science together? [closed]

A little while ago, I was reading Cathy O'Neil's post Why is math research important (subtext: why does Pure Math deserve funding), where she discusses 3 possible answers. One of these is the usual ...
22
votes
0answers
722 views

The most important facts, modern surveys, and readable introductions to p-adic cohomology theories (crystalline cohomology and the mysterious functor)

I would like to organize a seminar on crystalline cohomology; I dream of understanding the Beilinson's recent paper on the mysterious functor ...
1
vote
1answer
357 views

Transfinite induction vs induction in mathematics

What are the nontrivial theorems one can prove about natural numbers which need transfinite induction? By "need transfinite induction" I mean one can show that the statement is not provable in ...
14
votes
9answers
2k views

What are your favorite concrete examples of limits or colimits that you would compute during lunch?

(The title was initially "What are your favorite concrete examples that you would compute on the table during lunch to convince a working mathematician that the notions of limits and colimits are not ...
32
votes
16answers
3k views

Counterexamples in universal algebra

Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...
0
votes
0answers
164 views

Examples of 'bad' notations and definitions [duplicate]

I am trying to compile a list of notations and definitions that has become ingrained in mathematical folklore, yet are still on some objective scale unsatisfactory. I offer two starting examples. For ...