Related papers: A simple algorithm for extending the identities fo…
We give "hybrid" proofs of the $q$-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use partition arguments to prove a restricted version of the theorem, and then use analytic methods (in the form of the…
An observer-based Hamiltonian identification algorithm for quantum systems is proposed. For the 2-level case an exponential convergence result based on averaging arguments and some relevant transformations is provided. The convergence for…
We present two new proofs of the the important q-commuting property holding among certain pairs of quantum minors of an n x n q-generic matrix. The first uses elementary quasideterminantal arithmetic; the second involves paths in an…
We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial…
In the context of generating uniform random contingency tables with pre-specified marginals, the number of (binary) matrices with given row- and column-sums is a well-studied object in the literature. We will denote this number by $N(p,q)$,…
The reduction paradigm of quantum interferometry is reanalyzed. In contrast to widespread opinion it is shown to be amenable to straightforward mathematical treatment within ``every-users'' simple-minded single particle quantum mechanics…
The classical Newtonian potentials, defined in terms of metrics, give rise to the basic family of kernels defining linear integral operators and posing the fundamental problems of linear harmonic analysis. When the binary character of a…
We define the concept of an affinized projective variety and show how one can, in principle, obtain q-identities by different ways of computing the Hilbert series of such a variety. We carry out this program for projective varieties…
We prove an interesting symmetric $q$-series identity which generalizes a result due to Ramanujan. A proof that is analytic in nature is offered, and a bijective-type proof is also outlined.
This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalsch\"utz's…
We show that, in compact semisimple Lie groups and Lie algebras, any neighbourhood of the identity gets mapped, under the commutator map, to a neighbourhood of the identity.
Different observers do not have to agree on how they identify a quantum system. We explore a condition based on algorithmic complexity that allows a system to be described as an objective "element of reality". We also suggest an…
Given complex numbers $m_1,l_1$ and nonnegative integers $m_2,l_2$, such that $m_1+m_2=l_1+l_2$, for any $a,b=0, ... ,\min(m_2,l_2)$ we define an $l_2$-dimensional Barnes type q-hypergeometric integral $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ and…
The aim of this paper is to present a general algebraic identity. Applying this identity, we provide several formulas involving the q-binomial coefficients and the q-harmonic numbers. We also recover some known identities including an…
If a reduced bivariate polynomial is quasi-homogeneous, then its discriminant is a monomial. Over fields of characteristic $0$, we show that if one adds another simple condition, this becomes an equivalence. We also give a third equivalent…
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized…
We study multiplicative properties of the (quantum) dual canonical basis B* associated to a semi-simple complex Lie group G. We provide a subset D of B* such that the following property holds : if two elements b, b' in B* q-commute and if…
By applying the derivative operator to the corresponding hypergeometric form of a $q$-series transformation due to Andrews [1,Theorem 4], we establish a general harmonic number identity. As the special cases of it, several interesting…
Quantum algorithms require a universal set of gates that can be implemented in a physical system. For these, an optimal decomposition into a sequence of available operations is desired. Here, we present a method to find such sequences for a…
In this note, we prove some combinatorial identities and obtain a simple form of the eigenvalues of $q$-Kneser graphs.