-
Product representation of perfect cubes
Authors:
Zsigmond György Fleiner,
Márk Hunor Juhász,
Blanka Kövér,
Péter Pál Pach,
Csaba Sándor
Abstract:
Let $F_{k,d}(n)$ be the maximal size of a set ${A}\subseteq [n]$ such that the equation \[a_1a_2\dots a_k=x^d, \; a_1<a_2<\ldots<a_k\] has no solution with $a_1,a_2,\ldots,a_k\in {A}$ and integer $x$. Erdős, Sárközy and T. Sós studied $F_{k,2}$, and gave bounds when $k=2,3,4,6$ and also in the general case. We study the problem for $d=3$, and provide bounds for $k=2,3,4,6$ and $9$, furthermore, in…
▽ More
Let $F_{k,d}(n)$ be the maximal size of a set ${A}\subseteq [n]$ such that the equation \[a_1a_2\dots a_k=x^d, \; a_1<a_2<\ldots<a_k\] has no solution with $a_1,a_2,\ldots,a_k\in {A}$ and integer $x$. Erdős, Sárközy and T. Sós studied $F_{k,2}$, and gave bounds when $k=2,3,4,6$ and also in the general case. We study the problem for $d=3$, and provide bounds for $k=2,3,4,6$ and $9$, furthermore, in the general case, as well. In particular, we refute an 18 years old conjecture of Verstraëte.
We also introduce another function $f_{k,d}$ closely related to $F_{k,d}$: While the original problem requires $a_1, \ldots , a_k$ to all be distinct, we can relax this and only require that the multiset of the $a_i$'s cannot be partitioned into $d$-tuples where each $d$-tuple consists of $d$ copies of the same number.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Optimal bounds on the polynomial Schur's theorem
Authors:
Jaehoon Kim,
Hong Liu,
Péter Pál Pach
Abstract:
Liu, Pach and Sándor recently characterized all polynomials $p(z)$ such that the equation $x+y=p(z)$ is $2$-Ramsey, that is, any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. In this paper, we find asymptotically tight bounds for the following two quantitative questions.
$\bullet$ For $n\in \mathbb{N}$, what is the longest interval $[n,f(n)]$ of na…
▽ More
Liu, Pach and Sándor recently characterized all polynomials $p(z)$ such that the equation $x+y=p(z)$ is $2$-Ramsey, that is, any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. In this paper, we find asymptotically tight bounds for the following two quantitative questions.
$\bullet$ For $n\in \mathbb{N}$, what is the longest interval $[n,f(n)]$ of natural numbers which admits a $2$-coloring with no monochromatic solutions of $x+y=p(z)$?
$\bullet$ For $n\in \mathbb{N}$ and a $2$-coloring of the first $n$ integers $[n]$, what is the smallest possible number $g(n)$ of monochromatic solutions of $x+y=p(z)$?
Our theorems determine $f(n)$ up to a multiplicative constant $2+o(1)$, and determine the asymptotics for $g(n)$.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Maximal line-free sets in $\mathbb{F}_p^n$
Authors:
Christian Elsholtz,
Jakob Führer,
Erik Füredi,
Benedek Kovács,
Péter Pál Pach,
Dániel Gábor Simon,
Nóra Velich
Abstract:
We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements.
In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known t…
▽ More
We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements.
In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known that equality holds for $n\in\{1,2\}$. We will however show that $r_p(\mathbb{F}_p^3)\geq (p-1)^3+p-2\sqrt{p}$, which is the first improvement in the three dimensional case that is increasing in $p$.
We will also give the upper bound $r_p(\mathbb{F}_p^{3})\leq p^3-2p^2-(\sqrt{2}-1)p+2$ as well as generalizations for higher dimensions.
Finally we present some bounds for individual $p$ and $n$, in particular $r_5(\mathbb{F}_5^{3})\geq 70$ and $r_7(\mathbb{F}_7^{3})\geq 225$ which can be used to give the asymptotic lower bound $4.121^n$ for $r_5(\mathbb{F}_5^{n})$ and $6.082^n$ for $r_7(\mathbb{F}_7^{n})$.
△ Less
Submitted 7 May, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
On sumsets of nonbases of maximum size
Authors:
Bela Bajnok,
Peter Pal Pach
Abstract:
Let $G$ be a finite abelian group. A nonempty subset $A$ in $G$ is called a basis of order $h$ if $hA=G$; when $hA \neq G$, it is called a nonbasis of order $h$. Our interest is in all possible sizes of $hA$ when $A$ is a nonbasis of order $h$ in $G$ of maximum size; we provide the complete answer when $h=2$ or $h=3$.
Let $G$ be a finite abelian group. A nonempty subset $A$ in $G$ is called a basis of order $h$ if $hA=G$; when $hA \neq G$, it is called a nonbasis of order $h$. Our interest is in all possible sizes of $hA$ when $A$ is a nonbasis of order $h$ in $G$ of maximum size; we provide the complete answer when $h=2$ or $h=3$.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Towards characterizing the 2-Ramsey equations of the form $ax+by=p(z)$
Authors:
Zsolt Baja,
Dániel Dobák,
Benedek Kovács,
Péter Pál Pach,
Donát Pigler
Abstract:
In this paper, we study a Ramsey-type problem for equations of the form $ax+by=p(z)$. We show that if certain technical assumptions hold, then any 2-colouring of the positive integers admits infinitely many monochromatic solutions to the equation $ax+by=p(z)$. This entails the $2$-Ramseyness of several notable cases such as the equation $ax+y=z^n$ for arbitrary $a\in\mathbb{Z}^{+}$ and $n\ge 2$, a…
▽ More
In this paper, we study a Ramsey-type problem for equations of the form $ax+by=p(z)$. We show that if certain technical assumptions hold, then any 2-colouring of the positive integers admits infinitely many monochromatic solutions to the equation $ax+by=p(z)$. This entails the $2$-Ramseyness of several notable cases such as the equation $ax+y=z^n$ for arbitrary $a\in\mathbb{Z}^{+}$ and $n\ge 2$, and also of $ax+by=a_Dz^D+\dots+a_1z\in\mathbb{Z}[z]$ such that $\text{gcd}(a,b)=1$, $D\ge 2$, $a,b,a_D>0$ and $a_1\neq0$.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Irredundant hyperplane covers
Authors:
János Nagy,
Péter Pál Pach,
István Tomon
Abstract:
We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the $O(\cdot)$ notation, and it resolves conjectures of Pyber (1996) and Szegedy (2007).
We further show that if $G$ is an elementary $p$-group for some large prime…
▽ More
We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the $O(\cdot)$ notation, and it resolves conjectures of Pyber (1996) and Szegedy (2007).
We further show that if $G$ is an elementary $p$-group for some large prime $p$, and $H_1,\dots,H_k$ is a sequence of hyperplanes with many repetitions, then the bound above can be improved. As a consequence, we establish a substantial strengthening of the recently solved Alon-Jaeger-Tarsi conjecture: there exists $α>0$ such that for every invertible matrix $M\in\mathbb{F}_p^{n\times n}$ and any set of at most $p^α$ forbidden coordinates, one can find a vector $x\in\mathbb{F}_p^{n}$ such that neither $x$ nor $Mx$ have a forbidden coordinate.
△ Less
Submitted 31 October, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Additive bases, coset covers, and non-vanishing linear maps
Authors:
János Nagy,
Péter Pál Pach,
István Tomon
Abstract:
Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures.
We prove the weak Additive Basis conjecture proposed by Szegedy, making a significant step towards the Additive Basis conjecture of Jaeger, Linial, Payan, and Tarsi. In fact, we prove it in a strong form: there…
▽ More
Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures.
We prove the weak Additive Basis conjecture proposed by Szegedy, making a significant step towards the Additive Basis conjecture of Jaeger, Linial, Payan, and Tarsi. In fact, we prove it in a strong form: there exists a set $A\subset\mathbb{F}_p^*$ of size $O(\log p)$ such that if $B\subset\mathbb{F}_p^{n}$ is the union of $p$ linear bases, then $A\cdot B=\{a\cdot v:a\in A, v\in B\}$ is an additive basis.
An old result of Tomkinson states that if $G$ is a group, and $\{H_{i}x_{i}:i\in [k]\}$ is an irredundant coset cover of $G$, then $|G:\bigcap_{i\in [k]} H_{i}|\leq k!,$ and this bound is the best possible. It is a longstanding open problem whether the upper bound can be improved to $e^{O(k)}$ in case we restrict cosets to subgroups. Pyber proposed to study this question for abelian groups. We show that somewhat surprisingly, if $G$ is abelian, the upper bound can be improved to $e^{O(k\log \log k)}$ already in the case of general coset covers, making the first substantial improvement over the $k!$ bound.
Finally, we prove a natural generalization of the Alon-Jaeger-Tarsi conjecture for multiple matrices.
△ Less
Submitted 26 November, 2021;
originally announced November 2021.
-
The Alon-Jaeger-Tarsi conjecture via group ring identities
Authors:
János Nagy,
Péter Pál Pach
Abstract:
In this paper we resolve the Alon-Jaeger-Tarsi conjecture for sufficiently large primes. Namely, we show that for any finite field $\mathbb{F}$ of size $61<|\mathbb F|\ne 79$ and any nonsingular matrix $M$ over $\mathbb{F}$ there exists a vector $x$ such that neither $x$ nor $Ax$ has a 0 component.
In this paper we resolve the Alon-Jaeger-Tarsi conjecture for sufficiently large primes. Namely, we show that for any finite field $\mathbb{F}$ of size $61<|\mathbb F|\ne 79$ and any nonsingular matrix $M$ over $\mathbb{F}$ there exists a vector $x$ such that neither $x$ nor $Ax$ has a 0 component.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Sum-full sets are not zero-sum-free
Authors:
Vsevolod F. Lev,
Janos Nagy,
Peter Pal Pach
Abstract:
Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.
Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.
△ Less
Submitted 18 May, 2021; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Avoiding right angles and certain Hamming distances
Authors:
Balázs Bursics,
Dávid Matolcsi,
Péter Pál Pach,
Jakab Schrettner
Abstract:
In this paper we show that the largest possible size of a subset of $\mathbb{F}_q^n$ avoiding right angles, that is, distinct vectors $x,y,z$ such that $x-z$ and $y-z$ are perpendicular to each other is at most $O(n^{q-2})$. This improves on the previously best known bound due to Naslund \cite{Naslund} and refutes a conjecture of Ge and Shangguan \cite{Ge}. A lower bound of $n^{q/3}$ is also prese…
▽ More
In this paper we show that the largest possible size of a subset of $\mathbb{F}_q^n$ avoiding right angles, that is, distinct vectors $x,y,z$ such that $x-z$ and $y-z$ are perpendicular to each other is at most $O(n^{q-2})$. This improves on the previously best known bound due to Naslund \cite{Naslund} and refutes a conjecture of Ge and Shangguan \cite{Ge}. A lower bound of $n^{q/3}$ is also presented.
It is also shown that a subset of $\mathbb{F}_q^n$ avoiding triangles with all right angles can have size at most $O(n^{2q-2})$. Furthermore, asymptotically tight bounds are given for the largest possible size of a subset $A\subseteq \mathbb{F}_q^n$ for which $x-y$ is not self-orthogonal for any distinct $x,y\in A$. The exact answer is determined for $q=3$ and $n\equiv 2\pmod {3}$.
Our methods can also be used to bound the maximum possible size of a binary code where no two codewords have Hamming distance divisible by a fixed prime $q$. Our lower- and upper bounds are asymptotically tight and both are sharp in infinitely many cases.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
Sets avoiding six-term arithmetic progressions in $\mathbb{Z}_6^n$ are exponentially small
Authors:
Péter Pál Pach,
Richárd Palincza
Abstract:
We show that sets avoiding 6-term arithmetic progressions in $\mathbb{Z}_6^n$ have size at most $5.709^n$. It is also pointed out that the "product construction" does not work in this setting, specially, we show that for the extremal sizes in small dimensions we have $r_6(\mathbb{Z}_6)=5$, $r_6(\mathbb{Z}_6^2)=25$ and $ 116\leq r_6(\mathbb{Z}_6^3)\leq 124$.
We show that sets avoiding 6-term arithmetic progressions in $\mathbb{Z}_6^n$ have size at most $5.709^n$. It is also pointed out that the "product construction" does not work in this setting, specially, we show that for the extremal sizes in small dimensions we have $r_6(\mathbb{Z}_6)=5$, $r_6(\mathbb{Z}_6^2)=25$ and $ 116\leq r_6(\mathbb{Z}_6^3)\leq 124$.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
The counting version of a problem of Erdős
Authors:
Péter Pál Pach,
Richárd Palincza
Abstract:
A set $A$ of natural numbers possesses property $\mathcal{P}_h$, if there are no distinct elements $a_0,a_1,\dots ,a_h\in A$ with $a_0$ dividing the product $a_1a_2\dots a_h$. Erdős determined the maximum size of a subset of $\{1,\ldots, n\}$ possessing property $\mathcal{P}_2$. More recently, Chan, Győri and Sárközy solved the case $h=3$, finally the general case also got resolved by Chan, the ma…
▽ More
A set $A$ of natural numbers possesses property $\mathcal{P}_h$, if there are no distinct elements $a_0,a_1,\dots ,a_h\in A$ with $a_0$ dividing the product $a_1a_2\dots a_h$. Erdős determined the maximum size of a subset of $\{1,\ldots, n\}$ possessing property $\mathcal{P}_2$. More recently, Chan, Győri and Sárközy solved the case $h=3$, finally the general case also got resolved by Chan, the maximum size is $π(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,\ldots, n\}$ possessing property $\mathcal{P}_h$ is $T(n)\cdot e^{Θ(n^{2/3}/\log n)}$ for a certain function $T(n)\approx (3.517\dots)^{π(n)}$. For $h>2$ we prove that the number of subsets possessing property $\mathcal{P}_h$ is $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.
△ Less
Submitted 15 September, 2020; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Caps and progression-free sets in $\mathbb{Z}_m^n$
Authors:
Christian Elsholtz,
Péter Pál Pach
Abstract:
We study progression-free sets in the abelian groups $G=(\mathbb{Z}_m^n,+)$. Let $r_k(\mathbb{Z}_m^n)$ denote the maximal size of a set $S \subset \mathbb{Z}_m^n$ that does not contain a proper arithmetic progression of length $k$. We give lower bound constructions, which e.g. include that $r_3(\mathbb{Z}_m^n) \geq C_m \frac{((m+2)/2)^n}{\sqrt{n}}$, when $m$ is even. When $m=4$ this is of order at…
▽ More
We study progression-free sets in the abelian groups $G=(\mathbb{Z}_m^n,+)$. Let $r_k(\mathbb{Z}_m^n)$ denote the maximal size of a set $S \subset \mathbb{Z}_m^n$ that does not contain a proper arithmetic progression of length $k$. We give lower bound constructions, which e.g. include that $r_3(\mathbb{Z}_m^n) \geq C_m \frac{((m+2)/2)^n}{\sqrt{n}}$, when $m$ is even. When $m=4$ this is of order at least $3^n/\sqrt{n}\gg \vert G \vert^{0.7924}$. Moreover, if the progression-free set $S\subset \mathbb{Z}_4^n$ satisfies a technical condition, which dominates the problem at least in low dimension, then $|S|\leq 3^n$ holds.
We present a number of new methods which cover lower bounds for several infinite families of parameters $m,k,n$, which includes for example: $r_6(\mathbb{Z}_{125}^n) \geq (85-o(1))^n$.
For $r_3(\mathbb{Z}_4^n)$ we determine the exact values, when $n \leq 5$, e.g. $r_3(\mathbb{Z}_4^5)=124$, and for $r_4(\mathbb{Z}_4^n)$ we determine the exact values, when $n \leq 4$, e.g. $r_4(\mathbb{Z}_4^4)=128$.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
On the density of sumsets and product sets
Authors:
Norbert Hegyvári,
François Hennecart,
Péter Pál Pach
Abstract:
In this paper some links between the density of a set of integers and the density of its sumset, product set and set of subset sums are presented.
In this paper some links between the density of a set of integers and the density of its sumset, product set and set of subset sums are presented.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
Coloring the $n$-smooth numbers with $n$ colors
Authors:
Andrés Eduardo Caicedo,
Thomas A. C. Chartier,
Péter Pál Pach
Abstract:
For which values of $n$ can we color the positive integers with precisely $n$ colors in such a way that for any $a$, the numbers $a,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 r…
▽ More
For which values of $n$ can we color the positive integers with precisely $n$ colors in such a way that for any $a$, the numbers $a,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 $n$-satisfactory colorings.
Specifically, we show that there is an $n$-satisfactory coloring whenever there is an abelian group operation $\oplus$ on the set $\{1,2,\dots,n\}$ compatible with multiplication in the sense that whenever $i$, $j$ and $ij$ are in $\{1,\dots,n\}$, then $ij=i\oplus j$. This includes in particular the cases where $n+1$ is prime, or $2n+1$ is prime, or $n=p^2-p$ for some prime $p$, or there is a $k$ such that $q=nk+1$ is prime and $1^k,\dots,n^k$ are all distinct modulo $q$ (in which case we call $q$ a strong representative of order $n$). The colorings obtained by this process we call multiplicative. We also show that nonmultiplicative colorings exist for some values of $n$.
There is an $n$-satisfactory coloring of $\mathbb Z^+$ if and only if there is such a coloring of the set $K_n$ of $n$-smooth numbers. We identify all $n$-satisfactory colorings for $n\le 5$ and all multiplicative colorings for $n\le 8$, and show that there are as many nonmultiplicative colorings of $K_n$ as there are real numbers for $n=6$ and 8. We show that if $n$ admits a strong representative $q$ then the set of such $q$ has positive natural density in the set of all primes.
We show that the question of whether there is an $n$-satisfactory coloring is equivalent to a problem about tilings, and use this to give a geometric characterization of multiplicative colorings.
△ Less
Submitted 23 July, 2020; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Polynomial Schur's theorem
Authors:
Hong Liu,
Péter Pál Pach,
Csaba Sándor
Abstract:
We resolve the Ramsey problem for $\{x,y,z:x+y=p(z)\}$ for all polynomials $p$ over $\mathbb{Z}$. In particular, we characterise all polynomials that are $2$-Ramsey, that is, those $p(z)$ such that any $2$-colouring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. For polynomials that are not $2$-Ramsey, we characterise all $2$-colourings of $\mathbb{N}$ that are no…
▽ More
We resolve the Ramsey problem for $\{x,y,z:x+y=p(z)\}$ for all polynomials $p$ over $\mathbb{Z}$. In particular, we characterise all polynomials that are $2$-Ramsey, that is, those $p(z)$ such that any $2$-colouring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. For polynomials that are not $2$-Ramsey, we characterise all $2$-colourings of $\mathbb{N}$ that are not $2$-Ramsey, revealing that certain divisibility barrier is the only obstruction to $2$-Ramseyness for $x+y=p(z)$.
△ Less
Submitted 7 January, 2023; v1 submitted 13 November, 2018;
originally announced November 2018.
-
The number of multiplicative Sidon sets of integers
Authors:
Hong Liu,
Péter Pál Pach
Abstract:
A set $S$ of natural numbers is multiplicative Sidon if the products of all pairs in $S$ are distinct. Erdős in 1938 studied the maximum size of a multiplicative Sidon subset of $\{1,\ldots, n\}$, which was later determined up to the lower order term: $π(n)+Θ(\frac{n^{3/4}}{(\log n)^{3/2}})$. We show that the number of multiplicative Sidon subsets of $\{1,\ldots, n\}$ is…
▽ More
A set $S$ of natural numbers is multiplicative Sidon if the products of all pairs in $S$ are distinct. Erdős in 1938 studied the maximum size of a multiplicative Sidon subset of $\{1,\ldots, n\}$, which was later determined up to the lower order term: $π(n)+Θ(\frac{n^{3/4}}{(\log n)^{3/2}})$. We show that the number of multiplicative Sidon subsets of $\{1,\ldots, n\}$ is $T(n)\cdot 2^{Θ(\frac{n^{3/4}}{(\log n)^{3/2}})}$ for a certain function $T(n)\approx 2^{1.815π(n)}$ which we specify. This is a rare example in which the order of magnitude of the lower order term in the exponent is determined. It resolves the enumeration problem for multiplicative Sidon sets initiated by Cameron and Erdős in the 80s.
We also investigate its extension for generalised multiplicative Sidon sets. Denote by $S_k$, $k\ge 2$, the number of multiplicative $k$-Sidon subsets of $\{1,\ldots, n\}$. We show that $S_k(n)=(β_k+o(1))^{π(n)}$ for some $β_k$ we define explicitly. Our proof is elementary.
△ Less
Submitted 19 August, 2018;
originally announced August 2018.
-
The number of maximum primitive sets of integers
Authors:
Hong Liu,
Péter Pál Pach,
Richárd Palincza
Abstract:
A set of integers is \emph{primitive} if it does not contain an element dividing another. Denote by $f(n)$ the number of maximum-size primitive subsets of $\{1,\ldots, 2n\}$. We prove that the limit $α=\lim_{n\rightarrow \infty}f(n)^{1/n}$ exists. Furthermore, we present an algorithm approximating $α$ with $(1+\varepsilon)$ multiplicative error in $N(\varepsilon)$ steps, showing in particular that…
▽ More
A set of integers is \emph{primitive} if it does not contain an element dividing another. Denote by $f(n)$ the number of maximum-size primitive subsets of $\{1,\ldots, 2n\}$. We prove that the limit $α=\lim_{n\rightarrow \infty}f(n)^{1/n}$ exists. Furthermore, we present an algorithm approximating $α$ with $(1+\varepsilon)$ multiplicative error in $N(\varepsilon)$ steps, showing in particular that $α\approx 1.318$. Our algorithm can be adapted to estimate also the number of all primitive sets in $\{1,\ldots, n\}$.
We address another related problem of Cameron and Erdős. They showed that the number of sets containing pairwise coprime integers in $\{1,\ldots, n\}$ is between $2^{π(n)}\cdot e^{(\frac{1}{2}+o(1))\sqrt{n}}$ and $2^{π(n)}\cdot e^{(2+o(1))\sqrt{n}}$. We show that neither of these bounds is tight: there are in fact $2^{π(n)}\cdot e^{(1+o(1))\sqrt{n}}$ such sets.
△ Less
Submitted 26 June, 2018; v1 submitted 16 May, 2018;
originally announced May 2018.
-
Monochromatic solutions to $x+y=z^2$ in the interval $[N,cN^4]$
Authors:
Péter Pál Pach
Abstract:
Green and Lindqvist proved that for any 2-colouring of $\mathbb{N}$, there are in\-fi\-ni\-tely many monochromatic solutions to $x+y=z^2$. In fact, they showed the existence of a monochromatic solution in every interval $[N,cN^8]$ with large enough $N$. In this short note we give a different proof for their theorem and prove that a monochromatic solution exists in every interval $[N,10^4N^4]$ with…
▽ More
Green and Lindqvist proved that for any 2-colouring of $\mathbb{N}$, there are in\-fi\-ni\-tely many monochromatic solutions to $x+y=z^2$. In fact, they showed the existence of a monochromatic solution in every interval $[N,cN^8]$ with large enough $N$. In this short note we give a different proof for their theorem and prove that a monochromatic solution exists in every interval $[N,10^4N^4]$ with large enough $N$. A 2-colouring of $[N,(1/27)N^4]$ avoiding monochromatic solutions to $x+y=z^2$ is also presented, which shows that in $10^4N^4$ only the constant factor can be reduced.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
The step Sidorenko property and non-norming edge-transitive graphs
Authors:
Daniel Král',
Taísa Martins,
Péter Pál Pach,
Marcin Wrochna
Abstract:
Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidore…
▽ More
Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidorenko property. We show that many bipartite graphs fail to have the step Sidorenko property and use our results to show the existence of a bipartite edge-transitive graph that is not weakly norming; this answers a question of Hatami [Israel J. Math. 175 (2010), 125-150].
△ Less
Submitted 6 December, 2019; v1 submitted 14 February, 2018;
originally announced February 2018.
-
An improved upper bound for the size of the multiplicative 3-Sidon sets
Authors:
Péter Pál Pach
Abstract:
We say that a set is a multiplicative 3-Sidon set if the equation $s_1s_2s_3=t_1t_2t_3$ does not have a solution consisting of distinct elements taken from this set. In this paper we show that the size of a multiplicative 3-Sidon subset of $\{1,2,\dots,n\}$ is at most $π(n)+π(n/2)+n^{2/3}(\log n )^{2^{1/3}-1/3+o(1)}$, which improves the previously known best bound…
▽ More
We say that a set is a multiplicative 3-Sidon set if the equation $s_1s_2s_3=t_1t_2t_3$ does not have a solution consisting of distinct elements taken from this set. In this paper we show that the size of a multiplicative 3-Sidon subset of $\{1,2,\dots,n\}$ is at most $π(n)+π(n/2)+n^{2/3}(\log n )^{2^{1/3}-1/3+o(1)}$, which improves the previously known best bound $π(n)+π(n/2)+cn^{2/3}\log n/\log\log n$.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
On infinite multiplicative Sidon sets
Authors:
Péter Pál Pach,
Csaba Sándor
Abstract:
We prove that if $A$ is an infinite multiplicative Sidon set, then $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}<\infty$ and construct an infinite multiplicative Sidon set satisfying $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}>0$.
We prove that if $A$ is an infinite multiplicative Sidon set, then $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}<\infty$ and construct an infinite multiplicative Sidon set satisfying $\liminf\limits_{n\to \infty}\frac{|A(n)|-π(n)}{\frac{n^{3/4}}{(\log n)^3}}>0$.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
Multiplicative bases and an Erdős problem
Authors:
Péter Pál Pach,
Csaba Sándor
Abstract:
In this paper we investigate how small the density of a multiplicative basis of order $h$ can be in $\{1,2,\dots,n\}$ and in $\mathbb{Z}^+$. Furthermore, a related problem of Erd\H os is also studied: How dense can a set of integers be, if none of them divides the product of $h$ others?
In this paper we investigate how small the density of a multiplicative basis of order $h$ can be in $\{1,2,\dots,n\}$ and in $\mathbb{Z}^+$. Furthermore, a related problem of Erd\H os is also studied: How dense can a set of integers be, if none of them divides the product of $h$ others?
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
-
A new operation on partially ordered sets
Authors:
Péter Pál Pach,
Michael Pinsker,
András Pongrácz,
Csaba Szabó
Abstract:
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 counterpa…
▽ More
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.
△ Less
Submitted 23 October, 2012; v1 submitted 16 August, 2012;
originally announced August 2012.
-
Reducts of the random partial order
Authors:
Péter Pál Pach,
Michael Pinsker,
Gabriella Pluhár,
András Pongrácz,
Csaba Szabó
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 29 April, 2012; v1 submitted 30 November, 2011;
originally announced November 2011.