Linear operators preserving the (p,q)-numerical range

Let $\text{C}{}_{\mathrm{n\times n}}$ and $\text{H}{}_{\mathrm{n}}$ denote respectively the space of n×n complex matrices and the real space of n×n hermitian matrices. Let p,q,n be positive integers such that p?q?n. For $\text{A?}\text{C}{}_{\mathrm{n\times n}}$, the (p,q)-numerical range of A is the set

$\text{W}{}_{\mathrm{p,q}}\text{(A)={trC}{}_{\mathrm{p}}\text{(J}{}_{\mathrm{q}}\text{UAU}{}^1\text{):U}\text{unitary}\text{}}$

, where C_p(X) is the pth compound matrix of X, and Jq is the matrix I_q?O_n-q. Let $\text{L}$ denote $\text{H}$_n or $\text{C}{}_{\mathrm{n\times n}}$. The problem of determining all linear operators T: $\text{L}$→$\text{L}$ such that

$\text{W}{}_{\mathrm{p,q}}\text{(T(A))=W}{}_{\mathrm{p,q}}\text{(A)}\text{for all}\text{A?}\text{L}$

is treated in this paper.     

On the solutions to x′(t) = A(t) x (t) over all A(t), where P ⩽ A(t) ⩽ Q

Let P_ij and q_ij be positive numbers for i ≠ j, i, j = 1, …, n, and consider the set of matrix differential equations x′(t) = A(t) x(t) over all A(t), where a_ij(t) is piecewise continuous, a_ij(t) = ?∑_{i ≠ j}a_ij(t), and p_ij ? a_ij(t) ? q_ij all t. A solution x is also to satisfy ∑_{i = 1}ⁿx_i(0) = 1. Let C_t denote the set of all solutions, evaluated at t to equations described above. It is shown that $\text{C}{}_{\mathrm{t}}$, the topological closure of C_t, is a compact convex set for each t. Further, the set valued function $\text{C}{}_{\mathrm{t}}$, of t is continuous and $\text{limit}{}_{\mathrm{t\; \to \; \infty }}\text{C}\text{?}{}_{\mathrm{t}}\text{= ∩}\text{C}\text{?}{}_{\mathrm{t}}$.     

On the Carathéodory-John Multiplier Rule

Suppose Φ maps an open subset U of Rⁿ into R^k, a?U, S is a subset of U, and int Φ(S) denotes the interior of the image Φ(S). Call any result with conclusion Φ(a) ? int Φ(S) an interior mapping theorem. The best known example is an easy corollary of the classical Implicit Mapping Theorem: if Φ is strongly differentiable at a?U and if L = Φ′(a), then Φ(a) ? int Φ(U) whenever L(a) ? int L(U), that is, whenever the linear transformation L maps Rⁿ onto R^k. A more subtle interior mapping theorem is proved in this paper: if $\text{a ? U ∩}\text{C}\text{?}\text{,}\text{where}\text{C}$ is a convex subset of U, if Φ is strongly differentiable at a?U, and if L = Φ′(a), then Φ(a) ? int Φ(C) whenever L(a) ? int L(C). This Convex Interior Mapping Theorem is then applied to yield a short proof of the Carathéodory-John Multiplier Rule for minimizing a strongly differentiable function φ₀ subject to strongly differentiable inequality constraints φ₁ ? 0,…, φ_p ? 0 strongly differentiable equality constraints φ_{p + 1} = 0,…, φ_{p + q}= 0. (A corollary of this fundamental multiplier rule is the well-known Karush-Kuhn-Tucker theorem.) The demonstration proceeds by examining interiority properties of the mapping Φ = (φ₀, φ₁,…, φ_{p + q}) from U into R^{p + q +1}.     

Über asymmetrische diophantische approximationen

For irrational numbers θ define α(θ) = lim sup{1/(q(p ? qθ))|p ∈ $\text{Z}$, q ∈ $\text{N}$, p ? qθ > 0} and α(θ) = 0 for rationals. Put $\text{α}\text{(θ) = max{α(θ), α(?0)}}$. Then $\text{U}$ = α($\text{R}$β$\text{Q}$) is an asymmetric analogue to the Lagrange spectrum $\text{U}\text{=}\text{α}\text{(RβQ)}$. Our results concerning $\text{U}$ partly contrast the known properties of $\text{U}$. In fact, $\text{U}$ is a perfect set, each element of which is a condensation point of the spectrum and has continuously many preimages. $\text{U}$ is the closure of its rational elements and of its elements of the form p√m (p ∈ $\text{Q}$), as well. The arbitrarily well approximable numbers form a G_δ-set of 2. category. One has, roughly speaking, $\text{α}\text{→ ∞}$ for α → 1. Finally, the well-known Markov sequence which constitutes the lower Lagrange and Markov spectrum is proved to be a (small) subset of $\text{U}$?[√5,3).     

Operators as spectral integrals of operator-valued functions from the study of multivariate stationary stochastic processes

P. Masani and the author have previously answered the question, “When is an operator on a Hilbert space $\text{H}$ the integral of a complex-valued function with respect to a given spectral (projection-valued) measure?” In this paper answers are given to the question, “When is a linear operator from $\text{H}$^q to $\text{H}$^p the integral of a spectral measure?”; here the values of the integrand are linear operators from the square-summable q-tuples of complex numbers to the square-summable p-tuples of complex numbers, and our spectral measure for $\text{H}$^q is the “inflation” of a spectral measure for $\text{H}$. In the course of this paper, we make available tools for handling the spectral analysis of q-variate weakly stationary processes, 1 ≤ q ≤ ∞, which should enable researchers to deal in the future with the case q = ∞. We show as one application of our theory that if U = ∫(in0, 2π]e^?iθE(dθ) is a unitary operator on $\text{H}$ and if T is a bounded linear operator from $\text{H}$^q to $\text{H}$^q (1 ≤ q ≤ ∞) which is a prediction operator for each stationary process (Uⁿx)_?∞^∞ ?$\text{H}$^q (for each x = (xⁱ)_i^j ∈ $\text{H}$^q, Uⁿx = (Uⁿxⁱ)_i=1^q), then T is a spectral integral, ∫(_0,2π)]Φ(θ) E(dθ), and the Banach norm of T, |T|_B = ess sup |Φ(θ)|_B.     

Construction of translation planes from t-spread sets

A t-spread set [1] is a set $\text{C}$ of (t + 1) × (t + 1) matrices over GF(q) such that ∥C∥ = q^t+1, 0 ? C, I?C, and det(X ? Y) ≠ 0 if X and Y are distinct elements of $\text{C}$. The amount of computation involved in constructing t-spread sets is considerable, and the following construction technique reduces somewhat this computation. Construction: Let $\text{G}$ be a subgroup of GL(t + 1, q), (the non-singular (t + 1) × (t + 1) matrices over GF(q)), such that ∥G∥|a^t+1, and det (G ? H) ≠ 0 if G and H are distinct elements of $\text{G}$. Let A₁, A₂, …, A_n?GL(t + 1, q) such that det(A_i ? G) ≠ 0 for i = 1, …, n and all G?G, and det(A_i ? A_jG) ≠ 0 for i > j and all G?G. Let $\text{C = \&{0\&} ∪ G ∪ A}{}_1\text{G ∪ … ∪ A}{}_{\mathrm{n}}\text{G}$, and ∥C∥ = q^t+1. Then $\text{C}$ is a t-spread set. A t-spread set can be used to define a left V ? W system over V(t + 1, q) as follows: x + y is the vector sum; let e?V(t + 1, q), then xoy = yM(x) where M(x) is the unique element of $\text{C}$ with x = eM(x). Theorem: Let$\text{C}$be a t-spread set and F the associatedV ? Wsystem; the left nucleus = {y | CM(y) = C}, and the middle nucleus = }y | M(y)C = C}. Theorem: For$\text{C}$constructed as aboveG ? {M(x) | x?N_λ}. This construction technique has been applied to construct a V ? W system of order 25 with ∥N_λ∥ = 6, and ∥N_μ∥ = 4. This system coordinatizes a new projective plane.     

Characterization of H(n, q) by the parameters

Distance-regular graphs which have the same parameters as the Hamming scheme H(n, q) are classified. If q ≠ 4, H(n, q) is the only such graph. If q = 4, there are precisely $\text{[}\text{n}\text{2}\text{]}$ (isomorphism classes of) such graphs other than H(n, q).     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

An umbral calculus for polynomials characterizing U(n) tensor operators

After the change of variables Δ_i = γ_i ? δ_i and x_{i,i + 1} = δ_i ? δ_{i + 1} we show that the invariant polynomials _μG⁽ⁿ⁾_q(, Δ_i, ; , x_i,i+1,) characterizing U(n) tensor operators 〈p, q,…, q, 0,…, 0〉 become an integral linear combination of Schur functions S_λ(γ ? δ) in the symbol γ ? δ, where γ ? δ denotes the difference of the two sets of variables {γ₁ ,…, γ_n} and {δ₁ ,…, δ_n}. We obtain a similar result for the yet more general bisymmetric polynomials ^m_μG⁽ⁿ⁾_q(γ₁ ,…, γ_n; δ₁ ,…, δ_m). Making use of properties of skew Schur functions $\text{S}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\rho </mtext>}}$ and S_λ(γ ? δ) we put together an umbral calculus for ^m_μG⁽ⁿ⁾_q(γ; δ). That is, working entirely with polynomials, we uniquely determine ^m_μG⁽ⁿ⁾_q(γ; δ) from ^m_μG⁽ⁿ⁾_{q ? 1}(γ; δ) and combinatorial rules involving Ferrers diagrams (i.e., partitions), provided that n ≥ (μ + 1)q. (This restriction does not interfere with writing the general case of ^m_μG⁽ⁿ⁾_q(γ; δ) as a linear combination of S_λ(γ ? δ).) As an application we deduce “conjugation” symmetry for ⁿ_μG⁽ⁿ⁾_q(γ; δ) from “transposition” symmetry by showing that these two symmetries are equivalent.     

Operator properties of Sobolev imbeddings over unbounded domains

For an open set Ω ? $\text{R}$^N, 1 ? p ? ∞ and λ ∈ $\text{R}$⁺, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm (cf. A. Pietsch, “r-nukleare Sobol. Einbett. Oper., Ellipt. Dgln. II,” Akademie-Verlag, Berlin, 1971, pp. 203–215). Choose a Banach ideal of operators $\text{U}$, 1 ? p, q ? ∞ and a quasibounded domain Ω ? $\text{R}$^N. Theorem 1 of the note gives sufficient conditions on λ such that the Sobolev-imbedding map $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the given Banach ideal $\text{U}$: Assume the quasibounded domain fulfills condition C_k^l for some l > 0 and 1 ? k ? N. Roughly this means that the distance of any $\text{x ? Ω}$ to the boundary ?Ω tends to zero as $\text{O(¦ x ¦}{}^{\mathrm{?l}}\text{)}$ for $\text{¦ x ¦ → ∞}$, and that the boundary consists of sufficiently smooth ?(N ? k)-dimensional manifolds. Take, furthermore, 1 ? p, q ? ∞, p > k. Then, if μ, ν are real positive numbers with λ = μ + v ∈ $\text{N}$, μ > λ _S($\text{U}$; p,q:N) and v > N/l · λ_D($\text{U}$;p,q), one has that $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ belongs to the Banach ideal $\text{U}$. Here λ_D($\text{U}$;p,q;N)∈$\text{R}$⁺ and λ_S($\text{U}$;p,q;N)∈$\text{R}$⁺ are the D-limit order and S-limit order of the ideal $\text{U}$, introduced by Pietsch in the above mentioned paper. These limit orders may be computed by estimating the ideal norms of the identity mappings l_pⁿ → l_qⁿ for n → ∞. Theorem 1 in this way generalizes results of R. A. Adams and C. Clark for the ideals of compact resp. Hilbert-Schmidt operators (p = q = 2) as well as results on imbeddings over bounded domains.Similar results over general unbounded domains are indicated for weighted Sobolev spaces.As an application, in Theorem 2 an estimate is given for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω fulfills condition C₁^l.For an open set Ω in $\text{R}$^N, let $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω)}$ denote the Sobolev-Slobodetzkij space obtained by completing $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ in the usual Sobolev-Slobodetzkij norm, see below. Taking a fixed Banach ideal of operators and 1 ? p, q ? ∞, we consider quasibounded domains Ω in $\text{R}$^N and give sufficient conditions on λ such that the Sobolev imbedding operator $\text{W}\text{?}{}_{\mathrm{p}}{}^{\mathrm{\lambda }}\text{(Ω) λ L}{}_{\mathrm{q}}\text{(Ω)}$ exists and belongs to the Banach ideal. This generalizes results of C. Clark and R. A. Adams for compact, respectively, Hilbert-Schmidt operators (p = q = 2) to general Banach ideals of operators, as well as results on imbeddings over bounded domains. Similar results over general unbounded domains may be proved for weighted Sobolev spaces. As an application, we give an estimate for the rate of growth of the eigenvalues of formally selfadjoint, uniformly strongly elliptic differential operators with Dirichlet boundary conditions in $\text{L}{}_2\text{(Ω)}$, where Ω is a quasibounded open set in $\text{R}$^N.     

Multiplicativity of lp norms for matrices. II

For 1 ? p ? ∞, let

$\text{|A|}{}_{\mathrm{p}}\text{=}\text{Σ}\text{i=1}\text{m}\text{Σ}\text{j=1}\text{n}\text{, |α}{}_{\mathrm{ij}}\text{|}{}^{\mathrm{p}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}$

, be the l_p norm of an m × n complex A = (α_ij) ?C_{m × n}. The main purpose of this paper is to find, for any p, q ? 1, the best (smallest) possible constants τ(m, k, n, p, q) and σ(m, k, n, p, q) for which inequalities of the form

$\text{|AB|}{}_{\mathrm{p}}\text{? τ(m, k, n, p, q) |A|}{}_{\mathrm{p}}\text{|B|}{}_{\mathrm{q}}\text{, |AB|}{}_{\mathrm{p}}\text{? σ (m, k, n, p, q)|A|}{}_{\mathrm{q}}\text{|B|}{}_{\mathrm{p}}$

hold for all A?C_{m × k}, B?C_{k × n}. This leads to upper bounds for inner products on C^k and for ordinary l_p operator norms on C_{m × n}.     

Semi-crossed products of C1-algebras

Given a C¹-algebra $\text{U}$ and endomorphim α, there is an associated nonselfadjoint operator algebra $\text{Z}$⁺ X_α$\text{U}$, called the semi-crossed product of $\text{U}$ with α. If α is an automorphim, $\text{Z}$⁺ X_α$\text{U}$ can be identified with a subalgebra of the C¹-crossed product $\text{Z}$⁺ X_α$\text{U}$. If $\text{U}$ is commutative and α is an automorphim satisfying certain conditions, $\text{Z}$⁺ X_α$\text{U}$ is an operator algebra of the type studied by Arveson and Josephson. Suppose S is a locally compact Hausdorff space, φ: S → S is a continuous and proper map, and α is the endomorphim of U=C₀(S) given by α(?) = ? ō φ. Necessary and sufficient conditions on the map φ are given to insure that the semi-crossed product Z⁺X_αC₀(S) is (i) semiprime; (ii) semisimple; (ii) strongly semisimple.     

Projective repesentations of the Hilbert Lie group U (H)2 via quasifree statres on the CAR algebra

The group $\text{U}$ (H)₂ of unitary operators (on a Hilbert space H) which differ from the identity by a Hilbert-Schmidt operator may be imbedded in the group of Bogoliubov automorphisms of the CAR algebra over H in such a way as to be weakly inner in any gauge-invariant quasifree representation. Consequently each such quasifree representation determines a projective representation of $\text{U}$ (H)₂. If 0 ? A ? I is the operator on H determining the quasifree representation π_A and ?_A denotes the cyclic projective representation of $\text{U}$ (H)₂ generated from the G.N.S. cyclic vector $\text{Ω}{}_{\mathrm{A}}\text{for}\text{π}{}_{\mathrm{A}}$, then the 2-cocycle in $\text{U}$ (H)₂ determined by ?_A can be given explicitly. We prove that this 2-cocycle is a coboundary if any only if A or 1 ? A is Hilbert-Schmidt. The representations ?_A, on restriction to the group $\text{U}$ (H)₁ consisting of unitaries which differ from the identity by a trace class operator, always determine 2-cocycles which are coboundaries. These representations of $\text{U}$ (H)₁ have already been investigated by 21., 22., 87–110). Thus the Stratila-Voiculescu representations of $\text{U}$ (H)₁ always extend to projective representations of $\text{U}$ (H)₂ and to ordinary representations when A or 1 ? A is Hilbert-Schmidt. This fact enables exploitation of the type analysis of Stratila and Voiculescu to determine the type of the von Neumann algebra ρ_A($\text{U}$(H)₂)″. In the special case where 0 and 1 are not eigenvalues of $\text{A, Ω}{}_{\mathrm{A}}$ is cyclic and separating for ρ_A($\text{U}$(H)₂)″ and hence determines a K.M.S. state on this algebra. It is shown that for special choices of A, type III_λ (0 < λ ? 1) factors ρ_A($\text{U}$(H)₂)″ may be constructed.     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

On the probability that k positive integers are relatively prime II

Given a set S of positive integers let $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t)}$ denote the number of k-tuples 〈m₁, …, m_k〉 for which $\text{m}{}_{\mathrm{i}}\text{∈ S ? [1, t]}$ and (m₁, …, m_k) = 1. Also let $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n)}$ denote the probability that k integers, chosen at random from $\text{S ? [1, n]}$, are relatively prime. It is shown that if P = {p₁, …, p_r} is a finite set of primes and S = {m : (m, p₁ … p_r) = 1}, then $\text{Z}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(t) = (td(S))}{}^{\mathrm{k}}\text{Π}{}_{\mathrm{\nu ?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) + O(t}{}^{\mathrm{k?1}}\text{)}$ if k ≥ 3 and $\text{Z}{}_2{}^{\mathrm{S}}\text{(t) = (td(S))}{}^2\text{Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^2\text{) + O(t}\text{log}\text{t)}$ where d(S) denotes the natural density of S. From this result it follows immediately that $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → Π}{}_{\mathrm{p?P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{) = (ζ(k))}{}^{\mathrm{?1}}\text{Π}{}_{\mathrm{p\in P}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{k}}\text{)}{}^{\mathrm{?1}}$ as n → ∞. This result generalizes an earlier result of the author's where $\text{P = ?}$ and S is then the whole set of positive integers. It is also shown that if S = {p₁^x₁ … p_r^x_r : x_i = 0, 1, 2,…}, then $\text{P}{}_{\mathrm{k}}{}^{\mathrm{S}}\text{(n) → 0}$ as n → ∞.     

The visually distinct configurations of k sets

Two sets of sets, C₀ and C₁, are said to be visually equivalent if there is a 1-1 mapping m from C₀ onto C₁ such that for every S, T?C₀, S ∩ T=0 if and only if m(S)∩ m(T)=0 and S?T if and only if m(S)?m(T). We find estimates for V(k), the number of equivalence classes of this relation on sets of k sets, for finite and infinite k. Our main results are that for finite k, $\text{1}\text{2}\text{k}{}^2\text{-k log k <log V (k)<ak}{}^2\text{+βk+log k}$, where α and β are approximately 0.7255 and 2.5323 respectively, and there is a set N of cardinality $\text{1}\text{2}\text{(k}{}^2\text{+k)}$ such that there are V(k) visually distinct sets of k subsets of N.     

Arithmetic in generalized Artin-Schreier extensions of k(x)

If k is a perfect field of characteristic p ≠ 0 and k(x) is the rational function field over k, it is possible to construct cyclic extensions K_n over k(x) such that [K : k(x)] = pⁿ using the concept of Witt vectors. This is accomplished in the following way; if [β₁, β₂,…, β_n] is a Witt vector over k(x) = K₀, then the Witt equation $\text{y}{}^{\mathrm{p}}\text{?}\text{y}\text{= β}$ generates a tower of extensions through $\text{K}{}_{\mathrm{i}}\text{= K}{}_{\mathrm{i?1}}\text{(}\text{y}{}_{\mathrm{i}}\text{)}$ where $\text{y}\text{= [}\text{y}{}_1\text{,}\text{y}{}_2\text{,…,}\text{y}{}_{\mathrm{n}}\text{]}$. In this paper, it is shown that there exists an alternate method of generating this tower which lends itself better for further constructions in K_n. This alternate generation has the form K_i = K_i?1(y_i); y_i^p ? y_i = B_i, where, as a divisor in K_i?1, B_i has the form . In this form q is prime to Πp_j^λ_j and each λ_j is positive and prime to p. As an application of this, the alternate generation is used to construct a lower-triangular form of the Hasse-Witt matrix of such a field K_n over an algebraically closed field of constants.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

On the maximum number of permutations with given maximal or minimal distance

Let us denote by R(k, ? λ)[R(k, ? λ)] the maximal number $\text{M}$ such that there exist $\text{M}$ different permutations of the set {1,…, k} such that any two of them have at least λ (at most λ, respectively) common positions. We prove the inequalities R(k, ? λ) ? kR(k ? 1, ? λ ? 1), R(k, ? λ) ? R(k, ? λ ? 1) ? k!, R(k, ? λ) ? kR(k ? 1, ? λ ? 1). We show: R(k, ? k ? 2) = 2, R(k, ? 1) = (k ? 1)!, R(p^m, ? 2) = (p^m ? 2)!, R(p^m + 1, ? 3) = (p^m ? 2)!, $\text{R(k, ? k ? 3) =}\text{k!}\text{2}$, R(k, ? 0) = k, R(p^m, ? 1) = p^m(p^m ? 1), R(p^m + 1, ? 2) = (p^m + 1)p^m(p^m ? 1). The exact value of R(k, ? λ) is determined whenever k ? k₀(k ? λ); we conjecture that R(k, ? λ) = (k ? λ)! for k ? k₀(λ). Bounds for the general case are given and are used to determine that the minimum of |R(k, ? λ) ? R(k, ? λ)| is attained for $\text{λ = (}\text{k}\text{2}\text{) + O(}\text{k}\text{log}\text{k}\text{)}$.