Related papers: Using EDT0L systems to solve some equations in the…
We give a language of unique geodesic normal forms for the Baumslag-Solitar group BS(1,2) that is context-free and 1-counter. We discuss the classes of context-free, 1-counter and counter languages, and explain how they are inter-related.
We give an explicit formula for the exchange matrix correponding to the tensor product of two copies of the natural (standard) evaluation representation of the quantum group associated to the affine Lie algebra of sl(n+1). Then we calculate…
We study the structure of generalized Baumslag-Solitar groups from the point of view of their (usually non-unique) splittings as fundamental groups of graphs of infinite cyclic groups. We find and characterize certain decompositions of…
We are concerned with the nodal set of solutions to equations of the form \begin{equation*} -\Delta u = \lambda_+ \left(u^+\right)^{q-1} - \lambda_- \left(u^-\right)^{q-1} \quad \text{in $B_1$} \end{equation*} where $\lambda_+,\lambda_- >…
We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…
We present a two-parameter family of exactly solvable quantum many-body systems in one spatial dimension containing the Lieb-Liniger model of interacting bosons as a particular case. The principal building block of this construction is the…
We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…
This paper introduces the study of occurrence of symmetries in binary differential equations (BDEs). These are implicit differential equations given by the zeros of a quadratic 1-form, $a(x,y)dy^2 + b(x,y)dxdy + c(x,y)dx^2 = 0,$ for $a, b,…
A generalized Baumslag-Solitar group is a finitely generated group that acts on a tree with infinite-cyclic vertex and edge stabilizers. In this paper, we show that the isomorphism problem is solvable for small rose non-ascending…
In this article we present a way of treating stochastic partial differential equations with multiplicative noise by rewriting them as stochastically perturbed evolutionary equations in the sense of \cite{picardbook}, where a general…
A linear constraint system is specified by linear equations over the group $\ZZ_d$ of integers modulo $d$. Their operator solutions play an important role in the study of quantum contextuality and non-local games. In this paper, we use the…
We construct an invariant deformation retract of a deformation space of G-trees. We show that this complex is finite dimensional in certain cases and provide an example that is not finite dimensional. Using this complex we compute the…
We prove that the rational number |n/m| is an invariant of the group von Neumann algebra of the Baumslag-Solitar group BS(n,m). More precisely, if L(BS(n,m)) is isomorphic with L(\BS(n',m')), then |n'/m'| = |n/m| or |m/n|. We obtain this…
In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic…
Bilinear systems of equations are defined, motivated and analyzed for solvability. Elementary structure is mentioned and it is shown that all solutions may be obtained as rank one completions of a linear matrix polynomial derived from…
The general d-dimensional twisted group lattice is solved. The irreducible representations of the corresponding group are constructed by an explicit procedure. It is proven that they are complete. All matrix representation solutions to the…
We give a parametrization by $m$-adic integers of the limits of Baumslag-Solitar groups (marked with a canonical set of generators). It is shown to be continuous and injective on the invertible $m$-adic integers. We show that all such…
We establish the existence of positive normalized (in the $L^2$ sense) solutions to non-variational weakly coupled elliptic systems of $\ell$ equations. We consider couplings of both cooperative and competitive type. We show the problem can…
We study the system of semilinear elliptic equations $$-\Delta u_i+ u_i = \sum_{j=1}^\ell \beta_{ij}|u_j|^p|u_i|^{p-2}u_i, \qquad u_i\in H^1(\mathbb{R}^N),\qquad i=1,\ldots,\ell,$$ where $N\geq 4$, $1<p<\frac{N}{N-2}$, and the matrix…
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly…