contain ↗ reference
7694 papers tagged with this keyword
Convex p-partitions of bipartite graphs
Published
• View Publication
• BIB
A set of vertices X of a graph G is convex if it contains all vertices on shortest paths between vertices of X. We prove that for fixed p, all partitions of the vertex set of a bipartite graph into p convex sets can be found in polynomial time.
Expansions of generalized Euler's constants into the series of polynomials in $π^{-2}$ and into the formal enveloping series with rational coefficients only
Published in Journal of Number Theory (Elsevier), vol. 158, pp. 365-396, 2016; Journal of Number Theory (Elsevier) vol. 173, pp. 631-632, 2017
• View Publication
• BIB
In this work, two new series expansions for generalized Euler's constants (Stieltjes constants) $γ_m$ are obtained. The first expansion involves Stirling numbers of the first kind, contains polynomials in $π^{-2}$ with rational coefficients and converges slightly better than Euler's series $\sum n^{-2}$. The second expansion is a semi-convergent series with rational coefficients only. This expansion is particularly simple and involves Bernoulli numbers with a non-linear combination of generalized harmonic numbers. It also permits to derive an interesting estimation for generalized Euler's constants, which is more accurate than several well-known estimations. Finally, in Appendix A, the reader will also find two simple integral definitions for the Stirling numbers of the first kind, as well an upper bound for them.
Path separation by short cycles
Published
• View Publication
• BIB
Two Hamilton paths in $K_n$ are separated by a cycle of length $k$ if their union contains such a cycle. For small fixed values of $k$ we bound the asymptotics of the maximum cardinality of a family of Hamilton paths in $K_n$ such that any pair of paths in the family is separated by a cycle of length $k.$
The most unbalanced words $0^{q-p}1^p$ and majorization
Published
• View Publication
• BIB
A finite word $w\in\{0,1\}^*$ is balanced if for every equal-length factors $u$ and $v$ of every cyclic shift of $w$ we have $||u|_1-|v|_1| <= 1$. This new class of finite words were defined in [JZ].
In [J], there was proved several results considering finite balanced words and majorization. One of the main results was that the base-2 orbit of the balanced word is the least element in the set of orbits with respect to partial sum. It was also proved that the product of the elements in the base-2 orbit of a word is maximized precisely when the word is balanced.
It turns out that the words $0^{q-p}1^p$ have similar extremal properties, opposite to the balanced words, which makes it meaningful to call these words the most unbalanced words. This article contains the counterparts of the results mentioned above. We will prove that the orbit of the word $u=0^{q-p}1^p$ is the greatest element in the set of orbits with respect to partial sum and that it has the smallest product. We will also prove that $u$ is the greatest element in the set of orbits with respect to partial product.
The coloring of the regular graph of ideals
The regular graph of ideals of the commutative ring $R$, denoted by $Γ_{reg}(R)$, is a graph whose vertex set is the set of all non-trivial ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if either $I$ contains a $J$-regular element or $J$ contains an $I$-regular element. In this paper, it is shown that for every Artinian ring $R$, the edge chromatic number of $Γ_{reg}(R)$ equals its maximum degree. Then a formula for the clique number of $Γ_{reg}(R)$ is given. Also, it is proved that for every reduced ring $R$ with $n(\geq3)$ minimal prime ideals, the edge chromatic number of $Γ_{reg}(R)$ is $2^{n-1}-2$. Moreover, we show that both of the clique number and vertex chromatic number of $Γ_{reg}(R)$ are $n-1$, for every reduced ring $R$ with $n$ minimal prime ideals.
The index of a string consisting of 4 blocks
Generalized Fibonacci cube $Q_{d}(f)$, introduced by Ilić, Klavžar and Rho, is the graph obtained from the $d$-hypercube $Q_{d}$ by removing all vertices that contain $f$ as a substring. The smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$ is called the index of $f$. A non-extendable sequence of contiguous equal digits in a string $μ$ is called a block of $μ$. The question that determine the index of a string consisting of at most 3 blocks is solved by Ilić, Klavžar and Rho. This question is further studied and the index of a string consisting of 4 blocks is determined, and the necessity of a string being good is also given for the strings with even blocks.
Proofs of two conjectures on generalized Fibonacci cubes
Published
• View Publication
• BIB
A binary string $f$ is a factor of string $u$ if $f$ appears as a sequence of $|f|$ consecutive bits of $u$, where $|f|$ denotes the length of $f$. Generalized Fibonacci cube $Q_{d}(f)$ is the graph obtained from the $d$-cube $Q_{d}$ by removing all vertices that contain a given binary string $f$ as a factor. A binary string $f$ is called good if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$ for all $d\geq1$, it is called bad otherwise. The index of a binary string $f$, denoted by $B(f)$, is the smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$. Ilić, Klavžar and Rho conjectured that $B(f)<2|f|$ for any bad string $f$. They also conjectured that if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$, then $Q_{d}(ff)$ is an isometric subgraph of $Q_{d}$. We confirm the two conjectures by obtaining a basic result: if there exist $p$-critical words for $Q_{B(f)}(f)$, then $p$=2 or $p=3$.
Connected even factors in the square of essentially 2-edge connected graphs
Published
• View Publication
• BIB
In this paper we prove that the square of an essentially 2-edge connected graph with an additional property has a connected even factor with maximum degree at most 4. Moreover we show that, in general, the square of essentially 2-edge connected graph does not contain a connected even factor with bounded maximum degree.
Square Integer Heffter Arrays with Empty Cells
Published
• View Publication
• BIB
A Heffter array $H(m,n;s,t)$ is an $m \times n$ matrix with nonzero entries from $\mathbb{Z}_{2ms+1}$ such that $i)$ each row contains $s$ filled cells and each column contains $t$ filled cells, $ii)$ every row and column sum to 0, and $iii)$ no element from $\{x,-x\}$ appears twice. Heffter arrays are useful in embedding the complete graph $K_{2nm+1}$ on an orientable surface where the embedding has the property that each edge borders exactly one $s-$cycle and one $t-$cycle. Archdeacon, Boothby and Dinitz proved that these arrays can be constructed in the case when $s=m$, i.e. every cell is filled. In this paper we concentrate on square arrays with empty cells where every row sum and every column sum is $0$ in $\mathbb{Z}$. We solve most of the instances of this case.
On 3-uniform hypergraphs without a cycle of a given length
We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Györi and Lemons by a factor of $Θ(k^2)$. Similar bounds are shown for linear hypergraphs.
Removal and Stability for Erdős-Ko-Rado
Published in SIAM J. Discrete Math. 30-2 (2016), 1102-1114
• View Publication
• BIB
A $k$-uniform family of subsets of $[n]$ is intersecting if it does not contain a disjoint pair of sets. The study of intersecting families is central to extremal set theory, dating back to the seminal Erdős-Ko-Rado theorem of 1961 that bounds the size of the largest such families. A recent trend has been to investigate the structure of set families with few disjoint pairs. Friedgut and Regev proved a general removal lemma, showing that when $γn \le k \le (\tfrac12 - γ)n$, a set family with few disjoint pairs can be made intersecting by removing few sets.
We provide a simple proof of a removal lemma for large families, showing that families of size close to $\ell \binom{n-1}{k-1}$ with relatively few disjoint pairs must be close to a union of $\ell$ stars. Our lemma holds for a wide range of uniformities; in particular, when $\ell = 1$, the result holds for all $2 \le k < \frac{n}{2}$ and provides sharp quantitative estimates.
We use this removal lemma to settle a question of Bollobás, Narayanan and Raigorodskii regarding the independence number of random subgraphs of the Kneser graph $K(n,k)$. The Erdős-Ko-Rado theorem shows $α(K(n,k)) = \binom{n-1}{k-1}$. For some constant $c > 0$ and $k \le cn$, we determine the sharp threshold for when this equality holds for random subgraphs of $K(n,k)$, and provide strong bounds on the critical probability for $k \le \tfrac12 (n-3)$.
On $3$-uniform hypergraphs without linear cycles
We explore properties of $3$-uniform hypergraphs $H$ without linear cycles. Our main results are that these hypergraphs must contain a vertex of strong degree at most two and must have independent sets of size at least ${2|V(H)|\over 5}$.
New Bounds for the Acyclic Chromatic Index
Published in Discrete Mathematics, vol. 339 (2016), n. 10, 2543--2552
• View Publication
• BIB
An edge coloring of a graph $G$ is called an acyclic edge coloring if it is proper and every cycle in $G$ contains edges of at least three different colors. The least number of colors needed for an acyclic edge coloring of $G$ is called the acyclic chromatic index of $G$ and is denoted by $a'(G)$. Fiamčik and independently Alon, Sudakov, and Zaks conjectured that $a'(G) \leq Δ(G)+2$, where $Δ(G)$ denotes the maximum degree of $G$. The best known general bound is $a'(G)\leq 4(Δ(G)-1)$ due to Esperet and Parreau. We apply a generalization of the Lovász Local Lemma to show that if $G$ contains no copy of a given bipartite graph $H$, then $a'(G) \leq 3Δ(G)+o(Δ(G))$. Moreover, for every $\varepsilon>0$, there exists a constant $c$ such that if $g(G)\geq c$, then $a'(G)\leq(2+\varepsilon)Δ(G)+o(Δ(G))$, where $g(G)$ denotes the girth of $G$.
Identifying Codes on Directed De Bruijn Graphs
Published
• View Publication
• BIB
For a directed graph $G$, a $t$-identifying code is a subset $S\subseteq V(G)$ with the property that for each vertex $v\in V(G)$ the set of vertices of $S$ reachable from $v$ by a directed path of length at most $t$ is both non-empty and unique. A graph is called {\it $t$-identifiable} if there exists a $t$-identifying code. This paper shows that the de~Bruijn graph $\vec{\mathcal{B}}(d,n)$ is $t$-identifiable if and only if $n \geq 2t-1$. It is also shown that a $t$-identifying code for $t$-identifiable de~Bruijn graphs must contain at least $d^{n-1}(d-1)$ vertices, and constructions are given to show that this lower bound is achievable $n \geq 2t$. Further a (possibly) non-optimal construction is given when $n=2t-1$. Additionally, with respect to $\vec{\mathcal{B}}(d,n)$ we provide upper and lower bounds on the size of a minimum \textit{$t$-dominating set} (a subset with the property that every vertex is at distance at most $t$ from the subset), that the minimum size of a \textit{directed resolving set} (a subset with the property that every vertex of the graph can be distinguished by its directed distances to vertices of $S$) is $d^{n-1}(d-1)$, and that if $d>n$ the minimum size of a {\it determining set} (a subset $S$ with the property that the only automorphism that fixes $S$ pointwise is the trivial automorphism) is $\left\lceil \frac{d-1}{n}\right\rceil$.
Many disjoint edges in topological graphs
Published
• View Publication
• BIB
A monotone cylindrical graph is a topological graph drawn on an open cylinder with an infinite vertical axis satisfying the condition that every vertical line intersects every edge at most once. It is called simple if any pair of its edges have at most one point in common: an endpoint or a point at which they properly cross. We say that two edges are disjoint if they do not intersect. We show that every simple complete monotone cylindrical graph on $n$ vertices contains $Ω(n^{1-ε})$ pairwise disjoint edges for any $ε>0$. As a consequence, we show that every simple complete topological graph (drawn in the plane) with $n$ vertices contains $Ω(n^{\frac 12-ε})$ pairwise disjoint edges for any $ε>0$. This improves the previous lower bound of $Ω(n^\frac 13)$ by Suk which was reproved by Fulek and Ruiz-Vargas. We remark that our proof implies a polynomial time algorithm for finding this set of pairwise disjoint edges.
Some existence theorems on all fractional $(g,f)$-factors with prescribed properties
Published
• View Publication
• BIB
Let $G$ be a graph, and $g,f:V(G)\rightarrow Z^{+}$ with $g(x)\leq f(x)$ for each $x\in V(G)$. We say that $G$ admits all fractional $(g,f)$-factors if $G$ contains a fractional $r$-factor for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for any $x\in V(G)$. Let $H$ be a subgraph of $G$. We say that $G$ has all fractional $(g,f)$-factors excluding $H$ if for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for all $x\in V(G)$, $G$ has a fractional $r$-factor $F_h$ such that $E(H)\cap E(F_h)=\emptyset$, where $h:E(G)\rightarrow [0,1]$ is a function. In this paper, we show a characterization for the existence of all fractional $(g,f)$-factors excluding $H$ and obtain two sufficient conditions for a graph to have all fractional $(g,f)$-factors excluding $H$.
On degree sequences forcing the square of a Hamilton cycle
Published
• View Publication
• BIB
A famous conjecture of Pósa from 1962 asserts that every graph on $n$ vertices and with minimum degree at least $2n/3$ contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any $η>0$, every graph $G$ of sufficiently large order $n$ contains the square of a Hamilton cycle if its degree sequence $d_1\leq \dots \leq d_n$ satisfies $d_i \geq (1/3+η)n+i$ for all $i \leq n/3$. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.
Long cycles through prescribed vertices have the Erdős-Pósa property
Published
• View Publication
• BIB
We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan.
In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.
An Anti-Ramsey Problem Concerning Complete Bipartite Graphs
Published
• View Publication
• BIB
We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.
Minimum degree condition for spanning generalized Halin graphs
A spanning tree with no vertices of degree 2 is called a Homeomorphically irreducible spanning tree\,(HIST). Based on a HIST embedded in the plane, a Halin graph is formed by connecting the leaves of the tree into a cycle following the cyclic order determined by the embedding. Both of the determination problems of whether a graph contains a HIST or whether a graph contains a spanning Halin graph are shown to be NP-complete. It was conjectured by Albertson, Berman, Hutchinson, and Thomassen in 1990 that a {\it every surface triangulation of at least four vertices contains a HIST}\,(confirmed). And it was conjectured by Lovász and Plummer that {\it every 4-connected plane triangulation contains a spanning Halin graph}\,(disproved). Balancing the above two facts, in this paper, we consider generalized Halin graphs, a family of graph structures which are "stronger" than HISTs but "weaker" than Halin graphs in the sense of their construction constraints. To be exact, a generalized Halin graph is formed from a HIST by connecting its leaves into a cycle. Since a generalized Halin graph needs not to be planar, we investigate the minimum degree condition for a graph to contain it as a spanning subgraph. We show that there exists a positive integer $n_0$ such that any 3-connected graph with $n\ge n_0$ vertices and minimum degree at least $(2n+3)/5$ contains a spanning generalized Halin graph. As an application, the result implies that under the same condition, the graph $G$ contains a wheel-minor of order at least $n/2$. The minimum degree condition in the result is best possible.