Related papers: On Reachability Problems for Low-Dimensional Matri…
We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup…
In this paper we prove several results regarding decidability of the membership problem for certain submonoids in amalgamated free products and HNN extensions of groups. These general results are then applied to solve the prefix membership…
We investigate certain singular integral operators with Riesz-type kernels on s-dimensional Ahlfors-David regular subsets of Heisenberg groups. We show that $L^2$-boundedness, and even a little less, implies that $s$ must be an integer and…
We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.
The commensurability index between two subgroups $A, B$ of a group $G$ is $[A : A \cap B] [B : A\cap B]$. This gives a notion of distance amongst finite-index subgroups of $G$, which is encoded in the p-local commensurability graphs of $G$.…
We discuss the wellposedness of the Neumann problem on a half-space for the Kohn-Laplacian in the Heisenberg group. We then construct the Neumann function and explicitly represent the solution of the associated inhomogeneous problem.
We examine the computational complexity of problems in which we are given generators for a partial bijection semigroup and asked to check properties of the generated semigroup. We prove that the following problems are in AC$^0$: (1)…
We study the relationship between the loop problem of a semigroup, and that of a Rees matrix construction (with or without zero) over the semigroup. This allows us to characterize exactly those completely zero-simple semigroups for which…
In this paper we study singular integrals on small (that is, measure zero and lower than full dimensional) subsets of metric groups. The main examples of the groups we have in mind are Euclidean spaces and Heisenberg groups. In addition to…
For a degree $n$ polynomial $f$ over the rationals, the elements in the fiber $f^{-1}(a)$ are of degree $n$ over $\mathbb Q$ for most rational values $a$ by Hilbert's irreducibility theorem. Determining the set of exceptional $a$'s without…
We study decay rates for bounded $C_0$-semigroups from the perspective of $L^p$-infinite-time admissibility and related resolvent estimates. In the Hilbert space setting, polynomial decay of semigroup orbits is characterized by the…
We define the notion of accessibility for a pro-$p$ group. We prove that finitely generated pro-$p$ groups are accessible given a bound on the size of their finite subgroups. We then construct a finitely generated inaccessible pro-$p$…
We consider what some authors call 'parabolic M\"obius subgroups' of matrices over Z, Q, and R and focus on the membership problem in these subgroups and complexity of relevant algorithms.
We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time…
An elimination problem in semidefinite programming is solved by means of tensor algebra. It concerns families of matrix cube problems whose constraints are the minimum and maximum eigenvalue function on an affine space of symmetric…
Let $L$ be a homogeneous sublaplacian on a 2-step stratified Lie group $G$ of topological dimension $d$ and homogeneous dimension $Q$. By a theorem due to Christ and to Mauceri and Meda, an operator of the form $F(L)$ is bounded on $L^p$…
In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on…
The nonsoluble length $\lambda(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series of $G$ each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The…
We classify all triples $(G,V,H)$ such that $SL_n(q)\leq G\leq GL_n(q)$, $V$ is a representation of $G$ of dimension greater than one over an algebraically closed field $\FF$ of characteristic coprime to $q$, and $H$ is a proper subgroup of…
We prove boundary H\"older and Lipschitz regularity for a class of degenerate elliptic, second order, inhomogeneous equations in non-divergence form structured on the left-invariant vector fields of the Heisenberg group. Our focus is on the…