Related papers: A note on the geometry of figurate numbers
Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, B\'ar\'any asked whether for all convex $d$-polytopes $P$ and all $0 \leq k…
Let $f \in S_{\kappa}(\Gamma_0(N))$ be a Hecke eigenform at $p$ with eigenvalue $\lambda_f(p)$ for a prime $p$ not dividing $N$. Let $\alpha_p$ and $\beta_p$ be complex numbers satisfying $\alpha_p + \beta_p = \lambda_f(p)$ and $\alpha_p…
Let $p$ be an odd prime. It is well known that $F_{p-(\frac p5)}\equiv 0\pmod{p}$, where $\{F_n\}_{n\ge0}$ is the Fibonacci sequence and $(-)$ is the Jacobi symbol. In this paper we show that if $p\not=5$ then we may determine $F_{p-(\frac…
In 1888, Hilbert proved that every non-negative quartic form f=f(x,y,z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up…
Let $f:(\mathbb{C}^n,0)\rightarrow (\mathbb{C}^{n+1},0)$ be a corank 1 finitely determined map germ. For a generic linear form $p:(\mathbb{C}^{n+1},0)\to(\mathbb{C},0)$ we denote by $g:(\mathbb{C}^{n-1},0)\rightarrow (\mathbb{C}^{n},0)$ the…
Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…
In this paper, we study the local behavior of nonnegative solutions of fractional semi-linear equations $(-\Delta)^\sigma u = u^p$ with an isolated singularity, where $\sg \in (0, 1)$ and $\frac{n}{n-2\sg} < p < \frac{n+2\sg}{n-2\sg}$. We…
In this paper, we mainly establish a congruence for a sum involving Ap\'{e}ry numbers, which was conjectured by Z.-W. Sun. Namely, for any prime $p>3$ and positive odd integer $m$, we prove that there is a $p$-adic integer $c_m$ only…
In this paper, we use Abel's summation formula to evaluate several quadratic and cubic sums of the form: \[{F_N}\left( {A,B;x} \right) := \sum\limits_{n = 1}^N {\left( {A - {A_n}} \right)\left( {B - {B_n}} \right){x^n}} ,\;x \in [ - 1,1]\]…
We shall make a slight improvement to a result of p-adic logarithms which gives a nontrivial upper bound for the exponent of p dividing the Fermat quotient x^{p-1}-1.
We investigate the summability of the coefficients of $m$-homogeneous polynomials and $m$-linear mappings defined on $\ell_{p}$-spaces. In our research we obtain results on the summability of the coefficients of $m$-linear mappings defined…
We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated…
Assume $\alpha\geq p>1$. Consider the following $p$-th Yamabe equation on a connected finite graph $G$: $$\Delta_p\varphi+h\varphi^{p-1}=\lambda f\varphi^{\alpha-1},$$ where $\Delta_p$ is the discrete $p$-Laplacian, $h$ and $f>0$ are fixed…
When $p$ is a computable real so that $p \geq 1$, the isometry degree of a computable copy $\mathcal{B}$ of $\ell^p$ is defined to be the least powerful Turing degree that computes a linear isometry of $\ell^p$ onto $\mathcal{B}$. We show…
We introduce a natural definition for sums of the form \[ \sum_{\nu=1}^x f(\nu) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the…
We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of…
Let $S_p(n)$ denote the sum of $p$th powers of the first $n$ positive integers $1^p + 2^p + \cdots + n^p$. In this paper, first we express $S_p(n)$ in the so-called Faulhaber form, namely, as an even or odd polynomial in $(n + 1/2)$,…
Let $p$ be a primer number, $n \geq 3$ and integer. Let $f(X) = X^n + a_{n-1}X^{n-1} + \cdots +a_1 X + a_0 \in \mathbb{F}_p[X]$ be a primitive polynomial of degree $n$. Let $C_f$ be the companion matrix of $f(X)$, and $G$ the companion…
The main result of the paper is the Fibonacci-like property of the partition function. The partition function $p(n)$ has a property: $p(n) \leq p(n-1) + p(n-2)$. Our result shows that if we impose certain restrictions on the partition, then…
Numerical characteristics of identities of finite-dimensional nonassociative algebras are studied. The main result is the construction of a four-dimensional simple unitary algebra with fractional PI-exponent strictly less than its…