Related papers: Finding all Borcherds product paramodular cusp for…
In general dimension, there is no known total polynomial algorithm for either convex hull or vertex enumeration, i.e. an algorithm whose complexity depends polynomially on the input and output sizes. It is thus important to identify…
This paper gives an explicit method for computing the resultant of any sparse unmixed bivariate system with given support. We construct square matrices whose determinant is exactly the resultant. The matrices constructed are of hybrid…
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic…
In this paper, we discuss the generalized Hamming weights of a class of linear codes associated with non-degenerate quadratic forms. In order to do so, we study the quadratic forms over subspaces of finite field and obtain some interesting…
In this paper, we generalize D. H. Lehmer's result to give a sufficient condition for level one cusp forms $f$ with integral Fourier coefficients such that the smallest $n$ for which the coefficients $a_n(f)=0$ must be a prime. Then we…
We analyse the fusion products of certain representations of the Virasoro algebra for c=-2 and c=-7 which are not completely reducible. We introduce a new algorithm which allows us to study the fusion product level by level, and we use this…
In this paper we construct the main algebraic and differential properties and the weight functions of orthogonal polynomial solutions of bivariate second--order linear partial differential equations, which are admissible potentially…
In this paper, we introduce a novel algorithm for calculating arbitrary order cumulants of multidimensional data. Since the $d^\text{th}$ order cumulant can be presented in the form of an $d$-dimensional tensor, the algorithm is presented…
This paper presents a concurrent global-local numerical method for solving multiscale parabolic equations in divergence form. The proposed method employs hybrid coefficient to provide accurate macroscopic information while preserving…
An umbral type formalism is used to derive integrals involving products of Laguerre polynomials and other special functions.
Multilevel quadrature methods for parametric operator equations such as the multilevel (quasi-) Monte Carlo method are closely related to the sparse tensor product approximation between the spatial variable and the parameter. In this…
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary differential equations (ODEs) with coefficients that are…
We present an algorithm to find generators of the multigraded algebra A associated to an arbitrary p-divisor D on some variety Y. A modified algorithm is also presented for the case where Y admits a torus action. We demonstrate our…
This paper derives new integral representations for products of two parabolic cylinder functions. In particular, expressions are obtained for D_{nu}(x)D_{mu}(y), with x>0 and y>0, that allow for different orders and arguments in the two…
A bilevel program is an optimization problem whose constraints involve another optimization problem. This paper studies bilevel polynomial programs (BPPs), i.e., all the functions are polynomials. We reformulate BPPs equivalently as…
We provide an algorithm to compute generators of the orthogonal group of the discriminant group associated to an integral quadratic lattice over the integers. We give a closed formula for its order.
We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity…
We develop a theory of weights for a quantum analogue of the symmetric pair (gl4,gl2 x gl2) realised as a quantum symmetric pair subalgebra. Based on Letzter's triangular decomposition we define Verma modules. Using magical operators that…
We propose an improved algorithm for computing mod $\ell$ Galois representations associated to a cusp form $f$ of level one. The proposed method allows us to explicitly compute the case with $\ell=29$ and $f$ of weight $k=16$, and the cases…
We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The…