Related papers: Variations on Log Sarkisov Program for Surfaces
A {\em local graph partitioning algorithm} finds a set of vertices with small conductance (i.e. a sparse cut) by adaptively exploring part of a large graph $G$, starting from a specified vertex. For the algorithm to be local, its complexity…
We study smooth {\sf traversing} vector fields $v$ on compact manifolds $X$ with boundary. A traversing $v$ admits a Lyapunov function $f: X \to \Bbb R$ such that $df(v) > 0$. We show that the trajectory spaces $\mathcal T(v)$ of {\sf…
An algorithm for irreducible decomposition of representations of finite groups over fields of characteristic zero is described. The algorithm uses the fact that the decomposition induces a partition of the invariant inner product into a…
We study automorphic Lie algebras and their applications to integrable systems. Automorphic Lie algebras are a natural generalisation of celebrated Kac-Moody algebras to the case when the group of automorphisms is not cyclic. They are…
In this paper, we provide an $O(n \mathrm{polylog} n)$ bound on the expected complexity of the randomly weighted Voronoi diagram of a set of $n$ sites in the plane, where the sites can be either points, interior-disjoint convex sets, or…
We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill's calculi, and focus on their fragments…
In this article, we investigate short topological decompositions of non-orientable surfaces and provide algorithms to compute them. Our main result is a polynomial-time algorithm that for any graph embedded in a non-orientable surface…
Fatgraphs are multigraphs enriched with a cyclic order of the edges incident to a vertex. This paper presents algorithms to: (1) generate the set of all fatgraphs having a given genus and number of boundary cycles; (2) compute automorphisms…
We show that the Satake-Baily-Borel compactification of the moduli space of lattice polarized K3 surfaces parametrizing K3 surfaces of degree 2 with four rational double points of type $D_4$ is the projective 3-space. We also show that the…
We provide an algorithm for computing an effective basis of homology of elliptic surfaces over the complex projective line on which integration of periods can be carried out. This allows the heuristic recovery of several algebraic…
We develop in this article an algorithm that, given a projective curve $C$, computes a \textit{gonal map}, that is, a finite morphism from $C$ to the projective line of minimal degree. Our method is based on the computation of scrollar…
We construct k-parameter families of rational surface automorphisms for any k. These are automorphisms of surfaces X, which are constructed from iterated blowups over the projective plane. In certain cases: we are able to determine the…
We speculate on the relationship between the solvable monodromy extension (SME) property and log canonical models. A motivating example is the moduli space of smooth curves which, by earlier work, is known to have this SME property. In this…
Every transformation monoid comes equipped with a canonical topology-the topology of pointwise convergence. For some structures, the topology of the endomorphism monoid can be reconstructed from its underlying abstract monoid. This…
We provide several families of compact complex curves embedded in smooth complex surfaces such that no neighborhood of the curve can be embedded in an algebraic surface. Different constructions are proposed, by patching neighborhoods of…
We study minimization of a structured objective function, being the sum of a smooth function and a composition of a weakly convex function with a linear operator. Applications include image reconstruction problems with regularizers that…
The support S of Sabbah's specialization complex is a simultaneous generalization of the set of eigenvalues of the monodromy on Deligne's nearby cycles complex, of the support of the Alexander modules of an algebraic knot, and of certain…
We study a certain wormholing phenomenon that takes place in the Koll\'ar--Shepherd-Barron--Alexeev (KSBA) compactification of the moduli space of surfaces of general type. It occurs because of the appearance of particular extremal…
Given a compact Riemannian manifold with boundary, we prove that the space of embedded, which may be improper, free boundary minimal hypersurfaces with uniform area and Morse index upper bound is compact in the sense of smoothly graphical…
Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X…