相关论文: Algorithms for D-modules --- restriction, tensor p…

A method of G. Wilson for generating commutative algebras of ordinary differential operators is extended to higher dimensions. Our construction, based on the theory of D-modules, leads to a new class of examples of commutative rings of…

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

A novel combinatorial formula is developed for for tensor product multiplicities in representation theory. We introduce a difference formula linking these multiplicities to restricted occupancy coefficients via a shifted operator. This…

We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a…

In this paper, we consider modular local polynomials. These functions satisfy modularity while they are locally defined as polynomials outside of an exceptional set. We prove an inequality for the dimension of the space of such forms when…

A polynomial-time algorithm is produced which, given generators for a group of permutations on a finite set, returns a direct product decomposition of the group into directly indecomposable subgroups. The process uses bilinear maps and…

We present an algorithm which computes a cylindrical algebraic decomposition of a semialgebraic set using projection sets computed for each cell separately. Such local projection sets can be significantly smaller than the global projection…

The polynomial multiplication problem has attracted considerable attention since the early days of computer algebra, and several algorithms have been designed to achieve the best possible time complexity. More recently, efforts have been…

Let $f$ be a real polynomial of $x = (x_1,\dots,x_n)$ and $\varphi$ be a locally integrable function of $x$ which satisfies a holonomic system of linear differential equations. We study the distribution $f_+^\lambda\varphi$ with a…

This paper presents some algorithms in linear algebraic groups. These algorithms solve the word problem and compute the spinor norm for orthogonal groups. This gives us an algorithmic definition of the spinor norm. We compute the double…

For a root system R, a field K and a "choice of coefficients in K" we define a category of graded spaces with operators and study some of its properties. Then we assume that the coefficients are given by quantum binomials. We use basic…

Recently Rubinfeld et al. (ICS 2011, pp. 223--238) proposed a new model of sublinear algorithms called \emph{local computation algorithms}. In this model, a computation problem $F$ may have more than one legal solution and each of them…

Optimal designs are required to make efficient statistical experiments. D-optimal designs for some models are calculated by using canonical moments. On the other hand, integrable systems are dynamical systems whose solutions can be written…

We show that 2D periodic operators with local and perpendicular defects form an algebra. We provide an algorithm of finding spectrum for such operators. While the continuous spectral components can be computed by simple algebraic operations…

We adapt Caro's notion of overholonomicity to give a definition of holonomic D-cap-modules on rigid analytic spaces. We prove stability under five of the six operations (both inverse image functors, duality, and both direct image functors…

Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive…

We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve…

We give a geometric realization of cohomologically induced (g,K)-modules. Let (h,L) be a subpair of (g,K). The cohomological induction is an algebraic construction of (g,K)-modules from a (h,L)-module V. For a real semisimple Lie group, the…

We study linear problems defined on tensor products of Hilbert spaces with an additional (anti-) symmetry property. We construct a linear algorithm that uses finitely many continuous linear functionals and show an explicit formula for its…

The paper aims to investigate relevant computational issues of deep neural network architectures with an eye to the interaction between the optimization algorithm and the classification performance. In particular, we aim to analyze the…