Inversion and subspaces of a finite field

Consider two F _q -subspaces A and B of a finite field, of the same size, and let A ^?1 denote the set of inverses of the nonzero elements of A. The author proved that A ^?1 can only be contained in A if either A is a subfield, or A is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if A ^?1 ? B, then the bound |A ^?1∩B| ≤ 2|B|/q ? 2 holds. He also gave examples showing that his bound is sharp for |B| ≤ q ³. Our main result is a proof of the stronger bound |A ^?1 ∩ B| ≤ |B|/q · (1 + O _d (q ^?1/2)), for |B| = q ^d with d > 3. We also classify all examples with |B| ≤ q ³ which attain equality or near-equality in Csajbók’s bound.     

Generalizations of Bohr inequality for Hilbert space operators

Let B(H) be the space of all bounded linear operators on a complex separable Hilbert space H. Bohr inequality for Hilbert space operators asserts that for A,B∈B(H) and p,q>1 real numbers such that 1/p+1/q=1,

²|A+B|?p²|A|+q²|B|     

Standard Envelopes of Commutative Triple Systems

Under certain constraints on the characteristic of a field , the commutative standard enveloping q-algebra >B of a commutative triple system A over is defined. It is proved that(1) if the algebra B is simple, then the system A is simple;(2) if the system A is simple, then B either is simple or decomposes into the direct sum of two isomorphic simple subalgebras (as of ideals).     

Modulus of continuity of the matrix absolute value

Lipschitz continuity of the matrix absolute value |A| = (A*A)^1/2 is studied. Let A and B be invertible, and let M ₁ = max(‖A‖, ‖B‖), M ₂ = max(‖A ⁻¹‖, ‖B ⁻¹‖). Then it is shown that

On additive properties of product sets in an arbitrary finite field

It is proved that for any two subsets A and B of an arbitrary finite field $ \mathbb{F}_q $ \mathbb{F}_q such that |A||B| > q, the identity 10AB = $ \mathbb{F}_q $ \mathbb{F}_q holds. Under the assumption |A||B| ⩾2q, this improves to 8AB = $ \mathbb{F}_q $ \mathbb{F}_q .     

Zeros ofA p functions and related classes of analytic functions

The functionf(z), analytic in the unit disc, is inA ^p if \(\int {\int {_{\left| z \right|< 1} \left| {f(z)} \right|^p dxdy< \infty } } \) . A necessary condition on the moduli of the zeros ofA ^p functions is shown to be best possible. The functionf(z) belongs toB ^p if \(\int {\int {_{\left| z \right|< 1} \log ^ + \left| {f(z)} \right|)^p } } \) . Let {z _n } be the zero set of aB ^p function. A necessary condition on |z _n | is obtained, which, in particular, implies that Σ(1?|z _n |)^1+(1/p)+g <∞ for all ε>0 (p≧1). A condition on the Taylor coefficients off is obtained, which is sufficient for inclusion off inB ^p. This in turn shows that the necessary condition on |z _n | is essentially the best possible. Another consequence is that, forq≧1,p<q, there exists aB ^p zero set which is not aB ^q zero set.     

Strong monotonicity of operator functions

LetA, B be bounded selfadjoint operators on a Hilbert space. We will give a formula to get the maximum subspace such that is invariant forA andB, and . We will use this to show strong monotonicity or strong convexity of operator functions. We will see that when 0≤A≤B, andB−A is of finite rank,A ^t ≤B ^t for somet>1 if and only if the null space ofB−A is invariant forA.     

On the Convexity of the Heinz Means

Let A, B, and X be operators on a complex separable Hilbert space such that A and B are positive, and let 0 ≤ v ≤ 1. The Heinz inequalities assert that for every unitarily invariant norm | | | ·| | | ,{\left\vert \left\vert \left\vert \cdot \right\vert \right\vert \right\vert ,}

On Solutions of the q-Hypergeometric Equation with q N = 1

We consider the q-hypergeometric equation with q ^N = 1 and , , . We solve this equation on the space of functions given by a power series multiplied by a power of the logarithmic function. We prove that the subspace of solutions is two-dimensional over the field of quasi-constants. We get a basis for this space explicitly. In terms of this basis, we represent the q-hypergeometric function of the Barnes type constructed by Nishizawa and Ueno. Then we see that this function has logarithmic singularity at the origin. This is a difference between the q-hypergeometric functions with 0 < |q| < 1 and at |q| = 1.     

Bivariate hermite interpolation and applications to Algebraic Geometry

Summary We try to solve the bivariate interpolation problem (1.3) for polynomials (1.1), whereS is a lower set of lattice points, and for theq-th interpolation knot,A _q is the set of orders of derivatives that appear in (1.3). The number of coefficients |S| is equal to the number of equations |A _q |. If this is possible for all knots in general position, the problem is almost always solvable (=a.a.s.). We seek to determine whether (1.3) is a.a.s. An algorithm is given which often gives a positive answer to this. It can be applied to the solution of a problem of Hirschowitz in Algebraic Geometry. We prove that for Hermite conditions (1.3) (when allA _q are lower triangles of orderp) andP is of total degreen, (1.3) is a.a.s. for allp=1, 2, 3 and alln, except for the two casesp=1,n=2 andp=1,n=4.Dedicated to R. S. Varga on the occasion of his sixtieth birthdayThis work has been partly supported by the Texas ARP and the Deutsche Forschungsgemeinschaft     

A Note on the Mean Value of Numbersof the Solutions of x^α≡ 1（modn）

Let T = T(p, q, α) be the number of solutions of the congruence x^α ≡ 1 (mod p^ηq^θ). Let A and B be sets of primes satisfying x₁ < p ≤ x₂ and y₁ < q ≤ y₂, respectively. A mean value estimation of is given. Supported by National Natural Science Foundation of China (No. 19971024) and Zhejiang Provincial Natural Science Foundation of China (No. 199047)     

A footnote to mean square value of DirichletL-series

Following appropriate use of approximate functional equation for Hurwitz Zeta function, we obtain upper bounds for } Here fors = σ + it, L(s,x) denotes DirichletL-series for character x(modq). In particular, we obtain S(1/2 +it) ≪q logqt + t^5/8 q^−1/8, which is an improvement in the range q |t| < q^11/7, on hitherto best known result. This incidentally gives S(1/2+ it)≪ q log3q for |t|q^9/5.     

On extending Pollard’s theorem for <Emphasis Type="Italic">t</Emphasis>-representable sums

Let t ≥ 1, let A and B be finite, nonempty subsets of an abelian group G, and let $ A\mathop + \limits_i B $ A\mathop + \limits_i B denote all the elements c with at least i representations of the form c = a + b, with a ∈ A and b ∈ B. For |A|, |B| ≥ t, we show that either

Numerical analysis of a mixed elliptic problem with flux and convective boundary conditions to obtain a discrete solution of nonconstant sign

We consider a material that occupies a convex polygonal bounded domain Ω ⊂ ℝⁿ, with regular boundary Γ = Γ₁ ∪ Γ₂ (with Γ ∩ Γ = ∅︁) with meas (Γ₁) = |Γ₁| > 0 and |Γ₂| > 0. We assume, without loss of generality, that the melting temperature is 0°C. We consider the following steady‐state heat conduction problem in Ω: with α, q, B = Const > 0, and q and α represent the heat flux on Γ₂ and the heat transfer coefficient on Γ₁, respectively. In a previous article (Tabacman‐ Tarzia, J Diff Eq 77 (1989), 16– 37) sufficient and/or necessary conditions on data α, q, B, Ω, Γ₁, Γ₂ to obtain a temperature u of nonconstant sign in Ω (that is, a multidimensional steady‐state, two‐phase, Stefan problem) were studied. In this article, we consider a regular triangulation by finite element method of the domain Ω with Lagrange triangles of the type 1, with h > 0 the parameter of the discretization. We study sufficient (and/or necessary) conditions on data α, q, B, Ω, Γ₁, and Γ₂ to obtain a change of phase (steady‐state, two‐phase, discretized Stefan problem) in corresponding discretized domain, that is, a discrete temperature of nonconstant sign in Ω. Moreover, error bounds as a function of the parameter h, are also obtained. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq. 15: 355–369, 1999     

Counting Cocomponents of a Topological Space

Dualizing the statement about a number of components of a topological space X, we say that, for a natural number n, the space X has at most n cocomponents if every continuous map f:X ⁿ⁺¹X factorizes through X ⁿ , i.e., f depends on at most n coordinates. We construct metrizable spaces X ₁,X ₂,X ₃ such that(1) X ₁ does not have finitely many cocomponents but every continuous map X ₁ X ₁ depends only on finitely many coordinates;(2) X ₂=A×B for rigid spaces A,B and there is a continuous map X ₂ X ₂ depending on all coordinates;(3) X ₃(n) has precisely n cocomponents but it cannot be expressed as A×B with |A|>1 and |B|>1.     

Exponential sum estimates over subgroups and almost subgroups of \mathbb{Z}_{Q}^{*} , where Q is composite with few prime factors

In this paper we extend the exponential sum results from [BK] and [BGK] for prime moduli to composite moduli q involving a bounded number of prime factors. In particular, we obtain nontrivial bounds on the exponential sums associated to multiplicative subgroups H of size q^δ, for any given δ > 0. The method consists in first establishing a ‘sumproduct theorem’ for general subsets A of . If q is prime, the statement, proven in [BKT], expresses simply that either the sum-set A + A or the product-set A.A is significantly larger than A, unless |A| is near q. For composite q, the presence of nontrivial subrings requires a more complicated dichotomy, which is established here. With this sum-product theorem at hand, the methods from [BGK] may then be adapted to the present context with composite moduli. They rely essentially on harmonic analysis and graph-theoretical results such as Gowers’ quantitative version of the Balog–Szemeredi theorem. As a corollary, we get nontrivial bounds for the ‘Heilbronn-type’ exponential sums when q = p^r (p prime) for all r. Only the case r = 2 has been treated earlier in works of Heath-Brown and Heath-Brown and Konyagin (using Stepanov’s method). We also get exponential sum estimates for (possibly incomplete) sums involving exponential functions, as considered for instance in [KS]. Submitted: October 2004 Revision: June 2005 Accepted: August 2005     

Lattice Tensor Products i. Coordinatization

G. Grätzer and F. Wehrung introduced the lattice tensor product, A B, of the lattices A and B. One of the most important properties is that for a simple and bounded lattice A, the lattice A B is a congruence-preserving extension of B. The lattice A B is defined as the set of certain subsets of A B; there is no easy test when a subset belongs to A B. A special case, M ₃B, was earlier defined by G. Gräatzer and F. Wehrung as M ₃, the it Boolean triple construct, defined as a subset of B ³, with a simple criterion when a triple belongs. A~recent paper of G. Grätzer and E. T. Schmidt illustrates the importance of this Boolean triple arithmetic. In this paper we show that for any finite lattice A, we can ``coordinatize" A B, that is, represent A B as a subset of B ⁿ (where n is the number of join-irreducible elements of A), and provide an effective criteria to recognize the n-tuples of elements of B that occur in this representation. To show the utility of this coordinatization, we reprove a special case of the above result: for a finite simple lattice A, the lattice A B is a congruence-preserving extension of B.     

On the vector space of 0-configurations

Let α be a rational-valued set-function on then-element sexX i.e. α(B) εQ for everyB ⫅X. We say that α defines a 0-configuration with respect toA⫅2 ^x if for everyA εA we have α(B)=0. The 0-configurations form a vector space of dimension 2 ⁿ − |A| (Theorem 1). Let 0 ≦t<k ≦n and letA={A ⫅X: |A| ≦t}. We show that in this case the 0-configurations satisfying α(B)=0 for |B|>k form a vector space of dimension , we exhibit a basis for this space (Theorem 4). Also a result of Frankl, Wilson [3] is strengthened (Theorem 6).