graph
35411 papers tagged with this keyword
On monoid graphs
Published
• View Publication
• BIB
We investigate Cayley graphs of finite semigroups and monoids. First, we look at semigroup digraphs, i.e., directed Cayley graphs of semigroups, and give a Sabidussi-type characterization in the case of monoids. We then correct a proof of Zelinka from '81 that characterizes semigroup digraphs with outdegree $1$. Further, answering a question of Knauer and Knauer, we construct for every $k\geq 2$ connected $k$-outregular non-semigroup digraphs. On the other hand, we show that every sink-free directed graph is a union of connected components of a monoid digraph.
Second, we consider monoid graphs, i.e., underlying simple undirected graphs of Cayley graphs of monoids. We show that forests and threshold graphs form part of this family. Conversely, we construct the -- to our knowledge -- first graphs, that are not monoid graphs. We present non-monoid graphs that are planar, have arboricity $2$, and treewidth $3$ on the one hand, and non-monoid graphs of arbitrarily high connectivity on the other hand.
Third, we study generated monoid trees, i.e., trees that are monoid graphs with respect to a generating set. We give necessary and sufficient conditions for a tree to be in this family, allowing us to find large classes of trees inside and outside the family.
Into the Woods: A graph theoretic proof of the Dodgson/Muir identity
The Dodgson/Muir Identity is an identity on determinants of matrix minors that generalizes the Dodgson Identity. Using the matrix tree theorem, we create an equivalent forest identity on ordered sets of $k$ forests. We then prove the generalized Forest Identity, and by extension the Dodgson/Muir Identity, using an edge-swapping involution. This algorithm is a generalization of the Red Hot Potato algorithm, developed by the author in 2021 to prove the Dodgson Identity.
On a cover time problem on a dynamic graph with steps at random times
Published
• View Publication
• BIB
We introduce a cover time problem for random walks on dynamic graphs in which the graph expands in time and the walker moves at random times. Time to cover all nodes and number of returns to original states are analyzed in resulting model.
An improved bound on the burning number of graphs
The burning number conjecture states that the burning number of a connected graph is at most $\lceil \sqrt{n} \rceil.$ While the conjecture is unresolved, Land and Lu proved that the burning number of a connected graph is at most $ \sqrt{(3/2)n}+O(1).$ Using an algorithmic approach, we provide an improved upper bound for the burning number of a connected graph: $$\bigg \lceil \frac{\sqrt{12n+64}+8}{3} \bigg \rceil = \sqrt{(4/3)n} +O(1) .$$
Unimodality and monotonic portions of certain domination polynomials
Published
• View Publication
• BIB
Given a simple graph $G$ on $n$ vertices, a subset of vertices $U \subseteq V(G)$ is dominating if every vertex of $V(G)$ is either in $U$ or adjacent to a vertex of $U$. The domination polynomial of $G$ is the generating function whose coefficients are the number of dominating sets of a given size. We show that the domination polynomial is unimodal, i.e., the coefficients are non-decreasing and then non-increasing, for several well-known families of graphs. In particular, we prove unimodality for spider graphs with at most $400$ legs (of arbitrary length), lollipop graphs, arbitrary direct products of complete graphs, and Cartesian products of two complete graphs. We show that for every graph, a portion of the coefficients are non-increasing, where the size of the portion depends on the upper domination number, and in certain cases this is sufficient to prove unimodality. Furthermore, we study graphs with $m$ universal vertices, i.e., vertices adjacent to every other vertex, and show that the last $(\frac{1}{2} - \frac{1}{2^{m+1}}) n$ coefficients of their domination polynomial are non-increasing.
Local Orthogonality Dimension
Published
• View Publication
• BIB
An orthogonal representation of a graph $G$ over a field $\mathbb{F}$ is an assignment of a vector $u_v \in \mathbb{F}^t$ to every vertex $v$ of $G$, such that $\langle u_v,u_v \rangle \neq 0$ for every vertex $v$ and $\langle u_v,u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent in $G$. The locality of the orthogonal representation is the largest dimension of a subspace spanned by the vectors associated with a closed neighborhood in the graph. We introduce a novel graph parameter, called the local orthogonality dimension, defined for a given graph $G$ and a given field $\mathbb{F}$, as the smallest possible locality of an orthogonal representation of $G$ over $\mathbb{F}$. We investigate the usefulness of topological methods for proving lower bounds on the local orthogonality dimension. We prove that graphs for which topological methods imply a lower bound of $t$ on their chromatic number have local orthogonality dimension at least $\lceil t/2 \rceil +1$ over every field, strengthening a result of Simonyi and Tardos on the local chromatic number. We show that for certain graphs this lower bound is tight, whereas for others, the local orthogonality dimension over the reals is equal to the chromatic number. More generally, we prove that for every complement of a line graph, the local orthogonality dimension over $\mathbb{R}$ coincides with the chromatic number. This strengthens a recent result by Daneshpajouh, Meunier, and Mizrahi, who proved that the local and standard chromatic numbers of these graphs are equal. As another extension of their result, we prove that the local and standard chromatic numbers are equal for some additional graphs, from the family of Kneser graphs. We also show an $\mathsf{NP}$-hardness result for the local orthogonality dimension and present an application of this graph parameter to the index coding problem from information theory.
Structural Properties of Graph Products
Published
• View Publication
• BIB
Dujmović, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] established that every planar graph is a subgraph of the strong product of a graph with bounded treewidth and a path. Motivated by this result, this paper systematically studies various structural properties of cartesian, direct and strong products. In particular, we characterise when these graph products contain a given complete multipartite subgraph, determine tight bounds for their degeneracy, establish new lower bounds for the treewidth of cartesian and strong products, and characterise when they have bounded treewidth and when they have bounded pathwidth.
Some new central parts of connected graphs
The center, median and the security center are three central parts defined for any connected graph whereas the characteristic set, subtree core and core vertices are three central parts defined for trees only. We extend the concept of the characteristic set, subtree core and core vertices to general connected graphs and call them the characteristic center, subgraph core and core vertices, respectively.
We show by examples that in a connected graph all the above six central parts can be different and also prove that for a connected vertex transitive graph each of the six central parts is the whole vertex set. Further it is shown that given any graph $G$, there exists a connected supergraph $G_{ch}$ of $G$ with the whole vertex set of $G$ as the characteristic center. Associated with the subgraph core and core vertices, we leave some unanswered question related to the graph centrality.
Kernels and Small Quasi-Kernels in Digraphs
A directed graph $D=(V(D),A(D))$ has a kernel if there exists an independent set $K\subseteq V(D)$ such that every vertex $v\in V(D)-K$ has an ingoing arc $u\mathbin{\longrightarrow}v$ for some $u\in K$. There are directed graphs that do not have a kernel (e.g. a 3-cycle). A quasi-kernel is an independent set $Q$ such that every vertex can be reached in at most two steps from $Q$. Every directed graph has a quasi-kernel. A conjecture by P.L. Erdős and L.A. Székely (cf. A. Kostochka, R. Luo, and, S. Shan, arxiv:2001.04003v1, 2020) postulates that every source-free directed graph has a quasi-kernel of size at most $|V(D)|/2$, where source-free refers to every vertex having in-degree at least one. In this note it is shown that every source-free directed graph that has a kernel also has a quasi-kernel of size at most $|V(D)|/2$, by means of an induction proof. In addition, all definitions and proofs in this note are formally verified by means of the Coq proof assistant.
Book embeddings of graphs and a theorem of Whitney
Published in Extension of a theorem of Whitney, {\it Appl Math Lett.} 20 (2007) 835--837
• View Publication
• BIB
It is shown that the number of pages required for a book embedding of a graph is the maximum of the numbers needed for any of the maximal nonseparable subgraphs and that a plane graph in which every triangle bounds a face has a two-page book embedding. The latter extends a theorem of H. Whitney and gives two-page book embeddings for $X$-trees and square grids.
On Bruhat intervals of small lengths for Weyl groups
The number of Bruhat intervals in Coxeter groups is finite, and for the first few lengths, the intervals were described up to an isomorphism by A. Hultman using the correspondence between Bruhat intervals and cell decompositions of a 2d sphere and straightforward computations. The main purpose of this paper consists of a description of the intervals in higher dimensions, as the Hultman's geometric method is hard to apply due to rapidly growing with length number of nonisomorphic intervals. We construct an invariant on subintervals in the Bruhat graphs, using their specific properties. This gives us a method of comparing two Bruhat interval, that is faster than the general algorithm for checking if two graphs are isomorphic. This construction is inductive, and thus, can be easily applied for any interval length and Weyl group.
Cyclic Base Ordering of Graphs
Published
• View Publication
• BIB
A cyclic base ordering of a connected graph $G$, is a cyclic ordering of $E(G)$ such that every cyclically consecutive $|V(G)|-1$ edges form a spanning tree. In this project, we study cyclic base ordering of various families of graphs, including square of cycles, wheel graphs, generalized wheel graphs and broken wheel graphs, fan and broken fan graphs, prism graphs, and maximal 2-degenerate graphs. We also provide a polynomial time algorithm to verify any giving edge ordering is a cyclic base ordering.
Spanning hypertrees, vertex tours and meanders
Published
• View Publication
• BIB
This paper revisits the notion of a spanning hypertree of a hypermap introduced by one of its authors and shows that it allows to shed new light on a very diverse set of recent results. The tour of a map along one of its spanning trees used by Bernardi may be generalized to hypermaps and we show that it is equivalent to a dual tour described by Cori and Mach\`ı. We give a bijection between the spanning hypertrees of the reciprocal of the plane graph with $2$ vertices and $n$ parallel edges and the meanders of order $n$ and a bijection of the same kind between semimeanders of order $n$ and spanning hypertrees of the reciprocal of a plane graph with a single vertex and $n/2$ nested edges. We introduce hyperdeletions and hypercontractions in a hypermap which allow to count the spanning hypertrees of a hypermap recursively, and create a link with the computation of the Tutte polynomial of a graph. Having a particular interest in hypermaps which are reciprocals of maps, we generalize the reduction map introduced by Franz and Earnshaw to enumerate meanders to a reduction map that allows the enumeration of the spanning hypertrees of such hypermaps.
Polynomial bounds for chromatic number. IV. A near-polynomial bound for excluding the five-vertex path
Published
• View Publication
• BIB
A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a $P_5$-free graph with clique number $ω\ge 3$ has chromatic number at most $ω^{\log_2(ω)}$. The best previous result was an exponential upper bound $(5/27)3^ω$, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdos-Hajnal conjecture holds for $P_5$, which is the smallest open case. Thus there is great interest in whether there is a polynomial bound for $P_5$-free graphs, and our result is an attempt to approach that.
The bunkbed conjecture holds in the $p\uparrow 1$ limit
Published
• View Publication
• BIB
Let $G=(V,E)$ be a countable graph. The Bunkbed graph of $G$ is the product graph $G \times K_2$, which has vertex set $V\times \{0,1\}$ with "horizontal'' edges inherited from $G$ and additional "vertical'' edges connecting $(w,0)$ and $(w,1)$ for each $w \in V$. Kasteleyn's bunkbed conjecture states that for each $u,v \in V$ and $p\in [0,1]$, the vertex $(u,0)$ is at least as likely to be connected to $(v,0)$ as to $(v,1)$ under Bernoulli-$p$ bond percolation on the bunkbed graph. We prove that the conjecture holds in the $p \uparrow 1$ limit in the sense that for each finite graph $G$ there exists $\varepsilon(G)>0$ such that the bunkbed conjecture holds for $p \geqslant 1-\varepsilon(G)$.
Permutation Entropy for Graph Signals
Published
• View Publication
• BIB
Entropy metrics (for example, permutation entropy) are nonlinear measures of irregularity in time series (one-dimensional data). Some of these entropy metrics can be generalised to data on periodic structures such as a grid or lattice pattern (two-dimensional data) using its symmetry, thus enabling their application to images. However, these metrics have not been developed for signals sampled on irregular domains, defined by a graph. Here, we define for the first time an entropy metric to analyse signals measured over irregular graphs by generalising permutation entropy, a well-established nonlinear metric based on the comparison of neighbouring values within patterns in a time series. Our algorithm is based on comparing signal values on neighbouring nodes, using the adjacency matrix. We show that this generalisation preserves the properties of classical permutation for time series and the recent permutation entropy for images, and it can be applied to any graph structure with synthetic and real signals. We expect the present work to enable the extension of other nonlinear dynamic approaches to graph signals.
Extended double covers of non-symmetric association schemes of class $2$
In this paper, we give a method to construct non-symmetric association schemes of class $3$ from non-symmetric association schemes of class $2$. This construction is a non-symmetric analogue of the construction of Taylor graphs as an antipodal double cover of a complete graph. We also mention how our construction interact with doubling introduced by Pasechnik.
On the Holt-Klee Property for Oriented Matroid Programming
Published
• View Publication
• BIB
The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.
A polynomial resultant approach to algebraic constructions of extremal graphs
Published in SCIENCE CHINA Mathematics, 2024+
• View Publication
• BIB
The Turán problem asks for the largest number of edges ex$(n,H)$ in an $n$-vertex graph not containing a fixed forbidden subgraph $H$, which is one of the most important problems in extremal graph theory. However the order of magnitude of ex$(n,H)$ for bipartite graphs is known only in a handful of cases. In particular, giving explicit constructions of extremal graphs is very challenging in this field. In this paper, we develop a polynomail resultant approach to algebraic construction of explicit extremal graphs, which can efficiently decide whether a specified structure exists. A key insight in our approach is the multipolynomial resultant, which is a fundamental tool of computational algebraic geometry. Our main results include the matched lowers bounds for Turán number of $1$-subdivision of $K_{3,t_{1}}$ and linear Turán number of Berge theta hyerpgraph $Θ_{3,t_{2}}^{B}$ with $t_{1}=25$ and $t_{2}=217$. Moreover, the constant $t_{1}$ improves the random algebraic construction of Bukh and Conlon~[Rational exponents in extremal graph theory, J. Eur. Math. Soc. 20 (2018), 1747-1757] and makes progress on the known estimation for the smallest value of $t_{1}$ concerning a problem posed by Conlon, Janzer and Lee ~[More on the extremal number of subdivisions, Combinatorica, to appear], while the constant $t_{2}$ improves a result of He and Tait~[Hypergraphs with few berge paths of fixed length between vertices, SIAM J. Discrete Math., 33(3), 1472-1481].
On WL-rank and WL-dimension of some Deza dihedrants
Published
• View Publication
• BIB
The WL-rank of a graph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. The WL-dimension of $Γ$ is defined to be the smallest positive integer $m$ for which $Γ$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We establish that some families of strictly Deza dihedrants have WL-rank $4$ or $5$ and WL-dimension $2$. Computer calculations imply that every strictly Deza dihedrant with at most $59$ vertices is circulant or belongs to one of the above families. We also construct a new infinite family of strictly Deza dihedrants whose WL-rank is a linear function of the number of vertices.