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

Ashraf Ibrahim

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

ResearcherUnclaimed source record
math.NTmath.AGComputational Complexityphysics.chem-ph

Catalog footprint

What is connected

6works
4topics
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

6 published item(s)

preprint2012arXiv

Advanced quasi-steady state approximation for chemical kinetics

Computational feasibility of turbulent reacting flows hinges on the reduction of large chemical kinetics systems to smaller more manageable reaction sets. Recently, several sophisticated reduction techniques have been developed but they continue to be computationally prohibitive for practical three-dimensional unsteady computations. For such applications, the classical quasi-steady state assumption (QSSA), despite serious shortcomings, continues to be popular due to its conceptual clarity and computational simplicity. Starting from invariant manifold description, we develop an advanced quasi-steady state assumption which (i) is independent of the choice of the retained (slow) species; (ii) possesses much improved physical and mathematical characteristics; and (iii) can be specialized for any objective function.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Multivariate ultrametric root counting

Let $K$ be a field, complete with respect to a discrete non-archimedian valuation and let $k$ be the residue field. Consider a system $F$ of $n$ polynomial equations in $K\vars$. Our first result is a reformulation of the classical Hensel's Lemma in the language of tropical geometry: we show sufficient conditions (semiregularity at $w$) that guarantee that the first digit map $δ:(K^\ast)^n\to(k^\ast)^n$ is a one to one correspondence between the solutions of $F$ in $(K^\ast)^n$ with valuation $w$ and the solutions in $(k^\ast)^n$ of the initial form system ${\rm in}_w(F)$. Using this result, we provide an explicit formula for the number of solutions in $(K^\ast)^n$ of a certain class of systems of polynomial equations (called regular), characterized by having finite tropical prevariety, by having initial forms consisting only of binomials, and by being semiregular at any point in the tropical prevariety. Finally, as a consequence of the root counting formula, we obtain the expected number of roots in $(K^\ast)$ of univariate polynomials with given support and random coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Faster p-adic Feasibility for Certain Multivariate Sparse Polynomials

We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP and, for p exceeding the Newton polytope volume and not dividing any coefficient, in constant time. Furthermore, using the theory of linear forms in p-adic logarithms, we prove that the case of trinomials in one variable can be done in NP. The best previous complexity bounds for these problems were EXPTIME or worse. Finally, we prove that detecting p-adic rational roots for sparse polynomials in one variable is NP-hard with respect to randomized reductions. The last proof makes use of an efficient construction of primes in certain arithmetic progressions. The smallest n where detecting p-adic rational roots for n-variate sparse polynomials is NP-hard appears to have been unknown.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Near NP-Completeness for Detecting p-adic Rational Roots in One Variable

We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement analogous results over the real numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ultrametric Root Counting

Let $K$ be a complete non-archimedean field with a discrete valuation, $f\in K[X]$ a polynomial with non-vanishing discriminant, $A$ the valuation ring of $K$, and $\M$ the maximal ideal of $A$. The first main result of this paper is a reformulation of Hensel's lemma that connects the number of roots of $f$ with the number of roots of its reduction modulo a power of $\M$. We then define a condition --- {\em regularity} --- that yields a simple method to compute the exact number of roots of $f$ in $K$. In particular, we show that regularity implies that the number of roots of $f$ equals the sum of the numbers of roots of certain binomials derived from the Newton polygon.

0 citations0 reviewsNo code linkedOpen access