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 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 .
Let .
If is even (equivalently or ),
then under optimal play the game Catch-Up($\{1, \ldots, N\}$) ends in a draw.
Every even number greater than 4208 is the sum of two twin primes.
For all ,
This appears as B44 "Sums of factorials." in Unsolved Problems in Number Theory by Richard K. Guy
This statement can be reduced to the prime case only.
An equivalent formulation in terms of the gcd of and .