Showing 1–38 of 38 results for author: Levine, A

On groups with EDT0L word problem

Authors: Alex Bishop, Murray Elder, Alex Evetts, Paul Gallot, Alex Levine

Abstract: We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In addition, we show that the property of having an EDT0L word problem is invariant under change of generating set and passing to finitely generated subgroups. This represents significant progress towards the conjecture that a… ▽ More We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In addition, we show that the property of having an EDT0L word problem is invariant under change of generating set and passing to finitely generated subgroups. This represents significant progress towards the conjecture that all groups with EDT0L word problem are finite (i.e. precisely the groups with regular word problem). △ Less

Submitted 23 August, 2025; v1 submitted 26 May, 2025; originally announced May 2025.

Comments: 35 pages (+ 1 page appendix), 2 figures

MSC Class: 20F10; 68Q42; 20F65

The Diophantine problem in Thompson's group F

Authors: Luna Elliott, Alex Levine

Abstract: We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar arguments used by Büchi and Senger and Ciobanu and Garreta to show the Diophantine problem in free groups and monoids with abelianisation constraints is undecidable. We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar arguments used by Büchi and Senger and Ciobanu and Garreta to show the Diophantine problem in free groups and monoids with abelianisation constraints is undecidable. △ Less

Submitted 18 April, 2025; v1 submitted 20 February, 2025; originally announced February 2025.

Comments: 10 pages, thanks to James Belk and Corentin Bodart for pointing out that F is a centralizer in T, thanks to anonymous referee for helpful comments

MSC Class: 11D72; 20F65

Computing congruences of finite inverse semigroups

Authors: Luna Elliott, Alex Levine, James D. Mitchell

Abstract: In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude. In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude. △ Less

Submitted 6 November, 2024; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: 21 pages, 6 figures (appendix added with performance comparison, and include details of how to do the following for a congruence: count classes; find representatives of classes; test membership; compute meets and joins)

MSC Class: 20M18; 20-08; 20M30

E-disjunctive inverse semigroups

Authors: Luna Elliott, Alex Levine, James Mitchell

Abstract: In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the… ▽ More In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the rarity of such inverse semigroups; and a general structure theorem for all inverse semigroups where the building blocks are $E$-disjunctive. △ Less

Submitted 6 February, 2025; v1 submitted 30 May, 2024; originally announced May 2024.

Comments: 38 pages, 3 figures, 1 table (updated to account for referee's comments, and to fix other minor issues)

MSC Class: 20M18

Subsets of groups with context-free preimages

Authors: Alex Levine

Abstract: We study subsets $E$ of finitely generated groups where the set of all words over a given finite generating set that lie in $E$ forms a context-free language. We call these sets recognisably context-free. They are invariant of the choice of generating set and a theorem of Muller and Schupp fully classifies when the set $\{1\}$ can be recognisably context-free. We extend Muller and Schupp's result… ▽ More We study subsets $E$ of finitely generated groups where the set of all words over a given finite generating set that lie in $E$ forms a context-free language. We call these sets recognisably context-free. They are invariant of the choice of generating set and a theorem of Muller and Schupp fully classifies when the set $\{1\}$ can be recognisably context-free. We extend Muller and Schupp's result to show that a group $G$ admits a finite recognisably context-free subset if and only if $G$ is virtually free. We show that every conjugacy class of a group $G$ is recognisably context-free if and only if $G$ is virtually free. We conclude by showing that a coset is recognisably context-free if and only if the Schreier coset graph of the corresponding subgroup is quasi-isometric to a tree. △ Less

Submitted 30 April, 2024; v1 submitted 7 December, 2023; originally announced December 2023.

Comments: 23 pages, 3 figures. Various corrections and removal of (former) Section 3

MSC Class: 03D05; 20F10; 20F65; 68Q45

Effective equation solving, constraints and growth in virtually abelian groups

Authors: Laura Ciobanu, Alex Evetts, Alex Levine

Abstract: In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each o… ▽ More In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by a result of Benson, but his proof is non-constructive. △ Less

Submitted 28 March, 2024; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 28 pages

MSC Class: 03D05; 20F10; 20F65; 68Q45

New constructions and invariants of closed exotic 4-manifolds

Authors: Adam Simon Levine, Tye Lidman, Lisa Piccirillo

Abstract: In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exoti… ▽ More In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exotic manifolds that are related by knot surgeries on Alexander polynomial 1 knots, and exotic manifolds that contain square-zero spheres. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 50 pages, 19 figures

MSC Class: 57K18; 57K41; 57R58

Counting monogenic monoids and inverse monoids

Authors: L. Elliott, A. Levine, J. D. Mitchell

Abstract: In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an analogous statement for monogenic subsemigroups of the finite full transformation monoids, as well as monogenic inverse submonoids and subsemigroups of the fin… ▽ More In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an analogous statement for monogenic subsemigroups of the finite full transformation monoids, as well as monogenic inverse submonoids and subsemigroups of the finite symmetric inverse monoids. △ Less

Submitted 12 May, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 9 pages (2 figures, 1 table, updated with number of improvement, to appear in Comm. Alg.)

MSC Class: 20M20

Languages, groups and equations

Authors: Laura Ciobanu, Alex Levine

Abstract: The survey provides an overview of the work done in the last 10 years to characterise solutions to equations in groups in terms of formal languages. We begin with the work of Ciobanu, Diekert and Elder, who showed that solutions to systems of equations in free groups in terms of reduced words are expressible as EDT0L languages. We provide a sketch of their algorithm, and describe how the free grou… ▽ More The survey provides an overview of the work done in the last 10 years to characterise solutions to equations in groups in terms of formal languages. We begin with the work of Ciobanu, Diekert and Elder, who showed that solutions to systems of equations in free groups in terms of reduced words are expressible as EDT0L languages. We provide a sketch of their algorithm, and describe how the free group results extend to hyperbolic groups. The characterisation of solutions as EDT0L languages is very robust, and many group constructions preserve this, as shown by Levine. The most recent progress in the area has been made for groups without negative curvature, such as virtually abelian, the integral Heisenberg group, or the soluble Baumslag-Solitar groups, where the approaches to describing the solutions are different from the negative curvature groups. In virtually abelian groups the solutions sets are in fact rational, and one can obtain them as $m$-regular sets. In the Heisenberg group producing the solutions to a single equation reduces to understanding the solutions to quadratic Diophantine equations and uses number theoretic techniques. In the Baumslag-Solitar groups the methods are combinatorial, and focus on the interplay of normal forms to solve particular classes of equations. In conclusion, EDT0L languages give an effective and simple combinatorial characterisation of sets of seemingly high complexity in many important classes of groups. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: 26 pages

MSC Class: 20F10; 20F65; 03D05; 68Q45

A note on rationally slice knots

Authors: Adam Simon Levine

Abstract: Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to diffeomorphism. Thus, a single 4-manifold, along with connected sums thereof, accounts for all known examples of knots that are rationally slice but not slice. Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to diffeomorphism. Thus, a single 4-manifold, along with connected sums thereof, accounts for all known examples of knots that are rationally slice but not slice. △ Less

Submitted 25 December, 2022; originally announced December 2022.

Comments: 9 pages, 2 figures

MSC Class: 57K10; 57K18

Post's correspondence problem for hyperbolic and virtually nilpotent groups

Authors: Laura Ciobanu, Alex Levine, Alan D. Logan

Abstract: Post's Correspondence Problem (the PCP) is a classical decision problem in theoretical computer science that asks whether for pairs of free monoid morphisms $g, h\colonΣ^*\toΔ^*$ there exists any non-trivial $x\inΣ^*$ such that $g(x)=h(x)$. Post's Correspondence Problem for a group $Γ$ takes pairs of group homomorphisms $g, h\colon F(Σ)\to Γ$ instead, and similarly asks whether there exists an… ▽ More Post's Correspondence Problem (the PCP) is a classical decision problem in theoretical computer science that asks whether for pairs of free monoid morphisms $g, h\colonΣ^*\toΔ^*$ there exists any non-trivial $x\inΣ^*$ such that $g(x)=h(x)$. Post's Correspondence Problem for a group $Γ$ takes pairs of group homomorphisms $g, h\colon F(Σ)\to Γ$ instead, and similarly asks whether there exists an $x$ such that $g(x)=h(x)$ holds for non-elementary reasons. The restrictions imposed on $x$ in order to get non-elementary solutions lead to several interpretations of the problem; we consider the natural restriction asking that $x \notin \ker(g) \cap \ker(h)$ and prove that the resulting interpretation of the PCP is undecidable for arbitrary hyperbolic $Γ$, but decidable when $Γ$ is virtually nilpotent. We also study this problem for group constructions such as subgroups, direct products and finite extensions. This problem is equivalent to an interpretation due to Myasnikov, Nikolev and Ushakov when one map is injective. △ Less

Submitted 2 October, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 20 pages, v2. Final version

MSC Class: 20-06; 20E05; 20F10; 20M05; 68R15

Quadratic Diophantine equations, the Heisenberg group and formal languages

Authors: Alex Levine

Abstract: We express the solutions to quadratic equations with two variables in the ring of integers using EDT0L languages. We use this to show that EDT0L languages can be used to describe the solutions to one-variable equations in the Heisenberg group. This is done by reducing the question of solving a one-variable equation in the Heisenberg group to solving an equation in the ring of integers, exploiting… ▽ More We express the solutions to quadratic equations with two variables in the ring of integers using EDT0L languages. We use this to show that EDT0L languages can be used to describe the solutions to one-variable equations in the Heisenberg group. This is done by reducing the question of solving a one-variable equation in the Heisenberg group to solving an equation in the ring of integers, exploiting the strong link between the ring of integers and nilpotent groups. △ Less

Submitted 2 June, 2023; v1 submitted 9 March, 2022; originally announced March 2022.

Comments: 33 pages

MSC Class: 03D05; 20F10; 20F65; 20F18; 68Q45; 11D09

Reeb Graph Metrics from the Ground Up

Authors: Brian Bollen, Erin Chambers, Joshua A. Levine, Elizabeth Munch

Abstract: The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the i… ▽ More The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the interleaving distance, functional distortion distance, the Reeb graph edit distance, and the universal edit distance. Our goal is to (1) provide definitions and concrete examples of these distances in order to develop the intuition of the reader, (2) visit previously proven results of stability, universality, and discriminativity, (3) identify and complete any remaining properties which have only been proven (or disproven) for a subset of these metrics, (4) expand the taxonomy of the bottleneck distance to better distinguish between variations which have been commonly miscited, and (5) reconcile the various definitions and requirements on the underlying spaces for these metrics to be defined and properties to be proven. △ Less

Submitted 19 October, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: 71 pages, 35 figures

EDT0L solutions to equations in group extensions

Authors: Alex Levine

Abstract: We show that the class of groups where EDT0L languages can be used to describe solution sets to systems of equations is closed under direct products, wreath products with finite groups, and passing to finite index subgroups. We also add the class of groups that contain a direct product of hyperbolic groups as a finite index subgroup to the list of groups where solutions to systems of equations can… ▽ More We show that the class of groups where EDT0L languages can be used to describe solution sets to systems of equations is closed under direct products, wreath products with finite groups, and passing to finite index subgroups. We also add the class of groups that contain a direct product of hyperbolic groups as a finite index subgroup to the list of groups where solutions to systems of equations can be expressed as an EDT0L language. This includes dihedral Artin groups. We also show that the systems of equations with rational constraints in virtually abelian groups have EDT0L solutions, and the addition of recognisable contraints to any system preserves the property of having EDT0L solutions. These EDT0L solutions are expressed with respect to quasigeodesic normal forms. △ Less

Submitted 3 January, 2023; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 32 pages

MSC Class: 20F10 (Primary) 03D05; 20F65; 68Q45 (Secondary)

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

Authors: Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette

Abstract: We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product ele… ▽ More We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product elements, we perform a sequence of numerical experiments including the primal Poisson, mixed Poisson, and Maxwell cavity eigenvalue problems. Overall, we find that the trimmed serendipity elements converge, as expected, at the same rate as the respective tensor product elements while being able to offer significant savings in the time or memory required to solve certain problems. △ Less

Submitted 8 October, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 19 pages, 7 figures, 3 tables, 2 listings

Journal ref: ACM Transactions on Mathematical Software 48(1):8:1-8:19 (2022)

Equations in virtually class 2 nilpotent groups

Authors: Alex Levine

Abstract: We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of Duchin, Liang and Shapiro to finite extensions. We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of Duchin, Liang and Shapiro to finite extensions. △ Less

Submitted 3 October, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: 17 pages, final version appearing in the journal of Groups, Complexity and Cryptology

MSC Class: 20F10; 20F18; 03B25

Journal ref: journal of Groups, complexity, cryptology, Volume 14, Issue 1 (October 4, 2022) gcc:9776

Equations in virtually abelian groups: languages and growth

Authors: Alex Evetts, Alex Levine

Abstract: This paper explores the nature of the solution sets of systems of equations in virtually abelian groups. We view this question from two angles. From a formal language perspective, we prove that the set of solutions to a system of equations forms an EDT0L language, with respect to a natural normal form. Looking at growth, we show that the growth series of the language of solutions is rational. Furt… ▽ More This paper explores the nature of the solution sets of systems of equations in virtually abelian groups. We view this question from two angles. From a formal language perspective, we prove that the set of solutions to a system of equations forms an EDT0L language, with respect to a natural normal form. Looking at growth, we show that the growth series of the language of solutions is rational. Furthermore, considering the set of solutions as a set of tuples of group elements, we show that it has rational relative growth series with respect to any finite generating set. △ Less

Submitted 31 January, 2022; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: Final version, to appear in Internat. J. Algebra Comput

MSC Class: 03D05; 20F10; 20F65; 20K35 68Q45

Khovanov homology and cobordisms between split links

Authors: Onkar Singh Gujral, Adam Simon Levine

Abstract: In this paper, we study the (in)sensitivity of the Khovanov functor to four-dimensional linking of surfaces. We prove that if $L$ and $L'$ are split links, and $C$ is a cobordism between $L$ and $L'$ that is the union of disjoint (but possibly linked) cobordisms between the components of $L$ and the components of $L'$, then the map on Khovanov homology induced by $C$ is completely determined by th… ▽ More In this paper, we study the (in)sensitivity of the Khovanov functor to four-dimensional linking of surfaces. We prove that if $L$ and $L'$ are split links, and $C$ is a cobordism between $L$ and $L'$ that is the union of disjoint (but possibly linked) cobordisms between the components of $L$ and the components of $L'$, then the map on Khovanov homology induced by $C$ is completely determined by the maps induced by the individual components of $C$ and does not detect the linking between the components. As a corollary, we prove that a strongly homotopy-ribbon concordance (i.e., a concordance whose complement can be built with only 1- and 2-handles) induces an injection on Khovanov homology, which generalizes a result of the second author and Zemke. Additionally, we show that a non-split link cannot be ribbon concordant to a split link. △ Less

Submitted 28 March, 2022; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 35 pages, 15 figures

MSC Class: 57K10; 57K18; 57K45

Khovanov homology detects the figure-eight knot

Authors: John A. Baldwin, Nathan Dowlin, Adam Simon Levine, Tye Lidman, Radmila Sazdanovic

Abstract: Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. Using Dowlin's spectral sequence from Khovanov homology to knot Floer homology, we prove that reduced Khovanov homology (over $\mathbb{Q}$) detects the figure-eight knot. △ Less

Submitted 2 July, 2020; originally announced July 2020.

MSC Class: 57K18

Extending discrete exterior calculus to a fractional derivative

Authors: Justin Crum, Joshua A. Levine, Andrew Gillette

Abstract: Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exteri… ▽ More Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exterior Calculus (DEC) to the fractional setting, focusing on proper discretization of the fractional derivative. We define a Caputo-like fractional discrete derivative, in terms of the standard discrete exterior derivative operator from DEC, weighted by a measure of distance between $p$-simplices in a simplicial complex. We discuss key theoretical properties of the fractional discrete derivative and compare it to the continuous fractional derivative via a series of numerical experiments. △ Less

Submitted 16 July, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: 18 pages, 11 figures. Work is to be presented at Solid and Physical Modeling 2019

Journal ref: Computer-Aided Design 114 (2019) 64-72

Khovanov homology and ribbon concordance

Authors: Adam Simon Levine, Ian Zemke

Abstract: We show that a ribbon concordance between two links induces an injective map on Khovanov homology. We show that a ribbon concordance between two links induces an injective map on Khovanov homology. △ Less

Submitted 20 July, 2021; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: Published version; errors corrected from previous version. 5 pages, 1 figure

MSC Class: 57M25; 57M27

Journal ref: Bulletin of the London Mathematical Society 51 (2019), no. 6, 1099-1103

A surgery formula for knot Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of th… ▽ More Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_λ$ in $Y_λ$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of independent interest. △ Less

Submitted 3 January, 2021; v1 submitted 8 January, 2019; originally announced January 2019.

Comments: 89 pages, 6 figures. Numerous minor corrections and revisions to first version

MSC Class: 57M27; 57M25; 57R58

Simply-connected, spineless 4-manifolds

Authors: Adam Simon Levine, Tye Lidman

Abstract: We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the existence problem for codimension-2 spines in simply-connected manifolds. The obstruction comes from the Heegaard Floer $d$ invariants. We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the existence problem for codimension-2 spines in simply-connected manifolds. The obstruction comes from the Heegaard Floer $d$ invariants. △ Less

Submitted 5 March, 2018; originally announced March 2018.

Comments: 7 pages, 3 figures

MSC Class: 57M27; 57Q35

Knot concordance in homology cobordisms

Authors: Jennifer Hom, Adam Simon Levine, Tye Lidman

Abstract: Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\widehat{\mathcal{C}}_{\mathbb{Z}}$ is not surjective. Using tools from Heegaard Floer… ▽ More Let $\widehat{\mathcal{C}}_{\mathbb{Z}}$ denote the group of knots in homology spheres that bound homology balls, modulo smooth concordance in homology cobordisms. Answering a question of Matsumoto, the second author previously showed that the natural map from the smooth knot concordance group $\mathcal{C}$ to $\widehat{\mathcal{C}}_{\mathbb{Z}}$ is not surjective. Using tools from Heegaard Floer homology, we show that the cokernel of this map, which can be understood as the non-locally-flat piecewise-linear concordance group, is infinitely generated and contains elements of infinite order. △ Less

Submitted 10 November, 2022; v1 submitted 23 January, 2018; originally announced January 2018.

Comments: 38 pages, 11 figures; v2: Incorporates referee comments, including the addition of an appendix on smoothings of PL surfaces in 4-manifolds. This is the version to appear in Duke Math. J

MSC Class: 57M27; 57R58

Heegaard Floer invariants in codimension one

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show… ▽ More Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show how this invariant can be used to obstruct embeddings of certain types of $3$-manifolds, including those obtained as a connected sum of a rational homology $3$-sphere and any number of copies of $S^1 \times S^2$. We also give similar obstructions to embeddings in certain open $4$-manifolds, including exotic $\mathbb{R}^4$s. △ Less

Submitted 25 July, 2017; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: 34 pages, 1 figure. Final version, to appear in Transactions of the AMS; revisions following referee report

MSC Class: 57M27; 57R58

Khovanov homology and knot Floer homology for pointed links

Authors: John A. Baldwin, Adam Simon Levine, Sucharit Sarkar

Abstract: A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints… ▽ More A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We construct a modified version of Khovanov homology for links with multiple basepoints and show that it mimics the behavior of knot Floer homology. We also introduce a new spectral sequence converging to knot Floer homology whose $E_1$ page is conjecturally isomorphic to our new version of Khovanov homology; this would prove that the conjecture stated above holds over the field $\mathbb{Z}_2$. △ Less

Submitted 20 July, 2021; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: Published version. 46 pages, 5 figures

MSC Class: 57M25; 57R58

Journal ref: Journal of Knot Theory and its Ramifications 26 (2017), no. 2

Inference of Ancestral Recombination Graphs through Topological Data Analysis

Authors: Pablo G. Camara, Arnold J. Levine, Raul Rabadan

Abstract: The recent explosion of genomic data has underscored the need for interpretable and comprehensive analyses that can capture complex phylogenetic relationships within and across species. Recombination, reassortment and horizontal gene transfer constitute examples of pervasive biological phenomena that cannot be captured by tree-like representations. Starting from hundreds of genomes, we are interes… ▽ More The recent explosion of genomic data has underscored the need for interpretable and comprehensive analyses that can capture complex phylogenetic relationships within and across species. Recombination, reassortment and horizontal gene transfer constitute examples of pervasive biological phenomena that cannot be captured by tree-like representations. Starting from hundreds of genomes, we are interested in the reconstruction of potential evolutionary histories leading to the observed data. Ancestral recombination graphs represent potential histories that explicitly accommodate recombination and mutation events across orthologous genomes. However, they are computationally costly to reconstruct, usually being infeasible for more than few tens of genomes. Recently, Topological Data Analysis (TDA) methods have been proposed as robust and scalable methods that can capture the genetic scale and frequency of recombination. We build upon previous TDA developments for detecting and quantifying recombination, and present a novel framework that can be applied to hundreds of genomes and can be interpreted in terms of minimal histories of mutation and recombination events, quantifying the scales and identifying the genomic locations of recombinations. We implement this framework in a software package, called TARGet, and apply it to several examples, including small migration between different populations, human recombination, and horizontal evolution in finches inhabiting the Galápagos Islands. △ Less

Submitted 26 July, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 33 pages, 12 figures. The accompanying software, instructions and example files used in the manuscript can be obtained from https://github.com/RabadanLab/TARGet

Strong Heegaard diagrams and strong L-spaces

Authors: Joshua Evan Greene, Adam Simon Levine

Abstract: We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting… ▽ More We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the three-sphere. For example, we establish this fact for a strong L-space admitting a strong Heegaard diagram of genus two via an explicit classification. We also show that there exist finitely many strong L-spaces with bounded order of first homology; for instance, through order eight, they are connected sums of lens spaces. The methods are topological and graph theoretic. We discuss many related results and questions. △ Less

Submitted 23 November, 2014; originally announced November 2014.

Comments: 33 pages, 9 figures

MSC Class: 57M27; 57R58

Journal ref: Algebr. Geom. Topol. 16 (2016) 3167-3208

Non-surjective satellite operators and piecewise-linear concordance

Authors: Adam Simon Levine

Abstract: We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-linear disk in any homology 4-ball. We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-linear disk in any homology 4-ball. △ Less

Submitted 20 July, 2021; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: Published version; corrected errors from previous version. 40 pages; 12 figures, some in color

MSC Class: 57M27; 57R58; 57Q60

Journal ref: Forum of Mathematics, Sigma (2016), Vol. 4, e34, 47 pages

Generalized Heegaard Floer correction terms

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. △ Less

Submitted 10 March, 2014; originally announced March 2014.

Comments: To appear in Proceedings of the 20th Gökova Geometry/Topology Conference

MSC Class: 57M27; 57R28; 57Q60

Non-orientable surfaces in homology cobordisms

Authors: Ira M. Gessel, Adam Simon Levine, Daniel Ruberman, Saso Strle

Abstract: We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus… ▽ More We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: Primary article by Adam Levine, Daniel Ruberman and Saso Strle, with an appendix by Ira Gessel. 54 pages, 6 figures

MSC Class: 57R40; 57N35; 57M27; 11F20

Journal ref: Geom. Topol. 19 (2015) 439-494

Splicing knot complements and bordered Floer homology

Authors: Matthew Hedden, Adam Simon Levine

Abstract: We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology. △ Less

Submitted 10 September, 2015; v1 submitted 26 October, 2012; originally announced October 2012.

Comments: 25 pages. Revised version, to appear in Crelle's Journal. Errors from the original version have been corrected

MSC Class: 57M27; 57R58

Strong L-spaces and left orderability

Authors: Adam Simon Levine, Sam Lewallen

Abstract: We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating links in S^3. We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating links in S^3. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 9 pages

MSC Class: 57M05; 57R58; 20F60

Journal ref: Mathematical Research Letters 19 (2012), no. 6, 1237-1244

A combinatorial spanning tree model for knot Floer homology

Authors: John A. Baldwin, Adam Simon Levine

Abstract: We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning tr… ▽ More We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning trees, and we show that there are no higher differentials. This gives the first combinatorial spanning tree model for knot Floer homology. △ Less

Submitted 10 September, 2015; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 58 pages, 18 figures. Published version, with updated references

MSC Class: 57M27; 57R58

Journal ref: Adv. Math. 231 (2012) 1886-1939

Knot doubling operators and bordered Heegaard Floer homology

Authors: Adam Simon Levine

Abstract: We use bordered Heegaard Floer homology to compute the tau invariant of a family of satellite knots obtained via twisted infection along two components of the Borromean rings, a generalization of Whitehead doubling. We show that tau of the resulting knot depends only on the two twisting parameters and the values of tau for the two companion knots. We also include some notes on bordered Heegaard Fl… ▽ More We use bordered Heegaard Floer homology to compute the tau invariant of a family of satellite knots obtained via twisted infection along two components of the Borromean rings, a generalization of Whitehead doubling. We show that tau of the resulting knot depends only on the two twisting parameters and the values of tau for the two companion knots. We also include some notes on bordered Heegaard Floer homology that may serve as a useful introduction to the subject. △ Less

Submitted 1 May, 2014; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: 72 pages, 30 figures, some in color. Version 2 (published version): made substantial revisions throughout, especially in Section 3, and added Appendix. Ancillary files include Mathematica notebooks for bordered Heegaard Floer homology computations

MSC Class: 57M25; 57M27; 57R58

Journal ref: Journal of Topology 5 (2012) 651-712

Slicing mixed Bing-Whitehead doubles

Authors: Adam Simon Levine

Abstract: We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive Whitehead double of the Borromean rings) is not smoothly slice; it is not known… ▽ More We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive Whitehead double of the Borromean rings) is not smoothly slice; it is not known whether these links are topologically slice. △ Less

Submitted 20 August, 2010; v1 submitted 28 December, 2009; originally announced December 2009.

Comments: 16 pages, 10 figures. v2: This is a substantial revision of v1. We eliminated Section 4 of v1 because it is superceded by arXiv:1008.3349. v3: corrected references

MSC Class: 57M25; 57M27; 57R58

Journal ref: Journal of Topology 5 (2012) 713-726

On knots with infinite smooth concordance order

Authors: Adam Simon Levine

Abstract: We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order. We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 5 pages, 3 tables

MSC Class: 57M25; 57R58

Computing Knot Floer Homology in Cyclic Branched Covers

Authors: Adam Simon Levine

Abstract: We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings. We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings. △ Less

Submitted 9 December, 2007; v1 submitted 10 September, 2007; originally announced September 2007.

Comments: 30 pages, 2 figures, 1 long table. Added computations in Section 5; rewrote Section 6; corrected typos and minor mistakes

MSC Class: 57R58; 57M12; 57M27

Journal ref: Algebr. Geom. Topol. 8 (2008) 1163-1190