Related papers: On automatic subsets of the Gaussian integers

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

We show that an independent family of uniformly distributed random permutation matrices is asymptotically *-free from an independent family of square complex Gaussian matrices and from an independent family of complex Wishart matrices, and…

In this paper, we give some counting results on integer polynomials of fixed degree and bounded height whose distinct non-zero roots are multiplicatively dependent. These include sharp lower bounds, upper bounds and asymptotic formulas for…

This paper studies automatic structures for subsemigroups of Baumslag--Solitar semigroups (that is, semigroups presented by $\ < x,y \mid (yx^m, x^ny)\ >$, where $m$ and $n$ are natural numbers). A geometric argument (a rarity in the field…

Counterexamples to the Modular Isomorphism Problem were discovered recently. These are non-isomorphic finite $2$-groups $G$ and $H$ that have isomorphic group algebras over the field $\mathbb{Z}/2\mathbb{Z}$ and non-isomorphic group…

Denote by $\lambda(n)$ Liouville's function concerning the parity of the number of prime divisors of $n$. Using a theorem of Allouche, Mend\`es France, and Peyri\`ere and many classical results from the theory of the distribution of prime…

We call a subset $A$ of the (additive) abelian group $G$ {\it $t$-independent} if for all non-negative integers $h$ and $k$ with $h+k \leq t$, the sum of $h$ (not necessarily distinct) elements of $A$ does not equal the sum of $k$ (not…

This is a sequel to the paper [K. Fujii : SIGMA {\bf 7} (2011), 022, 12 pages]. In this paper we treat a non-Gaussian integral based on a quartic polynomial and make a mathematical experiment by use of MATHEMATICA whether the integral is…

The notion of a k-automatic set of integers is well-studied. We develop a new notion - the k-automatic set of rational numbers - and prove basic properties of these sets, including closure properties and decidability.

This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem…

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely…

Following up on a paper of Balamohan, Kuznetsov, and Tanny, we analyze a variant of Hofstadter's Q-sequence and show it is 2-automatic. An automaton computing the sequence is explicitly given.

This paper studies which functions computed by $\mathbb{Z}$-weighted automata can be realized by $\mathbb{N}$-weighted automata, under two extra assumptions: commutativity (the order of letters in the input does not matter) and polynomial…

(Free-abelian)-by-free, self-similar groups generated by finite self-similar sets of tree automorphisms and having unsolvable conjugacy problem are constructed. Along the way, orbit undecidable, free subgroups of GL_d(Z), for d > 5, and…

We show that there are Cayley automatic groups that are not Cayley biautomatic. In addition, we show that there are Cayley automatic groups with undecidable Conjugacy Problem and that the Isomorphism Problem is undecidable in the clas of…

We classify all cyclotomic matrices over the Eisenstein and Gaussian integers, that is, all Hermitian matrices over the Eisenstein and Gaussian integers that have all their eigenvalues in the interval [-2, 2].

Let $G\subset\GL(\BC^r)$ be a finite complex reflection group. We show that when $G$ is irreducible, apart from the exception $G=\Sgot_6$, as well as for a large class of non-irreducible groups, any automorphism of $G$ is the product of a…

Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper…

In a central lemma we characterize "generating functions" of certain functors on the category of algebraic non-commutative probability spaces. Special families of such generating functions correspond to "unital, associative universal…

In this paper, an alternate module $(A,\phi)$ is a finite abelian group $A$ with a $\mathbb{Z}$-bilinear application $\phi:A\times A\rightarrow \mathbb{Q}/\mathbb{Z}$ which is alternate (i.e. zero on the diagonal). We shall prove that any…