Related papers: Computing Moment Maps of Hypersurfaces using MAXIM…

We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of…

We survey a number of moment hierarchies and test their performances in computing one-dimensional shock structures. It is found that for high Mach numbers, the moment hierarchies are either computationally expensive or hard to converge,…

A moment body is a linear projection of the spectraplex, the convex set of trace-one positive semidefinite matrices. Determining whether a given point lies within a given moment body is a problem with numerous applications in quantum state…

Weakly stable constant mean curvature (CMC) hypersurfaces are stable critical points of the area functional with respect to volume preserving deformations. We establish a pointwise curvature estimate (in the non-singular dimensions) and a…

In this paper, I present some sufficient conditions for projective hypersurfaces to be GIT (semi-)stable. These conditions will be presented in terms of dimension and degree of the hypersurfaces, dimension of the singular locus and…

Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such…

We compute the Hochschild cohomology of Hilbert schemes of points on surfaces and observe that it is, in general, not determined solely by the Hochschild cohomology of the surface, but by its "Hochschild-Serre cohomology": the bigraded…

We describe the Hilbert scheme components parametrizing lines and conics on the space of determinantal nets of conics, N. As an application, we use the quantum Lefschetz hyperplane principle to compute the instanton numbers of rational…

Convenient and simple numerical techniques for performing quantum computations based on matrix representations of Hilbert space operators are presented and illustrated by various examples. The applications include the calculations of…

Let $X$ be a very general degree $d\geq 5$ hypersurface in $\mathbb{P}^3$. We compute the ample cone of the Hilbert scheme $X^{[n]}$ of $n$ points on $X$ for various small values of $n$ (the answer is already known for large $n$). We obtain…

We fully generalize a previously-developed computational geometry tool [1] to perform large-scale simulations of arbitrary two-dimensional faceted surfaces $z = h(x,y)$. Our method uses a three-component facet/edge/junction storage model,…

We describe all local Riemannian metrics on surfaces whose geodesic flows are superintegrable with one integral linear in momenta and one integral cubic in momenta. We also show that some of these metrics can be extended to the 2-sphere.…

We study the problem of computing the \textsc{Maxima} of a set of $n$ $d$-dimensional points. For dimensions 2 and 3, there are algorithms to solve the problem with order-oblivious instance-optimal running time. However, in higher…

We introduce structured random matrix ensembles, constructed to model many-body quantum systems with local interactions. These ensembles are employed to study equilibration of isolated many-body quantum systems, showing that rather complex…

In this paper we prove the topological uniqueness of maximal arrangements of a real plane algebraic curve with respect to three lines. More generally, we prove the topological uniqueness of a maximally arranged algebraic curve on a real…

We stratify families of projective and very affine hypersurfaces according to their topological Euler characteristic. Our new algorithms compute all strata using algebro-geometric techniques. For very affine hypersurfaces, we investigate…

We show some area estimates for stable CMC hypersurfaces immersed in Riemannian manifolds with scalar and sectional curvature bounded from below. In particular, we focus on immersions in three-dimensional Riemannian manifolds. As an…

Let $\Sigma$ be a hyperbolic surface. We study the set of curves on $\Sigma$ of a given type, i.e. in the mapping class group orbit of some fixed but otherwise arbitrary $\gamma_0$. For example, in the particular case that $\Sigma$ is a…

We obtain for the Kempner series (i.e. harmonic series where certain digits are excluded from all denominators, for example the digit 9 in base 10) new representations as geometrically convergent series. The coefficients for these…

For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed…