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.1194 of 1194 statement records
17 source collections · 43 mathematical fields
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
There exists such that for all .}
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Standard heuristics suggest that for some constant .
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Can every integer be written as for some and ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Can every square be written as for some and ?
For all even and , does there exist no solution to the monochromatic quantum graph equation system over ?
Can be written as for some and ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Can be written as for some and ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Estimate - lower bound.
For and all , does there exist no solution to the monochromatic quantum graph equation system over ?
Estimate - upper bound.
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
In particular, is it true that ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
Let n be sufficiently large. Is there some choice of congruence class a_p for all primes
2 ≤ p ≤ n such that every integer in [1,n] satisfies at least two of the congruences
≡ a_p (mod p)?