Monochromatic quantum graphs (inherited vertex colorings)
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and all , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For all even and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For and , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For and all , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For and , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For and , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For all even and , does there exist no solution to the monochromatic quantum graph equation system over with weights in ?
For a graph , we define to be the maximum degree, to be the size of the largest clique subgraph, and to be the chromatic number. Reed's omega, delta, and chi conjecture states that
For a finite graph , we define to be the maximum degree, to be the size of the largest clique subgraph, and to be the chromatic number. Reed's omega, delta, and chi conjecture states that
The simplest open case is when and .
For any tree with edges, the complete graph decomposes into edge-disjoint copies of .
A "copy" of is the image of under a vertex embedding ; the copies are pairwise edge-disjoint and together cover every edge of .
The Beck–Fiala conjecture*
There exists a universal constant such that every set system of degree at most admits a colouring with for every .
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.
No closed-form expression that allows efficient computation of Dedekind numbers is currently known.
In particular, the Dedekind number for n = 10 is currently unknown.