**172**

votes

**93**answers

29k views

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

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

**29**

votes

**4**answers

1k views

### Are most cubic plane curves over the rationals elliptic?

%This is a new version of the original question modified in the light of the answers and comments.
The word 'most' in the title is ambiguous. The following is one way of making it precise.
...

**15**

votes

**6**answers

2k views

### Convex hull in CAT(0)

Let $X$ be complete $\mathop{CAT}(0)$-space and $K\subset X$ be a compact subset.
Is it true that convex hull of $K$ is compact?
Comments:
Convex hull of $K$ = intersection of all closed convex ...

**31**

votes

**3**answers

890 views

### Is the fixed point property for posets preserved by products?

Recall that a partially ordered set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point.
Theorem. Suppose $P$ and $Q$ are posets ...

**12**

votes

**1**answer

744 views

### Integer-distance sets

Let $S$ be a set of points in $\mathbb{R}^d$; I am especially interested in $d=2$.
Say that $S$ is an integer-distance set if every pair of points in $S$ is separated
by an integer Euclidean distance.
...

**54**

votes

**23**answers

17k views

### Open problems with monetary rewards

Since the old days, many mathematicians have been used to attaching monetary rewards to problems they admit are difficult. Their reasons could be to draw other mathematicians' attention, to express ...

**40**

votes

**12**answers

1k views

### Can a discrete set of the plane of uniform density intersect all large triangles?

Let S be a discrete subset of the Euclidean plane such that the number of points in a large disc is approximately equal to the area of the disc. Does the complement of S necessarily contain triangles ...

**32**

votes

**8**answers

4k views

### Series whose convergence is not known

For most of the mathematical concepts I learn, it has more or less always been possible to find (at least google and find) unsolved problems pertaining to that specific concept. Keeping a bag of ...

**25**

votes

**4**answers

4k views

### Are nontrivial integer solutions known for $x^3+y^3+z^3=3$?

The Diophantine equation
$$x^3+y^3+z^3=3$$
has four easy integer solutions: $(1,1,1)$ and the three permutations of $(4,4,-5)$. Elsenhans and Jahnel wrote in 2007 that these were all the solutions ...

**16**

votes

**5**answers

2k views

### Number of valid topologies on a finite set of n elements

I've heard that the problem of counting topologies is hard, but I couldn't really find anything about it on the rest of the internet. Has this problem been solved? If not, is there some feature that ...

**25**

votes

**4**answers

1k views

### Surfaces filled densely by a geodesic

Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no
single geodesic $\gamma$ that fills $S$ densely?
Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points
...

**21**

votes

**4**answers

10k views

### Does pi contain 1000 consecutive zeroes (in base 10)?

The motivation for this question comes from the novel Contact by Carl Sagan. Actually, I haven't read the book myself. However, I heard that one of the characters (possibly one of those aliens at ...

**18**

votes

**0**answers

737 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...

**15**

votes

**2**answers

807 views

### Minimal graphs with a prescribed number of spanning trees

As its long ago since Erdős died and mathoverflow is the second best alternative to him (for discussing personal problems), I'd like to start a fruitful discussion about the following problem ...

**11**

votes

**1**answer

1k views

### Is $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$ correct, where $n$ is an integer?

Is it true that $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$, where $n$
runs over the integers?
The existence of the limes inferior follows from Dirichlet's approximation theorem,
but the ...

**9**

votes

**2**answers

765 views

### Is the Steiner ratio Gilbert–Pollak conjecture still open?

Gilbert-Pollak conjecture on the Steiner ratio: Consider a set $P$ of $n$ points on the euclidean plane. A shortest
network interconnecting $P$ must be a tree, which is called a Steiner minimum ...

**7**

votes

**9**answers

1k views

### Not especially famous, long-open problems which higher mathematics beginners can understand

This is a pair to
Not especially famous, long-open problems which anyone can understand
So this time I'm asking for open questions so easy to state for students of subjects such as undergraduate ...

**2**

votes

**2**answers

310 views

### If all real conjugacy classes are strongly real, then all real irreps are “strongly real”(symmetric), true ?

Question Is true that if all real conjugacy classes of a finite group are strongly real, then all its real irreducible representations (irreps) are "strongly real"(symmetric) ? And vice verse ?
...

**1**

vote

**1**answer

195 views

### relationship between corner tile and edge tile of wang tile

It is clear that any corner type of Wang Tile could be converted to edge type of Wang Tile by defining the edge color according to the corner color.
However, could we convert edge type of Wang Tile ...

**327**

votes

**2**answers

25k views

### Polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$?

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

**197**

votes

**7**answers

12k views

### Polynomial representing all nonnegative integers

Lagrange proved that every nonnegative integer is a sum of 4 squares.
Gauss proved that every nonnegative integer is a sum of 3 triangular numbers.
Is there a 2-variable polynomial $f(x,y) \in ...

**153**

votes

**8**answers

7k views

### Two commuting mappings in the disk

Suppose that $f$ and $g$ are two commuting continuous mappings from the closed unit disk (or, if you prefer, the closed unit ball in $R^n$) to itself. Does there always exist a point $x$ such that ...

**39**

votes

**13**answers

5k views

### What are some of the big open problems in 3-manifold theory?

From what I understand, the geometrization theorem and its proof helped to settle a lot of outstanding questions about the geometry and topology of 3-manifolds, but there still seems to be quite a lot ...

**57**

votes

**1**answer

3k views

### Nontrivial finite group with trivial group homologies?

I stumbled across this question in a seminar-paper a long time ago:
Does there exist a positive integer $N$ such that if $G$ is a finite group with $\bigoplus_{i=1}^NH_i(G)=0$ then $G=\lbrace ...

**52**

votes

**3**answers

2k views

### Does linearization of categories reflect isomorphism?

Given a category $C$ and a commutative ring $R$, denote by $RC$ the $R$-linearization: this is the category enriched over $R$-modules which has the same objects as $C$, but the morphism module between ...

**51**

votes

**6**answers

9k views

### Is Thompson's Group F amenable?

Last year a paper on the arXiv (Akhmedov) claimed that Thompson's group $F$ is not amenable, while another paper, published in the journal "Infinite dimensional analysis, quantum probability, and ...

**33**

votes

**3**answers

4k views

### Can we cover the unit square by these rectangles?

The following question was a research exercise (i.e. an open problem) in R. Graham, D.E. Knuth, and O. Patashnik, "Concrete Mathematics", 1988, chapter 1.
It is easy to show that
$$\sum_{1 \leq k } ...

**25**

votes

**2**answers

2k views

### Open problems/questions in representation theory and around ?

What are open problems in representation theory ?
What are the sources (books/papers/sites) discussing this ?
Any kinds of problems/questions are welcome - big/small, vague/concrete.
Some estimation ...

**40**

votes

**4**answers

6k views

### Do there exist chess positions that require exponentially many moves to reach?

By "chess" here I mean chess played on an $n\times n$ board with an unbounded number of (non-king) pieces. Some care is needed if you want to generalize some of the subtler rules of chess to an ...

**16**

votes

**9**answers

4k views

### Open Questions in Riemannian Geometry

What are some major open problems in Riemannian Geometry? I tried googling it, but couldn't find any resources.

**16**

votes

**0**answers

449 views

### Avoidable words

Let $u(x_1,...,x_n)$ be a word, $k\in \mathbb{N}$. We say that $u$ is $k$-avoidable if there exists an infinite word in $k$ letters $\{a_1,...,a_k\}$ which does not contain values of $u$ (i.e. words ...

**17**

votes

**3**answers

1k views

### What is Chern-Simons theory expected to assign to a point?

Let $G$ be a compact, connected, (simply connected?) Lie group and let $k \in H^4(BG, \mathbb{Z})$ be a cohomology class. Witten showed, at a physical level of rigor, that this data determines a ...

**37**

votes

**1**answer

1k views

### improving known bounds for Pierce expansions; cash prize

Here's a problem that I thought of back in 1978 or so, and only a little progress has been made on it since then. I still think about it from time to time, but probably not that many people have ...

**33**

votes

**0**answers

520 views

### Which region in the plane with a given area has the most domino tilings?

I just finished teaching a class in combinatorics in which I included a fairly easy upper bound on the number of domino tilings of a region in the plane as a function of its area. So this led to ...

**19**

votes

**1**answer

898 views

### A Question on 1, 2 ,3 Conjecture

The 1, 2, 3 conjecture is well-known:
If $G$ is a simple graph which is not $K_2$ then one can assign a number among $1, 2, 3$ to every edge such that if we label each vertex with the sum of the ...

**18**

votes

**2**answers

4k views

### Is the Invariant Subspace Problem interesting?

There's an amusing comment in Peter Lax's Functional Analysis book. After a brief description of the Invariant Subspace Problem, he says (paraphrasing) "...this question is still open. It is also an ...

**23**

votes

**1**answer

1k views

### Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle

Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely:
Question: (Furstenberg) Let $\mu$ be a ...

**19**

votes

**2**answers

1k views

### unboundedness of number of integral points on elliptic curves?

If $E/\mathbf{Q}$ is an elliptic curve and we put it into minimal Weierstrass form, we can count how many integral points it has. A theorem of Siegel tells us that this number $n(E)$ is finite, and ...

**10**

votes

**2**answers

543 views

### A group action of the Heisenberg group with special symmetries

Suppose we look at the Heisenberg group $H_{d}$ as a matrix group of upper triangular matrices over the ring $\mathbb{Z}/d\mathbb{Z}$. You can even choose $d$ to be prime if you want. A natural ...

**30**

votes

**4**answers

2k views

### Factorials in Pascals Triangle

Hi,
I asked this question of Keith Conrad, and he suggested that I try posting here. One of my students observed that the only instances of factorials in the interior of Pascal's triangle are ...

**17**

votes

**6**answers

1k views

### Question on consecutive integers with similar prime factorizations

Suppose that $n=\prod_{i=1}^{k} p_i^{e_i}$ and $m=\prod_{i=1}^{l} q_i^{f_i}$ are prime factorizations of two positive integers $n$ and $m$, with the primes permuted so that $e_1 \le e_2 \cdots \le ...

**15**

votes

**3**answers

2k views

### How to Tackle the Smooth Poincare Conjecture

The last remaining problem in this whole "everything is a sphere" business, is the Smooth Poincare Conjecture in dimension 4: If $X\simeq_\text{homo.eq.} S^4$ then $X\approx_\text{diffeo} S^4$. ...

**20**

votes

**0**answers

979 views

### When is a compact topological 4-manifold a CW complex?

Freedman's $E_8$-manifold is nontriangulable, as proved on page (xvi) of the Akbulut-McCarthy 1990 Princeton Mathematical Notes "Casson's invariant for oriented homology 3-spheres".
Kirby showed that ...

**13**

votes

**1**answer

577 views

### Randomly switching street lights, in a square city

This is a combinatorics-probability question, best stated however in "recreational" terms. Imagine a $N\times N$ city, meaning that we have $N$ horizontal streets, and $N$ vertical streets. At each ...

**12**

votes

**4**answers

9k views

### The Ramanujan Problems.

I originally thought of asking this question at the Mathematics Stackexchange, but then I decided that I'd have a better chance of a good discussion here.
In the Wikipedia page on Ramanujan, there is ...

**8**

votes

**1**answer

684 views

### Transcendentality of all irrationals in the Cantor set

Hi, I am a student researcher trying to prove that all irrationals within the Cantor set are transcendental. This is grounded, intuitively, in Cantor set members' being non-normal; since algebraic ...

**21**

votes

**2**answers

1k views

### Is there a 7-regular graph on 50 vertices with girth 5? What about 57-regular on 3250 vertices?

The following problem is homework of a sort -- but homework I can't do!
The following problem is in Problem 1.F in Van Lint and Wilson:
Let $G$ be a graph where every vertex
has degree $d$. ...

**20**

votes

**0**answers

376 views

### Decidability of equality of elementary expressions

In the following definition the term expression is to be understood as a finite tree built from formal symbols without any predefined meaning assigned to them.
Define the set $\mathcal{E}$ of ...

**11**

votes

**0**answers

297 views

### Generating random finite groups

I would like a method to efficiently generate a random finite group of a given order $n$.
If there are $g(n)$ non-isomorphic groups of order $n$,
ideally each group would occur with probability ...

**9**

votes

**4**answers

1k views

### What are the major open problems in design theory nowaday?

I gather that the question whether the Bruck-Chowla-Ryser condition was sufficient used to top the list, but now that that's settled - what is considered the most interesting open question?