Related papers: On a conjecture of Sun
We prove an inversion formula for the exterior $k$-plane transform. As a consequence, we show that if $m < k$ then an $m$-current in $\mathbf R^n$ can be reconstructed from its projections onto $\mathbf R^k$, which proves a conjecture of…
We discuss conjectures related to the following two conjectures: (1) for each complex numbers x_1,...,x_n there exist rationals y_1,...,y_n \in [-2^{n-1},2^{n-1}] such that \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in…
In this article, we prove Conjecture $1$ posed in 2013 by Fo$\check{s}$ner \cite{fos} and Conjecture $1$ posed in 2014 by Ali and Fo$\check{s}$ner \cite{ali} related to generalized $(m,n)$-Jordan centralizer and derivation respectively.
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
This note provide bijective proofs of two combinatorial identities involving generalized Catalan number $C_{m,5}(n)={m\over 5n+m}{5n+m\choose n}$ recently proposed by Sun.
In this article, we study the summatory function \begin{equation*} W(x)=\sum_{n\leq x}(-2)^{\Omega(n)}, \end{equation*} where $\Omega(n)$ counts the number of prime factors of $n$, with multiplicity. We prove $W(x)=O(x)$, and in particular,…
For a positive integer $m$ let $\Omega _m=\{0,1, \cdots , m\}$ and \begin{align*} \mathcal B_2(m)=&\left \{q\in(1,m+1]: \text{$\exists\; x\in [0, m/(q-1)]$ has exactly }\right. \\ &\left. \text{two different $q$-expansions w.r.t. $\Omega…
By means of the telescoping method, we establish two sum- mation formulas on sine function. As the special cases of them, several interesting series expansions for $1/\pi^m$ and $\pi^m$.
Suppose $ m,n\geq 2 $ are co prime integers. We prove certain new symmetries of the base $ n $ representation of $ 1/m $, and in particular characterize the subgroup generated by $ n $ inside $ (\mathbb{Z}/m\mathbb{Z})^\times $. As an…
In this paper we prove extension results for functions in Besov spaces. Our results are new in the homogeneous setting, while our technique applies equally in the inhomogeneous setting to obtain new proofs of classical results. While our…
We prove and generalize some recent conjectures of Z.-W. Sun on infinite series whose summands involve products of harmonic numbers and several binomial coefficients. We evaluate various classes of infinite sums in closed form by…
In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.
It has been long congectured that the crossing number of $C_m\times C_n$ is $(m-2)n$ for $2<m<=n$. In this paper we proved that conjecture is true for all but finitely many $n$ for each $m$. More specifically we proved conjecture for…
Let $n>1$ be an odd integer. For any primitive $n$-th root $\zeta$ of unity in the complex field. Via the Engenvector-eigenvalue Identity, we show that $$\sum_{\tau\in…
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…
We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the \(p\equiv1\pmod4\) part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry…
Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv…
Recently, Z. W. Sun introduced a sequence $(S_n)_{n\geq 0}$, where $S_n=\frac{\binom{6n}{3n} \binom{3n}{n}}{2(2n+1)\binom{2n}{n}}$, and found one congruence and two convergent series on $S_n$ by {\tt{Mathematica}}. Furthermore, he proposed…
Let S Q denote x 3 = Q(y 1 ,. .. , y m)z where Q is a primitive positive definite quadratic form in m variables with integer coefficients. This S Q ranges over a class of singular cubic hypersurfaces as Q varies. For S Q we prove (i)…
In this paper we formulate a conjecture which is a strengthening of an extension theorem of Bakonyi and Timotin for positive definite functions on the free group on two generators. We prove that this conjecture implies Connes' embedding…