English
Related papers

Related papers: Programming Realization of Symbolic Computations f…

200 papers

This paper presents a fast and effective computer algebraic method for analyzing and verifying non-linear integer arithmetic circuits using a novel algebraic spectral model. It introduces a concept of algebraic spectrum, a numerical form of…

Symbolic Computation · Computer Science 2019-01-11 Cunxi Yu , Tiankai Su , Atif Yasin , Maciej Ciesielski

We show that the multiplier algebra of the Fourier algebra on a locally compact group $G$ can be isometrically represented on a direct sum on non-commutative $L^p$ spaces associated to the right von Neumann algebra of $G$. If these spaces…

Functional Analysis · Mathematics 2011-07-27 Matthew Daws

A fully tensorial theoretical framework for hypercomplex-valued neural networks is presented. The proposed approach enables neural network architectures to operate on data defined over arbitrary finite-dimensional algebras. The central…

Machine Learning · Computer Science 2026-01-27 Agnieszka Niemczynowicz , Radosław Antoni Kycia

Commutative hypercomplex algebras offer significant advantages over traditional quaternions due to their compatibility with linear algebra techniques and efficient computational implementation, which is crucial for broad applicability. This…

Let $\preceq$ be a compatible total order on the additive group $\mathbb{Z}^2$, and $L$ be the rank two Heisenberg-Virasoro algebra. For any $\mathbf{c}=(c_1,c_2,c_3,c_4) \in \mathbb{C}^4$, we define $\mathbb{Z}^2$-graded Verma module…

Representation Theory · Mathematics 2018-10-24 Zhiqiang Li , Shaobin Tan

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

Rings and Algebras · Mathematics 2007-05-23 Edward S. Letzter

Algorithms for embedding certain types of nilpotent subalgebras in maximal subalgebras of the same type are developed, using methods of real algebraic groups. These algorithms are applied to determine non-conjugate subalgebras of the…

Representation Theory · Mathematics 2017-05-09 Sajid Ali , Hassan Azad , Indranil Biswas , Ryad Ghanam , Tahir Mustafa

We investigate quantum cellular automata (QCA) on one-dimensional spin systems defined over a subalgebra of the full local operator algebra - the symmetric subalgebra under a finite Abelian group symmetry $G$. For systems where each site…

Quantum Physics · Physics 2026-05-28 Ruochen Ma , Yabo Li , Meng Cheng

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

We study the $H_n(0)$-module $\mathbf{S}^\sigma_\alpha$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we…

Representation Theory · Mathematics 2020-11-17 Seung-Il Choi , Young-Hun Kim , Sun-Young Nam , Young-Tak Oh

In this paper, we propose an approximate semi-definite programming framework for demodulation and equalization of non-coherent ultra-wide-band communication systems with inter-symbol-interference. It is assumed that the communication…

Information Theory · Computer Science 2009-08-13 Xudong Ma

We use world-line methods for pseudo-supersymmetry to construct $sl(2|1)$-invariant actions for the $(2,2,0)$ chiral and ($1,2,1)$ real supermultiplets of the twisted $D$-module representations of the $sl(2|1)$ superalgebra. The derived…

High Energy Physics - Theory · Physics 2016-02-16 L. Baulieu , N. L. Holanda , F. Toppan

Many areas of machine learning and science involve large linear algebra problems, such as eigendecompositions, solving linear systems, computing matrix exponentials, and trace estimation. The matrices involved often have Kronecker,…

Machine Learning · Computer Science 2023-11-30 Andres Potapczynski , Marc Finzi , Geoff Pleiss , Andrew Gordon Wilson

We study the Nonlinear (Polynomial, N-fold,...) Supersymmetry algebra in one-dimensional QM. Its structure is determined by the type of conjugation operation (Hermitian conjugation or transposition) and described with the help of the…

High Energy Physics - Theory · Physics 2010-04-05 A. A. Andrianov , A. V. Sokolov

In this paper, given a module $W$ for a vertex operator algebra $V$ and a nonzero complex number $z$ we construct a canonical (weak) $V\otimes V$-module ${\cal{D}}_{P(z)}(W)$ (a subspace of $W^{*}$ depending on $z$). We prove that for…

Quantum Algebra · Mathematics 2007-05-23 Haisheng Li

We represent vector bundles over a regular algebraic curve as pairs of lattices over the maximal orders of its function field and we give polynomial time algorithms for several tasks: computing determinants of vector bundles, kernels and…

Algebraic Geometry · Mathematics 2024-08-05 Mickaël Montessinos

In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert…

Representation Theory · Mathematics 2024-01-17 Eugene Gorsky , José Simental , Monica Vazirani

Galilean $W_3$ vertex operator algebra $\mathcal GW_3(c_L,c_M)$ is constructed as a universal enveloping vertex algebra of certain non-linear Lie conformal algebra. It is proved that this algebra is simple by using determinant formula of…

Quantum Algebra · Mathematics 2021-08-13 Gordan Radobolja

We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems,…

Rings and Algebras · Mathematics 2024-02-12 Jason P. Bell , Be'eri Greenfeld

We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic…

Symbolic Computation · Computer Science 2011-03-25 Eric Berberich , Pavel Emeliyanenko , Alexander Kobel , Michael Sagraloff