arXiv research

The study shows manifolds with special generic maps also have nice multisections.

Efficient multisections found for odd-dimensional tori.

Multisections generalize Heegaard splittings and trisections to higher dimensions.

New method to encode Weinstein 4-manifolds using multisections with divides.

The paper constructs multisections for m-spun 3-manifolds in higher dimensions.

New method for decomposing manifolds into 1-handlebodies.

Paper proves uniqueness of bridge multisections for surfaces in 4-space.

New method to compute homology and intersection form of 4-manifolds.

Study of curves in rational surfaces using multisections and torus actions.

Multisections generalize trisections for 4-manifolds, allowing complex operations and explicit diagrams.

In this article, we characterize isomorphism classes of Lefschetz fibrations with multisections via their monodromy factorizations. We prove that two Lefschetz fibrations with multisections are isomorphic if and only if their monodromy factorizations in the relevant mapping class groups are related to each other by a f…

We initiate a study of positive multisections of Lefschetz fibrations via positive factorizations in framed mapping class groups of surfaces. Using our methods, one can effectively capture various interesting symplectic surfaces in symplectic 4-manifolds as multisections, such as Seiberg-Witten basic classes and except…

We give examples of foliations that answer two questions posed by Mitsumatsu and Vogt about the genus minimising properties of closed leaves of 2-dimensional foliations on 4-manifolds. By studying stable commutator lengths in certain stable mapping class groups, we also answer an asymptotic version of another question …

New methods decompose manifolds into submanifolds via fold maps.

Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-mani…

Defines pants distance for knotted surfaces in 4-manifolds.

Study of 3-manifolds in 5-sphere using bridge decompositions.

New invariant defined for Weinstein domains, related to Kirby-Thompson's invariant.

Study on nilpotent Lie algebras with specific metrics.

The paper studies nice bases for Lie algebras and their properties.

We illustrate an algorithm to classify nice nilpotent Lie algebras of dimension $n$ up to a suitable notion of equivalence; applying the algorithm, we obtain complete listings for $n\leq9$. On every nilpotent Lie algebra of dimension $\leq 7$, we determine the number of inequivalent nice bases, which can be $0$, $1$, o…

We introduce a systematic method to produce left-invariant, non-Ricci-flat Einstein metrics of indefinite signature on nice nilpotent Lie groups. On a nice nilpotent Lie group, we give a simple algebraic characterization of non-Ricci-flat left-invariant Einstein metrics in both the class of metrics for which the nice b…

We show that the "geometric models of matter" approach proposed by the first author can be used to construct models of anyon quasiparticles with fractional quantum numbers, using 4-dimensional edge-cone orbifold geometries with orbifold singularities along embedded 2-dimensional surfaces. The anyon states arise through…

Gay and Kirby introduced the notion of a trisection of a smooth 4-manifold, which is a decomposition of the 4-manifold into three elementary pieces. Rubinstein and Tillmann later extended this idea to construct multisections of piecewise-linear (PL) manifolds in all dimensions. Given a PL manifold $Y$ of dimension $n$,…

The paper finds infinitely many 4-manifolds with non-isotopic sections.

In this paper we use continuous family of multisections of the moduli space of pseudo holomorphic discs to partially improve, in the case of real coefficient, the construction of Lagrangian Floer cohomology of which the author developed jointly with Oh-Ohta-Ono. Namely we associate cyclically symmetric filtered A infin…

NICE model estimates causal effects for image treatments.

4-manifolds can be uniquely described as loops of Morse functions.

We analyze a notion of multiple valued sections of a vector bundle over an abstract smooth Riemannian manifold, which was suggested by W. Allard in the unpublished note "Some useful techniques for dealing with multiple valued functions" and generalizes Almgren's $Q$-valued functions. We study some relevant properties o…

NICE learns a representation to avoid bad controls in causal inference.

Let M be a compact oriented even-dimensional manifold. This note constructs a compact symplectic manifold S of the same dimension and a map f from S to M of strictly positive degree. The construction relies on two deep results: the first is a theorem of Ontaneda that gives a Riemannian manifold N of tightly pinched neg…

In some sense, the world is composed of shapes and words, of continuous things and discrete things. The recognition and study of continuous objects in the form of shapes occupies a significant part of the effort of unraveling many geometric questions. Shapes can be rep- resented with great generality by objects called …

We propose a semidefinite programming (SDP) algorithm for community detection in the stochastic block model, a popular model for networks with latent community structure. We prove that our algorithm achieves exact recovery of the latent communities, up to the information-theoretic limits determined by Abbe and Sandon (…

Existing Markov Chain Monte Carlo (MCMC) methods are either based on general-purpose and domain-agnostic schemes which can lead to slow convergence, or hand-crafting of problem-specific proposals by an expert. We propose A-NICE-MC, a novel method to train flexible parametric Markov chain kernels to produce samples with…

Let $G$ be a real reductive Lie group and $τ:G \longrightarrow GL(V)$ be a real reductive representation of $G$ with (restricted) moment map $m_{\ggo}: V-{0} \longrightarrow \ggo$. In this work, we introduce the notion of "nice space" of a real reductive representation to study the problem of how to determine if a $G$-…

Although neural networks are routinely and successfully trained in practice using simple gradient-based methods, most existing theoretical results are negative, showing that learning such networks is difficult, in a worst-case sense over all data distributions. In this paper, we take a more nuanced view, and consider w…

Programs compute Heegaard Floer invariants from open books.

Deep learning improves causal effect estimation from complex observational data.

We introduce a combinatorial method to construct indefinite Ricci-flat metrics on nice nilpotent Lie groups. We prove that every nilpotent Lie group of dimension $\leq6$, every nice nilpotent Lie group of dimension $\leq7$ and every two-step nilpotent Lie group attached to a graph admits such a metric. We construct inf…

Generalizes moment-angle manifolds to arbitrary nice manifolds with corners.

Constructs real algebraic functions with both compact and non-compact preimages.

Explaining the prediction of deep neural networks (DNNs) and semantic image compression are two active research areas of deep learning with a numerous of applications in decision-critical systems, such as surveillance cameras, drones and self-driving cars, where interpretable decision is critical and storage/network ba…

Given a rank-two sub-Riemannian structure $(M,Δ)$ and a point $x_0\in M$, a singular curve is a critical point of the endpoint map $F:γ\mapstoγ(1)$ defined on the space of horizontal curves starting at $x_0$. The typical least degenerate singular curves of these structures are called \emph{regular singular curves}; the…

Cieliebak, Mundet i Riera and Salamon recently formulated a definition of branched submanifold of Euclidean space in connection with their discussion of multivalued sections and the Euler class. This note proposes an intrinsic definition of a weighted branched manifold Z that is obtained from the usual definition of or…

This is an elementary geometrical proof of Birkhoff theorem. It is hardly important, but the pictures behind are quite nice.

As a generalization of Davis-Januszkiewicz theory, there is an essential link between locally standard $(\Z_2)^n$-actions (or $T^n$-actions) actions and nice manifolds with corners, so that a class of nicely behaved equivariant cut-and-paste operations on locally standard actions can be carried out in step on nice mani…

For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a transverse Kähler structure on such a foliation, then we obtain a nice differential grade…

Introduces new spaces for configurations of points with specific monodromies.