BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Murray Marshall

Murray Marshall contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.OCmath.FAmath.RAmath.AC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2016arXiv

Witt equivalence of function fields of curves over local fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Witt equivalence of function fields over global fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lower Bounds for a Polynomial on a basic closed semialgebraic set using geometric programming

$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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Application of localization to the multivariate moment problem II

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Moment problem in infinitely many variables

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quotients of index two and general quotients in a space of orderings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lower bounds on the global minimum of a polynomial

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Closure of the cone of sums of 2d-powers in certain weighted $\ell_1$-seminorm topologies

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Lower bounds for polynomials using geometric programming

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Positivstellensätze for real function algebras

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.

0 citations0 reviewsNo code linkedOpen access