BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

John Perry

John Perry appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACphysics.ins-detastro-ph.IMhep-exnucl-exSymbolic Computationastro-ph.HEmath.AGmath.CO

Catalog footprint

What is connected

10works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

10 published item(s)

preprint2016arXiv

The F5 Criterion revised

The purpose of this work is to generalize part of the theory behind Faugere's "F5" algorithm. This is one of the fastest known algorithms to compute a Groebner basis of a polynomial ideal I generated by polynomials f_{1},...,f_{m}. A major reason for this is what Faugere called the algorithm's "new" criterion, and we call "the F5 criterion"; it provides a sufficient condition for a set of polynomials G to be a Groebner basis. However, the F5 algorithm is difficult to grasp, and there are unresolved questions regarding its termination. This paper introduces some new concepts that place the criterion in a more general setting: S-Groebner bases and primitive S-irreducible polynomials. We use these to propose a new, simple algorithm based on a revised F5 criterion. The new concepts also enable us to remove various restrictions, such as proving termination without the requirement that f_{1},...,f_{m} be a regular sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A new method for imaging nuclear threats using cosmic ray muons

Muon tomography is a technique that uses cosmic ray muons to generate three dimensional images of volumes using information contained in the Coulomb scattering of the muons. Advantages of this technique are the ability of cosmic rays to penetrate significant overburden and the absence of any additional dose delivered to subjects under study above the natural cosmic ray flux. Disadvantages include the relatively long exposure times and poor position resolution and complex algorithms needed for reconstruction. Here we demonstrate a new method for obtaining improved position resolution and statistical precision for objects with spherical symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Cosmic Ray Radiography of the Damaged Cores of the Fukushima Reactors

The passage of muons through matter is dominated by the Coulomb interaction with electrons and nuclei. The interaction with the electrons leads to continuous energy loss and stopping of the muons. The interaction with nuclei leads to angle diffusion. Two muon imaging methods that use flux attenuation and multiple Coulomb scattering of cosmic-ray muons are being studied as tools for diagnosing the damaged cores of the Fukushima reactors. Here we compare these two methods. We conclude that the scattering method can provide detailed information about the core. Attenuation has low contrast and little sensitivity to the core.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Obtaining material identification with cosmic ray radiography

The passage of muons through matter is mostly affected by their Coulomb interactions with electrons and nuclei. The muon interactions with electrons lead to continuous energy loss and stopping of muons, while their scattering off nuclei lead to angular 'diffusion'. By measuring both the number of stopped muons and angular changes in muon trajectories we can estimate density and identify materials. Here we demonstrate the material identification using data taken at Los Alamos with the Mini Muon Tracker.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm

The dynamic algorithm to compute a Gröbner basis is nearly twenty years old, yet it seems to have arrived stillborn; aside from two initial publications, there have been no published followups. One reason for this may be that, at first glance, the added overhead seems to outweigh the benefit; the algorithm must solve many linear programs with many linear constraints. This paper describes two methods of reducing the cost substantially, answering the problem effectively.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

F5C: a variant of Faugere's F5 algorithm with reduced Groebner bases

Faugere's F5 algorithm computes a Groebner basis incrementally, by computing a sequence of (non-reduced) Groebner bases. The authors describe a variant of F5, called F5C, that replaces each intermediate Groebner basis with its reduced Groebner basis. As a result, F5C considers fewer polynomials and performs substantially fewer polynomial reductions, so that it terminates more quickly. We also provide a generalization of Faugere's characterization theorem for Groebner bases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generalizing Dodgson's method: a "double-crossing" approach to computing determinants

Dodgson's method of computing determinants was recently revisited in a paper that appeared in the College Math Journal. The method is attractive, but fails if an interior entry of an intermediate matrix has the value zero. This paper reviews the structure of Dodgson's method and introduces a generalization, called a "double-crossing" method, that provides a workaround to the failure for many interesting cases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Signature-based algorithms to compute Groebner bases

This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for the new algorithm, and how other selection strategies can be formulated. We describe a fourth as an example. We analyze the strategies both theoretically and empirically, leading to some surprising results.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

F4/5

We describe an algorithm to compute Gröbner bases which combines F4-style reduction with the F5 criteria. Both F4 and F5 originate in the work of Jean-Charles Faugère, who has successfully computed many Gröbner bases that were previously considered intractable. Another description of a similar algorithm already exists in Gwenole Ars' dissertation; unfortunately, this is only available in French, and although an implementation exists, it is not made available for study. We not only describe the algorithm, we also direct the reader to a study implementation for the free and open source Sage computer algebra system. We conclude with a short discussion of how the approach described here compares and contrasts with that of Ars' dissertation.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Modifying Faugère's F5 Algorithm to ensure termination

The structure of the F5 algorithm to compute Gröbner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whether it terminates for all inputs. This paper has two major parts. In the first part, we describe in detail the difficulties related to a proof of termination. In the second part, we explore three variants that ensure termination. Two of these have appeared previously only in dissertations, and ensure termination by checking for a Gröbner basis using traditional criteria. The third variant, F5+, identifies a degree bound using a distinction between "necessary" and "redundant" critical pairs that follows from the analysis in the first part. Experimental evidence suggests this third approach is the most efficient of the three.

0 citations0 reviewsNo code linkedOpen access