Source author record

Eliana Duarte

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

ResearcherUnclaimed source record

math.AC math.ST Statistics Theory math.AG math.CO math.NA math.PR

Catalog footprint

What is connected

5works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Families of polytopes with rational linear precision in higher dimensions

In this article we introduce a new family of lattice polytopes with rational linear precision. For this purpose, we define a new class of discrete statistical models that we call multinomial staged tree models. We prove that these models have rational maximum likelihood estimators (MLE) and give a criterion for these models to be log-linear. Our main result is then obtained by applying Garcia-Puente and Sottile's theorem that establishes a correspondence between polytopes with rational linear precision and log-linear models with rational MLE. Throughout this article we also study the interplay between the primitive collections of the normal fan of a polytope with rational linear precision and the shape of the Horn matrix of its corresponding statistical model. Finally, we investigate lattice polytopes arising from toric multinomial staged tree models, in terms of the combinatorics of their tree representations.

preprint2020arXiv

Discrete Statistical Models with Rational Maximum Likelihood Estimator

A discrete statistical model is a subset of a probability simplex. Its maximum likelihood estimator (MLE) is a retraction from that simplex onto the model. We characterize all models for which this retraction is a rational function. This is a contribution via real algebraic geometry which rests on results due to Huh and Kapranov on Horn uniformization. We present an algorithm for constructing models with rational MLE, and we demonstrate it on a range of instances. Our focus lies on models familiar to statisticians, like Bayesian networks, decomposable graphical models, and staged trees.

preprint2020arXiv

Equations defining probability tree models

Coloured probability tree models are statistical models coding conditional independence between events depicted in a tree graph. They are more general than the very important class of context-specific Bayesian networks. In this paper, we study the algebraic properties of their ideal of model invariants. The generators of this ideal can be easily read from the tree graph and have a straightforward interpretation in terms of the underlying model: they are differences of odds ratios coming from conditional probabilities. One of the key findings in this analysis is that the tree is a convenient tool for understanding the exact algebraic way in which the sum-to-1 conditions on the parameter space translate into the sum-to-one conditions on the joint probabilities of the statistical model. This enables us to identify necessary and sufficient graphical conditions for a staged tree model to be a toric variety intersected with a probability simplex.

preprint2016arXiv

Implicitization of tensor product surfaces in the presence of a generic set of basepoints

Given a $4$-dimensional vector subspace $U=\{ f_{0},\ldots,f_{3}\}$ of $H^{0}(\mathbb{P}^1 \times \mathbb{P}^1,\mathcal{O}(a,b))$, a tensor product surface, denoted by $X_{U}$, is the closure of the image of the rational map $λ_{U}:\mathbb{P}^1 \times \mathbb{P}^1 -\!\to \mathbb{P}^{3}$ determined by $U$. These surfaces arise in geometric modeling and in this context it is useful to know the implicit equation of $X_{U}$ in $\mathbb{P}^{3}$. In this paper we show that if $U\subseteq H^{0}(\mathbb{P}^1 \times \mathbb{P}^1,\mathcal{O}(a,1))$ has a finite set of $r$ basepoints in generic position, then the implicit equation of $X_{U}$ is determined by two syzygies of $I_{U}=\langle f_{0},\ldots,f_{3} \rangle$ in bidegrees $\left( a-\lceil\frac{r}{2}\rceil,0 \right)$ and $\left( a-\lfloor\frac{r}{2}\rfloor,0 \right)$. This result is proved by understanding the geometry of the basepoints of $U$ in $\mathbb{P}^1 \times \mathbb{P}^1$. The proof techniques for the main theorem also apply when $U$ is basepoint free.

preprint2015arXiv

Tensor product surfaces and linear syzygies

Let U be a basepoint free four-dimensional subpace of the space of sections of bidegree (a,b) on X = P^1 x P^1, with a and b at least 2. The sections corresponding to U determine a regular map from X to P^3. We show that there can be at most one linear syzygy on the associated bigraded ideal I_U in the bigraded ring k[s,t;u,v]. Existence of a linear syzygy, coupled with the assumption that U is basepoint free, implies the existence of an additional "special pair" of minimal first syzygies. Using results of Botbol, we show that these three syzygies are sufficient to determine the implicit equation of the image of X in P^3; we also show that the singular locus must contain a line.