**2**

votes

**0**answers

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.$
...

**53**

votes

**46**answers

7k 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

**16**answers

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

**2**answers

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

**2**answers

745 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

**1**answer

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

**1**answer

201 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

**16**answers

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

**0**answers

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

**9**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**7**answers

586 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$ ...

**1**

vote

**1**answer

156 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

**4**answers

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

**4**answers

331 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

**3**answers

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

**6**answers

758 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

**2**answers

850 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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

305 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

**0**answers

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

**2**answers

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

**0**answers

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

**5**answers

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

**3**answers

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

**3**answers

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

**1**answer

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

**10**answers

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

**13**answers

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

**19**answers

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

**1**answer

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

**0**answers

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

**0**answers

93 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

**0**answers

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

**37**answers

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

**5**answers

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

**2**answers

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

**1**answer

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

**6**answers

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

**26**answers

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

**5**answers

959 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

**2**answers

474 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

**15**answers

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

**19**answers

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

**0**answers

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

**1**answer

188 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 ...