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

Sadik Iliman

Sadik Iliman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.OCmath.ACmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
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

6 published item(s)

preprint2016arXiv

Lower Bounds for Polynomials with Simplex Newton Polytopes Based on Geometric Programming

In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares representation. These criteria rely on the coefficients and the support of a polynomial and generalize all previous ones by Lasserre, Ghasemi, Marshall, Fidalgo and Kovacec to polynomials with arbitrary simplex Newton polytopes. This generalization yields a geometric programming approach for computing lower bounds for polynomials that significantly extends the geometric programming method proposed by Ghasemi and Marshall. Furthermore, it shows that geometric programming is strongly related to nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the authors.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Amoebas, Nonnegative Polynomials and Sums of Squares Supported on Circuits

We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of the amoeba of $f$, i.e., the Log-absolute-value image of the algebraic variety $\mathcal{V}(f) \subset (\mathbb{C}^*)^n$ of $f$. These results generalize earlier works both in amoeba theory and real algebraic geometry by Fidalgo, Kovacec, Reznick, Theobald and de Wolff and solve an open problem by Reznick. They establish the first direct connection between amoeba theory and nonnegativity of real polynomials. Additionally, these statements yield a completely new class of nonnegativity certificates independent from sums of squares certificates.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Gap vectors of real projective varieties

Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $Γ\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $Σ$ be the cone of sums of squares of linear forms. We examine the dimensions of the faces $P(Γ)$ and $Σ(Γ)$ consisting of forms in $P$ and $Σ$, which vanish on $Γ$. As the cardinality of the set $Γ$ varies in $1,\dots,\rm{codim}(X)$, the difference between the dimensions of $P(Γ)$ and $Σ(Γ)$ defines a numerical invariant of $X$, which we call the gap vector of X. In this article we begin a systematic study of its fundamental properties. Our main result is a formula relating the components of the gap vector of $X$ and the quadratic deficiencies of $X$ and its generic projections. The quadratic deficiency is a fundamental numerical invariant of projective varieties introduced by F. L. Zak. The relationship between quadratic deficiency and gap vectors allows us to effectively compute the gap vectors of concrete varieties as well as to prove several general properties. We prove that gap vectors are weakly increasing, obtain upper bounds for their rate of growth and prove that these upper bounds are eventually achieved for all varieties. Moreover, we give a characterization of the varieties with the simplest gap vectors: We prove that the gap vector vanishes identically precisely for varieties of minimal degree, and characterize the varieties whose gap vector equals $(0,\dots, 0,1)$. In particular, our results give a new proof of the theorem of Blekherman, Smith and Velasco saying that there are nonnegative quadratic forms which are not sums of squares on every variety, which is not of minimal degree. Finally, we determine the gap vector of all Veronese embeddings of $\mathbb{P}^2$, generalizing work of the first three authors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dimensional Differences Between Faces of the Cones of Nonnegative Polynomials and Sums of Squares

We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. The gaps occur generically, they are not the product of selecting special faces of the cones. For ternary forms and quaternary quartics, we completely characterize when these differences are observed. Moreover, we provide an explicit description for these differences in the two smallest cases, in which the cone of nonnegative polynomials and the cone of sums of squares are different. Our results follow from more general results concerning the relationship between the second ordinary power and the second symbolic power of the vanishing ideal of points in projective space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Low Dimensional Test Sets for Nonnegativity of Even Symmetric Forms

An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at $(m + 1)$-dimensional subspaces of even symmetric forms of degree 4d, at which nonnegativity can be checked at $(m - 1)$-points, i.e., points with at most $m - 1 \in \N$ distinct components, where $m$ is independent of the degree of the forms and better than Timofte's bound. Furthermore, for fixed $k \in \N$, we tackle problems concerning the maximum dimension of such subspaces, at which nonnegativity can be checked at all $k$-points, as well as the geometrical and topological structure of the set of all forms whose nonnegativity can be decided at all $k$-points.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Separating inequalities for nonnegative polynomials that are not sums of squares

Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polynomials that are not sums of squares is a widely open problem. We provide a method substantially simplifying this computation for certain classes of polynomials on the boundary of the PSD cones. In particular, our method yields separating extreme rays for every nonnegative ternary sextic with at least seven zeros. As an application to further instances, we compute a rational certificate proving that the Motzkin polynomial is not SOS.

0 citations0 reviewsNo code linkedOpen access