arXiv subjects
Publications and source records attributed to John Nicholson.
We survey computations and tools concerning the mapping class group of a compact, oriented, connected 3-manifold $M$. We provide a guide to the literature and sketch proofs for various families of irreducible and geometric 3-manifolds. We also consider JSJ and prime decompositions of 3-manifolds, and consequences for their mapping class groups.
This paper presents a comprehensive review of the NTIRE 2025 Low-Light Image Enhancement (LLIE) Challenge, highlighting the proposed solutions and final outcomes. The objective of the challenge is to identify effective networks capable of producing brighter, clearer, and visually compelling images under diverse and challenging conditions. A remarkable total of 762 participants registered for the competition, with 28 teams ultimately submitting valid entries. This paper thoroughly evaluates the state-of-the-art advancements in LLIE, showcasing the significant progress.
We study Swan modules, which are a special class of projective modules over integral group rings, and their consequences for the homotopy classification of CW-complexes. We show that there exists a non-free stably free Swan module, thus resolving Problem A4 in the 1979 Problem List of C. T. C. Wall. As an application we show that, in all dimensions $n \equiv 3$ mod $4$, there exist finite $n$-complexes which are homotopy equivalent after stabilising with multiple copies of $S^n$, but not after a single stabilisation. This answers a question of M. N. Dyer. We also resolve a question of S. Plotnick concerning Swan modules associated to group automorphisms and, as an application, obtain a short and direct proof that there exists a group with $k$-periodic cohomology which does not have free period $k$. In contrast to the original proof our R. J. Milgram, our proof circumvents the need to compute the Swan finiteness obstruction.
The D2 problem of C. T. C. Wall asks whether every finite cohomologically 2-dimensional CW-complex is homotopy equivalent to a finite 2-complex. Several potential counterexamples have been proposed, the longest standing of which is a CW-complex constructed by Cohen and Dyer whose fundamental group is a quaternion group of order 32. We show that this CW-complex is homotopy equivalent to the presentation 2-complex of a presentation constructed by Mannan-Popiel, thus showing it is not a counterexample to the D2 problem. We next introduce an infinite family of presentations for a quaternion group of order $4n$ and prove that they achieve homotopy types which are not achieved by the presentations of Mannan-Popiel.
We introduce the Aging Multiverse, a framework for generating multiple plausible facial aging trajectories from a single image, each conditioned on external factors such as environment, health, and lifestyle. Unlike prior methods that model aging as a single deterministic path, our approach creates an aging tree that visualizes diverse futures. To enable this, we propose a training-free diffusion-based method that balances identity preservation, age accuracy, and condition control. Our key contributions include attention mixing to modulate editing strength and a Simulated Aging Regularization strategy to stabilize edits. Extensive experiments and user studies demonstrate state-of-the-art performance across identity preservation, aging realism, and conditional alignment, outperforming existing editing and age-progression models, which often fail to account for one or more of the editing criteria. By transforming aging into a multi-dimensional, controllable, and interpretable process, our approach opens up new creative and practical avenues in digital storytelling, health education, and personalized visualization.
The techniques of data-driven backmapping from coarse-grained (CG) to fine-grained (FG) representation often struggle with accuracy, unstable training, and physical realism, especially when applied to complex systems such as proteins. In this work, we introduce a novel iterative framework by using conditional Variational Autoencoders and graph-based neural networks, specifically designed to tackle the challenges associated with such large-scale biomolecules. Our method enables stepwise refinement from CG beads to full atomistic details. We outline the theory of iterative generative backmapping and demonstrate via numerical experiments the advantages of multistep schemes by applying them to proteins of vastly different structures with very coarse representations. This multistep approach not only improves the accuracy of reconstructions but also makes the training process more computationally efficient for proteins with ultra-CG representations.
Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups of odd order. By extending their methods, we formulate a new homotopy invariant on the class of 4-manifolds arising as doubles of 2-complexes with finite fundamental group. As an application we show that, for any $k \ge 2$, there exist a family of $k$ closed smooth 4-manifolds which are all stably diffeomorphic but are pairwise not homotopy equivalent.
We characterise the set of fundamental groups for which there exist $n$-manifolds that are $h$-cobordant (hence homotopy equivalent) but not simple homotopy equivalent, when $n$ is sufficiently large. In particular, for $n \ge 12$ even, we show that examples exist for any finitely presented group $G$ such that the involution on the Whitehead group $Wh(G)$ is nontrivial. This expands on previous work, where we constructed the first examples of even-dimensional manifolds that are homotopy equivalent but not simple homotopy equivalent. Our construction is based on doubles of thickenings, and a key ingredient of the proof is a formula for the Whitehead torsion of a homotopy equivalence between such manifolds.
Low-light image enhancement remains a persistent challenge in computer vision, where state-of-the-art models are often hampered by hardware constraints and computational inefficiency, particularly at high resolutions. While foundational architectures like transformers and diffusion models have advanced the field, their computational complexity limits their deployment on edge devices. We introduce ExpoMamba, a novel architecture that integrates a frequency-aware state-space model within a modified U-Net. ExpoMamba is designed to address mixed-exposure challenges by decoupling the modeling of amplitude (intensity) and phase (structure) in the frequency domain. This allows for targeted enhancement, making it highly effective for real-time applications, including downstream tasks like object detection and segmentation. Our experiments on six benchmark datasets show that ExpoMamba is up to 2-3x faster than competing models and achieves a 6.8\% PSNR improvement, establishing a new state-of-the-art in efficient, high-quality low-light enhancement. Source code: https://www.github.com/eashanadhikarla/ExpoMamba.
Despite recent strides made by AI in image processing, the issue of mixed exposure, pivotal in many real-world scenarios like surveillance and photography, remains inadequately addressed. Traditional image enhancement techniques and current transformer models are limited with primary focus on either overexposure or underexposure. To bridge this gap, we introduce the Unified-Exposure Guided Transformer (Unified-EGformer). Our proposed solution is built upon advanced transformer architectures, equipped with local pixel-level refinement and global refinement blocks for color correction and image-wide adjustments. We employ a guided attention mechanism to precisely identify exposure-compromised regions, ensuring its adaptability across various real-world conditions. U-EGformer, with a lightweight design featuring a memory footprint (peak memory) of only $\sim$1134 MB (0.1 Million parameters) and an inference time of 95 ms (9.61x faster than the average), is a viable choice for real-time applications such as surveillance and autonomous navigation. Additionally, our model is highly generalizable, requiring minimal fine-tuning to handle multiple tasks and datasets with a single architecture.
We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective $\mathbb{Z} G$-modules $P$ and $Q$. In particular, we determine when projective cancellation holds for a finite group with no exceptional binary polyhedral quotients. To do this, we prove a cancellation theorem based on a relative version of the Eichler condition. We then use a group theoretic argument to precisely determine the class of groups not covered by this result. The final classification is then obtained by applying results of Swan, Chen and Bley-Hofmann-Johnston which show failure of projective cancellation for certain groups.
Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to study various stable equivalence relations which we compare to stable diffeomorphism. Most importantly, we consider homotopy equivalence up to stabilisation with copies of $S^2 \times S^2$. As an application, we show that closed oriented homotopy equivalent 4-manifolds with abelian fundamental group are stably diffeomorphic. We give analogues of the cancellation theorems of Hambleton--Kreck for stable homeomorphism for homotopy up to stabilisations. Finally, we give a complete algebraic obstruction to the existence of closed smooth 4-manifolds which are homotopy equivalent but not simple homotopy equivalent up to connected sum with $S^2 \times S^2$.
The universal pairing for manifolds was defined and shown to lack positivity in dimension 4 by Freedman et al. We prove an analogous result for 2-complexes, and also show that the universal pairing does not detect the difference between simple homotopy equivalence and 3-deformations. The question of whether these two equivalence relations are different for 2-complexes is the subject of the Andrews-Curtis conjecture. We also discuss the universal pairing for higher-dimensional complexes and show that it is not positive.
AI applications are becoming increasingly visible to the general public. There is a notable gap between the theoretical assumptions researchers make about computer vision models and the reality those models face when deployed in the real world. One of the critical reasons for this gap is a challenging problem known as distribution shift. Distribution shifts tend to vary with complexity of the data, dataset size, and application type. In our paper, we discuss the identification of such a prominent gap, exploring the concept of distribution shift and its critical significance. We provide an in-depth overview of various types of distribution shifts, elucidate their distinctions, and explore techniques within the realm of the data-centric domain employed to address them. Distribution shifts can occur during every phase of the machine learning pipeline, from the data collection stage to the stage of training a machine learning model to the stage of final model deployment. As a result, it raises concerns about the overall robustness of the machine learning techniques for computer vision applications that are deployed publicly for consumers. Different deep learning models each tailored for specific type of data and tasks, architectural pipelines; highlighting how variations in data preprocessing and feature extraction can impact robustness., data augmentation strategies (e.g. geometric, synthetic and learning-based); demonstrating their role in enhancing model generalization, and training mechanisms (e.g. transfer learning, zero-shot) fall under the umbrella of data-centric methods. Each of these components form an integral part of the neural-network we analyze contributing uniquely to strengthening model robustness against distribution shifts. We compare and contrast numerous AI models that are built for mitigating shifts in hidden stratification and spurious correlations, ...
Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map, and the homotopy automorphisms of the manifold. We use this to construct the first examples, for all $n \ge 4$ even, of closed $n$-manifolds that are homotopy equivalent but not simple homotopy equivalent. In fact, we construct infinite families of manifolds that are all homotopy equivalent but pairwise not simple homotopy equivalent, and our examples can be taken to be smooth for $n \geq 6$. Our examples are homotopy equivalent to the product of a circle and a lens space. We analyse the simple homotopy manifold sets of these manifolds, determining exactly when they are trivial, finite, or infinite, and investigating their asymptotic behaviour. The proofs involve integral representation theory and class numbers of cyclotomic fields. We also compare with the relation of $h$-cobordism, and produce similar detailed quantitative descriptions of the manifold sets that arise.
Gaussian processes (GPs) are ubiquitous tools for modeling and predicting continuous processes in physical and engineering sciences. This is partly due to the fact that one may employ a Gaussian process as an interpolator while facilitating straightforward uncertainty quantification at other locations. In addition to training data, it is sometimes the case that available information is not in the form of a finite collection of points. For example, boundary value problems contain information on the boundary of a domain, or underlying physics lead to known behavior on an entire uncountable subset of the domain of interest. While an approximation to such known information may be obtained via pseudo-training points in the known subset, such a procedure is ad hoc with little guidance on the number of points to use, nor the behavior as the number of pseudo-observations grows large. We propose and construct Gaussian processes that unify, via reproducing kernel Hilbert space, the typical finite training data case with the case of having uncountable information by exploiting the equivalence of conditional expectation and orthogonal projections in Hilbert space. We show existence of the proposed process and establish that it is the limit of a conventional GP conditioned on an increasing number of training points. We illustrate the flexibility and advantages of our proposed approach via numerical experiments.
For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental group $G$ and with Euler characteristic exceeding the minimal value over $G$ by $k$. This resolves Problem D5 in the 1979 Problem List of C. T. C. Wall. We also explore a number of generalisations and present a potential application to the topology of closed smooth 4-manifolds.
We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and Bauer, this applies in the case of smooth oriented 4-manifolds whose fundamental group is a finite subgroup of SO(3). An important class of examples are elliptic surfaces with finite fundamental group.