Changing the measure

Roth’s function g(n) is defined as the largest size of a subset of \lbrace 1,2, \ldots ,n \rbrace without arithmetic progressions. We may “force” the arithmetic progressions into the measure, and instead of taking the usual measure \mu(A)=|A| we may consider \nu(A)=|A|-\begin{displaystyle}\sum_{T\in{\cal T}}c_T1_{T \subseteq A}\end{displaystyle} where \cal T denotes the set of all AP’s in \lbrace 1,2, \ldots ,n \rbrace and 1_{T \subseteq A} equals 1 if T \subseteq A, 0 otherwise, and the c_T are constants. The advantage of doing this is that we now have an optimization problem on all subsets of \lbrace 1,2, \ldots ,n \rbrace instead of the subsets without APs.
For example, we may take all the c_T‘s equal to 1, but the extremal subsets (those which maximize \nu) do not appear to exhibit a very interesting structure. Perhaps there are better choices for the c_T constants.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: