Showing 1–9 of 9 results for author: Bedert, B

Large sum-free subsets of sets of integers via $L^1$-estimates for trigonometric series

Authors: Benjamin Bedert

Abstract: A set $B$ is said to be \emph{sum-free} if there are no $x,y,z\in B$ with $x+y=z$. We show that there exists a constant $c>0$ such that any set $A$ of $n$ integers contains a sum-free subset $A'$ of size $|A'|\geqslant n/3+c\log \log n$. This answers a longstanding problem in additive combinatorics, originally due to Erdős. A set $B$ is said to be \emph{sum-free} if there are no $x,y,z\in B$ with $x+y=z$. We show that there exists a constant $c>0$ such that any set $A$ of $n$ integers contains a sum-free subset $A'$ of size $|A'|\geqslant n/3+c\log \log n$. This answers a longstanding problem in additive combinatorics, originally due to Erdős. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Comments: 37 pages

Graham's rearrangement conjecture beyond the rectification barrier

Authors: Benjamin Bedert, Noah Kravitz

Abstract: A 1971 conjecture of Graham (later repeated by Erdős and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A| \leqslant e^{(\log p)^{1/4}}$; our result improves the previous bound of $\log p/\log \log p$. One ingredient in our argument is a structure theorem involving dissociate… ▽ More A 1971 conjecture of Graham (later repeated by Erdős and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A| \leqslant e^{(\log p)^{1/4}}$; our result improves the previous bound of $\log p/\log \log p$. One ingredient in our argument is a structure theorem involving dissociated sets, which may be of independent interest. △ Less

Submitted 7 January, 2025; v1 submitted 11 September, 2024; originally announced September 2024.

Comments: Incorporates referee's suggestions

An improved lower bound for a problem of Littlewood on the zeros of cosine polynomials

Authors: Benjamin Bedert

Abstract: Let $Z(N)$ denote the minimum number of zeros in $[0,2π]$ that a cosine polynomial of the form $$f_A(t)=\sum_{n\in A}\cos nt$$ can have when $A$ is a finite set of non-negative integers of size $|A|=N$. It is an old problem of Littlewood to determine $Z(N)$. In this paper, we obtain the lower bound $Z(N)\geqslant (\log\log N)^{(1+o(1))}$ which exponentially improves on the previous best bounds of… ▽ More Let $Z(N)$ denote the minimum number of zeros in $[0,2π]$ that a cosine polynomial of the form $$f_A(t)=\sum_{n\in A}\cos nt$$ can have when $A$ is a finite set of non-negative integers of size $|A|=N$. It is an old problem of Littlewood to determine $Z(N)$. In this paper, we obtain the lower bound $Z(N)\geqslant (\log\log N)^{(1+o(1))}$ which exponentially improves on the previous best bounds of the form $Z(N)\geqslant (\log\log\log N)^c$ due to Erdélyi and Sahasrabudhe. △ Less

Submitted 7 January, 2025; v1 submitted 22 July, 2024; originally announced July 2024.

Comments: Incorporates referee's suggestions

MSC Class: 26C10; 11C08; 30C15

On the zeros of reciprocal Littlewood polynomials

Authors: Benjamin Bedert

Abstract: Let $P(z)=\sum_{n=0}^Na_nz^n$ be a Littlewood polynomial of degree $N$, meaning that $a_n\in\{\pm 1\}$. We say that $P$ is reciprocal if $P(z)=z^NP(1/z)$. Borwein, Erdélyi and Littmann posed the question of determining the minimum number $Z_{\mathcal{L}}(N)$ of zeros of modulus 1 of a reciprocal Littlewood polynomial $P$ of degree $N$. Several finite lower bounds on $Z_{\mathcal{L}}(N)$ have been… ▽ More Let $P(z)=\sum_{n=0}^Na_nz^n$ be a Littlewood polynomial of degree $N$, meaning that $a_n\in\{\pm 1\}$. We say that $P$ is reciprocal if $P(z)=z^NP(1/z)$. Borwein, Erdélyi and Littmann posed the question of determining the minimum number $Z_{\mathcal{L}}(N)$ of zeros of modulus 1 of a reciprocal Littlewood polynomial $P$ of degree $N$. Several finite lower bounds on $Z_{\mathcal{L}}(N)$ have been obtained in the literature, and it has been conjectured by various authors that $Z_{\mathcal{L}}(N)$ must in fact grow to infinity with $N$. Starting from ideas in recent breakthrough papers of Erdélyi and Sahasrabudhe, we are able to confirm this. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 28 pages

MSC Class: 11C08; 26C10; 30C15; 41A17

On unique sums in Abelian groups

Authors: Benjamin Bedert

Abstract: Let $A$ be a subset of the cyclic group $\mathbf{Z}/p\mathbf{Z}$ with $p$ prime. It is a well-studied problem to determine how small $|A|$ can be if there is no unique sum in $A+A$, meaning that for every two elements $a_1,a_2\in A$, there exist $a_1',a_2'\in A$ such that $a_1+a_2=a_1'+a_2'$ and $\{a_1,a_2\}\neq \{a_1',a_2'\}$. Let $m(p)$ be the size of a smallest subset of… ▽ More Let $A$ be a subset of the cyclic group $\mathbf{Z}/p\mathbf{Z}$ with $p$ prime. It is a well-studied problem to determine how small $|A|$ can be if there is no unique sum in $A+A$, meaning that for every two elements $a_1,a_2\in A$, there exist $a_1',a_2'\in A$ such that $a_1+a_2=a_1'+a_2'$ and $\{a_1,a_2\}\neq \{a_1',a_2'\}$. Let $m(p)$ be the size of a smallest subset of $\mathbf{Z}/p\mathbf{Z}$ with no unique sum. The previous best known bounds are $\log p \ll m(p)\ll \sqrt{p}$. In this paper we improve both the upper and lower bounds to $ω(p)\log p \leqslant m(p)\ll (\log p)^2$ for some function $ω(p)$ which tends to infinity as $p\to \infty$. In particular, this shows that for any $B\subset \mathbf{Z}/p\mathbf{Z}$ of size $|B|<ω(p)\log p$, its sumset $B+B$ contains a unique sum. We also obtain corresponding bounds on the size of the smallest subset of a general Abelian group having no unique sum. △ Less

Submitted 19 September, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

On a problem of Erdős and Sárközy about sequences with no term dividing the sum of two larger terms

Authors: Benjamin Bedert

Abstract: In 1970, Erdős and Sárközy wrote a joint paper studying sequences of integers $a_1<a_2<\dots$ having what they called property P, meaning that no $a_i$ divides the sum of two larger $a_j,a_k$. In the paper, it was stated that the authors believed, but could not prove, that a subset $A\subset[n]$ with property P has cardinality at most $|A|\leqslant \left\lfloor \frac{n}{3}\right\rfloor+1$. In 1997… ▽ More In 1970, Erdős and Sárközy wrote a joint paper studying sequences of integers $a_1<a_2<\dots$ having what they called property P, meaning that no $a_i$ divides the sum of two larger $a_j,a_k$. In the paper, it was stated that the authors believed, but could not prove, that a subset $A\subset[n]$ with property P has cardinality at most $|A|\leqslant \left\lfloor \frac{n}{3}\right\rfloor+1$. In 1997, Erdős offered \$100 for a proof or disproof of the claim that $|A|\leqslant \frac{n}{3}+C$, for some absolute constant $C$. We resolve this problem, and in fact prove that $|A|\leqslant\left\lfloor \frac{n}{3}\right\rfloor+1$ for $n$ sufficiently large. △ Less

Submitted 17 January, 2023; originally announced January 2023.

On a distinguished family of random variables and Painlevé equations

Authors: Theodoros Assiotis, Benjamin Bedert, Mustafa Alper Gunes, Arun Soor

Abstract: A family of random variables $\mathbf{X}(s)$, depending on a real parameter $s>-\frac{1}{2}$, appears in the asymptotics of the joint moments of characteristic polynomials of random unitary matrices and their derivatives, in the ergodic decomposition of the Hua-Pickrell measures and conjecturally in the asymptotics of the joint moments of Hardy's function and its derivative. Our first main result… ▽ More A family of random variables $\mathbf{X}(s)$, depending on a real parameter $s>-\frac{1}{2}$, appears in the asymptotics of the joint moments of characteristic polynomials of random unitary matrices and their derivatives, in the ergodic decomposition of the Hua-Pickrell measures and conjecturally in the asymptotics of the joint moments of Hardy's function and its derivative. Our first main result establishes a connection between the characteristic function of $\mathbf{X}(s)$ and the $σ$-Painlevé III' equation in the full range of parameter values $s>-\frac{1}{2}$. Our second main result gives the first explicit expression for the density and all the complex moments of the absolute value of $\mathbf{X}(s)$ for integer values of $s$. Finally, we establish an analogous connection to another special case of the $σ$-Painlevé III' equation for the Laplace transform of the sum of the inverse points of the Bessel point process. △ Less

Submitted 23 February, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: Improvements in exposition and a number of references added. To appear PMP

Journal ref: Prob. Math. Phys. 2 (2021) 613-642

Moments of Generalized Cauchy Random Matrices and continuous-Hahn Polynomials

Authors: Theodoros Assiotis, Benjamin Bedert, Mustafa Alper Gunes, Arun Soor

Abstract: In this paper we prove that, after an appropriate rescaling, the sum of moments $\mathbb{E}_{N}^{(s)} \left( Tr \left( |\mathbf{H}|^{2k+2}+|\mathbf{H}|^{2k}\right) \right)$ of an $N\times N$ Hermitian matrix $\mathbf{H}$ sampled according to the generalized Cauchy (also known as Hua-Pickrell) ensemble with parameter $s>0$ is a continuous-Hahn polynomial in the variable $k$. This completes the pict… ▽ More In this paper we prove that, after an appropriate rescaling, the sum of moments $\mathbb{E}_{N}^{(s)} \left( Tr \left( |\mathbf{H}|^{2k+2}+|\mathbf{H}|^{2k}\right) \right)$ of an $N\times N$ Hermitian matrix $\mathbf{H}$ sampled according to the generalized Cauchy (also known as Hua-Pickrell) ensemble with parameter $s>0$ is a continuous-Hahn polynomial in the variable $k$. This completes the picture of the investigation that began by Cunden, Mezzadri, O'Connell and Simm who obtained analogous results for the other three classical ensembles of random matrices, the Gaussian, the Laguerre and Jacobi. Our strategy of proof is somewhat different from the one employed previously due to the fact that the generalized Cauchy is the only classical ensemble which has a finite number of integer moments. Our arguments also apply, with straightforward modifications, to the Gaussian, Laguerre and Jacobi cases as well. We finally obtain a differential equation for the one-point density function of the eigenvalue distribution of this ensemble and establish the large $N$ asymptotics of the moments. △ Less

Submitted 6 May, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: Improvements in exposition and some references added. To appear in Nonlinearity

Twisting moduli for GL(2)

Authors: Benjamin Bedert, George Cooper, Thomas Oliver, Pengcheng Zhang

Abstract: We prove various converse theorems for automorphic forms on Γ_0(N), each assuming fewer twisted functional equations than the last. We show that no twisting at all is needed for holomorphic modular forms in the case that N is 18, 20, or 24 - these integers are the smallest multiples of 4 or 9 not covered by earlier work of Conrey-Farmer. This development is a consequence of finding generating sets… ▽ More We prove various converse theorems for automorphic forms on Γ_0(N), each assuming fewer twisted functional equations than the last. We show that no twisting at all is needed for holomorphic modular forms in the case that N is 18, 20, or 24 - these integers are the smallest multiples of 4 or 9 not covered by earlier work of Conrey-Farmer. This development is a consequence of finding generating sets for Γ_0(N) such that each generator can be written as a product of special matrices. As for real-analytic Maass forms of even (resp. odd) weight we prove the analogous statement for N=1,...12,16,18 (resp. N=1,...,12,14,15,16,17,18,20,23,24). △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: 17 pages, 2 tables

MSC Class: 11F66; 11M41; 11F12

Journal ref: J. Number Theory 217 (2020) 142-162