arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34629 papers tagged with this keyword
Achromatic arboricity on complete graphs
Published • View PublicationBIB
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes contain a cycle. In particular, if $G$ is a complete graph we prove that \[\frac{1}{4}n^{\frac{3}{2}}-Θ(n) \leq A_α(G)\leq \frac{1}{\sqrt{2}}n^{\frac{3}{2}}-Θ(n).\]
2021-03-21
The fullerenes with a perfect star packing
Published • View PublicationBIB
A spanning subgraph of a graph $G$ is called a perfect star packing in $G$ if every component of the spanning subgraph is isomorphic to the star graph $K_{1,3}$. An efficient dominating set of graph $G$ is a vertex subset $D$ of $G$ such that each vertex of $G$ not in $D$ is adjacent to exactly one vertex from $D$ and any two vertices of $D$ are not adjacent in $G$. Fullerene graph is a connected plane cubic graph with only pentagonal and hexagonal faces, which is the molecular graph of carbon fullerene. Clearly, a perfect star packing in a fullerene graph $G$ on $n$ vertices will exist if and only if $G$ has an efficient dominating set of cardinality $\frac{n}{4}$. The problem of finding an efficient dominating set is algorithmically hard \cite{Alg_hard}. In this paper, we give a characterization for a fullerene graph to own a perfect star packing. And mainly show that it is necessary for a fullerene $G$ owning a perfect star packing to have order being divisible by $8$. This answers an open problem asked by Doslić et. al. and also shows that a fullerene graph with an efficient dominating set has $8n$ vertices. By the way, we find some counterexamples for the necessity of Theorem $14$ in \cite{Doslic} and list some forbidden configurations to preclude the existence of a perfect star packing of type $P0$.
2021-03-21 v2
An inverse-type problem for cycles in local Cayley distance graphs
Let $E$ be a proper symmetric subset of $S^{d-1}$, and $C_{\mathbb{F}_q^d}(E)$ be the Cayley graph with the vertex set $\mathbb{F}_q^d$, and two vertices $x$ and $y$ are connected by an edge if $x-y\in E$. Let $k\ge 2$ be a positive integer. We show that for any $α\in (0, 1)$, there exists $q(α, k)$ large enough such that if $E\subset S^{d-1}\subset \mathbb{F}_q^d$ with $|E|\ge αq^{d-1}$ and $q\ge q(α, k)$, then for each vertex $v$, there are at least $c(α, k)q^{\frac{(2k-1)d-4k}{2}}$ cycles of length $2k$ with distinct vertices in $C_{\mathbb{F}_q^d}(E)$ containing $v$. This result is the inverse version of a recent result due to Iosevich, Jardine, and McDonald (2021).
Bipartite biregular Moore graphs
Published • View PublicationBIB
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diameter $d$ and large number of vertices $N(r_1,r_2;d)$, together with their spectra. In some cases of diameters $d=3$, $4$, and $5$, the new graphs attaining the Moore bound are unique up to isomorphism.
2021-03-21 v2
Positivity of Hadamard powers of a few band matrices
Published in Electronic Journal of Linear Algebra, Volume-38, (2022), 85-90 • View PublicationBIB
Let $\mathbb{P}_G([0,\infty))$ and $\mathbb{P}_G^{'}([0,\infty))$ be the sets of positive semidefinite and positive definite matrices of order $n$, respectively, with nonnegative entries, where some positions of zero entries are restricted by a simple graph $G$ with $n$ vertices. It is proved that for a connected simple graph $G$ of order $n\geq 3$, the set of powers preserving positive semidefiniteness on $\mathbb{P}_G([0,\infty))$ is precisely the same as the set of powers preserving positive definiteness on $\mathbb{P}_G^{'}([0,\infty))$. In particular, this provides an explicit combinatorial description of the critical exponent for positive definiteness, for all chordal graphs. Using chain sequences, it is proved that the Hadamard powers preserving the positive (semi) definiteness of every tridiagonal matrix with nonnegative entries are precisely $r\geq 1$. The infinite divisibility of tridiagonal matrices is studied. The same results are proved for a special family of pentadiagonal matrices.
2021-03-20
An improved bound on the chromatic number of the Pancake graphs
Published in Discussiones Mathematicae - Graph Theory, 2021 • View PublicationBIB
In this paper an improved bound on the chromatic number of the Pancake graph $P_n, n\geqslant 2$, is presented. The bound is obtained using a subadditivity property of the chromatic number of the Pancake graph. We also investigate an equitable coloring of $P_n$. An equitable $(n-1)$-coloring based on efficient dominating sets is given and optimal equitable $4$-colorings are considered for small $n$. It is conjectured that the chromatic number of $P_n$ coincides with its equitable chromatic number for any $n\geqslant 2$.
2021-03-20
Non-trivial $t$-intersecting families for the distance-regular graphs of bilinear forms
Published • View PublicationBIB
Let $V$ be an $(n+\ell)$-dimensional vector space over a finite field, and $W$ a fixed $\ell$-dimensional subspace of $V$. Write ${V\brack n,0}$ to be the set of all $n$-dimensional subspaces $U$ of $V$ satisfying $\dim(U\cap W)=0$. A family $\mathcal{F}\subseteq{V\brack n,0}$ is $t$-intersecting if $\dim(A\cap B)\geq t$ for all $A,B\in\mathcal{F}$. A $t$-intersecting family $\mathcal{F}\subseteq{V\brack n,0}$ is called non-trivial if $\dim(\cap_{F\in\mathcal{F}}F)<t$. In this paper, we describe the structure of non-trivial $t$-intersecting families of ${V\brack n,0}$ with large size. In particular, we show the structure of the non-trivial $t$-intersecting families with maximum size, which extends the Hilton-Milner Theorem for ${V\brack n,0}$.
2021-03-20
Note on the number of balanced independent sets in the Hamming cube
Published • View PublicationBIB
Let $Q_d$ be the $d$-dimensional Hamming cube and $N=|V(Q_d)|=2^d$. An independent set $I$ in $Q_d$ is called balanced if $I$ contains the same number of even and odd vertices. We show that the logarithm of the number of balanced independent sets in $Q_d$ is \[(1-Θ(1/\sqrt d))N/2.\] The key ingredient of the proof is an improved version of "Sapozhenko's graph container lemma."
2021-03-20
Spectrally Simple Zeros of Zeon Polynomials
Published in Adv. Appl. Clifford Algebras 31, 66 (2021) • View PublicationBIB
Combinatorial properties of zeons have been applied to graph enumeration problems, graph colorings, routing problems in communication networks, partition-dependent stochastic integrals, and Boolean satisfiability. Power series of elementary zeon functions are naturally reduced to finite sums by virtue of the nilpotent properties of zeons. Further, the zeon extension of any analytic complex function has zeon polynomial representations on associated equivalence classes of zeons. In this paper, zeros of polynomials over complex zeons are considered. Existing results for real zeon polynomials are extended to the complex case and new results are established. In particular, a fundamental theorem of zeon algebra is established for spectrally simple zeros of complex zeon polynomials, and an algorithm is presented that allows one to find spectrally simple zeros when they exist. As an application, inverses of zeon extensions of analytic functions are computed using polynomial methods.
2021-03-19 v2
On the location of zeros of the Laplacian matching polynomials of graphs
Published • View PublicationBIB
The Laplacian matching polynomial of a graph $G$, denoted by $\mathscr{L\hspace{-0.7mm}M}(G,x)$, is a new graph polynomial whose all roots are nonnegative real numbers. In this paper, we investigate the location of zeros of the Laplacian matching polynomials. Let $G$ be a connected graph. We show that $0$ is a root of $\mathscr{L\hspace{-0.7mm}M}(G, x)$ if and only if $G$ is a tree. We prove that the number of distinct positive zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ is at least equal to the length of the longest path in $G$. It is also established that the zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and $\mathscr{L\hspace{-0.7mm}M}(G-e,x)$ interlace for each edge $e$ of $G$. Using the path-tree of $G$, we present a linear algebraic approach to investigate the largest zero of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and particularly to give tight upper and lower bounds on it.
Progress on the localization number of a graph
We highlight new results on the localization number of a graph, a parameter derived from the localization graph searching game. After introducing the game and providing an overview of existing results, we describe recent results on the localization number. We describe bounds or exact values of the localization number of incidence graphs of designs, polarity graphs, and Kneser graphs.
On a recolouring version of Hadwiger's conjecture
Published • View PublicationBIB
We prove that for any $\varepsilon>0$, for any large enough $t$, there is a graph $G$ that admits no $K_t$-minor but admits a $(\frac32-\varepsilon)t$-colouring that is "frozen" with respect to Kempe changes, i.e. any two colour classes induce a connected component. This disproves three conjectures of Las Vergnas and Meyniel from 1981.
2021-03-19
On Domatic and Total Domatic Numbers of Product Graphs
Published • View PublicationBIB
A \emph{domatic} (\emph{total domatic}) \emph{$k$-coloring} of a graph $G$ is an assignment of $k$ colors to the vertices of $G$ such that each vertex contains vertices of all $k$ colors in its closed neighborhood (neighborhood). The \emph{domatic} (\emph{total domatic}) \emph{number} of $G$, denoted $d(G)$ ($d_t (G)$), is the maximum $k$ for which $G$ has a domatic (total domatic) $k$-coloring. In this paper, we show that for two non-trivial graphs $G$ and $H$, the domatic and total domatic numbers of their Cartesian product $G \cart H$ is bounded above by $\max\{|V(G)|, |V(H)|\}$ and below by $\max\{d(G), d(H)\}$. Both these bounds are tight for an infinite family of graphs. Further, we show that if $H$ is bipartite, then $d_t(G \cart H)$ is bounded below by $2\min\{d_t(G),d_t(H)\}$ and $d(G \cart H)$ is bounded below by $2\min\{d(G),d_t(H)\}$. These bounds give easy proofs for many of the known bounds on the domatic and total domatic numbers of hypercubes \cite{chen,zel4} and the domination and total domination numbers of hypercubes \cite{har,joh} and also give new bounds for Hamming graphs. We also obtain the domatic (total domatic) number and domination (total domination) number of $n$-dimensional torus $\mathop{\cart}\limits_{i=1}^{n} C_{k_i}$ with some suitable conditions to each $k_i$, which turns out to be a generalization of a result due to Gravier \cite{grav2} %[\emph{Total domination number of grid graphs}, Discrete Appl. Math. 121 (2002) 119-128] and give easy proof of a result due to Klavžar and Seifter \cite{sand}.
2021-03-19
A note on the triameter of graphs
Published in Discrete Appl. Math., 309 (2022), 278-284 • View PublicationBIB
In this note, we give answers to three questions from the paper [A. Das, Triameter of graphs, Discuss. Math. Graph Theory, 41 (2021), 601--616]. Namely, we obtain a tight lower bound for the triameter of trees in terms of order and number of leaves. We show that in a connected block graph any triametral triple of vertices contains a diametral pair and that any diametral pair of vertices can be extended to a triametral triple. We also present several open problems concerning the interplay between triametral triples, diametral pairs and peripheral vertices in median and distance-hereditary graphs.
2021-03-19 v4
A modification of two graph-decomposition theorems based on a vertex-removing synchronised graph product
Published • View PublicationBIB
Recently, we have introduced two graph-decomposition theorems based on a new graph product (the vertex-removing synchronised product (VRSP)), motivated by applications in the context of synchronising periodic real-time processes. In these applications, periodic real-time processes synchronise over actions that have the same label and therefore the same behaviour. From a process-algebraic point of view, such a synchronising action is executed atomically and at the same time by all processes that have this action in their alphabet. But, when these processes are executed on some computer platform, synchronisation leads to context switches of the processes and therefore an increased overhead, which may lead to deadline misses. But, by combining processes we reduce the number of context switches and therefore reduce the overhead. We combine these processes by representing the processes by edge-labelled acyclic directed multi-graphs, and multiply the graphs by the VRSP. Next, we transpose the resulting graphs into processes for which there are less context switches. An important aspect of these real-time applications is that they must execute in time. Still, it may happen that the set of processes of the application cannot execute timely and may miss a deadline. Now, by decomposing the graphs and multiplying the graphs by the VRSP in another combination, the processes that are represented by these recombined graphs may execute in time. The requirements of the recently introduced graph-decomposition theorems are too strict and can be relaxed, whereby more graphs can be decomposed giving more possible combinations for the real-time application. Therefore, we recall the definition of the VRSP and the two graph-decomposition theorems, we relax the requirements by stating and proving two lemmas and use these lemmas to state and prove these two (relaxed) graph-decomposition theorems.
2021-03-19
Tri-Partitions and Bases of an Ordered Complex
Published in Discrete and Computational Geometry (DCG) 64 (2020), 759-775 • View PublicationBIB
Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholz-Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral complex, $K$, and every dimension, $p$, there is a partition of the set of $p$-cells into a maximal $p$-tree, a maximal $p$-cotree, and a collection of $p$-cells whose cardinality is the $p$-th Betti number of $K$. Given an ordering of the $p$-cells, this tri-partition is unique, and it can be computed by a matrix reduction algorithm that also constructs canonical bases of cycle and boundary groups.
2021-03-19
A characterization of $4$-$χ_ρ$-(vertex-)critical graphs
Published • View PublicationBIB
Given a graph $G$, a function $c:V(G)\longrightarrow \{1,\ldots,k\}$ with the property that $c(u)=c(v)=i$ implies that the distance between $u$ and $v$ is greater than $i$, is called a $k$-packing coloring of $G$. The smallest integer $k$ for which there exists a $k$-packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ$. Packing chromatic vertex-critical graphs are the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. A graph $G$ is called a packing chromatic critical graph if for every proper subgraph $H$ of $G$, $χ_ρ(H) < χ_ρ(G)$. Both of the mentioned variations of critical graphs with respect to the packing chromatic number have already been studied. All packing chromatic (vertex-)critical graphs $G$ with $χ_ρ(G)=3$ were characterized, while there were known only partial results for graphs $G$ with $χ_ρ(G)=4$. In this paper, we provide characterizations of all packing chromatic vertex-critical graphs $G$ with $χ_ρ(G)=4$ and all packing chromatic critical graphs $G$ with $χ_ρ(G)=4$.
2021-03-18
The super-connectivity of Kneser graph KG(n,3)
A vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected. A super vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected and there is no isolated vertex in each component of $G-S$. The super-connectivity of graph $G$ is the size of the minimum super vertex cut of $G$. Let $KG(n,k)$ be the Kneser graph whose vertices set are the $k$-subsets of $\{1,\cdots,n\}$, where $k$ is the number of labels of each vertex in $G$. We aim to show that the conjecture from Boruzanli and Gauci \cite{EG19} on the super-connectivity of Kneser graph $KG(n,k)$ is true when $k=3$.
A graph theoretical approach to the firebreak locating problem
Published • View PublicationBIB
In the last decade, wildfires have become wider and more destructive. The climate change and the growth of urban areas may further increase the probability of incidence of large-scale fires. The risk of fire can be lowered with preventive measures. Among them, firefighting lines are used to stop the fire from spreading beyond them. Due to high costs of installation and maintenance, their placement must be carefully planned. In this work, we address the wildfire management problem from a theoretical point of view and define a risk function to model the fire diffusion phenomena. The land is modeled by a mixed graph in which vertices are areas subject to fire with a certain probability while edges model the probability of fire spreading from one area to another. To reduce the risk, we introduce the {\sc Windy Firebreak Location} problem that addresses the optimal positioning of firefighting lines under budget constraints. We study the complexity of the problem and prove its hardness even when the graph is planar, bipartite, with maximum degree four and the propagation probabilities are equal to one. We also show an efficient polynomial time algorithm for particular instances on trees.
2021-03-18 v2
Graphs with unique Grundy dominating sets
Given a graph $G$ consider a procedure of building a dominating set $D$ in $G$ by adding vertices to $D$ one at a time in such a way that whenever vertex $x$ is added to $D$ there exists a vertex $y\in N_G[x]$ that becomes dominated only after $x$ is added to $D$. The maximum cardinality of a set $D$ obtained in the described way is called the Grundy domination number of $G$ and $D$ a Grundy dominating set. While a Grundy dominating set of a connected graph $G$ is not unique unless $G$ is the trivial graph, we consider a natural weaker uniqueness condition, notably that for every two Grundy dominating sets in a graph $G$ there is an automorphism that maps one to the other. We investigate both versions of uniqueness for several concepts of Grundy domination, which appeared in the context of domination games and are also closely related to zero forcing. For each of the four variations of Grundy domination we characterize the graphs that have only one Grundy dominating set of the given type, and characterize those forests that enjoy the weaker (isomorphism based) condition of uniqueness. The latter characterizations lead to efficient algorithms for recognizing the corresponding classes of forests.