Related papers: Well-poised basic q-Taylor expansions with complem…
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are…
We present a sufficient condition of existence of asymptotic expansion in negative power series for a function defined by Taylor series and unitary formulas for coefficients of this expansion. An example of computing scheme for arctangent…
In this paper, a method for constructing a near optimal normal basis for algebraic extensions of a finite field is described. In each extension, except for the squares of basis elements, the product of two distinct normal basis elements can…
For a two parameter family of Askey-Wilson polynomials, that can be regarded as basic analogues of the Legendre polynomials, an addition formula is derived. The addition formula is a two-parameter extension of Koornwinder's addition formula…
We discuss a (i) quantized version of the Jordan decomposition theorem for a complex Borel measure on a compact Hausdorff space, namely, the more general problem of decomposing a general noncommutative kernel (a quantization of the standard…
We express the outer multiplicities in the tensor products of two fundamental simple modules for an affine Kac-Moody algebra of type $A$ in terms of counting certain sets of multipartitions by exploring the stabilizing limits of certain…
We study the problem of extending a positive-definite operator-valued kernel, defined on words of a fixed finite length from a free semigroup, to a global kernel defined on all words. We show that if the initial kernel satisfies a natural…
We prove two single-parameter q-supercongruences which were recently conjectured by Guo, and establish their further extensions with one more parameter. Crucial ingredients in the proof are the terminating form of q-binomial theorem and a…
We provide an explicit formula for the coefficient polynomials of a Hermite diagonal differential operator. The analysis of the zeros of these coefficient polynomials yields the characterization of generalized Hermite multiplier sequences…
Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be…
We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211--245).
Given some integer $m \geq 3$, we find the first explicit collection of countably many intervals in $(1,2)$ such that for any $q$ in one of these intervals, the set of points with exactly $m$ base $q$ expansions is nonempty and moreover has…
Using Hecke characters, we construct two infinite families of newforms with complex multiplication, one by $\mathbb{Q}(\sqrt{-3})$ and the other by $\mathbb{Q}(\sqrt{-2})$. The values of the $p$-th Fourier coefficients of all the forms in…
For an arbitrary cocompact hyperbolic Coxeter group G with finite generator set S and complete growth function P(x)/Q(x), we provide a recursion formula for the coefficients of the denominator polynomial Q(x) which allows to determine…
Let $p \ge 5$ be a prime and let $\mathbb{Q}_{n,p}$ denote the $n$-th layer of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. We show that $\mathbb{Q}_{n,p}$ has no exceptional units. We use this to prove the effective asymptotic…
Let l>=1 be an arbitrary odd integer and p,q and r primes. We show that there exist infinitely many ternary cyclotomic polynomials \Phi_{pqr}(x) with l^2+3l+5<= p<q<r such that the set of coefficients of each of them consists of the p…
This paper is concerned with small parameter asymptotics of magnetic quantum systems. In addition to a semiclassical parameter \eps, the case of small coupling $\lambda$ to the magnetic vector potential naturally occurs in this context.…
We prove the existence and associativity of the nonmeromorphic operator product expansion for an infinite family of vertex operator algebras, the triplet W-algebras, using results from P(z)-tensor product theory. While doing this, we also…
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor for streams over finite data. Logical consistency is maintained at a…
We find a minimal notion of non-degeneracy for bilinear singular integral operators $T$ and identify testing conditions on the multiplying function $b$ that characterize the $L^p\times L^q\to L^r,$ $1<p,q<\infty$ and $r>\frac{1}{2},$…