相关论文: Regressive Ramsey numbers are Ackermannian

In this paper, we propose a weak regularity principle which is similar to both weak K\"onig's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then…

A method is presented in which matrix elements for some processes are calculated recursively. This recursive calculational technique is based on the method of basis spinors.

Let $n\geq\nu$, let $T$ be an $n$-vertex tree with bipartition class sizes $t_1\geq t_2$, and let $S$ be a $\nu$-vertex tree with bipartition class sizes $\tau_1\geq\tau_2$. Using four natural constructions, we show that the Ramsey number…

Matsumoto proved in arXiv:1012.0981 that the prime end rotation numbers associated to an invariant annular continuum are contained in its rotation set. An alternative proof of this fact using only simple planar topology is presented.

Recently, determining the Ramsey numbers of loose paths and cycles in uniform hypergraphs has received considerable attention. It has been shown that the $2$-color Ramsey number of a $k$-uniform loose cycle $\mathcal{C}^k_n$,…

Trees or rooted trees have been generously studied in the literature. A forest is a set of trees or rooted trees. Here we give recurrence relations between the number of some kind of rooted forest with $k$ roots and that with $k+1$ roots on…

We define recursive harmonic numbers as a generalization of harmonic numbers. The table of recursive harmonic numbers, which is like Pascal's triangle, is constructed. A formula for recursive harmonic numbers containing binomial…

The book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ joined along a common $K_k$. In the prequel to this paper, we studied the diagonal Ramsey number $r(B_n^{(k)}, B_n^{(k)})$. Here we consider the natural off-diagonal variant…

Kanade and Russell conjectured several Rogers-Ramanujan-type partition identities, some of which are related to level $2$ characters of the affine Lie algebra $A_9^{(2)}$. Many of these conjectures have been proved by Bringmann,…

The inequality \[ R(k_1,\ldots,k_r)\le 2-r+\sum_{i=1}^r R(k_1,\ldots,k_{i-1},k_i-1,k_{i+1},\ldots,k_r) \] is well known, and it is strict whenever the right-hand side and at least one of the terms in the sum are even. Except for two known…

The Carlson-Simpson lemma is a combinatorial statement occurring in the proof of the Dual Ramsey theorem. Formulated in terms of variable words, it informally asserts that given any finite coloring of the strings, there is an infinite…

We give two lower bound formulas for multicolored Ramsey numbers. These formulas improve the bounds for several small multicolored Ramsey numbers.

Two new bounds for multicolor Ramsey numbers are proved: $R(K_3,K_3,C_4,C_4)\geq 27$ and $R_4(C_4)\leq 19$.

We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness of some natural problems in linear algebra and analysis. In…

For any positive integers $k$ and $n$, let $B_n^{(k)}$ be the book graph consisting of $n$ copies of the complete graph $K_{k+1}$ sharing a common $K_k$. Let $C_m$ be a cycle of length $m$. Prior work by Allen, \L uczak, Polcyn, and Zhang…

We determine the anti-Ramsey numbers for paths. This confirms a conjecture posed by Erd\H{o}s, Simonovits and S\'{o}s in 1970s.

We prove that the number of integers in the interval [0,x] that are non-trivial Ramsey numbers r(k,n) (3 <= k <= n) has order of magnitude (x ln x)**(1/2).

We show that the Ramsey number is linear for every uniform hypergraph with bounded-degree. This is a hypergraph extension of the famous theorem for ordinary graphs which Chv\'atal et al. showed in 1983. Our proof is simple, contains the…

Ramsey quantifiers are a natural object of study not only for logic and computer science, but also for the formal semantics of natural language. Restricting attention to finite models leads to the natural question whether all Ramsey…

Gy\'arf\'as, S\'ark\"ozy and Szemer\'edi proved that the $2$-color Ramsey number $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$ of a $k$-uniform loose cycle $\mathcal{C}^k_n$ is asymptotically $\frac{1}{2}(2k-1)n,$ generating the same result for…