IP set

In mathematics, an IP set is a set of natural numbers which contains all finite sums of some infinite set.

The finite sums of a set D of natural numbers are all those numbers that can be obtained by adding up the elements of some finite nonempty subset of D. The set of all finite sums over D is often denoted as FS(D). Slightly more generally, for a sequence of natural numbers (n_i), one can consider the set of finite sums FS((n_i)), consisting of the sums of all finite length subsequences of (n_i).

A set A of natural numbers is an IP set if there exists an infinite set D such that FS(D) is a subset of A. Equivalently, one may require that A contains all finite sums FS((n_i)) of a sequence (n_i).

Some authors give a slightly different definition of IP sets: They require that FS(D) equal A instead of just being a subset.

The term IP set was coined by Hillel Furstenberg and Benjamin Weiss to abbreviate "infinite-dimensional parallelepiped". Serendipitously, the abbreviation IP can also be expanded to "idempotent" (a set is an IP if and only if it is a member of an idempotent ultrafilter).

If ${\displaystyle S}$is an IP set and ${\displaystyle S=C_{1}\cup C_{2}\cup \cdots \cup C_{n}}$, then at least one ${\displaystyle C_{i}}$is an IP set. This is known as Hindman's theorem or the finite sums theorem. In different terms, Hindman's theorem states that the class of IP sets is partition regular.

Since the set of natural numbers itself is an IP set and partitions can also be seen as colorings, one can reformulate a special case of Hindman's theorem in more familiar terms: Suppose the natural numbers are "colored" with n different colors; each natural number gets one and only one color. Then there exists a color c and an infinite set D of natural numbers, all colored with c, such that every finite sum over D also has color c.

Hindman's theorem is named for mathematician Neil Hindman, who proved it in 1974. The Milliken–Taylor theorem is a common generalisation of Hindman's theorem and Ramsey's theorem.

The definition of being IP has been extended from subsets of the special semigroup of natural numbers with addition to subsets of semigroups and partial semigroups in general. A variant of Hindman's theorem is true for arbitrary semigroups.

• Ergodic Ramsey theory
• Piecewise syndetic set
• Syndetic set
• Thick set

• Bergelson, Vitaly; Knutson, Inger J. Håland; McCutcheon, Randall (2005). "Simultaneous Diophantine approximation and VIP systems". Acta Arithmetica. 116 (1). Institute of Mathematics of the Polish Academy of Sciences: 13–23. doi:10.4064/aa116-1-2. eISSN 1730-6264. ISSN 0065-1036.
• Bergelson, Vitaly (2003). "Minimal Idempotents and Ergodic Ramsey Theory". Topics in Dynamics and Ergodic Theory (PDF). London Mathematical Society Lecture Note Series. Vol. 310. Cambridge: Cambridge University Press. pp. 8–39.
• Bergelson, Vitaly; Hindman, Neil (January 2001). "Partition regular structures contained in large sets are abundant" (PDF). Journal of Combinatorial Theory. Series A. 93 (1): 18–36. doi:10.1006/jcta.2000.3061. eISSN 1096-0899. ISSN 0097-3165. Retrieved September 18, 2022.
• McLeod, Jillian (Summer 2000). "Some Notions of Size in Partial Semigroups". Topology Proceedings. 25. North Bay, Ontario: Nipissing University: 317–332. eISSN 2331-1290. ISSN 0146-4124.