Related papers: The zero divisor conjecture and Mealy automata
The three famous problems concerning units, zero-divisors and idempotents in group rings of torsion-free groups, commonly attributed to I. Kaplansky, have been around for more than 60 years and still remain open in characteristic zero. In…
Multivariate discrete probability laws are considered. We show that such laws are quasi-infinitely divisible if and only if their characteristic functions are separated from zero. We generalize the existing results for the univariate…
Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$.…
The number of tuples with positive integers pairwise relatively prime to each other with product at most $n$ is considered. A generalization of $\mu^{2}$ where $\mu$ is the M\"{o}bius function is used to formulate this divisor sum and…
We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…
A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…
A connection between the zeta functions of zeros and poles of a meromorphic function has been established, and using it, a criterion for the absence of zeros has been derived. Sufficient conditions for the existence of zeros of sums of…
This paper is a continuation of our paper [Med. J. Math 19, Article number: 31 (2022)] in which we extended the notion of generalized Drazin-Riesz invertible operators to closed operators. We establish here, results relating the notion of…
In this paper, we are motivated by the conjectures proposed by C.~Bender \textit{et al.}, \cite{C} in 2024. We have settled the first two conjectures negatively by providing a counter example in \cite{KTJ}, whereas in this paper, we prove…
While the reversibility of multidimensional cellular automata is undecidable and there exists a criterion for determining if a multidimensional linear cellular automaton is reversible, there are only a few results about the reversibility…
Let $M$ be a non-zero binary matrix with distinct rows where the rows are closed under certain logical operators. In this article, we investigate the existence of columns containing an equal or greater number of ones than zeros.…
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…
Assuming the validity of a conjecture in quant-ph/9910026 and quant-ph/9910022 we show that the distillable entanglement for two bipartite states, each of which individually has zero distillable entanglement, can be nonzero. We show that…
We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…
We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only…
The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conjecture can be modeled gives a classification of what logic…
We consider Turing machines as actions over configurations in $\Sigma^{\mathbb{Z}^d}$ which only change them locally around a marked position that can move and carry a particular state. In this setting we study the monoid of Turing machines…
Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite…
In this paper, we formulate a notion of diagnosability for labeled weighted automata over a class of dioids which admit both positive and negative numbers as well as vectors. The weights can represent diverse physical meanings such as time…
One of the most fundamental problems in computational learning theory is the the problem of learning a finite automaton $A$ consistent with a finite set $P$ of positive examples and with a finite set $N$ of negative examples. By…