相关论文: Two determinant evaluations in Sun's conjectures i…

Consider moduli schemes of vector bundles over a smooth projective curve endowed with parabolic structures over a marked point. Boden and Hu observed that a slight variation of the weights leads to a desingularisation of the moduli scheme,…

We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…

Let S be a smooth projective surface equipped with a line bundle H. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to H on the Hilbert scheme of points of S. Voisin has recently reduced Lehn's…

We solve direct and inverse problems for two-dimensional (quasi) canonical systems related to exponential polynomials of a specific but sufficiently general type. The approach to the inverse problem in this paper provides an interpretation…

We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture…

We show that certain determinantal functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. These are shown to be true in complete generality; that is, no properties of…

In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$…

We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of…

We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal)…

In this paper, we will give another proof of Zhi-Wei Sun's three conjectures on Ap\'{e}ry-like sums involving harmonic numbers by proving some identities among special values of multiple polylogarithms.

Let $\|\!\cdot\!\|_p$ denote the Schatten $p$-norm of matrices and $\|\!\cdot\!\|_F$ the Frobenius norm. For a square matrix $X$, let $|X|$ denote its absolute value. In 2010, Eun-Young Lee posed the problem of determining the smallest…

In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine…

Employing the $q$-Lucas theorem and some known $q$-supercongruences, we give some Dwork-type $q$-congruences, confirming three conjectures in [J. Combin. Theory, Ser. A 178 (2021), Art.~105362]. As conclusions, we obtain the following…

We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…

We prove a constant term conjecture of Robbins and Zeilberger (J. Combin. Theory Ser. A 66 (1994), 17-27), by translating the problem into a determinant evaluation problem and evaluating the determinant. This determinant generalizes the…

In this paper, we prove two conjectural supercongruences on the $(p-1)$th Ap\'ery number, which were recently proposed by Z.-H. Sun.

Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. Recently, Z. H. Sun proved that \sum_{k=1}^{p-1}\frac{1}{k\cdot 2^k}\equiv q_p(2)-\frac{p}{2}q_p(2)^2 \pmod{p^2} which is a generalization of a…

We formulate some refinements of Goldbach's conjectures based on heuristic arguments and numerical data. For instance, any even number greater than 4 is conjectured to be a sum of two primes with one prime being 3 mod 4. In general, for…

In this article we consider smooth projective curves $C$ of genus two described by integral equations of the form $y^2=xh(x)$, where $h(x)\in\mathbb{Z}[x]$ is monic of degree $4$. It turns out that if $h(x)$ is reducible, then the absolute…

In the following short paper we list some useful results concerning determinants and inverses of matrices. First we show, how to calculate determinants of $d \times d$ matrices, if their traces are known. As a next step $4 \times 4$…