Resources / preprint
Topological and Geometric Perspectives on Homomorphism Indistinguishability GKM19DHQTM
| URI | m2://res/GKM19DHQTM |
|---|
| Kind | preprint |
|---|
| Creators | Josse van Dobben de Bruyn, Jérémie Marquès, David E. Roberson, Tim Seppelt, Gian Luca Spitzer, Peter Zeman |
|---|
| Date | 2026-10-06 |
|---|
| MSC | 05-XX |
|---|
| Subjects | arxiv math.CO, arxiv cs.DM, arxiv cs.LO |
|---|
| Scope | in |
|---|
Expressions
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|
| 2FDWNWW6M8 | example | example 6.42 | arxiv |
| 2Z6SH9DYCW | statement | proposition 6.7 | arxiv |
| 3YK88F0VCV | example | example 6.40 | arxiv |
| 45ZH8WS3X6 | statement | lemma A.1 | arxiv |
| 4BYZQ0TYFH | statement | lemma 8.4 | arxiv |
| 4EZ6CC9CMT | definition | definition 4.5 | arxiv |
| 4R8NM6GJMG | statement | proposition 6.13 | arxiv |
| \textcite{Lang_1952 | statement | theorem 6.20 | arxiv |
| 5Z8GV94VMB | statement | corollary 4.4 | arxiv |
| 5ZQ1ZWPAR4 | statement | fact 8.3 | arxiv |
| 67PXDHDH8X | definition | definition 6.29 | arxiv |
| restate=lemCl, label=lem:ideal-cl | statement | lemma 3.5 | arxiv |
| restate=exRank,label=ex:rank | example | example 3.2 | arxiv |
| 79CTGH2WH2 | statement | lemma 6.28 | arxiv |
| 7D55M2XMFY | statement | lemma 6.2 | arxiv |
| restate=exUlam, label=ex:ulam | example | example 3.8 | arxiv |
| 8YANMPJ62V | statement | lemma 4.2 | arxiv |
| 9QJCHSXHD4 | statement | theorem 6.27 | arxiv |
| B7RDEKT3X3 | definition | definition 6.32 | arxiv |
| B945NXFKA7 | statement | corollary 7.5 | arxiv |
| BCN6GSZHMT | statement | corollary 9.3 | arxiv |
| restate=thmPhi, label=thm:semiring-hom-congruence | statement | theorem 3.1 | arxiv |
| restate=thmAxiom,label=thm:axiomatisation | statement | theorem 3.6 | arxiv |
| C73SKBS4V2 | statement | proposition 6.1 | arxiv |
| CQ07PBG0M8 | definition | definition 6.17 | arxiv |
| \textcite{roberson_oddomorphisms_2022 | definition | definition 4.1 | arxiv |
| EER7MW05N9 | statement | lemma 6.30 | arxiv |
| F2GZD8CRVQ | statement | lemma 6.8 | arxiv |
| FD94NRCZ8N | statement | lemma 9.2 | arxiv |
| cf.\ | statement | lemma 6.39 | arxiv |
| restate=thmRadInt,label=thm:radical-intersection | statement | theorem 3.4 | arxiv |
| H8QF7T4VTQ | definition | definition 8.5 | arxiv |
| restate=lemCideals, label=lem:c-ideals | statement | lemma 6.15 | arxiv |
| label=thm:axiomatisation-simple,restate=thmAxiomSimp | statement | theorem 3.7 | arxiv |
| \textcite{lovasz_operations_1967 | statement | theorem 6.33 | arxiv |
| J4RVFXKRDQ | statement | corollary 6.35 | arxiv |
| JBGEXH4YAV | statement | lemma 6.38 | arxiv |
| Hilbert's Nullstellensatz for Semiring Algebras | statement | theorem 6.19 | arxiv |
| JMXSSFH7J2 | statement | lemma 6.18 | arxiv |
| \textcite{lovasz_operations_1967,chaudhuri_optimization_1993 | statement | theorem 9.4 | arxiv |
| MHZXJYHQ61 | statement | lemma 7.4 | arxiv |
| label=prop:frechet,restate=propFrechet | statement | proposition 4.6 | arxiv |
| restate=thmSemiringHomChar,label=thm:characterisation-semiring-homs | statement | theorem 3.3 | arxiv |
| NE9DC4CBG8 | statement | lemma 6.37 | arxiv |
| NM45N9AM3J | statement | lemma 9.1 | arxiv |
| NY2PSBBTRY | statement | lemma 8.2 | arxiv |
| \textcite{lovasz_cancellation_1971}, cf.\ | statement | lemma 7.3 | arxiv |
| S2PQ0YX4TN | statement | lemma 7.2 | arxiv |
| S9MDQ1F0V9 | statement | lemma 6.36 | arxiv |
| label=lem:componental-closed,restate=lemComponentalClosed | statement | lemma 4.3 | arxiv |
| \textcite[Question 1]{roberson_oddomorphisms_2022 | problem | problem 8.1 | arxiv |
| V3FQYPSRQ4 | statement | proposition 6.41 | arxiv |
| VCEYHZM8WQ | statement | lemma 7.1 | arxiv |
| label=prop:disconnected-noncompact,restate=propDisconnected | statement | proposition 4.7 | arxiv |
| WNT3KTG2P9 | statement | lemma 6.16 | arxiv |
| XS5VE24NGB | statement | lemma 6.34 | arxiv |
| YFAGT7Y4VW | statement | lemma 6.25 | arxiv |
| YJHC6356BD | statement | lemma 2.1 | arxiv |
| YYXGTGHXBZ | statement | lemma 6.26 | arxiv |
Catalogue records
- arxiv: 2610.07927 (work)
- arxiv_text: 2610.07927 (work)
