Hadamard matrices constructed from supplementary difference sets in the class ℋ︁1

In this article we give the definition of the class ??₁ and prove: (1) ??₁(v) ≠ ? for v ∈ ?? = ??₁ ∪ ??₂ ∪ ??₃ where (2) there exists 2 ? {2q²; q² ± q, q²;q² ± q} supplementary difference sets for q² ∈ ??; (3) there exists an Hadamard matrix of order 4v for v ∈ ??; (4) if t is an order of T-matrices, there exists an Hadamard matrix of order 4tv for v ∈ ??. © 1994 John Wiley & Sons, Inc.     

The ground state eigenvalue of Hill's equation with white noise potential

The distribution of the ground state eigenvalue λ₀(Q) of Hill's operator Q = −d²/dx² + q(x) on the circle of perimeter 1 is expressed in two different ways in case the potential q is standard white noise. Let WN be the associated white noise measure, and let CBM be the measure for circular Brownian motion p(x), 0 ≤ x < 1, formed from the standard Brownian motion b(x), 0 ≤ x ≤ 1, starting at b(0) = a, by conditioning so that b(1) = a, and distributing this common level over the line according to the measure da. The connection is based upon the Ricatti correspondence q(x) = λ + p′ (x) + p²(x). The two versions of the distribution are (1) in which $\overline{p}$ is the mean value ∫ pdx, and (2) the left‐hand side of (2) being the density for (1) and CBM₀ the conditional circular Brownian measure on $\overline{p}$ = 0. (1) and (2) are related by the divergence theorem in function space as suggested by the recognition of the Jacobian factor the outward‐pointing normal component of the vector field v(x) = ∂Δ(λ)/∂q(x), 0 ≤ x < 1, Δ being the Hill's discriminant for Q. The Ricatti correspondence prompts the idea that (1) and (2) are instances of the Cameron‐Martin formula, but it is not so: The latter has to do with the initial value problem for Ricatti, but it is the periodic problem that figures here, so the proof must be done by hand, by finite‐dimensional approximation. The adaptation of 1 and 2 to potentials of Ornstein‐Uhlenbeck type is reported without details. © 1999 John Wiley & Sons, Inc.     

The minimum number of subgraphs in a graph and its complement

For a graphb F without isolated vertices, let M(F; n) denote the minimum number of monochromatic copies of F in any 2-coloring of the edges of K_n. Burr and Rosta conjectured that when F has order t, size u, and a automorphisms. Independently, Sidorenko and Thomason have shown that the conjecture is false. We give families of graphs F of order t, of size u, and with a automorphisms where . We show also that the asymptotic value of M(F; n) is not solely a function of the order, size and number of automorphisms of F. © 1929 John Wiley & Sons, Inc.     

Analytic aspects of the Toda system: I. A Moser‐Trudinger inequality

In this paper, we analyze solutions of the open Toda system and establish an optimal Moser‐Trudinger type inequality for this system. Let Σ be a closed surface with area 1 and K = (a_ij)_{N × N} the Cartan matrix for SU(N + 1), i.e., We show that has a lower bound in (H¹(Σ))^N if and only if This inequality is optimal. As a direct consequence, if M_j < for 4π for j = 1, 2, …, N, Φ_M has a minimizer u that satisfies © 2001 John Wiley & Sons, Inc.     

On the Harnack principle for strongly elliptic systems with nonsmooth coefficients

In this paper we prove the following theorem (for notation and definitions, see the paragraphs below): “Let Ω ⊆ ℝⁿ be a domain, m ∈ ℕ, and λ, q > 0. Then, there exists r (= r(λ, q)) > 1 such that for every 0 < p < q, whenever are weak solutions of a strongly elliptic system with m equations of ellipticity λ satisfying ∈ 𝒫_r a.e. and Ω′ ⊆ Ω subdomain, the following inequalities hold: where C (= C(n,m,λ,q,p,Ω,Ω′)) is a positive constant.” © 1999 John Wiley & Sons, Inc.     

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers

Let $\hat \mathbb{Z}$ denote the inverse limit of all finite cyclic groups. Let F, G and H be abelian groups with H ≤ G. Let FβH denote the abelian group (F × H, +^β), where +^βis defined by (a, x) +^β (b, y) = (a + b, x + y + β(a) + β(b) — β(a + b)) for a certain β : F → G linear mod H meaning that β(0) = 0 and β(a) + β(b) — β(a + b) ∈ H for all a, b in F. In this paper we show that the following hold: (1) The additive group of any nonstandard model ℤ* of the ring ℤ is isomorphic to (ℤ*₊/H)βH for a certain β : ℤ*₊/H → $\hat \mathbb{Z}$ linear mod H. (2) $\hat \mathbb{Z}$ is isomorphic to (ℤ₊/H )βH for some β : $\hat \mathbb{Z}$/H →ℚ linear mod H, though $\hat \mathbb{Z}$ is not the additive group of any model of Th(ℤ, +, ×) and the exact sequence H → $\hat \mathbb{Z}$ → $\hat \mathbb{Z}$/H is not splitting.     

Globally sparse vertex-ramsey graphs

For graphs G and F we write F → (G)¹_r if every r-coloring of the vertices of F results in a monochromatic copy of G. The global density m(F) of F is the maximum ratio of the number of edges to the number of vertices taken over all subgraphs of F. Let We show that The lower bound is achieved by complete graphs, whereas, for all r ≥ 2 and ? > 0, m_cr(S_k, r) > r - ? for sufficiently large k, where S_k is the star with k arms. In particular, we prove that      

Compactness of the Canonical Solution Operator of $ \bar \partial $ on Bounded Pseudoconvex Domains

On bounded pseudoconvex domains Ω the orthogonal projection P_q : L²_(p,q) (Ω) → ker _q is given by P_q = Id – S_{q+1 q} = Id – ^*_q+1N_{q+1 q}, where S_q is the canonical solution operator of the ‐equation and N_q is the ‐Neumann operator. We prove a formula for the solution operator S_q restricted on (0, q)‐forms with holomorphic coefficients. And as an application we get a characterization of compactness of the solution operator restricted on (0, q)‐forms with holomorphic coefficients. On general (0, q)‐forms we show that this condition is necessary for compactness of the solution operator.     

On the chromatic number of set systems

An (r, l)‐system is an r‐uniform hypergraph in which every set of l vertices lies in at most one edge. Let m_k(r, l) be the minimum number of edges in an (r, l)‐system that is not k‐colorable. Using probabilistic techniques, we prove that where b_{r, l} is explicitly defined and a_{r, l} is sufficiently small. We also give a different argument proving (for even k) where a′_{r, l}=(r?l+1)/r(2^r?1re)^?l/(l?1). Our results complement earlier results of Erd?s and Lovász [10] who mainly focused on the case l=2, k fixed, and r large. © 2001 John Wiley & Sons, Inc. Random Struct. Alg., 19: 87–98, 2001     

Ryser's embedding problem for Hadamard matrices

What is the minimum order of a Hadamard matrix that contains an a by b submatrix of all 1's? Newman showed that where c^? denotes the smallest order greater than or equal to c for which a Hadamard matrix exists. It follows that if 4 divides both a and b, and if the Hadamard conjecture is true, then . We establish the improved bounds for min {a,b} ≥ 2. The Hadamard conjecture therefore implies that if 4 divides both 2ab and ?a/2? ?b/2?, then (a, b) = 2 · max {?a/2?b, ?b/2?a}. Our lower bound comes from a counting argument, while our upper bound follows from a sub‐multiplicative property of : Improvements in our upper bound occur when suitable conference matrices or Bush‐type Hadamard matrices exist. We conjecture that any (1,?1)‐matrix of size a by b occurs as a submatrix of some Hadamard matrix of order at most . © 2005 Wiley Periodicals, Inc. J Combin Designs     

Integrability Properties of the Maximal Operator on Partial Sums of Fourier Series in Orlicz Spaces

Let S* (f be the majorant function of the partial sums of the trigonometric Fourier series of f. In this paper we consider the Orlicz space Lπ and give a generalization of Soria's result [S1]. Let π (t) be a concave function with some nice properties and . If there exists a positive constant a₀ < 1 such that then we have .     

Almost Sure Convergence in Extreme Value Theory

Let X₁, …, X_n be independent random variables with common distribution function F. Define and let G(x) be one of the extreme-value distributions. Assume F ∈ D(G), i.e., there exist a_n> 0 and b_n ∈ ? such that . Let l(?∞,x)(·) denote the indicator function of the set (?∞,x) and S(G) =: {x : 0 < G(x) < 1}. Obviously, 1(?∞,x)((M_n?b_n)/a_n) does not converge almost surely for any x ∈ S(G). But we shall prove .     

Inversion of the Radon transform with incomplete data

The Radon transform R(p, θ), θ∈S^n?1, p∈?¹, of a compactly supported function f(x) with support in a ball B_a of radius a centred at the origin is given for all $ \theta \in \mathop {S^{n - 1} }\limits^\tilde $, where $ \mathop {S^{n - 1} }\limits^\tilde $ is an open set on S^n?1, and all p∈(? ∞, ∞), n≥2. An approximate formula is given to calculate f(x) from the given data.     

Sharp Bounds for the Ratio of q – Gamma Functions

Let Γ_q (0 < q ≠ 1) be the q–gamma function and let s ∈ (0, 1) be a real number. We determine the largest number α = α(q, s) and the smallest number β = β(q, s) such that the inequalities hold for all positive real numbers x. Our result refines and extends recently published inequalities by Ismail and Muldoon (1994).     

On the domination of the products of graphs II: Trees

For a graph G, a subset of vertices D is a dominating set if for each vertex X not in D, X is adjacent to at least one vertex of D. The domination number, γ(G), is the order of the smallest such set. An outstanding conjecture in the theory of domination is for any two graph G and H, One result presented in this paper settles this question in the case when at least one of G or H is a tree. We show that for all graphs G and any tree T. Furthermore, we supply a partial characterization for which pairs of trees, T₁ and T₂, strict inequality occurs. We show for almost all pairs of trees.     

Asymptotics of Solutions to Pseudodifferential Equations of MELLIN Type

We consider pseudodifferential operators on the half-axis of the form where \documentclass{article}\pagestyle{empty}\begin{document}$ u(z)\; = \;\int\limits_0^\infty {{\rm t}^{{\rm z - 1}} u(t)} $\end{document} is the MELLIN transform of u and a(t, z) satisfies suitable smoothness properties in t and holomorphy and growth properties in z in some strip around the line Re z = 1/2. (1) is called pseudodifferential operator of MELLIN type or shortly MELLIN operator with the symbol a(t, z). For example, FUCHS ian differential operators, singular integral operators and integral operators with fixed singularities can be written in this form. In the paper we give a new composition theorem for MELLIN operators which has a natural extension to operators with symbols meromorphic in a left half-plane. The theorem can be used in the construction of left parametrices modulo compact operators in weighted SOBOLEV spaces. This approach yields rather precise results on the complete asymptotics of solutions at the point t = 0 for an equation a(t, δ) u = f when the right-hand side f has a prescribed asymptotical behaviour at t = 0. The results are extended to pseudodifferential equations of MELLIN type on a finite interval as well as to systems of such equations.     

On directed diffusion with measurable background

We show that the ‘directed diffusion equation’ with periodic boundary conditions has a unique weak solution u whenever b is measurable and bounded above and below by positive constants. Also, lim_t→∞u(t,x) in L^p, 1?p≤∞.     

Chaotic Motion Generated by Delayed Negative Feedback Part II: Construction of Nonlinearities

We construct a smooth function g* : IR ? IR with such that the equation has a slowly oscillating periodic solution y, and a slowly oscillating solution z* whose phase curve is homoclinic with respect to the orbit o of y in the space C = C⁰([1,0],IR). For an associated Poincaré map we obtain a transversal homoclinic loop. The proof of transversality employs a criterion which uses oscillation properties of solutions of variational equations. The main result is that the trajectories (ψn)^∞_-∞ of the Poincaré map in a neighbourhood of the homoclinic loop form a hyperbolic set on which the motion is chaotic.     

Nontrivial periodic solutions of a nonlinear beam equation

We consider the existence of a nontrivial solution of the following equation: where g is a nondecreasing function defined on R¹, satisfies g(O) = O, and some other additional conditions. Our results and methods are quite similar to those associated with recent work on the nonlinear wave equation [1]-[8]: .     

Conditions for Correct Solvability of a Simplest Singular Boundary Value Problem

We consider a boundary value problem where f(x) ∈ L_p(R), p ∈ [1,∞] (L_∞(R) ≔ C(R) and 0 ≤ q(x) ∈ L^loc₁( R). Boundary value problem (0.1) is called correctly solvable in the given space L_p(R) if for any f(x) ∈ L_p(R) there is a unique solution y(x) ∞ L_p(R) and the following inequality holds with absolute constant c(p) ∈ (0,∞). We find criteria for correct solvability of the problem (0.1) in L_p(R).