-
Witt equivalence of function fields of conics
Authors:
Paweł Gładki,
Murray Marshall
Abstract:
Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few rather specific classes of fields. Two such classes, namely function fields over global fields and function fields of curves over local fields, were investigated by…
▽ More
Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few rather specific classes of fields. Two such classes, namely function fields over global fields and function fields of curves over local fields, were investigated by the authors in their earlier works. In the present work, which can be viewed as a sequel to the earlier papers, we discuss the previously obtained results in the specific case of function fields of conic sections, and apply them to provide a few theorems of a somewhat quantitive flavour shedding some light on the question of numbers of Witt non-equivalent classes of such fields.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
On the determinacy of the moment problem for symmetric algebras of a locally convex space
Authors:
Maria Infusino,
Salma Kuhlmann,
Murray Marshall
Abstract:
This note aims to show a uniqueness property for the solution (whenever exists) to the moment problem for the symmetric algebra $S(V)$ of a locally convex space $(V, τ)$. Let $μ$ be a measure representing a linear functional $L: S(V)\to\mathbb{R}$. We deduce a sufficient determinacy condition on $L$ provided that the support of $μ$ is contained in the union of the topological duals of $V$ w.r.t. t…
▽ More
This note aims to show a uniqueness property for the solution (whenever exists) to the moment problem for the symmetric algebra $S(V)$ of a locally convex space $(V, τ)$. Let $μ$ be a measure representing a linear functional $L: S(V)\to\mathbb{R}$. We deduce a sufficient determinacy condition on $L$ provided that the support of $μ$ is contained in the union of the topological duals of $V$ w.r.t. to countably many of the seminorms in the family inducing $τ$. We compare this result with some already known in literature for such a general form of the moment problem and further discuss how some prior knowledge on the support of the representing measure influences its determinacy.
△ Less
Submitted 9 November, 2018; v1 submitted 24 March, 2016;
originally announced March 2016.
-
Witt equivalence of function fields of curves over local fields
Authors:
Paweł Gładki,
Murray Marshall
Abstract:
Two fields are Witt equivalent if their Witt rings of symmetric bilinear forms are isomorphic. Witt equivalent fields can be understood to be fields having the same quadratic form theory. The behavior of finite fields, local fields, global fields, as well as function fields of curves defined over archimedean local fields under Witt equivalence is well-understood. Numbers of classes of Witt equival…
▽ More
Two fields are Witt equivalent if their Witt rings of symmetric bilinear forms are isomorphic. Witt equivalent fields can be understood to be fields having the same quadratic form theory. The behavior of finite fields, local fields, global fields, as well as function fields of curves defined over archimedean local fields under Witt equivalence is well-understood. Numbers of classes of Witt equivalent fields with finite numbers of square classes are also known in some cases. Witt equivalence of general function fields over global fields was studied in the earlier work [13] by the authors, and applied to study Witt equivalence of function fields of curves over global fields. In this paper we extend these results to local case, i.e. we discuss Witt equivalence of function fields of curves over local fields. As an application, we show that, modulo some additional assumptions, Witt equivalence of two such function fields implies Witt equivalence of underlying local fields.
△ Less
Submitted 24 April, 2016; v1 submitted 29 January, 2016;
originally announced January 2016.
-
Moment problem for symmetric algebras of locally convex spaces
Authors:
M. Ghasemi,
M. Infusino,
S. Kuhlmann,
M. Marshall
Abstract:
It is explained how a locally convex (lc) topology $τ$ on a real vector space $V$ extends to a locally multiplicatively convex (lmc) topology $\overlineτ$ on the symmetric algebra $S(V)$. This allows the application of the results on lmc topological algebras obtained by Ghasemi, Kuhlmann and Marshall to obtain representations of $\overlineτ$-continuous linear functionals…
▽ More
It is explained how a locally convex (lc) topology $τ$ on a real vector space $V$ extends to a locally multiplicatively convex (lmc) topology $\overlineτ$ on the symmetric algebra $S(V)$. This allows the application of the results on lmc topological algebras obtained by Ghasemi, Kuhlmann and Marshall to obtain representations of $\overlineτ$-continuous linear functionals $L: S(V)\rightarrow \mathbb{R}$ satisfying $L(\sum S(V)^{2d}) \subseteq [0,\infty)$ (more generally, $L(M) \subseteq [0,\infty)$ for some $2d$-power module $M$ of $S(V)$) as integrals with respect to uniquely determined Radon measures $μ$ supported by special sorts of closed balls in the dual space of $V$. The result is simultaneously more general and less general than the corresponding result of Berezansky, Kondratiev and \v Sifrin. It is more general because $V$ can be any lc topological space (not just a separable nuclear space), the result holds for arbitrary $2d$-powers (not just squares), and no assumptions of quasi-analyticity are required. It is less general because it is necessary to assume that $L : S(V) \rightarrow \mathbb{R}$ is $\overlineτ$-continuous (not just continuous on each homogeneous part of $S(V)$).
△ Less
Submitted 27 March, 2018; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Witt equivalence of function fields over global fields
Authors:
Pawel Gladki,
Murray Marshall
Abstract:
In our work we investigate Witt equivalence of general function fields over global fields. It is proven that for any two such fields K and L the Witt equivalence induces a canonical bijection between Abhyankar valuations on K and L having residue fields not finite of characteristic 2. The main tool used in the proof is a method of constructing valuations due to Arason, Elman and Jacob. Numerous ap…
▽ More
In our work we investigate Witt equivalence of general function fields over global fields. It is proven that for any two such fields K and L the Witt equivalence induces a canonical bijection between Abhyankar valuations on K and L having residue fields not finite of characteristic 2. The main tool used in the proof is a method of constructing valuations due to Arason, Elman and Jacob. Numerous applications are provided, in particular to Witt equivalence of function fields over number fields: it is proven, among other things, that for two number fields k and l the Witt equivalence between the fields k(x_1,...,x_n) and l(x_1,...,x_n) implies that k and l are themselves Witt equivalent and have equal 2-ranks of their ideal class groups.
△ Less
Submitted 29 January, 2016; v1 submitted 3 February, 2015;
originally announced February 2015.
-
Application of localization to the multivariate moment problem II
Authors:
Murray Marshall
Abstract:
The paper is a sequel to the paper "Application of localization to the multivariate moment problem" by the same author. A new criterion is presented for a positive semidefinite linear functional on the real polynomial algebra to correspond to a positive Borel measure on real n-space. The criterion is stronger than Nussbaum's criterion and is similar in nature to a criterion of Schmudgen. It is als…
▽ More
The paper is a sequel to the paper "Application of localization to the multivariate moment problem" by the same author. A new criterion is presented for a positive semidefinite linear functional on the real polynomial algebra to correspond to a positive Borel measure on real n-space. The criterion is stronger than Nussbaum's criterion and is similar in nature to a criterion of Schmudgen. It is also explained how the criterion allows one to understand the support of the associated measure in terms of the non-negativity of the linear functional on a quadratic module of the real polynomial algebra. This latter result extends a result of Lasserre. The techniques employed are the same localization techniques employed already in two earlier papers by the same author.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Moment problem in infinitely many variables
Authors:
Mehdi Ghasemi,
Salma Kuhlmann,
Murray Marshall
Abstract:
The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$, $i\in Ω$. The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's de…
▽ More
The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$, $i\in Ω$. The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's description of the support of the measure in terms of the non-negativity of the linear functional on a quadratic module of $\mathbb{R}[x_i \mid i \in Ω]$ in [Trans. Amer. Math. Soc., 365 (2013) 2489-2504] is shown to remain valid in this more general situation. The main tool used in the paper is an extension of the localization method developed by the third author.
△ Less
Submitted 19 September, 2014;
originally announced September 2014.
-
Quotients of index two and general quotients in a space of orderings
Authors:
Pawel Gladki,
Murray Marshall
Abstract:
In our work we investigate quotient structures and quotient spaces of a space of orderings arising from subgroups of index two. We provide necessary and sufficient conditions for a quotient structure to be a quotient space that, among other things, depend on the stability index of the given space. The case of the space of orderings of the field Q(x) is particularly interesting, since then the theo…
▽ More
In our work we investigate quotient structures and quotient spaces of a space of orderings arising from subgroups of index two. We provide necessary and sufficient conditions for a quotient structure to be a quotient space that, among other things, depend on the stability index of the given space. The case of the space of orderings of the field Q(x) is particularly interesting, since then the theory developed simplifies significantly. A part of the theory firstly developed for quotients of index 2 generalizes in an elegant way to quotients of index 2^n for arbitrary finite n. Numerous examples are provided.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Lower Bounds for a Polynomial on a basic closed semialgebraic set using geometric programming
Authors:
Mehdi Ghasemi,
Murray Marshall
Abstract:
$f,g_1,...,g_m$ be elements of the polynomial ring $\mathbb{R}[x_1,...,x_n]$. The paper deals with the general problem of computing a lower bound for $f$ on the subset of $\mathbb{R}^n$ defined by the inequalities $g_i\ge 0$, $i=1,...,m…
▽ More
$f,g_1,...,g_m$ be elements of the polynomial ring $\mathbb{R}[x_1,...,x_n]$. The paper deals with the general problem of computing a lower bound for $f$ on the subset of $\mathbb{R}^n$ defined by the inequalities $g_i\ge 0$, $i=1,...,m$. The paper shows that there is an algorithm for computing such a lower bound, based on geometric programming, which applies in a large number of cases. The algorithm extends and generalizes earlier algorithms of Ghasemi and Marshall, dealing with the case $m=0$, and of Ghasemi, Lasserre and Marshall, dealing with the case $m=1$ and $g_1= M-(x_1^d+\cdots+x_n^d)$. Here, $d$ is required to be an even integer $d \ge \max\{2,°(f)\}$. The algorithm is implemented in a SAGE program developed by the first author. The bound obtained is typically not as good as the bound obtained using semidefinite programming, but it has the advantage that it is computable rapidly, even in cases where the bound obtained by semidefinite programming is not computable.
△ Less
Submitted 23 March, 2015; v1 submitted 14 November, 2013;
originally announced November 2013.
-
Lower bounds on the global minimum of a polynomial
Authors:
Mehdi Ghasemi,
Jean Bernard Lasserre,
Murray Marshall
Abstract:
We extend the method of Ghasemi and Marshall [SIAM. J. Opt. 22(2) (2012), pp 460-473], to obtain a lower bound $f_{{\rm gp},M}$ for a multivariate polynomial $f(x) \in \mathbb{R}[x]$ of degree $ \le 2d$ in $n$ variables $x = (x_1,...,x_n)$ on the closed ball ${x \in \mathbb{R}^n : \sum x_i^{2d} \le M}$, computable by geometric programming, for any real $M$. We compare this bound with the (global)…
▽ More
We extend the method of Ghasemi and Marshall [SIAM. J. Opt. 22(2) (2012), pp 460-473], to obtain a lower bound $f_{{\rm gp},M}$ for a multivariate polynomial $f(x) \in \mathbb{R}[x]$ of degree $ \le 2d$ in $n$ variables $x = (x_1,...,x_n)$ on the closed ball ${x \in \mathbb{R}^n : \sum x_i^{2d} \le M}$, computable by geometric programming, for any real $M$. We compare this bound with the (global) lower bound $f_{\rm gp}$ obtained by Ghasemi and Marshall, and also with the hierarchy of lower bounds, computable by semidefinite programming, obtained by Lasserre [SIAM J. Opt. 11(3) (2001) pp 796-816]. Our computations show that the bound $f_{{\rm gp},M}$ improves on the bound $f_{\rm gp}$ and that the computation of $f_{{\rm gp},M}$, like that of $f_{\rm gp}$, can be carried out quickly and easily for polynomials having of large number of variables and/or large degree, assuming a reasonable sparsity of coefficients, cases where the corresponding computation using semidefinite programming breaks down.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras
Authors:
Mehdi Ghasemi,
Salma Kuhlmann,
Murray Marshall
Abstract:
Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$ in the topology induced by $ρ$, for any integer $d\ge1$. We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$-continuou…
▽ More
Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$ in the topology induced by $ρ$, for any integer $d\ge1$. We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$-continuous $\mathbb{R}$-algebra homomorphism $α: A \rightarrow \mathbb{R}$ with $α(S)\subseteq[0,\infty)$, and that this result continues to hold when $ρ$ is replaced by any locally multiplicatively convex topology $τ$ on $A$. We obtain a representation of any linear functional $L : A \rightarrow \reals$ which is continuous with respect to any such $ρ$ or $τ$ and non-negative on $S$ as integration with respect to a unique Radon measure on the space of all real valued $\reals$-algebra homomorphisms on $A$, and we characterize the support of the measure obtained in this way.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Closure of the cone of sums of 2d-powers in certain weighted $\ell_1$-seminorm topologies
Authors:
Mehdi Ghasemi,
Murray Marshall,
Sven Wagner
Abstract:
Berg, Christensen and Ressel prove that the closure of the cone of sums of squares in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal to the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result which is valid for any commutative semigroup. In later work Berg and Maserick an…
▽ More
Berg, Christensen and Ressel prove that the closure of the cone of sums of squares in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal to the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result which is valid for any commutative semigroup. In later work Berg and Maserick and also Berg, Christensen and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted $\ell_1$-seminorm topology associated to an absolute value. In the present paper we give a new proof of these results which is based on Jacobi's representation theorem. At the same time, we use Jacobi's representation theorem to extend these results from sums of squares to sums of 2d-powers, proving, in particular, that for any integer $d>0$, the closure of the cone of sums of 2d-powers in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$.
△ Less
Submitted 31 August, 2011;
originally announced September 2011.
-
Lower bounds for polynomials using geometric programming
Authors:
Mehdi Ghasemi,
Murray Marshall
Abstract:
We make use of a result of Hurwitz and Reznick, and a consequence of this result due to Fidalgo and Kovacec, to determine a new sufficient condition for a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of squares. This result generalizes a result of Lasserre and a result of Fidalgo and Kovacec, and it also generalizes the improvements of these results given in [6]. We apply th…
▽ More
We make use of a result of Hurwitz and Reznick, and a consequence of this result due to Fidalgo and Kovacec, to determine a new sufficient condition for a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of squares. This result generalizes a result of Lasserre and a result of Fidalgo and Kovacec, and it also generalizes the improvements of these results given in [6]. We apply this result to obtain a new lower bound $f_{gp}$ for $f$, and we explain how $f_{gp}$ can be computed using geometric programming. The lower bound $f_{gp}$ is generally not as good as the lower bound $f_{sos}$ introduced by Lasserre and Parrilo and Sturmfels, which is computed using semidefinite programming, but a run time comparison shows that, in practice, the computation of $f_{gp}$ is much faster. The computation is simplest when the highest degree term of $f$ has the form $\sum_{i=1}^n a_iX_i^{2d}$, $a_i>0$, $i=1,...,n$. The lower bounds for $f$ established in [6] are obtained by evaluating the objective function of the geometric program at the appropriate feasible points.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
Positivstellensätze for real function algebras
Authors:
Tim Netzer,
Murray Marshall
Abstract:
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respe…
▽ More
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respective algebra of functions. This variety is however not directly visible in general. We show how algebras and quadratic modules with this hidden positivity property can be constructed. We can then use known results, for example Jacobi's representation theorem or the Krivine-Stengle Positivstellensatz to obtain certificates of positivity relative to a quadratic module of an algebra of real-valued functions. Our results go beyond the results of Lasserre and Putinar, for example when dealing with non-continuous functions. The conditions are also easier to check. We explain the application of our result to various sorts of real finitely generated algebras of semialgebraic functions. The emphasis is on the case where the quadratic module is also finitely generated. Our results also have application to optimization of real-valued functions, using the semidefinite programming relaxation methods pioneered by Lasserre.
△ Less
Submitted 26 April, 2010;
originally announced April 2010.
-
Closures of quadratic modules
Authors:
Jaka Cimpric,
Murray Marshall,
Tim Netzer
Abstract:
We consider the problem of determining the closure of a quadratic module M in a commutative R-algebra with respect to the finest locally convex topology. This is of interest in deciding when the moment problem is solvable and in analyzing algorithms for polynomial optimization involving semidefinite programming. The closure of a semiordering is also considered, and it is shown that the space of…
▽ More
We consider the problem of determining the closure of a quadratic module M in a commutative R-algebra with respect to the finest locally convex topology. This is of interest in deciding when the moment problem is solvable and in analyzing algorithms for polynomial optimization involving semidefinite programming. The closure of a semiordering is also considered, and it is shown that the space of all semiorderings lying over M plays an important role in understanding the closure of M. The fibre theorem of Schmuedgen for preorderings is strengthened and extended to quadratic modules. The extended result is used to construct an example of a non-archimedean quadratic module describing a compact semialgebraic set that has the strong moment property. The same result is used to obtain a recursive description of the closure of M which is valid in many cases.
△ Less
Submitted 9 April, 2009;
originally announced April 2009.
-
Positivity in power series rings
Authors:
Jaka Cimpric,
Salma Kuhlmann,
Murray Marshall
Abstract:
We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.
We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.
△ Less
Submitted 31 July, 2008;
originally announced July 2008.
-
On the Real Multidimensional Rational K-Moment Problem
Authors:
Jaka Cimpric,
Murray Marshall,
Tim Netzer
Abstract:
We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the corresponding basic closed semialgebraic set K_S is nonempty. Let E=D^{-1}R[X] be a localization of the real polynomial algebra, and T_S^E the preordering on E generate…
▽ More
We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the corresponding basic closed semialgebraic set K_S is nonempty. Let E=D^{-1}R[X] be a localization of the real polynomial algebra, and T_S^E the preordering on E generated by S. We show that every linear functional L on E that is nonnegative on T_S^E is represented by a positive measure on a certain subset of K_S, provided D contains an element that grows fast enough on K_S.
△ Less
Submitted 19 October, 2009; v1 submitted 12 July, 2008;
originally announced July 2008.
