Planar graphs with separation are dp-minimal
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
Discover
Research tools
Network
Opportunities
Account
Source author record
Javier de la Nuez González appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.