-
Polarization and Gorenstein liaison
Authors:
Sara Faridi,
Patricia Klein,
Jenna Rajchgot,
Alexandra Seceleanu
Abstract:
A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete…
▽ More
A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen-Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is generically Gorenstein (e.g., reduced), then, after re-embedding so that it is viewed as a subscheme of $\mathbb{P}^{n+1}$, indeed it can be G-linked to a complete intersection. Motivated by this result, we consider techniques for constructing G-links on a scheme from G-links on a closely related reduced scheme.
Polarization is a tool for producing a squarefree monomial ideal from an arbitrary monomial ideal. Basic double G-links on squarefree monomial ideals can be induced from vertex decompositions of their Stanley-Reisner complexes. Given a monomial ideal $I$ and a vertex decomposition of the Stanley-Reisner complex of its polarization $\mathcal{P}(I)$, we give conditions that allow for the lifting of an associated basic double G-link of $\mathcal{P}(I)$ to a basic double G-link of $I$ itself. We use the relationship we develop in the process to show that the Stanley-Reisner complexes of polarizations of artinian monomial ideals and of stable Cohen-Macaulay monomial ideals are vertex decomposable, recovering and strengthening the recent result of Fløystad and Mafi that these complexes are shellable.
We then introduce and study polarization of a Gröbner basis of an arbitrary homogeneous ideal and give a relationship between geometric vertex decomposition of a polarization and elementary G-biliaison that is analogous to our result on vertex decomposition and basic double G-linkage.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Simplicial complexes and matroids with vanishing $T^2$
Authors:
Alexandru Constantinescu,
Patricia Klein,
Thai Thanh Nguyen,
Anurag Singh,
Lorenzo Venturello
Abstract:
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded comp…
▽ More
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded components of $T^2$ when the simplicial complex is a uniform matroid. Finally, we show that $T^2$ vanishes for all matroids of corank at most two and conjecture that all connected matroids with vanishing $T^2$ are of corank at most two.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
LiveDocs: Crafting Interactive Development Environments From Research Findings
Authors:
Pedro Costa Klein,
Christoph Lehrenfeld,
Markus Osterhoff,
Martin Uecker
Abstract:
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 -…
▽ More
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 - Mathematics of Experiment'' on tackling common issues of reproducibility and re-usability in scientific publications. The LiveDocs initiative is proposed as a concept alongside a collection of methods that enable scientists to provide research findings under an interactive development environment. This environment allows users from a broader audience to easily reproduce research findings by re-running scripts, for instance, those that generate figures, tables, and other elements from scientific publications. Moreover, LiveDocs also allow the audience to interact with code and data in such environments, thus allowing users to explore algorithms, datasets and software interfaces. This directly lowers the barriers to access and comprehend research methods and findings, which facilitates more scientific exchange and fosters knowledge advancement.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
The MatrixSchubert package for Macaulay2
Authors:
Ayah Almousa,
Sean Grate,
Daoji Huang,
Patricia Klein,
Adam LaClair,
Yuyuan Luo,
Joseph McDonough
Abstract:
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an A…
▽ More
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for quickly computing homological invariants of such varieties, finding the components of an ASM variety, and checking if a union of matrix Schubert varieties is an ASM variety.
△ Less
Submitted 12 December, 2023; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Scan statistics for the detection of anomalies in M-dependent random fields with applications to image data
Authors:
Claudia Kirch,
Philipp Klein,
Marco Meyer
Abstract:
Anomaly detection in random fields is an important problem in many applications including the detection of cancerous cells in medicine, obstacles in autonomous driving and cracks in the construction material of buildings. Such anomalies are often visible as areas with different expected values compared to the background noise. Scan statistics based on local means have the potential to detect such…
▽ More
Anomaly detection in random fields is an important problem in many applications including the detection of cancerous cells in medicine, obstacles in autonomous driving and cracks in the construction material of buildings. Such anomalies are often visible as areas with different expected values compared to the background noise. Scan statistics based on local means have the potential to detect such local anomalies by enhancing relevant features. We derive limit theorems for a general class of such statistics over M-dependent random fields of arbitrary but fixed dimension. By allowing for a variety of combinations and contrasts of sample means over differently-shaped local windows, this yields a flexible class of scan statistics that can be tailored to the particular application of interest. The latter is demonstrated for crack detection in 2D-images of different types of concrete. Together with a simulation study this indicates the potential of the proposed methodology for the detection of anomalies in a variety of situations.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Combinatorial Optimization enriched Machine Learning to solve the Dynamic Vehicle Routing Problem with Time Windows
Authors:
Léo Baty,
Kai Jungel,
Patrick S. Klein,
Axel Parmentier,
Maximilian Schiffer
Abstract:
With the rise of e-commerce and increasing customer requirements, logistics service providers face a new complexity in their daily planning, mainly due to efficiently handling same day deliveries. Existing multi-stage stochastic optimization approaches that allow to solve the underlying dynamic vehicle routing problem are either computationally too expensive for an application in online settings,…
▽ More
With the rise of e-commerce and increasing customer requirements, logistics service providers face a new complexity in their daily planning, mainly due to efficiently handling same day deliveries. Existing multi-stage stochastic optimization approaches that allow to solve the underlying dynamic vehicle routing problem are either computationally too expensive for an application in online settings, or -- in the case of reinforcement learning -- struggle to perform well on high-dimensional combinatorial problems. To mitigate these drawbacks, we propose a novel machine learning pipeline that incorporates a combinatorial optimization layer. We apply this general pipeline to a dynamic vehicle routing problem with dispatching waves, which was recently promoted in the EURO Meets NeurIPS Vehicle Routing Competition at NeurIPS 2022. Our methodology ranked first in this competition, outperforming all other approaches in solving the proposed dynamic vehicle routing problem. With this work, we provide a comprehensive numerical study that further highlights the efficacy and benefits of the proposed pipeline beyond the results achieved in the competition, e.g., by showcasing the robustness of the encoded policy against unseen instances and scenarios.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
On basic double G-links of squarefree monomial ideals
Authors:
Patricia Klein,
Matthew Koban,
Jenna Rajchgot
Abstract:
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explo…
▽ More
Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting.
Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.
△ Less
Submitted 27 February, 2024; v1 submitted 31 August, 2022;
originally announced September 2022.
-
Differential operators, retracts, and toric face rings
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms o…
▽ More
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators.
Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k).
△ Less
Submitted 8 March, 2023; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Bumpless pipe dreams encode Gröbner geometry of Schubert polynomials
Authors:
Patricia Klein,
Anna Weigandt
Abstract:
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of…
▽ More
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity.
This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). We also give a generalization to equidimensional unions of matrix Schubert varieties. This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).
△ Less
Submitted 4 June, 2023; v1 submitted 18 August, 2021;
originally announced August 2021.
-
An illustrated view of differential operators of a reduced quotient of an affine semigroup ring
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Moving sum data segmentation for stochastics processes based on invariance
Authors:
Claudia Kirch,
Philipp Klein
Abstract:
The segmentation of data into stationary stretches also known as multiple change point problem is important for many applications in time series analysis as well as signal processing. Based on strong invariance principles, we analyse data segmentation methodology using moving sum (MOSUM) statistics for a class of regime-switching multivariate processes where each switch results in a change in the…
▽ More
The segmentation of data into stationary stretches also known as multiple change point problem is important for many applications in time series analysis as well as signal processing. Based on strong invariance principles, we analyse data segmentation methodology using moving sum (MOSUM) statistics for a class of regime-switching multivariate processes where each switch results in a change in the drift. In particular, this framework includes the data segmentation of multivariate partial sum, integrated diffusion and renewal processes even if the distance between change points is sublinear. We study the asymptotic behaviour of the corresponding change point estimators, show consistency and derive the corresponding localisation rates which are minimax optimal in a variety of situations including an unbounded number of changes in Wiener processes with drift. Furthermore, we derive the limit distribution of the change point estimators for local changes - a result that can in principle be used to derive confidence intervals for the change points.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves
Authors:
Christine Berkesch,
Patricia Klein,
Michael C. Loper,
Jay Yang
Abstract:
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can…
▽ More
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed.
In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties.
△ Less
Submitted 29 July, 2021; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Diagonal degenerations of matrix Schubert varieties
Authors:
Patricia Klein
Abstract:
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Wei…
▽ More
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).
△ Less
Submitted 18 January, 2023; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Toric double determinantal varieties
Authors:
Alexander Blose,
Patricia Klein,
Owen McGrath,
Jackson Morris
Abstract:
We examine Li's double determinantal varieties in the special case that they are toric. We recover from the general double determinantal varieties case, via a more elementary argument, that they are irreducible and show that toric double determinantal varieties are smooth. We use this framework to give a straighforward formula for their dimension. Finally, we use the smallest nontrivial toric doub…
▽ More
We examine Li's double determinantal varieties in the special case that they are toric. We recover from the general double determinantal varieties case, via a more elementary argument, that they are irreducible and show that toric double determinantal varieties are smooth. We use this framework to give a straighforward formula for their dimension. Finally, we use the smallest nontrivial toric double determinantal variety to provide some empirical evidence concerning an open problem in local algebra.
△ Less
Submitted 7 June, 2020;
originally announced June 2020.
-
Geometric vertex decomposition and liaison
Authors:
Patricia Klein,
Jenna Rajchgot
Abstract:
Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates a…
▽ More
Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height 1 to an ideal of indeterminates and, conversely, that every G-biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well-known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes, and defining ideals of graded lower bound cluster algebras.
△ Less
Submitted 25 November, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Gröbner bases and the Cohen-Macaulay property of Li's double determinantal varieties
Authors:
Nathan Fieldsteel,
Patricia Klein
Abstract:
We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We als…
▽ More
We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.
△ Less
Submitted 9 December, 2020; v1 submitted 16 June, 2019;
originally announced June 2019.
-
Characterizing finite length local cohomology in terms of bounds on Koszul cohomology
Authors:
Patricia Klein
Abstract:
Let $(R,m, κ)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In particular, we show that a quasi-unmixed module $M$ is asymptotically Cohen-Macaulay if and only if $M$ is Cohen-Macaulay on the punctured spectrum if and only if…
▽ More
Let $(R,m, κ)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In particular, we show that a quasi-unmixed module $M$ is asymptotically Cohen-Macaulay if and only if $M$ is Cohen-Macaulay on the punctured spectrum if and only if $\sup\{\ell(H^i(f_1, \ldots, f_d;M))\mid \sqrt{f_1, \ldots, f_d} = m \mbox{, } i< d\}<\infty$.
△ Less
Submitted 17 October, 2018; v1 submitted 2 October, 2018;
originally announced October 2018.
-
Lech's inequality, the Stückrad--Vogel conjecture, and uniform behavior of Koszul homology
Authors:
Patricia Klein,
Linquan Ma,
Pham Hung Quy,
Ilya Smirnov,
Yongwei Yao
Abstract:
Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $M$ be a finitely generated $R$-module of dimension $d$. We prove that the set $\left\{\frac{l(M/IM)}{e(I, M)} \right\}_{\sqrt{I}=\mathfrak{m}}$ is bounded below by ${1}/{d!e(\overline{R})}$ where $\overline{R}=R/Ann(M)$. Moreover, when $\widehat{M}$ is equidimensional, this set is bounded above by a finite constant depending only on $M$.…
▽ More
Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $M$ be a finitely generated $R$-module of dimension $d$. We prove that the set $\left\{\frac{l(M/IM)}{e(I, M)} \right\}_{\sqrt{I}=\mathfrak{m}}$ is bounded below by ${1}/{d!e(\overline{R})}$ where $\overline{R}=R/Ann(M)$. Moreover, when $\widehat{M}$ is equidimensional, this set is bounded above by a finite constant depending only on $M$. The lower bound extends a classical inequality of Lech, and the upper bound answers a question of Stückrad--Vogel in the affirmative. As an application, we obtain results on uniform behavior of the lengths of Koszul homology modules.
△ Less
Submitted 21 February, 2019; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Structured Recursive Separator Decompositions for Planar Graphs in Linear Time
Authors:
Philip N. Klein,
Shay Mozes,
Christian Sommer
Abstract:
Given a planar graph G on n vertices and an integer parameter r<n, an r-division of G with few holes is a decomposition of G into O(n/r) regions of size at most r such that each region contains at most a constant number of faces that are not faces of G (also called holes), and such that, for each region, the total number of vertices on these faces is O(sqrt r).
We provide a linear-time algorithm…
▽ More
Given a planar graph G on n vertices and an integer parameter r<n, an r-division of G with few holes is a decomposition of G into O(n/r) regions of size at most r such that each region contains at most a constant number of faces that are not faces of G (also called holes), and such that, for each region, the total number of vertices on these faces is O(sqrt r).
We provide a linear-time algorithm for computing r-divisions with few holes. In fact, our algorithm computes a structure, called decomposition tree, which represents a recursive decomposition of G that includes r-divisions for essentially all values of r. In particular, given an exponentially increasing sequence r = (r_1,r_2,...), our algorithm can produce a recursive r-division with few holes in linear time.
r-divisions with few holes have been used in efficient algorithms to compute shortest paths, minimum cuts, and maximum flows. Our linear-time algorithm improves upon the decomposition algorithm used in the state-of-the-art algorithm for minimum st-cut (Italiano, Nussbaum, Sankowski, and Wulff-Nilsen, STOC 2011), removing one of the bottlenecks in the overall running time of their algorithm (analogously for minimum cut in planar and bounded-genus graphs).
△ Less
Submitted 17 May, 2013; v1 submitted 10 August, 2012;
originally announced August 2012.