Related papers: A Modification of the Sarkar-Wang Algorithm and an…
Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A(F). In this paper, we establish naturality properties…
The balanced hypergraph partitioning problem is to partition a hypergraph into $k$ disjoint blocks of bounded size such that the sum of the number of blocks connected by each hyperedge is minimized. We present an improvement to the…
If a knot $K$ in $S^3$ admits a pair of truly cosmetic surgeries, we show that the surgery slopes are either $\pm 2$ or $\pm 1/q$ for some value of $q$ that is explicitly determined by the knot Floer homology of $K$. Moreover, in the former…
We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The…
To a nullhomologous knot $K$ in a 3-manifold $Y$, knot Floer homology associates a bigraded chain complex over $\mathbb{F}[U,V]$ as well as a collection of flip maps; we show that this data can be interpretted as a collection of decorated…
We prove the existence of a localization spectral sequence for the hat variant of Guth and Manolescu's recent construction of real Heegaard Floer homology, and apply it to branched double covers and strongly invertible knots. Our…
Shor's algorithm for integer factorization offers an exponential speedup over classical methods but remains impractical on Noisy Intermediate Scale Quantum (NISQ) hardware due to the need for many coherent qubits and very deep circuits.…
We provide an explicit computation over the integers of the bar version $\overline{HM}_*$ of the monopole Floer homology of a three-manifold in terms of a new invariant associated to its triple cup product called extended cup homology. This…
Given a knot K in S^3, let \Sigma(K) be the double branched cover of S^3 over K. We show there is a spectral sequence whose E^1 page is (\hat{HFK}(\Sigma(K), K) \otimes V^{n-1}) \otimes \mathbb Z_2((q)), for V a \mathbb Z_2-vector space of…
We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory:…
This work proposes a new algorithm for training a re-weighted L2 Support Vector Machine (SVM), inspired on the re-weighted Lasso algorithm of Cand\`es et al. and on the equivalence between Lasso and SVM shown recently by Jaggi. In…
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing…
There have been a number of constructions of Lagrangian Floer homology invariants for $3$-manifolds defined in terms of symplectic character varieties arising from Heegaard splittings. With the aim of establishing an Atiyah-Floer…
We extend the Frank-Wolfe (FW) optimization algorithm to solve constrained smooth convex-concave saddle point (SP) problems. Remarkably, the method only requires access to linear minimization oracles. Leveraging recent advances in FW…
This largely technical paper is divided into two parts: part I: An account of P. Ozsvath and Z. Szabo's construction of the link surgery spectral sequence. There are no new results here, but this part slightly modifies and expands their…
Ozsv\'ath and Szab\'o gave a combinatorial description for the Heegaard Floer homology of boundaries of certain negative-definite plumbings. N\'emethi constructed a remarkable algorithm for executing these computations for almost-rational…
Given a knot K in S^3, Seidel and Smith described in arXiv:1002.2648v3 a graded cohomology group Kh_{symp,inv}(K), a variant of their symplectic Khovanov cohomology group. They also constructed a spectral sequence converging to the Heegaard…
We show that bordered Heegaard Floer homology detects incompressible surfaces and bordered-sutured Floer homology detects partly boundary parallel tangles and bridges, in natural ways. For example, there is a bimodule Lambda so that the…
We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer…
In the context of gridless sparse optimization, the Sliding Frank Wolfe algorithm recently introduced has shown interesting analytical and practical properties. Nevertheless, is application to large data, such as in the case of 3D…