graph
34604 papers tagged with this keyword
Approximate solutions to the Travelling Salesperson Problem on semimetric graphs
With the aid of the relaxed polygonal inequality (introduced by Fagin et al.) we strive to extend the applicability of Christofides approximation technique to the scope of all complete finite weighted graphs with positive weights. First section acquaints the Reader with the class of semimetric graphs and proves that every finite graph admits $γ$-polygon structure. Sections 2 and 3 establish the necessary notions from the graph and optimization theory to tackle the Traveling Salesperson Problem. In section 4 the minimal spanning tree method is introduced, while section 5 focuses on the analysis of this method through the lens of $γ$-polygon graphs. The final section of the paper adjusts the technique of Christofides by obtaining $\frac{3γ}{2}-$approximation for the TSP.
Generalized Turán results for intersecting cliques
Published
• View Publication
• BIB
For fixed graphs $F$ and $H$, the generalized Turán problem asks for the maximum number $ex(n,H,F)$ of copies of $H$ that an $n$-vertex $F$-free graph can have. In this paper, we focus on cases with $F$ being $B_{r,s}$, the graph consisting of two cliques of size $s$ sharing $r$ common vertices. We determine $ex(n,K_t,B_{r,0})$, $ex(n,K_t,B_{r,1})$ and $ex(n,K_{a,b},B_{3,1})$ for all values of $a,b,r,t$ if $n$ is large enough.
Star coloring of sparse graphs
Published in Journal of Graph Theory, Vol. 62(3), November 2009, Pages 201-219
• Search Publication
A proper coloring of the vertices of a graph is called a \emph{star coloring} if the union of every two color classes induces a star forest. The star chromatic number $χ_s(G)$ is the smallest number of colors required to obtain a star coloring of $G$. In this paper, we study the relationship between the star chromatic number $χ_s(G)$ and the maximum average degree $\mbox{Mad}(G)$ of a graph $G$. We prove that: (1) If $G$ is a graph with $\mbox{Mad}(G) < \frac{26}{11}$, then $χ_s(G)\leq 4$. (2) If $G$ is a graph with $\mbox{Mad}(G) < \frac{18}{7}$ and girth at least 6, then $χ_s(G)\leq 5$. (3) If $G$ is a graph with $\mbox{Mad}(G) < \frac{8}{3}$ and girth at least 6, then $χ_s(G)\leq 6$. These results are obtained by proving that such graphs admit a particular decomposition into a forest and some independent sets.
Erdös-Ko-Rado sets of flags of finite sets
Published
• View Publication
• BIB
A flag of a finite set $S$ is a set $f$ of non-empty proper subsets of $S$ such that $A\subseteq B$ or $B\subseteq A$ for all $A,B\in f$. The set $\{|A|:A\in f\}$ is called the type of $f$. Two flags $f$ and $f'$ are in general position (with respect to $S$) when $A\cap B=\emptyset$ or $A\cup B=S$ for all $A\in f$ and $B\in f'$. We study sets of flags of a fixed type $T$ that are mutually not in general position and are interested in the largest cardinality of these sets. This is a generalization of the classical Erdös-Ko-Rado problem. We will give some basic facts and determine the largest cardinality in several non-trivial cases. For this we will define graphs whose vertices are flags and the problem is to determine the independence number of these graphs.
Constructions of betweenness-uniform graphs from trees
Published
• View Publication
• BIB
Betweenness centrality is a measure of the importance of a vertex x inside a network based on the fraction of shortest paths passing through x. We study a blow-up construction that has been shown to produce graphs with uniform distribution of betweenness. We disprove the conjecture about this procedure's universality by showing that trees with a diameter at least three cannot be transformed into betweenness-uniform by the blow-up construction. It remains open to characterize graphs for which the blow-up construction can produce betweenness-uniform graphs.
Evaluations of Tutte polynomials of regular graphs
Published
• View Publication
• BIB
Let $T_G(x,y)$ be the Tutte polynomial of a graph $G$. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs with girth $g(G_n)\to \infty$, then for $x\geq 1$ and $0\leq y\leq 1$ we have $$\lim_{n\to \infty}T_{G_n}(x,y)^{1/v(G_n)}=t_d(x,y),$$ where $$t_d(x,y)=\left\{\begin{array}{lc} (d-1)\left(\frac{(d-1)^2}{(d-1)^2-x}\right)^{d/2-1}&\ \ \mbox{if}\ x\leq d-1,\\ x\left(1+\frac{1}{x-1}\right)^{d/2-1} &\ \ \mbox{if}\ x> d-1. \end{array}\right.$$ independently of $y$ if $0\leq y\leq 1$. If $(G_n)_n$ is a sequence of random $d$-regular graphs, then the same statement holds true asymptotically almost surely.
This theorem generalizes results of McKay ($x=1,y=1$, spanning trees of random $d$-regular graphs) and Lyons ($x=1,y=1$, spanning trees of large-girth $d$-regular graphs). Interesting special cases are $T_G(2,1)$ counting the number of spanning forests, $T_G(2,0)$ counting the number of acyclic orientations.
Upper bound for the number of spanning forests of regular graphs
Published
• View Publication
• BIB
We show that if $G$ is a $d$--regular graph on $n$ vertices, then the number of spanning forests $F(G)$ satisfies $F(G)\leq d^n$. The previous best bound due to Kahale and Schulman gave $(d+1/2+O(1/d))^n$. We also have the more precise conjecture that $$F(G)^{1/n}\leq \frac{(d-1)^{d-1}}{(d^2-2d-1)^{d/2-1}}.$$ If this conjecture is true, then the expression on the right hand side is the best possible.
Construction of equienergetic and Randic' equienergetic graphs
In this paper, we give several constructions for the pairs of graphs to be equienergetic and Randic' equienergetic graphs. Also, some new families of integral and Randic' integral graphs are obtained. As an application, a sequence of graphs established with reciprocal eigenvalue property and anti-reciprocal eigenvalue property.
Subgraph Games in the Semi-Random Graph Process and Its Generalization to Hypergraphs
Published
• View Publication
• BIB
The semi-random graph process is a single-player game that begins with an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$ and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a subgraph isomorphic to an arbitrary, fixed graph $G$. Let $ω= ω(n)$ be any function tending to infinity as $n \to \infty$. In (Omri Ben-Eliezer et al. "Semi-random graph process". In: Random Structures & Algorithms 56.3 (2020), pp. 648-675) it was proved that asymptotically almost surely one can construct $G$ in less than $n^{(d-1)/d} ω$ rounds where $d \ge 2$ is the degeneracy of $G$. It was also proved that the result is sharp for $G = K_{d+1}$, that is, asymptotically almost surely it takes at least $n^{(d-1)/d} / ω$ rounds to create $K_{d+1}$. Moreover, the authors conjectured that their general upper bound is sharp for all graphs $G$. We prove this conjecture here.
We also consider a natural generalization of the process to $s$-uniform hypergraphs, the semi-random hypergraph process in which $r \ge 1$ vertices are presented at random, and the player then selects $s-r \ge 1$ vertices to form an edge of size~$s$. Our results for graphs easily generalize to hypergraphs when $r=1$; the threshold for constructing a fixed $s$-uniform hypergraph $G$ is, again, determined by the degeneracy of $G$. However, new challenges are mounting when $r \ge 2$; thresholds are not even known for complete hypergraphs. We provide bounds for this family and determine thresholds for some sparser hypergraphs.
Low Diameter Monochromatic Covers of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite graph with at least three parts. We determine exactly the value of $D_2^2(G)$ for all complete tripartite graphs $G$, and almost all complete multipartite graphs with more than three parts.
Certain Homological Invariants of Bipartite Kneser Graphs
Published
• View Publication
• BIB
In this paper, we obtain a combinatorial formula for computing the Betti numbers in the linear strand of edge ideals of bipartite Kneser graphs. We deduce lower and upper bounds for regularity of powers of edge ideals of these graphs in terms of associated combinatorial data and show that the lower bound is attained in some cases. Also, we obtain bounds on the projective dimension of edge ideals of these graphs in terms of combinatorial data.
Crystals, regularisation and the Mullineux map
Published
• View Publication
• BIB
The Mullineux map is a combinatorial function on partitions which describes the effect of tensoring a simple module for the symmetric group in characteristic $p$ with the one-dimensional sign representation. It can also be interpreted as an isomorphism between crystal graphs for $\widehat{\mathfrak{sl}}_p$. We give a new combinatorial description of the Mullineux map by expressing this crystal isomorphism as a composition of isomorphisms between different crystals. These isomorphisms are defined in terms of new generalised regularisation maps introduced by Millan Berdasco.
We then given two applications of our new realisation of the Mullineux map, by providing purely combinatorial proofs of a conjecture of Lyle relating the Mullineux map with regularisation, and a theorem of Paget describing the Mullineux map in RoCK blocks of symmetric groups.
Disjoint Paths and Connected Subgraphs for H-Free Graphs
Published
• View Publication
• BIB
The well-known Disjoint Paths problem is to decide if a graph contains k pairwise disjoint paths, each connecting a different terminal pair from a set of k distinct pairs. We determine, with an exception of two cases, the complexity of the Disjoint Paths problem for $H$-free graphs. If $k$ is fixed, we obtain the $k$-Disjoint Paths problem, which is known to be polynomial-time solvable on the class of all graphs for every $k \geq 1$. The latter does no longer hold if we need to connect vertices from terminal sets instead of terminal pairs. We completely classify the complexity of $k$-Disjoint Connected Subgraphs for $H$-free graphs, and give the same almost-complete classification for Disjoint Connected Subgraphs for $H$-free graphs as for Disjoint Paths.
Random Schreier graphs and expanders
Published in J. Algebr. Comb. (2022)
• View Publication
• BIB
Let the group $G$ act transitively on the finite set $Ω$, and let $S \subseteq G$ be closed under taking inverses. The Schreier graph $Sch(G \circlearrowleft Ω,S)$ is the graph with vertex set $Ω$ and edge set $\{ (ω,ω^s) : ω\in Ω, s \in S \}$. In this paper, we show that random Schreier graphs on $C \log|Ω|$ elements exhibit a (two-sided) spectral gap with high probability, magnifying a well known theorem of Alon and Roichman for Cayley graphs. On the other hand, depending on the particular action of $G$ on $Ω$, we give a lower bound on the number of elements which are necessary to provide a spectral gap. We use this method to estimate the spectral gap when $G$ is nilpotent.
Treewidth via Spined Categories (extended abstract)
Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On the theoretical side, treewidth played an essential role in the proof of the celebrated Robertson-Seymour graph minor theorem. While defining treewidth-like invariants on graphs and treewidth analogues on other sorts of combinatorial objects (incl. hypergraphs, digraphs) has been a fruitful avenue of research, a direct, categorial description capturing multiple treewidth-like invariants is yet to emerge. Here we report on our recent work on spined categories (arXiv:2104.01841): categories equipped with extra structure that permits the definition of a functorial analogue of treewidth, the triangulation functor. The usual notion of treewidth is recovered as a special case, the triangulation functor of a spined category with graphs as objects and graph monomorphisms as arrows. The usual notion of treewidth for hypergraphs arises as the triangulation functor of a similar category of hypergraphs.
On discrete gradient vector fields and Laplacians of simplicial complexes
Published
• View Publication
• BIB
Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
Isomorphic unordered labeled trees up to substitution ciphering
Published
• View Publication
• BIB
Given two messages - as linear sequences of letters, it is immediate to determine whether one can be transformed into the other by simple substitution cipher of the letters. On the other hand, if the letters are carried as labels on nodes of topologically isomorphic unordered trees, determining if a substitution exists is referred to as marked tree isomorphism problem in the literature and has been show to be as hard as graph isomorphism. While the left-to-right direction provides the cipher of letters in the case of linear messages, if the messages are carried by unordered trees, the cipher is given by a tree isomorphism. The number of isomorphisms between two trees is roughly exponential in the size of the trees, which makes the problem of finding a cipher difficult by exhaustive search. This paper presents a method that aims to break the combinatorics of the isomorphisms search space. We show that in a linear time (in the size of the trees), we reduce the cardinality of this space by an exponential factor on average.
A Note on the Immersion Number of Generalized Mycielski Graphs
Published
• View Publication
• BIB
The immersion number of a graph $G$, denoted im$(G)$, is the largest $t$ such that $G$ has a $K_t$-immersion. In this note we are interested in determining the immersion number of the $m$-Mycielskian of $G$, denoted $μ_m(G)$. Given the immersion number of $G$ we provide a lower bound for im$(μ_m(G))$. To do this we introduce the "distinct neighbor property" of immersions. We also include examples of classes of graphs where im$(μ_m(G))$ exceeds the lower bound. We conclude with a conjecture about im$(μ_m(K_t))$.
Neighbour-Transitive Codes and Partial Spreads in Generalised Quadrangles
A code $C$ in a generalised quadrangle ${\mathcal Q}$ is defined to be a subset of the vertex set of the point-line incidence graph $\varGamma$ of ${\mathcal Q}$. The minimum distance $δ$ of $C$ is the smallest distance between a pair of distinct elements of $C$. The graph metric gives rise to the distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the maximum distance between any vertex of $\varGamma$ and its nearest element of $C$. Since the diameter of $\varGamma$ is $4$, both $ρ$ and $δ$ are at most $4$. If $δ=4$ then $C$ is a partial ovoid or partial spread of ${\mathcal Q}$, and if, additionally, $ρ=2$ then $C$ is an ovoid or a spread. A code $C$ in ${\mathcal Q}$ is neighbour-transitive if its automorphism group acts transitively on each of the sets $C$ and $C_1$. Our main results i) classify all neighbour-transitive codes admitting an insoluble group of automorphisms in thick classical generalised quadrangles that correspond to ovoids or spreads, and ii) give two infinite families and six sporadic examples of neighbour-transitive codes with minimum distance $δ=4$ in the classical generalised quadrangle ${\mathsf W}_3(q)$ that are not ovoids or spreads.