A Hamiltonian decomposition of K2m1, 2m ≥ 8

It is shown that $\text{K}{}_{\mathrm{2m}}{}^1$, 2m ≥ 8, can be decomposed into Hamiltonian circuits. A direct construction utilizing difference methods is given for 2m ≡ 0 (mod 4). The case 2m ≡ 2 (mod 4) is handled inductively by means of a construction which shows that $\text{K}{}_{\mathrm{4m\; ?\; 2}}{}^1$ admits such a decomposition if $\text{K}{}_{\mathrm{2m}}{}^1$ does.     

On the cubic character of quadratic units

An elementary proof is given of the theorem: If D = ?3q or ?27q is the discriminant of a cubic field, where q ≡ 1 (mod 4) is a prime, and if p or 4p is represented by c² + ∥ D ∥ d², then the fundamental unit in the field $\text{Q(q}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ is a cubic residue of the prime p. In special cases necessary and sufficient conditions are derived.     

A family of difference sets in non-cyclic groups

A construction is given for difference sets in certain non-cyclic groups with the parameters $\text{v = q}{}^{\mathrm{s+1}}\text{{[}\text{(q}{}^{\mathrm{s+1}}\text{? 1)}\text{(q ? 1)}\text{] + 1}}$, $\text{k = q}{}^{\mathrm{s}}\text{(q}{}^{\mathrm{s+1}}\text{? 1)}\text{(q ? 1)}$, $\text{λ = q}{}^{\mathrm{s}}\text{(q}{}^{\mathrm{s}}\text{? 1)}\text{(q ? 1)}$, n = q^2s for every prime power q and every positive integer s. If q^s is odd, the construction yields at least $\text{1}\text{2}\text{(q}{}^{\mathrm{s}}\text{+ 1)}$ inequivalent difference sets in the same group. For q = 5, s = 2 a difference set is obtained with the parameters (v, k, λ, n) = (4000, 775, 150, 625), which has minus one as a multiplier.     

On the number of zeros of diagonal cubic forms

Let M_s, be the number of solutions of the equation

$\text{X}{}_1{}^3\text{+ X}{}_2{}^3\text{+ … + X}{}_{\mathrm{s}}{}^3\text{=0}$

in the finite field GF(p). For a prime p ≡ 1(mod 3),

$\text{∑}\text{s=1}\text{∞}\text{M}{}_{\mathrm{s}}\text{X}{}^{\mathrm{s}}\text{=}\text{x}\text{1 ? px}\text{+}\text{x}{}^2\text{(p ? 1)(2 + dx)}\text{1 ? 3px}{}^2\text{? pdx}{}^3$

,

$\text{M}{}_3\text{= p}{}^2\text{+ d(p ? 1)}$

, and

$\text{M}{}_4\text{= p}{}^2\text{+ 6(p}{}^2\text{? p)}$

. Here d is uniquely determined by

$\text{4}{}_{\mathrm{p}}\text{= d}{}^2\text{+ 27b}{}^2\text{and}\text{d ≡ 1(}\text{mod}\text{3)}$

.     

Hilbertian and complemented finite-dimensional subspaces of Banach lattices and unitary ideals

Let 1 < p ? 2 ? q < ∞ and X be either a Banach lattice which is p-convex and q-concave or a unitary ideal of operators on l₂ which is modeled on a symmetric space which is p-convex and q-concave. If E ?X is any n-dimensional subspace, then both the distance from E to $\text{l}{}_2{}^{\mathrm{n}}$ and the relative projection constant of E in X are dominated by $\text{cn}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext><mtext>\; ?\; </mtext><mtext>1</mtext><mtext>q</mtext>}}$.     

Eigenvalue multiplicities of highly symmetric graphs

We find lower bounds on eigenvalue multiplicities for highly symmetric graphs. In particular we prove:Theorem 1. If Γ is distance-regular with valency k and girth g (g?4), and λ (λ≠±?k) is an eigenvalue of Γ, then the multiplicity of λ is at least

$\text{k(k?1)}{}^{\mathrm{<mtext>[</mtext><mtext>g</mtext><mtext>4</mtext><mtext>]?1</mtext>}}$

if g≡0 or 1 (mod 4),

$\text{2(k?1)}{}^{\mathrm{<mtext>[</mtext><mtext>g</mtext><mtext>4</mtext><mtext>]</mtext>}}$

if g≡2 or 3 (mod 4) where [ ] denotes integer part. Theorem 2. If the automorphism group of a regular graph Γ with girth g (g?4) and valency k acts transitively on s-arcs for some s, $\text{1?s?[}\text{1}\text{2}\text{g]}$, then the multiplicity of any eigenvalue λ (λ≠±?k) is at least

$\text{k(k?1)}{}^{\mathrm{<mtext>s</mtext><mtext>2?1</mtext>}}$

if s is even,

$\text{2(k?1)}{}^{\mathrm{<mtext>(</mtext><mtext>s?1)</mtext><mtext>2</mtext>}}$

if s is odd.     

On Diophantine equations over the ring of all algebraic integers

For each odd prime q an integer NH_q (NH₃ = ?1, NH₅ = ?1, NH₇ = 97, NH₁₁ = ?243, …) is defined as the norm from L to $\text{Q}$ of the Heilbronn sum H_q = Tr_I^{$\text{Q}$(ζ)}(ζ), where ζ is a primitive q²th root of unity and L ?- $\text{Q}$(ζ) the subfield of degree q. Various properties are proved relating the congruence properties of H_q and NH_q modulo p (p ≠ q prime) to the Fermat quotient $\text{(p}{}^{\mathrm{q\; ?\; 1}}\text{? 1)}\text{q}\text{(}\text{mod}\text{q)}$; in particular, it is shown that NH_q is even iff 2^{q ? 1} ≡ 1 (mod q²).     

All directed BIBDs with k = 3 exist

A directed BIBD with parameters ($\text{υ, b, r, k, λ}{}^1$) is a BIBD with parameters ($\text{υ, b, r, k, 2λ}{}^1$) in which each ordered pair of varieties occurs together in exactly $\text{λ}{}^1$ blocks. It is shown that $\text{λ}{}^1\text{υ(υ ? 1) ≡ 0}$ (mod 3) is a necessary and sufficient condition for the existence of a directed ($\text{υ, b, r, k, λ}{}^1$) BIBD with k = 3.     

A note on character sums

Let $\text{S(k) = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{p?1}}\text{(}\text{n}\text{p}\text{)n}{}^{\mathrm{k}}$ where p is a prime ≡ 3 mod 4 and k is an integer ≥ 3. Then S(k) frequently takes large values of each sign.     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

On a function due to S. Chowla

Let θ(k, pⁿ) be the least s such that the congruence $\text{x}{}_1{}^{\mathrm{k}}\text{+ ? + x}{}_{\mathrm{s}}{}^{\mathrm{k}}\text{≡ 0}$ (mod pⁿ) has a nontrivial solution. It is shown that if k is sufficiently large and divisible by p but not by p ? 1, then $\text{θ(k, p}{}^{\mathrm{n}}\text{) ≤ k}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$. We also obtain the average order of θ(k), the least s such that the above congruence has a nontrivial solution for every prime p and every positive integer n.     

Zeta matrices of elliptic curves

Let $\text{O =}\text{lim}{}_{\mathrm{n}}\text{Z/p}{}^{\mathrm{n}}\text{Z}$, let $\text{A}\text{= O[g}{}_2\text{, g}{}_3\text{]}{}_{\mathrm{\Delta }}$, where g₂ and g₃ are coefficients of the elliptic curve: Y² = 4X³ ? g₂X ? g₃ over a finite field and Δ = g₂³ ? 27g₃² and let $\text{B}\text{=}\text{A}\text{[X, Y]}\text{(Y}{}^2\text{? 4X}{}^3\text{+ g}{}_2\text{X + g}{}_3\text{)}$. Then the p-adic cohomology theory will be applied to compute explicitly the zeta matrices of the elliptic curves, induced by the pth power map on the free $\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q}$-module $\text{H}{}^1\text{(X,}\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$. Main results are; Theorem 1.1: X²dY and YdX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{, Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$; Theorem 1.2: YdX, X²dY, Y^?1dX, Y^?2dX and XY^?2dX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{? (Y = 0), Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$, where $\text{X}$ is a lifting of X, and all the necessary recursive formulas for this explicit computation are given.     

Discrepancies in the distribution of prime numbers

Chebyshev has noticed a certain predominance of primes of the form 4n + 3 over those of the form 4n + 1. He asserted that $\text{lim}{}_{\mathrm{x\to \infty }}\text{∑}\text{p > 2}\text{(?1)}{}^{\mathrm{<mtext>(p\; ?\; 1)</mtext><mtext>2</mtext>}}\text{e}{}^{\mathrm{<mtext>?p</mtext><mtext>x</mtext>}}\text{= ?∞}$. This was unproven until today. G. H. Hardy, J. E. Littlewood and E. Landau have shown its equivalence with an analogue to the famous Riemann hypothesis, namely, L(s, χ₁mod 4) ≠ 0, $\text{Re}\text{(s) >}\text{1}\text{2}$. S. Knapowski and P. Turán have given some similar (unproven) relations, e.g., , which are also equivalent to the above. Using Explixit Formulas the author shows that

$\text{lim}{}_{\mathrm{x\to \infty }}\text{∑}\text{p > 2}\text{(?1)}{}^{\mathrm{<mtext>(p\; ?\; 1)</mtext><mtext>2</mtext>}}\text{log}\text{pp}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{e}{}^{\mathrm{<mtext>?</mtext><mtext>(</mtext><mtext>log</mtext><mtext>2p)</mtext><mtext>x</mtext>}}\text{= ?∞ (1)}$

holds without any conjecture. (In addition, the order of magnitude of divergence is calculated.) It turns out that (1) is only a special case (in several respects). At first, it may be enlarged into

$\text{lim}{}_{\mathrm{x\to \infty }}\text{∑}\text{p > 2}\text{(?1)}{}^{\mathrm{<mtext>(p\; ?\; 1)</mtext><mtext>2</mtext>}}\text{log}\text{pp}{}^{\mathrm{?\alpha }}\text{e}{}^{\mathrm{<mtext>?</mtext><mtext>(</mtext><mtext>log</mtext><mtext>2p)</mtext><mtext>x</mtext><mtext>)</mtext>}}\text{= ?∞, 0?α?}\text{1}\text{2}\text{.}$

Then, it can be generalised to a wider class of progressions. For example, the same is true if one sums over the primes in the classes 3n + 2 and 3n + 1, with a “?” and a “+” sign, respectively. All results of this type depend on the location of the first nontrivial zero of the corresponding L-series. D. Shanks has given some arguments for the predominance of primes in residue classes of nonquadratic type. He conjectured “If m₁ mod k is a quadratic residue and m₂ mod k a non-residue, then there are “more” primes congruent m₂ than congruent m₁ mod k.” This indeed turns out to be true in the sense of (1), not only for k = 3, 4, but for some higher moduli as well. Finally, numerical calculations were made to investigate the behaviour of Δ₃(X) ? π(X, 2 mod 3) ? π(X, 1 mod 3) in the interval 2 ≤ X ≤ 18, 633, 261. No zero was found in this range. In the analogue case of Δ₄(X) ? π(X, 3 mod 4) ? π(X, 1 mod 4) the first sign change occurs at X = 26, 861.     

Maximum zero strings of Bell numbers modulo primes

For any prime p, the sequence of Bell exponential numbers B_n is shown to have p ? 1 consecutive values congruent to zero (mod p), beginning with B_m, where $\text{m ≡ 1 ?}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}{}^2$ ($\text{mod}\text{(p}{}^{\mathrm{p}}\text{? 1)}\text{(p ? 1)}$). This is an improvement over previous results on the maximal strings of zero residues of the Bell numbers. Similar results are obtained for the sequence of generalized Bell numbers A_n generated by .     

A note on the cross-correlation function between two binary maximal length linear sequences

Let {a_j}and {a_dj} be two binary maximal length linear sequences of period 2ⁿ?1. The cross-correlation function is defined as for t = 0, 1,…, 2ⁿ ? 2. We find the values and the number of occurrences of each value of C_d(t) when $\text{d =}\text{2}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}\text{?}\text{2}{}^{\mathrm{<mtext>n</mtext><mtext>4</mtext>}}\text{+}\text{1}\text{, n ≡}\text{0}$ (mod 8).     

A Feynman-Kac gauge for solvability of the Schrödinger equation

Let {X_t, t ≥ 0} be Brownian motion in $\text{R}$^d (d ≥ 1). Let D be a bounded domain in $\text{R}$^d with C² boundary, ?D, and let q be a continuous (if d = 1), Hölder continuous (if d ≥ 2) function in D?. If the Feynman-Kac “gauge” E_x{exp(∝₀^τ_Dq(X_t)dt)1_A(X_τD)}, where τ_D is the first exit time from D, is finite for some non-empty open set A on ?D and some x?D, then for any $\text{? ? C}{}^0\text{(?D}$), is the unique solution in $\text{C}{}^2\text{(D) ∩ C}{}^0\text{(}\text{D}\text{?}\text{)}$ of the Schrödinger boundary value problem $\text{(}\text{1}\text{2}\text{Δ}\text{+ q)φ = 0}\text{in}\text{D, φ = ?}\text{on}\text{?D}$.     

An intersection problem whose extremum is the finite projective space

Suppose that $\text{A}$ is a finite set-system of N elements with the property |A ∩ A′| = 0, 1 or k for any two different A, A′ ?A. We show that for N > k¹⁴

$\text{|a|=?}\text{N(N?1)(N?k)}\text{(k}{}^2\text{?k+1)(k}{}^2\text{?2k+1)}\text{+}\text{N(N?1)}\text{k(k?1)}\text{+N+1}$

where equality holds if and only if k = q + 1 (q is a prime power) $\text{N =}\text{(q}{}^{\mathrm{t+1}}\text{? 1)}\text{(q ? 1)}$ and $\text{A}$ is the set of subspaces of dimension at most two of the t-dimensional finite projective space of order q.     

Certain conjugacy classes of units in integral group rings of metacyclic groups

Let G be the metacyclic group of order pq given by

$\text{G = 〈σ, τ: σ}{}^{\mathrm{p}}\text{= 1 = τ}{}^{\mathrm{q}}\text{, τστ}{}^{\mathrm{?}}\text{= σ}{}^{\mathrm{j}}\text{〉}$

where p is an odd prime, q ≥ 2 a divisor of p ? 1, and where j belongs to the exponent q mod p. Let V denote the group of units of augmentation 1 in the integral group ring $\text{Z}$G of G. In this paper it is proved that the number of conjugacy classes of elements of order p in V is

$\text{(p ? 1)}{}^{\mathrm{q?1}}\text{μ}{}_0\text{H}\text{vq}$

where ν, μ₀, and H are suitably defined numbers.     

On moment conditions for normed sums of independent variables and martingale differences

Let X₁, X₂,… be a sequence of i.i.d. random variables and S_n their partial sums. Necessary and sufficient conditions are given for $\text{{n}{}^{\mathrm{<mtext>?1</mtext><mtext>q</mtext>}}\text{S}{}_{\mathrm{n}}\text{}}{}^{\mathrm{\propto }}{}_1$ to have uniformly bounded pth moments, 0<p<q?2.Some of the results are generalized to martingle differences.