English
Related papers

Related papers: A Succinct Multivariate Lazy Multivariate Tower AD…

200 papers

A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the…

Representation Theory · Mathematics 2020-06-19 Sajid Ali , Hassan Azad , Indranil Biswas , Willem A. de Graaf

Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep…

Programming Languages · Computer Science 2018-10-03 Conal Elliott

We present algebraic multilevel iteration (AMLI) methods for isogeometric discretization of scalar second order elliptic problems. The construction of coarse grid operators and hierarchical complementary operators are given. Moreover, for a…

Numerical Analysis · Mathematics 2013-10-08 K. P. S. Gahalaut , S. K. Tomar , J. K. Kraus

An infinite-dimensional Lie Algebra is proposed which includes, in its subalgebras and limits, most Lie Algebras routinely utilized in physics. It relies on the finite oscillator Lie group, and appears applicable to twisted noncommutative…

High Energy Physics - Theory · Physics 2008-11-26 David B Fairlie , Cosmas K Zachos

We investigate the performance of algebraic multigrid methods for the solution of the linear system of equations arising from a Virtual Element discretization. We provide numerical experiments on very general polygonal meshes for a model…

Numerical Analysis · Mathematics 2018-12-06 Daniele Prada , Micol Pennacchio

We introduce a new construction of towers of algebraic curves over finite fields and provide a simple example of an optimal tower.

Algebraic Geometry · Mathematics 2019-03-01 Sergey Rybakov

In this paper, for a given variety $\Var$, we present a universal algorithm for constructing a subvariety of $\Var$-dialgebras from which one can recover an algebra belonging to $\Var$. Such a subvariety is called the variety of initial…

Rings and Algebras · Mathematics 2026-05-20 Aigerim Dauletiyarova , Abdenacer Makhlouf , Bauyrzhan Sartayev

Inspired by previous work of Shoup, Lenstra-De Smit and Couveignes-Lercier, we give fast algorithms to compute in (the first levels of) the ell-adic closure of a finite field. In many cases, our algorithms have quasi-linear complexity.

Symbolic Computation · Computer Science 2020-01-07 Luca De Feo , Javad Doliskani , Éric Schost

We present an automated framework for constructing Taylor series expansions of rovibrational kinetic and potential energy operators for arbitrary molecules, internal coordinate systems, and molecular frame embedding conditions. Expressing…

Atomic and Molecular Clusters · Physics 2025-07-29 Andrey Yachmenev , Emil Vogt , Álvaro Fernández Corral , Yahya Saleh

Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree…

Combinatorics · Mathematics 2017-04-19 Reinhard Diestel

We establish two versions of the fusion procedure for the walled Brauer algebras. In each of them, a complete system of primitive pairwise orthogonal idempotents for the walled Hecke algebra is constructed by consecutive evaluations of a…

Representation Theory · Mathematics 2020-03-18 D. V. Bulgakova , O. Ogievetsky

We give an efficient algorithm for Lang's Theorem in split connected reductive groups defined over finite fields of characteristic greater than 3. This algorithm can be used to construct many important structures in finite groups of Lie…

Group Theory · Mathematics 2007-05-23 Arjeh M. Cohen , Scott H. Murray

In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential…

Algebraic Geometry · Mathematics 2020-03-09 Omar León Sánchez , Marcus Tressl

Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$ having rank $l$ and let $V=L(\lambda)$ be an irreducible finite-dimensional $\mathfrak{g}$-module having highest weight $\lambda.$ Computations of weight multiplicities in…

Representation Theory · Mathematics 2016-04-06 Mikaël Cavallin

This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary…

Computational Physics · Physics 2017-09-12 Ichio Kikuchi , Akihito Kikuchi

The versatile Arbitrary-DERivative (ADER) scheme is cast in a multilevel framework (ML-ADER) for fast solution of system of linear hyperbolic partial differential equations. The solution is cycled through spatial operators of varying…

Computational Physics · Physics 2017-04-05 S. M. Joshi , A. Chatterjee

The multiplicity of a weight in a finite-dimensional irreducible representation of a simple Lie algebra g can be computed via Kostant's weight multiplicity formula. This formula consists of an alternating sum over the Weyl group (a finite…

We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More…

Algebraic Topology · Mathematics 2018-07-26 Gijs Heuts

The action of a Weyl group on the associated weight lattice induces an additive action on the symmetric algebra and a multiplicative action on the group algebra of the lattice. We show that the coinvariant space of the multiplicative action…

Algebraic Geometry · Mathematics 2025-11-24 Sebastian Debus , Tobias Metzlaff

In this paper we present Affine.m - program for computations in representation theory of finite-dimensional and affine Lie algebras and describe implemented algorithms. Algorithms are based upon the properties of weights and Weyl symmetry.…

Representation Theory · Mathematics 2012-08-09 Anton Nazarov