Related papers: A note on the geometry of figurate numbers

We prove sharp $\ell^q L^p$ decoupling inequalities for $p,q \in [2,\infty)$ and arbitrary tuples of quadratic forms. Connections to prior results on decoupling inequalities for quadratic forms are also explained. We also include some…

Let V be a plane smooth cubic curve over a finitely generated field k. The Mordell-Weil theorem for V states that there is a finite subset P \subset V(k) such that the whole V(k) can be obtained from P by drawing secants and tangents…

For all nonnegative integers n, the Franel numbers are defined as $$ f_n=\sum_{k=0}^n {n\choose k}^3.$$ We confirm two conjectures of Z.-W. Sun on congruences for Franel numbers: \sum_{k=0}^{n-1}(3k+2)(-1)^k f_k &\equiv 0 \pmod{2n^2},…

Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $\Delta_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of…

The coefficients of the generating function $(q;q)^\alpha_\infty$ produce $p_\alpha(n)$ for $\alpha \in \mathbb{Q}$. In particular, when $\alpha = -1$, the partition function is obtained. Recently, Chan and Wang identified and proved…

We describe the image of general families of two-dimensional representations over compact semi-local rings. Applying this description to the family carried by the universal Hecke algebra acting on the space of modular forms of level $N$…

Let $E$ be an elliptic curve over the finite field $\mathbb{F}_p$, and $P \in E(\mathbb{F}_p)$ be an $\mathbb{F}_p$-rational point. We obtain nontrivial estimates for multiplicative character sums associated with the division polynomials…

Let $\boldsymbol{\alpha}\in \mathbb{R}^N$ and $Q\geq 1$. We consider the sum $\sum_{\boldsymbol{q}\in [-Q,Q]^N\cap\mathbb{Z}^N\backslash\{\boldsymbol{0}\}}\|\boldsymbol{\alpha}\cdot\boldsymbol{q}\|^{-1}$. Sharp upper bounds are known when…

By using the Calkin-Wilf tree, we prove the irrationality of numbers of the form $\alpha=\frac{\sqrt{N}+p}{q}$ where $N$ is a positive integer which is not a perfect square, $p$ is a rational integer such that $p^2<N$ and $q$ is a positive…

The Segal conjecture describes stable maps between classifying spaces in terms of (virtual) bisets for the finite groups in question. Along these lines, we give an algebraic formula for the p-completion functor applied to stable maps…

Let $f$ be a holomorphic or Maass cusp forms for $ \rm SL_2(\mathbb{Z})$ with normalized Fourier coefficients $\lambda_f(n)$ and \bna r_{\ell}(n)=\#\left\{(n_1,\cdots,n_{\ell})\in \mathbb{Z}^2:n_1^2+\cdots+n_{\ell}^2=n\right\}. \ena Let…

We visualize the identity p(n) = sum s(k) p(n-k)/n for the integer partition function p(n) involving the divisor function s, add comments on the history of visualizations of numbers, illustrate how different mathematical fields play…

Let z_0,...,z_n be the (n-1)-dimensional volumes of facets of an n-simplex. Then we have the simplex inequalities: z_p < z_0+...+\check{z}_p+...+z_n (0 =< p =< n), generalizations of triangle inequalities. Conversely, suppose that numbers…

Let $G$ be a finite $p$-group, and $\alpha$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $\alpha$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $\alpha$ is a…

Quadrature formulas for $\int_a^b f(x) dx$ where derivative terms need only be evaluated at $a$ and $b$ in the composite rule are identified. Error bounds are given when $f:[a,b]\to\mathbb{R}$ satisfies $f^{(n-1)}$ is absolutely continuous…

For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing…

A mathematical method for constructing fractal curves and surfaces, termed the $p\lambda n$ fractal decomposition, is presented. It allows any function to be split into a finite set of fractal discontinuous functions whose sum is equal…

We prove that there exist infinitely many (-1,1)-Carmichael numbers, that is, square-free, composite integers n such that p+1 divides n-1 for each prime p dividing n.

We study how well Fekete polynomials $$ F_p(X) = \sum_{n=0}^{p-1} \left(\frac{n}{p}\right) X^n \in {\mathbb Z}[X] $$ with the coefficients given by Legendre symbols modulo a prime $p$, can be approximated by power series representing…

This is an exposition, for pedagogical purposes, of the formal power series proof of Bostan, Christol and Dumas [3] of the result stated in the title (a corollary of the Christol theorem).