The rank of universal $m$-gonal forms

Byeong Moon Kim,Dayoon Park
DOI: https://doi.org/10.48550/arXiv.2012.15066
2020-12-30
Abstract:In this article, we consider the rank of universal $m$-gonal forms for all sufficiently large $m$. Especially, we determine the minimal rank of universal $m$-gonal form and the maximal rank of kinds of proper universal $m$-gonal form.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rank problem in the form of m - gonal numbers. Specifically, the article focuses on the minimum rank of the general m - gonal number form and the maximum rank of a specific type of general m - gonal number form for sufficiently large m. The following is a more detailed explanation: ### 1. **Background and Problem Definition** - **m - gonal numbers**: For \( m\geq3 \), the m - gonal number \( P_m(x) \) can be expressed as: \[ P_m(x)=\frac{m - 2}{2}x^2-\frac{m - 4}{2}x \] This formula describes the number of points required to form a regular m - gon. - **m - gonal number form**: Consider the form of weighted sums: \[ F_m(\mathbf{x})=a_1P_m(x_1)+a_2P_m(x_2)+\cdots+a_nP_m(x_n) \] where \( a_i\in\mathbb{N} \) and \( x_i\in\mathbb{Z} \). - **General m - gonal number form**: If an m - gonal number form can represent all positive integers, it is called general. ### 2. **Research Objectives** - **Minimum rank**: Determine the minimum rank \( r_m \) of the general m - gonal number form. - **Maximum rank**: Determine the maximum rank \( R_m \) of some specific types of general m - gonal number forms. ### 3. **Main Results** - **Minimum rank \( r_m \)**: For sufficiently large \( m \), the author proves that: \[ r_m = \begin{cases} \lceil\log_2(m - 3)\rceil+ 1&\text{when }-3\leq2\lceil\log_2(m - 3)\rceil-m\leq1\\ \lceil\log_2(m - 3)\rceil&\text{when }2\leq2\lceil\log_2(m - 3)\rceil-m \end{cases} \] - **Maximum rank \( R_m \)**: For sufficiently large \( m \), the author proves that: \[ R_m = \begin{cases} m - 2&\text{when }m\not\equiv2\pmod{3}\\ m - 3&\text{when }m\equiv2\pmod{3} \end{cases} \] ### 4. **Methods and Techniques** - **Escalator Tree**: The author introduces the concept of the escalator tree of the m - gonal number form, and analyzes the properties of the general m - gonal number form through this method. - **Mathematical induction and inequality derivation**: Through mathematical induction and a series of inequality derivations, the above upper and lower bounds of the rank are proved. ### 5. **Conclusion** - This research provides an in - depth understanding of the rank of the general m - gonal number form. Especially for sufficiently large m, it clarifies the specific expressions of the minimum rank and the maximum rank. This helps to further understand the structure of the m - gonal number form and its applications in number theory. Through these results, the paper provides an important theoretical basis for the research of the general m - gonal number form and also provides directions for further research.