Symmetry and Similarity

Projektinformationen

SymSim

ID Finanzhilfevereinbarung: 101054974

DOI

10.3030/101054974

EK-Unterschriftsdatum 30 Mai 2022

Startdatum 1 Oktober 2022

Enddatum 30 September 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 495 575,00

EU-Beitrag

€ 2 495 575,00

Koordiniert durch

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (14)

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

Autoren: van Bergerem, Steffen; Grohe, Martin; Kiefer, Sandra; Oeljeklaus, Luca Frédéric Tilmann
Veröffentlicht in: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 – 29 June 2023, Boston, USA, 2023<br/>38. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, Boston, MA, USA, 2023-06-26 - 2023-06-29, 2023
Herausgeber: IEEE
DOI: 10.48550/arxiv.2304.12948

Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Autoren: Lichter, Moritz; Pago, Benedikt Thomas; Seppelt, Tim Frederik
Veröffentlicht in: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silva<br/>32. EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, 2024-02-19 - 2024-02-23, 2024
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2308.05693

An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Autoren: Seppelt, Tim Frederik
Veröffentlicht in: 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2402.08989

The Complexity of Homomorphism Reconstructibility

Autoren: Böker, Jan Wilhelm; Härtel, Louis; Runde, Nina Katrin; Seppelt, Tim Frederik; Standke, Christoph
Veröffentlicht in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2023
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
DOI: 10.48550/arxiv.2310.09009

Position: Future Directions in the Theory of Graph Machine Learning

Autoren: Christopher Morris, Fabrizio Frasca, Nadav Dym, Haggai Maron, Ismail Ilkan Ceylan, Ron Levie, Derek Lim, Michael M. Bronstein, Martin Grohe, Stefanie Jegelka
Veröffentlicht in: 41st International Conference on Machine Learning, 2024
Herausgeber: MLR Press

The Descriptive Complexity of Graph Neural Networks

Autoren: Grohe, Martin
Veröffentlicht in: Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Herausgeber: IEEE
DOI: 10.48550/arxiv.2303.04613

Are Targeted Messages More Effective?

Autoren: Martin Grohe, Eran Rosenbluth
Veröffentlicht in: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Herausgeber: ACM
DOI: 10.48550/arXiv.2403.06817

Fine-grained Expressivity of Graph Neural Networks

Autoren: Böker, Jan; Levie, Ron; Huang, Ningyuan; Villar, Soledad; Morris, Christopher
Veröffentlicht in: Advances in Neural Information Processing Systems, 2023
Herausgeber: MLR Press

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Autoren: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Veröffentlicht in: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023
Herausgeber: IEEE
DOI: 10.48550/arxiv.2308.11970

The Iteration Number of the Weisfeiler-Leman Algorithm

Autoren: Martin Grohe, Moritz Lichter, Daniel Neuen
Veröffentlicht in: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024
Herausgeber: IEEE
DOI: 10.48550/arXiv.2301.13317

Isomorphism for Tournaments of Small Twin Width

Autoren: Martin Grohe and Daniel Neuen
Veröffentlicht in: Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2312.02048

Some Thoughts on Graph Similarity

Autoren: Martin Grohe
Veröffentlicht in: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I, 2024
Herausgeber: Springer
DOI: 10.48550/ARXIV.2411.10182

WL meet VC

Autoren: Morris, Christopher; Geerts, Floris; Tönshoff, Jan; Grohe, Martin
Veröffentlicht in: Proceedings of the 40th International Conference on Machine Learning (PMLR), 2023, Honolulu, Hawaii, USA., 2023
Herausgeber: MLR Press

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Autoren: Fluck, Eva; Seppelt, Tim Frederik; Spitzer, Gian Luca
Veröffentlicht in: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silvapages, 2023
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2308.06044

Peer reviewed articles (4)

Where Did the Gap Go? Reassessing the Long-Range Graph Benchmark

Autoren: Jan Tönshoff, Martin Ritzert, Eran Rosenbluth, Martin Grohe
Veröffentlicht in: Transactions on Machine Learning Research, 2024, ISSN 2835-8856
Herausgeber: MLR Press
DOI: 10.48550/ARXIV.2309.00367

Logical equivalences, homomorphism indistinguishability, and forbidden minors

Autoren: Tim Seppelt
Veröffentlicht in: Information and Computation, Ausgabe 301, 2024, ISSN 0890-5401
Herausgeber: Elsevier BV
DOI: 10.48550/arXiv.2302.11290

Weisfeiler-Leman Indistinguishability of Graphons

Autoren: Jan Böker
Veröffentlicht in: The Electronic Journal of Combinatorics, Ausgabe 30, 2023, ISSN 1077-8926
Herausgeber: The Electronic Journal of Combinatorics
DOI: 10.37236/10973

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Autoren: David E. Roberson, Tim Seppelt
Veröffentlicht in: TheoretiCS, Ausgabe Volume 3, 2024, ISSN 2751-4838
Herausgeber: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.20

Other (5)

The Parameterized Complexity of Learning Monadic Second-Order Logic

Autoren: van Bergerem, Steffen; Grohe, Martin; Runde, Nina
Veröffentlicht in: 2023
Herausgeber: arxiv.org
DOI: 10.48550/arxiv.2309.10489

Computational complexity of the Weisfeiler-Leman dimension

Autoren: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Veröffentlicht in: 2024
Herausgeber: arxiv.org
DOI: 10.48550/arxiv.2402.11531

Structural Node Embeddings with Homomorphism Counts

Autoren: Wolf, Hinrikus; Oeljeklaus, Luca Frédéric Tilmann; Kühner, Pascal; Grohe, Martin
Veröffentlicht in: 2023
Herausgeber: arxiv.org
DOI: 10.48550/arxiv.2308.15283

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism

Autoren: Christoph Berkholz and Moritz Lichter and Harry Vinall-Smeeth
Veröffentlicht in: 2024
Herausgeber: arxiv.org
DOI: 10.48550/ARXIV.2407.17947

Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

Autoren: Moritz Lichter and Benedikt Pago
Veröffentlicht in: 2024
Herausgeber: arxiv.org
DOI: 10.48550/ARXIV.2407.09097