• ### Minimum number of additive tuples in groups of prime order(1710.01936)

March 12, 2019 math.CO
For a prime number $p$ and a sequence of integers $a_0,\dots,a_k\in \{0,1,\dots,p\}$, let $s(a_0,\dots,a_k)$ be the minimum number of $(k+1)$-tuples $(x_0,\dots,x_k)\in A_0\times\dots\times A_k$ with $x_0=x_1+\dots + x_k$, over subsets $A_0,\dots,A_k\subseteq\mathbb{Z}_p$ of sizes $a_0,\dots,a_k$ respectively. An elegant argument of Lev (independently rediscovered by Samotij and Sudakov) shows that there exists an extremal configuration with all sets $A_i$ being intervals of appropriate length, and that the same conclusion also holds for the related problem, reposed by Bajnok, when $a_0=\dots=a_k=:a$ and $A_0=\dots=A_k$, provided $k$ is not equal 1 modulo $p$. By applying basic Fourier analysis, we show for Bajnok's problem that if $p\ge 13$ and $a\in\{3,\dots,p-3\}$ are fixed while $k\equiv 1\pmod p$ tends to infinity, then the extremal configuration alternates between at least two affine non-equivalent sets.
• ### Asymptotic dimension and small subsets in locally compact topological groups(1210.6747)

Oct. 25, 2012 math.GT, math.GN, math.MG, math.GR
We prove that for a coarse space $X$ the ideal $S(X)$ of small subsets of $X$ coincides with the ideal $D_<(X)$ of subsets $A\subset X$ of asymptotic dimension $asdim(A)<asdim(X)$ provided that $X$ is coarsely equivalent to an Euclidean space $R^n$. Also we prove that for a locally compact Abelian group $X$, the equality $S(X)=D_<(X)$ holds if and only if the group $X$ is compactly generated.
• ### On character of points in the Higson corona of a metric space(1206.0626)

June 4, 2012 math.GN, math.MG
We prove that for an unbounded metric space $X$, the minimal character $m\chi(\check X)$ of a point of the Higson corona $\check X$ of $X$ is equal to $\mathfrak u$ if $X$ has asymptotically isolated balls and to $\max\{\mathfrak u,\mathfrak d\}$ otherwise. This implies that under $\mathfrak u<\mathfrak d$ a metric space $X$ of bounded geometry is coarsely equivalent to the Cantor macro-cube $2^{<\IN}$ if and only if $\dim(\check X)=0$ and $m\chi(\check X)=\mathfrak d$. This contrasts with a result of Protasov saying that under CH the coronas of any two asymptotically zero-dimensional unbounded metric separable spaces are homeomorphic.
• ### Centerpole sets for colorings of Abelian groups(1003.2588)

Dec. 2, 2010 math.CO, math.GN, math.GR
Given a topological group $G$ we calculate or evaluate the cardinal characteristic $c_k(G)$ (and $c_k^B(G)$) equal to the smallest cardinality of a $k$-centerpole subset $C\subset G$ for (Borel) colorings of $G$. A subset $C\subset G$ of a topological group $G$ is called {\em $k$-centerpole} if for each (Borel) $k$-coloring of $G$ there is an unbounded monochromatic subset $G$, which is symmetric with respect to a point $c\in C$ in the sense that $S=cS^{-1}c$.