On the size of the set A(A + 1)

Let F _p be the field of a prime order p. For a subset A ì F_p{A \subset F_p} we consider the product set A(A + 1). This set is an image of A ×  A under the polynomial mapping f(x, y) = xy +  x : F _p ×  F _p → F _p . In the present note we show that if |A| <  p ^1/2, then

Forbidden configurations and repeated induction

For a given k×? matrix F, we say a matrix A has no configurationF if no k×? submatrix of A is a row and column permutation of F. We say a matrix is simple if it is a (0,1)-matrix with no repeated columns. We define as the maximum number of columns in an m-rowed simple matrix which has no configuration F. A fundamental result of Sauer, Perles and Shelah, and Vapnik and Chervonenkis determines exactly, where K_k denotes the k×2^k simple matrix. We extend this in several ways. For two matrices G,H on the same number of rows, let [G∣H] denote the concatenation of G and H. Our first two sets of results are exact bounds that find some matrices B,C where and . Our final result provides asymptotic boundary cases; namely matrices F for which is O(m^p) yet for any choice of column α not in F, we have is Ω(m^p+1). This is evidence for a conjecture of Anstee and Sali. The proof techniques in this paper are dominated by repeated use of the standard induction employed in forbidden configurations. Analysis of base cases tends to dominate the arguments. For a k-rowed (0,1)-matrix F, we also consider a function which is the minimum number of columns in an m-rowed simple matrix for which each k-set of rows contains F as a configuration.     

ltivariate Hausdorff operators on the spaces H1(Rn) and BMO(Rn)

Summary A multivariate Hausdorff operator H = H(, c, A) is defined in terms of a -finite Borel measure on Rⁿ, a Borel measurable function c on Rⁿ, and an n × n matrix A whose entries are Borel measurable functions on rⁿ and such that A is nonsingular -a.e. The operator H*:= H (, c | det A^-1|, A^-1) is the adjoint to H in a well-defined sense. Our goal is to prove sufficient conditions for the boundedness of these operators on the real Hardy space H¹(Rⁿ) and BMO (Rⁿ). Our main tool is proving commuting relations among H, H*, and the Riesz transforms R_j. We also prove commuting relations among H, H*, and the Fourier transform.     

Hadamard matrices generated by an adaptation of generalized quaternion type array

The purpose of this paper is to prove that ifq 1 (mod 4) andq – 2 are both prime powers, then there exists an Hadamard matrix of order 4q. We rely on relative Gauss sums and generalized quaternion type array. Under the same assumption onq, E. Spence has obtained an Hadamard matrix of order 4q by using a relative difference set and the Goethals-Seidel array. We believe that the matrix constructed here is inequivalent to Spence's matrix, in general.Notation q a power of a primep - Z the rational integer ring - F = GF(q) a finite field withq elements - K = GF(q ^s ) an extension ofF of degrees 2 - F ^× multiplicative group ofF - a primitive element ofK - S _F absolute trace fromF - S _K/F relative trace fromK toF - N _K/F relative norm fromK toF - I _m the unit matrix of orderm - J _m the matrix of orderm with every element + 1 - e the column vector of ordern with every element + 1 - A ^* the transpose of a matrixA - J _m (x) 1 +x + x ² + ... +x ^m-1     

Galois Theory for the Selmer Group of an Abelian Variety

This paper concerns the Galois theoretic behavior of the p-primary subgroup Sel _A (F) _p of the Selmer group for an Abelian variety A defined over a number field F in an extension K/F such that the Galois group G(K/F) is a p-adic Lie group. Here p is any prime such that A has potentially good, ordinary reduction at all primes of F lying above p. The principal results concern the kernel and the cokernel of the natural map s _K/F Sel _A (F) _p Sel _A (K) _p ^G(K/F) where F is any finite extension of F contained in K. Under various hypotheses on the extension K/F, it is proved that the kernel and cokernel are finite. More precise results about their structure are also obtained. The results are generalizations of theorems of B.Mazurand M. Harris.     

The period and base of a reducible sign pattern matrix

A square sign pattern matrix A (whose entries are ) is said to be powerful if all the powers A,A²,A³,…, are unambiguously defined. For a powerful pattern A, if A^l=A^l+p with l and p minimal, then l is called the base of A and p is called the period of Li et al. [On the period and base of a sign pattern matrix, Linear Algebra Appl. 212/213 (1994) 101-120] characterized irreducible powerful sign pattern matrices. In this paper, we characterize reducible, powerful sign pattern matrices and give some new results on the period and base of a powerful sign pattern matrix.     

Perturbation Analysis for the Eigenvalue Problem of a Formal Product of Matrices

We study the perturbation theory for the eigenvalue problem of a formal matrix product A ₁ ^{s 1} ··· A _p ^{s p}, where all A _k are square and s _k {–1, 1}. We generalize the classical perturbation results for matrices and matrix pencils to perturbation results for generalized deflating subspaces and eigenvalues of such formal matrix products. As an application we then extend the structured perturbation theory for the eigenvalue problem of Hamiltonian matrices to Hamiltonian/skew-Hamiltonian pencils.     

Generating orthogonal matrix polynomials satisfying second order differential equations from a trio of triangular matrices

The method developed in [A.J. Durán, F.A. Grünbaum, Orthogonal matrix polynomials satisfying second order differential equations, Int. Math. Res. Not. 10 (2004) 461–484] led us to consider matrix polynomials that are orthogonal with respect to weight matrices W(t) of the form , , and (1−t)^α(1+t)^βT(t)T^*(t), with T satisfying T^′=(2Bt+A)T, T(0)=I, T^′=(A+B/t)T, T(1)=I, and T^′(t)=(−A/(1−t)+B/(1+t))T, T(0)=I, respectively. Here A and B are in general two non-commuting matrices. We are interested in sequences of orthogonal polynomials (P_n)_n which also satisfy a second order differential equation with differential coefficients that are matrix polynomials F₂, F₁ and F₀ (independent of n) of degrees not bigger than 2, 1 and 0 respectively. To proceed further and find situations where these second order differential equations hold, we only dealt with the case when one of the matrices A or B vanishes.The purpose of this paper is to show a method which allows us to deal with the case when A, B and F₀ are simultaneously triangularizable (but without making any commutativity assumption).     

On commuting compact self-adjoint operators on a Pontryagin space

Suppose thatA ₁,A ₂, ...,A _n are compact commuting self-adjoint linear maps on a Pontryagin spaceK of indexk and that their joint root subspaceM ₀ at the zero eigenvalue in ⁿ is a nondegenerate subspace. Then there exist joint invariant subspacesH andF inK such thatK=FH,H is a Hilbert space andF is finite-dimensional space withkdimF(n+2)k. We also consider the structure of restrictionsA _j|F in the casek=1.     

Proof of Oppenheim's area inequalities for triangles and quadrilaterals

Leta ₁,b ₁,c ₁,A ₁ anda ₂,b ₂,c ₂,A ₂ be the sides and areas of two triangles. Ifa=(a ₁ ^p +a ₂ ^p )^1/p ,b=(b ₁ ^p +b ₂ ^p )^1/p ,c=(c ₁ ^p +c ₂ ^p )^1/p , and 1p4, thena, b, c are the sides of a triangle and its area satisfiesA ^p/2A ₁ ^p/2 +A ₂ ^p/2 . If obtuse triangles are excluded,p>4 is allowed. For convex cyclic quadrilaterals, a similar inequality holds. Also, leta, b, c, A be the sides and area of an acute or right triangle. Iff(x) satisfies certain conditions,f(a),f(b),f(c) are the sides of a triangle having areaA _f, which satisfies (4A _f/3)^1/2f((4A/3)^1/2).     

Schauder type theorems for differentiable and holomorphic mappings

Denoting byC _wu ^p (E) the algebra of allC ^p-real-valued functions on the real Banach spaceE such that the functions and the derivatives are weakly uniformly continuous on bounded subsets, it is known that the algebra homomorphismsA:C _wu ^q (F)C _wu ^p (E) are induced by differentiable mappingsg:EF ^**. We prove that, for 1p+1q, the following are equivalent: (a)A is compact; (b)g and its derivatives are compact; (c)gC _wu ^p (E,F ^**) (the authors had proved that, forp=q<,A is [weakly] compact if and only ifg is a constant mapping, and it is known that ifq<p, thenA is always induced by a constant mapping and is therefore compact). Also, for an entire function of bounded typegH _b (U,F), where is a balanced open subset, andE,F are complex Banach spaces, lettingA:H _b (F)H _b (U) be the homomorphism given byA(f)=fg for allfH _b (F), we prove thatA is compact if and only ifg is compact.Supported in part by DGICYT Grant PB 94-1052 (Spain).Supported in part by DGICYT Grant PB 93-0452 (Spain).     

Binomial Matrices

Every s×s matrix A yields a composition map acting on polynomials on R ^s . Specifically, for every polynomial p we define the mapping C _A by the formula (C _A p)(x):=p(Ax), xR ^s . For each nonnegative integer n, homogeneous polynomials of degree n form an invariant subspace for C _A . We let A ⁽ⁿ⁾ be the matrix representation of C _A relative to the monomial basis and call A ⁽ⁿ⁾ a binomial matrix. This paper studies the asymptotic behavior of A ⁽ⁿ⁾ as n. The special case of 2×2 matrices A with the property that A ²=I corresponds to discrete Taylor series and motivated our original interest in binomial matrices.     

On Polynomials over Prime Fields Taking Only Two Values on the Multiplicative Group

Let p>2 be a prime, denote by F_p the field with F_p=p, and let F^*_p=F_p\{0}. We prove that if fεF_p[x] and f takes only two values on F^*_p, then (excluding some exceptional cases) the degree of f is at least (p−1).     

Removable singularities for weighted Bergman spaces

We develop a theory of removable singularities for the weighted Bergman space , where μ is a Radon measure on ℂ. The set A is weakly removable for , and strongly removable for . The general theory developed is in many ways similar to the theory of removable singularities for Hardy H ^p spaces, BMO and locally Lipschitz spaces of analytic functions, including the existence of counterexamples to many plausible properties, e.g. the union of two compact removable singularities needs not be removable. In the case when weak and strong removability are the same for all sets, in particular if μ is absolutely continuous with respect to the Lebesgue measure m, we are able to say more than in the general case. In this case we obtain a Dolzhenko type result saying that a countable union of compact removable singularities is removable. When dμ = wdm and w is a Muckenhoupt A _p weight, 1 < p < ∞, the removable singularities are characterized as the null sets of the weighted Sobolev space capacity with respect to the dual exponent p′ = p/(p − 1) and the dual weight w′ = w ^{1/(1 − p)}.     

Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group

Let M be an incidence matrix for a projective plane of order n. The eigenvalues of M are calculated in the Desarguesian case and a standard form for M is obtained under the hypothesis that the plane admits a (P,L)-transitivity G, |G| = n. The study of M is reduced to a principal submatrix A which is an incidence matrix for n ² lines of an associated affine plane. In this case, A is a generalized Hadamard matrix of order n for the Cayley permutation representation R(G). Under these conditions it is shown that G is a 2-group and n = 2^r when the eigenvalues of A are real. If G is abelian, the characteristic polynomial |xI – A| is the product of the n polynomials |x – (A)|, a linear character of G. This formula is used to prove n is a prime power under natural conditions on A and spectrum(A). It is conjectured that |xI – A| x ⁿ² mod p for each prime divisor p of n and the truth of the conjecture is shown to imply n = |G| is a prime power.     

Fourier algebras on locally compact hypergroups

In the present paper we introduce a new definition for the Fourier space A (K) of a locally compact Hausdorff hypergroup K and prove that it is a Banach subspace of B (K). This definition coincides with that of Amini and Medghalchi in the case where K is a tensor hypergroup, and also with that of Vrem which is given only for compact hypergroups. We prove that A_p (K)* = PM_q (K), where q is the exponent conjugate to p, in particular A (K)* = VN (K). Also we show that for Pontryagin hypergroups, A (K) = L²(K) * L²(K) = F (L¹( )), where F stands for the Fourier transform on . Furthermore there is an equivalent norm on A (K) which makes A (K) into a Banach algebra isomorphic with L¹( ). (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On properties of the probabilistic constrained linear programming problem and its dual

In this paper, the two problems inf{inf{cx:x R ⁿ,A ₁ xy,A ₂ xb}:y suppF R ^m,F(y)p} and sup{inf{uy:y suppF R ^m,F(y)p}+vb:uA ₁+vA ₂=c, (u,v0} are investigated, whereA ₁,A ₂,b,c are given matrices and vectors of finite dimension,F is the joint probability distribution of the random variables ₁,..., _m, and 0<p<1. The first problem was introduced as the deterministic equivalent and the second problem was introduced as the dual of the probabilistic constrained linear programming problem inf{cx:P(A ₁ x)p,A ₂ xb}.b}. Properties of the sets and the functions involved in the two problems and regularity conditions of optimality are discussed.     

Quelques observations concernant les ensembles de Ditkin d'un groupe localement compact

We prove that every closed normal subgroupH of a locally compact amenable groupG is a Ditkin set with respect to the Herz-Figà-Talamanca algebraA _p (G) (p>1). Let be the canonical map ofG ontoG/H andF a closed subset ofG/H. We show thatF is a Ditkin set if and only if everyuA _p (G), which vanishes on ^–1, lies on the norm closure of the subspace ofA _p (G) generated by {u _h |hH, vA _p (G)C ₀₀(G)} whereu _h (x)=u(x h). As far as we know, this result seems to be new even forG abelian andp=2.     

Bounded and compact multipliers between Bergman and Hardy spaces

This paper studies the boundedness and compactness of the coefficient multiplier operators between various Bergman spacesA ^p and Hardy spacesH ^q . Some new characterizations of the multipliers between the spaces with exponents 1 or 2 are derived which, in particular, imply a Bergman space analogue of the Paley-Rudin Theorem on sparse sequences. Hardy and Bergman spaces are shown to be linked using mixed-norm spaces, and this linkage is used to improve a known result on (A ^p ,A ²), 1<p<2.Compact (H ¹,H ²) and (A ¹,A ²) multipliers are characterized. The essential norms and spectra of some multiplier operators are computed. It is shown that forp>1 there exist bounded non-compact multiplier operators fromA ^p toA ^q if and only ifpq.