Related papers: Desingularization in Computational Applications an…
The existing doubling algorithms have been proven efficient for several important nonlinear matrix equations arising from real-world engineering applications. In a nutshell, the algorithms iteratively compute a basis matrix, in one of the…
Towards identifying the number of minimal surfaces sharing the same boundary from the geometry of the boundary, we propose a numerical scheme with high speed and high accuracy. Our numerical scheme is based on the method of fundamental…
It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of…
Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial…
In this article we give a construction of the resolution graphs of hypersurface surface singularities (X_k,0) given by generalized Iomdin series. All these resolution graphs are coordinated by an ``universal bi-colored graph'' which is…
We compute Bernstein-Sato polynomials of some pairs of topologically equivalent plane curve singularities. Some pairs have the same Tjurina number but distinct Bernstein-Sato polynomials, which implies that they are not analytically…
The local zero structure of a smooth map may qualitatively change, when the map is subjected to small perturbations. The changes may include births and/or deaths of zeros. The qualitative properties are defined as the invariances of an…
Motivated by applications in robotics and computer vision, we study problems related to spatial reasoning of a 3D environment using sublevel sets of polynomials. These include: tightly containing a cloud of points (e.g., representing an…
Lattice studies of spontaneous supersymmetry breaking suffer from a sign problem that in principle can be evaded through novel methods enabled by quantum computing. Focusing on lower-dimensional lattice systems with more modest resource…
Convergence guarantees for optimization over bounded-rank matrices are delicate to obtain because the feasible set is a non-smooth and non-convex algebraic variety. Existing techniques include projected gradient descent, fixed-rank…
We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope…
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and…
We study geometric properties of linear strata of uni-singular curves. The singularities of closures of the strata are resolved and the resolutions are represent as projective bundles. This enables to study their geometry. In particular we…
We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this…
In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…
The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity.…
Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…
Blowing up a rational surface singularity in a reflexive module gives a (any) partial resolution dominated by the minimal resolution. The main theorem shows how deformations of the pair (singularity, module) relates to deformations of the…
We show how Seifert surfaces, so useful for the understanding of the Alexander polynomial \Delta_L(t), can be generalized in order to study the multivariable Alexander polynomial \Delta_L(t_1,...,t_\mu). In particular, we give an elementary…
In this paper we study the intersection theory on surfaces with abelian quotient singularities and we derive properties of quotients of weighted projective planes. We also use this theory to study weighted blow-ups in order to construct…