graph
35436 papers tagged with this keyword
LLT polynomials, elementary symmetric functions and melting lollipops
Published in J. Algebr. Comb (2020)
• View Publication
• BIB
We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials.
We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge and orientations of unit-interval graphs.
We also provide short bijective proofs of Lee's three-term recurrences for unicellular LLT polynomials and we show that these recurrences are enough to generate all unicellular LLT polynomials associated with abelian area sequences.
Equality cases for a bound on the chromatic number
It is known that the inequality $$ \frac{χ(G)(χ(G)-1)}{2} + |V| - χ(G) \leq |E|$$ holds for all connected graphs, where $χ(G)$ denotes the chromatic number of $G$. We prove that equality holds whenever the graph consists of a complete graph or an odd cycle, together with finitely many trees attached to its vertices.
Some extremal results on K_{s,t}-free graphs
For graphs $H$ and $F$, let $\text{ex}(n,H,F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalizes the well-known Turán number of graphs, was systematically studied by Alon and Shikhelman recently. In this paper, we show that for any $m$ and $t\ge 2m-3\ge3$, \[\text{ex}(n,K_{m},K_{2,t})=Θ(n^{\frac{3}{2}}).\] This result improves some results of Alon and Shikhelman (J. Combin. Theory Ser. B, 121:146-172, 2016). We also study the $k$-partite $K_{s,t}$-free graph, we show that for any $k\ge3$ and $t\ge(k-1)(s-1)!+1$, \[\text{ex}_{χ\le k}(n,K_{s,t})\ge\frac{k-1}{2k}n^{2-1/s}+o(n^{2-1/s}).\] Moreover, we give a new construction of $3$-partite $K_{2,2t+1}$-free graphs with many edges.
Optimal proper connection of graphs
An edge-colored graph $G$ is called properly colored if no two adjacent edges share a color in $G$. An edge-colored connected graph $G$ is called properly connected if between every pair of distinct vertices, there exists a path that is properly colored. In this paper, we discuss how to make a connected graph properly connected efficiently. More precisely, we consider the problem to convert a given monochromatic graph into properly connected by recoloring $p$ edges with $q$ colors so that $p+q$ is as small as possible. We discuss how this can be done efficiently for some restricted graphs, such as trees, complete bipartite graphs and graphs with independence number $2$.
A 3-regular matchstick graph of girth 5 consisting of 54 vertices
Published in Geombinatorics Quarterly Vol. XXIX, Nr. 3 (2020), Pages 116-121
• Search Publication
In 2010 it was proved that a 3-regular matchstick graph of girth 5 must consist at least of 30 vertices. The smallest known example consisted of 180 vertices. In this article we construct an example consisting of 54 vertices and prove its geometrical correctness.
Complexity of packing common bases in matroids
One of the most intriguing unsolved questions of matroid optimization is the characterization of the existence of $k$ disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases, such as Woodall's conjecture on packing disjoint dijoins in a directed graph, or Rota's beautiful conjecture on rearrangements of bases.
In the present paper we prove that the problem is difficult under the rank oracle model, i.e., we show that there is no algorithm which decides if the common ground set of two matroids can be partitioned into $k$ common bases by using a polynomial number of independence queries. Our complexity result holds even for the very special case when $k=2$.
Through a series of reductions, we also show that the abstract problem of packing common bases in two matroids includes the NAE-SAT problem and the Perfect Even Factor problem in directed graphs. These results in turn imply that the problem is not only difficult in the independence oracle model but also includes NP-complete special cases already when $k=2$, one of the matroids is a partition matroid, while the other matroid is linear and is given by an explicit representation.
On semi-transitive orientability of Kneser graphs and their complements
An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no edge between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an edge for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs include several important classes of graphs such as 3-colorable graphs, comparability graphs, and circle graphs, and they are precisely the class of word-representable graphs studied extensively in the literature.
In this paper, we study semi-transitive orientability of the celebrated Kneser graph $K(n,k)$, which is the graph whose vertices correspond to the $k$-element subsets of a set of $n$ elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. We show that for $n\geq 15k-24$, $K(n,k)$ is not semi-transitive, while for $k\leq n\leq 2k+1$, $K(n,k)$ is semi-transitive. Also, we show computationally that a subgraph $S$ on 16 vertices and 36 edges of $K(8,3)$, and thus $K(8,3)$ itself on 56 vertices and 280 edges, is non-semi-transitive. $S$ and $K(8,3)$ are the first explicit examples of triangle-free non-semi-transitive graphs, whose existence was established via Erdős' theorem by Halldórsson et al. in 2011. Moreover, we show that the complement graph $\overline{K(n,k)}$ of $K(n,k)$ is semi-transitive if and only if $n\geq 2k$.
Colouring Non-Even Digraphs
A colouring of a digraph as defined by Erdos and Neumann-Lara in 1980 is a vertex-colouring such that no monochromatic directed cycles exist. The minimal number of colours required for such a colouring of a loopless digraph is defined to be its dichromatic number. This quantity has been widely studied in the last decades and can be considered as a natural directed analogue of the chromatic number of a graph. A digraph D is called even if for every 0-1-weighting of the edges it contains a directed cycle of even total weight. We show that every non-even digraph has dichromatic number at most 2 and an optimal colouring can be found in polynomial time. We strengthen a previously known NP-hardness result by showing that deciding whether a directed graph is 2-colourable remains NP-hard even if it contains a feedback vertex set of bounded size.
On the rank (nullity) of a connected graph
The rank $r(G)$ of a graph $G$ is the rank of its adjacency matrix $A(G)$ and the nullity $η(G)$ of $G$ is the multiplicity of $0$ as an eigenvalue of $A(G)$. In this paper, we prove that if $G$ is a connected graph of order $n$ with rank $r$, then $G$ contains a nonsingular connected induced subgraph of order $r$. As an application of the result, we completely solve the following problem posed by Zhou, Wong and Sun in [Linear Algebra and its Applications, 555 (2018) 314-320]: Let $G$ be a connected graph of order $n$ with nullity $η(G)$ and the maximum degree $Δ$. Then $$η(G)\le\frac{(Δ-2)n+2}{Δ-1},$$
the equality holds if and only if $G\cong C_n$ ($n\equiv 0$ $(mod\ 4)$) or $G\cong K_{Δ, Δ}$.
Finding a Hamilton cycle fast on average using rotations and extensions
We present an algorithm CRE, which either finds a Hamilton cycle in a graph $G$ or determines that there is no such cycle in the graph. The algorithm's expected running time over input distribution $G\sim G(n,p)$ is $(1+o(1))n/p$, the optimal possible expected time, for $p=p(n) \geq 70n^{-\frac{1}{2}}$. This improves upon previous results on this problem due to Gurevich and Shelah, and to Thomason.
Bipartization of graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a set $D\subseteq V_G$ such that every vertex in $V_G-D$ is adjacent to at least one vertex in $D$, and the domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. In this paper we provide a new characterization of bipartite graphs whose domination number is equal to the cardinality of its smaller partite set. Our characterization is based upon a new graph operation.
Well-indumatched Trees and Graphs of Bounded Girth
A graph G is called well-indumatched if all of its maximal induced matchings have the same size. In this paper we characterize all well-indumatched trees. We provide a linear time algorithm to decide if a tree is well-indumatched or not. Then, we characterize minimal well-indumatched graphs of girth at least 9 and show subsequently that for an odd integer g greater than or equal to 9 and different from 11, there is no well-indumatched graph of girth g. On the other hand, there are infinitely many well-indumatched unicyclic graphs of girth k, where k is in {3, 5, 7} or k is an even integer greater than 2. We also show that, although the recognition of well-indumatched graphs is known to be co-NP-complete in general, one can recognize in polynomial time well-indumatched graphs where the size of maximal induced matchings is fixed.
The language of self-avoiding walks
Let $X=(V\!X,E\!X)$ be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and $E\!X$ is equipped with an involution which inverts the orientation. Each oriented edge is labelled by an element of a finite alphabet $\mathbfΣ$. The labelling is assumed to be deterministic: edges with the same initial (resp. terminal) vertex have distinct labels. Furthermore it is assumed that the group of label-preserving automorphisms of $X$ acts quasi-transitively. For any vertex $o$ of $X$, consider the language of all words over $\mathbfΣ$ which can be read along self-avoiding walks starting at $o$. We characterize under which conditions on the graph structure this language is regular or context-free. This is the case if and only if the graph has more than one end, and the size of all ends is $1$, or at most $2$, respectively.
Dimensional bounds for ancient caloric functions on graphs
We study ancient solutions of polynomial growth to heat equations on graphs, and extend Colding and Minicozzi's theorem [CM19] on manifolds to graphs: For a graph of polynomial volume growth, the dimension of the space of ancient solutions of polynomial growth is bounded by the product of the growth degree and the dimension of harmonic functions with the same growth.
Graphs derived from perfect difference sets
We study a family of graphs with diameter two and asymptotically optimal order for their maximum degree, obtained from perfect difference sets. We show that for all known examples of perfect difference sets, the graph we obtain is isomorphic to one of the Brown graphs, a well-known family of graphs in the degree-diameter problem.
Dominating maximal outerplane graphs and Hamiltonian plane triangulations
Let $G$ be a graph and $γ(G)$ denote the domination number of $G$, i.e. the cardinality of a smallest set of vertices $S$ such that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. Matheson and Tarjan conjectured that a plane triangulation with a sufficiently large number $n$ of vertices has $γ(G)\le n/4$. Their conjecture remains unsettled. In the present paper, we show that: (1) a maximal outerplane graph with $n$ vertices has $γ(G)\le \lceil \frac{n+k} 4\rceil$ where $k$ is the number of pairs of consecutive degree 2 vertices separated by distance at least 3 on the boundary of $G$; and (2) a Hamiltonian plane triangulation $G$ with $n \ge 23$ vertices has $γ(G)\le 5n/16 $. We also point out and provide counterexamples for several recent published results of Li et al in [Discrete Appl. Math.198 (2016) 164-169] on this topic which are incorrect.
Longest paths in 2-edge-connected cubic graphs
We prove almost tight bounds on the length of paths in $2$-edge-connected cubic graphs. Concretely, we show that (i) every $2$-edge-connected cubic graph of size $n$ has a path of length $Ω\left(\frac{\log^2{n}}{\log{\log{n}}}\right)$, and (ii) there exists a $2$-edge-connected cubic graph, such that every path in the graph has length $O(\log^2{n})$.
A short note on graphs with long Thomason's chains
Published
• View Publication
• BIB
We present a family of 3-connected cubic planar Hamiltonian graphs with an exponential number of steps required by Thomason's algorithm. The base of the exponent is approximately $1.1812...$, which exceeds previous results in the area.
The Inductive Graph Dimension from The Minimum Edge Clique Cover
In this paper we prove that the recursive (Knill) dimension of the join of two graphs has a simple formula in terms of the dimensions of the component graphs: $\mathrm{dim\,} (G_1+G_2) = 1 +\mathrm{dim\,} G_1+ \mathrm{dim\,} G_2$. We use this formula to derive an expression for the Knill dimension of a graph from its minimum clique cover. A corollary of the formula is that a graph made of the arbitrary union of complete graphs $K_N$ of the same order $N$ will have dimension $N-1$. We finish by finding lower and upper bounds on the Knill dimension of a graph in terms of its clique number.
Size and structure of large $(s,t)$-union intersecting families
A family $\F$ of sets is said to be intersecting if any two sets in $\F$ have nonempty intersection. The celebrated Erd{\H o}s-Ko-Rado theorem determines the size and structure of the largest intersecting family of $k$-sets on an $n$-set $X$. An $(s,t)$-union intersecting family is a family of $k$-sets on an $n$-set $X$ such that for any $A_1,\ldots,A_{s+t}$ in this family, $\left(\cup_{i=1}^sA_i\right)\cap\left(\cup_{i=1}^t A_{i+s}\right)\neq \varnothing.$ Let $\ell(\F)$ be the minimum number of sets in $\F$ such that by removing them the resulting subfamily is intersecting. In this paper, for sufficiently large $n$, we characterize the size and structure of $(s,t)$-union intersecting families with maximum possible size and $\ell(\F)\geq s+β$. This allows us to find out the size and structure of some large and maximal $(s,t)$-union intersecting families.
Our results are nontrivial extensions of some recent generalizations of the Erd{\H o}s-Ko-Rado theorem such as the Han and Kohayakawa theorem 2017 which finds the structure of the third largest intersecting family, the Kostochka and Mubayi theorem 2017, and the more recent Kupavskii's theorem 2018 whose both results determine the size and structure of the $i$th largest intersecting family of $k$-sets for $i\leq k+1$. In particular, we prove that a Hilton-Milner-type stability theorem holds for $(1,t)$-union intersecting families, that indeed, confirms a conjecture of Alishahi and Taherkhani 2018. We extend our results to $K_{s_1,\ldots,s_{r+1}}$-free subgraphs of Kneser graphs. In fact, when $n$ is sufficiently large, we characterize the size and structure of large and maximal $K_{s_1,\ldots,s_{r+1}}$-free subgraphs of Kneser graphs. In particular, when $s_1=\cdots=s_{r+1}=1$ our result provides some stability results related to the famous Erd{\H o}s matching conjecture.