Related papers: Simpler algorithmically unrecognizable 4-manifolds

An important difference between high dimensional smooth manifolds and smooth 4-manifolds that in a 4-manifold it is not always possible to represent every middle dimensional homology class with a smoothly embedded sphere. This is true even…

Computing the probability of evidence even with known error bounds is NP-hard. In this paper we address this hard problem by settling on an easier problem. We propose an approximation which provides high confidence lower bounds on…

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the…

In this note we prove that the fouth bounded cohomology of non-abelian free groups with trivial real coefficients is non-zero. In order to prove this, we establish a splitting argument whose simplest form is as follows: Let $M$ denote an…

We show that any finitely presented group with an index two subgroup is realized as the fundamental group of a closed smooth non-orientable four-manifold that admits an exotic smooth structure, which is obtained by performing a Gluck twist.…

In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model…

This note has two related but independent parts. Firstly, we prove a generalisation of a recent result of Gay on the smooth mapping class group of $S^4$. Secondly, we give an alternative proof of a consequence of work of Saeki, namely that…

We prove that in closed almost complex manifolds of any dimension, generic perturbations of the almost complex structure suffice to achieve transversality for all unbranched multiple covers of simple pseudoholomorphic curves with…

Let $n > 2$, $\gamma > \frac{n-1}{n-2}$, and $\lambda \in \mathbb{R}$. We prove that if $M$ and $N$ are two smooth $n$-manifolds that admit a complete Riemannian metric satisfying \[ -\gamma\Delta + \mathrm{Ric} > \lambda, \] then the…

We continue with the ideas of Bonatti-Langevin-Jeandenans towards a constructive and algorithmic classification of pseudo-Anosov homeomorphisms (possibly with spines), up to topological conjugacy. We begin by indicating how to assign to…

We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a…

The purpose of this note is to show that classical cobordism arguments, which go back to the pioneering works of Mandelbaum and Moishezon, provide quick and unified proofs of any knot surgered compact simply-connected 4-manifold X_K…

We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…

We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.

Hidden Markov chains are widely applied statistical models of stochastic processes, from fundamental physics and chemistry to finance, health, and artificial intelligence. The hidden Markov processes they generate are notoriously…

We know from previous work with Italiano and Migliorini that there exists some hyperbolic 5-manifold that fibers over the circle. Here we build one example where the monodromy is a "pseudo-Anosov homeomorphism" of the 4-dimensional fiber,…

This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second…

The precise equivalence between discretized Euclidean field theories and a certain class of probabilistic graphical models, namely the mathematical framework of Markov random fields, opens up the opportunity to investigate machine learning…

The special shadow-complexity is an invariant of closed $4$-manifolds defined by Costantino using Turaev's shadows. We show that for any positive integer $k$, the special shadow-complexity of the connected sum of $k$ copies of $S^1\times…

A polytope is inscribable if there is a realization where all vertices lie on the sphere. In this paper, we provide a necessary and sufficient condition for a polytope to be inscribable. Based on this condition, we characterize the problem…