Widerlegte die Quantum-Hedetniemi-Vermutung durch die Konstruktion expliziter endlicher Graphen, wobei χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, mit formal verifizierten Gegenbeispielen in Lean 4.
@informaq-de.bsky.social
@informaq-de.bsky.socialWiderlegte die Quantum-Hedetniemi-Vermutung durch die Konstruktion expliziter endlicher Graphen, wobei χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, mit formal verifizierten Gegenbeispielen in Lean 4.
@informaq-de.bsky.socialNeuartige nicht-rekursive Methode zur Berechnung von Off-Diagonal-Wärmekern-Expansionen in der Quantenfeldtheorie gekoppelt an elektromagnetische Felder, mit geschlossenen Ausdrücken validiert gegen bekannte Fälle.
@informaq-de.bsky.socialQuantitative Verfeinerung des Verhaltens des atomaren Grundzustands in Zwei-Cluster-Regionen: beweist Konvergenzraten für N-Teilchen-Coulomb-Hamiltonoperatoren mit expliziten Fehlerschranken und führt die grundlegende Quantenmechanik-Theorie voran.