If $A+A$ is small then $AAA$ is superquadratic

Oliver Roche-Newton,Ilya D. Shkredov

DOI: https://doi.org/10.48550/arXiv.1810.10842

2019-04-02

Abstract:This note proves that there exists positive constants $c_1$ and $c_2$ such that for all finite $A \subset \mathbb R$ with $|A+A| \leq |A|^{1+c_1}$ we have $|AAA| \gg |A|^{2+c_2}$.

Combinatorics

What problem does this paper attempt to address?

A better than $3/2$ exponent for iterated sums and products over $\mathbb R$

Oliver Roche-Newton

2023-04-03

Abstract:In this paper, we prove that the bound \[ \max \{ |8A-7A|,|5f(A)-4f(A)| \} \gg |A|^{\frac{3}{2} + \frac{1}{54}-o(1)} \] holds for all $A \subset \mathbb R$, and for all convex functions $f$ which satisfy an additional technical condition. This technical condition is satisfied by the logarithmic function, and this fact can be used to deduce a sum-product estimate \[ \max \{ |16A| , |A^{(16)}| \} \gg |A|^{\frac{3}{2} + c}, \] for some $c>0$. Previously, no sum-product estimate over $\mathbb R$ with exponent strictly greater than $3/2$ was known for any number of variables. Moreover, the technical condition on $f$ seems to be satisfied for most interesting cases, and we give some further applications. In particular, we show that \[ |AA| \leq K|A| \implies \,\forall d \in \mathbb R \setminus \{0 \}, \,\, |\{(a,b) \in A \times A : a-b=d \}| \ll K^C |A|^{\frac{2}{3}-c'}, \] where $c,C>0$ are absolute constants.

Combinatorics,Number Theory
Stronger sum-product inequalities for small sets

Misha Rudnev,George Shakan,Ilya Shkredov

DOI: https://doi.org/10.48550/arXiv.1808.08465

2018-09-26

Abstract:Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$. We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to $$|AA|^5 |A\pm A|^4 \gg |A|^{11-o(1)}\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A\pm A|\gg |A|^{1+\frac{2}{9}-o(1)},$$ as well as $$ |AA|^{36}|A-A|^{24} \gg |A|^{73-o(1)}. $$ The latter inequality is "threshold-breaking", for it shows for $\epsilon>0$, one has $$|AA| \le |A|^{1+\epsilon}\;\;\;\Rightarrow\;\;\; |A-A|\gg |A|^{\frac{3}{2}+c(\epsilon)},$$ with $c(\epsilon)>0$ if $\epsilon$ is sufficiently small. This implies that regardless of $\epsilon$, $$|AA-AA|\gg |A|^{\frac{3}{2}+\frac{1}{56}-o(1)}\,.$$

Combinatorics,Number Theory
Improved bounds for the Furstenberg-Sárközy theorem

Ben Green,Mehtaab Sawhney

2024-11-26

Abstract:Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-(\log N)^c}$ for any $c < \frac{1}{4}$.

Number Theory
On effective approximation to quadratic numbers

Yann Bugeaud

DOI: https://doi.org/10.32817/ams.2.6

2022-12-01

Acta mathematica Spalatensia

Abstract:Let p be a prime number and | · |p the p-adic absolute value on Q and on the p-adic field Qp normalized such that |p|p = p −1 . Let ξ be a quadratic real number and α a quadratic p-adic number. We prove that there exist positive, effectively computable, real numbers c1 = c1(ξ), τ1 = τ1(ξ), c2 = c2(α), τ2 = τ2(α), such that |yξ − x| · |y|p ≥ c1|y| −2+τ1 , for x, y ∈ Z̸=0, and |bα − a|p ≥ c2|ab| −2+τ2 , for a, b ∈ Z̸=0. Both results improve the effective lower bounds which follow from an easy Liouville-type argument.
Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions

N. A. Carella

2024-05-22

Abstract:Let $p$ be a large odd prime, let $x=(\log p)^{1+\varepsilon}$ and let $q\ll\log\log p$ be an integer, where $\varepsilon>0$ is a small number. This note proves the existence of small prime quadratic residues and prime quadratic nonresidues in the arithmetic progression $a+qm\ll x$, with relatively prime $1\leq a<q$, unconditionally. The same results are generalized to small prime $k$th power residues and nonresidues, where $k\mid p-1$ and $k\ll\log\log p$.

General Mathematics
Upper Bound of the Least Quadratic Nonresidues

N. A. Carella

2024-07-07

Abstract:Let $p\geq3$ be a large prime and let $n(p)\geq2$ denotes the least quadratic nonresidue modulo $p$. This note sharpens the standard upper bound of the least quadratic nonresidue from the unconditional upper bound $n(p)\ll p^{1/4\sqrt{e}+\varepsilon}$ to the conjectured upper bound $n(p)\ll (\log p)^{1+\varepsilon}$, where $\varepsilon>0$ is a small number, unconditionally. This improvement breaks the exponential upper bound barrier.

General Mathematics
Tight lower bound on $|A+λA|$ for algebraic integer $λ$

D. Krachun,F. Petrov

2023-11-16

Abstract:We prove an asymptotically tight lower bound on $|A+\lambda A|$ for $A\subset \mathbb{C}$ and algebraic integer $\lambda$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+\tau K$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $\tau\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.

Combinatorics
Fractional Laplacian, Levy stable distribution, and time-space models for linear and nonlinear frequency-dependent lossy media

W. Chen,S. Holm

DOI: https://doi.org/10.48550/arXiv.math-ph/0212075

2002-12-30

Abstract:The frequency-dependent attenuation typically obeys an empirical power law with an exponent ranging from 0 to 2. The standard time-domain partial differential equation models can describe merely two extreme cases of frequency independent and frequency-squared dependent attenuations. The otherwise non-zeor and non-square frequency dependency occuring in many cases of practical interest is thus often called the anomalous attenuation. In this study, we developed a linear integro-differential equation wave model for the anomalous attenuation by using the space fractional Laplacian operation, and the strategy is then extended to the nonlinear Burgers, KZK, and Westervelt equations. A new definition of the fractional Laplacian is also introduced which naturally includes the boundary conditions and has inherent regularization to ease the hyper-singularity in the conventional fractional Laplacian. Under the Szabo's smallness approximation where attenuation is assumed to be much smaller than the wave number, our linear model is found consistent with arbitrary frequency dependencies. According to the fact that the physical attenuation can be understood a statistic process, the empirical range [0,2] of the power law exponent is explained via the Levy stable distribution theory. It is noted that the power law attentuation underlies fractal microstructures of anomalously attenuative media.

Mathematical Physics,Analysis of PDEs
A New Lower Bound in the $abc$ Conjecture

Curtis Bright

DOI: https://doi.org/10.4153/S0008439523000784

2023-09-25

Abstract:We prove that there exist infinitely many coprime numbers $a$, $b$, $c$ with $a+b=c$ and $c>\operatorname{rad}(abc)\exp(6.563\sqrt{\log c}/\log\log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby providing a new lower bound on the tightest possible form of the conjecture. This builds on work of van Frankenhuysen (1999) who proved the existence of examples satisfying the above bound with the constant $6.068$ in place of $6.563$. We show that the constant $6.563$ may be replaced by $4\sqrt{2\delta/e}$ where $\delta$ is a constant such that all full-rank unimodular lattices of sufficiently large dimension $n$ contain a nonzero vector with $\ell_1$ norm at most $n/\delta$.

Number Theory,Discrete Mathematics
A Criterion for Quantum Advantage

Chaitanya Karamchedu,Matthew Fox,Daniel Gottesman

2024-11-05

Abstract:Assuming the polynomial hierarchy is infinite, we prove a sufficient condition for determining if uniform and polynomial size quantum circuits over a non-universal gate set are not efficiently classically simulable in the weak multiplicative sense. Our criterion exploits the fact that subgroups of $\mathrm{SL}(2;\mathbb{C})$ are essentially either discrete or dense in $\mathrm{SL}(2;\mathbb{C})$. Using our criterion, we give a new proof that both instantaneous quantum polynomial (IQP) circuits and conjugated Clifford circuits (CCCs) afford a quantum advantage. We also prove that both commuting CCCs and CCCs over various fragments of the Clifford group afford a quantum advantage, which settles two questions of Bouland, Fitzsimons, and Koh. Our results imply that circuits over just $(U^\dagger \otimes U^\dagger) \mathrm{CZ} (U \otimes U)$ afford a quantum advantage for almost all $U \in \mathrm{U}(2)$.

Quantum Physics,Computational Complexity
On the theorem of Davenport and generalized Dedekind sums

Bence Borda

DOI: https://doi.org/10.48550/arXiv.1606.07946

2016-06-26

Abstract:A symmetrized lattice of $2n$ points in terms of an irrational real number $\alpha$ is considered in the unit square, as in the theorem of Davenport. If $\alpha$ is a quadratic irrational, the square of the $L^2$ discrepancy is found to be $c( \alpha ) \log n + O \left( \log \log n \right)$ for a computable positive constant $c( \alpha )$. For the golden ratio $\varphi$, the value $\sqrt{c (\varphi ) \log n}$ yields the smallest $L^2$ discrepancy of any sequence of explicitly constructed finite point sets in the unit square. If the partial quotients $a_k$ of $\alpha$ grow at most polynomially fast, the $L^2$ discrepancy is found in terms of $a_k$ up to an explicitly bounded error term. It is also shown that certain generalized Dedekind sums can be approximated using the same methods. For a special generalized Dedekind sum with arguments $a, b$ an asymptotic formula in terms of the partial quotients of $\frac{a}{b}$ is proved.

Number Theory
Small doublings in abelian groups of prime power torsion

Yifan Jing,Souktik Roy

DOI: https://doi.org/10.48550/arXiv.1901.05606

2019-01-30

Abstract:Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.

Combinatorics,Number Theory
On the Computational Power of QAC0 with Barely Superlinear Ancillae

Anurag Anshu,Yangjing Dong,Fengning Ou,Penghui Yao

2024-10-31

Abstract:$\mathrm{QAC}^0$ is the family of constant-depth polynomial-size quantum circuits consisting of arbitrary single qubit unitaries and multi-qubit Toffoli gates. It was introduced by Moore [arXiv: 9903046] as a quantum counterpart of $\mathrm{AC}^0$, along with the conjecture that $\mathrm{QAC}^0$ circuits can not compute PARITY. In this work we make progress on this longstanding conjecture: we show that any depth-$d$ $\mathrm{QAC}^0$ circuit requires $n^{1+3^{-d}}$ ancillae to compute a function with approximate degree $\Theta(n)$, which includes PARITY, MAJORITY and $\mathrm{MOD}_k$. We further establish superlinear lower bounds on quantum state synthesis and quantum channel synthesis. This is the first superlinear lower bound on the super-linear sized $\mathrm{QAC}^0$. Regarding PARITY, we show that any further improvement on the size of ancillae to $n^{1+\exp(-o(d))}$ would imply that PARITY $\not\in$ QAC0. These lower bounds are derived by giving low-degree approximations to $\mathrm{QAC}^0$ circuits. We show that a depth-$d$ $\mathrm{QAC}^0$ circuit with $a$ ancillae, when applied to low-degree operators, has a degree $(n+a)^{1-3^{-d}}$ polynomial approximation in the spectral norm. This implies that the class $\mathrm{QLC}^0$, corresponding to linear size $\mathrm{QAC}^0$ circuits, has approximate degree $o(n)$. This is a quantum generalization of the result that $\mathrm{LC}^0$ circuits have approximate degree $o(n)$ by Bun, Robin, and Thaler [SODA 2019]. Our result also implies that $\mathrm{QLC}^0\neq\mathrm{NC}^1$.

Quantum Physics
On finite sets of small tripling or small alternation in arbitrary groups

Gabriel Conant

DOI: https://doi.org/10.48550/arXiv.1806.06022

2020-05-21

Abstract:We prove Bogolyubov-Ruzsa-type results for finite subsets of groups with small tripling, $|A^3|\leq O(|A|)$, or small alternation, $|AA^{\text{-}1} A|\leq O(|A|)$. As applications, we obtain a qualitative analog of Bogolyubov's Lemma for dense sets in arbitrary finite groups, as well as a quantitative arithmetic regularity lemma for sets of bounded VC-dimension in finite groups of bounded exponent. The latter result generalizes the abelian case, due to Alon, Fox, and Zhao, and gives a quantitative version of previous work of the author, Pillay, and Terry.

Combinatorics,Logic
Strongly subadditive functions

Koenraad Audenaer,Fumio Hiai,Denes Petz

DOI: https://doi.org/10.48550/arXiv.1007.4626

2010-07-27

Abstract:Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such that $P_1+P_2+P_3=I$, $P_{12}=P_1+P_2$ and $P_{23}=P_2+P_3$. There are several examples of functions f satisfying the inequality (called (SSA)) and the case of equality is described.

Functional Analysis,Quantum Physics
Freiman–Ruzsa-type Theory for Small Doubling Constant

Hansheng Diao

DOI: https://doi.org/10.1017/s0305004108001898

2009-01-01

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:AbstractIn this paper, we study the linear structure of sets A ⊂ $\mathbb{F}_2^n$ with doubling constant σ(A) < 2, where σ(A):=|A+A|/|A|. In particular, we show that A is contained in a small affine subspace. We also show that A can be covered by at most four shifts of some subspace V with |V| ≤ |A|. Finally, we classify all binary sets with small doubling constant.
Grothendieck inequalities characterize converses to the polynomial method

Jop Briët,Francisco Escudero Gutiérrez,Sander Gribling

2023-12-30

Abstract:A surprising 'converse to the polynomial method' of Aaronson et al. (CCC'16) shows that any bounded quadratic polynomial can be computed exactly in expectation by a 1-query algorithm up to a universal multiplicative factor related to the famous Grothendieck constant. Here we show that such a result does not generalize to quartic polynomials and 2-query algorithms, even when we allow for additive approximations. We also show that the additive approximation implied by their result is tight for bounded bilinear forms, which gives a new characterization of the Grothendieck constant in terms of 1-query quantum algorithms. Along the way we provide reformulations of the completely bounded norm of a form, and its dual norm.

Quantum Physics,Computational Complexity
A conjecture of S\'ark\"ozy on quadratic residues, II

Yong-Gao Chen,Ping Xi

2022-01-01

Abstract: Denote by $\mathcal{R}_p$ the set of all quadratic residues in $\mathbf{F}_p$ for each prime $p$. A conjecture of A. S\'ark\"ozy asserts, for all sufficiently large $p$, that no subsets $\mathcal{A},\mathcal{B}\subseteq\mathbf{F}_p$ with $|\mathcal{A}|,|\mathcal{B}|\geqslant2$ satisfy $\mathcal{A}+\mathcal{B}=\mathcal{R}_p$. In this paper, we show that if such subsets $\mathcal{A},\mathcal{B}$ do exist, then there are at least $(\log 2)^{-1}\sqrt p-1.6$ elements in $\mathcal{A}+\mathcal{B}$ that have unique representations and one should have \begin{align*} \frac{1}{4}\sqrt{p}< |\mathcal{A}|,|\mathcal{B}|< 2\sqrt{p}-1. \end{align*} This refines previous bounds obtained by I.E. Shparlinski, I.D. Shkredov, and Y.-G. Chen and X.-H. Yan. Moreover, we also establish bounds for $|\mathcal{A}|,|\mathcal{B}|$ and the additive energy $E(\mathcal{A},\mathcal{B})$ if few elements in $\mathcal{A}+\mathcal{B}$ have unique representations.
A Deceptively Simple Quadratic Recurrence

Steven Finch

2024-10-09

Abstract:Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$).

Number Theory,Discrete Mathematics,Combinatorics
The super approximation property of $\mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z})$

Chong Zhang

2023-12-18

Abstract:Take $S \subset \mathrm{SL}_2(\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z})\times \mathrm{SL}_2(\mathbb{Z})$ be finite symmetric and assume $S$ generates a group $G$ which is Zariski-dense in $\mathrm{SL}_2 \times \mathrm{SL}_2\times \mathrm{SL}_2(\mathbb{Z})$. This paper proves that the Cayley graphs $$ \{\mathcal{C} a y(G(\bmod q), S(\bmod q))\}_{q \in \mathbb{Z}_{+}} $$ form a family of expanders.

Group Theory,Dynamical Systems

If $A+A$ is small then $AAA$ is superquadratic

A better than $3/2$ exponent for iterated sums and products over $\mathbb R$

Stronger sum-product inequalities for small sets

Improved bounds for the Furstenberg-Sárközy theorem

On effective approximation to quadratic numbers

Small Prime $k$th Power Residues and Nonresidues in Arithmetic Progressions

Upper Bound of the Least Quadratic Nonresidues

Tight lower bound on $|A+λA|$ for algebraic integer $λ$

Fractional Laplacian, Levy stable distribution, and time-space models for linear and nonlinear frequency-dependent lossy media

A New Lower Bound in the $abc$ Conjecture

A Criterion for Quantum Advantage

On the theorem of Davenport and generalized Dedekind sums

Small doublings in abelian groups of prime power torsion

On the Computational Power of QAC0 with Barely Superlinear Ancillae

On finite sets of small tripling or small alternation in arbitrary groups

Strongly subadditive functions

Freiman–Ruzsa-type Theory for Small Doubling Constant

Grothendieck inequalities characterize converses to the polynomial method

A conjecture of S\'ark\"ozy on quadratic residues, II

A Deceptively Simple Quadratic Recurrence

The super approximation property of $\mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z}) \times \mathrm{SL}_2(\mathbb{Z}/q\mathbb{Z})$