Unsolved Problems

Showing 1-34 of 34 problems

OPG-37283
Open

Finite Lattice Representation Problem

Conjecture There exists a finite lattice which is not the congruence lattice of a finite algebra....

L3
Algebra
OPG-725
Open

$C^r$ Stability Conjecture

Conjecture Any $C^r$ structurally stable diffeomorphism is hyperbolic....

L3
Analysis
OPG-351
Open

Diagonal Ramsey numbers

Let $R(k,k)$ denote the $k^{th}$ diagonal Ramsey number. Conjecture $\lim_{k \rightarrow \infty} R(k,k) ^{\frac{1}{k}}$ exists. Problem Determine th...

L3
Combinatorics
OPG-1768
Open

Jacobian Conjecture

Conjecture Let $k$ be a field of characteristic zero. A collection $f_1,\ldots,f_n$ of polynomials in variables $x_1,\ldots,x_n$ defines an automorphi...

L3
Geometry
OPG-1803
Open

The Hodge Conjecture

Conjecture Let $X$ be a complex projective variety. Then every Hodge class is a rational linear combination of the cohomology classes of complex subva...

L3
Geometry
OPG-658
Open

Reconstruction conjecture

The deck of a graph $G$ is the multiset consisting of all unlabelled subgraphs obtained from $G$ by deleting a vertex in all possible ways (counted ac...

L3
Graph Theory
OPG-137
Open

Cycle double cover conjecture

Conjecture For every graph with no bridge, there is a list of cycles so that every edge is contained in exactly two....

L3
Graph Theory
OPG-142
Open

The Berge-Fulkerson conjecture

Conjecture If $G$ is a bridgeless cubic graph, then there exist 6 perfect matchings $M_1,\ldots,M_6$ of $G$ with the property that every edge of $G$ i...

L3
Graph Theory
OPG-126
Open

5-flow conjecture

Conjecture Every bridgeless graph has a nowhere-zero 5-flow....

L3
Graph Theory
OPG-46385
Open

Caccetta-Häggkvist Conjecture

Conjecture Every simple digraph of order $n$ with minimum outdegree at least $r$ has a cycle with length at most $\lceil n/r\rceil$...

L3
Graph Theory
OPG-760
Open

Burnside problem

Conjecture If a group has $r$ generators and exponent $n$, is it necessarily finite?...

L3
Group Theory
OPG-3572
Open

Inverse Galois Problem

Conjecture Every finite group is the Galois group of some finite algebraic extension of $\mathbb Q$....

L3
Group Theory
OPG-37302
Open

Which lattices occur as intervals in subgroup lattices of finite groups?

Conjecture There exists a finite lattice that is not an interval in the subgroup lattice of a finite group....

L3
Group Theory
OPG-2147
Open

Odd perfect numbers

Conjecture There is no odd perfect number....

L3
Number Theory
OPG-36952
Open

Twin prime conjecture

Conjecture There exist infinitely many positive integers $n$ so that both $n$ and $n+2$ are prime....

L3
Number Theory
OPG-37289
Open

Polignac's Conjecture

Conjecture Polignac's Conjecture: For any positive even number n, there are infinitely many prime gaps of size n. In other words: There are infinitely...

L3
Number Theory
OPG-37423
Open

Birch & Swinnerton-Dyer conjecture

Conjecture Let $E/K$ be an elliptic curve over a number field $K$. Then the order of the zeros of its $L$-function, $L(E, s)$, at $s = 1$ is the Morde...

L3
Number Theory
OPG-367
Open

The Erdos-Turan conjecture on additive bases

Let $B \subseteq {\mathbb N}$. The representation function $r_B: {\mathbb N} \rightarrow {\mathbb N}$ for $B$ is given by the rule $r_B(k) = \#\{ (i,j...

L3
Number Theory
OPG-706
Open

Goldbach conjecture

Conjecture Every even integer greater than 2 is the sum of two primes....

L3
Number Theory
OPG-573
Open

The Riemann Hypothesis

The zeroes of the Riemann zeta function that are inside the Critical Strip (i.e. the vertical strip of the complex plane where the real part of the co...

L3
Number Theory
OPG-1788
Open

Schanuel's Conjecture

Conjecture Given any $n$ complex numbers $z_1,...,z_n$ which are linearly independent over the rational numbers $\mathbb{Q}$, then the extension field...

L3
Number Theory
OPG-37255
Open

Lindelöf hypothesis

Conjecture For any $\epsilon>0$ $$\zeta\left(\frac12 + it\right) \mbox{ is }\mathcal{O}(t^\epsilon).$$ Since $\epsilon$ can be replaced by a smaller ...

L3
Number Theory
OPG-59977
Open

Are there infinite number of Mersenne Primes?

Conjecture A Mersenne prime is a Mersenne number $$ M_n = 2^p - 1 $$ that is prime. Are there infinite number of Mersenne Primes?...

L3
Number Theory
OPG-432
Open

The 3n+1 conjecture

Conjecture Let $f(n) = 3n+1$ if $n$ is odd and $\frac{n}{2}$ if $n$ is even. Let $f(1) = 1$. Assume we start with some number $n$ and repeatedly take ...

L3
Number Theory
OPG-661
Open

P vs. NP

Problem Is P = NP?...

L3
Computer Science
OPG-36892
Open

P vs. PSPACE

Problem Is there a problem that can be computed by a Turing machine in polynomial space and unbounded time but not in polynomial time? More formally, ...

L3
Computer Science
OPG-59968
Open

One-way functions exist

Conjecture One-way functions exist....

L3
Computer Science
OPG-37123
Open

Smooth 4-dimensional Schoenflies problem

Problem Let $M$ be a $3$-dimensional smooth submanifold of $S^4$, $M$ diffeomorphic to $S^3$. By the Jordan-Brouwer separation theorem, $M$ separates ...

L3
Topology
OPG-37125
Open

Smooth 4-dimensional Poincare conjecture

Conjecture If a $4$-manifold has the homotopy type of the $4$-sphere $S^4$, is it diffeomorphic to $S^4$?...

L3
Topology
OPG-37129
Open

Slice-ribbon problem

Conjecture Given a knot in $S^3$ which is slice, is it a ribbon knot?...

L3
Topology
OPG-37145
Open

Which homology 3-spheres bound homology 4-balls?

Problem Is there a complete and computable set of invariants that can determine which (rational) homology $3$-spheres bound (rational) homology $4$-ba...

L3
Topology
OPG-37159
Open

What is the homotopy type of the group of diffeomorphisms of the 4-sphere?

Problem $Diff(S^4)$ has the homotopy-type of a product space $Diff(S^4) \simeq \mathbb O_5 \times Diff(D^4)$ where $Diff(D^4)$ is the group of diffeom...

L3
Topology
OPG-48767
Open

Closing Lemma for Diffeomorphism (Dynamical Systems)

Conjecture Let $f\in Diff^{r}(M)$ and $p\in\omega_{f}$. Then for any neighborhood $V_{f}\subset Diff^{r}(M)$ there is $g\in V_{f}$ such that $p$ is pe...

L3
Topology
OPG-48770
Open

Jacob Palis Conjecture(Finitude of Attractors)(Dynamical Systems)

Conjecture Let $Diff^{r}(M)$ be the space of $C^{r}$ Diffeomorphisms on the connected, compact and boundaryles manifold M and $\chi^{r}(M)$ the space ...

L3
Topology