More Like this

1. Small fractional parts of binary forms

   https://doi.org/10.1093/qmath/haad024  

   Yeon, Kiseok (June 2023, The Quarterly Journal of Mathematics)

   Abstract We obtain bounds on fractional parts of binary forms of the shape $$\Psi(x,y)=\alpha_k x^k+\alpha_l x^ly^{k-l}+\alpha_{l-1}x^{l-1}y^{k-l+1}+\cdots+\alpha_0 y^k$$ with $$\alpha_k,\alpha_l,\ldots,\alpha_0\in{\mathbb R}$$ and $$l\leq k-2.$$ By exploiting recent progress on Vinogradov’s mean value theorem and earlier work on exponential sums over smooth numbers, we derive estimates superior to those obtained hitherto for the best exponent σ, depending on k and $l,$ such that $$ \min_{\substack{0\leq x,y\leq X\\(x,y)\neq (0,0)}}\|\Psi(x,y)\|\leq X^{-\sigma+\epsilon}. $$ 

   more » « less
2. THE PAUCITY PROBLEM FOR CERTAIN SYMMETRIC DIOPHANTINE EQUATIONS

   https://doi.org/10.1017/S000497272200096X  

   WOOLEY, TREVOR D. (August 2023, Bulletin of the Australian Mathematical Society)

   Abstract Let$$\varphi _1,\ldots ,\varphi _r\in {\mathbb Z}[z_1,\ldots z_k]$$be integral linear combinations of elementary symmetric polynomials with$$\text {deg}(\varphi _j)=k_j\ (1\le j\le r)$$, where$$1\le k_1<\cdots . Subject to the condition$$k_1+\cdots +k_r\ge \tfrac {1}{2}k(k-~1)+2$$, we show that there is a paucity of nondiagonal solutions to the Diophantine system$$\varphi _j({\mathbf x})=\varphi _j({\mathbf y})\ (1\le j\le r)$$. 

   more » « less
3. On ℓ p -Gaussian–Grothendieck Problem

   https://doi.org/10.1093/imrn/rnab311  

   Chen, Wei-Kuo; Sen, Arnab (November 2021, International Mathematics Research Notices)

   Abstract For $$p\geq 1$$ and $$(g_{ij})_{1\leq i,j\leq n}$$ being a matrix of i.i.d. standard Gaussian entries, we study the $$n$$-limit of the $$\ell _p$$-Gaussian–Grothendieck problem defined as $$\begin{align*} & \max\Bigl\{\sum_{i,j=1}^n g_{ij}x_ix_j: x\in \mathbb{R}^n,\sum_{i=1}^n |x_i|^p=1\Bigr\}. \end{align*}$$The case $p=2$ corresponds to the top eigenvalue of the Gaussian orthogonal ensemble; when $$p=\infty $$, the maximum value is essentially the ground state energy of the Sherrington–Kirkpatrick mean-field spin glass model and its limit can be expressed by the famous Parisi formula. In the present work, we focus on the cases $$1\leq p<2$$ and $$2<p<\infty .$$ For the former, we compute the limit of the $$\ell _p$$-Gaussian–Grothendieck problem and investigate the structure of the set of all near optimizers along with stability estimates. In the latter case, we show that this problem admits a Parisi-type variational representation and the corresponding optimizer is weakly delocalized in the sense that its entries vanish uniformly in a polynomial order of $$n^{-1}$$. 

   more » « less
4. Zeroes of polynomials on definable hypersurfaces: pathologies exist, but they are rare

   https://doi.org/10.1093/qmath/haz022  

   Basu, Saugata; Lerario, Antonio; Natarajan, Abhiram (October 2019, The Quarterly Journal of Mathematics)

   Abstract Given a sequence $$\{Z_d\}_{d\in \mathbb{N}}$$ of smooth and compact hypersurfaces in $${\mathbb{R}}^{n-1}$$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^n$$ such that each manifold $$Z_d$$ is diffeomorphic to a component of the zero set on $$\Gamma$$ of some polynomial of degree $$d$$. (This is in sharp contrast with the case when $$\Gamma$$ is semialgebraic, where for example the homological complexity of the zero set of a polynomial $$p$$ on $$\Gamma$$ is bounded by a polynomial in $$\deg (p)$$.) More precisely, given the above sequence of hypersurfaces, we construct a regular, compact, semianalytic hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^{n}$$ containing a subset $$D$$ homeomorphic to a disk, and a family of polynomials $$\{p_m\}_{m\in \mathbb{N}}$$ of degree $$\deg (p_m)=d_m$$ such that $$(D, Z(p_m)\cap D)\sim ({\mathbb{R}}^{n-1}, Z_{d_m}),$$ i.e. the zero set of $$p_m$$ in $$D$$ is isotopic to $$Z_{d_m}$$ in $${\mathbb{R}}^{n-1}$$. This says that, up to extracting subsequences, the intersection of $$\Gamma$$ with a hypersurface of degree $$d$$ can be as complicated as we want. We call these ‘pathological examples’. In particular, we show that for every $$0 \leq k \leq n-2$$ and every sequence of natural numbers $$a=\{a_d\}_{d\in \mathbb{N}}$$ there is a regular, compact semianalytic hypersurface $$\Gamma \subset {\mathbb{R}}\textrm{P}^n$$, a subsequence $$\{a_{d_m}\}_{m\in \mathbb{N}}$$ and homogeneous polynomials $$\{p_{m}\}_{m\in \mathbb{N}}$$ of degree $$\deg (p_m)=d_m$$ such that (0.1)$$\begin{equation}b_k(\Gamma\cap Z(p_m))\geq a_{d_m}.\end{equation}$$ (Here $$b_k$$ denotes the $$k$$th Betti number.) This generalizes a result of Gwoździewicz et al. [13]. On the other hand, for a given definable $$\Gamma$$ we show that the Fubini–Study measure, in the Gaussian probability space of polynomials of degree $$d$$, of the set $$\Sigma _{d_m,a, \Gamma }$$ of polynomials verifying (0.1) is positive, but there exists a constant $$c_\Gamma$$ such that $$\begin{equation*}0<{\mathbb{P}}(\Sigma_{d_m, a, \Gamma})\leq \frac{c_{\Gamma} d_m^{\frac{n-1}{2}}}{a_{d_m}}.\end{equation*}$$ This shows that the set of ‘pathological examples’ has ‘small’ measure (the faster $$a$$ grows, the smaller the measure and pathologies are therefore rare). In fact we show that given $$\Gamma$$, for most polynomials a Bézout-type bound holds for the intersection $$\Gamma \cap Z(p)$$: for every $$0\leq k\leq n-2$$ and $t>0$: $$\begin{equation*}{\mathbb{P}}\left(\{b_k(\Gamma\cap Z(p))\geq t d^{n-1} \}\right)\leq \frac{c_\Gamma}{td^{\frac{n-1}{2}}}.\end{equation*}$$ 

   more » « less
5. Uniqueness and Symmetry for the Mean Field Equation on Arbitrary Flat Tori

   https://doi.org/10.1093/imrn/rnaa109  

   Gu, Guangze; Gui, Changfeng; Hu, Yeyao; Li, Qinfeng (May 2020, International Mathematics Research Notices)

   Abstract We study the following mean field equation on a flat torus $$T:=\mathbb{C}/(\mathbb{Z}+\mathbb{Z}\tau )$$: $$\begin{equation*} \varDelta u + \rho \left(\frac{e^{u}}{\int_{T}e^u}-\frac{1}{|T|}\right)=0, \end{equation*}$$where $$ \tau \in \mathbb{C}, \mbox{Im}\ \tau>0$$, and $|T|$ denotes the total area of the torus. We first prove that the solutions are evenly symmetric about any critical point of $$u$$ provided that $$\rho \leq 8\pi $$. Based on this crucial symmetry result, we are able to establish further the uniqueness of the solution if $$\rho \leq \min{\{8\pi ,\lambda _1(T)|T|\}}$$. Furthermore, we also classify all one-dimensional solutions by showing that the level sets must be closed geodesics. 

   more » « less