BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mateusz Michalek appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We apply lattice point counting methods to compute the multiplicities in the plethysm of $GL(n)$. Our approach gives insight into the asymptotic growth of the plethysm and makes the problem amenable to computer algebra. We prove an old conjecture of Howe on the leading term of plethysm. For any partition $μ$ of 3,4, or 5 we obtain an explicit formula in $λ$ and $k$ for the multiplicity of $S^λ$ in $S^μ(S^k)$.
Group-based models arise in algebraic statistics while studying evolution processes. They are represented by embedded toric algebraic varieties. Both from the theoretical and applied point of view one is interested in determining the ideals defining the varieties. Conjectural bounds on the degree in which these ideals are generated were given by Sturmfels and Sullivant. We prove that for the 3-Kimura model, corresponding to the group G=Z2xZ2, the projective scheme can be defined by an ideal generated in degree 4. In particular, it is enough to consider degree 4 phylogenetic invariants to test if a given point belongs to the variety. We also investigate G-models, a generalization of abelian group-based models. For any G-model, we prove that there exists a constant $d$, such that for any tree, the associated projective scheme can be defined by an ideal generated in degree at most d.
We study the secant line variety of the Segre product of projective spaces using special cumulant coordinates adapted for secant varieties. We show that the secant variety is covered by open normal toric varieties. We prove that in cumulant coordinates its ideal is generated by binomial quadrics. We present new results on the local structure of the secant variety. In particular, we show that it has rational singularities and we give a description of the singular locus. We also classify all secant varieties that are Gorenstein. Moreover, generalizing (Sturmfels and Zwiernik 2012), we obtain analogous results for the tangential variety.
We give a short proof of Weintraub's conjecture by constructing explicit highest weight vectors in the symmetric power of an even exterior power.
In this paper we investigate properties of algebraic varieties representing group-based phylogenetic models. We propose a method of generating many phylogenetic invariants. We prove that we obtain all invariants for any tree for the binary Jukes-Cantor model. We conjecture that our method can give all phylogenetic invariants for any tree. We show that for 3-Kimura our conjecture is equivalent to the conjecture of Sturmfels and Sullivant. This, combined with the results of Sturmfels and Sullivant, would make it possible to determine all phylogenetic invariants for any tree for 3-Kimura model, and also other phylogenetic models. Next we give the (first) example of a non-normal general group-based model for an abelian group. Following Kubjas we also determine some invariants of group-based models showing that the associated varieties do not have to be deformation equivalent.
In this paper we present geometric features of group based models. We focus on the 3-Kimura model. We present a precise geometric description of the variety associated to any tree on a Zariski open set. In particular this set contains all biologically meaningful points. Our motivation is a conjecture of Sturmfels and Sullivant on the degree in which the ideal associated to 3-Kimura model is generated.
In this paper we complete the results of Sullivant and Sturmfels proving that many of the algebraic group-based models for Markov processes on trees are pseudo-toric. We also show in which cases these varieties are normal. This is done by the generalization of the discrete Fourier transform approach. In the next step, following Sullivant and Sturmfels, we describe a fast algorithm finding a polytope associated to these algebraic models. However in our case we apply the notions of sockets and networks extending the work of Buczynska and Wisniewski who introduced it for the binary case.
We construct a full, strongly exceptional collection of line bundles on the variety X that is the blow up of the projectivization of the vector bundle O_{P^{n-1}}\oplus O_{P^{n-1}}(b) along a linear space of dimension n-2, where b is a non-negative integer.
In this short note we present a family of counterexamples to the King's conjecture.
In this note we give a short, direct proof of the well known Combinatorial Nullstellensatz.
We consider two varieties associated to a web of quadrics W in the projective space of dimension 7. One is the base locus and the second one is the double cover of the three dimensional projective space branched along the determinant surface of W. We show that small resolutions of these varieties are Calabi-Yau manifolds. We compute their Betti numbers and show that they are not birational in the generic case. The main result states that if the base locus of W contains a plane then in the generic case the two varieties are birational.