contain ↗ reference
7720 papers tagged with this keyword
The edge spectrum of $K_4^-$-saturated graphs
Published
• View Publication
• BIB
Given graphs $G$ and $H$, $G$ is $H$-saturated if $G$ does not contain a copy of $H$ but the addition of any edge $e\notin E(G)$ creates at least one copy of $H$ within $G$. The edge spectrum of $H$ is the set of all possible sizes of an $H$-saturated graph on $n$ vertices. Let $K_4^-$ be a graph obtained from $K_4$ by deleting an edge. In this note, we show that (a) if $G$ is a $K_4^-$-saturated graph with $|V(G)|=n$ and $|E(G)|>\lfloor \frac{n-1}{2} \rfloor \lceil \frac{n-1}{2} \rceil +2$, then $G$ must be a bipartite graph; (b) there exists a $K_4^-$-saturated non-bipartite graph on $n\ge 10$ vertices with size being in the interval $\left[3n-11, \left\lfloor \frac{n-1}{2} \right\rfloor \left\lceil \frac{n-1}{2} \right\rceil +2\right]$. Together with a result of Fuller and Gould in [{\it On ($\hbox{K}_t-e$)-Saturated Graphs. Graphs Combin., 2018}], we determine the edge spectrum of $K_4^-$ completely, and a conjecture proposed by Fuller and Gould in the same paper also has been resolved.
Spanning trees with at most 4 leaves in $K_{1,5}-$free graphs
Published
• View Publication
• BIB
In 2009, Kyaw proved that every $n$-vertex connected $K_{1,4}$-free graph $G$ with $σ_4(G)\geq n-1$ contains a spanning tree with at most $3$ leaves. In this paper, we prove an analogue of Kyaw's result for connected $K_{1,5}$-free graphs. We show that every $n$-vertex connected $K_{1,5}$-free graph $G$ with $σ_5(G)\geq n-1$ contains a spanning tree with at most $4$ leaves. Moreover, the degree sum condition `$σ_5(G)\geq n-1$' is best possible.
A new lower bound for the size of an affine blocking set
Published
• View Publication
• BIB
A blocking set in an affine plane is a set of points $B$ such that every line contains at least one point of $B$. The best known lower bound for blocking sets in arbitrary (non-desarguesian) affine planes was derived in the 1980's by Bruen and Silverman. In this note, we improve on this result by showing that a blocking set of an affine plane of order $q$, $q\geq 25$, contains at least $q+\lfloor\sqrt{q}\rfloor+3$ points.
Transitive PSL(2,11)-invariant k-arcs in PG(4,q)
Published
• View Publication
• BIB
A \textit{k}-arc in the projective space ${\rm PG}(n,q)$ is a set of $k$ projective points such that no subcollection of $n+1$ points is contained in a hyperplane. In this paper, we construct new $60$-arcs and $110$-arcs in ${\rm PG}(4,q)$ that do not arise from rational or elliptic curves. We introduce computational methods that, when given a set $\mathcal{P}$ of projective points in the projective space of dimension $n$ over an algebraic number field $\mathcal{Q}(ξ)$, determines a complete list of primes $p$ for which the reduction modulo $p$ of $\mathcal{P}$ to the projective space ${\rm PG}(n,p^h)$ may fail to be a $k$-arc. Using these methods, we prove that there are infinitely many primes $p$ such that ${\rm PG}(4,p)$ contains a ${\rm PSL}(2,11)$-invariant $110$-arc, where ${\rm PSL}(2,11)$ is given in one of its natural irreducible representations as a subgroup of ${\rm PGL}(5,p)$. Similarly, we show that there exist ${\rm PSL}(2,11)$-invariant $110$-arcs in ${\rm PG}(4,p^2)$ and ${\rm PSL}(2,11)$-invariant $60$-arcs in ${\rm PG}(4,p)$ for infinitely many primes $p$.
Graphs with sparsity order at most two: The complex case
Published in Linear and Multilinear Algebra 65 (2017), 2367-2386
• View Publication
• BIB
The sparsity order of a (simple undirected) graph is the highest possible rank (over ${\mathbb R}$ or ${\mathbb C}$) of the extremal elements in the matrix cone that consists of positive semidefinite matrices with prescribed zeros on the positions that correspond to non-edges of the graph (excluding the diagonal entries). The graphs of sparsity order 1 (for both ${\mathbb R}$ and ${\mathbb C}$) correspond to chordal graphs, those graphs that do not contain a cycle of length greater than three, as an induced subgraph, or equivalently, is a clique-sum of cliques. There exist analogues, though more complicated, characterizations of the case where the sparsity order is at most 2, which are different for ${\mathbb R}$ and ${\mathbb C}$. The existing proof for the complex case, is based on the result for the real case. In this paper we provide a more elementary proof of the characterization of the graphs whose complex sparsity order is at most two. Part of our proof relies on a characterization of the $\{P_4,\overline{K}_3\}$-free graphs, with $P_4$ the path of length 3 and $\overline{K}_3$ the stable set of cardinality 3, and of the class of clique-sums of such graphs.
The connected metric dimension at a vertex of a graph
Published in Theoret. Comput. Sci., Vol. 806 (2020) pp.53-69
• View Publication
• BIB
The notion of metric dimension, $dim(G)$, of a graph $G$, as well as a number of variants, is now well studied. In this paper, we begin a local analysis of this notion by introducing $cdim_G(v)$, \emph{the connected metric dimension of $G$ at a vertex $v$}, which is defined as follows: a set of vertices $S$ of $G$ is a \emph{resolving set} if, for any pair of distinct vertices $x$ and $y$ of $G$, there is a vertex $z \in S$ such that the distance between $z$ and $x$ is distinct from the distance between $z$ and $y$ in $G$. We call a resolving set $S$ \emph{connected} if $S$ induces a connected subgraph of $G$. Then, $cdim_G(v)$ is defined to be the minimum of the cardinalities of all connected resolving sets which contain the vertex $v$. The \emph{connected metric dimension of $G$}, denoted by $cdim(G)$, is $\min\{cdim_G(v): v \in V(G)\}$. Noting that $1 \le dim(G) \le cdim(G) \le cdim_G(v) \le |V(G)|-1$ for any vertex $v$ of $G$, we show the existence of a pair $(G,v)$ such that $cdim_G(v)$ takes all positive integer values from $dim(G)$ to $|V (G)|-1$, as $v$ varies in a fixed graph $G$. We characterize graphs $G$ and their vertices $v$ satisfying $cdim_G(v) \in \{1, |V(G)|-1\}$. We show that $cdim(G)=2$ implies $G$ is planar, whereas it is well known that there is a non-planar graph $H$ with $dim(H)=2$. We also characterize trees and unicyclic graphs $G$ satisfying $cdim(G)=dim(G)$. We show that $cdim(G)-dim(G)$ can be arbitrarily large. We determine $cdim(G)$ and $cdim_G(v)$ for some classes of graphs. We further examine the effect of vertex or edge deletion on the connected metric dimension. We conclude with some open problems.
Embedding Hypertrees into Steiner Triple Systems
Published
• View Publication
• BIB
In this paper we are interested in the following question: Given an arbitrary Steiner triple system $S$ on $m$ vertices and any 3-uniform hypertree $T$ on $n$ vertices, is it necessary that $S$ contains $T$ as a subgraph provided $m \geq (1+μ)n$? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.
Fundamental domains for rhombic lattices with dihedral symmetry of order 8
Published in Electron. J. Combin. 26 (2019) Paper 3.5
• View Publication
• BIB
We show by construction that every rhombic lattice $Γ$ in $\mathbb{R}^{2}$ has a fundamental domain whose symmetry group contains the point group of $Γ$ as a subgroup of index $2$. This solves the last open case of a question raised in [3] on fundamental domains for planar lattices whose symmetry groups properly contain the point groups of the lattices.
On bounds on bend number of split and cocomparability graphs
Published
• View Publication
• BIB
A path is a simple, piecewise linear curve made up of alternating horizontal and vertical line segments in the plane. A $k$-bend path is a path made up of at most $k + 1$ line segments. A $B_k$-VPG representation of a graph is a collection of $k$-bend paths such that each path in the collection represents a vertex of the graph and two such paths intersect if and only if the vertices they represent are adjacent in the graph. The graphs that have a $B_k$-VPG representation are called $B_k$-VPG graphs. It is known that the poset dimension $dim(G)$ of a cocomparability graph $G$ is greater than or equal to its bend number $bend(G)$. Cohen et al. ({\textsc{order 2015}}) asked for examples of cocomparability graphs with low bend number and high poset dimension. We answer this question by proving that for each $m, t \in \mathbb{N}$, there exists a cocomparability graph $G_{t,m}$ with $t < bend(G_{t,m}) \leq 4t+29$ and $dim(G_{t,m})-bend(G_{t,m})>m$. Techniques used to prove the above result, allows us to partially address the open question posed by Chaplick et al. ({\textsc{wg 2012}}) who asked whether $B_k$-VPG-chordal $\subsetneq$ $B_{k+1}$-VPG-chordal for all $k \in \mathbb{N}$. We address this by proving that there are infinitely many $m \in \mathbb{N}$ such that $B_m$-VPG-split $\subsetneq$ $B_{m+1}$-VPG-split which provides infinitely many positive examples. We use the same techniques to prove that, for all $t \in \mathbb{N}$, $B_t$-VPG-$Forb(C_{\geq 5})$ $\subsetneq$ $B_{4t+29}$-VPG-$Forb(C_{\geq 5})$, where $Forb(C_{\geq 5})$ denotes the family of graphs that does not contain induced cycles of length greater than 4. Furthermore, we show that for all $t \in \mathbb{N}$, $PB_t$-VPG-split $\subsetneq PB_{36t+80}$-VPG-split, where $PB_t$-VPG denotes the class of graphs with proper bend number at most $t$.
Rooted complete minors in line graphs with a Kempe coloring
Published in Graphs and Combinatorics (2019) 35:551-557
• View Publication
• BIB
It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.
A local approach to the Erdős-Sós conjecture
A famous conjecture of Erdős and Sós states that every graph with average degree more than $k - 1$ contains all trees with $k$ edges as subgraphs. We prove that the Erdős-Sós conjecture holds approximately, if the size of the embedded tree is linear in the size of the graph, and the maximum degree of the tree is sublinear.
Generalized Hypergraph Coloring
Published
• View Publication
• BIB
A smooth hypergraph property $\mathcal{P}$ is a class of hypergraphs that is hereditary and non-trivial, i.e., closed under induced subhypergraphs and it contains a non-empty hypergraph but not all hypergraphs. In this paper we examine $\mathcal{P}$-colorings of hypergraphs with smooth hypergraph properties $\mathcal{P}$. A $\mathcal{P}$-coloring of a hypergraph $H$ with color set $C$ is a function $\varphi:V(H) \to C$ such that $H[\varphi^{-1}(c)]$ belongs to $\mathcal{P}$ for all $c \in C$. Let $L: V(H) \to 2^C$ be a so called list-assignment of the hypergraph $H$. Then, a $(\mathcal{P},L)$-coloring of $H$ is a $\mathcal{P}$-coloring $\varphi$ of $H$ such that $\varphi(v) \in L(v)$ for all $v \in V(H)$. The aim of this paper is a characterization of $(\mathcal{P},L)$-critical hypergraphs. Those are hypergraphs $H$ such $H-v$ is $(\mathcal{P},L)$-colorable for all $v \in V(H)$ but $H$ itself is not. Our main theorem is a Gallai-type result for critical hypergraphs, which implies a Brooks-type result for $(\mathcal{P},L)$-colorable hypergraphs. In the last section, we prove a Gallai bound for the degree sum of $(\mathcal{P},L)$-critical locally linear hypergraphs.
A variation of a theorem by Pósa
A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.
Erdős-Szekeres On-Line
In 1935, Erdős and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B determining the $y$-coordinate. What is the minimum number of points such that player A can force an increasing subset of $m$ points or a decreasing subset of $k$ points? We introduce this as the Erdős-Szekeres on-line number and denote it by $\text{ESO}(m,k)$. We observe that $\text{ESO}(m,k) < (m-1)(k-1)+1$ for $m,k \ge 3$, provide a general lower bound for $\text{ESO}(m,k)$, and determine $\text{ESO}(m,3)$ up to an additive constant.
Constructions of Augmented Orthogonal Arrays
Published
• View Publication
• BIB
Augmented orthogonal arrays (AOAs) were introduced by Stinson, who showed the equivalence between ideal ramp schemes and augmented orthogonal arrays (Discrete Math. 341 (2018), 299-307). In this paper, we show that there is an AOA$(s,t,k,v)$ if and only if there is an OA$(t,k,v)$ which can be partitioned into $v^{t-s}$ subarrays, each being an OA$(s,k,v)$, and that there is a linear AOA$(s,t,k,q)$ if and only if there is a linear maximum distance separable (MDS) code of length $k$ and dimension $t$ over $\mathbb{F}_q$ which contains a linear MDS subcode of length $k$ and dimension $s$ over $\mathbb{F}_q$. Some constructions for AOAs and some new infinite classes of AOAs are also given.
Monochromatic balanced components, matchings, and paths in multicolored complete bipartite graphs
Published
• View Publication
• BIB
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both sides in at least $n/r$ vertices?
Over forty years ago, Gyárfás and Lehel and independently Faudree and Schelp proved that any $2$-colored $K_{n,n}$ contains a monochromatic $P_n$. Very recently, Bucić, Letzter and Sudakov proved that every $3$-colored $K_{n,n}$ contains a monochromatic connected matching (a matching whose edges are in the same connected component) of size $\lceil n/3 \rceil$. So the answer is strongly "yes" for $1\leq r\leq 3$.
We provide a short proof of (a non-symmetric version of) the original question for $1\leq r\leq 3$; that is, every $r$-coloring of $K_{m,n}$ has a monochromatic component that meets each side in a $1/r$ proportion of its part size. Then, somewhat surprisingly, we show that the answer to the question is "no" for all $r\ge 4$. For instance, there are $4$-colorings of $K_{n,n}$ where the largest balanced monochromatic component has $n/5$ vertices in both partite classes (instead of $n/4$). Our constructions are based on lower bounds for the $r$-color bipartite Ramsey number of $P_4$, denoted $f(r)$, which is the smallest integer $\ell$ such that in every $r$-coloring of the edges of $K_{\ell,\ell}$ there is a monochromatic path on four vertices. Furthermore, combined with earlier results, we determine $f(r)$ for every value of $r$.
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
Published
• View Publication
• BIB
A cactus graph is a graph in which any two cycles are edge-disjoint. We present a constructive proof of the fact that any plane graph $G$ contains a cactus subgraph $C$ where $C$ contains at least a $\frac{1}{6}$ fraction of the triangular faces of $G$. We also show that this ratio cannot be improved by showing a tight lower bound. Together with an algorithm for linear matroid parity, our bound implies two approximation algorithms for computing "dense planar structures" inside any graph: (i) A $\frac{1}{6}$ approximation algorithm for, given any graph $G$, finding a planar subgraph with a maximum number of triangular faces; this improves upon the previous $\frac{1}{11}$-approximation; (ii) An alternate (and arguably more illustrative) proof of the $\frac{4}{9}$ approximation algorithm for finding a planar subgraph with a maximum number of edges.
Our bound is obtained by analyzing a natural local search strategy and heavily exploiting the exchange arguments. Therefore, this suggests the power of local search in handling problems of this kind.
Counting graded lattices of rank three that have few coatoms
Published
• View Publication
• BIB
We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$.
We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$.
Lecture hall tableaux
Published
• View Publication
• BIB
We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.
Multi-dimensional $q$-summations and multi-colored partitions
Published
• View Publication
• BIB
Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.