graph
34828 papers tagged with this keyword
Recent advances on Dirac-type problems for hypergraphs
Published
• View Publication
• BIB
A fundamental question in graph theory is to establish conditions that ensure a graph contains certain spanning subgraphs. Two well-known examples are Tutte's theorem on perfect matchings and Dirac's theorem on Hamilton cycles. Generalizations of Dirac's theorem, and related matching and packing problems for hypergraphs, have received much attention in recent years. New tools such as the absorbing method and regularity method have helped produce many new results, and yet some fundamental problems in the area remain unsolved. We survey recent developments on Dirac-type problems along with the methods involved, and highlight some open problems.
Nucleation and growth in two dimensions
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of Dehghanpour and Schonmann. In particular, we determine the typical infection time up to a constant factor for almost all natural values of the parameters, and in a large range we obtain a stronger, sharp threshold.
On the extremal total reciprocal edge-eccentricity of trees
Published
• View Publication
• BIB
The total reciprocal edge-eccentricity is a novel graph invariant with vast potential in structure activity/property relationships. This graph invariant displays high discriminating power with respect to both biological activity and physical properties. If $G=(V_G,E_G)$ is a simple connected graph, then the total reciprocal edge-eccentricity (REE) of $G$ is defined as $ξ^{ee}(G)=\sum_{uv\in E_G}(1/\varepsilon_G(u)+1/\varepsilon_G(v))$, where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$. In this paper we first introduced four edge-grafting transformations to study the mathematical properties of the reciprocal edge-eccentricity of $G$. Using these elegant mathematical properties, we characterize the extremal graphs among $n$-vertex trees with given graphic parameters, such as pendants, matching number, domination number, diameter, vertex bipartition, et al. Some sharp bounds on the reciprocal edge-eccentricity of trees are determined.
Variance and Covariance of Several Simultaneous Outputs of a Markov Chain
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (June 23, 2016) dmtcs:1341
• View Publication
• BIB
The partial sum of the states of a Markov chain or more generally a Markov source is asymptotically normally distributed under suitable conditions. One of these conditions is that the variance is unbounded. A simple combinatorial characterization of Markov sources which satisfy this condition is given in terms of cycles of the underlying graph of the Markov chain. Also Markov sources with higher dimensional alphabets are considered.
Furthermore, the case of an unbounded covariance between two coordinates of the Markov source is combinatorically characterized. If the covariance is bounded, then the two coordinates are asymptotically independent.
The results are illustrated by several examples, like the number of specific blocks in $0$-$1$-sequences and the Hamming weight of the width-$w$ non-adjacent form.
Distant set distinguishing total colourings of graphs
Published in Electron. J. Combin. 23(2) (2016), #P2.54
• Search Publication
The Total Colouring Conjecture suggests that $Δ+3$ colours ought to suffice in order to provide a proper total colouring of every graph $G$ with maximum degree $Δ$. Thus far this has been confirmed up to an additive constant factor, and the same holds even if one additionally requires every pair of neighbours in $G$ to differ with respect to the sets of their incident colours, so called pallets. Within this paper we conjecture that an upper bound of the form $Δ+const.$ still remains valid even after extending the distinction requirement to pallets associated with vertices at distance at most $r$, if only $G$ has minimum degree $δ$ larger than a constant dependent on $r$. We prove that such assumption on $δ$ is then unavoidable and exploit the probabilistic method in order to provide two supporting results for the conjecture. Namely, we prove the upper bound $(1+o(1))Δ$ for every $r$, and show that the conjecture holds if $δ\geq \varepsilonΔ$ for any fixed $ε\in(0,1]$ and $r$, i.e., in particular for regular graphs.
The Hamiltonian problem and $t$-path traceable graphs
Published in Involve 10 (2017) 801-812
• View Publication
• BIB
The problem of characterizing maximal non-Hamiltonian graphs may be naturally extended to characterizing graphs that are maximal with respect to non-traceability and beyond that to $t$-path traceability. We show how traceability behaves with respect to disjoint union of graphs and the join with a complete graph. Our main result is a decomposition theorem that reduces the problem of characterizing maximal $t$-path traceable graphs to characterizing those that have no universal vertex. We generalize a construction of maximal non-traceable graphs by Zelinka to $t$-path traceable graphs.
Binomial partial Steiner triple systems with complete graphs: structural problems
In the paper we study the structure of hyperplanes of so called binomial partial Steiner triple systems (BSTS's, in short) i.e. of configurations with $\binom{n}{2}$ points and $\binom{n}{3}$ lines, each line of the size $3$. Consequently, a BSTS has $n-2$ lines through each of its points.
A Dichotomy Theorem for Circular Colouring Reconfiguration
Published
• View Publication
• BIB
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.
Laplacian State Transfer in Coronas
Published in Linear Algebra and Its Applications 506:154-167, 2016
• View Publication
• BIB
We prove that the corona product of two graphs has no Laplacian perfect state transfer whenever the first graph has at least two vertices. This complements a result of Coutinho and Liu who showed that no tree of size greater than two has Laplacian perfect state transfer. In contrast, we prove that the corona product of two graphs exhibits Laplacian pretty good state transfer, under some mild conditions. This provides the first known examples of families of graphs with Laplacian pretty good state transfer. Our result extends of the work of Fan and Godsil on double stars to the Laplacian setting. Moreover, we also show that the corona product of any cocktail party graph with a single vertex graph has Laplacian pretty good state transfer, even though odd cocktail party graphs have no perfect state transfer.
Disproving the normal graph conjecture
Published
• View Publication
• BIB
A graph $G$ is called normal if there exist two coverings, $\mathbb{C}$ and $\mathbb{S}$ of its vertex set such that every member of $\mathbb{C}$ induces a clique in $G$, every member of $\mathbb{S}$ induces an independent set in $G$ and $C \cap S \neq \emptyset$ for every $C \in \mathbb{C}$ and $S \in \mathbb{S}$. It has been conjectured by De Simone and Körner in 1999 that a graph $G$ is normal if $G$ does not contain $C_5$, $C_7$ and $\overline{C_7}$ as an induced subgraph. We disprove this conjecture.
A note on the Erdös-Faber-Lovász Conjecture: quasigroups and complete digraphs
Published in Ars Combinatoria-2019
• Search Publication
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$.
The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.
Directed strongly walk-regular graphs
Published
• View Publication
• BIB
We generalize the concept of strong walk-regularity to directed graphs. We call a digraph strongly $\ell$-walk-regular with $\ell >1$ if the number of walks of length $\ell$ from a vertex to another vertex depends only on whether the two vertices are the same, adjacent, or not adjacent. This generalizes also the well-studied strongly regular digraphs and a problem posed by Hoffman. Our main tools are eigenvalue methods. The case that the adjacency matrix is diagonalizable with only real eigenvalues resembles the undirected case. We show that a digraph $Γ$ with only real eigenvalues whose adjacency matrix is not diagonalizable has at most two values of $\ell$ for which $Γ$ can be strongly $\ell$-walk-regular, and we also construct examples of such strongly walk-regular digraphs. We also consider digraphs with nonreal eigenvalues. We give such examples and characterize those digraphs $Γ$ for which there are infinitely many $\ell$ for which $Γ$ is strongly $\ell$-walk-regular.
Counting prime juggling patterns
Published
• View Publication
• BIB
Juggling patterns can be described by a closed walk in a (directed) state graph, where each vertex (or state) is a landing pattern for the balls and directed edges connect states that can occur consecutively. The number of such patterns of length $n$ is well known, but a long-standing problem is to count the number of prime juggling patterns (those juggling patterns corresponding to cycles in the state graph). For the case of $b=2$ balls we give an expression for the number of prime juggling patterns of length $n$ by establishing a connection with partitions of $n$ into distinct parts. From this we show the number of two-ball prime juggling patterns of length $n$ is $(γ-o(1))2^n$ where $γ=1.32963879259...$. For larger $b$ we show there are at least $b^{n-1}$ prime cycles of length $n$.
K-Circular Matroids of Graphs
In 30's Hassler Whitney considered and completely solved the problem $(WP)$ of describing the classes of graphs $G$ having the same cycle matroid $M(G)$. A natural analog $(WP)'$ of Whitney's problem $(WP)$ is to describe the classes of graphs $G$ having the same matroid $M'(G)$, where $M'(G)$ is a matroid (on the edge set of $G$) distinct from $M(G)$. For example, the corresponding problem $(WP)'= (WP)_{θ}$ for the so-called bicircular matroid $M_{θ}(G)$ of graph $G$ was solved by Coulard, Del Greco and Wagner. We define the so-called {\em $k$-circular matroid} $M_k(G)$ on the edge set of graph $G$ for any non-negative integer $k$ so that $M(G) = M_0(G)$ and $M_{θ}(G) = M_1(G)$. It is natural to consider the corresponding analog $(WP)_k$ of Whitney's problem $(WP)$ not only for $k=0$ and $k=1$ but also for any integer $k \ge 2$. In this paper we give a characterization of the $k$-circular matroid $M_k(G)$ by describing the main constituents (circuits, bases, and cocircuits) in terms of graph $G$ and establish some important properties of the $k$-circular matroid. The results of this paper will be used in our further research on the problem $(WP)_k$. In our next paper we use these results to study a particular problem of $(WP)_k$ on graphs uniquely defined by their $k$-circular matroids.
A Note On Immersion Intertwines Of Infinite Graphs
Published
• View Publication
• BIB
We present a construction of two infinite graphs $G_1$ and $G_2$, and of an infinite set $\mathscr{F}$ of graphs such that $\mathscr{F}$ is an antichain with respect to the immersion relation and, for each graph $G$ in $\mathscr{F}$, both $G_1$ and $G_2$ are subgraphs of $G$, but no graph properly immersed in $G$ admits an immersion of $G_1$ and of $G_2$. This shows that the class of infinite graphs ordered by the immersion relation does not have the finite intertwine property.
Critical Groups of Graphs with Dihedral Actions II
Published
• View Publication
• BIB
In this paper we consider the critical group of finite connected graphs which admit harmonic actions by the dihedral group $D_n$, extending earlier work by the author and Criel Merino. In particular, we show that the critical group of such a graph can be decomposed in terms of the critical groups of the quotients of the graph by certain subgroups of the automorphism group. This is analogous to a theorem of Kani and Rosen which decomposes the Jacobians of algebraic curves with a $D_n$-action.
On the Erdős-Hajnal conjecture for six-vertex tournaments
Published
• View Publication
• BIB
A celebrated unresolved conjecture of Erdős and Hajnal states that for every undirected graph $H$ there exists $ε(H)>0$ such that every undirected graph on $n$ vertices that does not contain $H$ as an induced subgraph contains a clique or stable set of size at least $n^{ε(H)}$. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ε(H)>0$ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $n^{ε(H)}$. We say that a tournament is \textit{prime} if it does not have nontrivial homogeneous sets. So far the conjecture was proved only for some specific families of prime tournaments (\cite{chorochudber, choromanski2}) and tournaments constructed according to the so-called \textit{substitution procedure}(\cite{alon}). In particular, recently the conjecture was proved for all five-vertex tournaments (\cite{chorochudber}), but the question about the correctness of the conjecture for all six-vertex tournaments remained open. In this paper we prove that all but at most one six-vertex tournament satisfy the Erdős-Hajnal conjecture. That reduces the six-vertex case to a single tournament.
Distant set distinguishing edge colourings of graphs
Published in European J. Comb. 69 (2018) 185-199
• View Publication
• BIB
We consider the following extension of the concept of adjacent strong edge colourings of graphs without isolated edges. Two distinct vertices which are at distant at most $r$ in a graph are called $r$-adjacent. The least number of colours in a proper edge colouring of a graph $G$ such that the sets of colours met by any $r$-adjacent vertices in $G$ are distinct is called the $r$-adjacent strong chromatic index of $G$ and denoted by $χ'_{a,r}(G)$. It has been conjectured that $χ'_{a,1}(G)\leqΔ+2$ if $G$ is connected of maximum degree $Δ$ and non-isomorphic to $C_5$, while Hatami proved that there is a constant $C$, $C\leq 300$, such that $χ'_{a,1}(G)\leqΔ+C$ if $Δ>10^{20}$ [J. Combin. Theory Ser. B 95 (2005) 246--256]. We conjecture that a similar statement should hold for any $r$, i.e., that for each positive integer $r$ there exist constants $δ_0$ and $C$ such that $χ'_{a,r}(G) \leq Δ+C$ for every graph without an isolated edge and with minimum degree $δ\geq δ_0$, and argue that a lower bound on $δ$ is unavoidable in such a case (for $r>2$). Using the probabilistic method we prove such upper bound to hold for graphs with $δ\geq εΔ$, for every $r$ and any fixed $\varepsilon\in(0,1]$, i.e., in particular for regular graphs. We also support the conjecture by proving an upper bound $χ'_{a,r}(G) \leq (1+o(1))Δ$ for graphs with $δ\geq r+2$.
The extremal function for Petersen minors
Published in J. Combinatorial Theory Series B 131:220-253, 2018
• View Publication
• BIB
We prove that every graph with $n$ vertices and at least $5n-8$ edges contains the Petersen graph as a minor, and this bound is best possible. Moreover we characterise all Petersen-minor-free graphs with at least $5n-11$ edges. It follows that every graph containing no Petersen minor is 9-colourable and has vertex arboricity at most 5. These results are also best possible.
Nowhere-zero 9-flows in 3-edge-connected signed graphs
A signed graph is a graph with a positive or negative sign on each edge. Regarding each edge as two half edges, an orientation of a signed graph is an assignment of a direction to each of its half edges such that the two half edges of a positive edge receive the same direction and that of a negative edge receive opposite directions. A signed graph with such an orientation is called a bidirected graph. A nowhere-zero $k$-flow of a bidirected graph is an assignment of an integer from $\{-(k-1), \ldots, -1, 1, \ldots, (k-1)\}$ to each of its half edges such that Kirchhoff's law is respected, that is, the total incoming flow is equal to the total outgoing flow at each vertex. A signed graph is said to admit a nowhere-zero $k$-flow if it has an orientation such that the corresponding bidirected graph admits a nowhere-zero $k$-flow. It was conjectured by Bouchet that every signed graph admitting a nowhere-zero $k$-flow for some integer $k \ge 2$ admits a nowhere-zero 6-flow. In this paper we prove that every $3$-edge-connected signed graph admitting a nowhere-zero $k$-flow for some $k$ admits a nowhere-zero $9$-flow.