arXiv++ Combinatorics

Suppose $n$ is the fundamental discriminant associated with a quadratic extension of $\mathbb{Q}$. We show that for every Diophantine $m$-tuple $ \{t_1, t_2, \ldots, t_m\} $ with the property $ D(n) $, there exists integral ideals $ \mathfrak{t}_1, \mathfrak{t}_2, \ldots, \mathfrak{t}_m $ of $ \mathbb{Q}(\sqrt{n}) $ and $c\in \{1,2\}$ such that $ t_i= c\mathcal{N}(\mathfrak{t}_i) $ for $ i=1,2, \ldots, m $. Here, $ \mathcal{N}(\cdot) $ denotes the norm map from $\mathbb{Q}(\sqrt{n})$ to $\mathbb{Q}$. Moreover, we explicitly construct the above ideals for Diophantine pairs $\{a_1, a_2\}$ whenever $\gcd(a_1, a_2) = 1$.

The Polya-Szegő inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is `smoother' in the sense of $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We study analogues on the lattice grid graph $\mathbb{Z}^2$. The spiral rearrangement is known to satisfy the Polya-Szegő inequality for $p=1$, the Wang-Wang rearrangement satisfies it for $p=\infty$ and no rearrangement can satisfy it for $p=2$. We develop a robust approach to show that both these rearrangements satisfy the Polya-Szegő inequality up to a constant for all $1 \leq p \leq \infty$. In particular, the Wang-Wang rearrangement satisfies $\| \nabla f^*\|_{L^p} \leq 2^{1/p} \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We also show the existence of (many) rearrangements on $\mathbb{Z}^d$ such that $\| \nabla f^*\|_{L^p} \leq c_d \cdot \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$.