Schmidt's conjecture on normality for commuting matrices
type: Item
instance of: scholarly article
title: Schmidt's conjecture on normality for commuting matrices
zbMATH Open document ID: 0773.11049
DOI: 10.1007/BF01231295
author: Gavin Brown
author: W. Moran
published in: Inventiones Mathematicae
publication date: 1993-06-17T00:00:00Z
full work available at URL: https://eudml.org/doc/144085
review text: The authors prove the commuting case of a longstanding conjecture due to W. M. Schmidt on a generalization of Borel normality. A vector \(x\in\mathbb{R}^ n\) is normal with respect to the \(n\times n\) matrix \(S\) or \(S\)-normal if the sequence \((S^ nx:n=1,2,\dots)\) is uniformly distributed mod 1, so that the space and time averages tend to the same limit over the \(n\)-dimensional torus \(\mathbb{T}^ n\). A matrix \(S\) is called ergodic if almost every \(x\in\mathbb{R}^ n\) is \(S\)-normal and two such ergodic systems generated by \(S\) and \(T\) are normally equivalent if \(S\)- normality and \(T\)-normality coincide. An \(n\times n\) invertible matrix \(T\) with rational entries is almost integral if its eigenvalues are algebraic integers; such matrices are ergodic iff their eigenvalue are not 0 or a root of unity. Let \(S,T\) be commuting almost integer ergodic matrices. Schmidt showed that if there exist positive integers \(p,q\) such that \(S^ p=T^ q\) then every \(S\)-normal \(x\) is \(T\)-normal and vice- versa; and that otherwise there exist uncountably many points in \(\mathbb{R}^ n\) normal in base \(S\) but not in base \(T\) and vice-versa, providing the eigenvalues of \(S\) and \(T\) had modulus \(>1\). He also gave a complete solution in the one-dimensional case. The authors prove the second part of the result without the restriction on the modulus of the eigenvalues by using Riesz product measures instead of measures drawn from the class of Bernoulli convolutions. A special case of their main result is that if two normally equivalent ergodic systems are generated by commuting matrices \(S\) and \(T\) then some power of \(S\) is a power of \(T\). Their arguments are based on those of Schmidt and provide a short proof of the one dimensional case. The authors state that they will be reporting on substantial progress in the noncommuting case.
Mathematics Subject Classification ID: 11K16
Mathematics Subject Classification ID: 28D99
zbMATH DE Number: 203551
zbMATH Keywords: Schmidt's conjecture
zbMATH Keywords: commuting matrices
zbMATH Keywords: \(S\)-normality
zbMATH Keywords: \(T\)-normality
zbMATH Keywords: generalization of Borel normality
reviewed by: M. M. Dodson
MaRDI profile type: Publication
Wikidata QID: Q123346507
cites work: Riesz Products and Normal Numbers
cites work: A decomposition theorem for numbers in which the summands have prescribed normality properties
cites work: Riesz products, Hausdorff dimension and normal numbers
cites work: Q5545069
cites work: On a problem of Steinhaus about normal numbers
cites work: Q5527400
cites work: The Hausdorff dimension of a set of normal numbers
cites work: On normal numbers
cites work: Über die Normalität von Zahlen zu verschiedenen Basen
cites work: Normalität bezüglich Matrizen.
description: scientific article; zbMATH DE number 203551