contain ↗ reference
7720 papers tagged with this keyword
Inequalities between Partial Domination and Independent Partial Domination in Graphs
For a graph $G$, a vertex subset $S \subseteq V(G)$ is said to be $K_{k}$-isolating if $G - N_{G}[S]$ does not contain $K_{k}$ as a subgraph. The $K_{k}$-isolation number of $G$, denoted by $ι_{k}(G)$, is the minimum cardinality of a $K_{k}$-isolating set of $G$. Analogously, $S$ is said to be independent $K_{k}$-isolating if $S$ is a $K_{k}$-isolating set of $G$ and $G[S]$ has no edge. The independent $K_{k}$-isolation number of $G$, denoted by $ι'_{k}(G)$, is the minimum cardinality of an independent $K_{k}$-isolating set of $G$. Clearly, when $k = 1$, we have $γ(G) = ι_{1}(G)$ and $i(G) = ι'_{1}(G)$ where $γ(G)$ and $i(G)$ are the domination and independent domination numbers. For classic results between $γ(G)$ and $i(G)$, in 1978, Allan and Laskar proved that $γ(G) = i(G)$ for all $K_{1, 3}$-free graphs and this result was generalized to $K_{1, r}$-free graphs by Bollob$\acute{a}$s and Cockayne in 1979. In 2013, Rad and Volkmann proved that the ratio $i(G)/γ(G)$ is at most $Δ(G)/2$ when $Δ(G) \in \{3, 4, 5\}$. Further, Furuya et. al. proved that when $Δ(G) \geq 6$, we have $i(G)/γ(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. In this paper, for a smallest $K_{k}$-isolating set $S$, we prove that $ι'_k(G)\le -\frac{ι_k^2(G)}{\ell} +i_k(G)(Δ+2)-\ell Δ$ where $\ell$ is the number of some specific vertices of $S$ such that the union of their closed neighborhoods in $S$ is $S$. We prove that this bound is sharp. A special case of our main theorem implies $ι'_{k}(G)/ι_{k}(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. Further, we find an inequality between $ι'_{k}(G)$ and $ι_{k}(G)$ when $G$ is $K_{1, r}$-free graph. This also generalizes the result of Bollob$\acute{a}$s and Cockayne.
Circuit-Difference Matroids
Published in Electronic Journal of Combinatorics 27 (2020), Paper 3.11, 11pp
• View Publication
• BIB
One characterization of binary matroids is that the symmetric difference of every pair of intersecting circuits is a disjoint union of circuits. This paper considers circuit-difference matroids, that is, those matroids in which the symmetric difference of every pair of intersecting circuits is a single circuit. Our main result shows that a connected regular matroid is circuit-difference if and only if it contains no pair of skew circuits. Using a result of Pfeil, this enables us to explicitly determine all regular circuit-difference matroids. The class of circuit-difference matroids is not closed under minors, but it is closed under series minors. We characterize the infinitely many excluded series minors for the class.
Block-avoiding point sequencings
Published
• View Publication
• BIB
Let $n$ and $\ell$ be positive integers. Recent papers by Kreher, Stinson and Veitch have explored variants of the problem of ordering the points in a triple system (such as a Steiner triple system, directed triple system or Mendelsohn triple system) on $n$ points so that no block occurs in a segment of $\ell$ consecutive entries (thus the ordering is locally block-avoiding). We describe a greedy algorithm which shows that such an ordering exists, provided that $n$ is sufficiently large when compared to $\ell$. This algorithm leads to improved bounds on the number of points in cases where this was known, but also extends the results to a significantly more general setting (which includes, for example, orderings that avoid the blocks of a design). Similar results for a cyclic variant of this situation are also established.
We construct Steiner triple systems and quadruple systems where $\ell$ can be large, showing that a bound of Stinson and Veitch is reasonable. Moreover, we generalise the Stinson--Veitch bound to a wider class of block designs and to the cyclic case.
The results of Kreher, Stinson and Veitch were originally inspired by results of Alspach, Kreher and Pastine, who (motivated by zero-sum avoiding sequences in abelian groups) were interested in orderings of points in a partial Steiner triple system where no segment is a union of disjoint blocks. Alspach~\emph{et al.}\ show that, when the system contains at most $k$ pairwise disjoint blocks, an ordering exists when the number of points is more than $15k-5$. By making use of a greedy approach, the paper improves this bound to $9k+O(k^{2/3})$.
Characterizing cycle structure in complex networks
Published
• View Publication
• BIB
Cycle is the simplest structure that brings redundant paths in network connectivity and feedback effects in network dynamics. Focusing on cycle structure, this paper defines a new matrix, named cycle number matrix, to represent cycle information of a network, and an index, named cycle ratio, to quantify the node importance. Experiments on real networks suggest that cycle ratio contains rich information in addition to well-known benchmark indices, for example, the node rankings by cycle ratio are largely different from rankings by degree, H-index, coreness, betweenness and articulation ranking, while the rankings by degree, H-index, coreness are very similar to each other. Extensive experiments on identifying vital nodes that maintain network connectivity, facilitate network synchronization and maximize the early reach of spreading show that cycle ratio is competitive to betweenness and overall better than other benchmarks. We believe the in-depth analyses on cycle structure may yield novel insights, metrics, models and algorithms for network science.
Spectral conditions for graph rigidity in the Euclidean plane
Rigidity is the property of a structure that does not flex. It is well studied in discrete geometry and mechanics, and has applications in material science, engineering and biological sciences. A bar-and-joint framework is a pair $(G,p)$ of graph $G$ together with a map $p$ of the vertices of $G$ into the Euclidean plane. We view the edges of $(G, p)$ as bars and the vertices as universal joints. The vertices can move continuously as long as the distances between pairs of adjacent vertices are preserved. The framework is rigid if any such motion preserves the distances between all pairs of vertices. In 1970, Laman obtained a combinatorial characterization of rigid graphs in the Euclidean plane. In 1982, Lovász and Yemini discovered a new characterization and proved that every $6$-connected graph is rigid. Combined with a characterization of global rigidity, their proof actually implies that every 6-connected graph is globally rigid. Consequently, if Fiedler's algebraic connectivity is greater than 5, then $G$ is globally rigid. In this paper, we improve this bound and show that for a graph $G$ with minimum degree $δ\geq 6$, if its algebraic connectivity is greater than $2+\frac{1}{δ-1}$, then $G$ is rigid and if its algebraic connectivity is greater than $2+\frac{2}{δ-1}$, then $G$ is globally rigid. Our results imply that every connected regular Ramanujan graph with degree at least $8$ is globally rigid. We also prove a more general result giving a sufficient spectral condition for the existence of $k$ edge-disjoint spanning rigid subgraphs. The same condition implies that a graph contains $k$ edge-disjoint spanning $2$-connected subgraphs. This result extends previous spectral conditions for packing edge-disjoint spanning trees.
Factors and loose Hamilton cycles in sparse pseudo-random hypergraphs
Published
• View Publication
• BIB
We investigate the emergence of spanning structures in sparse pseudo-random $k$-uniform hypergraphs, using the following comparatively weak notion of pseudo-randomness. A $k$-uniform hypergraph $H$ on $n$ vertices is called $(p,α,ε)$-pseudo-random if for all (not necessarily disjoint) vertex subsets $A_1,\dots, A_k{\subseteq} V(H)$ with $|A_1|\cdots |A_k|{\geq}αn^{k}$ we have $$e(A_1,\dots, A_k)=(1\pmε)p |A_1|\cdots |A_k|.$$ For any linear $k$-uniform $F$ we provide a bound on $α=α(n)$ in terms of $p=p(n)$ and $F$, such that (under natural divisibility assumptions on $n$) any $k$-uniform $\big(p,α, o(1)\big)$-pseudo-random $n$-vertex hypergraph $H$ with a mild minimum vertex degree condition contains an $F$-factor. The approach also enables us to establish the existence of loose Hamilton cycles in sufficiently pseudo-random hypergraphs and all results imply corresponding bounds for stronger notions of hypergraph pseudo-randomness such as jumbledness or large spectral gap.
As a consequence, $\big(p,α, o(1)\big)$-pseudo-random $k$-graphs as above contain: $(i)$ a perfect matching if $α=o(p^{k})$ and $(ii)$ a loose Hamilton cycle if $α=o(p^{k-1})$. This extends the works of Lenz--Mubayi, and Lenz--Mubayi--Mycroft who studied the analogous problems in the dense setting.
Diagonal form of the Varchenko matrices for oriented matroids
The construction of the Varchenko matrix for hyperplane arrangements, first introduced by Alexandre Varchenko, extends naturally to oriented matroids. In this paper, we generalize the theorem of Gao and Zhang by proving that the Varchenko matrix of an oriented matroid has a diagonal form if and only if the pseudohyperplane arrangement corresponding to the oriented matroid is in semigeneral position, i.e. it does not contain a degeneracy.
Furthermore, we show that the Varchenko matrix of a pseudoline arrangement has a block diagonal form. This also provides an alternative combinatorial proof for the Varchenko matrix determinant formula in dimension two.
Turán numbers for hypergraph star forests
Published
• View Publication
• BIB
Fix a graph $F$. We say that a graph is {\it $F$-free} if it does not contain $F$ as a subgraph. The {\it Turán number} of $F$, denoted $\mathrm{ex}(n,F)$, is the maximum number of edges possible in an $n$-vertex $F$-free graph. The study of Turán numbers is a central problem in graph theory. The goal of this paper is to generalize a theorem of Lidický, Liu and Palmer [{\it Electron.\ J.\ of Combin.}\ {\bf 20} (2016)] that determines $\mathrm{ex}(n,F)$ for $F$ a forest of stars. In particular, we consider generalizations of the problem to three different well-studied hypergraph settings and in each case we prove an asymptotic result for all reasonable parameters defining our "star forests".
Almost-2-regular random graphs
We study a special case of the configuration model, in which almost all the vertices of the graph have degree $2$. We show that the graph has a very peculiar and interesting behaviour, in particular when the graph is made up by a vast majority of vertices of degree $2$ and a vanishing proportion of vertices of higher degree, the giant component contains $n(1-o(1))$ vertices, but the second component can still grow polynomially in $n$. On the other hand, when almost all the vertices have degree $2$ except for $o(n)$ which have degree $1$, there is no component of linear size.
A condition for Hamiltonicity in Sparse Random Graphs with a Fixed Degree Sequence
We consider the random graph $G_{n, {\bf d}}$ chosen uniformly at random from the set of all graphs with a given sparse degree sequence ${\bf d}$. We assume ${\bf d}$ has minimum degree at least 4, at most a power law tail, and place one more condition on its tail. For $k\ge 2$ define $β_k(G) = \max e(A, B) + k(|A|-|B|) - d(A)$, with the maximum taken over disjoint vertex sets $A, B$. It is shown that the problem of determining if $G_{n, {\bf d}}$ contains a Hamilton cycle reduces to calculating $β_2(G_{n, {\bf d}})$. If $k\ge 2$ and $δ\ge k+2$, the problem of determining if $G_{n, {\bf d}}$ contains a $k$-factor reduces to calculating $β_k(G_{n, {\bf d}})$.
Variations on twins in permutations
Published
• View Publication
• BIB
Let $π$ be a permutation of the set $[n]=\{1,2,\dots, n\}$. Two disjoint order-isomorphic subsequences of $π$ are called twins. How long twins are contained in every permutation? The well known Erdős-Szekeres theorem implies that there is always a pair of twins of length $Ω(\sqrt{n})$. On the other hand, by a simple probabilistic argument Gawron proved that for every $n\geqslant 1$ there exist permutations with all twins having length $O(n^{2/3})$. He conjectured that the latter bound is the correct size of the longest twins guaranteed in every permutation. We support this conjecture by showing that almost all permutations contain twins of length $Ω(n^{2/3}/\log n^{1/3})$. Recently, Bukh and Rudenko have tweaked our proof and removed the log-factor. For completeness, we also present our version of their proof (see Remark 1.2 below on the interrelation between the two proofs).
In addition, we study several variants of the problem with diverse restrictions imposed on the twins. For instance, if we restrict attention to twins avoiding a fixed permutation $τ$, then the corresponding extremal function equals $Θ(\sqrt{n})$, provided that $τ$ is not monotone. In case of block twins (each twin occupies a segment) we prove that it is $(1+o(1))\frac{\log n}{\log\log n}$, while for random permutations it is twice as large. For twins that jointly occupy a segment (tight twins), we prove that for every $n$ there are permutations avoiding them on all segments of length greater than $24$.
Locally Hamiltonian graphs and minimal size of maximal graphs on a surface
Published
• View Publication
• BIB
We prove that every locally Hamiltonian graph with $n\ge 3$ vertices and possibly with multiple edges has at least $3n-6$ edges with equality if and only if it triangulates the sphere. As a consequence, every edge-maximal embedding of a graph $G$ graph on some 2-dimensional surface $Σ$ (not necessarily compact) has at least $3n-6$ edges with equality if and only if $G$ also triangulates the sphere. If, in addition, $G$ is simple, then for each vertex $v$, the cyclic ordering of the edges around $v$ on $Σ$ is the same as the clockwise or anti-clockwise orientation around $v$ on the sphere. If $G$ contains no complete graph on 4 vertices and has at least 4 vertices, then the face-boundaries are the same in the two embeddings.
Strong coloring 2-regular graphs: Cycle restrictions and partial colorings
Published
• View Publication
• BIB
Let $H$ be a graph with $Δ(H) \leq 2$, and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. We prove that if $H$ contains at most one odd cycle of length exceeding $3$, or if $H$ contains at most $3$ triangles, then $χ(G) \leq 4$. This proves the Strong Coloring Conjecture for such graphs $H$. For graphs $H$ with $Δ=2$ that are not covered by our theorem, we prove an approximation result towards the conjecture.
The word problem for some classes of one relation Adian inverse semigroups
We show that if the Schützenberger graph of every positive word, that contains an $R$-word only once as it's subword, is finite over an Adain presentation $\langle X|u=v\rangle$, then the Schützenberger graph of every positive word is finite over the presentation $\langle X|u=v\rangle$. This enable us to solve the word problem ffor some classes of one relation Adian inverse semigroups.
Split buildings of type F4 in buildings of type E6
Published in Abh. Math. Semin. Univ. Hambg. (2018) 88:97--160
• View Publication
• BIB
A symplectic polarity of a building Δ of type E6 is a polarity whose fixed point structure is a building of type F4 containing residues isomorphic to symplectic polar spaces (i.e., so-called split buildings of type F4). In this paper, we show in a geometric way that every building of type E6 contains, up to conjugacy, a unique class of symplectic polarities. We also show that the natural point-line geometry of each split building of type F4 fully embedded in the natural point-line geometry of Δ arises from a symplectic polarity.
A short proof of the blow-up lemma for approximate decompositions
Published
• View Publication
• BIB
Kim, Kühn, Osthus and Tyomkyn (Trans. Amer. Math. Soc. 371 (2019), 4655--4742) greatly extended the well-known blow-up lemma of Komlós, Sárközy and Szemerédi by proving a `blow-up lemma for approximate decompositions' which states that multipartite quasirandom graphs can be almost decomposed into any collection of bounded degree graphs with the same multipartite structure and slightly fewer edges. This result has already been used by Joos, Kim, Kühn and Osthus to prove the tree packing conjecture due to Gyárfás and Lehel from 1976 and Ringel's conjecture from 1963 for bounded degree trees as well as implicitly in the recent resolution of the Oberwolfach problem (asked by Ringel in 1967) by Glock, Joos, Kim, Kühn and Osthus. Here we present a new and significantly shorter proof of the blow-up lemma for approximate decompositions. In fact, we prove a more general theorem that yields packings with stronger quasirandom properties so that it can be combined with Keevash's results on designs to obtain results of the following form. For all $\varepsilon>0$, $r\in \mathbb{N}$ and all large $n$ (such that $r$ divides $n-1$), there is a decomposition of $K_n$ into any collection of $r$-regular graphs $H_1,\ldots,H_{(n-1)/r}$ on $n$ vertices provided that $H_1,\ldots,H_{\varepsilon n}$ contain each at least $\varepsilon n$ vertices in components of size at most $\varepsilon^{-1}$.
Gallai Ramsey number for double stars
Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) copy of $G$ or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for double stars $S(n,m)$, where $S(n,m)$ is the graph obtained from the union of two stars $K_{1,n}$ and $K_{1,m}$ by adding an edge between their centers. We also provide the sharp result in some cases.
Ramsey goodness of trees in random graphs
For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$. In 1977, Chvátal proved that for any integers $r,n,D \ge 2$, $K_N \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if and only if $N \ge rn+1$. We prove a random analogue of Chvátal's theorem for bounded degree trees, that is, we show that for each $r,D\ge 2$ there exist constants $C,C'>0$ such that if $p \ge C{n}^{-2/(r+2)}$ and $N \geq rn + C'/p$, then \[G(N,p) \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)\] with high probability as $n\to \infty$. The proof combines a stability argument with the embedding of trees in expander graphs. Furthermore, the proof of the stability result is based on a sparse random analogue of the Erdős--Sós conjecture for trees with linear size and bounded maximum degree, which may be of independent interest.
A proof of the Erdös similarity conjecture
We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erdös similarity conjecture.
Induced odd cycle packing number, independent sets, and chromatic number
The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPTAS for the independence number. We show that the assumption of bounded VC dimension is not necessary, exhibiting a randomized algorithm that for any integers $k\ge 0$ and $t\ge 1$ and any $n$-vertex graph $G$ of induced odd cycle packing number at most $k$ returns in time $O_{k,t}(n^{k+4})$ an independent set of $G$ whose size is at least $α(G)-n/t$ with high probability. In addition, we present $χ$-boundedness results for graphs with bounded odd cycle packing number, and use them to design a QPTAS for the independence number only assuming bounded induced odd cycle packing number.