Related papers: Proof of a determinant evaluation conjectured by B…
We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp. Further generalizations and applications of the method to some q-analogues may be found in http://www.math.temple.edu/~tewodros
We prove several evaluations of determinants of matrices, the entries of which are given by the recurrence $a_{i,j}=a_{i-1,j}+a_{i,j-1}$, or variations thereof. These evaluations were either conjectured or extend conjectures by Roland…
This is a complement to my previous article "Advanced Determinant Calculus" (S\'eminaire Lotharingien Combin. 42 (1999), Article B42q, 67 pp.). In the present article, I share with the reader my experience of applying the methods described…
In his work on the twenty vertex model, Di Francesco [Electron. J. Combin. 28(4) (2021), Paper No. 4.38] found a determinant formula for the number of configurations in a specific such model, and he conjectured a closed form product formula…
We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2}…
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…
In this paper we resolve a conjecture of Zhi-Wei Sun concerning the integrality and arithmetic structure of certain trigonometric determinants. Our approach builds on techniques developed in our previous work, where trigonometric…
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…
I conjecture a certain explicit determinant evaluation, whose proof would imply the solution of certain enumeration problem that I have been working on, and that I find interesting. I am pledging \$500 to the OEIS Foundation (in honor of…
We describe the fundamental constructions and properties of determinantal probability measures and point processes, giving streamlined proofs. We illustrate these with some important examples. We pose several general questions and…
We prove three conjectures concerning the evaluation of determinants, which are related to the counting of plane partitions and rhombus tilings. One of them was posed by George Andrews in 1980, the other two were by Guoce Xin and Christian…
Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued…
The classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then it is placed into the framework of evidence theory. Several authors like Laskey, Lehner (1989) and Provan (1990) already…
We give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila.
We prove the following conjecture by S. Carpentier, A. De Sole, and V. G. Kac: Let K be a differential field and R be a differential subring of K. Let M be a matrix whose elements are differential operators with coefficents in R. Then, if M…
We prove the "strong conjecture" expressed by Gazeau et al. in arXiv:1203.3936v1 [math-ph] about the coefficients of the Taylor expansion of the exponential of a polynomial. This implies the "weak conjecture" as a special case. The proof…
A certain determinant is evaluated by guessing and computing the LU-decomposition.
I develop the decision-theoretic approach to quantum probability, originally proposed by David Deutsch, into a mathematically rigorous proof of the Born rule in (Everett-interpreted) quantum mechanics. I sketch the argument informally, then…
Dumont has conjectured a marvellous identity, which generalizes, in particular, the classical results of Lagrange, Gauss, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.
The Rev. Dodgson's determinant condensation rule is given a bijective proof.