arXiv research

Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds,…

The paper develops a bordered $\mathit{HF}^-$ theory using link surgery formula.

This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{\mathit{CFD}}$ may be viewed as a set of immersed curves decorated with local systems in $\partial M$. These curves-with-decoration ar…

The paper defines contact invariants in bordered Floer homology.

Knot Floer homology is reinterpreted as immersed curves.

We give a bordered extension of involutive HF-hat and use it to give an algorithm to compute involutive HF-hat for general 3-manifolds. We also explain how the mapping class group action on HF-hat can be computed using bordered Floer homology. As applications, we prove that involutive HF-hat satisfies a surgery exact t…

A new method converts knot Floer homology to immersed curves.

Let $M$ be an exact symplectic manifold equal to a symplectization near infinity and having stably trivializable tangent bundle, and $φ$ be an exact symplectomorphism of $M$ which, near infinity, is equal to either the identity or the symplectization of a contactomorphism $\hatφ$ such that neither $\hatφ$ nor $\hatφ^2$…

This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.

Bordered Heegaard Floer homology is an invariant for three-manifolds with boundary. In particular, this invariant associates to a handle decomposition of a surface F a differential graded algebra, and to an arc slide between two handle decompositions, a bimodule over the two algebras. In this paper, we describe these b…

Invariant for 3-manifolds with torus boundary defined.

We perform two explicit computations of bordered Heegaard Floer invariants. The first is the type D trimodule associated to the trivial S^1 bundle over the pair of pants P. The second is a bimodule that is necessary for self-gluing, when two torus boundary components of a bordered manifold are glued to each other. Usin…

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 tensor product of CFD(Y) and Lambda is Hom-orthogonal to CFD(Y) if and only if the …

We define a torus algebra for Heegaard Floer homology.

We construct Heegaard Floer theory for 3-manifolds with connected boundary. The theory associates to an oriented, parametrized two-manifold a differential graded algebra. For a three-manifold with parametrized boundary, the invariant comes in two different versions, one of which (type D) is a module over the algebra an…

Instanton Floer homology matches Heegaard Floer for almost-rational plumbings.

We construct an algebraic version of Lagrangian Floer homology for immersed curves inside the pillowcase. We first associate to the pillowcase an algebra A. Then to an immersed curve L inside the pillowcase we associate an A infinity module M(L) over A. Then we prove that Lagrangian Floer homology HF(L,L') is isomorphi…

Motivated by applications in hyperspectral imaging we investigate methods for approximating a high-dimensional non-negative matrix $\mathbf{\mathit{Y}}$ by a product of two lower-dimensional, non-negative matrices $\mathbf{\mathit{K}}$ and $\mathbf{\mathit{X}}.$ This so-called non-negative matrix factorization is based…

New algorithm trains neural networks in near-linear time, overcoming slow convergence issues.

This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston…

New category theory for complex projective plane sections.

Let $(Γ,γ)$ be a crystallization of connected compact 3-manifold $M$ with $h$ boundary components. Let $\mathcal{G}(M)$ and $\mathit k (M)$ be the regular genus and gem-complexity of $M$ respectively, and let $\mathcal{G}(\partial M)$ be the regular genus of $\partial M$. We prove that $$\mathit k (M)\geq 3 (\mathcal{G…

The set $\mathit{RT}(M)$ of values of the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion of a 3-manifold $M$ can be both finite and infinite. We prove that $\mathit{RT}(M)$ is a finite set if $M$ is the splice of two certain knots in the 3-sphere. The proof is based on an observation on the character varieties and $A…

Hessian-free (HF) optimization has been successfully used for training deep autoencoders and recurrent networks. HF uses the conjugate gradient algorithm to construct update directions through curvature-vector products that can be computed on the same order of time as gradients. In this paper we exploit this property a…

BF-VAE estimates uncertainty from LF and HF QoI samples.

We compute the Ozsvath-Szabo Floer homologies HF^{+-} and HF-hat for three-manifolds obtained by integer surgery on a two-bridge knot.

Lower bounds for PL 4-manifolds with boundary are improved.

The application of standard sufficient dimension reduction methods for reducing the dimension space of predictors without losing regression information requires inverting the covariance matrix of the predictors. This has posed a number of challenges especially when analyzing high-dimensional data sets in which the numb…

New method improves multi-fidelity Bayesian optimization by accounting for local correlations and varying noise.

Generative AI improves surrogate models by blending LF and HF data.

The symplectic Floer homology HF_*(f) of a symplectomorphism f:S->S encodes data about the fixed points of f using counts of holomorphic cylinders in R x M_f, where M_f is the mapping torus of f. We give an algorithm to compute HF_*(f) for f a surface symplectomorphism in a pseudo-Anosov or reducible mapping class, com…

In this paper, we propose a second order optimization method to learn models where both the dimensionality of the parameter space and the number of training samples is high. In our method, we construct on each iteration a Krylov subspace formed by the gradient and an approximation to the Hessian matrix, and then use a …

Proposes a method to estimate conditional quantiles using both high-fidelity and low-fidelity data.

Computational simulations with different fidelity have been widely used in engineering design. A high-fidelity (HF) model is generally more accurate but also more time-consuming than an low-fidelity (LF) model. To take advantages of both HF and LF models, multi-fidelity surrogate models that aim to integrate informatio…

We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we …

A knot \widetilde{K} \subset S^3 is q-periodic if there is a \mathbb Z_q-action preserving \widetilde{K} whose fixed set is an unknot U. The quotient of \widetilde{K} under the action is a second knot K. We construct equivariant Heegaard diagrams for q-periodic knots, and show that Murasugi's classical condition on the…

In this paper, we consider regression problems with one-hidden-layer neural networks (1NNs). We distill some properties of activation functions that lead to $\mathit{local~strong~convexity}$ in the neighborhood of the ground-truth parameters for the 1NN squared-loss objective. Most popular nonlinear activation function…

We define and study a family of link invariants $\mathit{HFK}_{n}(L)$. Although these homology theories are defined using holomorphic disc counts, they share many properties with $sl_{n}$ homology. Using these theories, we give a framework that generalizes the conjectured spectral sequence from Khovanov homology to $δ$…

Let $M_n$ be a homology 3-sphere obtained by $\frac1n$-Dehn surgery along a $(p,q)$-torus knot. We consider a polynomial $σ_{(p,q,n)}(t)$ whose zeros are the inverses of the Reideimeister torsion of $M_n$ for $\mathit{SL}(2;\mathbb{C})$-irreducible representations. We give an explicit formula of this polynomial by usin…

We give a construction of a version of the Gromov-Witten classes, Q: H_*(J) -> HF_*(M) otimes ... otimes HF^*(M), within the context of symplectic Floer (co)homology. In particular, this gives a functorial approach to products and relations in symplectic Floer (co)homology.

In this paper, we present a data-driven model for forecasting the production increase after hydraulic fracturing (HF). We use data from fracturing jobs performed at one of the Siberian oilfields. The data includes features, characterizing the jobs, and geological information. To predict an oil rate after the fracturing…

We make a detailed study of the Heegaard Floer homology of the product of a closed surface Sigma_g of genus g with S^1. We determine HF^+ for this 3-manifold completely for the spin^c structure having trivial first Chern class, which for g>2 was previously unknown. We show that in this case HF^\infty is closely related…

Efficiently estimates rare events using multifidelity modeling.

Lattice cohomology, defined by Némethi in (arXiv:0709.0841), is an invariant of negative definite plumbed 3-manifolds which conjecturally computes the Heegaard Floer homology HF^+. We prove a surgery exact triangle for the lattice cohomology analogous to the one for HF^+. This is a step towards comparing these two inva…

Ozsvath and Szabo construct a spectral sequence with E_2 term Λ^*(H^1(Y;Z))\otimes Z[U,U^{-1}] converging to HF^\infty(Y,s) for a torsion Spin^c structure s. They conjecture that the differentials are completely determined by the integral triple cup product form via a proposed formula. In this paper, we prove that HF^\…

We reformulate ten-dimensional type II supergravity as a generalised geometrical analogue of Einstein gravity, defined by an $O(9,1)\times O(1,9)\subset O(10,10)\times\mathbb{R}^+$ structure on the generalised tangent space. Using the notion of generalised connection and torsion, we introduce the analogue of the Levi-C…

We define a (co-)Poisson (co)algebra of curves on a bordered surface. A bordered surface is a surface whose boundary have marked points. Curves on the bordered surface are oriented loops and oriented arcs whose endpoints in the set of marked points. We define a (co-)Poisson (co)bracket on the symmetric algebra of a quo…

Let $K$ denote a knot inside the homology sphere $Y$ and $K'$ denote a knot inside a homology sphere $L$-space. Let $X=Y(K,K')$ denote the 3-manifold obtained by splicing the complements of $K$ and $K'$. We show that $\text{rank}(\widehat{HF}(X)) \ge \text{rank}(\widehat{HF}(Y))$.