On factorization of polynomials in henselian valued fields

Guàrdia, Montes and Nart generalized the well-known method of Ore to find complete factorization of polynomials with coe?cients in finite extensions of p-adic numbers using Newton polygons of higher order (cf. [Trans. Amer. Math. Soc. 364 (2012), 361–416]). In this paper, we develop the theory of higher order Newton polygons for polynomials with coe?cients in henselian valued fields of arbitrary rank and use it to obtain factorization of such polynomials. Our approach is different from the one followed by Guàrdia et al. Some preliminary results needed for proving the main results are also obtained which are of independent interest.     

On the number of certain Galois extensions of local fields

In this paper, we will calculate the number of Galois extensions of local fields with Galois group or .

     

Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper. This theorem also has other consequences in the geometry of definable sets. The method of proving quantifier elimination in this paper for an analytic language does not require the algebraic quantifier elimination theorem of Weispfenning, unlike the customary method of proof used in similar earlier analytic quantifier elimination theorems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the u-invariant of function fields of curves over complete discretely valued fields

Let K be a complete discretely valued field with residue field κ  . If char(K)=0$\mathrm{char}(K)=0$, char(κ)=2$\mathrm{char}(\kappa )=2$ and [κ:κ²]=d$[\kappa :{\kappa }^2]=d$, we prove that there exists an integer N depending on d such that the u-invariant of any function field in one variable over K is bounded by N. The method of proof is via introducing the notion of uniform boundedness for the p-torsion of the Brauer group of a field and relating the uniform boundedness of the 2-torsion of the Brauer group to the finiteness of the u-invariant. We prove that the 2-torsion of the Brauer group of function fields in one variable over K is uniformly bounded.     

On the Brauer p-dimension of Henselian discrete valued fields of residual characteristic p > 0

Let $(K,v)$ be a Henselian discrete valued field with residue field $\stackrel{?}{K}$ of characteristic $p>0$, and ${\text{Brd}}_p(K)$ be the Brauer p-dimension of K. This paper shows that ${\text{Brd}}_p(K)\ge n$ if $[\stackrel{?}{K}:{\stackrel{?}{K}}^p]=p^n$, for some $n\in \mathbb{N}$. It proves that ${\text{Brd}}_p(K)=\infty$ if and only if $[\stackrel{?}{K}:{\stackrel{?}{K}}^p]=\infty$.     

On a certain sum-product estimate in fields of prime order

Let Fp be the finite field of p elements with p prime.If A is a subset of Fp and g is an element of F*p with order ν,then max{|A + g·A|,|A·A|} (ν/(ν + |A|2) )1/12|A|13/12.     

On the cohomology of Witt vectors of p-adic integers and a conjecture of Hesselholt

Let K be a complete discrete valued field of characteristic zero with residue field kK of characteristic p>0. Let L/K be a finite Galois extension with Galois group G such that the induced extension of residue fields kL/kK is separable. Hesselholt (2004) [2] conjectured that the pro-abelian group {H¹(G,Wn(OL))}_n∈N is zero, where OL is the ring of integers of L and W(OL) is the ring of Witt vectors in OL w.r.t. the prime p. He partially proved this conjecture for a large class of extensions. In this paper, we prove Hesselholt?s conjecture for all Galois extensions.     

Centralized variant of the Li criterion on functions fields

In this note, we study a Li-type criterion for the zeta function associated to the function field K of an arbitrary genus over a finite field of constants. First, we define two types of generalized Li-type coefficients and relate them with the Generalized Riemann Hypothesis. Furthermore, we provide different analytic representations for these coefficients and derive some interesting consequences.     

On the L 1-lower semicontinuity of certain convex functionals defined on BV-vector valued functions

The aim of this work is to provide an L ¹-lower semicontinuity result for an integral convex functional defined on BV-vector valued functions, without any coerciveness and any continuity assumption on the integrand f(x, ξ) with respect to the variable x.      

A generalization of Gale's lemma

In this work, we present a generalization of Gale's lemma. Using this generalization, we introduce two sharp combinatorial lower bounds for and , the two classic topological lower bounds for the chromatic number of a graph G.     

On the number of solutions of certain diagonal equations over finite fields

We use character sums over finite fields to give formulas for the number of solutions of certain diagonal equations of the form$a_1{x}_1^{m_1}+a_2{x}_2^{m_2}+\cdots +a_n{x}_n^{m_n}=c.$ We also show that if the value distribution of character sums ${\sum }_{x\in {\mathbb{F}}_q}\chi (a{x}^m+bx)$, $a,b\in {\mathbb{F}}_q$, is known, then one can obtain the number of solutions of the system of equations$\{\begin{array}{cc}\hfill x_1+x_2+\cdots +x_n\hfill & \hfill =\alpha \hfill \\ \hfill x_1^m+x_2^m+\cdots +x_n^m\hfill & \hfill =\beta ,\hfill \end{array}$ for some particular m. We finally apply our results to induce some facts about Waring's problems and the covering radius of certain cyclic codes.     

An Axiomatisation of the Conditionals of Post's Many Valued Logics

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's (m, u)-conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values (cf. [5]). The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic (cf. [2]).     

Spectral representation and asymptotic properties of certain deterministic fields with innovation components

In this paper we derive the spectral and ergodic properties of a special class of homogeneous random fields, which includes an important family of evanescent random fields. Based on a derivation of the resolution of the identity for the operators generating the homogeneous field, and using the properties of measurable transformations, the spectral representation of both the field and its covariance sequence are derived. A necessary and sufficient condition for the existence of such representation is introduced. Using an analysis approach that employs the solution to the linear Diophantine equations, further characterization and modeling of the spectral properties of evanescent fields are provided by considering their spectral pseudo-density function, defined in this paper. The geometric properties of the spectral pseudo-density of the evanescent field are investigated. Finally, necessary and sufficient conditions for mean and strong ergodicity of the first and second order moments of these fields are derived. The analysis, initially carried out for complex valued random fields, is later extended to include the case of real valued fields.This work was supported in part by the EU 5th Framework IHP Program, MOUMIR Project, under Grant RTN-1999-0177. Mathematics Subject Classification (2000):62M40, 62J05     

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.     

On the linear independence of numbers over number fields

In the present paper, the problem of a lower bound for the measure of linear independence of a given collection of numbers ₁, , _n is considered under the assumption that, for a sequence of polynomials whose coefficients are algebraic integers, upper and lower estimates at the point ( ₁, , _n ) are known. We use a method that generalizes the Nesterenko method to the case of an arbitrary algebraic number field.Translated fromMatematicheskie Zametki, Vol. 64, No. 4, pp. 506–517, October, 1998.The author wishes to thank Professor Yu. V. Nesterenko for setting the problem and valuable advice and Professor D. Bertrand for fruitful discussions.This research was partially supported by the International Science Foundation (Soros Foundation) under grant No. 507_s.     

On Galois structure of the integers in elementary abelian extensions of local number fields

Let p be an odd prime number and k a finite extension of Qp. Let K/k be a totally ramified elementary abelian Kummer extension of degree p² with Galois group G. We determine the isomorphism class of the ring of integers in K as an oG-module under some assumptions. The obtained results imply there exist extensions whose rings are ZpG-isomorphic but not oG-isomorphic, where Zp is the ring of p-adic integers. Moreover we obtain conditions that the rings of integers are free over the associated orders and give extensions whose rings are not free.