Abstract:We characterize group representations that factor through monomial representations, respectively, block-triangular representations with monomial diagonal blocks, by arithmetic properties. Similar results are obtained for semigroup representations by invertible transformations. The characterizations use results on unit equations from Diophantine number theory (by Evertse, van der Poorten, and Schlickewei in characteristic zero, and by Derksen and Masser in positive characteristic). Specialized to finitely generated groups in characteristic zero, one of our main theorems recovers an improvement of a very recent similar characterization by Corvaja, Demeio, Rapinchuk, Ren, and Zannier that was motivated by the study of the bounded generation (BG) property. In positive characteristic, we get a characterization of linear BG groups, recovering a theorem of Abért, Lubotzky, and Pyber from 2003. Our motivation comes from weighted finite automata (WFA) over a field. For invertible WFA we show that $M$-ambiguity, finite ambiguity, and polynomial ambiguity are characterized by arithmetic properties. We discover a full correspondence between arithmetic properties and a complexity hierarchy for WFA based on ambiguity. In the invertible case, this is a far-reaching generalization of a recent result by Bell and the second author, characterizing unambiguous WFA, that resolved a 1979 conjecture of Reutenauer. As a consequence, using the computability of the (linear) Zariski closure of a finitely generated matrix semigroup, the $M$-ambiguity, finite ambiguity, and polynomial ambiguity properties are algorithmically decidable for invertible WFA.

Arithmetic, interpolation and factorization of amalgams

Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Amalgamation of real zero polynomials

Efficient computations in central simple algebras using Amitsur cohomology

Assembly of Constructible Factorization Algebras

Lattices in function fields and applications

Köthe Amalgams: The Ideal Type of Infinite Direct Sums

Abstract divisorial spaces and arithmetic intersection numbers

A refinement of Reznick's Positivstellensatz with applications to quantum information theory

Improved effective Łojasiewicz inequality and applications

Non-commutative factorizations and finite-dimensional representations of free algebras

Splines, lattice points, and arithmetic matroids

Brumer-Stark Units and Explicit Class Field Theory

Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata

Chaining, Interpolation, and Convexity II: The contraction principle

Wiener-Luxemburg amalgam spaces

Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Simplices of maximally amenable extensions in II$_1$ factors