Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

46 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openarXiv · Commutative algebra

Zariski Cancellation

The Zariski Cancellation Problem: every polynomial ring over a field k of characteristic 0 is cancellative.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Algebraic geometry

Hartshorne Conjecture

There are no indecomposable vector bundles of rank 2 on Pn\mathbb{P}^n for n7n \ge 7. This is Conjecture 6.3 in [Har1974].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Algebraic geometry

Jacobian conjecture

The Jacobian Conjecture: any regular function (i.e. vector valued polynomial function from) kⁿ → kᵐ whose Jacobian is a non-zero constant has an inverse that is given by a regular function, where k is a field of characteristic 0

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=4D = 4, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=5D = 5, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and all D3D \geq 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=8N = 8 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=4D = 4, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=5D = 5, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=6D = 6, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=7D = 7, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=8D = 8, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=9D = 9, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=12N = 12 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=14N = 14 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=16N = 16 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For all even N6N \geq 6 and D3D \geq 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem