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

Alicia Dickenstein

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

ResearcherUnclaimed source record
math.AGmath.COmath.ACSymbolic Computationmath.DSalg-geomComputational ComplexityComputational GeometryMolecular NetworksQuantitative Methods

Catalog footprint

What is connected

22works
10topics
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

22 published item(s)

preprint2022arXiv

Non-splitting flags, Iterated Circuits, $\underline{\mathbf σ}$-matrices and Cayley configurations

We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sign conditions for the existence of at least one positive solution of a sparse polynomial system

We give sign conditions on the support and coefficients of a sparse system of d generalized polynomials in d variables that guarantee the existence of at least one positive real root, based on degree theory and Gale duality. In the case of integer exponents, we relate our sufficient conditions to algebraic conditions that emerged in the study of toric ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials

We give a description of the tropical variety of univariate polynomials of degree n having two double roots. As a set, it is given as the union of three types of maximal cones of dimension n-1, where only cones of two of these types are cones of the secondary fan of {0,...,n}. Through Kapranov's theorem, this goal is achieved by a careful study of the possible valuations of the elementary symmetric functions of the roots of a polynomial with two double root. Despite its apparent simplicity, the computation of the tropical Severi variety has both combinatorial and arithmetic ingredients.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Higher order selfdual toric varieties

The notion of higher order dual varieties of a projective variety, introduced in \cite{P83}, is a natural generalization of the classical notion of projective duality. In this paper we present geometric and combinatorial characterizations of those equivariant projective toric embeddings that satisfy higher order selfduality. We also give several examples and general constructions. In particular, we highlight the relation with Cayley-Bacharach questions and with Cayley configurations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Implicitization of rational hypersurfaces via linear syzygies: a practical overview

We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the theory of approximation complexes due to J. Herzog, A, Simis and W. Vasconcelos, were introduced for the implicitization problem by J.-P. Jouanolou, L. Busé, and M. Chardin. Their work was inspired by the practical method of moving curves, proposed by T. Sederberg and F. Chen, translated into the language of syzygies by D. Cox. Our aim is to express the theoretical results and resulting algorithms into very concrete terms, avoiding the use of the advanced homological commutative algebra tools which are needed for their proofs.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Higher order duality and toric embeddings

The notion of higher order dual varieties of a projective variety is a natural generalization of the classical notion of projective duality, introduced by Piene in 1983. In this paper we study higher order dual varieties of projective toric embeddings. We compute the degree of the second dual variety of a smooth toric threefold in geometric and combinatorial terms, and we classify smooth 2-jet spanned projective embeddings of smooth threefolds whose second dual variety has dimension less than expected. We also describe the tropicalization of the k-th dual variety of an equivariantly embedded (not necessarily normal) toric variety.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Implicit dose-response curves

We develop tools from computational algebraic geometry for the study of steady state features of autonomous polynomial dynamical systems via elimination of variables. In particular, we obtain nontrivial bounds for the steady state concentration of a given species in biochemical reaction networks with mass-action kinetics. This species is understood as the output of the network and we thus bound the maximal response of the system. The improved bounds give smaller starting boxes to launch numerical methods. We apply our results to the sequential enzymatic network studied in Markevich et al.(2004) to find nontrivial upper bounds for the different substrate concentrations at steady state. Our approach does not require any simulation, analytical expression to describe the output in terms of the input, or the absence of multistationarity. Instead, we show how to extract information from effectively computable implicit dose-response curves with the use of resultants and discriminants. We moreover illustrate in the application to an enzymatic network, the relation between the exact implicit dose-response curve we obtain symbolically and the standard hysteresis diagram provided by a numerical solver. The setting and tools we propose could yield many other results adapted to any autonomous polynomial dynamical system, beyond those where it is possible to get explicit expressions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry

We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orthant. Our work relates and extends existing injectivity conditions expressed in terms of Jacobian matrices and determinants. In the context of chemical reaction networks with power-law kinetics, our results can be used to preclude as well as to guarantee multiple positive steady states. In the context of real algebraic geometry,our work recognizes a prior result of Craciun, Garcia-Puente, and Sottile, together with work of two of the authors, as the first partial multivariate generalization of the classical Descartes' rule, which bounds the number of positive real roots of a univariate real polynomial in terms of the number of sign variations of its coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Plane mixed discriminants and toric jacobians

Polynomial algebra offers a standard approach to handle several problems in geometric modeling. A key tool is the discriminant of a univariate polynomial, or of a well-constrained system of polynomial equations, which expresses the existence of a multiple root. We concentrate on bivariate polynomials and establish an original formula that relates the mixed discriminant of two bivariate Laurent polynomials with fixed support, with the sparse resultant of these polynomials and their toric Jacobian. This allows us to obtain a new proof for the bidegree of the mixed discriminant as well as to establish multipicativity formulas arising when one polynomial can be factored.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Nilsson solutions for irregular A-hypergeometric systems

We study the solutions of irregular A-hypergeometric systems that are constructed from Gröbner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1,...,1), these series converge and provide a basis for the (multivalued) holomorphic hypergeometric functions in a specific open subset of complex n-space. Our results are more explicit when the parameters are generic or when the solutions studied are logarithm-free. We also give an alternative proof of a result of Schulze and Walther that inhomogeneous A-hypergeometric systems have irregular singularities.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Chemical reaction systems with toric steady states

Mass-action chemical reaction systems are frequently used in Computational Biology. The corresponding polynomial dynamical systems are often large (consisting of tens or even hundreds of ordinary differential equations) and poorly parametrized (due to noisy measurement data and a small number of data points and repetitions). Therefore, it is often difficult to establish the existence of (positive) steady states or to determine whether more complicated phenomena such as multistationarity exist. If, however, the steady state ideal of the system is a binomial ideal, then we show that these questions can be answered easily. The focus of this work is on systems with this property, and we say that such systems have toric steady states. Our main result gives sufficient conditions for a chemical reaction system to have toric steady states. Furthermore, we analyze the capacity of such a system to exhibit positive steady states and multistationarity. Examples of systems with toric steady states include weakly-reversible zero-deficiency chemical reaction systems. An important application of our work concerns the networks that describe the multisite phosphorylation of a protein by a kinase/phosphatase pair in a sequential and distributive mechanism.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Independent Sets from an Algebraic Perspective

In this paper, we study the basic problem of counting independent sets in a graph and, in particular, the problem of counting antichains in a finite poset, from an algebraic perspective. We show that neither independence polynomials of bipartite Cohen-Macaulay graphs nor Hilbert series of initial ideals of radical zero-dimensional complete intersections ideals, can be evaluated in polynomial time, unless #P=P. Moreover, we present a family of radical zero-dimensional complete intersection ideals J_P associated to a finite poset P, for which we describe a universal Gröbner basis. This implies that the bottleneck in computing the dimension of the quotient by J_P (that is, the number of zeros of J_P) using Gröbner methods lies in the description of the standard monomials.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Mixed Discriminants

The mixed discriminant of n Laurent polynomials in n variables is the irreducible polynomial in the coefficients which vanishes whenever two of the roots coincide. The Cayley trick expresses the mixed discriminant as an A-discriminant. We show that the degree of the mixed discriminant is a piecewise linear function in the Plucker coordinates of a mixed Grassmannian. An explicit degree formula is given for the case of plane curves.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Simple Combinatorial Criterion for Projective Toric Manifolds with Dual Defect

We show that any smooth lattice polytope P with codegree greater or equal than (dim(P)+3)/2 (or equivalently, with degree smaller than dim(P)/2), defines a dual defective projective toric manifold. This implies that P is Q-normal (in the terminology of a recent paper by Di Rocco, Piene and the first author) and answers partially an adjunction-theoretic conjecture by Beltrametti and Sommese. Also, it follows that smooth lattice polytopes with this property are precisely strict Cayley polytopes, which completes the answer of a question of Batyrev and the second author in the nonsingular case.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

How far is complex balancing from detailed balancing?

The aim of this article is to build on the use of tools from computational algebra initiated in Craciun, Dickenstein, Shiu, Sturmfels (JSC, 2009), for the study of general kinetic systems, which have a wide range of applications in chemistry and biology. We clarify the relation between the algebraic conditions that must be satisfied by the reaction constants in general (mass action) kinetics systems for the existence of detailed or complex balancing equilibria. The main properties of these systems have been set by Horn, Jackson and Feinberg.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

A case study in bigraded commutative algebra

We study the commutative algebra of three bihomogeneous polynomials p_0,p_1,p_2 of degree (2,1) in variables x,y;z,w, assuming that they never vanish simultaneously on P^1 x P^1. Unlike the situation for P^2, the Koszul complex of the p_i is never exact. The purpose of this article is to illustrate how bigraded commutative algebra differs from the classical graded case and to indicate some of the theoretical tools needed to understand the free resolution of the ideal generated by p_0,p_1,p_2.

0 citations0 reviewsNo code linkedOpen access
preprint1994arXiv

Computing Multidimensional Residues

Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of the coefficients. On the other hand, the global residue, which is the sum of the local residues over all roots, depends rationally on the coefficients. This paper deals with symbolic algorithms for evaluating that rational function. Under the assumption that the deformation to the initial forms is flat, for some choice of weights on the variables, we express the global residue as a single residue integral with respect to the initial forms. When the input equations are a Groebner basis, this leads to an efficient series expansion algorithm for global residues, and to a vanishing theorem with respect to the corresponding cone in the Groebner fan. The global residue of a polynomial equals the highest coefficient of its (Groebner basis) normal form, and, conversely, the entire normal form is expressed in terms of global residues. This yields a method for evaluating traces over zero-dimensional complete intersections. Applications include the counting of real roots, the computation of the degree of a polynomial map, and the evaluation of multivariate symmetric functions. All algorithms are illustrated for an explicit system in three variables.

0 citations0 reviewsNo code linkedOpen access