1: \begin{abstract}

2: Let $G$ be a finite abelian group of exponent $m\ge 2$. For subsets $A,S\seq

3: G$, denote by $\prt_S(A)$ the number of edges from $A$ to its complement

4: $G\stm A$ in the directed Cayley graph, induced by $S$ on $G$. We show that

5: if $S$ generates $G$, and $A$ is non-empty, then

6:   $$ \textstyle \prt_S(A) \ge \frac{e}m\,|A|\ln\frac{|G|}{|A|}\, . $$

7: Here the coefficient $e=2.718\ldots$ is best possible and cannot be replaced

8: with a number larger than $e$.

9: 

10: For homocyclic groups $G$ of exponent $m$, we find an explicit closed-form

11: expression for $\prt_S(A)$ in the case where $S$ is the ``standard''

12: generating subset of $G$, and $A$ is an initial segment of $G$ with respect

13: to the lexicographic order, induced by $S$. Namely, we show that in this

14: situation

15:   $$ \prt_S(A) = |G|\,\ome_m(|A|/|G|), $$

16: where $\ome_2$ is the Takagi function, and $\ome_m$ for $m\ge3$ is an

17: appropriate generalization thereof. This particular case is of special

18: interest, since for $m\in\{2,3,4\}$ it is known to yield the smallest

19: possible value of $\prt_S(A)$, over all sets $A\seq G$ of given size. We give

20: this classical result a new proof, somewhat different from the standard one.

21: 

22: We also give a new, short proof of the Boros-P\'ales inequality

23:   $$ \textstyle

24:      \ome_2\(\frac{x+y}2\) \le \frac{\ome_2(x)+\ome_2(y)}2 + \frac12\,|y-x|, $$

25: establish an extremal characterization of the Takagi function as the

26: (pointwise) maximal function, satisfying this inequality and the boundary

27: condition $\max\{\ome_2(0),$ $\ome_2(1)\}\le 0$, and obtain similar results

28: for the $3$-adic analog $\ome_3$ of the Takagi function.

29: \end{abstract}