graph
34604 papers tagged with this keyword
Global forcing number for maximal matchings in corona products
A global forcing set for maximal matchings of a graph $G=(V(G), E(G))$ is a set $S \subseteq E(G)$ such that $M_1\cap S \neq M_2 \cap S$ for each pair of maximal matchings $M_1$ and $M_2$ of $G$. The smallest such set is called a minimum global forcing set, its size being the global forcing number for maximal matchings $φ_{gm}(G)$ of $G$. In this paper, we establish lower and upper bounds on the forcing number for maximal matchings of the corona product of graphs. We also introduce an integer linear programming model for computing the forcing number for maximal matchings of graphs.
On the spanning structure hierarchy of 3-connected planar graphs
Published
• View Publication
• BIB
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph $K_2$. $G$ is prism-hamiltonian if the prism over $G$ has a Hamilton cycle. A good even cactus is a connected graph in which every block is either an edge or an even cycle, and every vertex is contained in at most two blocks. It is known that good even cacti are prism-hamiltonian. Indeed, showing the existence of a spanning good even cactus has become one of the most common techniques in proving prism-hamiltonicity. Špacapan asked whether having a spanning good even cactus is equivalent to having a hamiltonian prism for 3-connected planar graphs. In this article we give a negative answer to this question by showing that there are infinitely many 3-connected planar prism-hamiltonian graphs that have no spanning good even cactus. We also prove the existence of an infinite class of 3-connected planar graphs that have a spanning good even cactus but no spanning good even cactus with maximum degree three.
The feasibility problem for line graphs
Published
• View Publication
• BIB
We consider the following feasibility problem: given an integer $n \geq 1$ and an integer $m$ such that $0 \leq m \leq \binom{n}{2}$, does there exist a line graph $L = L(G)$ with exactly $n$ vertices and $m$ edges ?
We say that a pair $(n,m)$ is non-feasible if there exists no line graph $L(G)$ on $n$ vertices and $m$ edges, otherwise we say $(n,m)$ is a feasible pair. Our main result shows that for fixed $n\geq 5$, the values of $m$ for which $(n, m)$ is a non-feasible pair, form disjoint blocks of consecutive integers which we completely determine. On the other hand we prove, among other things, that for the more general family of claw-free graphs (with no induced $K_{1,3}$-free subgraph), all $(n,m)$-pairs in the range $0 \leq m \leq \binom{n}{2}$ are feasible pairs.
An induced subgraph of the Hamming graph with maximum degree 1
Published
• View Publication
• BIB
For every graph $G$, let $α(G)$ denote its independence number. What is the minimum of the maximum degree of an induced subgraph of $G$ with $α(G)+1$ vertices? We study this question for the $n$-dimensional Hamming graph over an alphabet of size $k$. In this paper, we give a construction to prove that the answer is $1$ for all $n$ and $k$ with $k \geq 3$. This is an improvement over an earlier work showing that the answer is at most $\lceil \sqrt{n} \, \rceil$.
Counting independent sets in amenable groups
Given a locally finite graph $Γ$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $λ$, consider the free energy $f_G(Γ,λ)$ of the hardcore model defined on the set of independent sets in $Γ$ weighted by $λ$.
Under the assumption that $G$ is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|λ\|_\infty < λ_c(Δ)$, there exists a randomized $ε$-additive approximation scheme for $f_G(Γ,λ)$ that runs in time $\mathrm{poly}((1+ε^{-1})\lvert Γ/G \rvert)$, where $λ_c(Δ)$ denotes the critical activity on the $Δ$-regular tree. In addition, if $G$ has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. On the other hand, we observe that if $\|λ\|_\infty > λ_c(Δ)$, there is no efficient approximation scheme, unless $\mathrm{NP} = \mathrm{RP}$. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting.
As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.
Catching an infinitely fast robber on a grid
Published
• View Publication
• BIB
We consider a variant of Cops and Robbers in which the robber may traverse as many edges as he likes in each turn, with the constraint that he cannot pass through any vertex occupied by a cop. We study this model on several classes of grid-like graphs. In particular, we determine the cop numbers for two-dimensional Cartesian grids and tori up to an additive constant, and we give asymptotic bounds for the cop numbers of higher-dimensional grids and hypercubes.
On Cyclic Matroids and their Applications
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.
Multidimensional Lambert-Euler inversion and vector-multiplicative coalescent processes
Published
• View Publication
• BIB
In this paper we show the existence of the minimal solution to the multidimensional Lambert-Euler inversion, a multidimensional generalization of $[-e^{-1} ,0)$ branch of Lambert W function $W_0(x)$. Specifically, for a given nonnegative irreducible symmetric matrix $V \in \mathbb{R}^{k \times k}$, we show that for ${\bf u}\in(0,\infty)^k$, if equation $$y_j \exp\{-{\bf e}_j^T V {\bf y} \} = u_j ~~~~~~\forall j=1,...,k,$$ has at least one solution, it must have a minimal solution ${\bf y}^*$, where the minimum is achieved in all coordinates $y_j$ simultaneously. Moreover, such ${\bf y}^*$ is the unique solution satisfying $ρ\left(V D[y^*_j] \right) \leq 1$, where $D[y^*_j]={\sf diag}(y_j^*)$ is the diagonal matrix with entries $y^*_j$ and $ρ$ denotes the spectral radius.
Our main application is in the vector-multiplicative coalescent process. It is a coalescent process with $k$ types of particles and vector-valued weights that begins with $α_1n+...+α_k n$ particles partitioned into types of respective sizes, and in which two clusters of weights ${\bf x}$ and ${\bf y}$ would merge with rate $({\bf x}^{\sf T} V {\bf y})/n$. We use combinatorics to solve the corresponding modified Smoluchowski equations, obtained as a hydrodynamic limit of vector-multiplicative coalescent as $n \to \infty$, and use multidimensional Lambert-Euler inversion to establish gelation and find a closed form expression for the gelation time.
We also find the asymptotic length of the minimal spanning tree for a broad range of graphs equipped with random edge lengths.
Anti-Ramsey numbers for trees in complete multi-partite graphs
Published
• View Publication
• BIB
Let $G$ be a complete multi-partite graph of order $n$. In this paper, we consider the anti-Ramsey number $ar(G,\mathcal{T}_{q})$ with respect to $G$ and the set $\mathcal{T}_{q}$ of trees with $q$ edges, where $2\le q\le n-1$. For the case $q=n-1$, the result has been obtained by Lu, Meier and Wang. We will extend it to $q<n-1$. We first show that $ar(G,\mathcal{T}_{q})=\ell_{q}(G)+1$, where $\ell_{q}(G)$ is the maximum size of a disconnected spanning subgraph $H$ of $G$ with the property that any two components of $H$ together have at most $q$ vertices. Using this equality, we obtain the exact values of $ar(G,\mathcal{T}_{q})$ for $n-3\le q\le n-1$. We also compute $ar(G,\mathcal{T}_{q})$ by a simple algorithm when $(4n-2)/5\le q\le n-1$.
Site Percolation on Pseudo-Random Graphs
Published
• View Publication
• BIB
We consider vertex percolation on pseudo-random $d-$regular graphs. The previous study by the second author established the existence of phase transition from small components to a linear (in $\frac{n}{d}$) sized component, at $p=\frac{1}{d}$. In the supercritical regime, our main result recovers the sharp asymptotic of the size of the largest component, and shows that all other components are typically much smaller. Furthermore, we consider other typical properties of the largest component such as the number of edges, existence of a long cycle and expansion. In the subcritical regime, we strengthen the upper bound on the likely component size.
On fractional version of oriented coloring
Published
• View Publication
• BIB
We introduce the fractional version of oriented coloring and initiate its study. We prove some basic results and study the parameter for directed cycles and sparse planar graphs. In particular, we show that for every $ε> 0$, there exists an integer $g_ε \geq 12$ such that any oriented planar graph having girth at least $g_ε$ has fractional oriented chromatic number at most $4+ε$. Whereas, it is known that there exists an oriented planar graph having girth at least $g_ε$ with oriented chromatic number equal to $5$. We also study the fractional oriented chromatic number of directed cycles and provide its exact value. Interestingly, the result depends on the prime divisors of the length of the directed cycle.
Multilattice graphs and perfect domination
Perfect codes in the $n$-dimensio\-nal grid $Λ_n$ of the lattice $\mathbb{Z}^n$ ($0<n\in\mathbb{Z}$) and its quotient toroidal grids were obtained via the truncated distance in $\mathbb{Z}^n$ given between $u=(u_1,\cdots,u_n)$ and $v=(v_1, \ldots,v_n)$ as the graph distance $h(u,v)$ in $Λ_n$, if $|u_i-v_i|\le 1$, for all $i\in\{1, \ldots,n\}$, and as $n+1$, otherwise. Such codes are extended to multilattice graphs $Γ_n$ obtained by glueing ternary $n$-cubes along their codimension 1 ternary subcubes in such a way that each binary $n$-subcube is contained in a unique maximal lattice of $Γ_n$. The existence of an infinite number of isolated perfect truncated-metric codes of radius 2 in $Γ_n$ for $n=2$ is ascertained, leading to conjecture such existence for $n>2$ with radius $n$.
On Families of Planar DAGs with Constant Stack Number
A $k$-stack layout (or $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number of a graph is the minimum $k$ such that it admits a $k$-stack layout. In this paper we study a long-standing problem regarding the stack number of planar directed acyclic graphs (DAGs), for which the vertex order has to respect the orientation of the edges. We investigate upper and lower bounds on the stack number of several families of planar graphs: We improve the constant upper bounds on the stack number of single-source and monotone outerplanar DAGs and of outerpath DAGs, and improve the constant upper bound for upward planar 3-trees. Further, we provide computer-aided lower bounds for upward (outer-) planar DAGs.
Combinatorial classification of $(\pm 1)$-skew projective spaces
Published
• View Publication
• BIB
The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.
Large vertex-flames in uncountable digraphs
Published
• View Publication
• BIB
The study of minimal subgraphs witnessing a connectivity property is an important field in graph theory. The foundation for large flames has been laid by Lovász: Let $ D=(V,E) $ be a finite digraph and let $ r\in V $. The local connectivity $ κ_D(r,v) $ from $ r $ to $ v $ is defined to be the maximal number of internally disjoint $ r\rightarrow v $ paths in $ D $. A spanning subdigraph $ L $ of $ D $ with $ κ_L(r,v)=κ_D(r,v) $ for every $ v\in V-r $ must have at least $\sum_{v\in V-r}κ_D(r,v) $ edges. Lovász proved that, maybe surprisingly, this lower bound is sharp for every finite digraph.
The optimality of an $ L $ sufficing the min-max criteria from Lovász' theorem may instead also be captured by the following structural characterization: For every $ v\in V-r $ there is a system $ \mathcal{P}_v $ of internally disjoint $ r\rightarrow v $ paths in $ L $ covering all the ingoing edges of $ v $ in $ L $ such that one can choose from each $ P\in \mathcal{P}_v $ either an edge or an internal vertex in such a way that the resulting set meets every $ r\rightarrow v $ path of $ D $.
The positive result for countably infinite digraphs based on this structural infinite generalisation were obtained by the second author. In this paper we extend this to digraphs of size $ \aleph_1 $ which requires significantly more complex techniques. Despite solving yet the smallest uncountable case, the complete understanding of the concept and potentially a proof for arbitrary cardinality still seems to be far.
Multiplicity-Free Gonality on Graphs
Published
• View Publication
• BIB
The divisorial gonality of a graph is the minimum degree of a positive rank divisor on that graph. We introduce the multiplicity-free gonality of a graph, which restricts our consideration to divisors that place at most \(1\) chip on each vertex. We give a sufficient condition in terms of vertex-connectivity for these two versions of gonality to be equal; and we show that no function of gonality can bound multiplicity-free gonality, even for simple graphs. We also prove that multiplicity-free gonality is NP-hard to compute, while still determining it for graph families for which gonality is currently unknown. We also present new gonalities, such as for the wheel graphs.
A combinatorial approach to counting primitive periodic and primitive pseudo orbits on circulant graphs
For families of 4-regular directed circulant graphs with $n$ vertices, we count the number of primitive periodic orbits of length up to at least $n$. The relevant counting techniques are then extended to count the number of primitive pseudo orbits (sets of distinct primitive periodic orbits) of length up to at least $n$ that lack self-intersections, or that self-intersect only at individual vertices repeated exactly twice (2-encounters of length zero), for two particular families of 4-regular directed circulant graphs. We then regard these two families of graphs as families of quantum graphs and use the counting results to compute the variance of the coefficients of the quantum graph's characteristic polynomial.
Graceful and Strongly Graceful Permutations
A graceful labelling of a graph G is an injective function f from the set of vertices of G into the set {0,1,...,|EG|} such that if edge uv is assigned the label |f(u)-f(v)| then all edge labels have distinct values. A strong graceful labelling of a tree T with a perfect matching is a graceful labelling of T with the additional property that the sum of the vertex labels of each odd labelled edge add up to |ET|. A lobster or a 2-distant tree is a tree T that contains a path P such that any vertex of T is a distance at most 2 from a vertex of P. In this paper, we define generalised strongly graceful permutations and discover two new permutations in addition to the known permutation that is obtained by replacing each vertex label f(v) by |ET|- f(v). We use these permutations to prove, by induction, that a lobster with a perfect matching that consists of the set of end edges of the lobster, is strongly graceful. Further, we show that there exist strongly graceful labellings that assign the label 0 to four specific vertices of any tree belonging to this family of lobsters. By using the technique developed in this paper we will, further, present a tractable way for proving an equivalent form of Bermond conjecture which states that all lobsters are graceful. Two out of a total of three cases of the proposed equivalent form of Bermond conjecture are completed leaving the third case open for refutation or completion.
Defective Ramsey Numbers and Defective Cocolorings in Some Subclasses of Perfect Graphs
Published
• View Publication
• BIB
In this paper, we investigate a variant of Ramsey numbers called defective Ramsey numbers where cliques and independent sets are generalized to $k$-dense and $k$-sparse sets, both commonly called $k$-defective sets. We focus on the computation of defective Ramsey numbers restricted to some subclasses of perfect graphs. Since direct proof techniques are often insufficient for obtaining new values of defective Ramsey numbers, we provide a generic algorithm to compute defective Ramsey numbers in a given target graph class. We combine direct proof techniques with our efficient graph generation algorithm to compute several new defective Ramsey numbers in perfect graphs, bipartite graphs and chordal graphs. We also initiate the study of a related parameter, denoted by $c^{\mathcal G}_k(m)$, which is the maximum order $n$ such that the vertex set of any graph of order at $n$ in a class $\mathcal{G}$ can be partitioned into at most $m$ subsets each of which is $k$-defective. We obtain several values for $c^{\mathcal G}_k(m)$ in perfect graphs and cographs.
Circular $(4-ε)$-coloring of some classes of signed graphs
A circular $r$-coloring of a signed graph $(G, σ)$ is an assignment $φ$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σ)$ such that for each positive edge $uv$ of $(G, σ)$ the distance of $φ(v)$ and $φ(v)$ is at least 1 and for each negative edge $uv$ the distance of $φ(u)$ from the antipodal of $φ(v)$ is at least 1. The circular chromatic number of $(G, σ)$, denoted $χ_c(G, σ)$, is the infimum of $r$ such that $(G, σ)$ admits a circular $r$-coloring.
This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χ_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs.
In this work we first observe the following restatement of the 4-color theorem: If $(G,σ)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χ_c(G,σ)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.