On the Expressive Power of Homomorphism Counts
A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the number of homomorphisms from F to G coincides with the number of homomorphisms from F to H. Dvorák and later on Dell, Grohe, and Rattan showed t...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science S. 1 - 13 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
29.06.2021
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the number of homomorphisms from F to G coincides with the number of homomorphisms from F to H. Dvorák and later on Dell, Grohe, and Rattan showed that restrictions of the left profile to a class of graphs can capture several different relaxations of isomorphism, including equivalence in counting logics with a fixed number of variables (which contains fractional isomorphism as a special case) and co-spectrality (i.e., two graphs having the same characteristic polynomial). On the other side, a result by Chaudhuri and Vardi asserts that isomorphism is also captured by the right profile, that is, two graphs G and H are isomorphic if and only if for every graph F, the number of homomorphisms from G to F coincides with the number of homomorphisms from H to F. In this paper, we embark on a study of the restrictions of the right profile by investigating relaxations of isomorphism that can or cannot be captured by restricting the right profile to a fixed class of graphs. Our results unveil striking differences between the expressive power of the left profile and the right profile. We show that fractional isomorphism, equivalence in counting logics with a fixed number of variables, and co-spectrality cannot be captured by restricting the right profile to a class of graphs. In the opposite direction, we show that chromatic equivalence cannot be captured by restricting the left profile to a class of graphs, while, clearly, it can be captured by restricting the right profile to the class of all cliques. |
|---|---|
| AbstractList | A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the number of homomorphisms from F to G coincides with the number of homomorphisms from F to H. Dvorák and later on Dell, Grohe, and Rattan showed that restrictions of the left profile to a class of graphs can capture several different relaxations of isomorphism, including equivalence in counting logics with a fixed number of variables (which contains fractional isomorphism as a special case) and co-spectrality (i.e., two graphs having the same characteristic polynomial). On the other side, a result by Chaudhuri and Vardi asserts that isomorphism is also captured by the right profile, that is, two graphs G and H are isomorphic if and only if for every graph F, the number of homomorphisms from G to F coincides with the number of homomorphisms from H to F. In this paper, we embark on a study of the restrictions of the right profile by investigating relaxations of isomorphism that can or cannot be captured by restricting the right profile to a fixed class of graphs. Our results unveil striking differences between the expressive power of the left profile and the right profile. We show that fractional isomorphism, equivalence in counting logics with a fixed number of variables, and co-spectrality cannot be captured by restricting the right profile to a class of graphs. In the opposite direction, we show that chromatic equivalence cannot be captured by restricting the left profile to a class of graphs, while, clearly, it can be captured by restricting the right profile to the class of all cliques. |
| Author | Atserias, Albert Kolaitis, Phokion G. Wu, Wei-Lin |
| Author_xml | – sequence: 1 givenname: Albert surname: Atserias fullname: Atserias, Albert organization: Universitat Politècnica de Catalunya,Barcelona, Catalonia,Spain – sequence: 2 givenname: Phokion G. surname: Kolaitis fullname: Kolaitis, Phokion G. organization: University of California Santa Cruz and IBM Research,USA – sequence: 3 givenname: Wei-Lin surname: Wu fullname: Wu, Wei-Lin organization: University of California Santa Cruz,USA |
| BookMark | eNotj8tKxDAUQCMoqGO_QJD8QOvNO1lKGZ2BwgjqekjSW6ZiHyT19fcOOJzF2R041-R8nEYk5I5BxRi4-2ZbvyjOtaw4cFY5aUBJcUYKZyzTWklpndKXpMj5HQC4NQykuyLVbqTLAen6Z06Yc_-F9Hn6xkSnjm6m4UiaD30eaD19jku-IRed_8hYnLwib4_r13pTNrunbf3QlF4Is5Q2RiaFd2i9QsYBPLa2E1FzzTvmA7c2tm2Q0UHgEl1QpoUQtFJRg41OrMjtf7dHxP2c-sGn3_3pSvwBf_9Exw |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470543 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 13 |
| ExternalDocumentID | 9470543 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a337t-8cc143a9e8a5e1200aed8f3c6262f1ab288cddb4c90b24e9b57d0bb655c608c93 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 6 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400018&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:23:08 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a337t-8cc143a9e8a5e1200aed8f3c6262f1ab288cddb4c90b24e9b57d0bb655c608c93 |
| OpenAccessLink | http://hdl.handle.net/2117/359548 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_9470543 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.2293594 |
| Snippet | A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Computer science |
| Title | On the Expressive Power of Homomorphism Counts |
| URI | https://ieeexplore.ieee.org/document/9470543 |
| WOSCitedRecordID | wos000947350400018&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3Pa8MgFH60ZYeduq0d-42HHZc2iSbqubR0ULrCNuitqHlCD01Gm5b9-dMk6xjsMryo8BCfPvx8vs8H8ChDGadU8cByhQHTPAm0oFnArEMTrolJvdIzPp-L5VIuWvB05MIgYhV8hgNfrd7ys8LsvatsKBl3CIO2oc05r7laR3-KR_4O7TYk4CiUw9nz6NWjC-85iaNBI_wri0p1iEy6_xv-DPo_bDyyOJ4z59DC_AK63-kYSGOdPRi85MTBOTL-rINbD07M50AjhSXTYuOK0-l6tyGeh17u-vA-Gb-NpkGTDiFQlPIyEMY4cKMkCpVg5Ha3wkxYatyVJLaR0rEQJss0MzLUMUOpE56FWqdJYtJQGEkvoZMXOV4BoTFGOlWoNUqWCq2ltOhs3WbGJixl19Dz01991D9erJqZ3_zdfQunXsM-gCqWd9Apt3u8hxNzKNe77UO1TF_sfZNT |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA9zCnqauonf9uDRbm0-2uQ8Njasc-CE3UaSvsAOa2Xrhn--SVsnghfJJQk8SF7yyC8v75eH0KMIBI6IjH0TS_CpipmvOEl9aiyasE1g1Uon8WTC53MxbaCnPRcGAMrgM-i6avmWn-Z661xlPUFjizDIATpklOKwYmvtPSoO-1u8W9OAw0D0knH_zeEL5zvBYbcW_5VHpTxGhq3_DeAUdX74eN50f9KcoQZk56j1nZDBq-2zjbqvmWcBnTf4rMJbd1bMZUHzcuON8pUtVqvLzcpzTPRi00Hvw8GsP_LrhAi-JCQufK61hTdSAJcMQru_JaTcEG0vJdiEUmHOdZoqqkWgMAWhWJwGSkWM6SjgWpAL1MzyDC6RRzCEKpKgFAgacaWEMGCt3aTaMBrRK9R20198VH9eLOqZX__d_YCOR7OXZJGMJ8836MRp24VTYXGLmsV6C3foSO-K5WZ9Xy7ZF8e2lpo |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=On+the+Expressive+Power+of+Homomorphism+Counts&rft.au=Atserias%2C+Albert&rft.au=Kolaitis%2C+Phokion+G.&rft.au=Wu%2C+Wei-Lin&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470543&rft.externalDocID=9470543 |