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

2
votes
0answers
107 views

What other axioms for set theory can be written in the form: “If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic”?

The "injective continuum function hypothesis" (ICF) is the following statement. ICF (Version 0). For all cardinal numbers $\kappa$ and $\nu$, we have $2^\kappa = 2^\nu \rightarrow \kappa = \nu.$ ...
52
votes
41answers
6k views

Important formulas in Combinatorics

Motivation: The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...
93
votes
16answers
22k views

Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...
4
votes
2answers
379 views

$C^{*}$ algebras which do not admit nontrivial idempotent morphism

In this question which I flag it as a community wiki, I search for a big list of $C^{*}$ algebras(and a big list of criterions) which do not admit a non trivial idempotent $C^{*}-$morphism. I ...
6
votes
2answers
744 views

Survey papers on the role played by PDE in mathematics

There are already several questions on MathOverflow that inquire about the many diverse relationships between PDE and several other 'areas' of mathematics (e.g., algebraic and differential geometry ...
1
vote
1answer
164 views

Noncommutative analogs of classical Banach geometric properties

The scale of Schatten-von Neumann classes is noncommutatitve analog of classical $\ell_p$-spaces. A lot of researchers devoted their lives to study Banach geometric structure of these spaces. ...
0
votes
1answer
197 views

Collection of graduate research projects in Real Analysis [closed]

While there are many open problems in Real Analysis like Khabibullin's conjecture or Lehmer's conjecture, those are big enough to take an expert's life for several years, let alone some graduate ...
50
votes
16answers
5k views

Solving algebraic problems with topology

Often, topologists reduce a problem which is - in some sense - of geometric nature, into an algebraic question that is then (partiallly) solved to give back some understanding of the original problem. ...
5
votes
0answers
112 views

Nice applications of Liouville's theorem

I need a big list of nice-looking and simple applications of Liouville's theorem on geodesic flow in Riemannian geometry. Please help. Examples: A Riemannian manifold with finite volume does not ...
190
votes
9answers
16k views

John Nash's Mathematical Legacy

It would seem that John Nash and his wife Alicia died tragically in a car accident on May 23, 2015 (reference). My condolences to his family and friends. Maybe this is an appropriate time to ask a ...
3
votes
2answers
171 views

Examples of TVS with no non-trivial open convex subsets

I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$. ...
-2
votes
2answers
80 views

Collecting sufficient conditions for Sorli's conjecture on odd perfect numbers

Sorli's conjecture predicts that, for an odd perfect number $N$ given in the Eulerian form $N = {q^k}{n^2}$ (where $q$ is prime with $\gcd(q, n) = 1$ and $q \equiv k \equiv 1 \pmod 4$), the condition ...
0
votes
1answer
301 views

Physics that needs “new” math [closed]

Just curious: I can't think of a single example that a physicist did not had his mouth open in amazement when he learnt that all (OK, lets say the foundations) the math he needs for his brand-new ...
8
votes
7answers
585 views

Finite-space dynamical systems

This question is quite open-ended, but I will formulate several sub-questions that I'll try to make precise. It is about finite-state dynamical system: start with a finite set $X$, with say $n$ ...
3
votes
1answer
155 views

Maximality statements that cannot be proved using $\mathsf{ZL}$ [closed]

What are examples for maximality statements that cannot be proved using Zorn's Lemma?
48
votes
4answers
2k views

When has the Borel-Cantelli heuristic been wrong?

The Borel-Cantelli lemma is very frequently used to give a heuristic for whether or not certain statements in number theory are true. For example, it gives some evidence that there are finitely many ...
2
votes
4answers
330 views

Higher Moments, what are they good for? [closed]

Absolutely nothing? And now seriously - When I studied the basics of probability theory, and even in more advanced topics (random walks, stochastic processes, etc.), I always felt that the mean and ...
3
votes
3answers
348 views

When few simple conditions yield a unique intricate structure

If people were asked to do a brainstorming related to the title, everyone would probably come up with dozens of examples. Those could include things as different as the Mandelbrot set, Julia sets ...
10
votes
6answers
757 views

Open problems in continued fractions theory

I propose to collect here open problems from the theory of continued fractions. Any types of continued fractions are welcome.
14
votes
2answers
849 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
2k 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
183 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
261 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
303 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 ...
5
votes
0answers
216 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 ...
13
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
85 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 ...
19
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)?
25
votes
3answers
981 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
2k 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
132 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 ...
15
votes
10answers
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) ...
25
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
5k 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
78 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
52 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
92 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
73 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 ...
45
votes
37answers
5k views

Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces or in manifolds for a given dimension $n$ but become false in higher dimensions. Here are two examples: A positive polynomial not reaching its minimum. ...
19
votes
5answers
2k 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
395 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
332 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 ...
14
votes
6answers
2k 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 ...
114
votes
26answers
26k 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 ...
15
votes
5answers
957 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
471 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
5k 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 ...
47
votes
19answers
7k views

Rediscovery of lost mathematics

Archimedes (ca. 287-212BC) described what are now known as the 13 Archimedean solids in a lost work, later mentioned by Pappus. But it awaited Kepler (1619) for the 13 semiregular polyhedra to be ...
0
votes
0answers
48 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
187 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 ...