contain ↗ reference
7689 papers tagged with this keyword
Face-hitting dominating sets in planar graphs: Alternative proof and linear-time algorithm
Published
• View Publication
• BIB
In a recent paper, Francis, Illickan, Jose and Rajendraprasad showed that every $n$-vertex plane graph $G$ has (under some natural restrictions) a vertex-partition into two sets $V_1$ and $V_2$ such that each $V_i$ is \emph{dominating} (every vertex of $G$ contains a vertex of $V_i$ in its closed neighbourhood) and \emph{face-hitting} (every face of $G$ is incident to a vertex of $V_i$). Their proof works by considering a supergraph $G'$ of $G$ that has certain properties, and among all such graphs, taking one that has the fewest edges. As such, their proof is not algorithmic. Their proof also relies on the 4-color theorem, for which a quadratic-time algorithm exists, but it would not be easy to implement.
In this paper, we give a new proof that every $n$-vertex plane graph $G$ has (under the same restrictions) a vertex-partition into two dominating face-hitting sets. Our proof is constructive, and requires nothing more complicated than splitting a graph into 2-connected components, finding an ear decomposition, and computing a perfect matching in a 3-regular plane graph. For all these problems, linear-time algorithms are known and so we can find the vertex-partition in linear time.
Lower Bounds for Induced-Universal Graphs
Published
• View Publication
• BIB
We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs must have at least $10.52n$ vertices. We also show that the number of conflicting graphs to consider in order to beat this lower bound is at least $137$. In other words, any family of less than $137$ planar graphs of $n$ vertices has an induced-universal graph with less than $10.52n$ vertices, stressing the difficulty in beating such lower bounds. Similar results are developed for other graph families, including but not limited to, trees, outerplanar graphs, series-parallel graphs, $K_{3,3}$-minor free graphs. As a byproduct, we show that any family of $t$ graphs of $n$ vertices having small chromatic number and sublinear pathwidth, like any proper minor-closed family, has an induced-universal graph with less than $\frac{15}{7} \sqrt{t} \cdot n$ vertices. This is achieved by making a bridge between equitable colorings, combinatorial designs, and path-decompositions.
Recurrence for pretentious systems along generalized Pythagorean triples
We establish multiple recurrence results for pretentious measure-preserving multiplicative actions along generalized Pythagorean triples, that is, solutions to the equation $ax^2 + b y^2 = c z^2$. This confirms the ergodic-theoretic form of the generalized Pythagorean partition regularity conjecture in this critical case of structured measure-preserving actions. As a consequence of our main theorem, any finite coloring of $\mathbb{N}$ generated by the level sets of finitely many pretentious completely multiplicative functions, must contain a monochromatic generalized Pythagorean triple.
The Brown-Erdős-Sós conjecture in dense triple systems
The famous Brown-Erdős-Sós conjecture from 1973 states, in an equivalent form, that for any fixed $δ>0$ and integer $k\geq 3$ every sufficiently large linear $3$-uniform hypergraph of size $δn^2$ contains some $k$ edges spanning at most $k+3$ vertices. We prove it to hold for $δ>4/5$, establishing the first bound of this kind.
New examples of $M\setminus L$: intruder sets
Published
• View Publication
• BIB
We exhibit new examples of regions of $M\setminus L$ where $M$ and $L$ denote the Markov and Lagrange spectra, respectively. These regions have a different nature from all known regions studied so far: they contain \emph{intruder sets} associated with distinct combinatorics that trespass the region where self-replication holds. Our construction follows the usual self-replication method but replaces the standard local uniqueness condition with a more flexible and weaker property. These examples emerged from a large-scale computational search for regions of $M\setminus L$, which indicates that many such regions with intruder sets exist. We conclude with some open problems about these new regions.
Cutsets in ${\mathcal P}(X)$
For any set $X$, ${\mathcal P}(X)$ denotes the collection of all subsets of $X$, ordered by inclusion. A {\it cutset} in ${\mathcal P}(X)$ is a subset of ${\mathcal P}(X)$ which meets every maximal chain of ${\mathcal P}(X)$. A cutset is non-trivial if it does not contain $X$ or the empty set. Our main result is the following.
Theorem 1: Let $X$ be an infinite set of cardinality $κ$. Every non-trivial cutset in ${\mathcal P}(X)$ contains a chain of cardinality $κ^+$ and an antichain of cardinality $2^κ$.
The exact Turán number of generalized book graph $B_{r,k}$ in non-$r$-partite graphs
Given a graph $H,$ we say that a graph is \textit{$H$-free} if it does not contain $H$ as a subgraph. The Turán number $\ex(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex $H$-free graph, the set of all the corresponding extremal graphs is denoted by $\Ex(n, H)$. The study of Turán number of graphs is a central topic in extremal graph theory. A graph is \textit{color-critical} if it contains an edge whose deletion reduces its chromatic number. Simonovits showed that if $H$ is a color-critical graph of chromatic number $r+1,$ then for sufficiently large $n,$ $\Ex(n, H)=\{T_r(n)\},$ the $r$-partite Turán graph of order $n.$ Given a color-critical graph $H$ with chromatic number $r+1,$ it is interesting to determine $H$-free non-$r$-partite graphs with maximum number of edges. For a graph $H$ with chromatic number $r+1,$ denote $\ex_{r+1}(n,H)$ the maximum number of edges in non-$r$-partite $H$-free graphs of order $n,$ the set of all non-$r$-partite $H$-free graphs of order $n$ and size $\ex_{r+1}(n,H)$ is denoted by $\Ex_{r+1}(n, H)$. For $r\geq 3,\,k\geq1,$ the generalized book graph \({B}_{r,k}\) is a graph obtained by joining every vertex of $K_r$ to every vertex of an independent set of size \(k\). Note that \({B}_{r,k}\) is a color-critical graph of chromatic number $r+1.$ In this paper, based on the stability theory and local structure characterization, the exact value of $\ex_{r+1}(n,B_{r,k})$ is determined and all the corresponding extremal graphs are identified, where $r\geq 3,\,k\geq1$ and $n$ is sufficiently large.
Coloring Graphs With No Totally Odd Clique Immersion
We prove that graphs that do not contain a totally odd immersion of $K_t$ are $\mathcal{O}(t)$-colorable. In particular, we show that any graph with no totally odd immersion of $K_t$ is the union of a bipartite graph and a graph which forbids an immersion of $K_{\mathcal{O}(t)}$. Our results are algorithmic, and we give a fixed-parameter tractable algorithm (in $t$) to find such a decomposition.
CR tournaments
The determinant of a tournament $T$ is defined as the determinant of the skew-adjacency matrix of $T$. For a positive odd integer $k$, let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $k^2$. Some existing results show that, for $k \in \{1,3,5\}$, a tournament $T \in \mathcal{D}_k \backslash \mathcal{D}_{k-2}$ ($T \in \mathcal{D}_1$ when $k=1$) if and only if $T$ is switching equivalent to a transitive blowup of $L_{k+1}$, where $L_{k+1}$ is a tournament of order $k+1$ with a specific structure.
There exist some tournaments with the special property that adding any vertex that does not conform to their structure increases the maximum value of determinants among their subtournaments. We define these tournaments as CR tournaments. In this paper, we introduce CR tournaments, strong CR tournaments and basic tournaments, and show some properties and conclusions on these tournaments. For a basic strong CR tournament $H \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$, we show that if $T$ contains a subtournament which is switching isomorphic to $H$, then $T \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$ if and only if $T$ is switching equivalent to a transitive blowup of $H$. Moreover, we demonstrate that all $L_n$ are strong CR tournaments, and based on this conclusion, we answer a question posed in [J. Zeng, L. You, On determinants of tournaments and $\mathcal{D}_k$, arXiv:2408.06992, 2024.], and propose some questions for further research.
Unbounded degree spanning hypertrees in Dirac hypergraphs
In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge.
For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs.
As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma.
On $P$-crucial square-free permutations
Published
• View Publication
• BIB
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A square-free permutation of length $n$ is $P$-crucial, where $P$ is a subset of $\{0,1,\ldots,n\}$, if any of its extensions in any position from the set $P$ contains a square. In 2015, Gent, Kitaev, Konovalov, Linton and Nightingale initiated the study of $P$-crucial square-free permutations. In particular, they showed that $\{0,1,n-1,n\}$-crucial square-free permutations of length $n$, where $n\leq 22$, exist if and only if $n=17$ or $n=21$. In this work, we prove that for any $m\geq 2$ there exists a $\{0,1,8m+4,8m+5\}$-crucial square-free permutation of length $8m+5$.
Spectral extrema of graphs forbidding a fan
For a graph $G$, its spectral radius is the largest eigenvalue of its adjacency matrix. A fan $H_{\ell}$ is a graph obtained by connecting a single vertex to all vertices of a path of order $\ell\geq4$. Let ${\rm SPEX(n,H_{\ell})}$ be the set of all extremal graphs $G$ of order $n$ with the maximum spectral radius, where $G$ contains no $H_{\ell}$ as a subgraph. In this paper, we completely characterized the graphs in ${\rm SPEX(n,H_{\ell})}$ for any $\ell\geq4$ and sufficiently large $n$. An interesting phenomenon was revealed: ${\rm SPEX(n,H_{2k+2})}\subseteq {\rm SPEX(n,H_{2k+3})}$ for any $k\geq1$ and sufficiently large $n$.
Sandwich Monotonicity and the Recognition of Weighted Graph Classes
Edge-weighted graphs play an important role in the theory of Robinsonian matrices and similarity theory, particularly via the concept of level graphs, that is, graphs obtained from an edge-weighted graph by removing all sufficiently light edges. This suggest a natural way of associating to any class $\mathcal{G}$ of unweighted graphs a corresponding class of edge-weighted graphs, namely by requiring that all level graphs belong to $\mathcal{G}$. We show that weighted graphs for which all level graphs are split, threshold, or chain graphs can be recognized in linear time using special edge elimination orderings. We obtain these results by introducing the notion of degree sandwich monotone graph classes. A graph class $\mathcal{G}$ is sandwich monotone if every edge set which may be removed from a graph in $\mathcal{G}$ without leaving the class also contains a single edge that can be safely removed. Furthermore, if we require the safe edge to fulfill a certain degree property, then $\mathcal{G}$ is called degree sandwich monotone. We present necessary and sufficient conditions for the existence of a linear-time recognition algorithm for any weighted graph class whose corresponding unweighted class is degree sandwich monotone and contains all edgeless graphs.
Balanced Steinhaus triangles
A Steinhaus triangle modulo $m$ is a finite down-pointing triangle of elements in the finite cyclic group $\mathbb{Z}/m\mathbb{Z}$ satisfying the same local rule as the standard Pascal triangle modulo $m$. A Steinhaus triangle modulo $m$ is said to be balanced if it contains all the elements of $\mathbb{Z}/m\mathbb{Z}$ with the same multiplicity. In this paper, the existence of infinitely many balanced Steinhaus triangles modulo $m$, for any positive integer $m$, is shown. This is achieved by considering periodic triangles generated from interlaced arithmetic progressions. This positively answers a weak version of a problem, due to John C. Molluzzo in 1978, that has remained unsolved to date for the even values of $m\geqslant 12$.
On Relative Ordered Turán Density
For an ordered graph $F$, denote the Turán density by $\vecπ(F)$. The relative Turán density, denoted by $ρ(F)$, is the supremum over $α\in [0,1]$ such that every ordered graph $G$ contains an $F$-free subgraph $G'$ with $e(G') \geq αe(G)$. Reiher, Rödl, Sales and Schacht showed that $ρ(P) = \vecπ(P)/2$ and $ρ(K) = \vecπ(K)$ for any ascending path $P$ or clique $K$. They asked if there are any ordered graphs $F$ with $\vecπ(F)/2 < ρ(F) < \vecπ(F)$. We answer this question in the affirmative by describing a family of such $F$. We also show that the relative Turán densities of a large family of ordered matchings (including $\{\{1,6\}, \{2,3\}, \{4,5\}\}$ and $\{\{1,3\}, \{2,5\}, \{4,6\}\}$) are $0$.
Distance restricted matching extensions in regular non-bipartite graphs
Let $m$ and $r$ be integers with $m \ge r \ge 3$ and let $G$ be an $r$-regular graph of even order. Let $M$ be a matching in $G$ of size $m$ such that each pair of edges in $M$ is at distance at least $3$. In 2023, Aldred et al. proved that if $G$ is cyclically $(mr-r+1)$-edge-connected and $G$ is bipartite, then there exists a perfect matching of $G$ containing $M$. In this paper, we present non-bipartite analogues of Aldred et al.'s theorem. An odd ear of $U \subseteq V(G)$ is a path of odd length whose ends lie in $U$ but whose internal vertices do not, or a cycle of odd length having exactly one vertex in $U$. Our first result shows that if $G$ is cyclically $(mr - m +1)$-edge-connected and there exist $mr - \left\lceil \frac{r}{2} \right\rceil + 1$ edge-disjoint odd ears of $V(M)$, then $M$ can be extended to a perfect matching of $G$. We further show that if $G$ contains $mr-r+1$ edge-disjoint odd ears of $V(M)$ and no cyclic edge cut in $G$ of size less than $(2m-1)(r-1)$ separates an odd cycle from another cycle, then $M$ can still be extended to a perfect matching. The second result extends Aldred et al.'s theorem to non-bipartite graphs in the case $r \ge 4$, and in the case when $r = 3$ and each pair of edges in $M$ is at distance at least $5$. It is also shown that the above results hold when $m \le r - 1$, without assuming the distance condition on $M$.
On universal graphs for trees and treewidth $k$ graphs
Let $s(n)$ be the minimum number of edges in a graph that contains every $n$-vertex tree as a subgraph. Chung and Graham [J. London Math. Soc. 1983] claim to prove that $s(n)\leqslant O(n\log n)$. We point out a mistake in their proof. The previously best known upper bound is $s(n)\leqslant O(n(\log n)(\log\log n)^{2})$ by Chung, Graham and Pippenger [Proc. Hungarian Coll. on Combinatorics 1976], the proof of which is missing many crucial details. We give a fully self-contained proof of the new and improved upper bound $s(n)\leqslant O(n(\log n)(\log\log n))$. The best known lower bound is $s(n)\geqslant Ω(n\log n)$.
We generalise these results for graphs of treewidth $k$. For an integer $k\geqslant 1$, let $s_k(n)$ be the minimum number of edges in a graph that contains every $n$-vertex graph with treewidth $k$ as a subgraph. So $s(n)=s_1(n)$. We show that $Ω(k n\log n) \leqslant s_k(n) \leqslant O(kn(\log n)(\log\log n))$.
Spectral conditions for graphs to contain $k$-factors
Published
• View Publication
• BIB
Let $G$ be a graph. The spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. For an integer $k\geq1$, a $k$-factor of $G$ is a $k$-regular spanning subgraph of $G$. Assume that $k$ and $n$ are integers satisfying $k\geq2,kn\equiv0~(\mod2)$ and $n\geq\max\left\{k^{2}+6k+7,20k+10\right\}$. Let $G$ be a graph of order $n$ and with minimum degree at least $k$. In this paper, we give a sharp lower bound of $ρ(G)$ to guarantee that $G$ contains a $k$-factor.
A spectral condition for Hamilton cycles in tough bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its adjacency matrix. For a non-complete bipartite graph $G$ with parts $X$ and $Y$, the {\em bipartite toughness} of $G$ is defined as $t^{B}(G)=\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper subsets $S\subset X$ (or $S\subset Y$) such that $c(G-S)>1$. In this paper, we give a sharp spectral radius condition for balanced bipartite graphs $G$ with $t^{B}(G)\geq1$ to guarantee that $G$ contains Hamilton cycles. This solves a problem proposed in \cite{CFL}.
Notes and computations on forbidden differences
Published
• View Publication
• BIB
We explore from several perspectives the following question: given $X\subseteq \mathbb{Z}$ and $N\in \mathbb{N}$, what is the maximum size $D(X,N)$ of $A\subseteq \{1,2,\dots,N\}$ before $A$ is forced to contain two distinct elements that differ by an element of $X$? The set of forbidden differences, $X$, is called \textit{intersective} if $D(X,N)=o(N)$, with the most well-studied examples being $X=S=\{n^2: n\in \mathbb{N}\}$ and $X=\mathcal{P}-1=\{p-1: p\text{ prime}\}$. In addition to some new results, including exact formulas and estimates for $D(X,N)$ in some non-intersective cases like $X=\mathcal{P}$ and $X=S+k$, $k\in \mathbb{N}$, we also provide a comprehensive survey of known bounds and extensive computational data. In particular, we utilize an existing algorithm for finding maximum cliques in graphs to determine $D(S,N)$ for $N\leq 300$ and $D(\mathcal{P}-1,N)$ for $N\leq 500$. None of these exact values appear previously in the literature.