Solutions of ϕ (n) = ϕ (n + k) and σ (n) = σ (n + k)
Abstract We show that for some even $k\leqslant 3570$ and all  $k$ with $442720643463713815200|k$, the equation $\phi (n)=\phi (n+k)$ has infinitely many solutions $n$, where $\phi$ is Euler’s totient function. We also show that for a positive proportion of all $k$, the equation $\sigma (n)=\sigma (n+k)$ has infinitely many solutions $n$. The proofs rely on recent progress on the prime $k$-tuples conjecture by Zhang, Maynard, Tao, and PolyMath.
Authors:
Award ID(s):
Publication Date:
NSF-PAR ID:
10252047
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
1. Abstract The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $X_{n/k}=E^g$ and $\tau =0$ , the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.
2. Abstract. This work measured $\mathrm{d}\sigma/\mathrm{d}\Omega$ d σ / d Ω for neutral kaon photoproduction reactions from threshold up to a c.m. energy of 1855MeV, focussing specifically on the $\gamma p\rightarrow K^0\Sigma^+$ γ p → K 0 Σ + , $\gamma n\rightarrow K^0\Lambda$ γ n → K 0 Λ , and $\gamma n\rightarrow K^0 \Sigma^0$ γ n → K 0 Σ 0 reactions. Our results for $\gamma n\rightarrow K^0 \Sigma^0$ γ n → K 0 Σ 0 are the first-ever measurements for that reaction. These data will provide insight into the properties of $N^{\ast}$ N * resonances and, in particular, will lead to an improved knowledge about those states that couple only weakly to the $\pi N$ π N channel. Integrated cross sections were extracted by fitting the differential cross sections for each reaction as a series of Legendre polynomials and our results are compared with prior experimental results and theoretical predictions.
4. In this paper, we study the mixed Littlewood conjecture with pseudo-absolute values. For any pseudo-absolute-value sequence ${\mathcal{D}}$ , we obtain a sharp criterion such that for almost every $\unicode[STIX]{x1D6FC}$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $(n,p)\in \mathbb{N}\times \mathbb{Z}$ for a certain one-parameter family of $\unicode[STIX]{x1D713}$ . Also, under a minor condition on pseudo-absolute-value sequences ${\mathcal{D}}_{1},{\mathcal{D}}_{2},\ldots ,{\mathcal{D}}_{k}$ , we obtain a sharp criterion on a general sequence $\unicode[STIX]{x1D713}(n)$ such that for almost every $\unicode[STIX]{x1D6FC}$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}_{1}}|n|_{{\mathcal{D}}_{2}}\cdots |n|_{{\mathcal{D}}_{k}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $(n,p)\in \mathbb{N}\times \mathbb{Z}$ .
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 semianalyticmore »