contain ↗ reference
7720 papers tagged with this keyword
Perfect Out-forests and Steiner Cycle Packing in Digraphs
In this paper, we study the complexity of two types of digraph packing problems: perfect out-forests problem and Steiner cycle packing problem.
For the perfect out-forest problem, we prove that it is NP-hard to decide whether a given strong digraph contains a 1-perfect out-forest. However, when restricted to a semicomplete digraph $D$, the problem of deciding whether $D$ contains an $i$-perfect out-forest becomes polynomial-time solvable, where $i\in \{0,1\}$. We also prove that it is NP-hard to find a 0-perfect out-forest of maximum size in a connected acyclic digraph, and it is NP-hard to find a 1-perfect out-forest of maximum size in a connected digraph.
For the Steiner cycle packing problem, when both $k\geq 2, \ell\geq 1$ are fixed integers, we show that the problem of deciding whether there are at least $\ell$ internally disjoint directed $S$-Steiner cycles in an Eulerian digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$. However, when we consider the class of symmetric digraphs, the problem becomes polynomial-time solvable. We also show that the problem of deciding whether there are at least $\ell$ arc-disjoint directed $S$-Steiner cycles in a given digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$.
A further extension of Rödl's theorem
Published
• View Publication
• BIB
Fix $\varepsilon>0$ and a nonnull graph $H$. A well-known theorem of Rödl from the 80s says that every graph $G$ with no induced copy of $H$ contains a linear-sized $\varepsilon$-restricted set $S\subseteq V(G)$, which means $S$ induces a subgraph with maximum degree at most $\varepsilon\vert S\vert$ in $G$ or its complement. There are two extensions of this result:
$\bullet$ quantitatively, Nikiforov (and later Fox and Sudakov) relaxed the condition "no induced copy of $H$" into "at most $κ\vert G\vert^{\vert H\vert}$ induced copies of $H$ for some $κ>0$ depending on $H$ and $\varepsilon$"; and
$\bullet$ qualitatively, Chudnovsky, Scott, Seymour, and Spirkl recently showed that there exists $N>0$ depending on $H$ and $\varepsilon$ such that $G$ is $(N,\varepsilon)$-restricted, which means $V(G)$ has a partition into at most $N$ subsets that are $\varepsilon$-restricted.
A natural common generalization of these two asserts that every graph $G$ with at most $κ\vert G\vert^{\vert H\vert}$ induced copies of $H$ is $(N,\varepsilon)$-restricted for some $κ,N>0$ depending on $H$ and $\varepsilon$. This is unfortunately false, but we prove that for every $\varepsilon>0$, $κ$ and $N$ still exist so that for every $d\ge0$, every graph with at most $κd^{\vert H\vert}$ induced copies of $H$ has an $(N,\varepsilon)$-restricted induced subgraph on at least $\vert G\vert-d$ vertices. This unifies the two aforementioned theorems, and is optimal up to $κ$ and $N$ for every value of $d$.
Simple deterministic O(n log n) algorithm finding a solution of Erdős-Ginzburg-Ziv theorem
Erdős-Ginzburg-Ziv theorem is a famous theorem in additive number theory, which states any sequence of $2n-1$ integers contains a subsequence of $n$ elements, with their sum being a multiple of $n$. In this article, we provide an algorithm finding a solution of Erdős-Ginzburg-Ziv theorem in $\mathcal{O}(n \log n)$ time. This is the first known deterministic $\mathcal{O}(n \log n)$ time algorithm finding a solution of Erdős-Ginzburg-Ziv theorem.
Connected Turán number of trees
Published
• View Publication
• BIB
As a variant of the much studied Turán number, $ex(n,F)$, the largest number of edges that an $n$-vertex $F$-free graph may contain, we introduce the connected Turán number $ex_c(n,F)$, the largest number of edges that an $n$-vertex connected $F$-free graph may contain. We focus on the case where the forbidden graph is a tree. The celebrated conjecture of Erdős and Sós states that for any tree $T$, we have $ex(n,T)\le(|T|-2)\frac{n}{2}$. We address the problem how much smaller $ex_c(n,T)$ can be, what is the smallest possible ratio of $ex_c(n,T)$ and $(|T|-2)\frac{n}{2}$ as $|T|$ grows. We also determine the exact value of $ex_c(n,T)$ for small trees, in particular for all trees with at most six vertices. We introduce general constructions of connected $T$-free graphs based on graph parameters as longest path, matching number, branching number, etc.
Analysis of subsystems with rooks on a chess-board representing a partial Latin square (Part 2.)
A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. In Latin squares, a subsystem and its most distant mate together have as many rooks as their capacity. That implies a simple capacity condition for the completion of partial Latin squares which is in fact the Cruse's necessary condition for characteristic matrices. Andersen-Hilton proved that, except for certain listed cases, a PLS of order $n$ can be completed if it contains only $n$ symbols. Andersen proved it for $n+1$ symbols, listing the cases to be excluded. Identifying the structures of the chess-board that can be overloaded with $n$ or $n+1$ rooks, it follows that a PLS derived from a chess-board with at most $n+1$ non-attacking rooks can be completed exactly if it satisfies the capacity condition. In a layer of a Latin square, two subsystems of a remote couple are in balance. Thus, a necessary condition for completion of a layer can be formulated, the balance condition. For an LSC, each 1-dimensional subspace of the chess-board contains exactly one rook. Consequently, for the PLSCs derived from partial Latin squares, we examine certain sets of 1-dimensional subspaces because they indicate the number of missing rooks.
Subdivisions with congruence constraints in digraphs of large chromatic number
Published
• View Publication
• BIB
We prove that for every digraph $F$ and every assignment of pairs of integers $(r_e,q_e)_{e \in A(F)}$ to its arcs there exists an integer $N$ such that every digraph $D$ with dichromatic number at least $N$ contains a subdivision of $F$ in which $e$ is subdivided into a directed path of length congruent to $r_e$ modulo $q_e$, for every $e \in A(F)$.
This generalizes to the directed setting the analogous result by Thomassen for undirected graphs, and at the same time yields a novel short proof of his result.
The cycle of length four is strictly $F$-Turán-good
Published
• View Publication
• BIB
Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Turán-good if the Turán graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$ among all $F$-free graphs on $n$ vertices for every $n$ large enough.
Győri, Pach and Simonovits (1991) proved that cycle $C_4$ of length four is strictly $K_{r+1}$-Turán-good for all $r\geq 2$. In this article, we extend this result and show that $C_4$ is strictly $F$-Turán-good, where $F$ is an $(r+1)$-chromatic graph with $r\ge 2$ and a color-critical edge. Moreover, we show that every $n$-vertex $C_4$-free graph $G$ with $N(H,G)=\ex(n,C_4,F)-o(n^4)$ can be obtained by adding or deleting $o(n^2)$ edges from $T_r(n)$. Our proof uses the flag algebra method developed by Razborov (2007).
Convex polytopes from fewer points
Published
• View Publication
• BIB
Let $ES_{d}(n)$ be the smallest integer such that any set of $ES_{d}(n)$ points in $\mathbb{R}^{d}$ in general position contains $n$ points in convex position. In 1960, Erdős and Szekeres showed that $ES_{2}(n) \geq 2^{n-2} + 1$ holds, and famously conjectured that their construction is optimal. This was nearly settled by Suk in 2017, who showed that $ES_{2}(n) \leq 2^{n+o(n)}$. In this paper, we prove that $$ES_{d}(n) = 2^{o(n)}$$ holds for all $d \geq 3$. In particular, this establishes that, in higher dimensions, substantially fewer points are needed in order to ensure the presence of a convex polytope on $n$ vertices, compared to how many are required in the plane.
A spectral Erdős-Pósa Theorem
A set of cycles is called independent if no two of them have a common vertex. Let $S_{n, 2k-1}$ be the complete split graph, which is the join of a clique of size $2k-1$ with an independent set of size $n-2k+1$. In 1962, Erdős and Pósa established the following edge-extremal result: for every graph $G$ of order $n$ which contains no $k$ independent cycles, where $k\geq2$ and $n\geq 24k$, we have $e(G)\leq (2k-1)(n-k),$ with equality if and only if $G\cong S_{n,2k-1}.$ In this paper, we prove a spectral version of Erdős-Pósa Theorem. Let $k\geq1$ and $n\geq \frac{16(2k-1)}{λ^{2}}$ with $λ=\frac1{120k^2}$. If $G$ is a graph of order $n$ which contains no $k$ independent cycles, then $ρ(G)\leq ρ(S_{n,2k-1}),$ the equality holds if and only if $G\cong S_{n,2k-1}.$ This presents a new example illustration for which edge-extremal problems have spectral analogues. Finally, a related problem is proposed for further research.
The homeomorphism group of the universal Knaster continuum
Published
• View Publication
• BIB
We define a projective Fraissé family whose limit approximates the universal Knaster continuum. The family is such that the group $\textrm{Aut}(\mathbb{K})$ of automorphisms of the Fraissé limit is a dense subgroup of the group, $\textrm{Homeo}(K)$, of homeomorphisms of the universal Knaster continuum.
We prove that both $\textrm{Aut}(\mathbb{K})$ and $\textrm{Homeo}(K)$ have universal minimal flow homeomorphic to the universal minimal flow of the free abelian group on countably many generators. The computation involves proving that both groups contain an open, normal subgroup which is extremely amenable.
Minimum non-chromatic-$λ$-choosable graphs
Published
• View Publication
• BIB
For a multi-set $λ=\{k_1,k_2, \ldots, k_q\}$ of positive integers, let $k_λ = \sum_{i=1}^q k_i$.
A $λ$-list assignment of $G$ is a list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into the disjoint union $C_1 \cup C_2 \cup \ldots \cup C_q$ of $q$ sets so that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability puts $k$-colourability and $k$-choosability in the same framework: If $λ= \{k\}$, then $λ$-choosability is equivalent to $k$-choosability; if $λ$ consists of $k $ copies of $1$, then $λ$-choosability is equivalent to $k $-colourability. If $G$ is $λ$-choosable, then $G$ is $k_λ$-colourable. On the other hand, there are $k_λ$-colourable graphs that are not $λ$-choosable, provided that $λ$ contains an integer larger than $1$. Let $φ(λ)$ be the minimum number of vertices in a $k_λ$-colourable non-$λ$-choosable graph. This paper determines the value of $φ(λ)$ for all $λ$.
Characteristic quasi-polynomials for deformations of Coxeter arrangements of types A, B, C, and D
Published
• View Publication
• BIB
Kamiya, Takemura, and Terao introduced a characteristic quasi-polynomial which enumerates the numbers of elements in the complement of hyperplane arrangements modulo positive integers. In this paper, we compute the characteristic quasi-polynomials for arrangements which contain the Coxeter arrangements of types A, B, C, and D described by the orthonormal basis. We also compute the characteristic quasi-polynomials for their deletion arrangements and we can show that they are factorized. From this result, the poset generated by hypertori of the corresponding torus arrangement is an inductive poset.
Generating non-jumps from a known one
Published
• View Publication
• BIB
Let $r\ge 2$ be an integer. The real number $α\in [0,1]$ is a jump for $r$ if there exists a constant $c > 0$ such that for any $ε>0$ and any integer $m \geq r$, there exists an integer $n_0(ε, m)$ satisfying any $r$-uniform graph with $n\ge n_0(ε, m)$ vertices and density at least $α+ε$ contains a subgraph with $m$ vertices and density at least $α+c$. A result of Erdős, Stone and Simonovits implies that every $α\in [0,1)$ is a jump for $r=2$. Erdős asked whether the same is true for $r\ge 3$. Frankl and Rödl gave a negative answer by showing that $1-\frac{1}{l^{r-1}}$ is not a jump for $r$ if $r\ge 3$ and $l>2r$. After that, more non-jumps are found using a method of Frankl and Rödl. In this note, we show a method to construct maps $f \colon [0,1] \to [0,1]$ that preserve non-jumps, if $α$ is a non-jump for $r$ given by the method of Frankl and Rödl, then $f(α)$ is also a non-jump for $r$. We use these maps to study hypergraph Turán densities and answer a question posed by Grosu.
Ramsey numbers of semi-algebraic and semi-linear hypergraphs
Published
• View Publication
• BIB
An $r$-uniform hypergraph $H$ is semi-algebraic of complexity $\mathbf{t}=(d,D,m)$ if the vertices of $H$ correspond to points in $\mathbb{R}^{d}$, and the edges of $H$ are determined by the sign-pattern of $m$ degree-$D$ polynomials. Semi-algebraic hypergraphs of bounded complexity provide a general framework for studying geometrically defined hypergraphs.
The much-studied semi-algebraic Ramsey number $R_{r}^{\mathbf{t}}(s,n)$ denotes the smallest $N$ such that every $r$-uniform semi-algebraic hypergraph of complexity $\mathbf{t}$ on $N$ vertices contains either a clique of size $s$, or an independent set of size $n$. Conlon, Fox, Pach, Sudakov, and Suk proved that $R_{r}^{\mathbf{t}}(n,n)<\mbox{tw}_{r-1}(n^{O(1)})$, where $\mbox{tw}_{k}(x)$ is a tower of 2's of height $k$ with an $x$ on the top. This bound is also the best possible if $\min\{d,D,m\}$ is sufficiently large with respect to $r$. They conjectured that in the asymmetric case, we have $R_{3}^{\mathbf{t}}(s,n)<n^{O(1)}$ for fixed $s$. We refute this conjecture by showing that $R_{3}^{\mathbf{t}}(4,n)>n^{(\log n)^{1/3-o(1)}}$ for some complexity $\mathbf{t}$.
In addition, motivated by results of Bukh and Matoušek and Basit, Chernikov, Starchenko, Tao and Tran, we study the complexity of the Ramsey problem when the defining polynomials are linear, that is, when $D=1$. In particular, we prove that $R_{r}^{d,1,m}(n,n)\leq 2^{O(n^{4r^2m^2})}$, while from below, we establish $R^{1,1,1}_{r}(n,n)\geq 2^{Ω(n^{\lfloor r/2\rfloor-1})}$.
Perfectly Matchable Set Polynomials and $h^*$-polynomials for Stable Set Polytopes of Complements of Graphs
Published
• View Publication
• BIB
A subset $S$ of vertices of a graph $G$ is called a perfectly matchable set of $G$ if the subgraph induced by $S$ contains a perfect matching. The perfectly matchable set polynomial of $G$, first made explicit by Ohsugi and Tsuchiya, is the (ordinary) generating function $p(G; z)$ for the number of perfectly matchable sets of $G$.
In this work, we provide explicit recurrences for computing $p(G; z)$ for an arbitrary (simple) graph and use these to compute the Ehrhart $h^*$-polynomials for certain lattice polytopes. Namely, we show that $p(G; z)$ is the $h^*$-polynomial for certain classes of stable set polytopes, whose vertices correspond to stable sets of $G$.
Minimum degree ensuring that a hypergraph is hamiltonian-connected
Published
• View Publication
• BIB
A hypergraph $H$ is hamiltonian-connected if for any distinct vertices $x$ and $y$, $H$ contains a hamiltonian Berge path from $x$ to $y$. We find for all $3\leq r<n$, exact lower bounds on minimum degree $δ(n,r)$ of an $n$-vertex $r$-uniform hypergraph $H$ guaranteeing that $H$ is hamiltonian-connected. It turns out that for $3\leq n/2<r<n$, $δ(n,r)$ is 1 less than the degree bound guaranteeing the existence of a hamiltonian Berge cycle. Moreover, unlike for graphs, for each $r \geq 3$ there exists an $r$-uniform hypergraph that is hamiltonian-connected but does not contain a hamiltonian Berge cycle.
Density of small diameter subgraphs in $K_r$-free graphs
We denote by $\text{ex}(n, H, F)$ the maximum number of copies of $H$ in an $n$-vertex graph that does not contain $F$ as a subgraph. Recently, Grzesik, Győri, Salia, Tompkins considered conditions on $H$ under which $\text{ex}(n, H, K_r)$ is asymptotically attained at a blow-up of $K_{r-1}$, and proposed a conjecture. In this note we disprove their conjecture.
Folding Polyiamonds into Octahedra
Published
• View Publication
• BIB
We study polyiamonds (polygons arising from the triangular grid) that fold into the smallest yet unstudied platonic solid -- the octahedron. We show a number of results. Firstly, we characterize foldable polyiamonds containing a hole of positive area, namely each but one polyiamond is foldable. Secondly, we show that a convex polyiamond folds into the octahedron if and only if it contains one of five polyiamonds. We thirdly present a sharp size bound: While there exist unfoldable polyiamonds of size 14, every polyiamond of size at least 15 folds into the octahedron. This clearly implies that one can test in polynomial time whether a given polyiamond folds into the octahedron. Lastly, we show that for any assignment of positive integers to the faces, there exist a polyiamond that folds into the octahedron such that the number of triangles covering a face is equal to the assigned number.
On the largest sum-free subset problem in the integers
Let $A \subset \mathbb{Z}_{>0}$ of size $n$. It is conjectured that for any $C >0$ and $n$ large enough that $A$ contains a sum-free subset of size at least $n/3 +C$. We study this problem and find an alternate proof of Bourgain's result that one make take $C=2/3$.
Primary Non-QE Graphs on Six Vertices
Published in Interdisciplinary Information Sciences Vol. 29 (2023), Pages 141-156
• View Publication
• BIB
A connected graph is called of non-QE class if it does not admit a quadratic embedding in a Euclidean space. A non-QE graph is called primary if it does not contain a non-QE graph as an isometrically embedded proper subgraph. The graphs on six vertices are completely classified into the classes of QE graphs, of non-QE graphs, and of primary non-QE graphs.