arXiv research

Algorithm transforms weakly negative plumbing trees to negative definite ones.

Study negative definite spin fillings of knot covers.

Classifies contact structures on negative-definite Seifert fibred spaces.

This paper classifies minimal fillings of lens spaces.

Survey on embedding 3-manifolds in definite 4-manifolds, focusing on Donaldson's theorem.

A new metric for comparing probability measures on graphs, scalable and negative definite.

Given a knot K in the three-sphere, we address the question: which Dehn surgeries on K bound negative-definite four-manifolds? We show that the answer depends on a number m(K), which is a smooth concordance invariant. We study the properties of this invariant, and compute it for torus knots.

New mass definition for negative cosmological constant spacetimes.

New proof shows certain 4D metrics are non-degenerate if curvature is negative definite.

Paper proves a conjecture about a Heegaard Floer invariant for certain rational homology spheres.

Study lens spaces' definite fillings, classifying those with specific inequalities.

Counterexamples found for knot conjectures.

We show that every negative definite configuration of symplectic surfaces in a symplectic 4--manifold has a strongly symplectically convex neighborhood. We use this to show that, if a negative definite configuration satisfies an additional negativity condition at each surface in the configuration, and if the complex si…

We extend our previous definition of quasi-local mass to 2-spheres whose Gauss curvature is negative and prove its positivity.

Recently Andrei Teleman considered instanton moduli spaces over negative definite four-manifolds $X$ with $b_2(X) \geq 1$. If $b_2(X)$ is divisible by four and $b_1(X) =1$ a gauge-theoretic invariant can be defined; it is a count of flat connections modulo the gauge group. Our first result shows that if such a moduli s…

We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus …

Proves Gerber statistic is always non-negative.

An oriented compact 4-manifold $V$ with boundary $S^3$ is called a positon (resp. negaton) if its intersection form is positive definite (resp. negative definite) and it is simply connected. In this paper, we prove that there exist infinitely many knots which cannot bound null-homologous disks either in positons or in …

We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide …

When labeled data is scarce for a specific target task, transfer learning often offers an effective solution by utilizing data from a related source task. However, when transferring knowledge from a less related source, it may inversely hurt the target performance, a phenomenon known as negative transfer. Despite its p…

We propose $\textit{weighted inner product similarity}$ (WIPS) for neural network-based graph embedding. In addition to the parameters of neural networks, we optimize the weights of the inner product by allowing positive and negative values. Despite its simplicity, WIPS can approximate arbitrary general similarities in…

In this paper we present a slight modification of the Fourier estimation method of the spot volatility (matrix) process of a continuous Itô semimartingale where the estimators are always non-negative definite. Since the estimators are factorized, computational cost will be saved a lot.

Study shows surgeries on certain knots bound rational homology 4-balls.

New invariant connects knot homology and BPS series for plumbed knot complements.

Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem,…

3D space without definite 4D counterpart found.

We extend Sobolev transport to unbalanced measures on graphs.

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a smooth 4-manifold bounded by $Y$. To this end, we make use of constraints on definite…

Optimal transport for measures on noisy tree metrics is solved with robust approach.

New method for comparing different mass measures on tree structures using entropy partial transport.

Optimal transport (\OT) theory defines a powerful set of tools to compare probability distributions. \OT~suffers however from a few drawbacks, computational and statistical, which have encouraged the proposal of several regularized variants of OT in the recent literature, one of the most notable being the \textit{slice…

Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology o…

We classify semi-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to three and the metrics induced on fibres are negative definite. Also, we obtain the classificat…

Study compares two methods to extend $\widehat{Z}$ invariants, finding incompatibility for Brieskorn spheres.

New indefinite false theta functions match homological blocks for a specific 3-manifold.

In a previous work, the authors gave a definition of `front bundles'. Using this, we give a realization theorem for wave fronts in space forms, like as in the fundamental theorem of surface theory. As an application, we investigate the behavior of principal singular curvatures along A_2-singularities of hypersurfaces w…

Proves conjecture linking WRT invariants and homological blocks for plumbed 3-manifolds.

The class of Schoenberg transformations, embedding Euclidean distances into higher dimensional Euclidean spaces, is presented, and derived from theorems on positive definite and conditionally negative definite matrices. Original results on the arc lengths, angles and curvature of the transformations are proposed, and v…

Positive definite kernels are an important tool in machine learning that enable efficient solutions to otherwise difficult or intractable problems by implicitly linearizing the problem geometry. In this paper we develop a set-theoretic interpretation of the Earth Mover's Distance (EMD) and propose Earth Mover's Interse…

Upper bound found for dimensions of subspaces where holomorphic sectional curvature vanishes.

Paper proves edge-connectivity equals minimum degree for graphs with non-negative curvature.

In this note, we complete the classification of quasi-alternating Montesinos links. We show that the quasi-alternating Montesinos links are precisely those identified independently by Qazaqzeh-Chbili-Qublan and Champanerkar-Ording. A consequence of our proof is that a Montesinos link $L$ is quasi-alternating if and onl…

New kernel improves MMDs with theoretical guarantees for gradient flows.

In this paper, we first give a new simple proof to the elimination theorem of definite fold by homotopy for generic smooth maps of manifolds of dimension strictly greater than $2$ into the $2$--sphere or into the real projective plane. Our new proof has the advantage that it is not only constructive, but is also algori…

Knots and 4-manifolds linked via matrix kinking.

Given a minimal Lagrangian submanifold L in a negative Kaehler--Einstein manifold M, we show that any small Kaehler--Einstein perturbation of M induces a deformation of L which is minimal Lagrangian with respect to the new structure. This provides a new source of examples of minimal Lagrangians. More generally, the sam…

We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite 4-manifold with trivial first homology and bounded second betti number. This fact depends…

First we review the definition of a negative point mass singularity. Then we examine the gravitational lensing effects of these singularities in isolation and with shear and convergence from continuous matter. We review the Inverse Mean Curvature Flow and use this flow to prove some new results about the mass of a sing…