Related papers: A First Order $q$-Difference System for the $BC_1$…
All the hermitian representations of the ``symmetric" $q$-oscillator are obtained by means of expansions. The same technique is applied to characterize in a systematic way the $k$-order boson realizations of the $q$-oscillator and…
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has…
This paper proposes first-order modal $\xi$-calculus as well as genealogical Kripke models. Inspired by modal $\mu$-calculus, first-order modal $\xi$-calculus takes a quite similar form and extends its inductive expressivity onto a…
We prove first-order convergence of semi-discrete monotone finite difference schemes for Hamilton--Jacobi equations on the Wasserstein space over a finite graph. A central challenge is the boundary degeneracy of the Wasserstein simplex,…
This paper addresses an investigation on a factorization method for difference equations. It is proved that some classes of second order linear difference operators, acting in Hilbert spaces, can be factorized using a pair of mutually…
This work presents a new interpolation tool, namely, cubic $q$-spline. Our new analogue generalizes a well known classical cubic spline. This analogue, based on the Jackson $q$-derivative, replaces an interpolating piecewise cubic…
A high order linear $q$-difference equation with polynomial coefficients having $q$-Hahn multiple orthogonal polynomials as eigenfunctions is given. The order of the equation is related to the number of orthogonality conditions that these…
This paper is concerned with the study of a model case of first order Hamilton-Jacobi equations posed on a "junction", that is to say the union of a finite number of half-lines with a unique common point. The main result is a comparison…
In this paper we firstly review how to \textit{explicitly} solve a system of $3$ \textit{first-order linear recursions }and outline the main properties of these solutions. Next, via a change of variables, we identify a class of systems of…
In this paper we present an addition to Askey's scheme of q-hypergeometric orthogonal polynomials involving classes of q-special functions which do not consist of polynomials only. The special functions are q-analogues of the Jacobi and…
We prove a continued fraction expansion for the reciprocal of a certain $q$-series. All the specialists in the world are asked whether it is new or not.
We show that the distribution function of the first particle in a discrete orthogonal polynomial ensemble can be obtained through a certain recurrence procedure, if the (difference or q-) log-derivative of the weight function is rational.…
We introduce a quantum analogue of classical first-order logic (FO) and develop a theory of quantum first-order logic as a basis of the productive discussions on the power of logical expressiveness toward quantum computing. The purpose of…
This paper investigates $q$-analogues of the classical Bernoulli polynomials and numbers. We introduce a new polynomial sequence ${\left(B_{n , q}(X)\right)}_{n \in \mathbb{N}_0}$, defined via the Jackson integral, and explore its…
The scalar difference equation $x_{n+1}=f_{n}(x_{n},x_{n-1},...,x_{n-k})$ may exhibit symmetries in its form that allow for reduction of order through substitution or a change of variables. Such form symmetries can be defined generally…
In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.
We introduce difference operators on the space of symmetric functions which are a natural generalization of the $(q,t)$-Macdonald operators. In the $t\to\infty$ limit, they satisfy the $A_{N-1}$ quantum $Q$-system. We identify the elements…
In this paper we present a new first-order hyperbolic reformulation of the Cahn-Hilliard equation. The model is obtained from the combination of augmented Lagrangian techniques proposed earlier by the authors of this paper, with a classical…
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…
Let $D_n(x;a)$ and $E_n(x;a)\in\mathbb F_q[x]$ be Dickson polynomials of first and second kind respectively, where $\mathbb F_q$ is a finite field with $q$ elements. In this article we show explicitly the irreducible factors these…