Source author record

Cosmin Pohoata

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.NT math.PR

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

A Halász-type theorem for permutation anticoncentration

Given a set $A=\{a_1,\ldots,a_n\}$ of real numbers and real coefficients $b_1,\ldots,b_n$ , consider the distribution of the sum obtained by pairing the $a_i$ 's with the $b_i$ 's according to a uniformly random permutation. A recent theorem of Pawlowski shows that as soon as the coefficients are not all equal, this distribution is always spread out at scale $n^{-1}$ : no single value can occur with probability larger than $\frac{1}{2\lceil n/2\rceil + 1}$ , and this bound is sharp in general. We show that stronger anticoncentration holds when the coefficients have additional diversity. We quantify the structure of the coefficient multiset by a simple statistic depending on its multiplicity profile, and prove that the maximum point mass of the permuted sum decays polynomially faster as this statistic grows. In particular, when the coefficients are all distinct we obtain a bound of $n^{-5/2+o(1)}$ , which can be regarded as an analogue of a classical theorem of Erdős and Moser.

preprint2026arXiv

Distinct permutation dot products

We show that for any two sets of reals numbers $A=\{a_1,\dots,a_n\}$ and $B=\{b_1,\dots,b_n\}$ , the sums of the form $\sum_{i=1}^n a_i\,b_{π(i)}$ always take on $Ω(n^{3})$ distinct values, as we range over all permutations $π\in S_n$ . An important ingredient is a ``supportive'' version of Halász's anticoncentration theorem from Littlewood-Offord theory, which may be of independent interest.

preprint2022arXiv

Convex polytopes from fewer points

Let $ES_{d}(n)$ be the smallest integer such that any set of $ES_{d}(n)$ points in $\mathbb{R}^{d}$ in general position contains $n$ points in convex position. In 1960, Erdős and Szekeres showed that $ES_{2}(n) \geq 2^{n-2} + 1$ holds, and famously conjectured that their construction is optimal. This was nearly settled by Suk in 2017, who showed that $ES_{2}(n) \leq 2^{n+o(n)}$ . In this paper, we prove that $ES_{d}(n) = 2^{o(n)}$ holds for all $d \geq 3$ . In particular, this establishes that, in higher dimensions, substantially fewer points are needed in order to ensure the presence of a convex polytope on $n$ vertices, compared to how many are required in the plane.

preprint2021arXiv

Norm hypergraphs

We introduce a high uniformity generalization of the so-called (projective) norm graphs of Alon, Kollár, Rónyai, and Szabó, and use it to show that $\operatorname{ex}_{d}(n,K_{s_{1},\ldots,s_{d}}^{(d)}) = Θ\left(n^{d - \frac{1}{s_{1}\ldots s_{d-1}}}\right)$ holds for all integers $s_{1},\ldots,s_{d} \geq 2$ such that $s_{d} \geq \left((d-1)(s_{1}\ldots s_{d-1}-1)\right)!+1$ . This improves upon a recent result of Ma, Yuan and Zhang, and thus settles (many) new cases of a conjecture of Mubayi.

preprint2020arXiv

Four-term progression free sets with three-term progressions in all large subsets

This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant $c$ and a set $A \subset \mathbb F_q^n$ which does not contain a four-term arithmetic progression, with the property that for every subset $A' \subset A$ with $|A'| \geq |A|^{1-c}$ , $A'$ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of $\mathbb{F}_{q}^{n}$ , which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all $ε>0$ , and all sufficiently large $N \in \mathbb N$ , there exists a four-term progression-free set $A$ of size $N$ with the property that for every subset $A' \subset A$ with $|A'| \gg \frac{1}{(\log N)^{1-ε}} \cdot N$ contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in $\mathbb{F}_{q}^{n}$ or $\mathbb{Z}$ the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".

preprint2020arXiv

Sets without $k$ -term progressions can have many shorter progressions

Let $f_{s,k}(n)$ be the maximum possible number of $s$ -term arithmetic progressions in a sequence $a_1<a_2<\ldots<a_n$ of $n$ integers which contains no $k$ -term arithmetic progression. For all integers $k > s \geq 3$ , we prove that $\lim_{n \to \infty} \frac{\log f_{s,k}(n)}{\log n} = 2,$ which answers an old question of Erdős. In fact, we prove upper and lower bounds for $f_{s,k}(n)$ which show that its growth is closely related to the bounds in Szemerédi's theorem.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Cosmin Pohoata

Research overview

Is this your work?

6 publications

A Halász-type theorem for permutation anticoncentration

Distinct permutation dot products

Convex polytopes from fewer points

Norm hypergraphs

Four-term progression free sets with three-term progressions in all large subsets

Sets without $k$ -term progressions can have many shorter progressions

See the researcher in context

Building this map preview

Cosmin Pohoata

Research overview

Is this your work?

6 publications

A Halász-type theorem for permutation anticoncentration

Distinct permutation dot products

Convex polytopes from fewer points

Norm hypergraphs

Four-term progression free sets with three-term progressions in all large subsets

Sets without kkk-term progressions can have many shorter progressions

See the researcher in context

Building this map preview

Sets without $k$ -term progressions can have many shorter progressions