Related papers: An algorithm for computing the canonical bases of …
We construct the Fock space representations for the quantum affine algebra of type $C_2^{(1)}$ in terms of Young walls. Using this construction, we give a generalized Lascoux-Leclerc-Thibon algorithm for computing the global bases of the…
Framework for constructing Fock spaces associated either with certain solutions of the quantum Yang-Baxter equation or with infinite dimensional Hecke algebra is presented. For the former case, the quantum deformed oscillator algebra…
We compare the canonical bases of level-$1$ quantised Fock spaces in affine types $A^{(1)}$ and $A^{(2)}$, showing how to derive the canonical basis in type $A^{(2)}_{2n}$ from the the canonical basis in type $A^{(1)}_n$ in certain weight…
The Jantzen sum formula for cyclotomic v-Schur algebras yields an identity for some q-analogues of the decomposition matrices of these algebras. We prove a similar identity for matrices of canonical bases of higher-level Fock spaces. We…
We relate the canonical basis of the Fock space representation of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_{n})$, as defined by Leclerc and Thibon, to the canonical basis of its restriction to $U_q(\mathfrak{sl}_{n})$,…
Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith…
This paper is a sequel to "Computing diagonal form and Jacobson normal form of a matrix using Groebner bases", J. of Symb. Computation, 46 (5), 2011. We present a new fraction-free algorithm for the computation of a diagonal form of a…
A rapid algorithm is derived for the Helmholtz--Hodge decomposition on the surface of the sphere in spherical coordinates. The algorithm uncouples modes of spherical harmonics with different absolute order, writes the conversion as…
In this paper we construct an "abstract Fock space" for general Lie types that serves as a generalisation of the infinite wedge $q$-Fock space familiar in type $A$. Specifically, for each positive integer $\ell$, we define a…
Quantum computers are known to be qualitatively more powerful than classical computers, but so far only a small number of different algorithms have been discovered that actually use this potential. It would therefore be highly desirable to…
Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…
We present a number of quantum computing patterns that build on top of fundamental algorithms, that can be applied to solving concrete, NP-hard problems. In particular, we introduce the concept of a quantum dictionary as a summation of…
We construct the Fock space representations of classical quantum affine algebras using combinatorics of Young walls. We also show that the crystal graphs of the Fock space representations can be realized as the abstract crystal consisting…
Solving non-linear Diophantine systems lies at the mathematical core of integer optimization and cryptography. While the general unbounded problem is undecidable, even over bounded integer domains it remains classically intractable in the…
q-Deformed harmonic oscillator algebra for real and root of unity values of the deformation parameter is discussed by using an extension of the number concept proposed by Gauss, namely the Q-numbers. A study of the reducibility of the Fock…
We obtain new complexity bounds for computing a triangular integral basis of a number field or a function field. We reach for function fields a softly linear cost with respect to the size of the output when the residual characteristic is…
For a prime $p$, the OM algorithm finds the $p$-adic factorization of an irreducible polynomial $f\in\mathbb{Z}[x]$ in polynomial time. This may be applied to construct $p$-integral bases in the number field $K$ defined by $f$. In this…
A symmetric bilinear form on a certain subspace $\widehat{\mathbb T}^{\bf b}$ of a completion of the Fock space $\mathbb T^{{\bf b}}$ is defined. The canonical and dual canonical bases of $\widehat{\mathbb T}^{\bf b}$ are dual with respect…
We study three finite-dimensional quotient vector spaces constructed from the linear span of the set of characteristic functions of permutohedral cones by imposing two kinds of constraints: (1) neglect characteristic functions of higher…
We give a brief report on our computations of linear determinantal representations of smooth plane cubics over finite fields. After recalling a classical interpretation of linear determinantal representations as rational points on the…