Showing 1–50 of 174 results for author: Cox, S

Approximation properties of torsion classes

Authors: Sean Cox, Alejandro Poveda, Jan Trlifaj

Abstract: We clarify some results of Bagaria and Magidor \cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the Maximum Deconstructibility principle introduced in \cite{Cox_MaxDecon} requires large cardinals; it sits, implication-wise, between Vopěnka's Principle and the existence of an $ω_1$-strongly compact cardinal. (2) While deconstr… ▽ More We clarify some results of Bagaria and Magidor \cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the Maximum Deconstructibility principle introduced in \cite{Cox_MaxDecon} requires large cardinals; it sits, implication-wise, between Vopěnka's Principle and the existence of an $ω_1$-strongly compact cardinal. (2) While deconstructibility of a class of modules always implies the precovering property by \cite{MR2822215}, the concepts are (consistently) non-equivalent, even for classes of abelian groups closed under extensions, homomorphic images, and colimits. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Approximation Theory and Elementary Submodels

Authors: Sean Cox

Abstract: \emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules are used to approximate arbitrary modules in classical homological algebra. We use set-theoretic \emph{elementary submodel arguments} to give new, short proofs of well-known theorems in approximation theory, sometimes with stronger results. \emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules are used to approximate arbitrary modules in classical homological algebra. We use set-theoretic \emph{elementary submodel arguments} to give new, short proofs of well-known theorems in approximation theory, sometimes with stronger results. △ Less

Submitted 11 June, 2024; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: Minor corrections

MSC Class: 16E30; 16D40; 03E75; 16D90; 18G25; 16B70

Incorporating Different Verbal Cues to Improve Text-Based Computer-Delivered Health Messaging

Authors: Samuel Rhys Cox

Abstract: The ubiquity of smartphones has led to an increase in on demand healthcare being supplied. For example, people can share their illness-related experiences with others similar to themselves, and healthcare experts can offer advice for better treatment and care for remediable, terminal and mental illnesses. As well as this human-to-human communication, there has been an increased use of human-to-com… ▽ More The ubiquity of smartphones has led to an increase in on demand healthcare being supplied. For example, people can share their illness-related experiences with others similar to themselves, and healthcare experts can offer advice for better treatment and care for remediable, terminal and mental illnesses. As well as this human-to-human communication, there has been an increased use of human-to-computer digital health messaging, such as chatbots. These can prove advantageous as they offer synchronous and anonymous feedback without the need for a human conversational partner. However, there are many subtleties involved in human conversation that a computer agent may not properly exhibit. For example, there are various conversational styles, etiquettes, politeness strategies or empathic responses that need to be chosen appropriately for the conversation. Encouragingly, computers are social actors (CASA) posits that people apply the same social norms to computers as they would do to people. On from this, previous studies have focused on applying conversational strategies to computer agents to make them embody more favourable human characteristics. However, if a computer agent fails in this regard it can lead to negative reactions from users. Therefore, in this dissertation we describe a series of studies we carried out to lead to more effective human-to-computer digital health messaging. In our first study, we use the crowd [...] Our second study investigates the effect of a health chatbot's conversational style [...] In our final study, we investigate the format used by a chatbot when [...] In summary, we have researched how to create more effective digital health interventions starting from generating health messages, to choosing an appropriate formality of messaging, and finally to formatting messages which reference a user's previous utterances. △ Less

Submitted 21 April, 2024; originally announced April 2024.

Comments: PhD thesis - National University of Singapore, November 2023

Practical considerations for high-fidelity wavefront sha** experiments

Authors: Bahareh Mastiani, Daniël W. S. Cox, Ivo M. Vellekoop

Abstract: Wavefront sha** is a technique for directing light through turbid media. The theoretical aspects of wavefront sha** are well understood, and under near-ideal experimental conditions, accurate predictions for the expected signal enhancement can be given. In practice, however, there are many experimental factors that negatively affect the outcome of the experiment. Here, we present a comprehensi… ▽ More Wavefront sha** is a technique for directing light through turbid media. The theoretical aspects of wavefront sha** are well understood, and under near-ideal experimental conditions, accurate predictions for the expected signal enhancement can be given. In practice, however, there are many experimental factors that negatively affect the outcome of the experiment. Here, we present a comprehensive overview of these experimental factors, including the effect of sample scattering properties, noise, and response of the spatial light modulator. We present simple means to identify experimental imperfections and to minimize their negative effect on the outcome of the experiment. This paper is accompanied by Python code for automatically quantifying experimental problems using the OpenWFS framework for running and simulating wavefront sha** experiments. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 23 pages, 11 figures, submitted for publication in Journal of Physics Photonics

Maximum Likelihood Degrees of Brownian Motion Tree Models: Star Trees and Root Invariance

Authors: Jane Ivy Coons, Shelby Cox, Aida Maraj, Ikenna Nometa

Abstract: A Brownian motion tree (BMT) model is a Gaussian model whose associated set of covariance matrices is linearly constrained according to common ancestry in a phylogenetic tree. We study the complexity of inferring the maximum likelihood (ML) estimator for a BMT model by computing its ML-degree. Our main result is that the ML-degree of the BMT model on a star tree with $n + 1$ leaves is… ▽ More A Brownian motion tree (BMT) model is a Gaussian model whose associated set of covariance matrices is linearly constrained according to common ancestry in a phylogenetic tree. We study the complexity of inferring the maximum likelihood (ML) estimator for a BMT model by computing its ML-degree. Our main result is that the ML-degree of the BMT model on a star tree with $n + 1$ leaves is $2^{n+1}-2n-3$, which was previously conjectured by Améndola and Zwiernik. We also prove that the ML-degree of a BMT model is independent of the choice of the root. The proofs rely on the toric geometry of concentration matrices in a BMT model. Toward this end, we produce a combinatorial formula for the determinant of the concentration matrix of a BMT model, which generalizes the Cayley-Prüfer theorem to complete graphs with weights given by a tree. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 19 pages, 3 figures. Comments welcome!

MSC Class: 62R01; 14M25; 62F10

Homaloidal Polynomials and Gaussian Models of Maximum Likelihood Degree One

Authors: Shelby Cox, Pratik Misra, Pardis Semnani

Abstract: We study the Gaussian statistical models whose log-likelihood function has a unique complex critical point, i.e., has maximum likelihood degree one. We exploit the connection developed by Améndola et. al. between the models having maximum likelihood degree one and homaloidal polynomials. We study the spanning tree generating function of a graph and show this polynomial is homaloidal when the graph… ▽ More We study the Gaussian statistical models whose log-likelihood function has a unique complex critical point, i.e., has maximum likelihood degree one. We exploit the connection developed by Améndola et. al. between the models having maximum likelihood degree one and homaloidal polynomials. We study the spanning tree generating function of a graph and show this polynomial is homaloidal when the graph is chordal. When the graph is a cycle on $n$ vertices, $n \geq 4$, we prove the polynomial is not homaloidal, and show that the maximum likelihood degree of the resulting model is the $n$th Eulerian number. These results support our conjecture that the spanning tree generating function is a homaloidal polynomial if and only if the graph is chordal. We also provide an algebraic formulation for the defining equations of these models. Using existing results, we provide a computational study on constructing new families of homaloidal polynomials. In the end, we analyze the symmetric determinantal representation of such polynomials and provide an upper bound on the size of the matrices involved. △ Less

Submitted 12 February, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: 24 pages, 2 figures; updated acknowledgements

MSC Class: 62R01; 62H22; 14E05

A classical density functional theory for solvation across length scales

Authors: Anna T. Bui, Stephen J. Cox

Abstract: A central aim of multiscale modeling is to use results from the Schrödinger Equation to predict phenomenology on length scales that far exceed those of typical molecular correlations. In this work, we present a new approach rooted in classical density functional theory (cDFT) that allows us to accurately describe the solvation of apolar solutes across length scales. Our approach builds on the Lum,… ▽ More A central aim of multiscale modeling is to use results from the Schrödinger Equation to predict phenomenology on length scales that far exceed those of typical molecular correlations. In this work, we present a new approach rooted in classical density functional theory (cDFT) that allows us to accurately describe the solvation of apolar solutes across length scales. Our approach builds on the Lum, Chandler and Weeks (LCW) theory of hydrophobicity [J. Phys. Chem. B 103, 4570 (1999)] by constructing a free energy functional that uses a slowly-varying component of the density field as a reference. From a practical viewpoint, the theory we present is numerically simpler and generalizes to solutes with soft-core repulsion more easily than LCW theory. Furthermore, by assessing the local compressibility and its critical scaling behavior, we demonstrate that our LCW-style cDFT approach contains the physics of critical drying, which has been emphasized as an essential aspect of hydrophobicity by recent theories. As our approach is parameterized on the two-body direct correlation function of the uniform fluid and the liquid-vapor surface tension, it straightforwardly captures the temperature dependence of solvation. Moreover, we use our theory to describe solvation at a first-principles level, on length scales that vastly exceed what is accessible to molecular simulations. △ Less

Submitted 17 June, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

Comments: Main: 10 pages, 4 figures. SI: 27 pages, 13 figures

The Use of Multiple Conversational Agent Interlocutors in Learning

Authors: Samuel Rhys Cox

Abstract: With growing capabilities of large language models (LLMs) comes growing affordances for human-like and context-aware conversational partners. On from this, some recent work has investigated the use of LLMs to simulate multiple conversational partners, such as to assist users with problem solving or to simulate an environment populated entirely with LLMs. Beyond this, we are interested in discussin… ▽ More With growing capabilities of large language models (LLMs) comes growing affordances for human-like and context-aware conversational partners. On from this, some recent work has investigated the use of LLMs to simulate multiple conversational partners, such as to assist users with problem solving or to simulate an environment populated entirely with LLMs. Beyond this, we are interested in discussing and exploring the use of LLMs to simulate multiple personas to assist and augment users in educational settings that could benefit from multiple interlocutors. We discuss prior work that uses LLMs to simulate multiple personas sharing the same environment, and discuss example scenarios where multiple conversational agent partners could be used in education. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 3 pages; Workshop paper presented at Inter.HAI'23 - the first workshop on Interdisciplinary Approaches in Human-Agent Interaction, held in conjunction with the International Conference on Human-Agent Interaction, December 4th, 2023

Effects of liquid fraction and contact angle on structure and coarsening in two-dimensional foams

Authors: Jacob Morgan, Simon Cox

Abstract: Aqueous foams coarsen with time due to gas diffusion through the liquid. The mean bubble size grows, and small bubbles vanish. However, coarsening is little understood for foams with an intermediate liquid content, particularly in the presence of surfactant-induced attractive forces between the bubbles, measured by the contact angle. Rigorous bubble growth laws have yet to be developed, and the ev… ▽ More Aqueous foams coarsen with time due to gas diffusion through the liquid. The mean bubble size grows, and small bubbles vanish. However, coarsening is little understood for foams with an intermediate liquid content, particularly in the presence of surfactant-induced attractive forces between the bubbles, measured by the contact angle. Rigorous bubble growth laws have yet to be developed, and the evolution of bulk foam properties is unclear. We present a quasi-static numerical model for coarsening in two-dimensional wet foams, focusing on growth laws and related bubble properties. The deformation of bubbles is modelled using a finite-element approach, and the gas flow through both films and Plateau borders is approximated. We give results for disordered two-dimensional wet foams with 256 to 1024 bubbles, at liquid fractions from $2\%$ to beyond the zero-contact-angle jamming transition, and with contact angles up to $10^\circ$. Simple analytical models are developed to aid interpretation. We find that nonzero contact angle causes a proxy of the initial coarsening rate to plateau at large liquid fractions, and that the individual bubble growth rates are closely related to their effective number of neighbours. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 21 pages, 19 figures

PaperQA: Retrieval-Augmented Generative Agent for Scientific Research

Authors: Jakub Lála, Odhran O'Donoghue, Aleksandar Shtedritski, Sam Cox, Samuel G. Rodriques, Andrew D. White

Abstract: Large Language Models (LLMs) generalize well across language tasks, but suffer from hallucinations and uninterpretability, making it difficult to assess their accuracy without ground-truth. Retrieval-Augmented Generation (RAG) models have been proposed to reduce hallucinations and provide provenance for how an answer was generated. Applying such models to the scientific literature may enable large… ▽ More Large Language Models (LLMs) generalize well across language tasks, but suffer from hallucinations and uninterpretability, making it difficult to assess their accuracy without ground-truth. Retrieval-Augmented Generation (RAG) models have been proposed to reduce hallucinations and provide provenance for how an answer was generated. Applying such models to the scientific literature may enable large-scale, systematic processing of scientific knowledge. We present PaperQA, a RAG agent for answering questions over the scientific literature. PaperQA is an agent that performs information retrieval across full-text scientific articles, assesses the relevance of sources and passages, and uses RAG to provide answers. Viewing this agent as a question answering model, we find it exceeds performance of existing LLMs and LLM agents on current science QA benchmarks. To push the field closer to how humans perform research on scientific literature, we also introduce LitQA, a more complex benchmark that requires retrieval and synthesis of information from full-text scientific papers across the literature. Finally, we demonstrate PaperQA's matches expert human researchers on LitQA. △ Less

Submitted 14 December, 2023; v1 submitted 8 December, 2023; originally announced December 2023.

Sparse systems of functions and quasi-analytic classes

Authors: Marco Aldi, Jeffrey Buffkin II, Cody Cline, Sean Cox

Abstract: We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH) holds, \textbf{all} Denjoy-Carleman classes carry sparse systems; but if CH fails, a Denjoy-Carleman class carries a sparse system if and only if it is not quasi-… ▽ More We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH) holds, \textbf{all} Denjoy-Carleman classes carry sparse systems; but if CH fails, a Denjoy-Carleman class carries a sparse system if and only if it is not quasi-analytic. As corollaries, we extend results of \cite{MR3552748} and \cite{CodyCoxLee} about non-existence of "anonymous predictors" for real functions. △ Less

Submitted 5 December, 2023; originally announced December 2023.

MSC Class: 03

Model-based aberration corrected microscopy inside a glass tube

Authors: D. W. S. Cox, T. Knop, I. M. Vellekoop

Abstract: Microscope objectives achieve near diffraction-limited performance only when used under the conditions they are designed for. In non-standard geometries, such as thick cover slips or curved surfaces, severe aberrations arise, inevitably impairing high-resolution imaging. Correcting such large aberrations using standard adaptive optics can be challenging: existing solutions are either not suited fo… ▽ More Microscope objectives achieve near diffraction-limited performance only when used under the conditions they are designed for. In non-standard geometries, such as thick cover slips or curved surfaces, severe aberrations arise, inevitably impairing high-resolution imaging. Correcting such large aberrations using standard adaptive optics can be challenging: existing solutions are either not suited for strong aberrations, or require extensive feedback measurements, consequently taking a significant portion of the photon budget. We demonstrate that it is possible to pre-compute the corrections needed for high-resolution imaging inside a glass tube based on a priori information only. Our ray-tracing based method achieved over an order of magnitude increase in image contrast without the need for a feedback signal. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 9 pages, 3 figures, 1 table. Submitted to Optics Express

A method for quantifying sectoral optic disc pallor in fundus photographs and its association with peripapillary RNFL thickness

Authors: Samuel Gibbon, Graciela Muniz-Terrera, Fabian SL Yii, Charlene Hamid, Simon Cox, Ian JC Maccormick, Andrew J Tatham, Craig Ritchie, Emanuele Trucco, Baljean Dhillon, Thomas J MacGillivray

Abstract: Purpose: To develop an automatic method of quantifying optic disc pallor in fundus photographs and determine associations with peripapillary retinal nerve fibre layer (pRNFL) thickness. Methods: We used deep learning to segment the optic disc, fovea, and vessels in fundus photographs, and measured pallor. We assessed the relationship between pallor and pRNFL thickness derived from optical cohere… ▽ More Purpose: To develop an automatic method of quantifying optic disc pallor in fundus photographs and determine associations with peripapillary retinal nerve fibre layer (pRNFL) thickness. Methods: We used deep learning to segment the optic disc, fovea, and vessels in fundus photographs, and measured pallor. We assessed the relationship between pallor and pRNFL thickness derived from optical coherence tomography scans in 118 participants. Separately, we used images diagnosed by clinical inspection as pale (N=45) and assessed how measurements compared to healthy controls (N=46). We also developed automatic rejection thresholds, and tested the software for robustness to camera type, image format, and resolution. Results: We developed software that automatically quantified disc pallor across several zones in fundus photographs. Pallor was associated with pRNFL thickness globally (\b{eta} = -9.81 (SE = 3.16), p < 0.05), in the temporal inferior zone (\b{eta} = -29.78 (SE = 8.32), p < 0.01), with the nasal/temporal ratio (\b{eta} = 0.88 (SE = 0.34), p < 0.05), and in the whole disc (\b{eta} = -8.22 (SE = 2.92), p < 0.05). Furthermore, pallor was significantly higher in the patient group. Lastly, we demonstrate the analysis to be robust to camera type, image format, and resolution. Conclusions: We developed software that automatically locates and quantifies disc pallor in fundus photographs and found associations between pallor measurements and pRNFL thickness. Translational relevance: We think our method will be useful for the identification, monitoring and progression of diseases characterized by disc pallor/optic atrophy, including glaucoma, compression, and potentially in neurodegenerative disorders. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 44 pages, 20 figures, 7 tables, submitted

MSC Class: cs.CV

The tropical polytope is the set of all weighted tropical Fermat-Weber points

Authors: Shelby Cox, Mark Curiel

Abstract: Let $v_1,\ldots,v_m$ be points in $\mathbb{R}^n$, and let $w_1,\ldots,w_m$ be positive real weights. The weighted Fermat-Weber points are those points $z$ which minimize $\sum w_i d(v_i, z)$. Following Comăneci and Joswig, we study the weighted Fermat-Weber points with respect to an asymmetric tropical metric. In the unweighted case (when $w_1 = \cdots = w_m = 1$), Comăneci and Joswig showed that… ▽ More Let $v_1,\ldots,v_m$ be points in $\mathbb{R}^n$, and let $w_1,\ldots,w_m$ be positive real weights. The weighted Fermat-Weber points are those points $z$ which minimize $\sum w_i d(v_i, z)$. Following Comăneci and Joswig, we study the weighted Fermat-Weber points with respect to an asymmetric tropical metric. In the unweighted case (when $w_1 = \cdots = w_m = 1$), Comăneci and Joswig showed that the set of Fermat-Weber points is the "central" cell of the tropical convex hull of $v_1,\ldots,v_m$. We show that for any fixed data points $v_1, \ldots, v_m$, as the weights $w_i$ vary, the set of all Fermat-Weber points is the entire tropical convex hull of the $v_i$. △ Less

Submitted 4 October, 2023; originally announced October 2023.

The use of deception in dementia-care robots: Should robots tell "white lies" to limit emotional distress?

Authors: Samuel Rhys Cox, Grace Cheong, Wei Tsang Ooi

Abstract: With projections of ageing populations and increasing rates of dementia, there is need for professional caregivers. Assistive robots have been proposed as a solution to this, as they can assist people both physically and socially. However, caregivers often need to use acts of deception (such as misdirection or white lies) in order to ensure necessary care is provided while limiting negative impact… ▽ More With projections of ageing populations and increasing rates of dementia, there is need for professional caregivers. Assistive robots have been proposed as a solution to this, as they can assist people both physically and socially. However, caregivers often need to use acts of deception (such as misdirection or white lies) in order to ensure necessary care is provided while limiting negative impacts on the cared-for such as emotional distress or loss of dignity. We discuss such use of deception, and contextualise their use within robotics. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 3 pages, to be published in Proceedings of the 11th International Conference on Human-Agent Interaction (ACM HAI'23)

Prompting a Large Language Model to Generate Diverse Motivational Messages: A Comparison with Human-Written Messages

Authors: Samuel Rhys Cox, Ashraf Abdul, Wei Tsang Ooi

Abstract: Large language models (LLMs) are increasingly capable and prevalent, and can be used to produce creative content. The quality of content is influenced by the prompt used, with more specific prompts that incorporate examples generally producing better results. On from this, it could be seen that using instructions written for crowdsourcing tasks (that are specific and include examples to guide work… ▽ More Large language models (LLMs) are increasingly capable and prevalent, and can be used to produce creative content. The quality of content is influenced by the prompt used, with more specific prompts that incorporate examples generally producing better results. On from this, it could be seen that using instructions written for crowdsourcing tasks (that are specific and include examples to guide workers) could prove effective LLM prompts. To explore this, we used a previous crowdsourcing pipeline that gave examples to people to help them generate a collectively diverse corpus of motivational messages. We then used this same pipeline to generate messages using GPT-4, and compared the collective diversity of messages from: (1) crowd-writers, (2) GPT-4 using the pipeline, and (3 & 4) two baseline GPT-4 prompts. We found that the LLM prompts using the crowdsourcing pipeline caused GPT-4 to produce more diverse messages than the two baseline prompts. We also discuss implications from messages generated by both human writers and LLMs. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Comments: 3 pages, 1 figure, 1 table, to be published in Proceedings of the 11th International Conference on Human-Agent Interaction (ACM HAI'23)

Comparing How a Chatbot References User Utterances from Previous Chatting Sessions: An Investigation of Users' Privacy Concerns and Perceptions

Authors: Samuel Rhys Cox, Yi-Chieh Lee, Wei Tsang Ooi

Abstract: Chatbots are capable of remembering and referencing previous conversations, but does this enhance user engagement or infringe on privacy? To explore this trade-off, we investigated the format of how a chatbot references previous conversations with a user and its effects on a user's perceptions and privacy concerns. In a three-week longitudinal between-subjects study, 169 participants talked about… ▽ More Chatbots are capable of remembering and referencing previous conversations, but does this enhance user engagement or infringe on privacy? To explore this trade-off, we investigated the format of how a chatbot references previous conversations with a user and its effects on a user's perceptions and privacy concerns. In a three-week longitudinal between-subjects study, 169 participants talked about their dental flossing habits to a chatbot that either, (1-None): did not explicitly reference previous user utterances, (2-Verbatim): referenced previous utterances verbatim, or (3-Paraphrase): used paraphrases to reference previous utterances. Participants perceived Verbatim and Paraphrase chatbots as more intelligent and engaging. However, the Verbatim chatbot also raised privacy concerns with participants. To gain insights as to why people prefer certain conditions or had privacy concerns, we conducted semi-structured interviews with 15 participants. We discuss implications from our findings that can help designers choose an appropriate format to reference previous user utterances and inform in the design of longitudinal dialogue scripting. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 10 pages, 3 figures, to be published in Proceedings of the 11th International Conference on Human-Agent Interaction (ACM HAI'23)

The limit of macroscopic homogeneous ice nucleation at the nanoscale

Authors: John A. Hayton, Michael B. Davies, Thomas F. Whale, Angelos Michaelides, Stephen J. Cox

Abstract: Nucleation in small volumes of water has garnered renewed interest due to the relevance of pore condensation and freezing under conditions of low partial pressures of water, such as in the upper troposphere. Molecular simulations can in principle provide insight on this process at the molecular scale that is challenging to achieve experimentally. However, there are discrepancies in the literature… ▽ More Nucleation in small volumes of water has garnered renewed interest due to the relevance of pore condensation and freezing under conditions of low partial pressures of water, such as in the upper troposphere. Molecular simulations can in principle provide insight on this process at the molecular scale that is challenging to achieve experimentally. However, there are discrepancies in the literature as to whether the rate in confined systems is enhanced or suppressed relative to bulk water at the same temperature and pressure. In this study, we investigate the extent to which the size of the critical nucleus and the rate at which it grows in thin films of water are affected by the thickness of the film. Our results suggest that nucleation remains bulk-like in films that are barely large enough accommodate a critical nucleus. This conclusion seems robust to the presence of physical confining boundaries. We also discuss the difficulties in unambiguously determining homogeneous nucleation rates in nanoscale systems, owing to the challenges in defining the volume. Our results suggest any impact on a film's thickness on the rate is largely inconsequential for present day experiments. △ Less

Submitted 22 June, 2023; originally announced June 2023.

Comments: 26 pages, 6 figures in main script, 6 in ESI, submitted to Faraday Discussions for the "Water at interfaces Faraday Discussion" in September 2023

14 Examples of How LLMs Can Transform Materials Science and Chemistry: A Reflection on a Large Language Model Hackathon

Authors: Kevin Maik Jablonka, Qianxiang Ai, Alexander Al-Feghali, Shruti Badhwar, Joshua D. Bocarsly, Andres M Bran, Stefan Bringuier, L. Catherine Brinson, Kamal Choudhary, Defne Circi, Sam Cox, Wibe A. de Jong, Matthew L. Evans, Nicolas Gastellu, Jerome Genzling, María Victoria Gil, Ankur K. Gupta, Zhi Hong, Alishba Imran, Sabine Kruschwitz, Anne Labarre, Jakub Lála, Tao Liu, Steven Ma, Sauradeep Majumdar , et al. (28 additional authors not shown)

Abstract: Large-language models (LLMs) such as GPT-4 caught the interest of many scientists. Recent studies suggested that these models could be useful in chemistry and materials science. To explore these possibilities, we organized a hackathon. This article chronicles the projects built as part of this hackathon. Participants employed LLMs for various applications, including predicting properties of mole… ▽ More Large-language models (LLMs) such as GPT-4 caught the interest of many scientists. Recent studies suggested that these models could be useful in chemistry and materials science. To explore these possibilities, we organized a hackathon. This article chronicles the projects built as part of this hackathon. Participants employed LLMs for various applications, including predicting properties of molecules and materials, designing novel interfaces for tools, extracting knowledge from unstructured data, and develo** new educational applications. The diverse topics and the fact that working prototypes could be generated in less than two days highlight that LLMs will profoundly impact the future of our fields. The rich collection of ideas and projects also indicates that the applications of LLMs are not limited to materials science and chemistry but offer potential benefits to a wide range of scientific disciplines. △ Less

Submitted 14 July, 2023; v1 submitted 9 June, 2023; originally announced June 2023.

ChemCrow: Augmenting large-language models with chemistry tools

Authors: Andres M Bran, Sam Cox, Oliver Schilter, Carlo Baldassari, Andrew D White, Philippe Schwaller

Abstract: Over the last decades, excellent computational chemistry tools have been developed. Integrating them into a single platform with enhanced accessibility could help reaching their full potential by overcoming steep learning curves. Recently, large-language models (LLMs) have shown strong performance in tasks across domains, but struggle with chemistry-related problems. Moreover, these models lack ac… ▽ More Over the last decades, excellent computational chemistry tools have been developed. Integrating them into a single platform with enhanced accessibility could help reaching their full potential by overcoming steep learning curves. Recently, large-language models (LLMs) have shown strong performance in tasks across domains, but struggle with chemistry-related problems. Moreover, these models lack access to external knowledge sources, limiting their usefulness in scientific applications. In this study, we introduce ChemCrow, an LLM chemistry agent designed to accomplish tasks across organic synthesis, drug discovery, and materials design. By integrating 18 expert-designed tools, ChemCrow augments the LLM performance in chemistry, and new capabilities emerge. Our agent autonomously planned and executed the syntheses of an insect repellent, three organocatalysts, and guided the discovery of a novel chromophore. Our evaluation, including both LLM and expert assessments, demonstrates ChemCrow's effectiveness in automating a diverse set of chemical tasks. Surprisingly, we find that GPT-4 as an evaluator cannot distinguish between clearly wrong GPT-4 completions and Chemcrow's performance. Our work not only aids expert chemists and lowers barriers for non-experts, but also fosters scientific advancement by bridging the gap between experimental and computational chemistry. △ Less

Submitted 2 October, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: Experimental results

Infinite-dimensional Wishart-processes

Authors: Sonja Cox, Christa Cuchiero, Asma Khedher

Abstract: We introduce and analyse infinite dimensional Wishart processes taking values in the cone $S^+_1(H)$ of positive self-adjoint trace class operators on a separable real Hilbert space $H$. Our main result gives necessary and sufficient conditions for their existence, showing that these processes are necessarily of fixed finite rank almost surely, but they are not confined to a finite-dimensional sub… ▽ More We introduce and analyse infinite dimensional Wishart processes taking values in the cone $S^+_1(H)$ of positive self-adjoint trace class operators on a separable real Hilbert space $H$. Our main result gives necessary and sufficient conditions for their existence, showing that these processes are necessarily of fixed finite rank almost surely, but they are not confined to a finite-dimensional subspace of $S^+_1(H)$. By providing explicit solutions to operator valued Riccati equations, we prove that their Fourier-Laplace transform is exponentially affine in the initial value. As a corollary, we obtain uniqueness in law as well as the Markov property. We actually show the explicit form of the Fourier-Laplace transform for a wide parameter regime, thereby also extending what is known in the finite-dimensional setting. Finally, under minor conditions on the parameters we prove the Feller property with respect to a slight refinement of the weak-$*$-topology on $S_1^+(H)$. Applications of our results range from tractable infinite-dimensional covariance modelling to the analysis of the limit spectrum of large random matrices. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Comments: 43 pages

Liquid solution centrifugation for safe, scalable, and efficient isotope separation

Authors: Joseph F. Wild, Heng Chen, Keyue Liang, Jiayu Liu, Stephen E. Cox, Alex N. Halliday, Yuan Yang

Abstract: A general method of separating isotopes by centrifuging dissolved chemical compounds in a liquid solution is introduced. This technique can be applied to almost all elements and leads to large separation factors. The method has been demonstrated in several isotopic systems including Ca, Mo, O, and Li with single-stage selectivities of 1.046-1.067 per unit mass difference (e.g., 1.434 in 40Ca/48Ca,… ▽ More A general method of separating isotopes by centrifuging dissolved chemical compounds in a liquid solution is introduced. This technique can be applied to almost all elements and leads to large separation factors. The method has been demonstrated in several isotopic systems including Ca, Mo, O, and Li with single-stage selectivities of 1.046-1.067 per unit mass difference (e.g., 1.434 in 40Ca/48Ca, 1.134 in 16O/18O), which are beyond the capabilities of various conventional methods of isotope enrichment. Equations are derived to model the process and the results agree with those of the experiments. The scalability of the technique has been demonstrated by performing a three-stage enrichment of 48Ca, and the scalability is more broadly supported through analogies to the gas centrifuge, whereby countercurrent centrifugation can further multiply the separation factor by 5-10 times per stage in a continuous process. Optimal centrifuge conditions and solutions can achieve both high-throughput and highly efficient isotope separation. △ Less

Submitted 24 March, 2023; originally announced March 2023.

The W3C Data Catalog Vocabulary, Version 2: Rationale, Design Principles, and Uptake

Authors: Riccardo Albertoni, David Browning, Simon Cox, Alejandra N. Gonzalez-Beltran, Andrea Perego, Peter Winstanley

Abstract: DCAT is an RDF vocabulary designed to facilitate interoperability between data catalogs published on the Web. Since its first release in 2014 as a W3C Recommendation, DCAT has seen a wide adoption across communities and domains, particularly in conjunction with implementing the FAIR data principles (for findable, accessible, interoperable and reusable data). These implementation experiences, besid… ▽ More DCAT is an RDF vocabulary designed to facilitate interoperability between data catalogs published on the Web. Since its first release in 2014 as a W3C Recommendation, DCAT has seen a wide adoption across communities and domains, particularly in conjunction with implementing the FAIR data principles (for findable, accessible, interoperable and reusable data). These implementation experiences, besides demonstrating the fitness of DCAT to meet its intended purpose, helped identify existing issues and gaps. Moreover, over the last few years, additional requirements emerged in data catalogs, given the increasing practice of documenting not only datasets but also data services and APIs. This paper illustrates the new version of DCAT, explaining the rationale behind its main revisions and extensions, based on the collected use cases and requirements, and outlines the issues yet to be addressed in future versions of DCAT. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Remembering the work of Phillip L. Geissler: A coda to his scientific trajectory

Authors: Gregory R. Bowman, Stephen J. Cox, Christoph Dellago, Kateri H. DuBay, Joel D. Eaves, Daniel A. Fletcher, Layne B. Frechette, Michael Grünwald, Katherine Klymko, JiYeon Ku, Ahmad K. Omar, Eran Rabani, David R. Reichman, Julia R. Rogers, Andreana M. Rosnik, Grant M. Rotskoff, Anna R. Schneider, Nadine Schwierz, David A. Sivak, Suriyanarayanan Vaikuntanathan, Stephen Whitelam, Asaph Widmer-Cooper

Abstract: Phillip L. Geissler made important contributions to the statistical mechanics of biological polymers, heterogeneous materials, and chemical dynamics in aqueous environments. He devised analytical and computational methods that revealed the underlying organization of complex systems at the frontiers of biology, chemistry, and materials science. In this retrospective, we celebrate his work at these… ▽ More Phillip L. Geissler made important contributions to the statistical mechanics of biological polymers, heterogeneous materials, and chemical dynamics in aqueous environments. He devised analytical and computational methods that revealed the underlying organization of complex systems at the frontiers of biology, chemistry, and materials science. In this retrospective, we celebrate his work at these frontiers. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Journal ref: Ann. Rev. Phys. Chem. 74, 11.1-11.27 (2023)

Classifying Tree Topologies along Tropical Line Segments

Authors: Shelby Cox

Abstract: The space of phylogenetic trees arises naturally in tropical geometry as the tropical Grassmannian. Tropical geometry therefore suggests a natural notion of a tropical path between two trees, given by a tropical line segment in the tropical Grassmannian. It was previously conjectured that tree topologies along such a segment change by a combinatorial operation known as Nearest Neighbor Interchange… ▽ More The space of phylogenetic trees arises naturally in tropical geometry as the tropical Grassmannian. Tropical geometry therefore suggests a natural notion of a tropical path between two trees, given by a tropical line segment in the tropical Grassmannian. It was previously conjectured that tree topologies along such a segment change by a combinatorial operation known as Nearest Neighbor Interchange (NNI). We provide counterexamples to this conjecture, but prove that changes in tree topologies along the tropical line segment are either NNI moves or "four clade rearrangement" moves for generic trees. In addition, we show that the number of NNI moves occurring along the tropical line segment can be as large as $n^2$, but the average number of moves when the two endpoint trees are chosen at random is $O(n (\log n)^4)$. This is in contrast with $O(n \log n)$, the average number of NNI moves needed to transform one tree into another. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 20 pages, 8 figures

MSC Class: 14T15 (Primary); 05C05; 58D17; 14T20 (Secondary)

Journal ref: Alg. Stat. 14 (2023) 71-90

Evaluating the sustainability of a de facto harvest strategy for British Columbia's Spot Prawn (Pandalus platyceros) fishery in the presence of environmental drivers of recruitment and hyperstable catch rates

Authors: Steven P. Rossi, Sean P. Cox, Samuel D. N. Johnson, Ashleen J. Benson

Abstract: The Spot Prawn trap fishery off the west coast of British Columbia (BC) is managed using a fixed escapement strategy that aims to prevent recruitment overfishing while maximizing expected long-term yield by closing the fishery when the catch rate of spawners, projected to the following spring, drops below 1.7 spawners per trap (the de jure rule). We develop a management strategy evaluation framewo… ▽ More The Spot Prawn trap fishery off the west coast of British Columbia (BC) is managed using a fixed escapement strategy that aims to prevent recruitment overfishing while maximizing expected long-term yield by closing the fishery when the catch rate of spawners, projected to the following spring, drops below 1.7 spawners per trap (the de jure rule). We develop a management strategy evaluation framework for BC's Spot Prawn fishery that examines the expected performance of the management procedure implemented in practice (the de facto rule), which was significantly more conservative than the de jure rule, usually closing the fishery when spawner catch rates were at least twice as high as specified by the de jure rule. Simulations indicate that the de facto spawner index rule using average empirical March 31st targets from 2000 to 2019 maintains most stocks near or above 0.8 BMSY with or without accounting for environmental effects and/or increasing future SST on recruitment. Abundance indices were found to be strongly hyperstable, with fishing efficiency 1.5 to 3.0 times higher under low biomass than high biomass. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 86 pages, 12 figures, 33 appendix figures

Crumbling Crystals: On the Dissolution Mechanism of NaCl in Water

Authors: Niamh O'Neill, Christoph Schran, Stephen J. Cox, Angelos Michaelides

Abstract: Life on Earth depends upon the dissolution of ionic salts in water, particularly NaCl. However, an atomistic scale understanding of the process remains elusive. Simulations lend themselves conveniently to studying dissolution since they provide the spatio-temporal resolution that can be difficult to obtain experimentally. Nevertheless, the complexity of various inter- and intra-molecular interacti… ▽ More Life on Earth depends upon the dissolution of ionic salts in water, particularly NaCl. However, an atomistic scale understanding of the process remains elusive. Simulations lend themselves conveniently to studying dissolution since they provide the spatio-temporal resolution that can be difficult to obtain experimentally. Nevertheless, the complexity of various inter- and intra-molecular interactions require careful treatment and long time scale simulations, both of which are typically hindered by computational expense. Here, we use advances in machine learning potential methodology to resolve for the first time at an ab initio level of theory the dissolution mechanism of NaCl in water. The picture that emerges is that of a steady ion-wise unwrap** of the crystal preceding its rapid disintegration, reminiscent of crumbling. The onset of crumbling can be explained by a strong increase in the ratio of the surface to volume of the crystal. Overall, dissolution is comprised of a series of highly dynamical microscopic sub-processes, resulting in an inherently stochastic mechanism. These atomistic level insights now pave the way for a general understanding of dissolution mechanisms in other crystals, and the methodology is primed for more complex systems of recent interest such as water/salt interfaces under flow and salt crystals under confinement. △ Less

Submitted 8 November, 2022; originally announced November 2022.

Classical quantum friction at water-carbon interfaces

Authors: Anna T. Bui, Fabian L. Thiemann, Angelos Michaelides, Stephen J. Cox

Abstract: Friction at water-carbon interfaces remains a major puzzle with theories and simulations unable to explain experimental trends in nanoscale waterflow. A recent theoretical framework -- quantum friction (QF)-- proposes to resolve these experimental observations by considering nonadiabatic coupling between dielectric fluctuations in water and graphitic surfaces. Here, using a classical model that en… ▽ More Friction at water-carbon interfaces remains a major puzzle with theories and simulations unable to explain experimental trends in nanoscale waterflow. A recent theoretical framework -- quantum friction (QF)-- proposes to resolve these experimental observations by considering nonadiabatic coupling between dielectric fluctuations in water and graphitic surfaces. Here, using a classical model that enables fine-tuning of the solid's dielectric spectrum, we provide evidence from simulations in general support of QF. In particular, as features in the solid's dielectric spectrum begin to overlap with water's librational and Debye modes, we find an increase in friction in line with that proposed by QF. At the microscopic level, we find that this contribution to friction manifests more distinctly in the dynamics of the solid's charge density than that of water. Our findings suggest that experimental signatures of QF may be more pronounced in the solid's response rather than liquid water's. △ Less

Submitted 9 January, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

Sparse analytic systems

Authors: Brent Cody, Sean Cox, Kayla Lee

Abstract: Erdős \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is countable for every $x$. We strengthen Erdős' result by proving that CH is equivalent to the existence of what we call \emph{sparse analytic systems} of functions. We… ▽ More Erdős \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is countable for every $x$. We strengthen Erdős' result by proving that CH is equivalent to the existence of what we call \emph{sparse analytic systems} of functions. We use such systems to construct, assuming CH, an equivalence relation $\sim$ on $\mathbb{R}$ such that any "analytic-anonymous" attempt to predict the map $x \mapsto [x]_\sim$ must fail almost everywhere. This provides a consistently negative answer to a question of Bajpai-Velleman \cite{MR3552748}. △ Less

Submitted 6 June, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: to appear in Forum of Mathematics, Sigma

MSC Class: 03E50; 03E25; 26E05; 30D20

How robustly can you predict the future?

Authors: Sean Cox, Matthew Elpers

Abstract: Hardin and Taylor \cite{MR2384262} proved that any function on the reals -- even a nowhere continuous one -- can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed in \cite{MR3100500} that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more co… ▽ More Hardin and Taylor \cite{MR2384262} proved that any function on the reals -- even a nowhere continuous one -- can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed in \cite{MR3100500} that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more complicated time distortions. This question was partially answered by Bajpai and Velleman \cite{MR3552748}, who provided upper and lower frontiers (in the subgroup lattice of $\text{Homeo}^+(\mathbb{R})$) on how robust a predictor can possibly be. We improve both frontiers, some of which reduce ultimately to consequences of Hölder's Theorem (that every Archimedean group is abelian). △ Less

Submitted 20 August, 2022; originally announced August 2022.

MSC Class: 03E25; 22A99; 22F05; 26A99; 28E15

Hot methanol in the [BHB2007] 11 protobinary system: hot corino versus shock origin? : FAUST V

Authors: C. Vastel, F. Alves, C. Ceccarelli, M. Bouvier, I. Jimenez-Serra, T. Sakai, P. Caselli, L. Evans, F. Fontani, R. Le Gal, C. J. Chandler, B. Svoboda, L. Maud, C. Codella, N. Sakai, A. Lopez-Sepulcre, G. Moellenbrock, Y. Aikawa, N. Balucani, E. Bianchi, G. Busquet, E. Caux, S. Charnley, N. Cuello, M. De Simone , et al. (41 additional authors not shown)

Abstract: Methanol is a ubiquitous species commonly found in the molecular interstellar medium. It is also a crucial seed species for the building-up of the chemical complexity in star forming regions. Thus, understanding how its abundance evolves during the star formation process and whether it enriches the emerging planetary system is of paramount importance. We used new data from the ALMA Large Program F… ▽ More Methanol is a ubiquitous species commonly found in the molecular interstellar medium. It is also a crucial seed species for the building-up of the chemical complexity in star forming regions. Thus, understanding how its abundance evolves during the star formation process and whether it enriches the emerging planetary system is of paramount importance. We used new data from the ALMA Large Program FAUST (Fifty AU STudy of the chemistry in the disk/envelope system of Solar-like protostars) to study the methanol line emission towards the [BHB2007] 11 protobinary system (sources A and B), where a complex structure of filaments connecting the two sources with a larger circumbinary disk has been previously detected. Twelve methanol lines have been detected with upper energies in the range [45-537] K along with one 13CH3OH transition. The methanol emission is compact and encompasses both protostars, separated by only 28 au and presents three velocity components, not spatially resolved by our observations, associated with three different spatial regions, with two of them close to 11B and the third one associated with 11A. A non-LTE radiative transfer analysis of the methanol lines concludes that the gas is hot and dense and highly enriched in methanol with an abundance as high as 1e-5. Using previous continuum data, we show that dust opacity can potentially completely absorb the methanol line emission from the two binary objects. Although we cannot firmly exclude other possibilities, we suggest that the detected hot methanol is resulting from the shocked gas from the incoming filaments streaming towards [BHB2007] 11 A and B, respectively. Higher spatial resolution observations are necessary to confirm this hypothesis. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 17 pages, accepted in A&A

Journal ref: A&A 664, A171 (2022)

A theory for the stabilization of polar crystal surfaces by a liquid environment

Authors: Stephen J. Cox

Abstract: Polar crystal surfaces play an important role in the functionality of many materials, and have been studied extensively over many decades. In this article, a theoretical framework is presented that extends existing theories by placing the surrounding solution environment on an equal footing with the crystal itself; this is advantageous, e.g., when considering processes such as crystal growth from… ▽ More Polar crystal surfaces play an important role in the functionality of many materials, and have been studied extensively over many decades. In this article, a theoretical framework is presented that extends existing theories by placing the surrounding solution environment on an equal footing with the crystal itself; this is advantageous, e.g., when considering processes such as crystal growth from solution. By considering the polar crystal as a stack of parallel plate capacitors immersed in a solution environment, the equilibrium adsorbed surface charge density is derived by minimizing the free energy of the system. In analogy to the well-known diverging surface energy of a polar crystal surface at zero temperature, for a crystal in solution it is shown that the "polar catastrophe" manifests as a diverging free energy cost to perturb the system from equilibrium. Going further than existing theories, the present formulation predicts that fluctuations in the adsorbed surface charge density become increasingly suppressed with increasing crystal thickness. We also show how, in the slab geometry often employed in both theoretical and computational studies of interfaces, an electric displacement field emerges as an electrostatic boundary condition, the origins of which are rooted in the slab geometry itself, rather than the use of periodic boundary conditions. This aspect of the work provides a firmer theoretical basis for the recent observation that standard "slab corrections" fail to correctly describe, even qualitatively, polar crystal surfaces in solution. △ Less

Submitted 4 July, 2022; v1 submitted 29 April, 2022; originally announced May 2022.

Comments: 11 pages, 4 figures, 1 appendix

Collapse of a hemicatenoid bounded by a solid wall: instability and dynamics driven by surface Plateau border friction

Authors: Christophe Raufaste, Simon Cox, Raymond E. Goldstein, Adriana I. Pesci

Abstract: The collapse of a catenoidal soap film when the rings supporting it are moved beyond a critical separation is a classic problem in interface motion in which there is a balance between surface tension and the inertia of the surrounding air, with film viscosity playing only a minor role. Recently [Goldstein, et al., Phys. Rev. E 104, 035105 (2021)], we introduced a variant of this problem in which t… ▽ More The collapse of a catenoidal soap film when the rings supporting it are moved beyond a critical separation is a classic problem in interface motion in which there is a balance between surface tension and the inertia of the surrounding air, with film viscosity playing only a minor role. Recently [Goldstein, et al., Phys. Rev. E 104, 035105 (2021)], we introduced a variant of this problem in which the catenoid is bisected by a glass plate located in a plane of symmetry perpendicular to the rings, producing two identical hemicatenoids, each with a surface Plateau border (SPB) on the glass plate. Beyond the critical ring separation, the hemicatenoids collapse in a manner qualitatively similar to the bulk problem, but their motion is governed by the frictional forces arising from viscous dissipation in the SPBs. Here we present numerical studies of a model that includes classical friction laws for SPB motion on wet surfaces and show consistency with our experimental measurements of the temporal evolution of this process. This study can help explain the fragmentation of bubbles inside very confined geometries such as porous materials or microfluidic devices. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 9 pages, 9 figures, supplementary videos available at website of REG

Symmetric Molecular Dynamics

Authors: Sam Cox, Andrew D. White

Abstract: We derive a formulation of molecular dynamics that generates only symmetric configurations. We implement it for all 2D planar and 3D space groups. An atlas of 2D Lennard-Jones crystals under all planar groups is created with symmetric molecular dynamics. We derive a formulation of molecular dynamics that generates only symmetric configurations. We implement it for all 2D planar and 3D space groups. An atlas of 2D Lennard-Jones crystals under all planar groups is created with symmetric molecular dynamics. △ Less

Submitted 17 June, 2022; v1 submitted 3 April, 2022; originally announced April 2022.

Dielectric response of thin water films: A thermodynamic perspective

Authors: Stephen J. Cox, Phillip L. Geissler

Abstract: The surface of a polar liquid presents a special environment for the solvation and organization of charged solutes, which differ from bulk behaviors in important ways. These differences have motivated many attempts to understand electrostatic response at aqueous interfaces in terms of a spatially varying dielectric permittivity, typically concluding that the dielectric constant of interfacial wate… ▽ More The surface of a polar liquid presents a special environment for the solvation and organization of charged solutes, which differ from bulk behaviors in important ways. These differences have motivated many attempts to understand electrostatic response at aqueous interfaces in terms of a spatially varying dielectric permittivity, typically concluding that the dielectric constant of interfacial water is significantly lower than in the bulk liquid. Such analyses, however, are complicated by the potentially nonlocal nature of dielectric response over the short length scales of interfacial heterogeneity. Here we circumvent this problem for thin water films by adopting a thermodynamic approach. Using molecular simulations, we calculate the solvent's contribution to the reversible work of charging a parallel plate capacitor. We find good agreement with a simple dielectric continuum model that assumes bulk dielectric permittivity all the way up to the liquid's boundary, even for very thin ($\sim 1$ nm) films. This comparison requires careful attention to the placement of dielectric boundaries between liquid and vapor, which also resolves apparent discrepancies with dielectric imaging experiments. △ Less

Submitted 5 June, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: Main: 11 pages, 7 figures. Supplementary material: 6 pages, 3 figures

How do interfaces alter the dynamics of supercooled water?

Authors: Piero Gasparotto, Martin Fitzner, Stephen J. Cox, Gabriele Cesare Sosso, Angelos Michaelides

Abstract: The structure of liquid water in the proximity of an interface can deviate significantly from that of bulk water, with surface-induced structural perturbations typically converging to bulk values at about ~1 nm from the interface. While these structural changes are well established it is, in contrast, less clear how an interface perturbs the dynamics of water molecules within the liquid. Here, thr… ▽ More The structure of liquid water in the proximity of an interface can deviate significantly from that of bulk water, with surface-induced structural perturbations typically converging to bulk values at about ~1 nm from the interface. While these structural changes are well established it is, in contrast, less clear how an interface perturbs the dynamics of water molecules within the liquid. Here, through an extensive set of molecular dynamics simulations of supercooled bulk and interfacial water films and nano-droplets, we observe the formation of persistent, spatially extended dynamical domains in which the average mobility varies as a function of the distance from the interface. This is in stark contrast with the dynamical heterogeneity observed in bulk water, where these domains average out spatially over time. We also find that the dynamical response of water to an interface depends critically on the nature of the interface and on the choice of interface definition. Overall these results reveal a richness in the dynamics of interfacial water that opens up the prospect of tuning the dynamical response of water through specific modifications of the interface structure or confining material. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Journal ref: Nanoscale, 2022

Effect of Contact Angle on Capillary Pressure and Liquid Recovery from Angular Pore Channels

Authors: Afshin Davarpanah, Simon Cox

Abstract: We predict the volume of liquid recovered from different-shaped prismatic channels following gas displacement. This recovery factor depends strongly on the contact angle at which the gas-liquid interfaces meet the walls of the channel. We show that scaling the contact angle by a critical value, dependent on the channel shape, leads to a master curve for the recovery factor.} Our numerical simulati… ▽ More We predict the volume of liquid recovered from different-shaped prismatic channels following gas displacement. This recovery factor depends strongly on the contact angle at which the gas-liquid interfaces meet the walls of the channel. We show that scaling the contact angle by a critical value, dependent on the channel shape, leads to a master curve for the recovery factor.} Our numerical simulations with the Surface Evolver are supported by theoretical calculations for the capillary entry pressure in a channel with a triangular or rectangular cross-section and for the interface shape in a "scalloped" triangular channel formed between three parallel cylinders. △ Less

Submitted 3 May, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 10 pages, 4 figures

Fibrantly generated weak factorization systems

Authors: Sean Cox, Jiří Rosický

Abstract: We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible. We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible. △ Less

Submitted 2 June, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: 11 pages

Can molecular simulations reliably compare homogeneous and heterogeneous ice nucleation?

Authors: Dominic Atherton, Angelos Michaelides, Stephen J. Cox

Abstract: In principle, the answer to the posed titular question is undoubtedly 'yes.' But in practice, requisite reference data for homogeneous systems have been obtained with a treatment of intermolecular interactions that is different from that typically employed for heterogeneous systems. In this article, we assess the impact of the choice of truncation scheme when comparing water in homogeneous and inh… ▽ More In principle, the answer to the posed titular question is undoubtedly 'yes.' But in practice, requisite reference data for homogeneous systems have been obtained with a treatment of intermolecular interactions that is different from that typically employed for heterogeneous systems. In this article, we assess the impact of the choice of truncation scheme when comparing water in homogeneous and inhomogeneous environments. Specifically, we use explicit free energy calculations and a simple mean field analysis to demonstrate that using the 'cut-and-shift' version of the Lennard-Jones potential (common to most simple point charge models of water) results in a systematic increase in the melting temperature of ice I$_{\rm h}$. In addition, by drawing an analogy between a change in cutoff and a change in pressure, we use existing literature data for homogeneous ice nucleation at negative pressures to suggest that enhancements due to heterogeneous nucleation may have been overestimated by several orders of magnitude. △ Less

Submitted 4 April, 2022; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: Main article: 9 pages, 7 figures. Supplementary Material: 10 pages, 4 figures

Journal ref: J. Chem. Phys. 156, 164501 (2022)

3D Structure from 2D Microscopy images using Deep Learning

Authors: Benjamin J. Blundell, Christian Sieben, Suliana Manley, Ed Rosten, QueeLim Ch'ng, Susan Cox

Abstract: Understanding the structure of a protein complex is crucial indetermining its function. However, retrieving accurate 3D structures from microscopy images is highly challenging, particularly as many imaging modalities are two-dimensional. Recent advances in Artificial Intelligence have been applied to this problem, primarily using voxel based approaches to analyse sets of electron microscopy images… ▽ More Understanding the structure of a protein complex is crucial indetermining its function. However, retrieving accurate 3D structures from microscopy images is highly challenging, particularly as many imaging modalities are two-dimensional. Recent advances in Artificial Intelligence have been applied to this problem, primarily using voxel based approaches to analyse sets of electron microscopy images. Herewe present a deep learning solution for reconstructing the protein com-plexes from a number of 2D single molecule localization microscopy images, with the solution being completely unconstrained. Our convolutional neural network coupled with a differentiable renderer predicts pose and derives a single structure. After training, the network is dis-carded, with the output of this method being a structural model which fits the data-set. We demonstrate the performance of our system on two protein complexes: CEP152 (which comprises part of the proximal toroid of the centriole) and centrioles. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 32 Pages, 12 figures. Awaiting publication in 'Frontiers in Bioinformatics - Computational Bioimaging' - https://www.frontiersin.org/journals/bioinformatics

Prediction of the capillary pressure of fluid surrounding a cylinder representing an idealized rock structure in porous media

Authors: Afshin Davarpanah, Simon Cox

Abstract: Liquids in oil-bearing porous media assume complex shapes that depend on the reservoir characteristics and the wetting properties of the liquid. The wide variation in the geometry of rock formations makes it difficult to accurately predict the capillary pressure of small volumes of liquid and hence the likelihood of being able to move it. Here we consider the situation in which a small volume of l… ▽ More Liquids in oil-bearing porous media assume complex shapes that depend on the reservoir characteristics and the wetting properties of the liquid. The wide variation in the geometry of rock formations makes it difficult to accurately predict the capillary pressure of small volumes of liquid and hence the likelihood of being able to move it. Here we consider the situation in which a small volume of liquid surrounds an upright cylinder on a flat substrate and predict the shape that the liquid takes and its capillary pressure. We validate our predictions by comparing with Surface Evolver simulations for a range of contact angles and cylinder radii. △ Less

Submitted 6 January, 2022; v1 submitted 6 September, 2021; originally announced September 2021.

Comments: 12 pages, 6 figures

Interface shapes in microfluidic porous media: conditions allowing steady, simultaneous two-phase flow

Authors: S. J. Cox, A. Davarpanah, W. R. Rossen

Abstract: Microfluidic devices offer unique opportunities to directly observe multiphase flow in porous media. However, as a direct representation of flow in geological pore networks, conventional microfluidics face several challenges. One is that simultaneous two-phase flow is not possible in a 2D network without fluctuation occupancy of pores. Nonetheless, such flow is possible in a microfluidic network i… ▽ More Microfluidic devices offer unique opportunities to directly observe multiphase flow in porous media. However, as a direct representation of flow in geological pore networks, conventional microfluidics face several challenges. One is that simultaneous two-phase flow is not possible in a 2D network without fluctuation occupancy of pores. Nonetheless, such flow is possible in a microfluidic network if wetting phase can form a bridge across the gap between solid surfaces at a pore constriction while non-wetting phase flows through the constriction. We call this phenomenon "bridging". Here we consider the conditions under which this is possible as a function of capillary pressure and geometry of the constriction. Using the Surface Evolver program, we determine conditions for stable interfaces in a constriction, the range of capillary pressures at which bridging can occur, and those where the wetting phase would invade and block the constriction to the flow of the non-wetting phase ("snap-off"). We assume that the channels have uniform depth, vertical walls, and flat bottom and top surfaces, and that one phase perfectly wets the solid surfaces. If the constriction is long and straight, snap-off occurs at the same capillary pressure as bridging. For long, curved channels, snap-off happens as liquid imbibes before bridging can occur. For constrictions between cylindrical pillars, however, there is a range of capillary pressures at which bridging is stable; the range is greater the narrower the diameter of the cylinders relative to the width of the constriction. For smaller-diameter pillars, snap-off as non-wetting phase invades a downstream pore body is not possible. We relate these results to the shape of pore networks commonly used in microfluidic studies of two-phase flow to consider whether two-phase flow is possible in these networks without fluctuating pore occupancy. △ Less

Submitted 13 August, 2021; v1 submitted 11 August, 2021; originally announced August 2021.

Comments: 20 pages, 10 figures

The Diagonal Strong Reflection Principle and its fragments

Authors: Sean Cox, Gunter Fuchs

Abstract: A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle are analyzed, and consequences are presented. Some of these conseque… ▽ More A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle are analyzed, and consequences are presented. Some of these consequences are ``exact'' versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from related axioms. △ Less

Submitted 9 August, 2021; originally announced August 2021.

An infinite-dimensional affine stochastic volatility model

Authors: Sonja Cox, Sven Karbach, Asma Khedher

Abstract: We introduce a flexible and tractable infinite-dimensional stochastic volatility model. More specifically, we consider a Hilbert space valued Ornstein-Uhlenbeck-type process, whose instantaneous covariance is given by a pure-jump stochastic process taking values in the cone of positive self-adjoint Hilbert-Schmidt operators. The tractability of our model lies in the fact that the two processes inv… ▽ More We introduce a flexible and tractable infinite-dimensional stochastic volatility model. More specifically, we consider a Hilbert space valued Ornstein-Uhlenbeck-type process, whose instantaneous covariance is given by a pure-jump stochastic process taking values in the cone of positive self-adjoint Hilbert-Schmidt operators. The tractability of our model lies in the fact that the two processes involved are jointly affine, i.e., we show that their characteristic function can be given explicitly in terms of the solutions to a set of generalised Riccati equations. The flexibility lies in the fact that we allow multiple modeling options for the instantaneous covariance process, including state-dependent jump intensity. Infinite dimensional volatility models arise e.g. when considering the dynamics of forward rate functions in the Heath-Jarrow-Morton-Musiela modeling framework using the Filipovic space. In this setting we discuss various examples: an infinite-dimensional version of the Barndorff-Nielsen-Shephard stochastic volatility model, as well as a model involving self-exciting volatility. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 23 pages

Low-Cost Access to the Deep, High-Cadence Sky: the Argus Optical Array

Authors: Nicholas M. Law, Hank Corbett, Nathan W. Galliher, Ramses Gonzalez, Alan Vasquez, Glenn Walters, Lawrence Machia, Jeff Ratzloff, Kendall Ackley, Chris Bizon, Christopher Clemens, Steven Cox, Steven Eikenberry, Ward S. Howard, Amy Glazier, Andrew W. Mann, Robert Quimby, Daniel Reichart, David Trilling

Abstract: New mass-produced, wide-field, small-aperture telescopes have the potential to revolutionize ground-based astronomy by greatly reducing the cost of collecting area. In this paper, we introduce a new class of large telescope based on these advances: an all-sky, arcsecond-resolution, 1000-telescope array which builds a simultaneously high-cadence and deep survey by observing the entire sky all night… ▽ More New mass-produced, wide-field, small-aperture telescopes have the potential to revolutionize ground-based astronomy by greatly reducing the cost of collecting area. In this paper, we introduce a new class of large telescope based on these advances: an all-sky, arcsecond-resolution, 1000-telescope array which builds a simultaneously high-cadence and deep survey by observing the entire sky all night. As a concrete example, we describe the Argus Array, a 5m-class telescope with an all-sky field of view and the ability to reach extremely high cadences using low-noise CMOS detectors. Each 55 GPix Argus exposure covers 20% of the entire sky to g=19.6 each minute and g=21.9 each hour; a high-speed mode will allow sub-second survey cadences for short times. Deep coadds will reach g=23.6 every five nights over 47% of the sky; a larger-aperture array telescope, with an étendue close to the Rubin Observatory, could reach g=24.3 in five nights. These arrays can build two-color, million-epoch movies of the sky, enabling sensitive and rapid searches for high-speed transients, fast-radio-burst counterparts, gravitational-wave counterparts, exoplanet microlensing events, occultations by distant solar system bodies, and myriad other phenomena. An array of O(1,000) telescopes, however, would be one of the most complex astronomical instruments yet built. Standard arrays with hundreds of tracking mounts entail thousands of moving parts and exposed optics, and maintenance costs would rapidly outpace the mass-produced-hardware cost savings compared to a monolithic large telescope. We discuss how to greatly reduce operations costs by placing all optics in a thermally controlled, sealed dome with a single moving part. Coupled with careful software scope control and use of existing pipelines, we show that the Argus Array could become the deepest and fastest Northern sky survey, with total costs below $20M. △ Less

Submitted 1 July, 2021; originally announced July 2021.

Comments: 17 pages, 5 figures, 2 tables

Tree Topologies along a Tropical Line Segment

Authors: Ruriko Yoshida, Shelby Cox

Abstract: Tropical geometry with the max-plus algebra has been applied to statistical learning models over tree spaces because geometry with the tropical metric over tree spaces has some nice properties such as convexity in terms of the tropical metric. One of the challenges in applications of tropical geometry to tree spaces is the difficulty interpreting outcomes of statistical models with the tropical me… ▽ More Tropical geometry with the max-plus algebra has been applied to statistical learning models over tree spaces because geometry with the tropical metric over tree spaces has some nice properties such as convexity in terms of the tropical metric. One of the challenges in applications of tropical geometry to tree spaces is the difficulty interpreting outcomes of statistical models with the tropical metric. This paper focuses on combinatorics of tree topologies along a tropical line segment, an intrinsic geodesic with the tropical metric, between two phylogenetic trees over the tree space and we show some properties of a tropical line segment between two trees. Specifically we show that a probability of a tropical line segment of two randomly chosen trees going through the origin (the star tree) is zero if the number of leave is greater than four, and we also show that if two given trees differ only one nearest neighbor interchange (NNI) move, then the tree topology of a tree in the tropical line segment between them is the same tree topology of one of these given two trees with possible zero branch lengths. △ Less

Submitted 30 October, 2021; v1 submitted 18 April, 2021; originally announced April 2021.

Quadrupole-mediated dielectric response and the charge-asymmetric solvation of ions in water

Authors: Stephen J. Cox, Kranthi K. Mandadapu, Phillip L. Geissler

Abstract: Treating water as a linearly responding dielectric continuum on molecular length scales allows very simple estimates of solvation structure and thermodynamics for charged and polar solutes. While this approach can successfully account for basic length and energy scales of ion solvation, computer simulations indicate not only its quantitative inaccuracies but also its inability to capture some basi… ▽ More Treating water as a linearly responding dielectric continuum on molecular length scales allows very simple estimates of solvation structure and thermodynamics for charged and polar solutes. While this approach can successfully account for basic length and energy scales of ion solvation, computer simulations indicate not only its quantitative inaccuracies but also its inability to capture some basic and important aspects of microscopic polarization response. Here we consider one such shortcoming, a failure to distinguish the solvation thermodynamics of cations from that of otherwise-identical anions, and we pursue a simple, physically inspired modification of the dielectric continuum model to address it. The adaptation is motivated by analyzing the orientational response of an isolated water molecule whose dipole is rigidly constrained. Its free energy suggests a Hamiltonian for dipole fluctuations that accounts implicitly for the influence of higher-order multipole moments, while respecting constraints of molecular geometry. We propose a field theory with the suggested form, whose nonlinear response breaks the charge symmetry of ion solvation. An approximate variational solution of this theory, with a single adjustable parameter, yields solvation free energies that agree closely with simulation results over a considerable range of solute size and charge. △ Less

Submitted 4 June, 2021; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: Main: 12 pages, 6 figures. SI: 6 pages, 6 figures

Salce's problem on cotorsion pairs is undecidable

Authors: Sean Cox

Abstract: Salce \cite{MR565595} introduced the notion of a \emph{cotorsion pair} of classes of abelian groups, and asked whether every such pair is \emph{complete} (i.e., has enough injectives and projectives). We prove that it is consistent, relative to the consistency of Vopěnka's Principle (VP), that the answer is affirmative. Combined with a previous result of Eklof-Shelah \cite{MR2031314}, this shows t… ▽ More Salce \cite{MR565595} introduced the notion of a \emph{cotorsion pair} of classes of abelian groups, and asked whether every such pair is \emph{complete} (i.e., has enough injectives and projectives). We prove that it is consistent, relative to the consistency of Vopěnka's Principle (VP), that the answer is affirmative. Combined with a previous result of Eklof-Shelah \cite{MR2031314}, this shows that Salce's Problem is independent of the ZFC axioms (modulo the consistency of VP). △ Less

Submitted 8 January, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: To appear in Bulletin of the London Mathematical Society

MSC Class: 03E75; 18G25; 16E30; 16D40; 16D90; 16B70

Microscopic kinetics pathway of salt crystallization in graphene nanocapillaries

Authors: Lifen Wang, Ji Chen, Stephen J. Cox, Lei Liu, Gabriele C. Sosso, Ning Li, Peng Gao, Angelos Michaelides, Enge Wang, Xuedong Bai

Abstract: The fundamental understanding of crystallization, in terms of microscopic kinetic and thermodynamic details, remains a key challenge in the physical sciences. Here, by using in situ graphene liquid cell transmission electron microscopy, we reveal the atomistic mechanism of NaCl crystallization from solutions confined within graphene cells. We find that rock salt NaCl forms with a peculiar hexagona… ▽ More The fundamental understanding of crystallization, in terms of microscopic kinetic and thermodynamic details, remains a key challenge in the physical sciences. Here, by using in situ graphene liquid cell transmission electron microscopy, we reveal the atomistic mechanism of NaCl crystallization from solutions confined within graphene cells. We find that rock salt NaCl forms with a peculiar hexagonal morphology. We also see the emergence of a transitory graphite-like phase, which may act as an intermediate in a two-step pathway. With the aid of density functional theory calculations, we propose that these observations result from a delicate balance between the substrate-solute interaction and thermodynamics under confinement. Our results highlight the impact of confinement on both the kinetics and thermodynamics of crystallization, offering new insights into heterogeneous crystallization theory and a potential avenue for materials design. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: Main: 7 pages, 4 figures; Supplemental Material: 12 pages, 7 figures

Efficient numerical approximation of a non-regular Fokker--Planck equation associated with first-passage time distributions

Authors: Udo Boehm, Sonja Cox, Gregor Gantner, Rob Stevenson

Abstract: In neuroscience, the distribution of a decision time is modelled by means of a one-dimensional Fokker--Planck equation with time-dependent boundaries and space-time-dependent drift. Efficient approximation of the solution to this equation is required, e.g., for model evaluation and parameter fitting. However, the prescribed boundary conditions lead to a strong singularity and thus to slow converge… ▽ More In neuroscience, the distribution of a decision time is modelled by means of a one-dimensional Fokker--Planck equation with time-dependent boundaries and space-time-dependent drift. Efficient approximation of the solution to this equation is required, e.g., for model evaluation and parameter fitting. However, the prescribed boundary conditions lead to a strong singularity and thus to slow convergence of numerical approximations. In this article we demonstrate that the solution can be related to the solution of a parabolic PDE on a rectangular space-time domain with homogeneous initial and boundary conditions by transformation and subtraction of a known function. We verify that the solution of the new PDE is indeed more regular than the solution of the original PDE and proceed to discretize the new PDE using a space-time minimal residual method. We also demonstrate that the solution depends analytically on the parameters determining the boundaries as well as the drift. This justifies the use of a sparse tensor product interpolation method to approximate the PDE solution for various parameter ranges. The predicted convergence rates of the minimal residual method and that of the interpolation method are supported by numerical simulations. △ Less

Submitted 16 December, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Journal ref: BIT Numerical Mathematics, 62:1355--1382, 2022