English
Related papers

Related papers: Obstructions to a general characterization of grap…

200 papers

We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…

General Topology · Mathematics 2024-04-05 Dominikus Noll

A graph is $H$-free if it has no induced subgraph isomorphic to $H$. We characterize all graphs $H$ for which there are only finitely many minimal non-three-colorable $H$-free graphs. Such a characterization was previously known only in the…

Combinatorics · Mathematics 2018-02-08 Maria Chudnovsky , Jan Goedgebeur , Oliver Schaudt , Mingxian Zhong

Following a general program of studying limits of discrete structures, and motivated by the theory of limit objects of converge sequences of dense simple graphs, we study the limit of graph sequences such that every edge is labeled by an…

Combinatorics · Mathematics 2010-10-26 László Lovász , Balázs Szegedy

Let $v(F)$ denote the number of vertices in a fixed connected pattern graph $F$. We show an infinite family of patterns $F$ such that the existence of a subgraph isomorphic to $F$ is expressible by a first-order sentence of quantifier depth…

Computational Complexity · Computer Science 2018-02-08 Oleg Verbitsky , Maksim Zhukovskii

If $G$ is a graph with vertex set $V$, let Conf$_n^{\text{sink}}(G,V)$ be the space of $n$-tuples of points on $G$, which are only allowed to overlap on elements of $V$. We think of Conf$_n^{\text{sink}}(G,V)$ as a configuration space of…

Algebraic Topology · Mathematics 2017-04-19 Eric Ramos

A relational structure is (connected-)homogeneous if every isomorphism between finite (connected) substructures extends to an automorphism of the structure. We investigate notions which generalise (connected-)homogeneity, where…

Combinatorics · Mathematics 2012-07-19 Deborah Lockett

Given a graph $G$ then a subgraph $H$ is $isometric$ if, for every pair of vertices $u,v$ of $H$, we have $d_H(u,v) = d_G(u,v)$. We say a graph $G$ is $distance\ preserving\ (dp)$ if it has an isometric subgraph of every possible order up…

Combinatorics · Mathematics 2015-07-15 Emad Zahedi

We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…

General Topology · Mathematics 2020-12-15 Jan Dudák , Benjamin Vejnar

We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize…

Logic in Computer Science · Computer Science 2023-02-24 Libor Barto , Bertalan Bodor , Marcin Kozik , Antoine Mottet , Michael Pinsker

The topological containment problem is known to be polynomial-time solvable for any fixed pattern graph $H$, but good characterisations have been found for only a handful of non-trivial pattern graphs. The complete graph on five vertices,…

Discrete Mathematics · Computer Science 2017-05-05 Rebecca Robinson , Graham Farr

A trigraph is a graph where each pair of vertices is labelled either 0 (a non-arc), 1 (an arc) or $\star$ (both an arc and a non-arc). In a series of papers, Hell and co-authors proposed to study the complexity of homomorphisms from graphs…

Computational Complexity · Computer Science 2024-07-03 Alexey Barsukov , Mamadou Moustapha Kanté

Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are…

Operator Algebras · Mathematics 2007-05-23 Lisa Orloff Clark

A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the…

Computational Complexity · Computer Science 2019-06-28 Jacob Focke , Leslie Ann Goldberg , Stanislav Zivny

We introduce a family of $C^*$-correspondences $X_\alpha$ naturally associated to every ordinal graph $\Lambda$. When $\Lambda$ is a directed graph, $X_0$ is isomorphic to the usual $C^*$-correspondence associated to a graph. We show that…

Operator Algebras · Mathematics 2026-02-18 Benjamin Jones

The aim of this paper is to give a characterization of path connected topological fields, inspired by the classical Gelfand correspondence between a compact Hausdorff topological space $X$ and the space of maximal ideals of the ring of real…

General Topology · Mathematics 2019-03-20 Xavier Caicedo , Guillermo Mantilla-Soler

A functor from the category of directed trees with inclusions to the category of commutative C*-algebras with injective *-homomorphisms is constructed. This is used to define a functor from the category of directed graphs with inclusions to…

Operator Algebras · Mathematics 2007-05-23 Jack Spielberg

A connected subgraph of a graph is isometric if it preserves distances. In this short note, we provide counterexamples to several variants of the following general question: When a graph $G$ is edge covered by connected isometric subgraphs…

Combinatorics · Mathematics 2025-11-06 Paul Bastide , Julien Duron , Jędrzej Hodor , Weichan Liu , Xiangxiang Nie

The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of…

Quantum Algebra · Mathematics 2010-08-25 James Conant , Ferenc Gerlits , Karen Vogtmann

We investigate which topological spaces can be constructed as topological realisations of higher-rank graphs. We describe equivalence relations on higher-rank graphs for which the quotient is again a higher-rank graph, and show that…

Operator Algebras · Mathematics 2016-06-09 Alex Kumjian , David Pask , Aidan Sims , Michael F. Whittaker

Let $G$ be a finite graph and $\kappa(G)$ the vertex connectivity of $G$. A chordal graph $G$ is called chordal$^*$ if no vertex of $G$ is adjacent to all other vertices of $G$. Using the syzygy theory in commutative algebra, it is proved…

Combinatorics · Mathematics 2025-02-12 Tài Huy Hà , Takayuki Hibi