Related papers: A Deleting Derivations Algorithm for Quantum Nilpo…
This paper is devoted to the derivation of a digital quantum algorithm for the Cauchy problem for symmetric first order linear hyperbolic systems, thanks to the reservoir technique. The reservoir technique is a method designed to avoid…
Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke…
In this short note, we show that the Ginzburg-Vasserot map between the quantum affine algebra of type A_(n-1) and the equivariant K-theory group of the Steinberg Variety (of n-step flags in C^d) restricts and remains surjective at the level…
We apply the theory of $\phi$-coordinated modules, developed by H.-S. Li, to the Etingof--Kazhdan quantum affine vertex algebra associated with the trigonometric $R$-matrix of type $A$. We prove, for a certain associate $\phi$ of the…
We provide a new algorithm that translates a unitary matrix into a quantum circuit according to the G=KAK theorem in Lie group theory. With our algorithm, any matrix decomposition corresponding to type-AIII KAK decompositions can be derived…
In this paper, we initiate a study into the explicit construction of irreducible representations of the Hecke algebra $H_n(q)$ of type $A_{n-1}$ in the non-generic case where $q$ is a root of unity. The approach is via the Specht modules of…
We derive a straightening-free algorithm that computes the canonical bases of any higher-level q-deformed Fock space.
We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it. First, we present an efficient algorithm for computing the…
We study the structure and representations of a family of vertex algebras obtained from affine superalgebras by quantum reduction. As an application, we obtain in a unified way free field realizations and determinant formulas for all…
In this paper, we explore the use of path idempotents for the Hecke algebra of type $A$ at roots of unity. For $q$ a primitive $\ell$-th root of unity we obain a non-unital imbedding of (a quotient of) the group algebra of $S_m$ into (a…
Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches.…
Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…
Standard quantum inference converts quantum data into classical outputs. We study an alternative inference setting in which the desired output is quantum, preserving coherence. Such settings include quantum purity amplification (QPA),…
We give the explicit formula of the universal $R$-matrix of a double parameter (or two-parameter, or multi-parameter) quantum affine algebra of type ${\mathrm{A}}_1^{(1)}$. For $N$ with $q_{00}q_{01}$ being a primitive $N$-th root of unity,…
Given an arbitrary single-qubit operation, an important task is to efficiently decompose this operation into an (exact or approximate) sequence of fault-tolerant quantum operations. We derive a depth-optimal canonical form for single-qubit…
We present a closed formula for the branching coefficients of an embedding p in g of two finite-dimensional semi-simple Lie algebras. The formula is based on the untwisted affine extension of p. It leads to an alternative proof of a simple…
A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky…
This paper presents two enhancements to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE) for cases in which multiple equational constraints are present in the given input formula $\phi^*$. The first enhancement…
Qubit regularization is a procedure to regularize the infinite dimensional local Hilbert space of bosonic fields to a finite dimensional one, which is a crucial step when trying to simulate lattice quantum field theories on a quantum…
An algorithm for embedding finite dimensional Lie algebras into Lie algebras of vector fields (and Lie superalgebras into Lie superalgebras of vector fields) is offered in a way applicable over ground fields of any characteristic. The…