Diophantine inequalities for forms of odd degree

If $\text{F}$ is a form of odd degree k with real coefficients in s variables where s ≥ c₁(k), then there are integers x₁,… x_s not all zero, with |$\text{F}$(x₁,… x_s)| < 1.     

A generalization of the Kruskal-Katona theorem

Let k_n ? k_n?1 ? … ? k₁ be positive integers and let ($\text{i}\text{j}$) denote the coefficient of xⁱ in $\text{Π}\text{r=1}\text{j}\text{(1 + x + x}{}^2\text{+ … + x}{}^{\mathrm{kr}}\text{)}$. For given integers l, m, where 1 ? l ? k_n + k_n?1 + … + k₁ and $\text{1 ? m ? (}\text{n}\text{n}\text{)}$, it is shown that there exist unique integers m(l), m(l ? 1),…, m(t), satisfying certain conditions, for which $\text{m = (}\text{m(l)}\text{l}\text{+ (}\text{m(l?1)}\text{l?1}\text{) + … + (}\text{m(t)}\text{t}\text{)}$. Moreover, any m l-subsets of a multiset with k_i elements of type i, i = 1, 2,…, n, will contain at least $\text{(}\text{m(l)}\text{l?1}\text{) + (}\text{m(l?1)}\text{l?2}\text{) + … + (}\text{m(t)}\text{t?1}$ different (l ? 1)-subsets. This result has been anticipated by Greene and Kleitman, but the formulation there is not completely correct. If k₁ = 1, the numbers ($\text{j}\text{i}$) are binomial coefficients and the result is the Kruskal-Katona theorem.     

On the analytic continuation of a certain Dirichlet series

A Dirichlet series associated with a positive definite form of degree δ in n variables is defined by

$\text{D}{}_{\mathrm{F}}\text{(s,p,α)}\text{=}\text{∑}\text{α∈Z}{}^{\mathrm{n}}\text{?{0}}\text{F(α)}{}^{\mathrm{?s}}\text{e(ρF(α)+〈α, α〉)}$

where ? ∈ $\text{Q}$, α ∈ $\text{Q}$ⁿ, 〈x, y〉 = x₁y₁ + ? + x_ny_n, e(a) = exp (2πia) for a ∈ $\text{R}$, and s = σ + ti is a complex number. The author proves that: (1) D_F(s, ?, α) has analytic continuation into the whole s-plane, (2) D_F(s, ?, α), ? ≠ 0, is a meromorphic function with at most a simple pole at $\text{s =}\text{n}\text{δ}$. The residue at $\text{s =}\text{n}\text{δ}$ is given explicitly. (3) ? = 0, α ? $\text{Z}$ⁿ, D_F(s, 0, α) is analytic for $\text{α>,}\text{n}\text{(δ ? 1)}$.     

An application of L-functions of imaginary quadratic fields

Let F₁(x, y),…, F_2h+1(x, y) be the representatives of equivalent classes of positive definite binary quadratic forms of discriminant ?q (q is a prime such that q ≡ 3 mod 4) with integer coefficients, then the number of integer solutions of F_i(x, y) = n (i = 1,…, 2h + 1) can be calculated for each natural number n using L-functions of imaginary quadratic field $\text{Q}$((?q)^1/2).     

On tilings of the binary vector space

Let n be a positive integer, L a subset of {0, 1,…,n}. We discuss the existence of partitions (or tilings) of the n-dimensional binary vector space F_n into L-spheres. By a L-sphere around an x in F_n we mean {y ? F_n, d(x, y) ? L}, d(x, y) being the Hamming distance betwe en x and y. These tilings are generalizations of perfect error correcting codes. We show that very few such tilings exist (Theorem 2) and characterize them all for any L ? {0, 1,…,[$\text{1}\text{2}$n]}.     

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.}$

     

One-sided inequalities for ternary forms: II

For an indefinite quadratic form f(x₁, …, x_n) let P(f) denote the greatest lower bound of the positive values assumed by f for integers x₁, …, x_n. This paper investigates the values of $\text{P}{}^3\text{∥d∥}$ for nonzero ternary forms of signature ?1 and finds two new classes of forms with $\text{P}{}^3\text{∥d∥}\text{>}\text{1}\text{2}$.     

On the asymptotic normality and independence of the sample partial autocorrelations for an autoregressive process

For a stationary autoregressive model of order s, the partial autocorrelation coefficients of order $\text{j}$, $\text{j}$=0,1,2,…,s?1, are defined; the partial autocorrelation coefficient of order zero being the same as the autocorrelation coefficient of order one. Denoting these s parameters by ?₁,π₁,…,π_s?1, it is shown that their sample images, namely r₁,$\text{P}$₁,…,$\text{P}$_s?1, are asymptotically independently normally distributed with means equal to the corresponding population values and asymptotic variances given by

$\text{var(r}{}_1\text{)=}\text{(1 ? ?}\text{2}\text{1}\text{)(1 ? π}\text{2}\text{1}\text{?(1 ? π}\text{2}\text{s ?1}\text{)}\text{n}\text{,}$

$\text{var(}\text{P}{}_{\mathrm{<mtext>j</mtext>}}\text{)=}\text{(1 ? π}\text{2}\text{j}\text{(1 ? π}\text{2}\text{j}\text{+1}\text{)?(1 ? π}\text{2}\text{s ?1}\text{)}\text{n}$

,

$\text{j}\text{=1,2,…,s?1,}$

where n is the size of the sample from the autoregressive process of order s. The partial correlogram of the model and application of the result are discussed.     

Lyapunov equations and Gram matrices

If p is a polynomial with all roots inside the unit disc and C its companion matrix, then the Lyapunov equation

$\text{X ? C}{}^1\text{XC = P}$

has a unique solution for every positive semidefinite matrix P. We characterize sets of vectors x₀,…,x_n?1 and y₀,…,y_n?1 such that X = G(x₀,…,x_n?1)= G(y₀,…, y_n?1)^-1. Geometrical connections between such bases and contractions with one- dimensional defect spaces are established.     

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.     

Threshold phenomena for a reaction-diffusion system

We consider the pure initial value problem for the system of equations $\text{ν}{}_{\mathrm{t}}\text{= ν}{}_{\mathrm{xx}}\text{+ ?(ν) ? w, w}{}_{\mathrm{t}}\text{= ε(ν ? γw), ε, γ ? 0}$, the initial data being (ν(x, 0), w(x, 0)) = (?(x), 0). Here $\text{?(v) = ?v + H(v ? a)}$, where H is the Heaviside step function and $\text{a ? (0,}\text{1}\text{2}\text{)}$. This system is of the FitzHugh-Nagumo type and has several applications including nerve conduction and distributed chemical/ biochemical systems. It is demonstrated that this system exhibits a threshold phenomenon. This is done by considering the curve s(t) defined by s(t) = sup{x: v(x, t) = a}. The initial datum, ?(x), is said to be superthreshold if lim_{t→∞ s(t) = ∞}. It is proven that the initial datum is superthreshold if ?(x) > a on a sufficiently long interval, ?(x) is sufficiently smooth, and ?(x) decays sufficiently fast to zero as $\text{¦x¦ → ∞}$.     

On the rate for uniform strong consistency of empirical distributions of independent nonidentically distributed multivariate random variables

Let X_j = (X_1j ,…, X_pj), j = 1,…, n be n independent random vectors. For x = (x₁ ,…, x_p) in R^p and for α in [0, 1], let F_j${}^1$(x) = αI(X_1j < x₁ ,…, X_pj < x_p) + (1 ? α) I(X_1j ≤ x₁ ,…, X_pj ≤ x_p), where I(A) is the indicator random variable of the event A. Let F_j(x) = E(F_j${}^1$(x)) and D_n = sup_{x, α} max_{1 ≤ N ≤ n} |Σ₀ⁿ(F_j${}^1$(x) ? F_j(x))|. It is shown that P[D_n ≥ L] < 4pL exp{?2(L²n^?1 ? 1)} for each positive integer n and for all L² ≥ n; and, as n → ∞, $\text{D}{}_{\mathrm{n}}\text{= 0((n}\text{log}\text{n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ with probability one.     

Phase reconstruction from magnitude of band-limited multidimensional signals

In this paper, the problem of phase reconstruction from magnitude of multidimensional band-limited functions is considered. It is shown that any irreducible band-limited function f(z₁…,z_n), z_i ? $\text{C}$, i=1, …, n, is uniquely determined from the magnitude of f(x₁…,x_n): | f(x₁…,x_n)|, x_i ? $\text{R}$, i=1,…, n, except for (1) linear shifts: ^{i(α1z1+…+α_n2n+β}), β, α_i?$\text{R}$, i=1,…, n; and (2) conjugation: $\text{f}{}^1\text{(z}{}_1{}^1\text{,…,z}{}_{\mathrm{n}}{}^1\text{)}$.     

On differences and sums of integers,I

A set {b₁,b₂,…,b_i} ? {1,2,…,N} is said to be a difference intersector set if {a₁,a₂,…,a_s} ? {1,2,…,N}, j > ?N imply the solvability of the equation a_x ? a_y = b′; the notion of sum intersector set is defined similarly. The authors prove two general theorems saying that if a set {b₁,b₂,…,b_i} is well distributed simultaneously among and within all residue classes of small moduli then it must be both difference and sum intersector set. They apply these theorems to investigate the solvability of the equations ($\text{a}{}_{\mathrm{x}}\text{?}\text{a}{}_{\mathrm{y}}\text{p}\text{= + 1}$, $\text{(a}{}_{\mathrm{u}}\text{?}\text{a}{}_{\mathrm{v}}\text{p}\text{) = ? 1}$, $\text{(a}{}_{\mathrm{r}}\text{+}\text{a}{}_{\mathrm{s}}\text{p}\text{) = + 1}$, $\text{(a}{}_{\mathrm{t}}\text{+}\text{a}{}_{\mathrm{z}}\text{p}\text{) = ? 1}$ (where ($\text{a}\text{p}$) denotes the Legendre symbol) and to show that “almost all” sets form both difference and sum intersector sets.     

The existence,uniqueness, and instability of spherically symmetric solutions of a system of reaction—Diffusion equations

The system $\text{?x}\text{?t}\text{= Δx + F(x,y),}\text{?y}\text{?t}\text{= G(x,y)}$ is investigated, where x and y are scalar functions of time (t ? 0), and n space variables $\text{(ξ}{}_1\text{,…, ξ}{}_{\mathrm{n}}\text{), Δx ≡ ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{x}\text{?ξ}{}_{\mathrm{i}}{}^2$, and F and G are nonlinear functions. Under certain hypotheses on F and G it is proved that there exists a unique spherically symmetric solution $\text{(x(r),y(r)),}\text{where}\text{r = (ξ}{}_1{}^2\text{+ … + ξ}{}_{\mathrm{n}}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which is bounded for r ? 0 and satisfies x(0) >x₀, y(0) > y₀, x′(0) = 0, y′(0) = 0, and x′ < 0, y′ > 0, ?r > 0. Thus, (x(r), y(r)) represents a time independent equilibrium solution of the system. Further, the linearization of the system restricted to spherically symmetric solutions, around (x(r), y(r)), has a unique positive eigenvalue. This is in contrast to the case n = 1 (i.e., one space dimension) in which zero is an eigenvalue. The uniqueness of the positive eigenvalue is used in the proof that the spherically symmetric solution described is unique.     

The probability that k positive integers are relatively r-prime

If r, k are positive integers, then $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ denotes the number of k-tuples of positive integers (x₁, x₂, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r = 1. An explicit formula for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}$ is derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(n)}\text{n}{}^{\mathrm{k}}\text{=}\text{1}\text{ζ(rk)}$.If S = {p₁, p₂, …, p_a} is a finite set of primes, then 〈S〉 = {p₁^a₁p₂^a₂…p_s^a_s; p_i ∈ S and a_i ≥ 0 for all i} and $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ denotes the number of k-tuples (x₁, x₃, …, x_k) with 1 ≤ x_i ≤ n and (x₁, x₂, …, x_k)_r ∈ 〈S〉. Asymptotic formulas for $\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}$ are derived and it is shown that $\text{lim}{}_{\mathrm{n\to \infty }}\text{T}{}_{\mathrm{k}}{}^{\mathrm{r}}\text{(S, n)}\text{n}{}^{\mathrm{k}}\text{=}\text{(p}{}_1\text{… p}{}_{\mathrm{a}}\text{)}{}^{\mathrm{rk}}\text{ζ(rk)(p}{}_1{}^{\mathrm{rk}}\text{? 1) … (p}{}_{\mathrm{s}}{}^{\mathrm{rk}}\text{? 1)}$.     

Some existence and nonexistence theorems for solutions of degenerate parabolic equations

The initial and boundary value problem for the degenerate parabolic equation v_t = Δ(?(v)) + F(v) in the cylinder $\text{Ω × ¦0, ∞), Ω ? R}{}^{\mathrm{n}}$ bounded, for a certain class of point functions ? satisfying ?′(v) ? 0 (e.g., $\text{?(v) = ¦v¦}{}^{\mathrm{m}}\text{sign}\text{v}$) is considered. In the case that F(v) sign $\text{v ? C(1 + ¦?(v)¦}{}^{\mathrm{\alpha }}\text{), α < 1}$, the equation has a global time solution. The same is true for α = 1 provided the measure of Ω is sufficiently small. In the case that $\text{F(v)}\text{?(v)}$ is nondecreasing a condition is given on the initial state v(x, 0) which implies that the solution must blow up in finite time. The existence of such initial states is discussed.     

A maximum principle in Rn + 1

In this paper we establish maximum principles of the Cauchy problem for hyperbolic equations in $\text{R}$³ and $\text{R}$^{n + 1}(n ? 2). Our maximum principles generalize the results of Weinberger [5], and Sather [3, 4] for a class of equations such that the coefficients can be allowed to depend upon t, as well, in {x₁, x₂, t}-space and {x₁, x₂,…, x_n, t}-space. Throughout this paper, the influence of the work of Douglis [1] is apparent. See [2].     

Prime interchange graphs of classes of matrices of zeros and ones

Let R = (r₁,…, r_m) and S = (s₁,…, s_n) be nonnegative integral vectors, and let $\text{U}$(R, S) denote the class of all m × n matrices of 0's and 1's having row sum vector R and column sum vector S. An invariant position of $\text{U}$(R, S) is a position whose entry is the same for all matrices in $\text{U}$(R, S). The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{U}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We prove that when 1 ≤ r_i ≤ n ? 1 (i = 1,…, m) and 1 ≤ s_j ≤ m ? 1 (j = 1,…, n), G(R, S) is prime if and only if $\text{U}$(R, S) has no invariant positions.     

A new normal form of Boolean functions

A new normal form of Boolean functions based on the sum (mod 2), product and negation is presented. Let n = {1, 2,…, n}, let A_s be the family of s-element subsets of a set A and let π_a?φx_a = 1. Then every Boolean function ?(x₁,x₂,…,x_n) has a normal form

$\text{?(x}{}_1\text{,x}{}_2\text{,…,x}{}_{\mathrm{n}}\text{=}\text{∑}\text{s=0}\text{n}\text{⊕}\text{Π}\text{A∈n}{}_{\mathrm{s}}\text{1⊕d}{}_{\mathrm{A}}\text{Π}\text{a∈A}\text{x}{}_{\mathrm{a}}$

with unique coefficients d_A? {0, 1}. A transformation of Galois normal form into the present normal form is also shown.