Not especially famous, long-open problems which anyone can understand

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Question: I'm asking for a big list of not especially famous, long open problems that anyone can understand. Community wiki, so one problem per answer, please.

Motivation: I plan to use this list in my teaching, to motivate general education undergraduates, and early year majors, suggesting to them an idea of what research mathematicians do.

Meaning of "not too famous" Examples of problems that are too famous might be the Goldbach conjecture, the $3x+1$-problem, the twin-prime conjecture, or the chromatic number of the unit-distance graph on ${\Bbb R}^2$. Roughly, if there exists a whole monograph already dedicated to the problem (or narrow circle of problems), no need to mention it again here. I'm looking for problems that, with high probability, a mathematician working outside the particular area has never encountered.

Meaning of: anyone can understand The statement (in some appropriate, but reasonably terse formulation) shouldn't involve concepts beyond (American) K-12 mathematics. For example, if it weren't already too famous, I would say that the conjecture that "finite projective planes have prime power order" does have barely acceptable articulations.

Meaning of: long open The problem should occur in the literature or have a solid history as folklore. So I do not mean to call here for the invention of new problems or to collect everybody's laundry list of private-research-impeding unproved elementary technical lemmas. There should already exist at least of small community of mathematicians who will care if one of these problems gets solved.

I hope I have reduced subjectivity to a minimum, but I can't eliminate all fuzziness -- so if in doubt please don't hesitate to post!

To get started, here's a problem that I only learned of recently and that I've actually enjoyed describing to general education students.

http://en.wikipedia.org/wiki/Union-closed_sets_conjecture

Edit: I'm primarily interested in conjectures - yes-no questions, rather than classification problems, quests for algorithms, etc.

-

1
You might get more success if you sampled certain open problem lists and indicated which ones fit your list and which ones did not. I could mention various combinatorial problems such as integer complexity, determinant spectrum, covering design optimization, but I can't tell from your description if they would be suitable for you. Gerhard "They Are Suitable For Me" Paseman, 2012.06.21 – Gerhard Paseman Jun 21 at 19:11

2
Here is some collection of some other "collect open problems" quests. on MO: mathoverflow.net/questions/96202/… PS Nice question ! PSPS may be add tag "open-problems" – Alexander Chervov Jun 21 at 20:53

1
Nice question!! – S. Sra Jun 22 at 3:25

11
To save the search for explanation of cryptic acronyms for those of us outside US, K-12 means high school. @Mahmud: You are using a wrong meaning of the word “problem”. The TSP is not an unproved mathematical statement, it is a computational task. – Emil Jeřábek Jun 22 at 12:05

7
More precisely, K-12 means anything up to high school (K = Kindergarten, 12 = 12th grade, and K-12 covers this range). – Henry Cohn Jun 22 at 13:05
show 1 more comment

73 Answers

The following problem is very well-known among algebraic geometers:

````Does there exist a cubic 4-fold that is not rational?
````

It's probably not well-known outside of algebraic geometry, even though it can easily be explained in every elementary terms:

Does there exist a polynomial equation $F$ of degree three in five variables with the following property: Let $X \subset \mathbb C^5$ be the solution set of $F = 0$. Then there exists no chart $U \subset \mathbb C^4, \phi \colon U \to X$ such that $\phi$ is defined by rational functions (i.e., quotients of polynomials).

-

1
Cool ! what are the references for current state of art ? – Alexander Chervov Jul 24 at 9:57
show 1 more comment

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

What is the least $S$ (if any) such that any subset of a plane of area $S$ contains $3$ vertices of a triangle of unit area?

-

How many trees are there?

Let $T(n)$ be the number of trees on $n$ vertices up to graph isomorphism. There is no known closed formula for $T(n)$.

In 1947 Richard Otter proved[Source] the asymptotic result $$T(n) \sim A \cdot B^n \cdot n^{-\frac{5}{2}}$$ where $A \approx 0.535$ & $B \approx 2.996$.

By way of contrast, let $L(n)$ be the number of labelled trees, i.e. trees formed from vertices labelled $1,...,n$ where isomorphism additionally preseves the label. In 1889, Arthur Cayley showed[Source] that $$L(n)=n^{n-2}$$

-
• Is the Ring of Periods actually a field? (most likely, no)
• Is the equality of periods decidable? (hopefully, yes)
-

2
problems which anyone can understand ? Uhhh – Denis Serre Sep 25 at 7:50

Let $R(x)=P(x)/Q(x)$ where $P(x)$ and $Q(x)$ are polynomials with integer coefficients and $Q(0)\neq 0$. Is there an algorithm that given $P(x)$ and $Q(x)$ as an input always halts and decides if the Taylor series of $R(x)$ at $x=0$ has a coefficient $0$?

-

Waring's problem inequality

One of the oldest (Since 1770) and famous open problem in number theory is Waring's problem. It has been conjectured that if

$$Frac\bigg[\bigg(\frac{3}{2}\bigg)^n\bigg] \le 1 - \bigg[\bigg(\frac{3}{4}\bigg)^n\bigg].$$

(where $Frac$ denotes the fractional part) true then, the general solution of Waring's problem is

$$g(n) = 2^n + Int\bigg[\bigg(\frac{3}{2}\bigg)^n\bigg] - 2.$$

-

I think you could give an accessible K-12 formulation of the definition of a group (as a group of permutations, for instance) and of an integral group ring. The Zero Divisor Conjecture (Kaplansky, 1940) then states, in one version, that if $G$ is a torsion-free group then the group ring $\mathbb{Z}[G]$ has no zero divisors besides the number $0$.

-

1
>I think you could give an accessible K-12 formulation of the definition of a group ... In any case this is perfect for my follow-up question which the net gods decided to close for the time being. – David Feldman Jul 13 at 5:36

1
@David just wanted to write the same :) mathoverflow.net/questions/101169/… – Alexander Chervov Jul 13 at 6:18
show 5 more comments

http://en.wikipedia.org/wiki/Keller%27s_conjecture

From Wikipedia:

Keller's conjecture is the conjecture introduced by Ott-Heinrich Keller (1930) that in any tiling of Euclidean space by identical hypercubes there are two cubes that meet face to face.

Keller's original cube-tiling conjecture remains open in dimension 7.

Conjecture was shown to be true in dimensions at most 6 by Perron (1940a, 1940b). However, for higher dimensions it is false, as was shown in dimensions at least 10 by Lagarias and Shor (1992) and in dimensions at least 8 by Mackey (2002), using a reformulation of the problem in terms of the clique number of certain graphs now known as Keller graphs. Although this graph-theoretic version of the conjecture is now resolved for all dimensions, Keller's original cube-tiling conjecture remains open in dimension 7.

The related Minkowski lattice cube-tiling conjecture states that, whenever a tiling of space by identical cubes has the additional property that the cube centers form a lattice, some cubes must meet face to face. It was proved by György Hajós in 1942.

Szabó (1993), Shor (2004), and Zong (2005) give surveys of work on Keller's conjecture and related problems.

-

The following conjecture by Carsten Thomassen:

If $G$ is a 3-connected graph, every longest cycle in $G$ has a chord.

Thomassen has proven the conjecture true for 3-connected cubic graphs.

-

Is there a triangle that can be cut into $7$ congruent triangles? (no)

-

1
Nice problems but what are the sources? – Alexander Chervov Jul 24 at 20:23

1
I heard this in a personal communication. But it turns out this is already settled negatively in 2008: michaelbeeson.com/research/papers/… – Vladimir Reshetnikov Jul 28 at 20:34

More than ten years ago I posed the following problem in a couple of math-related mailing lists:

Let $G_n$ be the graph with vertex set `$\{1, 2, \dots, 2n\}$` such that `$\{i,j\}$` is an edge if and only if $i+j$ is a prime number. Is it true that $G_n$ is eulerian for every $n \geq 2$?

It is a simple consequence of Bertrand's Postulate (there is always a prime between $k$ and $2k$) that $G_n$ is connected and has a perfect matching for every $n$.

The problem turned out to be an old one. I believe that some variation of it appears in Richard K. Guy's "Unsolved Problems in Number Theory" and according to this article, it was originally posed in the Journal of Recreational Mathematics in 1982.

Michael A. Jones and Leslie Cheteyan, "Two observation on unsolved problem #1046 on prime circles of `$\{1, 2, . . . , 2m\}$`", J. Recreational Mathematics Vol.35(1) (2006), 15--19.

The whole issue can be downloaded here:

http://www.baywood.com/comppdf/0022-412x.pdf

-

N. M. Katz: "Simple Things we don't know": https://web.math.princeton.edu/~nmk/pisa16.pdf

-

Ore's odd Harmonic number conjecture

-

8
This is a notorious problem. The OP asked for “not too famous”. – Emil Jeřábek Jun 27 at 14:18
show 2 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 41, "mathjax_display_tex": 4, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9236044883728027, "perplexity_flag": "middle"}