38,657 research outputs found
Poset Ramsey Number R(P, Qn). I. Complete Multipartite Posets
A poset contains a copy of some other poset if there is an injection where for every if and only if . For any posets and , the poset Ramsey number is the smallest integer such that any blue/red coloring of a Boolean lattice of dimension contains either a copy of with all elements blue or a copy of with all elements red. A complete ℓ-partite poset is a poset on elements, which are partitioned into pairwise disjoint sets with , such that for any two and , if and only if . In this paper we show that
On ordered Ramsey numbers of matchings versus triangles
For graphs and with linearly ordered vertex sets, the \ordered
Ramsey number is the smallest positive integer such that any
red-blue coloring of the edges of the complete ordered graph on
vertices contains either a blue copy of or a red copy of . Motivated
by a problem of Conlon, Fox, Lee, and Sudakov (2017), we study the numbers
where is an ordered matching on vertices.
We prove that almost all -vertex ordered matchings with interval
chromatic number 2 satisfy and
, improving a recent result by Rohatgi (2019).
We also show that there are -vertex ordered matchings with interval
chromatic number at least 3 satisfying , which asymptotically matches the best known lower bound on these
off-diagonal ordered Ramsey numbers for general -vertex ordered matchings.Comment: 16 pages, 2 figures; extended abstract to appear at EuroComb 202
Some remarks on off-diagonal Ramsey numbers for vector spaces over
For every positive integer , we show that there must exist an absolute
constant such that the following holds: for any integer
and any red-blue coloring of the one-dimensional subspaces of
, there must exist either a -dimensional subspace for
which all of its one-dimensional subspaces get colored red or a -dimensional
subspace for which all of its one-dimensional subspaces get colored blue. This
answers recent questions of Nelson and Nomoto, and confirms that for any even
plane binary matroid , the class of -free, claw-free binary matroids is
polynomially -bounded.
Our argument will proceed via a reduction to a well-studied additive
combinatorics problem, originally posed by Green: given a set with density , what is the largest
subspace that we can find in ? Our main contribution to the story is a new
result for this problem in the regime where is large with respect to
, which utilizes ideas from the recent breakthrough paper of Kelley and Meka
on sets of integers without three-term arithmetic progressions
Generalized cohesiveness
We study some generalized notions of cohesiveness which arise naturally in
connection with effective versions of Ramsey's Theorem. An infinite set of
natural numbers is --cohesive (respectively, --r--cohesive) if is
almost homogeneous for every computably enumerable (respectively, computable)
--coloring of the --element sets of natural numbers. (Thus the
--cohesive and --r--cohesive sets coincide with the cohesive and
r--cohesive sets, respectively.) We consider the degrees of unsolvability and
arithmetical definability levels of --cohesive and --r--cohesive sets.
For example, we show that for all , there exists a
--cohesive set. We improve this result for by showing that there is
a --cohesive set. We show that the --cohesive and
--r--cohesive degrees together form a linear, non--collapsing hierarchy of
degrees for . In addition, for we characterize the jumps
of --cohesive degrees as exactly the degrees {\bf \geq \jump{0}{(n+1)}}
and show that each --r--cohesive degree has jump {\bf > \jump{0}{(n)}}
Algorithms and almost tight results for 3-colorability of small diameter graphs.
The 3-coloring problem is well known to be NP-complete. It is also well known that it remains NP-complete when the input is restricted to graphs with diameter 4. Moreover, assuming the Exponential Time Hypothesis (ETH), 3-coloring cannot be solved in time 2o(n) on graphs with n vertices and diameter at most 4. In spite of extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of this problem on graphs with small diameter, i.e. with diameter at most 2, or at most 3, has been an open problem. In this paper we investigate graphs with small diameter. For graphs with diameter at most 2, we provide the first subexponential algorithm for 3-coloring, with complexity 2O(nlogn√). Furthermore we extend the notion of an articulation vertex to that of an articulation neighborhood, and we provide a polynomial algorithm for 3-coloring on graphs with diameter 2 that have at least one articulation neighborhood. For graphs with diameter at most 3, we establish the complexity of 3-coloring by proving for every ε∈[0,1) that 3-coloring is NP-complete on triangle-free graphs of diameter 3 and radius 2 with n vertices and minimum degree δ=Θ(nε). Moreover, assuming ETH, we use three different amplification techniques of our hardness results, in order to obtain for every ε∈[0,1) subexponential asymptotic lower bounds for the complexity of 3-coloring on triangle-free graphs with diameter 3 and minimum degree δ=Θ(nε). Finally, we provide a 3-coloring algorithm with running time 2O(min{δΔ, nδlogδ}) for arbitrary graphs with diameter 3, where n is the number of vertices and δ (resp. Δ) is the minimum (resp. maximum) degree of the input graph. To the best of our knowledge, this is the first subexponential algorithm for graphs with δ=ω(1) and for graphs with δ=O(1) and Δ=o(n). Due to the above lower bounds of the complexity of 3-coloring, the running time of this algorithm is asymptotically almost tight when the minimum degree of the input graph is δ=Θ(nε), where ε∈[12,1), as its time complexity is 2O(nδlogδ)=2O(n1−εlogn) and the corresponding lower bound states that there is no 2o(n1−ε)-time algorithm
- …