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

82 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
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 Z\mathbb{Z}?

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 Z\mathbb{Z}?

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 Z\mathbb{Z}?

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 Z\mathbb{Z}?

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 Z\mathbb{Z}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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 Z\mathbb{Z} with weights in {1,0,1}\{-1, 0, 1\}?

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

Reed's omega, delta, and chi conjecture

For a graph GG, we define Δ(G)\Delta(G) to be the maximum degree, ω(G)\omega(G) to be the size of the largest clique subgraph, and χ(G)\chi(G) to be the chromatic number. Reed's omega, delta, and chi conjecture states that χ(G)12(ω(G)+Δ(G)+1).\chi(G) \leq \lceil \frac{1}{2}(\omega(G) + \Delta(G) + 1) \rceil.

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

Reed's omega, delta, and chi conjecture

For a finite graph GG, we define Δ(G)\Delta(G) to be the maximum degree, ω(G)\omega(G) to be the size of the largest clique subgraph, and χ(G)\chi(G) to be the chromatic number. Reed's omega, delta, and chi conjecture states that χ(G)12(ω(G)+Δ(G)+1).\chi(G) \leq \lceil \frac{1}{2}(\omega(G) + \Delta(G) + 1) \rceil.

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

Reed's omega, delta, and chi conjecture

The simplest open case is when Δ(G)=6\Delta(G) = 6 and ω(G)=2\omega(G) = 2.

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

Ringel's Conjecture

For any tree TT with nn edges, the complete graph K2n+1K_{2n+1} decomposes into 2n+12n+1 edge-disjoint copies of TT.

A "copy" of TT is the image T.map(fi)T.\text{map}(f_i) of TT under a vertex embedding fi:VFin(2n+1)f_i : V \hookrightarrow \text{Fin}(2n+1); the copies are pairwise edge-disjoint and together cover every edge of K2n+1K_{2n+1}.

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

The Catch-Up game and conjecture

Let TN=k=1Nk=N(N+1)2T_N = \sum_{k=1}^{N} k = \frac{N(N+1)}{2}. If TNT_N is even (equivalently N0(mod4)N \equiv 0 \pmod 4 or N3(mod4)N \equiv 3 \pmod 4), then under optimal play the game Catch-Up($\{1, \ldots, N\}$) ends in a draw.

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

Dubner's conjecture

Every even number greater than 4208 is the sum of two twin primes.

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

Kurepa's conjecture

Kurepa's conjecture

For all nn, !n≢0modn!n\not\equiv 0 \mod n

This appears as B44 "Sums of factorials." in Unsolved Problems in Number Theory by Richard K. Guy

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

Kurepa's conjecture: Prime

This statement can be reduced to the prime case only.

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

Kurepa's conjecture: Gcd

An equivalent formulation in terms of the gcd of n!n! and !n!n.

Source checked Jul 26, 20261 pinned Lean statementInspect problem