A complete set of invariants for finite groups and other results

For a finite group G and a set I ? {1, 2,…, n} let

${}_{\mathrm{G}}\text{(n,I) = ∑}{}_{\mathrm{g\; \in \; G}}\text{ε}{}_1\text{(g)?ε}{}_2\text{(g)???ε}{}_{\mathrm{n}}\text{(g)}$

,where

$\text{ε}{}_{\mathrm{i}}\text{(g)=g}\text{if}\text{i=∈ I,}$

$\text{ε}{}_{\mathrm{l}}\text{(g)=l}\text{if}\text{i=∈ I.}$

We prove, among other results, that the positive integers

$\text{tr}\text{(e}{}_{\mathrm{G}}\text{(n,I}{}_1\text{)+?+e}{}_{\mathrm{G}}\text{(n,I}{}_{\mathrm{r}}\text{))}{}^{\mathrm{k}}\text{:n,r,k,?1, I}{}_{\mathrm{j}}\text{?{1,…,n}, 1?|i}{}_{\mathrm{j}}\text{|?3}$

for 1 ? j ? r, I_j1 ∩ I_j2 ∩ I_j3 ∩ I_j4 = Ø for any 1 ? j₁ <j₂ <j₃ <j₄ ? r, determine G up to isomorphism. We also show that under certain assumptions finite groups are determined up to isomorphism by the number of their subgroups.     

Pairs of additive equations II. Large odd degree

Let k be an odd positive integer. Davenport and Lewis have shown that the equations

$\text{a}{}_1\text{x}{}_1{}^{\mathrm{k}}\text{+…+a}{}_{\mathrm{n}}\text{x}{}_{\mathrm{n}}{}^{\mathrm{k}}\text{=0}$

with integer coefficients, have a nontrivial solution in integers x₁,…, x_N provided that

$\text{N?[36klog6k]}$

Here it is shown that for any ? > 0 and k > k₀(?) the equations have a nontrivial solution provided that

$\text{N?}\text{8}\text{log 2}\text{+?}\text{k log k.}$

     

Construction of a recurrence relation for modified moments

In this paper we are constructing a recurrence relation of the form

$\text{∑}\text{i=0}\text{r}\text{ω}{}_{\mathrm{i}}\text{(k)m}{}_{\mathrm{k+i}}{}^{\mathrm{\{\lambda \}}}\text{[f] = ω(k)}$

for integrals (called modified moments)

$\text{m}{}_{\mathrm{k}}{}^{\mathrm{\{\lambda \}}}\text{[f]df=}\text{∫}\text{?1}\text{1}\text{f(x)C}{}_{\mathrm{k}}{}^{\mathrm{(\lambda )}}\text{(x)dx (k = 0,1,…)}$

in which C_k^(λ) is the k-th Gegenbauer polynomial of order $\text{λ(λ > ?}\text{1}\text{2}\text{)}$, and f is a function satisfying the differential equation

$\text{∑}\text{i=0}\text{n}\text{P}{}_{\mathrm{i}}\text{(x)f}{}^{\mathrm{(i)}}\text{(x) = p(x) (?1?x?1)}$

of order n, where p₀, p₁, …, p_n ? 0 are polynomials, and m_k^〈λ〉[p] is known for every k. We give three methods of construction of such a recurrence relation. The first of them (called Method I) is optimum in a certain sense.     

Numerical approximation of product integrals

A technique for the numerical approximation of matrix-valued Riemann product integrals is developed. For a ? x < y ? b, I_m(x, y) denotes

$\text{∫}\text{χ}\text{y}\text{∫}\text{χ}\text{v}{}_2\text{?}\text{∫}\text{χ}\text{v}{}_2\text{∏}\text{i=1}\text{m}\text{F(ν}{}_{\mathrm{i}}\text{)dν}{}_1\text{dν}{}_2\text{?dν}{}_{\mathrm{m}}$

, and A_m(x, y) denotes an approximation of I_m(x, y) of the form

$\text{(y?x)}{}^{\mathrm{m}}\text{∑}\text{k=1}\text{n}\text{a}{}_{\mathrm{k}}\text{∏}\text{i=1}\text{m}\text{F(χ}{}_{\mathrm{ik}}\text{)}$

, where a_k and y_ik are fixed numbers for i = 1, 2,…, m and k = 1, 2,…, N and x_ik = x + (y ? x)y_ik. The following result is established. If p is a positive integer, F is a function from the real numbers to the set of w × w matrices with real elements and F⁽¹⁾ exists and is continuous on [a, b], then there exists a bounded interval function H such that, if n, r, and s are positive integers, $\text{(b ? a)}\text{n}\text{= h < 1, x}{}_{\mathrm{i}}\text{= a + hi}\text{for}\text{i = 0, 1,…, n}\text{and}\text{0 < r ? s ? n}$, then

$\text{∏}\text{χ}{}_{\mathrm{r?}}\text{χ}{}_{\mathrm{s}}\text{(I+F dχ)?}\text{∏}\text{i=r}\text{s}\text{I+}\text{∑}\text{j=1}\text{p}\text{I}{}_{\mathrm{j}}\text{(χ}{}_{\mathrm{i?1}}\text{,χ}{}_{\mathrm{i}}\text{)}$

$\text{=h}{}^{\mathrm{p}}\text{H(χ}{}_{\mathrm{r?1}}\text{,χ}{}_{\mathrm{s}}\text{)+O(h}{}^{\mathrm{p+1}}\text{)}$

Further, if F^(j) exists and is continuous on [a, b] for j = 1, 2,…, p + 1 and A is exact for polynomials of degree less than p + 1 ? j for j = 1, 2,…, p, then the preceding result remains valid when A_j is substituted for I_j.     

Decomposable bilinear numerical radii

Let A be an n-square normal matrix over $\text{C}$, and Q_{m, n} be the set of strictly increasing integer sequences of length m chosen from 1,…, n. For α,β∈Q_{m, n} denote by A[α|β] the submatrix obtained from A by using rows numbered α and columns numbered β. For k∈{0,1,…,m} write z.sfnc;α∩β|=k if there exists a rearrangement of 1,…,m, say i₁,…,i_k, i_k+1,…,i_m, such that α(i_j)=β(i_j), j=1,…,k, and {α(i_k+1),…,α(i_m)};∩{β(i_k+1),…,β(i_m)}=ø. Let

be the group of n-square unitary matrices. Define the nonnegative number

$\text{?}{}_{\mathrm{k}}\text{(A)=}\text{max}\text{U∈}\textcolor{red}{}\text{|}\text{det}\text{(U}{}^1\text{AU) [α|β]|}$

, where |α∩β|=k. Theorem 1 establishes a bound for ?_k(A), 0?k<m?1, in terms of a classical variational inequality due to Fermat. Let A be positive semidefinite Hermitian, n?2m. Theorem 2 leads to an interlacing inequality which, in the case n=4, m=2, resolves in the affirmative the conjecture that

$\text{?}{}_{\mathrm{m}}\text{(A)??}{}_{\mathrm{m?1}}\text{(A)????}{}_0\text{(A)}$

.     

A completeness theorem for a nonlinear multiparameter eigenvalue problem

In this paper we study the linked nonlinear multiparameter system

$\text{y}{}_{\mathrm{r}}{}^{\mathrm{n}}\text{(X}{}_{\mathrm{r}}\text{) + M}{}_{\mathrm{r}}\text{Y}{}_{\mathrm{r}}\text{+}\text{∑}\text{s=1}\text{k}\text{λ}{}_{\mathrm{s}}\text{(a}{}_{\mathrm{rs}}\text{(X}{}_{\mathrm{r}}\text{) + P}{}_{\mathrm{rs}}\text{) Y}{}_{\mathrm{r}}\text{(X}{}_{\mathrm{r}}\text{) = 0, r = l,…, k}$

, where x_r? [a_r, b_r], y_r is subject to Sturm-Liouville boundary conditions, and the continuous functions a_rs satisfy ¦ $\text{A ¦ (x) =}\text{det}\text{a}{}_{\mathrm{rs}}\text{(x}{}_{\mathrm{r}}\text{) > 0}$. Conditions on the polynomial operators M_r, P_rs are produced which guarantee a sequence of eigenfunctions for this problem yⁿ(x) = Π_r=1^ky_rⁿ(x_r), n ? 1, which form a basis in $\text{L}{}^2\text{([a, b], ¦ A ¦)}$. Here [a, b] = [a₁, b₁ × … × [a_k, b_k].     

On a conjecture by D. Ž. D̄okovic

It is shown that if $\text{A?Ω}{}_{\mathrm{n}}\text{?{J}{}_{\mathrm{n}}\text{}}$ satisfies

$\text{nkσ}{}_{\mathrm{k}}\text{(A)?(n?k+1)}{}^2\text{σ}{}_{\mathrm{k?1}}\text{(A)}$

$\text{(k=1,2,…,n)}$

, where σ_k(A) denotes the sum of all kth order subpermanent of A, then Per[λJ_n+(1?λ)A] is strictly decreasing in the interval 0<λ<1.     

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 → ∞.     

Patterns of power residues

This paper examines the question of whether a given pattern

$\text{x,x+a}{}_1\text{,…,x+a}{}_{\mathrm{m?1}}$

of kth power residues of length m can be postponed indefinitely. This is the case when there exists a prime q, called a delay prime, which does not contain this pattern even if q itself is considered as a kth power residue. It is conjectured that if there exists no delay prime then there exists a finite limit

$\text{Λ=Λ (k,m;a}{}_1\text{,…,a}{}_{\mathrm{m?1}}$

for which the corresponding pattern will occur before Λ in every sufficiently large prime of the form kn + 1.     

Homogenization in open sets with holes

Let Q^r be a cylindrical bar with r cylindrical cavities having generators parallel to those of Q^r. Let Ω be the cross-section of the bar, Ω1 the cross-section of the domain occupied by the material and $\text{Ω}{}^{\mathrm{i}}\text{(i = 1,…, r)}$ the cross- sections of the cavities:

$\text{Ω}\text{?}{}^{\mathrm{i}}\text{? Ω}\text{Ω}\text{?}{}^{\mathrm{i}}\text{∩}\text{Ω}\text{?}{}^{\mathrm{k}}\text{= φ, i ≠ k}$

. The study of the elastic torsion of this bar leads to the following problem [see 2., 3., 267–320)]:

$\text{Δ?}{}_{\mathrm{r}}\text{+ 2μα = 0 in Ω1}$

$\text{?}{}_{\mathrm{r¦?\Omega }}\text{= 0}$

(1)

$\text{?}{}_{\mathrm{r}}\text{=}\text{constant on}\text{?Ω}{}^{\mathrm{i}}\text{; i = 1,…, r}$

where μ is the shear modulus of the material, α is the angle of twist and $\text{?}{}_{\mathrm{r}}$ represents the stress function. In this paper the problem (1) with an increasing number of holes which are distributed periodically is considered. One would like to know if $\text{?}{}_{\mathrm{r}}$ has a limit $\text{?}{}_{\mathrm{\infty }}\text{as}\text{r → + ∞}$, and if so, the equation satisfied by this limit. This is an “homogenization” problem — the heterogeneous bar Q^r is replaced by a homogeneous one, the response of which under torsion approximates as closely as possible that of Q^r. A more general problem will be studied and the case of elastic torsion will be obtained as an application. The proof uses the energy method [see Lions (Collège de France, 1975–1977), Tartar (Collège de France, 1977)] and extension theorems. A related problem is the homogenization of a perforated plate [cf. Duvaut (to appear)].     

Toeplitz matrices commuting with tridiagonal matrices

we prove that if R is a nonscalar Toeplitz matrix R_{i, j}=r_?i?j? which commutes with a tridiagonal matrix with simple spectrum, then

$\text{r}{}_{\mathrm{k}}\text{r}{}_1\text{=}\text{u}{}_{\mathrm{k-1}}\text{r}{}_2\text{r}{}_1\text{cos p}\text{u}{}_{\mathrm{k-1}}\text{(cos p)}$

, k=4, 5,…, with U_k the Chebychev polynomial of the second kind, where p is determined from

$\text{cos p=}\text{1}\text{2}\text{r}{}^2{}_1\text{?r}{}_1\text{r}{}_3\text{r}{}^2{}_2\text{?r}{}_1\text{r}{}_3$

.     

On the probability that given polynomials have a specified highest common factor

The polynomial functions f₁, f₂,…, f_m are found to have highest common factor h for a set of values of the variables x₁, x₂,…,x_m whose asymptotic density is

$\text{1}\text{h}{}^{\mathrm{n}}\text{∑}\text{d∣h}\text{μ(d)Π}{}^{\mathrm{m}}{}_{\mathrm{l\; =\; 1}}\text{?(f}{}_1\text{, dh)}\text{d}{}^{\mathrm{m}}\text{Π}\text{p∣h}\text{1?}\text{Π}{}^{\mathrm{m}}{}_{\mathrm{l\; =\; 1}}\text{?(f}{}_1\text{, p)}\text{p}{}^{\mathrm{m}}$

For the special case f₁(x) = f₂(x) = … = f_m(x) = x and h = 1 the above formula reduces to $\text{Π}{}_{\mathrm{?}}\text{(1 ?}\text{1}\text{p}{}^{\mathrm{m}}\text{) =}\text{1}\text{ζ}\text{(m)}$, the density if m-tuples with highest common factor 1. Necessary and sufficient conditions on the polynomials f₁, f₂,…, f_m for the asymptotic density to be zero are found. In particular it is shown that either the polynomials may never have highest common factor h or else h is the highest common factor infinitely often and in fact with positive density.     

The enumeration of shift register sequences

A study is made of the number of cycles of length k which can be produced by a general n-stage feedback shift register. This problem is equivalent to finding the number of cycles of length k on the so-called de Bruijn-Good graph (Proc. K. Ned. Akad. Wet.49 (1946), 758–764; J. London Math. Soc.21 (3) (1946), 169–172). The number of cycles of length k in such a graph is denoted by β(n, k). From the-de Bruijn-Good graph, it can be shown that β(n, k) is also the number of cyclically distinct binary sequences of length k which have all k successive sets of n adjacent digits (called “n windows”) distinct (the sequence to be considered cyclically). After listing some known results for β(n, k), we show that

$\text{β(k?3, k)=β(k, k)?2φ}{}_{\mathrm{k,\; 2}}\text{+2}\text{for}\text{k?5}$

, where $\text{φ}{}_{\mathrm{k,\; r}}\text{?}$ the number of integers l ? k such that (k, l) ? r, and (k, l) denotes the greatest common divisor of k and l. From the results of several computer programs, it is conjectured that

$\text{β(k?4, k)=β(k, k)?4φ}{}_{\mathrm{k,\; 3}}\text{?2(k, 2)+10 (k?8)}$

,

$\text{β(k?5, k)=β(k, k)?8φ}{}_{\mathrm{k,\; 4}}\text{?(k, 3)+19 (k?11)}$

$\text{β(k?6, k)=β(k, k)?16φ}{}_{\mathrm{k,\; 5}}\text{?4(k, 2)?2(k, 3)+48 (k?15)}$

     

A divided difference inequality for n-convex functions

For a₍₁₎ ? a₍₂₎ ? ··· ? a_(n) ? 0, b₍₁₎ ? b₍₂₎ ? ··· ? b_(n) ? 0, the ordered values of a_i, b_i, i = 1, 2,…, n, m fixed, m ? n, and p ? 1 it is shown that

$\text{∑}\text{1}\text{n}\text{a}{}_{\mathrm{i}}\text{b}{}_{\mathrm{i}}\text{?}\text{∑}\text{1}\text{m}\text{a}{}^{\mathrm{p}}{}_{\mathrm{(i)}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{∑}\text{1}\text{m?k?1}\text{b}{}^{\mathrm{q}}{}_{\mathrm{(i)}}\text{+}\text{b}{}^{\mathrm{q}}{}_{\mathrm{[m?k]}}\text{(k+1)}{}^{\mathrm{<mtext>q</mtext><mtext>p</mtext>}}{}^{\mathrm{<mtext>1</mtext><mtext>q</mtext>}}$

where $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1, b}{}_{\mathrm{[j]}}\text{= b}{}_{\mathrm{(j)}}\text{+ b}{}_{\mathrm{(j\; +\; 1)}}\text{+ ··· + b}{}_{\mathrm{(n)}}\text{,}\text{and}\text{k}$ is the integer such that $\text{b}{}_{\mathrm{(m\; ?\; k\; ?\; 1)}}\text{?}\text{b[m ? k]}\text{(k + 1)}$ and $\text{b}{}_{\mathrm{(m\; ?\; k)}}\text{<}\text{b}{}_{\mathrm{[m\; ?\; k\; +\; 1]}}\text{k}$. The inequality is shown to be sharp. When p < 1 and a_(i)'s are in increasing order then the inequality is reversed.     

A partition identity

Let n₁+n₂+?+n_m=n where the n_i's are integers (possibly negative or greater than n). Let p=(k₁,…,k_m), where k₁+k₂+?+k_m=k, be a partition of the nonnegative integer k into m nonnegative integers and let P denote the set of all such partitions. For m?2, we prove the combinatorial identity

$\text{∑}\text{p∈P}\text{∏}\text{i=1}\text{m}\text{n}{}_{\mathrm{i}}\text{+1?k}{}_{\mathrm{i}}\text{k}{}_{\mathrm{i}}\text{=}\text{∑}\text{i?0}\text{j+m?2}\text{m?2}\text{n+1?k?2}{}_{\mathrm{j}}\text{k?2}{}_{\mathrm{j}}$

which implies the surprising result that the left side of the above equation depends on n but not on the n_i's.     

Product formulas for semigroups with elliptic generators

Real constant coefficient nth order elliptic operators, Q, which generate strongly continuous semigroups on L²($\text{R}$^k) are analyzed in terms of the elementary generator,

$\text{A = (?n)}{}^{\mathrm{<mtext>(</mtext><mtext>n</mtext><mtext>2</mtext><mtext>\; ?\; 1</mtext>}}\text{)(n!)}{}^{\mathrm{?1}}\text{∑}\text{k}\text{j = 1}\text{?}{}^{\mathrm{n}}\text{?x}{}_{\mathrm{j}}{}^{\mathrm{n}}$

, for n even. Integral operators are defined using the fundamental solutions p_n(x, t) to u_t = Au and using real polynomials q_l,…, q_k on $\text{R}$^m by the formula, for q = (q_l,…, q_k),

$\text{(F(t)?)(x) = ∫}$

_$\text{R}$m

$\text{?(x + q(z)) P}{}_{\mathrm{n}}\text{(z, t)dz}$

. It is determined when, strongly on L²($\text{R}$^k),

$\text{e}{}^{\mathrm{tQ}}\text{=}\text{lim}\text{j → ∞}\text{F}\text{t}\text{j}{}^{\mathrm{j}}$

. If n = 2 or k = 1, this can always be done. Otherwise the symbol of Q must have a special form.     

On essential self-adjointness for Schrödinger operators with wildly oscillating potentials

A sufficient condition is given for the operator T₀: C^∞₀(R^m) → L²(R^m) given by

$\text{T}{}_0\text{∑}\text{K?1}\text{M}\text{(}\text{i?}\text{?x}{}_1\text{+b}{}_1\text{)a}{}_{\mathrm{1K}}\text{(}\text{i?}\text{?N}{}_{\mathrm{k}}\text{+b}{}_{\mathrm{k}}\text{)+q}$

to be essentially self-adjoint. This condition is sufficiently general to admit certain potentials q having unbounded oscillations in a neighborhood of ∞.     

Embedding the complement of an oval in a projective plane of even order

A configuration $\text{D}$ with parameters (v, b, r, k) is an incidence structure ($\text{P}$, $\text{B}$, $\text{I}$), where $\text{P}$ is a set of v “points”, $\text{B}$ is a set of b “blocks” and $\text{I}$ is an “incidence relation” between points and blocks such that each point is incident with r blocks, and each blok is incident with k points. A block may be regarded as the subset of those points of $\text{p}$ with which it is incident.A regular two component pairwise balanced design with parameters

$\text{v,}\text{k}{}_1\text{,}\text{k}{}_2\text{r}{}_1\text{,}\text{r}{}_2\text{,1}$

is an incidence structure $\text{D}$ = ($\text{P}$, $\text{B}$₁ ∪ $\text{B}$₂, $\text{I}$), where $\text{D}$_i = ($\text{P}$, $\text{B}$_i,$\text{I}$) is a configuration with parameters (v, b_i, r_i, k_i), i = 1,2, b_i = vr_i/k_i, and such that any two distinct points of $\text{P}$ are contained in exactly one block of $\text{B}$₁ ∪ $\text{B}$₂. The configuration $\text{D}$_i is called the i^th component of $\text{D}$, i = 1,2.Hence by deleting the points of an oval S from a projective plane П of even order q, we obtain a regular two component pairwise balanced design for which

$\text{v=q}{}^2\text{?1, b}{}_1\text{=}\text{1}\text{2}\text{q(q?1), b}{}_2\text{=}\text{1}\text{2}\text{(q+1)(q+2), r}{}_1\text{=}\text{1}\text{2}\text{q, r}{}_2\text{=}\text{1}\text{2}\text{(q+2), k}{}_1\text{=q+1, k}{}_2\text{q?1.}$

In this paper, we investigate the converse question and prove: Given a regular two component pairwise balanced design with the above parameters, then if q ≠ 6, the design can be embedded in a projective plane of order q.