Related papers: Reverse engineering small 4-manifolds

We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic…

Transforms using random matrices have been found to have many applications. We are concerned with the projection of a signal onto Gaussian-distributed random orthogonal bases. We also would like to easily invert the process through…

We provide a number of new construction techniques for cubical complexes and cubical polytopes, and thus for cubifications (hexahedral mesh generation). As an application we obtain an instance of a cubical 4-polytope that has a…

We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…

We construct smooth 4-manifolds homeomorphic but not diffeomorphic to $CP^2#k\bar{CP^2},k \in {6,7,8,9}$, using the technique of rational blow-down along Wahl type plumbing trees of spheres.

Self-folding is an emerging paradigm for the inverse design of three-dimensional structures. While most efforts have concentrated on the shape of the net, our approach introduces a new design dimension-bond specificity between the edges. We…

In this paper we describe the topology of 4-dimensional closed orientable Riemannian manifolds with a uniform lower bound of sectional curvature and with a uniform upper bound of diameter which collapse to metric spaces of lower dimensions.…

An implementation of the Reverse Monte Carlo algorithm is presented for the study of amorphous tetrahedral semiconductors. By taking into account a number of constraints that describe the tetrahedral bonding geometry along with the radial…

We construct infinite families of non-simply connected locally conformally flat (LCF) 4-manifolds realizing rich topological types. These manifolds have strictly negative scalar curvature and the underlying topological 4-manifolds do not…

The inversion of linear systems is a fundamental step in many inverse problems. Computational challenges exist when trying to invert large linear systems, where limited computing resources mean that only part of the system can be kept in…

We developed an inverse design framework enabling automated generation of stable multi-component crystal structures by optimizing the formation energies in the latent space based on reversible crystal graphs with continuous representation.…

In \cite{AP3, AHP}, the first author and his collaborators constructed the irreducible symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1){\mathbb{CP}}^{2}\#(2n-1)\overline{\mathbb{CP}}^{2}$ for each integer $n…

We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also…

We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure.…

We construct a new infinite family of models of exotic 7-spheres. These models are direct generalizations of the Gromoll-Meyer sphere. From their symmetries, geodesics and submanifolds half of them are closer to the standard 7-sphere than…

We construct, for $m\geq 6$ and $2n\leq m$, closed manifolds $M^{m}$ with finite nonzero $\varphi(M^{m},S^{n}$), where $\varphi(M,N)$ denotes the minimum number of critical points of a smooth map $M\to N$. We also give some explicit…

The Kuperberg invariant is a topological invariant of closed 3-manifolds based on finite-dimensional Hopf algebras. In this paper, we initiate the program of constructing 4-manifold invariants in the spirit of Kuperberg's 3-manifold…

We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems…

For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…