Source author record

Péter Pál Pach

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
3topics
4close collaborators

Published work

7 publications

preprint2026arXiv

Product representations of perfect powers

Let ρk(N)ρ_k(N) denote the maximum size of a set A⊆{1,2,…,N}A\subseteq \{1,2,\dots,N\} such that no product of kk distinct elements of AA is a perfect dd-th power. In this short note, we prove that ρd(N)=∑k=1d−1π(Nk)+Od(π(N1/2))ρ_d(N)=\sum\limits_{k=1}^{d-1}π\left( \frac{N}{k} \right) +O_d(π(N^{1/2})), furthermore, for prime power dd and sufficiently large NN we have ρd(N)=∑k=1d−1π(Nk)ρ_d(N)=\sum\limits_{k=1}^{d-1}π\left( \frac{N}{k} \right). This answers a question of Verstraëte.

preprint2023arXiv

Polynomial Schur's theorem

We resolve the Ramsey problem for {x,y,z:x+y=p(z)}\{x,y,z:x+y=p(z)\} for all polynomials pp over Z\mathbb{Z}. In particular, we characterise all polynomials that are 22-Ramsey, that is, those p(z)p(z) such that any 22-colouring of N\mathbb{N} contains infinitely many monochromatic solutions for x+y=p(z)x+y=p(z). For polynomials that are not 22-Ramsey, we characterise all 22-colourings of N\mathbb{N} that are not 22-Ramsey, revealing that certain divisibility barrier is the only obstruction to 22-Ramseyness for x+y=p(z)x+y=p(z).

preprint2020arXiv

Coloring the nn-smooth numbers with nn colors

For which values of nn can we color the positive integers with precisely nn colors in such a way that for any aa, the numbers a,2a,…,naa,2a,\dots,na all get different colors? Pach posed the question around 2008-9. Particular cases appeared in KöMaL in April 2010, and the general version appeared in May 2010 on MathOverflow, posted by Pálvölgyi. The question remains open. We discuss the known partial results and investigate a series of related matters attempting to understand the structure of these nn-satisfactory colorings. Specifically, we show that there is an nn-satisfactory coloring whenever there is an abelian group operation ⊕\oplus on the set {1,2,…,n}\{1,2,\dots,n\} compatible with multiplication in the sense that whenever ii, jj and ijij are in {1,…,n}\{1,\dots,n\}, then ij=i⊕jij=i\oplus j. This includes in particular the cases where n+1n+1 is prime, or 2n+12n+1 is prime, or n=p2−pn=p^2-p for some prime pp, or there is a kk such that q=nk+1q=nk+1 is prime and 1k,…,nk1^k,\dots,n^k are all distinct modulo qq (in which case we call qq a strong representative of order nn). The colorings obtained by this process we call multiplicative. We also show that nonmultiplicative colorings exist for some values of nn. There is an nn-satisfactory coloring of Z+\mathbb Z^+ if and only if there is such a coloring of the set KnK_n of nn-smooth numbers. We identify all nn-satisfactory colorings for n≤5n\le 5 and all multiplicative colorings for n≤8n\le 8, and show that there are as many nonmultiplicative colorings of KnK_n as there are real numbers for n=6n=6 and 8. We show that if nn admits a strong representative qq then the set of such qq has positive natural density in the set of all primes. We show that the question of whether there is an nn-satisfactory coloring is equivalent to a problem about tilings, and use this to give a geometric characterization of multiplicative colorings.

preprint2020arXiv

The counting version of a problem of Erdős

A set AA of natural numbers possesses property Ph\mathcal{P}_h, if there are no distinct elements a0,a1,…,ah∈Aa_0,a_1,\dots ,a_h\in A with a0a_0 dividing the product a1a2…aha_1a_2\dots a_h. Erdős determined the maximum size of a subset of {1,…,n}\{1,\ldots, n\} possessing property P2\mathcal{P}_2. More recently, Chan, Győri and Sárközy solved the case h=3h=3, finally the general case also got resolved by Chan, the maximum size is π(n)+Θh(n2/(h+1)(log⁡n)2)π(n)+Θ_h(\frac{n^{2/(h+1)}}{(\log n)^{2}}). In this note we consider the counting version of this problem and show that the number of subsets of {1,…,n}\{1,\ldots, n\} possessing property Ph\mathcal{P}_h is T(n)⋅eΘ(n2/3/log⁡n)T(n)\cdot e^{Θ(n^{2/3}/\log n)} for a certain function T(n)≈(3.517… )π(n)T(n)\approx (3.517\dots)^{π(n)}. For h>2h>2 we prove that the number of subsets possessing property Ph\mathcal{P}_h is T(n)⋅en(1+o(1))T(n)\cdot e^{\sqrt{n}(1+o(1))}. This is a rare example in which the order of magnitude of the lower order term in the exponent is also determined.

preprint2012arXiv

A new operation on partially ordered sets

Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.

preprint2012arXiv

Reducts of the random partial order

We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides further evidence for a conjecture due to Simon Thomas which states that the number of structures definable in a homogeneous structure in a finite relational language is, up to first-order interdefinability, always finite. The method we employ is based on a Ramsey-theoretic analysis of functions acting on the random partial order, which allows us to find patterns in such functions and make them accessible to finite combinatorial arguments.

Research graph

See the researcher in context

Open full explorer

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.