-
Partial classification of spectrum maximizing products for pairs of $2\times2$ matrices
Authors:
Piotr Laskawiec
Abstract:
Experiments suggest that typical finite sets of square matrices admit spectrum maximizing products (SMPs): that is, products that attain the joint spectral radius (JSR). Furthermore, those SMPs are often combinatorially "simple." In this paper, we consider pairs of real $2 \times 2$ matrices. We identify regions in the space of such pairs where SMPs are guaranteed to exist and to have a simple str…
▽ More
Experiments suggest that typical finite sets of square matrices admit spectrum maximizing products (SMPs): that is, products that attain the joint spectral radius (JSR). Furthermore, those SMPs are often combinatorially "simple." In this paper, we consider pairs of real $2 \times 2$ matrices. We identify regions in the space of such pairs where SMPs are guaranteed to exist and to have a simple structure. We also identify another region where SMPs may fail to exist (in fact, this region includes all known counterexamples to the finiteness conjecture), but nevertheless a Sturmian maximizing measure exists. Though our results apply to a large chunk of the space of pairs of $2 \times 2$ matrices, including for instance all pairs of non-negative matrices, they leave out certain "wild" regions where more complicated behavior is possible.
△ Less
Submitted 30 April, 2025; v1 submitted 24 June, 2024;
originally announced June 2024.
-
Spectrum maximizing products are not generically unique
Authors:
Jairo Bochi,
Piotr Laskawiec
Abstract:
It is widely believed that typical finite families of $d \times d$ matrices admit finite products that attain the joint spectral radius. This conjecture is supported by computational experiments and it naturally leads to the following question: are these spectrum maximizing products typically unique, up to cyclic permutations and powers? We answer this question negatively. As discovered by Horowit…
▽ More
It is widely believed that typical finite families of $d \times d$ matrices admit finite products that attain the joint spectral radius. This conjecture is supported by computational experiments and it naturally leads to the following question: are these spectrum maximizing products typically unique, up to cyclic permutations and powers? We answer this question negatively. As discovered by Horowitz around fifty years ago, there are products of matrices that always have the same spectral radius despite not being cyclic permutations of one another. We show that the simplest Horowitz products can be spectrum maximizing in a robust way; more precisely, we exhibit a small but nonempty open subset of pairs of $2 \times 2$ matrices $(A,B)$ for which the products $A^2 B A B^2$ and $B^2 A B A^2$ are both spectrum maximizing.
△ Less
Submitted 11 November, 2023; v1 submitted 29 January, 2023;
originally announced January 2023.
-
Dense Packings with Nonparallel Cylinders
Authors:
Dan Ismailescu,
Piotr Laskawiec
Abstract:
A \emph{cylinder packing} is a family of congruent infinite circular cylinders with mutually disjoint interiors in $3$-dimensional Euclidean space. The \emph{local density} of a cylinder packing is the ratio between the volume occupied by the cylinders within a given sphere and the volume of the entire sphere. The \emph{global density} of the cylinder packing is obtained by letting the radius of t…
▽ More
A \emph{cylinder packing} is a family of congruent infinite circular cylinders with mutually disjoint interiors in $3$-dimensional Euclidean space. The \emph{local density} of a cylinder packing is the ratio between the volume occupied by the cylinders within a given sphere and the volume of the entire sphere. The \emph{global density} of the cylinder packing is obtained by letting the radius of the sphere approach infinity.
It is known that the greatest global density is obtained when all cylinders are parallel to each other and each cylinder is surrounded by exactly six others. In this case, the global density of the cylinder packing equals $π/\sqrt{12}= 0.90689\ldots$. The question is how large a density can a cylinder packing have if one imposes the restriction that \emph{no two cylinders are parallel}.
In this paper we prove two results. First, we show that there exist cylinder packings with no two cylinders parallel to each other, whose local density is arbitrarily close to the local density of a packing with parallel cylinders. Second, we construct a cylinder packing with no two cylinders parallel to each other whose global density is $1/2$. This improves the results of K. Kuperberg, C. Graf and P. Paukowisch.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
