Search Results

A binary relation $R$ on $\mathbb{N}$ is $(n,k)$-Ramseyan iff for every coloring $f:[\mathbb{N}]^n\rightarrow l$, there exists a subset $G$ of $\mathbb{N}$ such that $(G,R)$ is isomorphic to $(\mathbb …

A collection $\mathcal{A}\subseteq \mathcal{P}(X)$ is $k$-large in $X$ if for every $k$-partition of $X$ namely $X_1,\cdots,X_k$, there exists an $i\leq k$ such that $X_i\in \mathcal{A}$; $\mathcal …

We say a matrix $(a_{ij})$ is 0-1 matrix if $a_{ij}\in \{0,1\}$ for all $i,j$. We say a matrix $(a_{ij})$ is monochromatic if for some $a$, $a_{ij} = a$ for all $i,j$. Question: Let $c\geq 1/2$ be a …

Hales-Jewett theorem ($HJ(\alpha,k,n)$) states that for every coloring $f:\alpha^N\rightarrow k$ where $N$ is sufficiently large, there is an $n$-dimensional combinatorial subspace of $\alpha^N$ that …

Let $c>0$, $0<\lambda<1$, and let $k\in \mathbb{N}$ be sufficiently large. Let $X$ be a uniformly random subset of $\{1,\cdots,N\}$. Denote by $[N]^x$ the collection of $[x]$-element subset of $\{1,\c …

Question: Let $\varepsilon>0$ and $N\in\omega$ be sufficiently large (depending on $\varepsilon$). Let $h:\subseteq N\rightarrow N$ be such that $h(B)\notin B$ for all $B\subsetneq N$. Must there be …

We wonder for two "large" sets $I,J\subseteq \omega$, if $(J-J)\cap I=\emptyset$, then it must be due to certain periodic pattern. We say $I\subseteq \omega$ is $t$-syndetic iff for every $n\in\omega$ …

Given $n$, let $\mathcal{R}$ be a set of pairs $(\rho,A)$ where $A\subseteq n, \rho\in 2^A$. Consider the following game between A and B. At each round $t$, A enumerates an $m\in n$ (that has not been …

Is there a combinatorially defined, nonempty effectively closed set $Q\subseteq 2^\omega$ such that all members of $Q$ are incomputable? Combinatorially defined means that the definition of $Q$ does …

$\DeclareMathOperator\CSS{CSS}$It is well known that for a set $A$ of integers, if $\gcd(A) = d$, then the set of (integer) linear combinations of $A$ is $d\mathbb{Z}$. I'm looking for a probability g …

Consider the following finite version Hindman theorem: For every sufficiently large $N\in\omega$ and 2-partition of $N=N_0\cup N_1$, there are $i<2,a,b,c\in N_i$ such that $a+b=c$. The only proof I kn …

Let $\mathcal{P}(\{0,\dotsc,7\})$ denote the power set of $\{0,\dotsc,7\}$. Is the following true? For any function $f: \mathcal{P}(\{0,\dotsc,7\})\rightarrow\{0,1\}$ there exists $0\leq k\leq 3$ …

The density of a set $X\subseteq\omega$ refers to: $\limsup\limits_{n\rightarrow\infty}\dfrac{C\cap n}{n}$. Given a set of positive integers $F= \{m_0<\cdots<m_{k-1}\}$, let $C\subseteq \omega$ be s …

For two sets of numbers $A,B$, write $A<B$ iff $\max A<\min B$. For a sequence of integers $a_0,\cdots,a_{n-1}>0$, let $Prop(a_0,\cdots,a_{n-1})$ denote the following proposition: Given $n$ sets of i …

Let $A_w$ denote such set of positive integer $n$ that: for any two permutations $\pi_0,\pi_1\in S_n$, if $\pi_1$ is not a power of $\pi_0$, then there exists a (labeled non oriented) graph $G$ of siz …