Unique reducibility of multiple blocking sets

A weighted t-fold (n ? k)-blocking set B of PG(n, q) always contains a minimal weighted t-fold (n ? k)-blocking set. We prove that, if ${|B| < (t+1)q^{n-k} + \theta_{n-k-1}}$ , then the minimal weighted t-fold (n ? k)-blocking set contained in B is unique.     

On the eigenvalues of the Sturm-Liouville operator with potentials from Sobolev spaces

We study the asymptotic behavior of the eigenvalues the Sturm-Liouville operator Ly = ?y″ + q(x)y with potentials from the Sobolev space W ₂ ^θ?1 , θ ≥ 0, including the nonclassical case θ ∈ [0, 1) in which the potential is a distribution. The results are obtained in new terms. Let s _2k (q) = λ _k ^1/2 (q) ? k, s _2k?1(q) = μ _k ^1/2 (q) ? k ? 1/2, where {λ _k } ₁ ^∞ and {μ _k } ₁ ^∞ are the sequences of eigenvalues of the operator L generated by the Dirichlet and Dirichlet-Neumann boundary conditions, respectively,. We construct special Hilbert spaces t ₂ ^θ such that the mapping F:W ₂ ^θ?1 →t ₂ ^θ defined by the equality F(q) = {s _n } ₁ ^∞ is well defined for all θ ≥ 0. The main result is as follows: for θ > 0, the mapping F is weakly nonlinear, i.e., can be expressed as F(q) = Uq + Φ(q), where U is the isomorphism of the spaces W ₂ ^θ?1 and t ₂ ^θ , and Φ(q) is a compact mapping. Moreover, we prove the estimate ∥Ф(q)∥_τ ≤ C∥q∥_θ?1, where the exact value of τ = τ(θ) > θ ? 1 is given and the constant C depends only on the radius of the ball ∥q∥_θ? ≤ R, but is independent of the function q varying in this ball.     

Unitals which meet Baer subplanes in 1 moduloq points

We prove that a parabolic unitalU in a translation plane of orderq ² with kernel containing GF(q) is a Buekenhout-Metz unital if and only if certain Baer subplanes containing the translation line of meetU in 1 moduloq points. As a corollary we show that a unital 16-03 in PG(2,q ²) is classical if and only if it meets each Baer subplane of PG(2,q ²) in 1 moduloq points.     

The André/Bruck and Bose representation of conics in Baer subplanes of PG(2,q 2)

The André/Bruck and Bose representation ([1], [5,6]) of PG(2,q ²) in PG(4,q) is a tool used by many authors in the proof of recent results. In this paper the André/Bruck and Bose representation of conics in Baer subplanes of PG(2,q ²) is determined. It is proved that a non-degenerate conic in a Baer subplane of PG(2,q ²) is a normal rational curve of order 2, 3, or 4 in the André/Bruck and Bose representation. Moreover the three possibilities (classes) are examined and we classify the conics in each class. Received 1 September 1999; revised 17 July 2000.     

Finite projective spaces and intersecting hypergraphs

Let ? be a family ofk-subsets on ann-setX andc be a real number 0 <c<1. Suppose that anyt members of ? have a common element (t ≧ 2) and every element ofX is contained in at mostc|?| members of ?. One of the results in this paper is (Theorem 2.9): If $$c = {{(q^{t - 1} + ... + q + 1)} \mathord{\left/ {\vphantom {{(q^{t - 1} + ... + q + 1)} {(q^t + ... + q + 1)}}} \right. \kern-\nulldelimiterspace} {(q^t + ... + q + 1)}}$$ . whereq is a prime power andn is sufficiently large, (n >n (k, c)) then The corresponding lower bound is given by the following construction. LetY be a (q ^t + ... +q + 1)-subset ofX andH ₁,H ₂, ...,H _|Y| the hyperplanes of thet-dimensional projective space of orderq onY. Let ? consist of thosek-subsets which intersectY in a hyperplane, i.e., ?={F∈( _k ^X ): there exists ani, 1≦i≦|Y|, such thatY∩F=H _i }.     

Boundary noncrossings of additive Wiener fields∗

Let {W _i (t), t ∈ ?₊}, i = 1, 2, be two Wiener processes, and let W ₃ = {W ₃(t), t ∈ ? ₊ ² } be a two-parameter Brownian sheet, all three processes being mutually independent. We derive upper and lower bounds for the boundary noncrossing probability P _f = P{W ₁(t ₁) + W ₂(t ₂) + W ₃(t) + f(t) ≤ u(t), t ∈ ? ₊ ² }, where f, u : ? ₊ ² → ? are two general measurable functions. We further show that, for large trend functions γf > 0, asymptotically, as γ → ∞, P _γf is equivalent to \( {P}_{\gamma}\underset{\bar{\mkern6mu}}{{}_f} \) , where \( \underset{\bar{\mkern6mu}}{f} \) is the projection of f onto some closed convex set of the reproducing kernel Hilbert space of the field W(t) = W ₁(t ₁) + W ₂(t ₂) + W ₃(t). It turns out that our approach is also applicable for the additive Brownian pillow.     

Equiconvergence and equisummability of nonharmonic Fourier expansions with ordinary trigonometric series

Givenf ε L(?π, π), we consider its nonharmonic Fourier series \(f(x) \sim \sum c_n e^{i\lambda _n x} \) , where λ_n are the roots of the entire function L(z) = ∫ _-π ^π e ^izt dσ (t). We show that this series is equiconvergent, uniformly inside (-π, π), and equisummable with the Fourier series off with respect to the trigonometric system if σ′ (t) =k (t) (π - ∣t∣)^-α, α ε (0, 1), vark <∞, k (π ?0) ≠ 0,k (? π + 0) ≠ 0.     

On sizes of complete caps in projective spaces PG(n, q) and arcs in planes PG(2, q)

More than thirty new upper bounds on the smallest size t ₂(2, q) of a complete arc in the plane PG(2, q) are obtained for (169 ≤ q ≤ 839. New upper bounds on the smallest size t ₂(n, q) of the complete cap in the space PG(n, q) are given for n = 3 and 25 ≤ q ≤ 97, q odd; n = 4 and q = 7, 8, 11, 13, 17; n = 5 and q = 5, 7, 8, 9; n = 6 and q = 4, 8. The bounds are obtained by computer search for new small complete arcs and caps. New upper bounds on the largest size m ₂(n, q) of a complete cap in PG(n, q) are given for q = 4, n = 5, 6, and q = 3, n = 7, 8, 9. The new lower bound 534 ≤ m ₂(8, 3) is obtained by finding a complete 534-cap in PG(8, 3). Many new sizes of complete arcs and caps are obtained. The updated tables of upper bounds for t ₂(n, q), n ≥ 2, and of the spectrum of known sizes for complete caps are given. Interesting complete caps in PG(3, q) of large size are described. A proof of the construction of complete caps in PG(3, 2 ^h ) announced in previous papers is given; this is modified from a construction of Segre. In PG(2, q), for q = 17, δ = 4, and q = 19, 27, δ = 3, we give complete ${(\frac{1}{2}(q + 3) + \delta)}$ -arcs other than conics that share ${\frac{1}{2}(q + 3)}$ points with an irreducible conic. It is shown that they are unique up to collineation. In PG(2, q), ${{q \equiv 2}}$ (mod 3) odd, we propose new constructions of ${\frac{1}{2} (q + 7)}$ -arcs and show that they are complete for q ≤ 3701.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Solutions of second order degenerate integro-differential equations in vector-valued function spaces

We study the well-posedness of the second order degenerate integro-differential equations(P2):(Mu)(t)+α(Mu)(t) = Au(t)+ft-∞ a(ts)Au(s)ds + f(t),0t2π,with periodic boundary conditions M u(0)=Mu(2π),(Mu)(0) =(M u)(2π),in periodic Lebesgue-Bochner spaces Lp(T,X),periodic Besov spaces B s p,q(T,X) and periodic Triebel-Lizorkin spaces F s p,q(T,X),where A and M are closed linear operators on a Banach space X satisfying D(A) D(M),a∈L1(R+) and α is a scalar number.Using known operatorvalued Fourier multiplier theorems,we completely characterize the well-posedness of(P2) in the above three function spaces.     

Some recurrence relations in finite topologies

In a number of papers (see, e.g., RZhMat, 1977, 11B586) there is given for the number T_o(n) of labeled topologies on n points satisfying the T_o separation axiom the formula $$T_0 (n) = \sum {\frac{{n!}}{{p_1 ! \ldots p_k !}}V(p_1 , \ldots p_k ),} $$ where the summation extends over all ordered sets (p₁,...,P_k) of natural numbers such that p₁+...+P_k=n. In the present paper there is found a relation for calculating, whenn?2, the sum of all terms in this formula for which p₂=1 in terms of the values V(q₁,...,q_t) withq₁+...+q_t?n-2. This permits the determination (with the aid of a computer) of the new value T_o(12)=414 864 951 055 853 499     

A small minimal blocking set in PG(n, p t ), spanning a (t − 1)-space, is linear

In this paper, we show that a small minimal blocking set with exponent e in PG(n, p ^t ), p prime, spanning a (t/e ? 1)-dimensional space, is an ${\mathbb{F}_{p^e}}$ -linear set, provided that p > 5(t/e)?11. As a corollary, we get that all small minimal blocking sets in PG(n, p ^t ), p prime, p > 5t ? 11, spanning a (t ? 1)-dimensional space, are ${\mathbb{F}_p}$ -linear, hence confirming the linearity conjecture for blocking sets in this particular case.     

Cone Dependence—A Basic Combinatorial Concept

We call A ? $ \mathbb{E} $ ⁿ cone independent of B ? $ \mathbb{E} $ ⁿ , the euclidean n-space, if no a = (a ₁,..., a _n ) ∈ A equals a linear combination of B \ {a} with non-negative coefficients. If A is cone independent of A we call A a cone independent set. We begin the analysis of this concept for the sets P(n) = {A ? {0, 1} ⁿ ? $ \mathbb{E} $ ⁿ : A is cone independent} and their maximal cardinalities c(n) ? max{|A| : A ∈ P(n)}. We show that lim _{n → ∞} $ \frac{{c\left( n \right)}}{{2^n }} $ > $\frac{1}{2}$ , but can't decide whether the limit equals 1. Furthermore, for integers 1 < k < ? ≤ n we prove first results about c _n (k, ?) ? max{|A| : A ∈ P _n (k, ?)}, where P _n (k, ?) = {A : A ? V ⁿ _k and V ⁿ _? is cone independent of A} and V ⁿ _k equals the set of binary sequences of length n and Hamming weight k. Finding c _n (k, ?) is in general a very hard problem with relations to finding Turan numbers.     

On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

Exact solution of the hypergraph Turán problem for k-uniform linear paths

A k-uniform linear path of length ?, denoted by ? _? ^(k) , is a family of k-sets {F ₁,...,F _? such that |F _i ∩ F _i+1|=1 for each i and F _i ∩ F _bj = \(\not 0\) whenever |i?j|>1. Given a k-uniform hypergraph H and a positive integer n, the k-uniform hypergraph Turán number of H, denoted by ex _k (n, H), is the maximum number of edges in a k-uniform hypergraph \(\mathcal{F}\) on n vertices that does not contain H as a subhypergraph. With an intensive use of the delta-system method, we determine ex _k (n, P _? ^(k) exactly for all fixed ? ≥1, k≥4, and sufficiently large n. We show that $ex_k (n,\mathbb{P}_{2t + 1}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} )$ . The only extremal family consists of all the k-sets in [n] that meet some fixed set of t vertices. We also show that $ex(n,\mathbb{P}_{2t + 2}^{(k)} ) = (_{k - 1}^{n - 1} ) + (_{k - 1}^{n - 2} ) + \cdots + (_{k - 1}^{n - t} ) + (_{k - 2}^{n - t - 2} )$ , and describe the unique extremal family. Stability results on these bounds and some related results are also established.     

Grid approximation of singularly perturbed parabolic convection-diffusion equations subject to a piecewise smooth initial condition

A boundary value problem for a singularly perturbed parabolic convection-diffusion equation on an interval is considered. The higher order derivative in the equation is multiplied by a parameter ? that can take arbitrary values in the half-open interval (0, 1]. The first derivative of the initial function has a discontinuity of the first kind at the point x ₀. For small values of ?, a boundary layer with the typical width of ? appears in a neighborhood of the part of the boundary through which the convective flow leaves the domain; in a neighborhood of the characteristic of the reduced equation outgoing from the point (x ₀, 0), a transient (moving in time) layer with the typical width of ?^1/2 appears. Using the method of special grids that condense in a neighborhood of the boundary layer and the method of additive separation of the singularity of the transient layer, special difference schemes are designed that make it possible to approximate the solution of the boundary value problem ?-uniformly on the entire set $\bar G$ , approximate the diffusion flow (i.e., the product ?(?/?x)u(x, t)) on the set $\bar G^ * = \bar G\backslash \{ (x_0 ,0)\} $ , and approximate the derivative (?/?x)u(x, t) on the same set outside the m-neighborhood of the boundary layer. The approximation of the derivatives ?²(?²/?x ²)u(x, t) and (?/?t)u(x, t) on the set $\bar G^ * $ is also examined.     

More DD difference sets

Dillon and Dobbertin proved that if L := GF(2 ^m ), gcd(k, m) = 1, d := 4 ^k ? 2 ^k + 1 and Δ _k (x) := (x + 1) ^d + x ^d + 1, then B _k := L\Δ _k (L) is a difference set in the cyclic multiplicative group L  ^×  of L. Used in the proof were the auxiliary functions $c_k^{\gamma}(x) := b_k(\gamma x^{2^k+1})$ , where γ is in L  ^×  and b _k is the characteristic function of B _k on L. When m is odd $c_k^{\gamma}$ is itself the characteristic function of a cyclic difference set which is equivalent to B _k . In this paper we point out that when m is even and γ is not a cube in L then $c_k^{\gamma}$ is the characteristic function of a difference set in the elementary abelian additive group of L; i.e. $c_k^{\gamma}$ is a bent function.     

On approximation of a function and its derivatives by a polynomial and its derivatives

Let g∈C~q[-1, 1] be such that g~((k))(±1)=0 for k=0,…,q. Let P_n be an algebraic polynomialof degree at most n, such that P_n~((k))(±1)=0 for k=0,…,[_2~ (q+1)]. Then P_n and its derivativesP_n~((k)) for k≤q well approximate g and its respective derivatives, provided only that P_n well approxi-mates g itself in the weighted norm ‖g(x)-P_n(x) (1-x~2)~(1/2)~q‖This result is easily extended to an arbitrary f∈C~q[-1, 1], by subtracting from f the polynomial ofminnimal degree which interpolates f~((0))…,f~((q)) at±1. As well as providing easy criteria for judging the simultaneous approximation properties of a givenPolynomial to a given function, our results further explain the similarities and differences betweenalgebraic polynomial approximation in C~q[-1, 1] and trigonometric polynomial approximation in thespace of q times differentiable 2π-periodic functions. Our proofs are elementary and basic in character,permitting the construction of actual error estimates for simultaneous approximation proedures for smallvalues of q.     

Strong capacity-estimates for “fractional” norms

It is proved that for all fractionall the integral \(\int\limits_0^\infty {(p,\ell ) - cap(M_t )} dt^p\) is majorized by the P-th power norm of the functionu in the space ? _p ^l (Rⁿ) (here M_t={x∶¦u(x)¦?t} and (p,l)-cap(e) is the (p,l)-capacity of the compactum e?Rⁿ). Similar results are obtained for the spaces W _p ^l (Rⁿ) and the spaces of M. Riesz and Bessel potentials. One considers consequences regarding imbedding theorems of “fractional” spaces in ?_q(dμ), whereμ is a nonnegative measure in Rⁿ. One considers specially the case p=1.     

Ergodic dynamical systems over the cartesian power of the ring of p-adic integers

For any 1-lipschitz ergodic map F: ? _p ^k ? ? _p ^k , k >1 ∈ ?, there are 1-lipschitz ergodic map G: ? _p ? ? _p and two bijections H _k , T _{k, P} that $G = H_k \circ T_{k,P} \circ F \circ H_k^{ - 1} andF = H_k^{ - 1} \circ T_{k,P - 1} \circ G \circ H_k $ .