graph
34793 papers tagged with this keyword
Morphism extension classes of countable $L$-colored graphs
In~\cite{Hartman:2014}, Hartman, Hubi\v cka and Ma\v sulović studied the hierarchy of morphism extension classes for finite $L$-colored graphs, that is, undirected graphs without loops where sets of colors selected from $L$ are assigned to vertices and edges. They proved that when $L$ is a linear order, the classes $MH_L$ and $HH_L$ coincide, and the same is true for vertex-uniform finite $L$-colored graphs when $L$ is a diamond. In this paper, we explore the same question for countably infinite $L$-colored graphs. We prove that $MH_L=HH_L$ if and only if $L$ is a linear order.
A New Perspective on FO Model Checking of Dense Graph Classes
We study the first-order (FO) model checking problem of dense graphs, namely those which have FO interpretations in (or are FO transductions of) some sparse graph classes. We give a structural characterization of the graph classes which are FO interpretable in graphs of bounded degree. This characterization allows us to efficiently compute such an FO interpretation for an input graph. As a consequence, we obtain an FPT algorithm for successor-invariant FO model checking of any graph class which is FO interpretable in (or an FO transduction of) a graph class of bounded degree. The approach we use to obtain these results may also be of independent interest.
A note on b-coloring of Kneser graphs
Published
• View Publication
• BIB
In this short note, the purpose is to provide an upper bound for the b-chromatic number of Kneser graphs. Our bound improves the upper bound that was presented by Balakrishnan and Kavaskar in [b-coloring of Kneser graphs, Discrete Appl. Math. 160 (2012), 9-14].
Coloring even-hole-free graphs with no star cutset
A \emph{hole} is a chordless cycle of length at least $4$. A graph is \emph{even-hole-free} if it does not contain any hole of even length as an induced subgraph. In this paper, we study the class of even-hole-free graphs with no star cutset. We give the optimal upper bound for its chromatic number in terms of clique number and a polynomial-time algorithm to color any graph in this class. The latter is, in fact, a direct consequence of our proof that this class has bounded rank-width.
Connected greedy colouring in claw-free graphs
An ordering of the vertices of a graph is \emph{connected} if every vertex (but the first) has a neighbor among its predecessors. The greedy colouring algorithm of a graph with a connected order consists in taking the vertices in order, and assigning to each vertex the smallest available colour. A graph is \emph{good} if the greedy algorithm on every connected order gives every connected induced subgraph of it an optimal colouring. We give the characterization of good claw-free graphs in terms of minimal forbidden induced subgraphs.
On the distance domination number of bipartite graphs
Published
• View Publication
• BIB
A subset $D\subseteq V(G)$ is called a $k$-distance dominating set of $G$ if every vertex in $V(G)\setminus D$ is within distance $k$ from some vertex of $D$. The minimum cardinality among all $k$-distance dominating sets of $G$ is called the $k$-distance domination number of $G$. In this note we give upper bound on the $k$-distance domination number of a connected bipartite graph and improve some results have been given like Theorem 2.1 and 2,7 in [Tian and Xu, A note on distance domination of graphs, Australian Journal of Combinatorics, 43 (2009), 181-190].
Domination Critical Knodel Graphs
Published
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a dominating set if each vertex of $V(G)\setminus D$ is adjacent to some vertex of $D$. The domination number of $G$, $γ(G)$, is the minimum cardinality of a dominating set of $G$. A graph $G$ is called domination vertex critical, or just $γ$-critical if removal of any vertex decreases the domination number. A graph $G$ is called domination vertex stable, or just $γ$-stable, if removal of any vertex does not decrease the domination number. For an even integer $n\ge 2$ and $1\le Δ\le \lfloor \log_2n \rfloor$, a Knödel graph $W_{Δ,n}$ is a $Δ$-regular bipartite graph of even order $n$, with vertices $(i,j)$, for $i=1,2$ and $0\le j \le n/2-1$, where for every $j$, $0\le j \le n/2-1$, there is an edge between vertex $(1,j)$ and every vertex $(2,j+2^k-1$ (mod (n/2)), for $k=0,1,\cdots,Δ-1$. in this paper, we study the domination criticality and domination stability of Knödel graphs. We charactrize the 3-regular and 4-regular Knödel graphs by $γ$-criticality or $γ$-stability.
Resistors in dual networks
Published
• View Publication
• BIB
Let $G$ be a finite plane multigraph and $G'$ its dual. Each edge $e$ of $G$ is interpreted as a resistor of resistance $R_e$, and the dual edge $e'$ is assigned the dual resistance $R_{e'}:=1/R_e$. Then the equivalent resistance $r_e$ over $e$ and the equivalent resistance $r_{e'}$ over $e'$ satisfy $r_e/R_e+r_{e'}/R_{e'}=1$. We provide a graph theoretic proof of this relation by expressing the resistances in terms of sums of weights of spanning trees in $G$ and $G'$ respectively.
Upper bounds for the regularity of powers of edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.
Regularity of powers of edge ideals: from local properties to global bounds
Published
• View Publication
• BIB
Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{reg} I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{reg} I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method is to investigate the regularity function $\text{reg}I^s$, for $s \ge 1$, via local information of $I$.
The genus of complete 3-uniform hypergraphs
Published in J. Combin. Theory Ser. B, (141): 223--239, 2020
• View Publication
• BIB
In 1968, Ringel and Youngs confirmed the last open case of the Heawood Conjecture by determining the genus of every complete graph $K_n$. In this paper, we investigate the minimum genus embeddings of the complete $3$-uniform hypergraphs $K_n^3$. Embeddings of a hypergraph $H$ are defined as the embeddings of its associated Levi graph $L_H$ with vertex set $V(H)\sqcup E(H)$, in which $v\in V(H)$ and $e\in E(H)$ are adjacent if and only if $v$ and $e$ are incident in $H$. We determine both the orientable and the non-orientable genus of $K_n^3$ when $n$ is even. Moreover, it is shown that the number of non-isomorphic minimum genus embeddings of $K_n^3$ is at least $2^{\frac{1}{4}n^2\log n(1-o(1))}$. The construction in the proof may be of independent interest as a design-type problem.
The relation between Parabolic Hecke modules and $W$-graph ideal modules in Kazhdan-Lusztig theory
In 2011, Howlett and Nguyen \cite{r1} introduced the concept of a $W$-graph ideal $E_J$ in $\left ( W,\leqslant_{L} \right )$ with respect to $J$ (a subset of $S$), where $\leqslant _{L}$ is the left weak order on $W$. They proved that one can construct a $W$-graph from a given $W$-graph ideal by constructing a Hecke module structure on $E_J$, where the $W$-graph was introduced by Kazhdan and Lusztig in \cite{d1}.
In this paper, we give the relation between Hecke modules on $E_J$ and general Hecke algebras by considering the relation between Hecke modules on $E_J$ and parabolic Hecke modules. And inspired by Lusztig \cite{g3}, we show that the parabolic Hecke module is isomorphic to a left ideal of the Hecke algebra. Lastly, we give the relation between $R$-polynomials on $E_J$ and parabolic $R$-polynomials as an application of the main results.
Independence Posets
Published
• View Publication
• BIB
Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$.
Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$.
We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.
Uniquely restricted matchings in subcubic graphs
A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We conjecture that every connected subcubic graph with $m$ edges and $b$ bridges that is distinct from $K_{3,3}$ has a uniquely restricted matching of size at least $\frac{m+b}{6}$, and we establish this bound with $b$ replaced by the number of bridges that lie on a path between two vertices of degree at most $2$. Moreover, we prove that every connected subcubic graph of order $n$ and girth at least $7$ has a uniquely restricted matching of size at least $\frac{n-1}{3}$, which partially confirms a Conjecture of Fürst and Rautenbach (Some bounds on the uniquely restricted matching number, arXiv:1803.11032).
Maximum cuts in edge-colored graphs
Published
• View Publication
• BIB
The input of the Maximum Colored Cut problem consists of a graph $G=(V,E)$ with an edge-coloring $c:E\to \{1,2,3,\ldots , p\}$ and a positive integer $k$, and the question is whether $G$ has a nontrivial edge cut using at least $k$ colors. The Colorful Cut problem has the same input but asks for a nontrivial edge cut using all $p$ colors. Unlike what happens for the classical Maximum Cut problem, we prove that both problems are NP-complete even on complete, planar, or bounded treewidth graphs. Furthermore, we prove that Colorful Cut is NP-complete even when each color class induces a clique of size at most 3, but is trivially solvable when each color induces a $K_2$. On the positive side, we prove that Maximum Colored Cut is fixed-parameter tractable when parameterized by either $k$ or $p$, by constructing a cubic kernel in both cases.
An Updated Experimental Evaluation of Graph Bipartization Methods
Published
• View Publication
• BIB
We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing suite of fast input reduction routines from the Odd Cycle Transversal (OCT) and Vertex Cover (VC) literature, and compare algorithm implementations using Quadratic Unconstrained Binary Optimization problems from the quantum literature. We also generate a corpus of frustrated cluster loop graphs, which have previously been used to benchmark quantum annealing hardware. The diversity of these graphs leads to harder OCT instances than in existing benchmarks.
In addition to combinatorial branching algorithms for solving OCT directly, we study various reformulations into other NP-hard problems such as VC and Integer Linear Programming (ILP), enabling the use of solvers such as CPLEX. We find that for heuristic solutions with time constraints under a second, iterative compression routines jump-started with a heuristic solution perform best, after which point using a highly tuned solver like CPLEX is worthwhile. Results on exact solvers are split between using ILP formulations on CPLEX and solving VC formulations with a branch-and-reduce solver. We extend our results with a large corpus of synthetic graphs, establishing robustness and potential to generalize to other domain data. In total, over 8000 graph instances are evaluated, compared to the previous canonical corpus of 100 graphs.
Finally, we provide all code and data in an open source suite, including a Python API for accessing reduction routines and branching algorithms, along with scripts for fully replicating our results.
A spectral version of the Moore problem for bipartite regular graphs
Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that $g\geq 2d-2$. For certain values of $d$, there are infinitely many such graphs of various valencies $k$. However, for $d=11$ or $d\geq 15$, we prove that there are no bipartite distance-regular graphs with $g\geq 2d-2$.
Cayley graphs of order kp are hamiltonian for k < 48
Published in Art Discrete Appl. Math. 3 (2020), no. 2, Paper No. 2.02, 17 pp
• View Publication
• BIB
We provide a computer-assisted proof that if G is any finite group of order kp, where k < 48 and p is prime, then every connected Cayley graph on G is hamiltonian (unless kp = 2). As part of the proof, it is verified that every connected Cayley graph of order less than 48 is either hamiltonian connected or hamiltonian laceable (or has valence less than three).
Characteristic quasi-polynomials of ideals and signed graphs of classical root systems
Published in European Journal of Combinatorics, 79 (2019), 179-192
• View Publication
• BIB
With a main tool is signed graphs, we give a full description of the characteristic quasi-polynomials of ideals of classical root systems ($ABCD$) with respect to the integer and root lattices. As a result, we obtain a full description of the characteristic polynomials of the toric arrangements defined by these ideals. As an application, we provide a combinatorial verification to the fact that the characteristic polynomial of every ideal subarrangement factors over the dual partition of the ideal in the classical cases.
Matching on a line
Matching is a method of the design of experiments. If we had an even number of patients and wanted to form pairs of patients such that their ages, for example, in each pair be as close as possible, we would use nonbipartite matching. Not only do we present a fast method to do this, we also extend our approach to triples, quadruples, etc.
In part 1 a matching algorithm uses kn points on a line as vertices, pairs of vertices as edges, and either absolute values of differences or the squares of differences as weights or distances. It forms n of k-tuples with the minimal sum of distances within each k-tuple in O(n log n) time.
In part 2 we present a trivial algorithm for bipartite matching with absolute values or squares of differences as weights and a generalisation to tripartite matching on tripartite graphs.