scholarly journals Distinguishing Number of Countable Homogeneous Relational Structures

10.37236/292 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
C. Laflamme ◽  
L. Nguyen Van Thé ◽  
N. Sauer
Keyword(s):  
Positive Integer ◽  
Random Graph ◽  
Directed Graphs ◽  
Infinite Graphs ◽  
Finite Graphs ◽  
Relational Structures ◽  
Distinguishing Number ◽  
Homogeneous Structures

The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. In early work, Michael Albertson and Karen Collins computed the distinguishing number for various finite graphs, and more recently Wilfried Imrich, Sandi Klavžar and Vladimir Trofimov computed the distinguishing number of some infinite graphs, showing in particular that the Random Graph has distinguishing number 2. We compute the distinguishing number of various other finite and countable homogeneous structures, including undirected and directed graphs, and posets. We show that this number is in most cases two or infinite, and besides a few exceptions conjecture that this is so for all primitive homogeneous countable structures.

scholarly journals Distinguishing Infinite Graphs

10.37236/954 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Wilfried Imrich ◽  
Sandi Klavžar ◽  
Vladimir Trofimov
Keyword(s):  
Random Graph ◽  
Cardinal Number ◽  
Infinite Graphs ◽  
Cartesian Products ◽  
Distinguishing Number

The distinguishing number $D(G)$ of a graph $G$ is the least cardinal number $\aleph$ such that $G$ has a labeling with $\aleph$ labels that is only preserved by the trivial automorphism. We show that the distinguishing number of the countable random graph is two, that tree-like graphs with not more than continuum many vertices have distinguishing number two, and determine the distinguishing number of many classes of infinite Cartesian products. For instance, $D(Q_{n}) = 2$, where $Q_{n}$ is the infinite hypercube of dimension ${n}$.

scholarly journals The Distinguishing Index of Infinite Graphs

10.37236/3933 ◽  
2015 ◽  
Vol 22 (1) ◽  
Author(s):  
Izak Broere ◽  
Monika Pilśniak
Keyword(s):  
Random Graph ◽  
Infinite Graph ◽  
Infinite Graphs ◽  
Distinguishing Number ◽  
General Bound ◽  
Delta G ◽  
Edge Colouring

The  distinguishing index $D^\prime(G)$ of a graph $G$ is the least cardinal $d$ such that $G$ has an edge colouring with $d$ colours that is only preserved by the trivial automorphism. This is similar to the notion of the distinguishing number $D(G)$ of a graph $G$, which is defined with respect to vertex colourings.We derive several bounds for infinite graphs, in particular, we prove the general bound $D^\prime(G)\leq\Delta(G)$ for an arbitrary infinite graph. Nonetheless,  the distinguishing index is at most two for many countable graphs, also for the infinite random graph and for uncountable tree-like graphs.We also investigate the concept of the motion of edges and its relationship with the Infinite Motion Lemma. 

scholarly journals Liftings in Finite Graphs and Linkages in Infinite Graphs with Prescribed Edge-Connectivity

2016 ◽  
Vol 32 (6) ◽  
pp. 2575-2589
Author(s):  
Seongmin Ok ◽  
R. Bruce Richter ◽  
Carsten Thomassen
Keyword(s):  
Infinite Graphs ◽  
Edge Connectivity ◽  
Finite Graphs

scholarly journals Bounding the Distinguishing Number of Infinite Graphs and Permutation Groups

10.37236/3046 ◽  
2014 ◽  
Vol 21 (3) ◽  
Author(s):  
Simon M. Smith ◽  
Mark E. Watkins
Keyword(s):  
Connected Graph ◽  
Automorphism Groups ◽  
Cardinal Number ◽  
Infinite Graph ◽  
Infinite Graphs ◽  
Finite Radius ◽  
Locally Finite ◽  
Distinguishing Number ◽  
Identity Permutation ◽  
Imprimitive Group

A group of permutations $G$ of a set $V$ is $k$-distinguishable if there exists a partition of $V$ into $k$ cells such that only the identity permutation in $G$ fixes setwise all of the cells of the partition. The least cardinal number $k$ such that $(G,V)$ is $k$-distinguishable is its distinguishing number $D(G,V)$. In particular, a graph $\Gamma$ is $k$-distinguishable if its automorphism group $\rm{Aut}(\Gamma)$ satisfies $D(\rm{Aut}(\Gamma),V\Gamma)\leq k$.Various results in the literature demonstrate that when an infinite graph fails to have some property, then often some finite subgraph is similarly deficient. In this paper we show that whenever an infinite connected graph $\Gamma$ is not $k$-distinguishable (for a given cardinal $k$), then it contains a ball of finite radius whose distinguishing number is at least $k$. Moreover, this lower bound cannot be sharpened, since for any integer $k \geq 3$ there exists an infinite, locally finite, connected graph $\Gamma$ that is not $k$-distinguishable but in which every ball of finite radius is $k$-distinguishable.In the second half of this paper we show that a large distinguishing number for an imprimitive group $G$ is traceable to a high distinguishing number either of a block of imprimitivity or of the induced action by $G$ on the corresponding system of imprimitivity. An immediate application is to automorphism groups of infinite imprimitive graphs. These results are companion to the study of the distinguishing number of infinite primitive groups and graphs in a previous paper by the authors together with T. W. Tucker.

scholarly journals Distinguishability of Locally Finite Trees

10.37236/947 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Mark E. Watkins ◽  
Xiangqian Zhou
Keyword(s):  
Positive Integer ◽  
Chromatic Number ◽  
Inverse Image ◽  
Vertex Coloring ◽  
Finite Tree ◽  
Locally Finite ◽  
Distinguishing Number ◽  
Nonidentity Element ◽  
Locally Countable ◽  
Proper Vertex

The distinguishing number $\Delta(X)$ of a graph $X$ is the least positive integer $n$ for which there exists a function $f:V(X)\to\{0,1,2,\cdots,n-1\}$ such that no nonidentity element of $\hbox{Aut}(X)$ fixes (setwise) every inverse image $f^{-1}(k)$, $k\in\{0,1,2,\cdots,n-1\}$. All infinite, locally finite trees without pendant vertices are shown to be 2-distinguishable. A proof is indicated that extends 2-distinguishability to locally countable trees without pendant vertices. It is shown that every infinite, locally finite tree $T$ with finite distinguishing number contains a finite subtree $J$ such that $\Delta(J)=\Delta(T)$. Analogous results are obtained for the distinguishing chromatic number, namely the least positive integer $n$ such that the function $f$ is also a proper vertex-coloring.

scholarly journals On Ramsey-Minimal Infinite Graphs

2021 ◽  
Vol 28 (1) ◽  
Author(s):  
Jordan Barrett ◽  
Valentino Vito
Keyword(s):  
Ramsey Theory ◽  
Infinite Graphs ◽  
Minimal Graph ◽  
Finite Graphs ◽  
Minimal Graphs ◽  
Finite Case ◽  
Ramsey Minimal Graph ◽  
General Conditions

For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \geqslant 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs.

scholarly journals Topological Infinite Gammoids, and a New Menger-Type Theorem for Infinite Graphs

10.37236/6083 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Johannes Carmesin
Keyword(s):  
Type Theorem ◽  
Main Tool ◽  
Infinite Graphs ◽  
Disjoint Paths ◽  
Natural Topology ◽  
Locally Finite ◽  
Finite Graphs ◽  
Locally Finite Graphs ◽  
Vertex Sets ◽  
Special Case

Answering a question of Diestel, we develop a topological notion of gammoids in infinite graphs which, unlike traditional infinite gammoids, always define a matroid.As our main tool, we prove for any infinite graph $G$ with vertex-sets $A$ and $B$, if every finite subset of $A$ is linked to $B$ by disjoint paths, then the whole of $A$ can be linked to the closure of $B$ by disjoint paths or rays in a natural topology on $G$ and its ends.This latter theorem implies the topological Menger theorem of Diestel for locally finite graphs. It also implies a special case of the infinite Menger theorem of Aharoni and Berger.

ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH

2012 ◽  
Vol 23 (03) ◽  
pp. 627-647
Author(s):  
GIOVANNA D'AGOSTINO ◽  
GIACOMO LENZI
Keyword(s):  
Positive Integer ◽  
Upper Bounds ◽  
Connected Components ◽  
Small Tree ◽  
Strongly Connected Components ◽  
Finite Graphs ◽  
Strongly Connected ◽  
Tree Width ◽  
Parity Games ◽  
Alternating Automata

This paper is a continuation and correction of a paper presented by the same authors at the conference GANDALF 2010. We consider the Modal μ-calculus and some fragments of it. For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k, and the class TWk of all finite graphs of tree width at most k. As upper bounds, we show that for every k, the temporal logic CTL* collapses to alternation free μ-calculus in SCCk; and in TW1, the winning condition for parity games of any index n belongs to the level Δ2 of Modal μ-calculus. As lower bounds, we show that Büchi automata are not closed under complement in TW2 and coBüchi nondeterministic and alternating automata differ in TW1.

scholarly journals TILING DIRECTED GRAPHS WITH TOURNAMENTS

2018 ◽  
Vol 6 ◽  
Author(s):  
ANDRZEJ CZYGRINOW ◽  
LOUIS DEBIASIO ◽  
THEODORE MOLLA ◽  
ANDREW TREGLOWN
Keyword(s):  
Positive Integer ◽  
Directed Graph ◽  
Complete Graph ◽  
Directed Graphs ◽  
Type Result ◽  
Vertex Disjoint

The Hajnal–Szemerédi theorem states that for any positive integer $r$ and any multiple $n$ of $r$, if $G$ is a graph on $n$ vertices and $\unicode[STIX]{x1D6FF}(G)\geqslant (1-1/r)n$, then $G$ can be partitioned into $n/r$ vertex-disjoint copies of the complete graph on $r$ vertices. We prove a very general analogue of this result for directed graphs: for any positive integer $r$ with $r\neq 3$ and any sufficiently large multiple $n$ of $r$, if $G$ is a directed graph on $n$ vertices and every vertex is incident to at least $2(1-1/r)n-1$ directed edges, then $G$ can be partitioned into $n/r$ vertex-disjoint subgraphs of size $r$ each of which contain every tournament on $r$ vertices (the case $r=3$ is different and was handled previously). In fact, this result is a consequence of a tiling result for standard multigraphs (that is multigraphs where there are at most two edges between any pair of vertices). A related Turán-type result is also proven.

scholarly journals Constraint Satisfaction Problems and Their Reduction to Directed Graphs

2021 ◽  
Author(s):  
Muhanda Stella Mbaka Muzalal
Keyword(s):  
Constraint Satisfaction ◽  
Cell Phone ◽  
Constraint Satisfaction Problem ◽  
Directed Graphs ◽  
Oriented Graph ◽  
Constraint Satisfaction Problems ◽  
Systems Of Equations ◽  
Relational Structures ◽  
Algorithmic Problems ◽  
Boolean Formulas

Constraint satisfaction problems present a general framework for studying a large class of algorithmic problems such as satisfaction of Boolean formulas, solving systems of equations over finite fields, graph colourings, as well as various applied problems in artificial intelligence (scheduling, allocation of cell phone frequencies, among others.) CSP (Constraint Satisfaction Problems) bring together graph theory, complexity theory and universal algebra. It is a well known result, due to Feder and Vardi, that any constraint satisfaction problem over a finite relational structure can be reduced to the homomorphism problem for a finite oriented graph. Until recently, it was not known whether this reduction preserves the type of the algorithm which solves the original constraint satisfaction problem, so that the same algorithm solves the corresponding digraph homomorphism problem. We look at how a recent construction due to Bulin, Deli´c, Jackson, and Niven can be used to show that the polynomial solvability of a constraint satisfaction problem using Datalog, a programming language which is a weaker version of Prolog, translates from arbitrary relational structures to digraphs.

Sign in / Sign up

Export Citation Format

Share Document