Leon Mirsky

Leonid Mirsky (19 December 1918 – 1 December 1983) was a Russian-British mathematician who worked in number theory, linear algebra, and combinatorics. Mirsky's theorem is named after him.

Biography Mirsky was born in Russia on 19 December 1918 to a medical family, but his parents sent him to live with his aunt and uncle, a wool merchant in Germany, when he was eight. His uncle's family moved to Bradford, England in 1933, bringing Mirsky with them. He studied at Herne Bay High School and King's College, London, graduating in 1940. Because of the evacuation of London during the Blitz, students at King's College were moved to Bristol University, where Mirsky earned a master's degree. He took a short-term faculty position at Sheffield University in 1942, and then a similar position in Manchester; he returned to Sheffield in 1945, where (except for a term as visiting faculty at Bristol) he would stay for the rest of his career. He became a lecturer in 1947, earned a Ph.D. from Sheffield in 1949, became senior lecturer in 1958, reader in 1961, and was given a personal chair in 1971.

In 1953 Mirsky married Aileen Guilding who was, at that time, a lecturer in Biblical History and Literature at Sheffield but later became a professor and Head of Department.

He retired in September 1983, and died on 1 December 1983.

Mirsky was an editor of the Journal of Linear Algebra and its Applications, the Journal of Mathematical Analysis and Applications, and Mathematical Spectrum.

Linear algebra In 1947, Mirsky was asked to teach a course in linear algebra. He soon after wrote a textbook on the subject, An introduction to linear algebra (Oxford University Press, 1955), as well as writing a number of research papers on the subject.

In his research, Mirsky provided necessary and sufficient conditions for the existence of matrices of various types (real symmetric matrices, orthogonal matrices, Hermitian matrices, etc.) with specified diagonal elements and specified eigenvalues.

He obtained a tightening of the Birkhoff–von Neumann theorem with H. K. Farahat stating that every doubly stochastic matrix can be obtained as a convex combination of permutation matrices. In Mirsky's version of this theorem, he showed that at most permutation matrices are needed to represent every doubly stochastic matrix, and that some doubly stochastic matrices need this many permutation matrices. In modern polyhedral combinatorics, this result can be seen as a special case of Carathéodory's theorem applied to the Birkhoff polytope. He also worked with Hazel Perfect on the spectra of doubly stochastic matrices.

Combinatorics In the mid 1960s, Mirsky's research focus shifted again, to combinatorics, after using Hall's marriage theorem in connection with his work on doubly stochastic matrices. In this area, he wrote the textbook Transversal Theory (Academic Press, 1971), at the same time editing a festschrift for Richard Rado. He derived conditions for pairs of set families to have simultaneous transversals, closely related to later work on network flow problems. He also was one of the first to recognize the importance of transversal matroids, and he showed that transversal matroids can be represented using linear algebra over transcendental extensions of the rational numbers.

Mirsky's theorem, a dual version of Dilworth's theorem published by Mirsky in 1971, states that in any finite partially ordered set the size of the longest chain equals the smallest number of antichains into which the set may be partitioned. Although much easier to prove than Dilworth's theorem, it has many of the same consequences.