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

373 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 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 openWikipedia · Combinatorics

Beck–Fiala theorem and conjecture

The Beck–Fiala conjecture*

There exists a universal constant C>0C > 0 such that every set system S1,,Sm[n]S_1, \dots, S_m \subseteq [n] of degree at most tt admits a colouring χ ⁣:[n]{1,+1}\chi \colon [n] \to \{-1, +1\} with jSiχ(j)Ct\left|\sum_{j \in S_i} \chi(j)\right| \le C \sqrt{t} for every ii.

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

Conway's 99-graph problem

Does there exist an undirected graph with 99 vertices, in which each two adjacent vertices have exactly one common neighbor, and in which each two non-adjacent vertices have exactly two common neighbors? Equivalently, every edge should be part of a unique triangle and every non-adjacent pair should be one of the two diagonals of a unique 4-cycle. The first condition is equivalent to being locally linear.

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

Dedekind Numbers

No closed-form expression that allows efficient computation of Dedekind numbers is currently known.

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

Dedekind Numbers

In particular, the Dedekind number for n = 10 is currently unknown.

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

Babai–Seress Conjectures on the Diameter of Finite Groups

Babai–Seress Conjecture (Conjecture 1.5)**: There exists an absolute constant CC such that the diameter of the alternating group AnA_n satisfies diam(An)nC.\operatorname{diam}(A_n) \leq n^C. Reference: L. Babai and Á. Seress, On the diameter of permutation groups, European Journal of Combinatorics 13 (1992), Conjecture 1.5

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

Babai–Seress Conjectures on the Diameter of Finite Groups

Babai–Seress Conjecture (Conjecture 1.7)**: There exists an absolute constant CC such that every finite simple non-abelian group GG satisfies diam(G)(logG)C.\operatorname{diam}(G) \leq (\log |G|)^C. Reference: L. Babai and Á. Seress, On the diameter of permutation groups, European Journal of Combinatorics 13 (1992), Conjecture 1.7

Source checked Jul 26, 20261 pinned Lean statementInspect problem