Related papers: Reverse engineering small 4-manifolds

It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for…

We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be…

One strategy for distinguishing smooth structures on closed $4$-manifolds is to produce a knot $K$ in $S^3$ that is slice in one smooth filling $W$ of $S^3$ but not slice in some homeomorphic smooth filling $W'$. In this paper we explore…

In order to obtain a metasurface structure capable of filtering the light of a specific wavelength in the visible band, traditional method usually traverses the space consisting of possible designs, searching for a potentially satisfying…

A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the…

Metasurfaces are an emerging technology that may supplant many of the conventional optics found in imaging devices, displays, and precision scientific instruments. Here, we develop a method for designing optical systems composed of multiple…

Throughout the physical sciences, entropy stands out as a pivotal but enigmatic concept that, in materials design, often takes a backseat to energy. Here, we demonstrate how to precisely engineer entropy to achieve desired colloidal…

In contrast to software reverse engineering, there are hardly any tools available that support hardware reversing. Therefore, the reversing process is conducted by human analysts combining several complex semi-automated steps. However,…

A census is presented of all closed non-orientable 3-manifold triangulations formed from at most seven tetrahedra satisfying the additional constraints of minimality and P^2-irreducibility. The eight different 3-manifolds represented by…

Inverse consistency is a desirable property for image registration. We propose a simple technique to make a neural registration network inverse consistent by construction, as a consequence of its structure, as long as it parameterizes its…

In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9\chi_h$, the fake projective planes and Cartwright-Steger surfaces.…

We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input…

We find new families of shape invariant potentials depending on n>=1 parameters subject to translation by the inclusion of non-trivial invariants. New dependencies of the spectra are found, and it opens the door to the engineering of…

In computational design and fabrication, neural networks are becoming important surrogates for bulky forward simulations. A long-standing, intertwined question is that of inverse design: how to compute a design that satisfies a desired…

Inverse design is an outstanding challenge in disordered systems with multiple length scales such as polymers, particularly when designing polymers with desired phase behavior. We demonstrate high-accuracy tuning of poly(2-oxazoline) cloud…

We present explicit algorithms for simplifying the topology of indefinite fibrations on 4-manifolds, which include broken Lefschetz fibrations and indefinite Morse 2-functions. The algorithms consist of sequences of moves, which modify…

We describe a new construction algorithm for the recursive generation of all non-isomorphic IPR fullerenes. Unlike previous algorithms, the new algorithm stays entirely within the class of IPR fullerenes, that is: every IPR fullerene is…

We present some of the group theoretic properties of reversing symmetry groups, and classify their structure in simple cases that occur frequently in several well-known groups of dynamical systems.

We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of…

We use circle-packing methods to generate quadrilateral meshes for polygonal domains, with guaranteed bounds both on the quality and the number of elements. We show that these methods can generate meshes of several types: (1) the elements…