Source author record

António Machiavelo

António Machiavelo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT Formal Languages and Automata Theory

Catalog footprint

What is connected

5works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

The Dedekind-Hasse Criterion in Quaternion Algebras

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is a principal left (or right) ideal domain. Using this algorithm, we give an alternative proof that the maximal orders of discriminant 7 and 13, which are non-Euclidean, are PIDs. We also provide a completely arithmetic proof of a result of Gordon Pall that shows that, in an order that is a PID, an element of whose norm is divisible by an integer $m$ always has a left and a right divisor with norm $m$. This easily yields the existence and uniqueness (up to associates) of factorizations of a quaternion modeled on a factorization of its norm.

preprint2020arXiv

Report on Zhi-Wei Sun's "1-3-5 conjecture" and some of its refinements

We report here on the computational verification of a refinement of Zhi-Wei Sun's "1-3-5 conjecture" for all natural numbers up to 105 103 560 126. This, together with a result of two of the authors, completes the proof of that conjecture.

preprint2015arXiv

Partial Derivative Automaton for Regular Expressions with Shuffle

We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the average case. The number of states of the partial derivative automata is in the worst case at most 2^m, where m is the number of letters in the expression, while asymptotically and on average it is no more than (4/3)^m.

preprint2014arXiv

Statistical Study On The Number Of Injective Linear Finite Transducers

The notion of linear finite transducer (LFT) plays a crucial role in some cryptographic systems. In this paper we present a way to get an approximate value, by random sampling, for the number of non-equivalent injective LFTs. By introducing a recurrence relation to count canonical LFTs, we show how to estimate the percentage of $τ$-injective LFTs. Several experimental results are presented, which by themselves constitute an important step towards the evaluation of the key space of those systems.

preprint2012arXiv

Dynamics of a quasi-quadratic map

We consider the map X defined on the rational numbers given by x --> x * ceil(x), where ceil(x) denotes the smallest integer greater than or equal to x, and study the problem of finding, for each rational, the smallest number of iterations of X that eventually sends it into an integer. Given two natural numbers M and n, we prove that the set of irreducible fractions with denominator M whose orbits by X reach an integer in exactly n iterations is a disjoint union of congruence classes modulo M^n, establishing along the way a finite procedure to ascertain them. We also describe an efficient algorithm to decide if an orbit fails to hit an integer until a prescribed number of iterations, and deduce that the probability that an orbit enters the set of integers is equal to one.