Related papers: Modular Proofs of Gosper's Identities

Here, we establish a polynomial identity in three variables $a, b, c$, and with the degree of the polynomial given in terms of two integers $L, M$. By letting $L$ and $M$ tend to infinity, we get the 1993 Alladi-Gordon $q$-hypergeometric…

Let $P_1,\dots,P_k \colon {\bf Z} \to {\bf Z}$ be polynomials of degree at most $d$ for some $d \geq 1$, with the degree $d$ coefficients all distinct, and admissible in the sense that for every prime $p$, there exists integers $n,m$ such…

Given a connected 2-complex X with fundamental group G, we show how pi_3(X) may be computed as a module over Z[G]. Further we show that if X is a finite connected 2-complex with G (the fundamental group) finite of odd order, then the stable…

Let S be a basic closed semi-algebraic set in R^n and P the corresponding preordering in R[X_1,...,X_n]. We examine for which polynomials f there exist identities f+\ep q \in P for all \ep>0. These are precisely the elements of the…

We prove a polynomial continued fraction identity for the constant $-\pi/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a…

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…

We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr\"obner bases for finitely…

We consider the problem of describing all non-negative integer solutions to a linear congruence in many variables. This question may be reduced to solving the congruence $x_1 + 2x_2 + 3x_3 + ... + (n-1)x_{n-1} \equiv 0 \pmod n$ where values…

We show that for each finite sequence of algebraic integers $\alpha_1,...,\alpha_n$ and polynomials $P_1(x_1,...,x_n;y_1,...,y_n),..., P_r(x_1,...,x_n;y_1,...,y_n)$ with algebraic integer coefficients, there are a natural number $N$, $n$…

We show that Monotone 3-Sat remains NP-complete if (i) each clause contains exactly three distinct variables, (ii) each clause is unique, i.e., there are no duplicates of the same clause, and (iii), amongst the clauses, each variable…

We study monic polynomials $Q_n(x)$ generated by a high order three-term recursion $xQ_n(x)=Q_{n+1}(x)+a_{n-p} Q_{n-p}(x)$ with arbitrary $p\geq 1$ and $a_n>0$ for all $n$. The recursion is encoded by a two-diagonal Hessenberg operator $H$.…

Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic modular function. In this paper we prove that the rational polynomial having these singuar…

Jurij Vol\v{c}i\v{c} conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant…

We prove explicit linear stable ranges for the $\mathsf{FI}$-modules $\mathrm{Hom}(\pi_p \mathrm{Conf} M, \mathbb Z)$ and $\mathrm{Ext}(\pi_p \mathrm{Conf} M, \mathbb Z)$ with $\mathrm{Conf} M$ being the configuration co$\mathsf{FI}$-space…

We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p…

We derive a set of polynomial and quasipolynomial identities for degrees of syzygies in the Hilbert series H(d^m;z) of nonsymmetric numerical semigroups S(d^m) of arbitrary generating set of positive integers d^m={d_1,...,d_m}, m\geq 3.…

Consider a finite dimensional H-module Lie algebra L over a field of characteristic 0 where H is a Hopf algebra. We prove the analog of Amitsur's conjecture on asymptotic behavior for codimensions of polynomial H-identities of L under some…

The coset $G$-space of a finite group and a subgroup is a fundamental module of study of Schur and others around 1930; for example, its endomorphism algebra is a Hecke algebra of double cosets. We study and review its generalization $Q$ to…

The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+\sigma)}}{(1-q)\cdots (1-q^n)}, \] where $\sigma=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular…

We show that if $h\in\mathbb{Z}[x]$ is a polynomial of degree $k$ such that the congruence $h(x)\equiv0\pmod{q}$ has a solution for every positive integer $q$, then any subset of $\{1,2,\ldots,N\}$ with no two distinct elements with…