graph
34604 papers tagged with this keyword
Hypergraph regularity and random sampling
Published
• View Publication
• BIB
Suppose a $k$-uniform hypergraph $H$ that satisfies a certain regularity instance (that is, there is a partition of $H$ given by the hypergraph regularity lemma into a bounded number of quasirandom subhypergraphs of prescribed densities). We prove that with high probability a large enough uniform random sample of the vertex set of $H$ also admits the same regularity instance. Here the crucial feature is that the error term measuring the quasirandomness of the subhypergraphs requires only an arbitrarily small additive correction. This has applications to combinatorial property testing. The graph case of the sampling result was proved by Alon, Fischer, Newman and Shapira.
Switching $(m, n)$-mixed graphs with respect to Abelian groups
We extend results of Brewster and Graves for switching $m$-edge coloured graphs with respect to a cyclic group to switching $(m, n)$-mixed graphs with respect to an Abelian group. In particular, we establish the existence of a $(m, n)$-mixed graph $P_Γ(H)$ with the property that a $(m, n)$-mixed graph $G$ is switch equivalent to $H$ if and only if it is a special subgraph of $P_Γ(H)$, and the property that that $G$ can be switched to have a homomorphism to $H$ if and only if it has a homomorphism (without switching) to $P_Γ(H)$. We consider the question of deciding whether a $(m, n)$-mixed graph can be switched so that it has a homomorphism to a proper subgraph, i.e. whether it can be switched so that it isn't a core. We show that this question is NP-hard for arbitrary groups and NP-complete for Abelian groups. Finally, we consider the complexity of the switchable $k$-colouring problem for $(m, n)$-mixed graphs and prove a dichotomy theorem in the cases where $m \geq 1$.
Steenrod Lengths and a Problem of Vakil
We give an explicit combinatorial description of the function $f(n)$ governing the Steenrod length of real projective spaces $\mathbb{RP}^n$. This function arises in stable homotopy theory through the action of Steenrod squares on mod-$2$ cohomology and is closely related to the ghost length, which measures the minimal number of spheres required to construct a space up to homotopy. Building on the directed graphs $T_n$ introduced by Vakil to encode degree constraints for Steenrod operations, we interpret $f(n)$ as the length of the longest directed path starting at $n$. Using this framework, we resolve a question posed by Vakil by deriving concrete combinatorial formulas for $f(n)$ in terms of binary classes and a distinguished family of integers, which we call Vakil numbers.
The strong fractional choice number and the strong fractional paint number of graphs
Published
• View Publication
• BIB
This paper studies the strong fractional choice number $ch^s_f(G)$ and the strong fractional paint number $χ^s_{f,P}(G)$ of a graph $G$. We prove that these parameters of any finite graph are rational numbers. On the other hand, for any positive integers $p,q$ satisfying $2 \le \frac{2p}{2q+1} \leq \lfloor\frac{p}{q}\rfloor$, there exists a graph $G$ with $ch^s_f(G) = χ^s_{f,P}(G) = \frac{p}{q}$. The relationship between $χ^s_{f,P}(G)$ and $ch^s_f(G)$ is explored. We prove that the gap $χ^s_{f,P}(G)-ch^s_f(G)$ can be arbitrarily large. The strong fractional choice number of a family $\mathcal{G}$ of graphs is the supremum of the strong fractional choice number of graphs in $\mathcal{G}$. Let $\mathcal{P}$ denote the class of planar graphs and $\mathcal{P}_{k_1,\ldots, k_q}$ denote the class of planar graphs without $k_i$-cycles for $i=1,\ldots, q$. We prove that $3 + \frac{1}{2} \leq ch^s_f(\mathcal{P}_{ 4}) \leq 4$, $ch^s_f(\mathcal{P}_{ k})=4$ for $k \in \{5,6\}$, $3 +\frac{1}{12} \leq ch^s_f(\mathcal{P}_{ 4,5}) \leq 4$ and $ch^s_f(\mathcal{P}) \ge 4+\frac 13$. The last result improves the lower bound $4+\frac 29$ in [X. Zhu, multiple list colouring of planar graphs, Journal of Combin. Th. Ser. B,122(2017),794-799].
On the Subspace Choosability in Graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-subspace choosable over a field $\mathbb{F}$ if for every assignment of $k$-dimensional subspaces of some finite-dimensional vector space over $\mathbb{F}$ to the vertices of $G$, it is possible to choose for each vertex a nonzero vector from its subspace so that adjacent vertices receive orthogonal vectors over $\mathbb{F} $. The subspace choice number of $G$ over $\mathbb{F}$ is the smallest integer $k$ for which $G$ is $k$-subspace choosable over $\mathbb{F}$. This graph parameter, introduced by Haynes, Park, Schaeffer, Webster, and Mitchell (Electron. J. Comb., 2010), is inspired by well-studied variants of the chromatic number of graphs, such as the (color) choice number and the orthogonality dimension.
We study the subspace choice number of graphs over various fields. We first prove that the subspace choice number of every graph with average degree $d$ is at least $Ω(\sqrt{d/\ln d})$ over any field. We then focus on bipartite graphs and consider the problem of estimating, for a given integer $k$, the smallest integer $m$ for which the subspace choice number of the complete bipartite graph $K_{k,m}$ over a field $\mathbb{F}$ exceeds $k$. We prove upper and lower bounds on this quantity as well as for several extensions of this problem. Our results imply a substantial difference between the behavior of the choice number and that of the subspace choice number. We also consider the computational aspect of the subspace choice number, and show that for every $k \geq 3$ it is $\mathsf{NP}$-hard to decide whether the subspace choice number of a given bipartite graph over $\mathbb{F}$ is at most $k$, provided that $\mathbb{F}$ is either the real field or any finite field.
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)$.