arXiv subjects

Mark Hughes

Publications and source records attributed to Mark Hughes.

13 recordsLinked to original sources

arXiv2026

An irreducible real projective plane in the 4-sphere

We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i) the connected sum $R\# R$ is a Klein bottle in $S^4$ with extremal normal Euler number that does not admit an unknotted projective plane summand, and (ii) we show that our projective plane $R$ is irreducible by showing that the peripheral map $\pi_1 (\partial (S^4\setminus\mathring{N}(R)))\to \pi_1 (S^4 \setminus \mathring{N}(R))$ has kernel of order $2$.

math.GT↗

arXiv2025

Branched Covers of Open Manifolds

For $m=2$ and $m=3$ we prove that any connected, oriented, open manifold $M^m$ admits a simple branched covering map over $\mathbb{R}^m$. When $M$ has $k$ ends and $k$ is finite, the degree of the cover can be taken to be $mk$. Regardless of the number of ends, $M$ admits a branched covering map of countably infinite degree over $\mathbb{R}^m$. We also investigate which compact manifolds are universal bases, that is, are branch covered by all compact manifolds in the same dimension.

math.GT↗

arXiv2025

Colored Jones Polynomials and the Volume Conjecture

Using the vertex model approach for braid representations, we compute polynomials for spin-1 placed on hyperbolic knots up to 15 crossings. These polynomials are referred to as 3-colored Jones polynomials or adjoint Jones polynomials. Training a subset of the data using a fully connected feedforward neural network, we predict the volume of the knot complement of hyperbolic knots from the adjoint Jones polynomial or its evaluations with 99.34% accuracy. A function of the adjoint Jones polynomial evaluated at the phase $q=e^{ 8 \pi i / 15 }$ predicts the volume with nearly the same accuracy as the neural network. From an analysis of 2-colored and 3-colored Jones polynomials, we conjecture the best phase for $n$-colored Jones polynomials, and use this hypothesis to motivate an improved statement of the volume conjecture. This is tested for knots for which closed form expressions for the $n$-colored Jones polynomial are known, and we show improved convergence to the volume.

math.GT↗

arXiv2024

Branched covers of twist-roll spun knots and turned twisted tori

We prove that the double branched cover of a twist-roll spun knot in $S^4$ is smoothly preserved when four twists are added, and that the double branched cover of a twist-roll spun knot connected sum with a trivial projective plane is preserved after two twists are added. As a consequence, we conclude that the members of a family of homotopy $\mathbb{CP}^2$s recently constructed by Miyazawa are each diffeomorphic to $\mathbb{CP}^2$. We also apply our techniques to show that the double branched covers of odd-twisted turned tori are all diffeomorphic to $S^2 \times S^2$, and show that a family of homotopy 4-spheres constructed by Juh\'asz and Powell are all diffeomorphic to $S^4$.

math.GT↗

arXiv2023

Non-isotopic splitting spheres for a split link in $S^4$

We show that there exist split, orientable, 2-component surface-links in $S^4$ with non-isotopic splitting spheres in their complements. In particular, for non-negative integers $m,n$ with $m\ge 4$, the unlink $L_{m,n}$ consisting of one component of genus $m$ and one component of genus $n$ contains in its complement two smooth splitting spheres that are not topologically isotopic in $S^4\setminus L_{m,n}$. This contrasts with link theory in the classical dimension, as any two splitting spheres in the complement of a 2-component split link $L\subset S^3$ are isotopic in $S^3\setminus L$.

math.GT↗

arXiv2023

Comparing introductory and beyond-introductory students' reasoning about uncertainty

Uncertainty is an important concept in physics laboratory instruction. However, little work has examined how students reason about uncertainty beyond the introductory (intro) level. In this work we aimed to compare intro and beyond-intro students' ideas about uncertainty. We administered a survey to students at 10 different universities with questions probing procedural reasoning about measurement, student-identified sources of uncertainty, and predictive reasoning about data distributions. We found that intro and beyond-intro students answered similarly on questions where intro students already exhibited expert-level reasoning, such as in comparing two data sets with the same mean but different spreads, identifying limitations in an experimental setup, and predicting how a data distribution would change if more data were collected. For other questions, beyond-intro students generally exhibited more expert-like reasoning than intro students, such as when determining whether two sets of data agree, identifying principles of measurement that contribute to spread, and predicting how a data distribution would change if better data were collected. Neither differences in student populations, lab courses taken, nor research experience were able to fully explain the variability between intro and beyond-intro student responses. These results call for further research to better understand how students' ideas about uncertainty develop beyond the intro level.

physics.ed-ph↗

arXiv2022

Illuminating new and known relations between knot invariants

We automate the process of machine learning correlations between knot invariants. For nearly 200,000 distinct sets of input knot invariants together with an output invariant, we attempt to learn the output invariant by training a neural network on the input invariants. Correlation between invariants is measured by the accuracy of the neural network prediction, and bipartite or tripartite correlations are sequentially filtered from the input invariant sets so that experiments with larger input sets are checking for true multipartite correlation. We rediscover several known relationships between polynomial, homological, and hyperbolic knot invariants, while also finding novel correlations which are not explained by known results in knot theory. These unexplained correlations strengthen previous observations concerning links between Khovanov and knot Floer homology. Our results also point to a new connection between quantum algebraic and hyperbolic invariants, similar to the generalized volume conjecture.

math.GT↗

arXiv2022

(K)not machine learning

We review recent efforts to machine learn relations between knot invariants. Because these knot invariants have meaning in physics, we explore aspects of Chern-Simons theory and higher dimensional gauge theories. The goal of this work is to translate numerical experiments with Big Data to new analytic results.

hep-th↗

arXiv2021

Learning knot invariants across dimensions

We use deep neural networks to machine learn correlations between knot invariants in various dimensions. The three-dimensional invariant of interest is the Jones polynomial $J(q)$, and the four-dimensional invariants are the Khovanov polynomial $\text{Kh}(q,t)$, smooth slice genus $g$, and Rasmussen's $s$-invariant. We find that a two-layer feed-forward neural network can predict $s$ from $\text{Kh}(q,-q^{-4})$ with greater than $99\%$ accuracy. A theoretical explanation for this performance exists in knot theory via the now disproven knight move conjecture, which is obeyed by all knots in our dataset. More surprisingly, we find similar performance for the prediction of $s$ from $\text{Kh}(q,-q^{-2})$, which suggests a novel relationship between the Khovanov and Lee homology theories of a knot. The network predicts $g$ from $\text{Kh}(q,t)$ with similarly high accuracy, and we discuss the extent to which the machine is learning $s$ as opposed to $g$, since there is a general inequality $|s| \leq 2g$. The Jones polynomial, as a three-dimensional invariant, is not obviously related to $s$ or $g$, but the network achieves greater than $95\%$ accuracy in predicting either from $J(q)$. Moreover, similar accuracy can be achieved by evaluating $J(q)$ at roots of unity. This suggests a relationship with $SU(2)$ Chern--Simons theory, and we review the gauge theory construction of Khovanov homology which may be relevant for explaining the network's performance.

hep-th↗

arXiv2021

Knotted handlebodies in the 4-sphere and 5-ball

For every integer $g\ge 2$ we construct 3-dimensional genus-$g$ 1-handlebodies smoothly embedded in $S^4$ with the same boundary, and which are defined by the same cut systems of their boundary, yet which are not isotopic rel. boundary via any locally flat isotopy even when their interiors are pushed into $B^5$. This proves a conjecture of Budney-Gabai for genus at least 2.

math.GT↗

arXiv2021

Band diagrams of immersed surfaces in 4-manifolds

We study immersed surfaces in smooth 4-manifolds via singular banded unlink diagrams. Such a diagram consists of a singular link with bands inside a Kirby diagram of the ambient 4-manifold, representing a level set of the surface with respect to an associated Morse function. We show that every self-transverse immersed surface in a smooth, orientable, closed 4-manifold can be represented by a singular banded unlink diagram, and that such representations are uniquely determined by the ambient isotopy or equivalence class of the surface up to a set of singular band moves which we define explicitly. By introducing additional finger, Whitney, and cusp diagrammatic moves, we can use these singular band moves to describe homotopies or regular homotopies as well. Using these techniques, we introduce bridge trisections of immersed surfaces in arbitrary trisected 4-manifolds and prove that such bridge trisections exist and are unique up to simple perturbation moves. We additionally give some examples of how singular banded unlink diagrams may be used to perform computations or produce explicit homotopies of surfaces.

math.GT↗

arXiv2018

A Reidemeister type theorem for petal diagrams of knots

We study petal diagrams of knots, which provide a method of describing knots in terms of permutations in a symmetric group $S_{2n+1}$. We define two classes of moves on such permutations, called trivial petal additions and crossing exchanges, which do not change the isotopy class of the underlying knot. We prove that any two permutations which represent isotopic knots can be related by a sequence of these moves and their inverses.

math.GT↗

arXiv2017

Medical Text Classification using Convolutional Neural Networks

We present an approach to automatically classify clinical text at a sentence level. We are using deep convolutional neural networks to represent complex features. We train the network on a dataset providing a broad categorization of health information. Through a detailed evaluation, we demonstrate that our method outperforms several approaches widely used in natural language processing tasks by about 15%.

cs.CL↗