Es wurden einige Anstrengungen unternommen, um das Problem des Graph-Isomorphismus unter Verwendung des Quanten-Zufalls-Walks von Hartkern-Bosonen (symmetrisch, aber ohne Doppelbelegung) zu bekämpfen. Die symmetrische Potenz der Adjazenzmatrix, die vielversprechend erschien, erwies sich in diesem Aufsatz von Amir Rahnamai Barghi und Ilya Ponomarenko für allgemeine Diagramme als unvollständig . Ein anderer ähnlicher Ansatz wurde auch in diesem Artikel von Jamie Smith widerlegt . In beiden Arbeiten verwenden sie die Idee der kohärenten Konfiguration (Schemata) und der alternativen, aber äquivalenten Formulierung der zellulären Algebra (Matrix-Subalgebra, indiziert durch eine endliche Menge, die unter punktweiser Multiplikation, komplexer konjugierter Transponierung und Enthalten abgeschlossen wird) Identitätsmatrix I und All-One-MatrixJ ) jeweils notwendige Gegenargumente zu liefern.
Ich finde es sehr schwierig, diesen Argumenten zu folgen, und selbst wenn ich einzelnen Argumenten vage folge, verstehe ich die Kernidee nicht. Ich würde gerne wissen, ob das Wesentliche der Argumente in allgemeinen Begriffen erklärt werden kann - möglicherweise auf Kosten einer geringen Genauigkeit -, ohne die Sprache der Schematheorie oder der zellulären Algebra zu verwenden.