Related papers: Weingarten Calculus and the IntHaar Package for In…
Using the Berline-Vergne integration formula for equivariant cohomology for torus actions, we prove that integrals over Grassmannians (classical, Lagrangian or orthogonal ones) of characteristic classes of the tautological bundle, can be…
Let $P_N(R)$ be the space of all real polynomials in $N$ variables with the usual inner product $<, >$ on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form…
This document is the manual for a free Mathematica package for computing with harmonic functions. This package allows the user to make calculations that would take a prohibitive amount of time if done without a computer. For example, the…
We present algorithms to factorize weighted homogeneous elements in the first polynomial Weyl algebra and $q$-Weyl algebra, which are both viewed as a $\mathbb{Z}$-graded rings. We show, that factorization of homogeneous polynomials can be…
Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This…
Let $G={\rm Spec} A$ be a linearly reductive group and let $w_G\in A^*$ be the invariant integral on $G$. We establish the harmonic analysis on $G$ and we compute $w_G$ when $G=Sl_n, Gl_n, O_n, Sp_{2n}$ by geometric arguments and by means…
This article is devoted to developing a theory for effective kernel interpolation and approximation in a general setting. For a wide class of compact, connected $C^\infty$ Riemannian manifolds, including the important cases of spheres and…
We calculate the Plancherel formula for complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups. As a consequence we obtain a concrete description of their associated reduced group…
We give a uniform construction of irreducible polynomial representations of all classical groups, including spin groups, using semistandard domino tableaux. We also give an explicit decomposition of the homogeneous coordinate ring of the…
We present a hybrid algorithm for optimizing a convex, smooth function over the cone of positive semidefinite matrices. Our algorithm converges to the global optimal solution and can be used to solve general large-scale semidefinite…
We give an algorithm to compute weighted Ehrhart functions of lattice polytopes for polynomial weights using Lagrange interpolation. We show how to compute generating functions of polynomials using those of unit cubes and Eulerian numbers,…
We obtain defining equations of the smooth equivariant compactification of the Grassmannian of the complex associative $3$-planes in $\C^7$, which is the parametrizing variety of all quaternionic subalgebras of the algebra of complex…
The aim of this study is to show that harmonic geometric polynomials can be represented in terms of geometric polynomials. This problem was first considered by Keller [14]; however, the corresponding coefficients were not fully determined.…
This preprint contains a description of a package for Mathematica called EinS. This package allows one to perform various calculations with indexed objects.
We study the structure of the algebra of polynomial invariants for the usual conjugation action of the complex special, SO_n, and general, O_n, orthogonal group on the space of traceless n by n complex matrices. (Note that these two…
We develop a spectral method for solving univariate singular integral equations over unions of intervals by utilizing Chebyshev and ultraspherical polynomials to reformulate the equations as almost-banded infinite-dimensional systems. This…
Representing a polygon using a set of simple shapes has numerous applications in different use-case scenarios. We consider the problem of covering the interior of a rectilinear polygon with holes by a set of area-weighted, axis-aligned…
We show that the integration-by-parts reductions of various two-loop integral topologies can be efficiently obtained by applying unitarity cuts to a specific set of subgraphs and solving associated polynomial (syzygy) equations.
Complexity bounds for many problems on matrices with univariate polynomial entries have been improved in the last few years. Still, for most related algorithms, efficient implementations are not available, which leaves open the question of…
Unitary representations of centrally extended mapping class groups $\tilde M_{g,1}, g\geq 1$ are given in terms of a rational Hopf algebra $H$, and a related generalization of the Verlinde formula is presented. Formulae expressing the…