Related papers: On Zeilberger Conjecture

The permanent versus determinant conjecture is a major problem in complexity theory that is equivalent to the separation of the complexity classes VP_{ws} and VNP. Mulmuley and Sohoni (SIAM J. Comput., 2001) suggested to study a…

A theorem of Mina evaluates the determinant of a matrix with entries $D^j(f(x)^i)$. We note the important special case where the matrix entries are evaluated at $x=0$ and give a simple proof of it, and some applications. We then give a…

We work out an example, for a CM elliptic curve E defined over a real quadratic field F, of Zagier's conjecture. This relates L(E,2) to values of the elliptic dilogarithm function at a divisor in the Jacobian of E which arises from…

Let \(X\subset \mathbb{P}^{n+1}\) be a smooth cubic hypersurface, and let \(F(X)\) be the variety of lines on \(X\). We prove the surjectivity of the cylinder maps on the Chow groups of \(F(X)\) and \(X\) if \(X\) contains a one-cycle of…

In this paper we confirm three conjectures of Z.-W. Sun on determinants. We first show that any odd integer $n>3$ divides the determinant $$\left|(i^2+dj^2)\left(\frac{i^2+dj^2}n\right)\right|_{0\le i,j\le (n-1)/2},$$ where $d$ is any…

Thanks to the theory of determinants over an Ore domain, also called Adjamagbo determinant by the Russian school of non commutative algebra, we extend to any Weyl algebra over a field of characteristic zero Suslin theorem solving what…

In this paper, we study certain determinants over finite fields. Let $\mathbb{F}_q$ be the finite field of $q$ elements and let $a_1,a_2,\cdots,a_{q-1}$ be all nonzero elements of $\mathbb{F}_q$. Let…

How was this proof overlooked for 181 years? We give a simple proof of Descartes's circle theorem using Cayley-Menger determinants.

We represent the generalized Collatz function with the recursive ruler function r(2n) = r(n) + 1 and r(2n + 1) = 1. We generate even-only and odd-only Collatz subsequences that contain significantly fewer elements term by term, to 2 and 1,…

We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order…

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…

It is shown that the $n$-dimensional Jacobian conjecture over algebraic number fields may be considered as an existence problem of integral points on affine curves. More specially, if the Jacobian conjecture over $\mathbb{C}$ is false, then…

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 four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named…

A new simple way to prove the Frobenius conjecture on the dimensions of real algebras without zero divisors is given.

We introduce the notion of extension of 1-motives. Using the dictionary between strictly commutative Picard stacks and complexes of abelian sheaves concentrated in degrees -1 and 0, we check that an extension of 1-motives induces an…

In this short note we confirm an analog of a conjecture of James Wiegold for finite dimensional nilpotent Lie algebras.

We discuss a conjecture concerning the enumeration of nonsingular matrices over a finite field that are block companion and whose order is the maximum possible in the corresponding general linear group. A special case is proved using some…

For a long time, Collatz Conjecture has been assumed to be true, although a formal proof has eluded all efforts to date. In this article, evidence is presented that suggests such an assumption is incorrect. By analysing the stopping times…

A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type…