graph
35411 papers tagged with this keyword
On certain edge-transitive bicirculants
Published in Published in Electronic Journal of Combinatorics, Vol 26, Issue 2, 2019
• View Publication
• BIB
A graph $Γ$ of even order is a bicirculant if it admits an automorphism with two orbits of equal length. Symmetry properties of bicirculants, for which at least one of the induced subgraphs on the two orbits of the corresponding semiregular automorphism is a cycle, have been studied, at least for the few smallest possible valences. For valences $3$, $4$ and $5$, where the corresponding bicirculants are called generalized Petersen graphs, Rose window graphs and Tabačjn graphs, respectively, all edge-transitive members have been classified. While there are only 7 edge-transitive generalized Petersen graphs and only 3 edge-transitive Tabačjn graphs, infinite families of edge-transitive Rose window graphs exist. The main theme of this paper is the question of the existence of such bicirculants for higher valences. It is proved that infinite families of edge-transitive examples of valence $6$ exist and among them infinitely many arc-transitive as well as infinitely many half-arc-transitive members are identified. Moreover, the classification of the ones of valence $6$ and girth $3$ is given. As a corollary, an infinite family of half-arc-transitive graphs of valence $6$ with universal reachability relation, which were thus far not known to exist, is obtained.
Graph switching, 2-ranks, and graphical Hadamard matrices
Published
• View Publication
• BIB
We study the behaviour of the 2-rank of the adjacency matrix of a graph under Seidel and Godsil-McKay switching, and apply the result to graphs coming from graphical Hadamard matrices of order $4^m$. Starting with graphs from known Hadamard matrices of order $64$, we find (by computer) many Godsil-McKay switching sets that increase the 2-rank. Thus we find strongly regular graphs with parameters $(63,32,16,16)$, $(64,36,20,20)$, and $(64,28,12,12)$ for almost all feasible 2-ranks. In addition we work out the behaviour of the 2-rank for a graph product related to the Kronecker product for Hadamard matrices, which enables us to find many graphical Hadamard matrices of order $4^m$ for which the related strongly regular graphs have an unbounded number of different 2-ranks. The paper extends results from the article 'Switched symplectic graphs and their 2-ranks' by the first and the last author.
Automorphism groups and Ramsey properties of sparse graphs
Published
• View Publication
• BIB
We study automorphism groups of sparse graphs from the viewpoint of topological dynamics and the Kechris, Pestov, Todorčević correspondence. We investigate amenable and extremely amenable subgroups of these groups using the space of orientations of the graph and results from structural Ramsey theory. Resolving one of the open questions in the area, we show that Hrushovski's example of an $ω$-categorical sparse graph has no $ω$-categorical expansion with extremely amenable automorphism group.
A crossing lemma for multigraphs
Published
• View Publication
• BIB
Let $G$ be a drawing of a graph with $n$ vertices and $e>4n$ edges, in which no two adjacent edges cross and any pair of independent edges cross at most once. According to the celebrated Crossing Lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton, the number of crossings in $G$ is at least $c{e^3\over n^2}$, for a suitable constant $c>0$. In a seminal paper, Székely generalized this result to multigraphs, establishing the lower bound $c{e^3\over mn^2}$, where $m$ denotes the maximum multiplicity of an edge in $G$. We get rid of the dependence on $m$ by showing that, as in the original Crossing Lemma, the number of crossings is at least $c'{e^3\over n^2}$ for some $c'>0$, provided that the "lens" enclosed by every pair of parallel edges in $G$ contains at least one vertex. This settles a conjecture of Kaufmann.
Forcing Brushes
Published
• View Publication
• BIB
We give short and simple proofs of the inequalities $B(G)\leq Z(L(G))$ and $Z(G)\leq Z(L(G))$ first established by Erzurumluoğlu, Meagher, and Pike, where $G$ is a graph without isolated vertices, $B(G)$ is the brushing number of $G$, $Z(G)$ is the zero forcing number of $G$, and $L(G)$ is the line graph of $G$.
Even cycle creating paths
We say that two graphs $H_1,H_2$ on the same vertex set are $G$-creating ($G$-different in other papers, this difference is explained in the introduction) if the union of the two graphs contains $G$ as a subgraph. Let $H(n,k)$ be the maximal number of pairwise $C_k$-creating paths (of arbitrary length) on $n$ vertices. The behaviour of $H(n,2k+1)$ is much better understood than the behaviour of $H(n,2k)$, the former is an exponential function of $n$ while the latter is larger than exponential, for every fixed $k$. We study $H(n,k)$ for fixed $k$ and $n$ tending to infinity. The only non trivial upper bound on $H(n,2k)$ was in the case where $k=2$ $$H(n,4)\leq n^{\left(1-\frac{1}{4} \right) n-o(n)}, $$ this was proved by Cohen, Fachini and Körner. In this paper, we generalize their method to prove that for every $k \geq 2$,
$$H(n,2k) \leq n^{\left( 1- \frac{2}{3k^2-2k} \right)n-o(n)}. $$ Our proof uses constructions of bipartite, regular, $C_{2k}$-free graphs with many edges by Reiman, Benson, Lazebnik, Ustimenko and Woldar. For some special values of $k$ we can have slightly denser such bipartite graphs than for general $k$, this results in having better upper bounds on $H(n,2k)$ than stated above for these special values of $k$.
The cover time of a biased random walk on a random cubic graph
Published
• View Publication
• BIB
We study a random walk that prefers tou se unvisited edges in the context of random cubic graphs. We establish asymptotically correct estimates for the vertex and edge cover times, these being $\approx n\log n$ and $\approx \frac32n\log n$ respectively.
Secretary problem: graphs, matroids and greedoids
Published in Operations Research Forum 2(4) 2021
• View Publication
• BIB
In the paper the generalisation of the well known "secretary problem" is considered. The aim of the paper is to give a generalised model in such a way that the chosen set of the possible best $k$ elements have to be independent of all rejected elements. This condition is formulated using the theory of greedoids and in their special cases -- matroids and antimatroids. Examples of some special cases of greedoids (uniform, graphical matroids and binary trees) are considered.
Phylogenetic trees and homomorphisms
In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to relational structures with unary and binary relations. In Chapter 2 we show a very simple and versatile argument based on divisibility which immediately yields the universality of the homomorphism order of directed graphs and discuss three applications. In chapter 3, we show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order. In Chapter 4 we analyze the phylogenetic information content from a combinatorial point of view by considering the binary relation on the set of taxa defined by the existence of a single event separating two taxa. We show that the graph-representation of this relation must be a tree. Moreover, we characterize completely the relationship between the tree of such relations and the underlying phylogenetic tree.
Tropical geometry of genus two curves
Published in Journal of Algebra (2018)
• View Publication
• BIB
We exploit three classical characterizations of smooth genus two curves to study their tropical and analytic counterparts. First, we provide a combinatorial rule to determine the dual graph of each algebraic curve and the metric structure on the associated minimal Berkovich skeleton. Our main tool is the description of genus two curves via hyperelliptic covers of P^1 with six branch points. Given the valuations of these six points and their differences, our algorithm provides an explicit harmonic 2-to-1 map to a metric tree on six leaves. Second, we use tropical modifications to produce a faithful tropicalization in dimension three starting from a planar hyperelliptic embedding.
Finally, we consider the moduli space of abstract genus two tropical curves and translate the classical Igusa invariants characterizing isomorphism classes of genus two algebraic curves into the tropical realm. While these tropical Igusa functions do not yield coordinates in the tropical moduli space, we propose an alternative set of invariants that provides new length data.
Hitting Time Quasi-metric and Its Forest Representation
Published in Optimization Letters (2018). https://doi.org/10.1007/s11590-018-1314-2
• View Publication
• BIB
Let $\hat m_{ij}$ be the hitting (mean first passage) time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $Γ$ be the weighted digraph whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. It holds that $$ \hat m_{ij}= q_j^{-1}\cdot \begin{cases} f_{ij},&\text{if }\;\; i\ne j,\\ q, &\text{if }\;\; i=j, \end{cases} $$ where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $Γ$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $Γ,$ and $q=\sum_{j=1}^nq_j$ is the total weight of all spanning trees in $Γ.$ Moreover, $f_{ij}$ and $q_j$ can be calculated by an algebraic recurrent procedure. A forest expression for Kemeny's constant is an immediate consequence of this result. Further, we discuss the properties of the hitting time quasi-metric $m$ on the set of vertices of $Γ$: $m(i,j)=\hat m_{ij}$, $i\neq j$, and $m(i,i)=0$. We also consider a number of other metric structures on the set of graph vertices related to the hitting time quasi-metric $m$---along with various connections between them. The notions and relationships under study are illustrated by two examples.
On eigenfunctions and maximal cliques of Paley graphs of square order
Published
• View Publication
• BIB
In this paper we find new maximal cliques of size $\frac{q+1}{2}$ or $\frac{q+3}{2}$, accordingly as $q\equiv 1(4)$ or $q\equiv 3(4)$, in Paley graphs of order $q^2$, where $q$ is an odd prime power. After that we use new cliques to define a family of eigenfunctions corresponding to both non-principal eigenvalues and having the cardinality of support $q+1$, which is the minimum by the weight-distribution bound.
Anti-Ramsey Multiplicities
The Ramsey multiplicity constant of a graph $H$ is the minimum proportion of copies of $H$ in the complete graph which are monochromatic under an edge-coloring of $K_n$ as $n$ goes to infinity. Graphs for which this minimum is asymptotically achieved by taking a random coloring are called {\em common}, and common graphs have been studied extensively, leading to the Burr-Rosta conjecture and Sidorenko's conjecture. Erdős and Sós asked what the maximum number of rainbow triangles is in a $3$-coloring of the edge set of $K_n$, a rainbow version of the Ramsey multiplicity question. A graph $H$ is called $r$-anti-common if the maximum proportion of rainbow copies of $H$ in any $r$-coloring of $E(K_n)$ is asymptotically achieved by taking a random coloring. In this paper, we investigate anti-Ramsey multiplicity for several families of graphs. We determine classes of graphs which are either anti-common or not. Some of these classes follow the same behavior as the monochromatic case, but some of them do not. In particular the rainbow equivalent of Sidorenko's conjecture, that all bipartite graphs are anti-common, is false.
Structure of the flow and Yamada polynomials of cubic graphs
We establish a quadratic identity for the Yamada polynomial of ribbon cubic graphs in 3-space, extending the Tutte golden identity for planar cubic graphs. An application is given to the structure of the flow polynomial of cubic graphs at zero. The golden identity for the flow polynomial is conjectured to characterize planarity of cubic graphs, and we prove this conjecture for a certain infinite family of non-planar graphs.
Further, we establish exponential growth of the number of chromatic polynomials of planar triangulations, answering a question of D. Treumann and E. Zaslow. The structure underlying these results is the chromatic algebra, and more generally the SO(3) topological quantum field theory.
A generalized Bartholdi zeta function formula for simple graphs with bounded degree
We introduce a generalized Bartholdi zeta function for simple graphs with bounded degree. This zeta function is a generalization of both the Bartholdi zeta function which was introduced by L.~Bartholdi and the Ihara zeta function which was introduced by G.~Chinta, J.~Jorgenson and A.~Karlsson. Furthermore, we establish a Bartholdi type formula of this Bartholdi zeta function for simple graphs with bounded degree. Moreover, for regular graphs, we give a new expression of the heat kernel which is regarded as a one-parameter deformation of the expression obtained by G.~Chinta, J.~Jorgenson and A.~Karlsson. By applying this formula, we give an alternative proof of the Bartholdi zeta function formula for regular graphs.
Graph invariants and Betti numbers of real toric manifolds
For a graph $G$, a graph cubeahedron $\square_G$ and a graph associahedron $\triangle_G$ are simple convex polytopes which admit (real) toric manifolds. In this paper, we introduce a graph invariant, called the $b$-number, and we show that the $b$-numbers compute the Betti numbers of the real toric manifold $X^\mathbb{R}(\square_G)$ corresponding to a graph cubeahedron. The $b$-number is a counterpart of the notion of $a$-number, introduced by S. Choi and the second named author, which computes the Betti numbers of the real toric manifold $X^\mathbb{R}(\triangle_G)$ corresponding to a graph associahedron. We also study various relationships between $a$-numbers and $b$-numbers from a toric topological view. Interestingly, for a forest $G$ and its line graph $L(G)$, the real toric manifolds $X^\mathbb{R}(\triangle_G)$ and $X^\mathbb{R}(\square_{L(G)})$ have the same Betti numbers.
Pull and Push&Pull in Random Evolving Graphs
The Push, the Pull and the Push&Pull algorithms are well-studied rumor spreading protocols. In all three, in the beginning one node of a graph is informed. In the Push setting, every round every informed node chooses a neighbor uniformly at random and, if it is not already informed anyway, informs it. In the Pull setting, each round each uninformed node chooses a neighbor uniformly at random and asks it for the rumor; if the asked neighbor is informed, now also the asking node is informed. Push&Pull is a combination of Push and Pull: In each round, each node picks a neighbor uniformly at random. If at least one of both knows the rumor, after this round, both know the rumor. Clementi et al. have considered Push in settings where the underlying graph changes each round. In one setting they investigated, in each round the underlying graph is a newly sampled Erdős-Rényi random graph $G(n,p)$. They show that if $p\geq 1/n$ then with probability $1-o(1)$ (as $n\rightarrow \infty$) the number of rounds needed until all nodes are informed is $\mathcal{O}(\ln(n))$. Doerr and Kostrygin introduced a general framework to analyze rumor spreading algorithms; using this framework, for $a>0$ and $p=a/n$ they improved the previous results in the described setting: The expected number of rounds needed by Push was determined to be $\log_{2-e^{-a}}(n)+1/(1-e^{-a})\ln(n)+\mathcal{O}(1)$; also large deviation bounds were obtained. Using their framework, we investigate Pull and Push&Pull in that setting: We prove that the expected number of rounds needed by Pull to inform all nodes is $\log_{2-e^{-a}}(n)+1/a \ln(n)+\mathcal{O}(1)$. Let $γ:= 2(1-e^{-a})-(1-e^{-a})^2/a$; we prove that the expected number of rounds needed by Push&Pull is $\log_{1+γ}(n)+1/a\ln(n)+\mathcal{O}(1)$; as a byproduct, we obtain large deviation bounds, too.
Blockers for Triangulations of a Convex Polygon and a Geometric Maker-Breaker Game
Let $G$ be a complete convex geometric graph whose vertex set $P$ forms a convex polygon $C$, and let $F$ be a family of subgraphs of $G$. A blocker for $F$ is a set of edges, of smallest possible size, that contains a common edge with every element of $F$. Previous works determined the blockers for various families $F$ of non-crossing subgraphs, including the families of all perfect matchings, all spanning trees, all Hamiltonian paths, etc.
In this paper we present a complete characterization of the family $B$ of blockers for the family $T$ of triangulations of $C$. In particular, we show that $|B|=F_{2n-8}$, where $F_k$ is the $k$'th element in the Fibonacci sequence and $n=|P|$.
We use our characterization to obtain a tight result on a geometric Maker-Breaker game in which the board is the set of diagonals of a convex $n$-gon $C$ and Maker seeks to occupy a triangulation of $C$. Namely, we show that in the $(1:1)$ triangulation game, Maker can ensure a win within $n-3$ moves, and that in the $(1:2)$ triangulation game, Breaker can ensure a win within $n-3$ moves. In particular, the threshold bias for the game is $2$.
Reconstruction of the Path Graph
Let $P$ be a set of $n \geq 5$ points in convex position in the plane. The path graph $G(P)$ of $P$ is an abstract graph whose vertices are non-crossing spanning paths of $P$, such that two paths are adjacent if one can be obtained from the other by deleting an edge and adding another edge.
We prove that the automorphism group of $G(P)$ is isomorphic to $D_{n}$, the dihedral group of order $2n$. The heart of the proof is an algorithm that first identifies the vertices of $G(P)$ that correspond to boundary paths of $P$, where the identification is unique up to an automorphism of $K(P)$ as a geometric graph, and then identifies (uniquely) all edges of each path represented by a vertex of $G(P)$. The complexity of the algorithm is $O(N \log N)$ where $N$ is the number of vertices of $G(P)$.
Inverting non-invertible trees
If a graph has a non-singular adjacency matrix, then one may use the inverse matrix to define a (labeled) graph that may be considered to be the inverse graph to the original one. It has been known that an adjacency matrix of a tree is non-singular if and only if the tree has a unique perfect matching; in this case the determinant of the matrix turns out to be $\pm 1$ and the inverse of the tree was shown to be `switching-equivalent' to a simple graph [C. Godsil, Inverses of Trees, Combinatorica 5 (1985), 33--39]. Using generalized inverses of symmetric matrices (that coincide with Moore-Penrose, Drazin, and group inverses in the symmetric case) we prove a formula for determining a `generalized inverse' of a tree.