English
Related papers

Related papers: Solving systems of equations in supernilpotent alg…

200 papers

Numerical characteristics of polynomial identities of left nilpotent algebras are examined. Previously, we came up with a construction which, given an infinite binary word, allowed us to build a two-step left nilpotent algebra with…

Rings and Algebras · Mathematics 2019-06-07 Mikhail V. Zaicev , Dušan D. Repovš

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

Computational Complexity · Computer Science 2025-10-28 Markus Bläser , Sagnik Dutta , Gorav Jindal

The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular,…

Algebraic Geometry · Mathematics 2014-03-14 Samuel Reid

The multiplicities a_{lambda,mu} of simple modules L(mu) in the composition series of Kac modules V(lambda) for the Lie superalgebra gl(m/n) were described by Serganova, leading to her solution of the character problem for gl(m/n). In…

Representation Theory · Mathematics 2007-05-23 J. Van der Jeugt , R. B. Zhang

Recent results by Harrow et. al. and by Ta-Shma, suggest that quantum computers may have an exponential advantage in solving a wealth of linear algebraic problems, over classical algorithms. Building on the quantum intuition of these…

Quantum Physics · Physics 2017-04-07 Michael Ben-Or , Lior Eldar

To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which…

Representation Theory · Mathematics 2014-02-11 Roberta Basili

We refine a method for finding a canonical form for symmetry operators of arbitrary order for the Schroedinger eigenvalue equation on any 2D Riemannian manifold, real or complex, that admits a separation of variables in some orthogonal…

Mathematical Physics · Physics 2015-05-18 E. G. Kalnins , J. M. Kress , W. Miller

This paper considers submodular function minimization (SFM) restricted to a family of subsets. We show that SFM over complements of families with certain hierarchical structures can be solved in polynomial-time. This yields a…

Combinatorics · Mathematics 2026-03-31 Ryuhei Mizutani

We give a brief overview of a simple and unified way, called the prepotential approach, to treat both exact and quasi-exact solvabilities of the one-dimensional Schr\"odinger equation. It is based on the prepotential together with Bethe…

Quantum Physics · Physics 2024-04-29 Choon-Lin Ho

The problem of classifying tuples of nilpotent matrices over a field under simultaneous conjugation is considered "hopeless". However, for any given matrix order over a finite field, the number of concerned orbits is always finite. This…

Representation Theory · Mathematics 2021-05-06 Jiuzhao Hua

Clustering with most objective functions is NP-Hard, even to approximate well in the worst case. Recently, there has been work on exploring different notions of stability which lend structure to the problem. The notion of stability,…

Data Structures and Algorithms · Computer Science 2017-02-14 Ainesh Bakshi , Nadiia Chepurko

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

We extend recent work by Tremblay, Turbiner, and Winternitz which analyzes an infinite family of solvable and integrable quantum systems in the plane, indexed by the positive parameter k. Key components of their analysis were to demonstrate…

Mathematical Physics · Physics 2015-05-14 E. G. Kalnins , W. Miller , G. S. Pogosyan

Mahler equations arise in a wide range of contexts including the study of finite automata, regular sequences, algebraic series over Fp(z), and periods of Drinfeld modules. Introduced a century ago by K. Mahler to study the transcendence of…

Symbolic Computation · Computer Science 2025-11-25 Colin Faverjon , Marina Poulet

We study modular theory in hyperfinite von Neumann algebras, i.e. in those of type II or type III, from the viewpoint of a subregion charge sector decomposition. We address this symmetry resolution by considering infinite tensor products of…

High Energy Physics - Theory · Physics 2025-10-06 Giuseppe Di Giulio , Moritz Dorband , Johanna Erdmenger , Henri Scheppach

Ordinary approach to quantum algorithm is based on quantum Turing machine or quantum circuits. It is known that this approach is not powerful enough to solve NP-complete problems. In this paper we study a new approach to quantum algorithm…

Quantum Physics · Physics 2015-06-26 Masanori Ohya , Igor V. Volovich

A roadmap for a semi-algebraic set $S$ is a curve which has a non-empty and connected intersection with all connected components of $S$. Hence, this kind of object, introduced by Canny, can be used to answer connectivity queries (with…

Symbolic Computation · Computer Science 2016-10-28 Mohab Safey El Din , Eric Schost

We revisit the MIC-harmonic oscillator in flat space with monopole interaction and derive the polynomial algebra satisfied by the integrals of motion and its energy spectrum using the ad hoc recurrence approach. We introduce a…

Mathematical Physics · Physics 2018-05-15 Md Fazlul Hoque , Ian Marquette , Yao-Zhong Zhang

In this paper, we investigate the computational complexity of the knapsack problem and subset sum problem for the following tropical algebraic structures. We consider the semigroup of square matrices of size $k \times k$ with non-negative…

Combinatorics · Mathematics 2026-05-11 I. M. Buchinskiy , M. V. Kotov , A. V. Treier

It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of…