Related papers: Using EDT0L systems to solve some equations in the…
A method to the explict solutions of general systems of algebraic equations is presented via the metric form of affiliated K\"ahler manifolds. The solutions to these systems arise from sets of geodesic second order non-linear differential…
Starting with the zero-square "zeon algebra", the regular representation gives rise to a Boolean lattice representation of sl(2). We detail the su(2) content of the Boolean lattice, providing the irreducible representations carried by the…
Generalized Baumslag-Solitar groups are defined as fundamental groups of graphs of groups with infinite cyclic vertex and edge groups. Forester proved (in "On uniqueness of JSJ decompositions of finitely generated groups", Comment. Math.…
Natural linear and coalgebra transformations of tensor algebras are studied. The representations of certain combinatorial groups are given. These representations are connected to natural transformations of tensor algebras and to the groups…
We provide the solution to the normal ordering problem for powers and exponentials of two classes of operators. The first one consists of boson strings and more generally homogeneous polynomials, while the second one treats operators linear…
In this note we survey results in recent research papers on the use of Lie groups in the study of partial differential equations. The focus will be on parabolic equations, and we will show how the problems at hand have solutions that seem…
Using Lie group theory and canonical transformations we construct explicit solutions of nonlinear Schrodinger equations with spatially inhomogeneous nonlinearities. We present the general theory, use it to show that localized nonlinearities…
We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is…
In this work we study and provide a full description, up to a finite index subgroup, of the dynamics of solvable complex Kleinian subgroups of PSL(3,C). These groups havesimpledynamics, contrary to strongly irre-ducible groups. Because of…
We construct a quantum deformation of a family of the Yang-Baxter equation solutions naturally arising from a Lie algebra sl(2).
Satisfiability modulo theories (SMT) solving has become a critical part of many static analyses, including symbolic execution, refinement type checking, and model checking. We propose Formulog, a domain-specific language that makes it…
We use the octonion algebra to construct singular solutions of Hessian fully nonlinear uniformly elliptic equations in 21 or more dimensions. The regularity of these solutions is the least possible one. The same is proven for Isaacs…
Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.
We define a class of amenable Weyl group elements in the Lie types B, C, and D, which we propose as the analogues of vexillary permutations in these Lie types. Our amenable signed permutations index flagged theta and eta polynomials, which…
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…
In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…
Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of…
The aim of this paper is to present a unified theory of many Kato type representation theorems in terms of solvable forms on Hilbert spaces. In particular, for some sesquilinear forms $\Omega$ on a dense domain $\mathcal{D}$ one looks for…
The orbit polytope for a finite group G acting linearly and freely on a sphere S is used to construct a cellularized fundamental domain for the action. A resolution of the integers over G results from the associated G-equivariant…
We study the spatial regularity of the fundamental solution E(t,x) of the Schr\"odinger equation on the circle in a scale of Besov spaces. Although the fundamental solution is not smooth, we reveal a fine change of regularity of E(t,x) at…