Showing 1–50 of 87 results for author: Rice, A

Determinants of Seidel Tournament Matrices

Authors: Sarah Klanderman, MurphyKate Montee, Andrzej Piotrowski, Alex Rice, Bryan Shader

Abstract: The Seidel matrix of a tournament on $n$ players is an $n\times n$ skew-symmetric matrix with entries in $\{0, 1, -1\}$ that encapsulates the outcomes of the games in the given tournament. It is known that the determinant of an $n\times n$ Seidel matrix is $0$ if $n$ is odd, and is an odd perfect square if $n$ is even. This leads to the study of the set \[ \mathcal{D}(n)= \{ \sqrt{\det S}: \mbox{… ▽ More The Seidel matrix of a tournament on $n$ players is an $n\times n$ skew-symmetric matrix with entries in $\{0, 1, -1\}$ that encapsulates the outcomes of the games in the given tournament. It is known that the determinant of an $n\times n$ Seidel matrix is $0$ if $n$ is odd, and is an odd perfect square if $n$ is even. This leads to the study of the set \[ \mathcal{D}(n)= \{ \sqrt{\det S}: \mbox{ $S$ is an $n\times n$ Seidel matrix}\}. \] This paper studies various questions about $\mathcal{D}(n)$. It is shown that $\mathcal{D}(n)$ is a proper subset of $\mathcal{D}(n+2)$ for every positive even integer, and every odd integer in the interval $[1, 1+n^2/2]$ is in $\mathcal{D}(n)$ for $n$ even. The expected value and variance of $\det S$ over the $n\times n$ Seidel matrices chosen uniformly at random is determined, and upper bounds on $\max \mathcal{D}(n)$ are given, and related to the Hadamard conjecture. Finally, it is shown that for infinitely many $n$, $\mathcal{D}(n)$ contains a gap (that is, there are odd integers $k<\ell <m$ such that $k, m \in \mathcal{D}(n)$ but $\ell \notin \mathcal{D}(n)$) and several properties of the characteristic polynomials of Seidel matrices are established. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: 21 pages, 7 figures

MSC Class: 53C20; 15A15

Incremental units-of-measure verification

Authors: Matthew Danish, Dominic Orchard, Andrew Rice

Abstract: Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a lightweight static verification system for units-of-measure in Fortran programs which supports incremental annotation of large projects. We take the opposite approach to the most mainstream existing deployment of units-… ▽ More Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a lightweight static verification system for units-of-measure in Fortran programs which supports incremental annotation of large projects. We take the opposite approach to the most mainstream existing deployment of units-of-measure ty** (in F#) and generate a global, rather than local, constraints system for a program. We show that such a system can infer (and check) polymorphic units specifications for under-determined parts of the program. Not only does this ability allow checking of partially annotated programs but it also allows the global constraint problem to be partitioned. This partitioning means we can scale to large programs by solving constraints for each program module independently and storing inferred units at module boundaries (separate verification). We provide an implementation of our approach as an extension to an open-source Fortran analysis tool. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: Please note that this article was written in 2018 and has been relocated to arXiv simply for archival purposes

Crowdsourcing with Enhanced Data Quality Assurance: An Efficient Approach to Mitigate Resource Scarcity Challenges in Training Large Language Models for Healthcare

Authors: P. Barai, G. Leroy, P. Bisht, J. M. Rothman, S. Lee, J. Andrews, S. A. Rice, A. Ahmed

Abstract: Large Language Models (LLMs) have demonstrated immense potential in artificial intelligence across various domains, including healthcare. However, their efficacy is hindered by the need for high-quality labeled data, which is often expensive and time-consuming to create, particularly in low-resource domains like healthcare. To address these challenges, we propose a crowdsourcing (CS) framework enr… ▽ More Large Language Models (LLMs) have demonstrated immense potential in artificial intelligence across various domains, including healthcare. However, their efficacy is hindered by the need for high-quality labeled data, which is often expensive and time-consuming to create, particularly in low-resource domains like healthcare. To address these challenges, we propose a crowdsourcing (CS) framework enriched with quality control measures at the pre-, real-time-, and post-data gathering stages. Our study evaluated the effectiveness of enhancing data quality through its impact on LLMs (Bio-BERT) for predicting autism-related symptoms. The results show that real-time quality control improves data quality by 19 percent compared to pre-quality control. Fine-tuning Bio-BERT using crowdsourced data generally increased recall compared to the Bio-BERT baseline but lowered precision. Our findings highlighted the potential of crowdsourcing and quality control in resource-constrained environments and offered insights into optimizing healthcare LLMs for informed decision-making and improved patient care. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Comments: Published in AMIA Summit, Boston, 2024. https://knowledge.amia.org/Info2024/pdf/Info2024a022/Info2024fl021

The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

Authors: John R. Doyle, Alex Rice

Abstract: We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Ar… ▽ More We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:2006.15400

Leveraging tropical reef, bird and unrelated sounds for superior transfer learning in marine bioacoustics

Authors: Ben Williams, Bart van Merriënboer, Vincent Dumoulin, Jenny Hamer, Eleni Triantafillou, Abram B. Fleishman, Matthew McKown, Jill E. Munger, Aaron N. Rice, Ashlee Lillis, Clemency E. White, Catherine A. D. Hobbs, Tries B. Razak, Kate E. Jones, Tom Denton

Abstract: Machine learning has the potential to revolutionize passive acoustic monitoring (PAM) for ecological assessments. However, high annotation and compute costs limit the field's efficacy. Generalizable pretrained networks can overcome these costs, but high-quality pretraining requires vast annotated libraries, limiting its current applicability primarily to bird taxa. Here, we identify the optimum pr… ▽ More Machine learning has the potential to revolutionize passive acoustic monitoring (PAM) for ecological assessments. However, high annotation and compute costs limit the field's efficacy. Generalizable pretrained networks can overcome these costs, but high-quality pretraining requires vast annotated libraries, limiting its current applicability primarily to bird taxa. Here, we identify the optimum pretraining strategy for a data-deficient domain using coral reef bioacoustics. We assemble ReefSet, a large annotated library of reef sounds, though modest compared to bird libraries at 2% of the sample count. Through testing few-shot transfer learning performance, we observe that pretraining on bird audio provides notably superior generalizability compared to pretraining on ReefSet or unrelated audio alone. However, our key findings show that cross-domain mixing which leverages bird, reef and unrelated audio during pretraining maximizes reef generalizability. SurfPerch, our pretrained network, provides a strong foundation for automated analysis of marine PAM data with minimal annotation and compute costs. △ Less

Submitted 7 May, 2024; v1 submitted 25 April, 2024; originally announced April 2024.

Comments: 18 pages, 5 figures

The sum-product problem for small sets

Authors: Ginny Ray Clevenger, Haley Havard, Patch Heard, Andrew Lott, Alex Rice, Brittany Wilson

Abstract: For $A\subseteq \mathbb{R}$, let $A+A=\{a+b: a,b\in A\}$ and $AA=\{ab: a,b\in A\}$. For $k\in \mathbb{N}$, let $SP(k)$ denote the minimum value of $\max\{|A+A|, |AA|\}$ over all $A\subseteq \mathbb{N}$ with $|A|=k$. Here we establish $SP(k)=3k-3$ for $2\leq k \leq 7$, the $k=7$ case achieved for example by $\{1,2,3,4,6,8,12\}$, while $SP(k)=3k-2$ for $k=8,9$, the $k=9$ case achieved for example by… ▽ More For $A\subseteq \mathbb{R}$, let $A+A=\{a+b: a,b\in A\}$ and $AA=\{ab: a,b\in A\}$. For $k\in \mathbb{N}$, let $SP(k)$ denote the minimum value of $\max\{|A+A|, |AA|\}$ over all $A\subseteq \mathbb{N}$ with $|A|=k$. Here we establish $SP(k)=3k-3$ for $2\leq k \leq 7$, the $k=7$ case achieved for example by $\{1,2,3,4,6,8,12\}$, while $SP(k)=3k-2$ for $k=8,9$, the $k=9$ case achieved for example by $\{1,2,3,4,6,8,9,12,16\}$. For $4\leq k \leq 7$, we provide two proofs using different applications of Freiman's $3k-4$ theorem; one of the proofs includes extensive case analysis on the product sets of $k$-element subsets of $(2k-3)$-term arithmetic progressions. For $k=8,9$, we apply Freiman's $3k-3$ theorem for product sets, and investigate the sumset of the union of two geometric progressions with the same common ratio $r>1$, with separate treatments of the overlap** cases $r\neq 2$ and $r\geq 2$. △ Less

Submitted 18 August, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 11 pages, 1 table, 4 figures, references added, Lemma 3.5 proof reorganized, some Section 3 results extended to negative common ratios, other referee suggestions incorporated; to appear in Involve

Thin film TaAs: develo** a platform for Weyl semimetal devices

Authors: Jocienne N. Nelson, Anthony D. Rice, Rafal Kurleto, Amanda Shackelford, Zachary Sierzega, Chun-Sheng Jiang, Andrew G. Norman, Megan E. Holtz, John S. Mangum, Ian A. Leahy, Karen N. Heinselman, Herve Ness, Mark Van Schilfgaarde, Daniel S. Dessau, Kirstin Alberi

Abstract: MX monopnictide compounds (M=Nb,Ta, X = As,P) are prototypical three-dimensional Weyl semimetals (WSMs) that have been shown in bulk single crystal form to have potential for a wide variety of novel devices due to topologically protected band structures and high mobilities. However, very little is known about thin film synthesis, which is essential to enable device applications. We synthesize TaAs… ▽ More MX monopnictide compounds (M=Nb,Ta, X = As,P) are prototypical three-dimensional Weyl semimetals (WSMs) that have been shown in bulk single crystal form to have potential for a wide variety of novel devices due to topologically protected band structures and high mobilities. However, very little is known about thin film synthesis, which is essential to enable device applications. We synthesize TaAs(001) epilayers by molecular beam epitaxy on GaAs(001) and provide an experimental phase diagram illustrating conditions for single phase, single-crystal-like growth. We investigate the relationship between nanoscale defects and electronic structure, using angle-resolved photoemission spectroscopy, Kelvin probe microscopy and transmission electron microscopy. Our results provide a roadmap and platform for develo** 3D WSMs for device applications. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 12 pages, 5 figures

A Syntax for Strictly Associative and Unital $\infty$-Categories

Authors: Eric Finster, Alex Rice, Jamie Vicary

Abstract: We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces desired strictness conditions. The key technical device is a new computation rule in the definitional equality of the theory, which we call insertion, defined in t… ▽ More We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a type theory whose terms describe the operations of such structures, and whose definitional equality relation enforces desired strictness conditions. The key technical device is a new computation rule in the definitional equality of the theory, which we call insertion, defined in terms of a universal property. On terms for which it is defined, this operation "inserts" one of the arguments of a substituted coherence into the coherence itself, appropriately modifying the pasting diagram and result type, and simplifying the syntax in the process. We generate an equational theory from this reduction relation and we study its properties in detail, showing that it yields a decision procedure for equality. Expressed as a type theory, our model is well-adapted for generating and verifying efficient proofs of higher categorical statements. We illustrate this via an OCaml implementation, and give a number of examples, including a short encoding of the syllepsis, a 5-dimensional homotopy that plays an important role in the homotopy groups of spheres. △ Less

Submitted 4 July, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: 38 pages, 9 figures

Computations and observations on congruence covering systems

Authors: Raj Agrawal, Prarthana Bhatia, Kratik Gupta, Powers Lamb, Andrew Lott, Alex Rice, Christine Rose Ward

Abstract: A $\textit{covering system}$ is a collection of integer congruences such that every integer satisfies at least one congruence in the collection. A covering system is called $\textit{distinct}$ if all of its moduli are distinct. An expansive literature has developed on covering systems since their introduction by Erdős. Here we provide a full classification of distinct covering systems with at most… ▽ More A $\textit{covering system}$ is a collection of integer congruences such that every integer satisfies at least one congruence in the collection. A covering system is called $\textit{distinct}$ if all of its moduli are distinct. An expansive literature has developed on covering systems since their introduction by Erdős. Here we provide a full classification of distinct covering systems with at most ten moduli, which we group together based on two forms of equivalence. As a consequence, we determine the minimum cardinality of a distinct covering system with all moduli exceeding $2$, which is $11$. △ Less

Submitted 22 August, 2023; v1 submitted 20 August, 2022; originally announced August 2022.

Comments: 6 pages, one table, some expository portions removed, paper reorganized to focus on Propositions 1.2 and 3.2, to appear in Proceedings of INTEGERS 2023

Testing SOAR Tools in Use

Authors: Robert A. Bridges, Ashley E. Rice, Sean Oesch, Jeff A. Nichols, Cory Watson, Kevin Spakes, Savannah Norem, Mike Huettel, Brian Jewell, Brian Weber, Connor Gannon, Olivia Bizovi, Samuel C Hollifield, Samantha Erwin

Abstract: Modern security operation centers (SOCs) rely on operators and a tapestry of logging and alerting tools with large scale collection and query abilities. SOC investigations are tedious as they rely on manual efforts to query diverse data sources, overlay related logs, and correlate the data into information and then document results in a ticketing system. Security orchestration, automation, and res… ▽ More Modern security operation centers (SOCs) rely on operators and a tapestry of logging and alerting tools with large scale collection and query abilities. SOC investigations are tedious as they rely on manual efforts to query diverse data sources, overlay related logs, and correlate the data into information and then document results in a ticketing system. Security orchestration, automation, and response (SOAR) tools are a new technology that promise to collect, filter, and display needed data; automate common tasks that require SOC analysts' time; facilitate SOC collaboration; and, improve both efficiency and consistency of SOCs. SOAR tools have never been tested in practice to evaluate their effect and understand them in use. In this paper, we design and administer the first hands-on user study of SOAR tools, involving 24 participants and 6 commercial SOAR tools. Our contributions include the experimental design, itemizing six characteristics of SOAR tools and a methodology for testing them. We describe configuration of the test environment in a cyber range, including network, user, and threat emulation; a full SOC tool suite; and creation of artifacts allowing multiple representative investigation scenarios to permit testing. We present the first research results on SOAR tools. We found that SOAR configuration is critical, as it involves creative design for data display and automation. We found that SOAR tools increased efficiency and reduced context switching during investigations, although ticket accuracy and completeness (indicating investigation quality) decreased with SOAR use. Our findings indicated that user preferences are slightly negatively correlated with their performance with the tool; overautomation was a concern of senior analysts, and SOAR tools that balanced automation with assisting a user to make decisions were preferred. △ Less

Submitted 14 February, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Journal ref: Computers & Security 2023

Direct link between disorder, mobility and magnetoresistance in topological semimetals

Authors: Jocienne N. Nelson, Anthony D. Rice, Chase Brooks, Ian A. Leahy, Glenn Teeter, Mark Van Schilfgaarde, Stephan Lany, Brian Fluegel, Minhyea Lee, Kirstin Alberi

Abstract: The extent to which disorder influences the properties of topological semimetals remains an open question and is relevant to both the understanding of topological states and the use of topological materials in practical applications. Here, we achieve unmatched and systematic control of point defect concentrations in the prototypical Dirac semimetal Cd$_3$As$_2$ to gain important insight into the r… ▽ More The extent to which disorder influences the properties of topological semimetals remains an open question and is relevant to both the understanding of topological states and the use of topological materials in practical applications. Here, we achieve unmatched and systematic control of point defect concentrations in the prototypical Dirac semimetal Cd$_3$As$_2$ to gain important insight into the role of disorder on electron transport behavior. We find that arsenic vacancies introduce localized states near the Fermi level and strongly influence the electron mobility. Reducing arsenic vacancies by changing the As/Cd flux ratio used during deposition results in an increase in the magnetoresistance from 200%-1000% and an increase in mobility from 5000-18,000 cm$^2$/Vs. However, the degree of linear magnetoresistance, which has previously been linked to disorder, is found here to correlate inversely with measures of disorder, including disorder potential and disorder correlation lengths. This finding yields important new information in the quest to identify the origin of linear magnetoresistance in a wider range of materials. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 19 pages, 3 main figures, 4 supplemental figures

Journal ref: Phys. Rev. B 107, L220206 2023

Productivity Assessment of Neural Code Completion

Authors: Albert Ziegler, Eirini Kalliamvakou, Shawn Simister, Ganesh Sittampalam, Alice Li, Andrew Rice, Devon Rifkin, Edward Aftandilian

Abstract: Neural code synthesis has reached a point where snippet generation is accurate enough to be considered for integration into human software development workflows. Commercial products aim to increase programmers' productivity, without being able to measure it directly. In this case study, we asked users of GitHub Copilot about its impact on their productivity, and sought to find a reflection of thei… ▽ More Neural code synthesis has reached a point where snippet generation is accurate enough to be considered for integration into human software development workflows. Commercial products aim to increase programmers' productivity, without being able to measure it directly. In this case study, we asked users of GitHub Copilot about its impact on their productivity, and sought to find a reflection of their perception in directly measurable user data. We find that the rate with which shown suggestions are accepted, rather than more specific metrics regarding the persistence of completions in the code over time, drives developers' perception of productivity. △ Less

Submitted 13 May, 2022; originally announced May 2022.

Comments: To appear in: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming (MAPS '22), June 13, 2022

Generic Lines in Projective Space and the Koszul Property

Authors: Joshua A. Rice

Abstract: In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in $\mathbb{P}^n$ and the homogeneous coordinate ring of a collection of lines in general linear position in $\mathbb{P}^n.$ We show that if $\mathcal{M}$ is a collection of $m$ lines in general linear position in $\mathbb{P}^n$ with $2m \leq n+1$ and $R$ is the coordinate ring of… ▽ More In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in $\mathbb{P}^n$ and the homogeneous coordinate ring of a collection of lines in general linear position in $\mathbb{P}^n.$ We show that if $\mathcal{M}$ is a collection of $m$ lines in general linear position in $\mathbb{P}^n$ with $2m \leq n+1$ and $R$ is the coordinate ring of $\mathcal{M},$ then $R$ is Koszul. Further, if $\mathcal{M}$ is a generic collection of $m$ lines in $\mathbb{P}^n$ and $R$ is the coordinate ring of $\mathcal{M}$ with $m$ even and $m +1\leq n$ or $m$ is odd and $m +2\leq n,$ then $R$ is Koszul. Lastly, we show if $\mathcal{M}$ is a generic collection of $m$ lines such that \[ m > \frac{1}{72}\left(3(n^2+10n+13)+\sqrt{3(n-1)^3(3n+5)}\right),\] then $R$ is not Koszul. We give a complete characterization of the Koszul property of the coordinate ring of a generic collection of lines for $n \leq 6$ or $m \leq 6$. We also determine the Castelnuovo-Mumford regularity of the coordinate ring for a generic collection of lines and the projective dimension of the coordinate ring of collection of lines in general linear position. △ Less

Submitted 17 March, 2022; originally announced March 2022.

MSC Class: 13D02; 16S37; 14N20

Schur's theorem in integer lattices

Authors: Vishal Balaji, Andrew Lott, Alex Rice

Abstract: A standard proof of Schur's Theorem yields that any $r$-coloring of $\{1,2,\dots,R_r-1\}$ yields a monochromatic solution to $x+y=z$, where $R_r$ is the classical $r$-color Ramsey number, the minimum $N$ such that any $r$-coloring of a complete graph on $N$ vertices yields a monochromatic triangle. We explore generalizations and modifications of this result in higher dimensional integer lattices,… ▽ More A standard proof of Schur's Theorem yields that any $r$-coloring of $\{1,2,\dots,R_r-1\}$ yields a monochromatic solution to $x+y=z$, where $R_r$ is the classical $r$-color Ramsey number, the minimum $N$ such that any $r$-coloring of a complete graph on $N$ vertices yields a monochromatic triangle. We explore generalizations and modifications of this result in higher dimensional integer lattices, showing in particular that if $k\geq d+1$, then any $r$-coloring of $\{1,2,\dots,R_r(k)^d-1\}^d$ yields a monochromatic solution to $x_1+\cdots+x_{k-1}=x_k$ with $\{x_1,\dots,x_d\}$ linearly independent, where $R_r(k)$ is the analogous Ramsey number in which triangles are replaced by complete graphs on $k$ vertices. We also obtain computational results and examples in the case $d=2$, $k=3$, and $r\in\{2,3,4\}$. △ Less

Submitted 18 June, 2022; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 6 pages, typos corrected, references added, to appear in INTEGERS

Journal ref: Involve 15 (2022) 857-884

A Mathematical Framework for Evaluation of SOAR Tools with Limited Survey Data

Authors: Savannah Norem, Ashley E Rice, Samantha Erwin, Robert A Bridges, Sean Oesch, Brian Weber

Abstract: Security operation centers (SOCs) all over the world are tasked with reacting to cybersecurity alerts ranging in severity. Security Orchestration, Automation, and Response (SOAR) tools streamline cybersecurity alert responses by SOC operators. SOAR tool adoption is expensive both in effort and finances. Hence, it is crucial to limit adoption to those most worthwhile; yet no research evaluating or… ▽ More Security operation centers (SOCs) all over the world are tasked with reacting to cybersecurity alerts ranging in severity. Security Orchestration, Automation, and Response (SOAR) tools streamline cybersecurity alert responses by SOC operators. SOAR tool adoption is expensive both in effort and finances. Hence, it is crucial to limit adoption to those most worthwhile; yet no research evaluating or comparing SOAR tools exists. The goal of this work is to evaluate several SOAR tools using specific criteria pertaining to their usability. SOC operators were asked to first complete a survey about what SOAR tool aspects are most important. Operators were then assigned a set of SOAR tools for which they viewed demonstration and overview videos, and then operators completed a second survey wherein they were tasked with evaluating each of the tools on the aspects from the first survey. In addition, operators provided an overall rating to each of their assigned tools, and provided a ranking of their tools in order of preference. Due to time constraints on SOC operators for thorough testing, we provide a systematic method of downselecting a large pool of SOAR tools to a select few that merit next-step hands-on evaluation by SOC operators. Furthermore, the analyses conducted in this survey help to inform future development of SOAR tools to ensure that the appropriate functions are available for use in a SOC. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Enumerating Independent Linear Inferences

Authors: Anupam Das, Alex Rice

Abstract: A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical representations of linear formulae to build an implementation that is capable of more efficiently searching for switch-medial-independent inferences. We use it to find four `minimal' 8-variable independent inferences and also pr… ▽ More A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical representations of linear formulae to build an implementation that is capable of more efficiently searching for switch-medial-independent inferences. We use it to find four `minimal' 8-variable independent inferences and also prove that no smaller ones exist; in contrast, a previous approach based directly on formulae reached computational limits already at 7 variables. Two of these new inferences derive some previously found independent linear inferences. The other two (which are dual) exhibit structure seemingly beyond the scope of previous approaches we are aware of; in particular, their existence contradicts a conjecture of Das and Strassburger. We were also able to identify 10 minimal 9-variable linear inferences independent of all the aforementioned inferences, comprising 5 dual pairs, and present applications of our implementation to recent `graph logics'. △ Less

Submitted 18 May, 2023; v1 submitted 9 November, 2021; originally announced November 2021.

Journal ref: Logical Methods in Computer Science, Volume 19, Issue 2 (May 19, 2023) lmcs:8695

A Type Theory for Strictly Associative Infinity Categories

Authors: Eric Finster, Alex Rice, Jamie Vicary

Abstract: Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type theory Catt, whose models are known to correspond to weak $\infty$-categories. We add a definitional equality relation to this theory which identifies terms wi… ▽ More Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type theory Catt, whose models are known to correspond to weak $\infty$-categories. We add a definitional equality relation to this theory which identifies terms with the same associativity structure, yielding a new type theory Catt$_{sa}$, for strictly associative $\infty$-categories. We also provide a reduction relation which generates definitional equality, and show it is confluent and terminating, giving an algorithm for deciding equality of terms, and making typechecking decidable. Our key contribution, on which our reduction is based, is an operation on terms which we call insertion. This has a direct geometrical interpretation, allowing a subterm to be inserted into the head of the term, flatting its syntactic structure. We describe this operation combinatorially in terms of pasting diagrams, and also show can be characterized as a pushout of contexts. This allows reasoning about insertion using just its universal property. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Comments: 26 pages

The pigenhole principle and multicolor Ramsey numbers

Authors: Vishal Balaji, Powers Lamb, Andrew Lott, Dhruv Patel, Alex Rice, Sakshi Singh, Christine Rose Ward

Abstract: For integers $k,r\geq 2$, the diagonal Ramsey number $R_r(k)$ is the minimum $N\in\mathbb{N}$ such that every $r$-coloring of the edges of a complete graph on $N$ vertices yields on a monochromatic subgraph on $k$ vertices. Here we make a careful effort of extracting explicit upper bounds for $R_r(k)$ from the pigeonhole principle alone. Our main term improves on previously documented explicit bou… ▽ More For integers $k,r\geq 2$, the diagonal Ramsey number $R_r(k)$ is the minimum $N\in\mathbb{N}$ such that every $r$-coloring of the edges of a complete graph on $N$ vertices yields on a monochromatic subgraph on $k$ vertices. Here we make a careful effort of extracting explicit upper bounds for $R_r(k)$ from the pigeonhole principle alone. Our main term improves on previously documented explicit bounds for $r\geq 3$, and we also consider an often ignored secondary term, which allows us to subtract a uniformly bounded below positive proportion of the main term. Asymptotically, we give a self-contained proof that $R_r(k)\leq \left(\frac{3+e}{2}\right)\frac{(r(k-2))!}{((k-2)!)^r}(1+o_{r\to \infty}(1)),$ and we conclude by noting that our methods combine with previous estimates on $R_r(3)$ to improve the constant $\frac{3+e}{2}$ to $\frac{3+e}{2}-\frac{d}{48}$, where $d=66-R_4(3)\geq 4$. We also compare our formulas, and previously documented formulas, to some collected numerical data. △ Less

Submitted 22 February, 2022; v1 submitted 18 August, 2021; originally announced August 2021.

Comments: 19 pages, typos corrected, to appear in Involve

Gravity Governs Shear Localization in Confined Dense Granular Flows

Authors: M Reza Shaebani, János Török, Maniya Maleki, Mahnoush Madani, Matt Harrington, Allyson Rice, Wolfgang Losert

Abstract: Prediction of flow profiles of slowly sheared granular materials is a major geophysical and industrial challenge. Understanding the role of gravity is particularly important for future planetary exploration in varying gravitational environments. Using the principle of minimization of energy dissipation, and combining experiments and variational analysis, we disentangle the contributions of the gra… ▽ More Prediction of flow profiles of slowly sheared granular materials is a major geophysical and industrial challenge. Understanding the role of gravity is particularly important for future planetary exploration in varying gravitational environments. Using the principle of minimization of energy dissipation, and combining experiments and variational analysis, we disentangle the contributions of the gravitational acceleration and confining pressure on shear strain localization induced by moving fault boundaries at the bottom of a granular layer. The flow profile is independent of the gravity for geometries with a free top surface. However, under a confining pressure or if the sheared layer withstands the weight of the upper layers, increasing gravity promotes the transition from closed shear zones buried in the bulk to open ones that intersect the top surface. We show that the center position and width of the shear zone and the axial angular velocity at the top surface follow universal scaling laws when properly scaled by the gravity, applied pressure, and layer thickness. Our finding that the flow profiles lie on a universal master curve opens the possibility to predict the quasistatic shear flow of granular materials in extraterrestrial environments. △ Less

Submitted 20 May, 2021; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: 7 pages, 5 figures

Journal ref: Phys. Rev. Lett. 127, 278003 (2021)

Guiding user annotations for units-of-measure verification

Authors: Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

Abstract: This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our approach can guide the programmer in adding specifications (type annotations) to existing code, with the aim of easing adoption on legacy code. Pertinent to the topics of the HATRA workshop, we discuss the human-aspects… ▽ More This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our approach can guide the programmer in adding specifications (type annotations) to existing code, with the aim of easing adoption on legacy code. Pertinent to the topics of the HATRA workshop, we discuss the human-aspects of the tool here. CamFort is open-source and freely available online. △ Less

Submitted 11 November, 2020; originally announced November 2020.

Comments: Presented at HATRA 2020 (Workshop on Human Aspects of Types and Reasoning Assistants) colocated with SPLASH 2020

ACM Class: D.2.4; F.3.1

Coinductive Invertibility in Higher Categories

Authors: Alex Rice

Abstract: Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have desirable properties. We define some properties we expect to hold in any reasonable definition of a weak $ω$-category. With these properties we define three noti… ▽ More Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have desirable properties. We define some properties we expect to hold in any reasonable definition of a weak $ω$-category. With these properties we define three notions of invertibility inspired by homotopy type theory. These are quasi-invertibility, where a two sided inverse is required, bi-invertibility, where a separate left and right inverse is given, and half-adjoint inverse, which is a quasi-inverse with an extra coherence condition. These definitions take the form of coinductive data structures. Using coinductive proofs we are able to show that these three notions are all equivalent in that given any one of these invertibility structures, the others can be obtained. The methods used to do this are generic and it is expected that the results should be applicable to any reasonable model of higher category theory. Many of the results of the paper have been formalised in Agda using coinductive records and the machinery of sized types. △ Less

Submitted 17 October, 2020; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 16 pages

A Type Theory for Strictly Unital $\infty$-Categories

Authors: Eric Finster, David Reutter, Alex Rice, Jamie Vicary

Abstract: We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend the theory with a non-trivial definitional equality. This forces some operations to coincide strictly in any model, yielding the strict unit behaviour. We ma… ▽ More We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend the theory with a non-trivial definitional equality. This forces some operations to coincide strictly in any model, yielding the strict unit behaviour. We make a detailed investigation of the meta-theoretic properties of this theory. We give a reduction relation that generates definitional equality, and prove that it is confluent and terminating, thus yielding the first decision procedure for equality in a strictly-unital setting. Moreover, we show that our definitional equality relation identifies all terms in a disc context, providing a point comparison with a previously proposed definition of strictly unital $\infty$-category. We also prove a conservativity result, showing that every operation of the strictly unital theory indeed arises from a valid operation in the fully weak theory. From this, we infer that strict unitality is a property of an $\infty$-category rather than additional structure. △ Less

Submitted 26 May, 2022; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: 46 pages

Journal ref: Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022)

Multivariate Polynomial Values in Difference Sets

Authors: John R. Doyle, Alex Rice

Abstract: For $\ell\geq 2$ and $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ of degree $k\geq 2$, we show that every set $A\subseteq \{1,2,\dots,N\}$ lacking nonzero differences in $h(\mathbb{Z}^{\ell})$ satisfies $|A|\ll_h Ne^{-c(\log N)^μ}$, where $c=c(h)>0$, $μ=[(k-1)^2+1]^{-1}$ if $\ell=2$, and $μ=1/2$ if $\ell\geq 3$, provided $h(\mathbb{Z}^{\ell})$ contains a multiple of every natural number and $h$ satisfies… ▽ More For $\ell\geq 2$ and $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ of degree $k\geq 2$, we show that every set $A\subseteq \{1,2,\dots,N\}$ lacking nonzero differences in $h(\mathbb{Z}^{\ell})$ satisfies $|A|\ll_h Ne^{-c(\log N)^μ}$, where $c=c(h)>0$, $μ=[(k-1)^2+1]^{-1}$ if $\ell=2$, and $μ=1/2$ if $\ell\geq 3$, provided $h(\mathbb{Z}^{\ell})$ contains a multiple of every natural number and $h$ satisfies certain nonsingularity conditions. We also explore these conditions in detail, drawing on a variety of tools from algebraic geometry. △ Less

Submitted 5 September, 2021; v1 submitted 27 June, 2020; originally announced June 2020.

Comments: 46 pages

Journal ref: Discrete Analysis, 2021:11, 46pp

Influence of Water Vapor on the Interaction Between Dodecane Thiol Ligated Au Nanoparticles

Authors: Michael N. Martinez, Alex G. Smith, Miaochen **, Kevin B. Slater, Linsey M. Nowack, Binhua Lin, Stuart A. Rice

Abstract: It is well-known that the interaction between passivated nanoparticles can be tuned by their complete immersion in a chosen solvent, such as water. What remains unclear on a molecular level is how nanoparticle interactions may be altered in the presence of solvent vapor where complete immersion is not achieved. In this paper, we report an all-atom molecular dynamics simulation study of the change… ▽ More It is well-known that the interaction between passivated nanoparticles can be tuned by their complete immersion in a chosen solvent, such as water. What remains unclear on a molecular level is how nanoparticle interactions may be altered in the presence of solvent vapor where complete immersion is not achieved. In this paper, we report an all-atom molecular dynamics simulation study of the change in pair potential of mean force between dodecane thiol ligated gold nanoparticles (AuNPs) when exposed to water vapor. With the equilibrium vapor pressure of water at 25 \degree C, there is very rapid condensation of water molecules onto the surface of the AuNPs in the form of mobile clusters of 100-2000 molecules that eventually coalesce into a few large clusters. When the distance between two AuNPs decreases, a water cluster bridging them provides an adhesive force that increases the depth and alters the shape of the pair-potential of mean force. That change of shape includes a decreased curvature near the minimum, consistent with experimental data showing that cyclic exposure to water vapor and its removal reversibly decreases and increases the Young's modulus of a freely suspended self-assembled monolayer of these AuNPs. △ Less

Submitted 21 September, 2021; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: 26 pages, 11 figures. Accepted for publication in JCP

Comment on the characterization of local structure in an inhomogeneous liquid

Authors: Linsey Nowack, Stuart A. Rice

Abstract: The search for local structures within a disordered medium has led to proposals of several methods for probing transient short-range symmetry in a homogeneous mono-atomic liquid. We offer a comparison of different characterizations of such local structure in an in-homogeneous liquid. We simulate the interfaces between a Lennard-Jones liquid and (i) a flat Lennard-Jones wall, (ii) a wall of face-ce… ▽ More The search for local structures within a disordered medium has led to proposals of several methods for probing transient short-range symmetry in a homogeneous mono-atomic liquid. We offer a comparison of different characterizations of such local structure in an in-homogeneous liquid. We simulate the interfaces between a Lennard-Jones liquid and (i) a flat Lennard-Jones wall, (ii) a wall of face-centered cubic-packed Lennard-Jones particles, and (iii) a Lennard-Jones vapor. The interface density distributions in cases (i) and (ii) have oscillations extending several particle diameters into the bulk liquid, while that in case (iii) the interface density distribution monotonically decays from the bulk liquid to the vapor. We search for transient ordered fluctuations, which we identify with local ordered structures, using the Aperture Cross Correlation Function of the system. We find that only particles in the FCC-liquid interface that are in the two layers closest to the FCC surface exhibit preferred four-fold symmetry. Furthermore, the absence of three- or five-fold symmetry peaks in the Aperture Cross Correlation Function of the liquid-vapor interface yields a different picture of that interface than derived from the high density of bi-pyramidal clusters found in the Topological Cluster Classification study (Molecular Physics, 109 (7-10), 1393-1402 (2011)). While the Aperture Cross Correlation Function results need not be viewed as contradictory with the Topological Cluster Classification results, we argue the advantages of using the former to characterize transient ordered fluctuations as being both experimentally accessible in favorable cases and not reliant on a list of structures. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Adaptive Forgetting Curves for Spaced Repetition Language Learning

Authors: Ahmed Zaidi, Andrew Caines, Russell Moore, Paula Buttery, Andrew Rice

Abstract: The forgetting curve has been extensively explored by psychologists, educationalists and cognitive scientists alike. In the context of Intelligent Tutoring Systems, modelling the forgetting curve for each user and knowledge component (e.g. vocabulary word) should enable us to develop optimal revision strategies that counteract memory decay and ensure long-term retention. In this study we explore a… ▽ More The forgetting curve has been extensively explored by psychologists, educationalists and cognitive scientists alike. In the context of Intelligent Tutoring Systems, modelling the forgetting curve for each user and knowledge component (e.g. vocabulary word) should enable us to develop optimal revision strategies that counteract memory decay and ensure long-term retention. In this study we explore a variety of forgetting curve models incorporating psychological and linguistic features, and we use these models to predict the probability of word recall by learners of English as a second language. We evaluate the impact of the models and their features using data from an online vocabulary teaching platform and find that word complexity is a highly informative feature which may be successfully learned by a neural network model. △ Less

Submitted 23 April, 2020; originally announced April 2020.

Comments: Artificial Intelligence for Education 2020 (AIED)

Tuneful: An Online Significance-Aware Configuration Tuner for Big Data Analytics

Authors: Ayat Fekry, Lucian Carata, Thomas Pasquier, Andrew Rice, Andy Hopper

Abstract: Distributed analytics engines such as Spark are a common choice for processing extremely large datasets. However, finding good configurations for these systems remains challenging, with each workload potentially requiring a different setup to run optimally. Using suboptimal configurations incurs significant extra runtime costs. %Furthermore, Spark and similar platforms are gaining traction within… ▽ More Distributed analytics engines such as Spark are a common choice for processing extremely large datasets. However, finding good configurations for these systems remains challenging, with each workload potentially requiring a different setup to run optimally. Using suboptimal configurations incurs significant extra runtime costs. %Furthermore, Spark and similar platforms are gaining traction within data-scientists communities where awareness of such issues is relatively low. We propose Tuneful, an approach that efficiently tunes the configuration of in-memory cluster computing systems. Tuneful combines incremental Sensitivity Analysis and Bayesian optimization to identify near-optimal configurations from a high-dimensional search space, using a small number of executions. This setup allows the tuning to be done online, without any previous training. Our experimental results show that Tuneful reduces the search time for finding close-to-optimal configurations by 62\% (at the median) when compared to existing state-of-the-art techniques. This means that the amortization of the tuning cost happens significantly faster, enabling practical tuning for new classes of workloads. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Approximating Activation Functions

Authors: Nicholas Gerard Timmons, Andrew Rice

Abstract: ReLU is widely seen as the default choice for activation functions in neural networks. However, there are cases where more complicated functions are required. In particular, recurrent neural networks (such as LSTMs) make extensive use of both hyperbolic tangent and sigmoid functions. These functions are expensive to compute. We used function approximation techniques to develop replacements for the… ▽ More ReLU is widely seen as the default choice for activation functions in neural networks. However, there are cases where more complicated functions are required. In particular, recurrent neural networks (such as LSTMs) make extensive use of both hyperbolic tangent and sigmoid functions. These functions are expensive to compute. We used function approximation techniques to develop replacements for these functions and evaluated them empirically on three popular network configurations. We find safe approximations that yield a 10% to 37% improvement in training times on the CPU. These approximations were suitable for all cases we considered and we believe are appropriate replacements for all networks using these activation functions. We also develop ranged approximations which only apply in some cases due to restrictions on their input domain. Our ranged approximations yield a performance improvement of 20% to 53% in network training time. Our functions also match or considerably out perform the ad-hoc approximations used in Theano and the implementation of Word2Vec. △ Less

Submitted 17 January, 2020; originally announced January 2020.

Comments: 10 Pages, 5 Figures, 1 Table

MSC Class: 68U99 (Primary) 68T01

Lattice Configurations Determining Few Distances

Authors: Vajresh Balaji, Olivia Edwards, Anne Marie Loftin, Solomon Mcharo, Lo Phillips, Alex Rice, Bineyam Tsegaye

Abstract: We begin by revisiting a paper of Erdős and Fishburn, which posed the following question: given $k\in \mathbb{N}$, what is the maximum number of points in a plane that determine at most $k$ distinct distances, and can such optimal configurations be classified? We rigorously verify claims made in remarks in that paper, including the fact that the vertices of a regular polygon, with or without an ad… ▽ More We begin by revisiting a paper of Erdős and Fishburn, which posed the following question: given $k\in \mathbb{N}$, what is the maximum number of points in a plane that determine at most $k$ distinct distances, and can such optimal configurations be classified? We rigorously verify claims made in remarks in that paper, including the fact that the vertices of a regular polygon, with or without an additional point at the center, cannot form an optimal configuration for any $k\geq 7$. Further, we investigate configurations in both triangular and rectangular lattices studied by Erdős and Fishburn. We collect a large amount of data related to these and other configurations, some of which correct errors in the original paper, and we use that data and additional analysis to provide explanations and make conjectures. △ Less

Submitted 7 July, 2023; v1 submitted 26 November, 2019; originally announced November 2019.

Comments: 11 pages, 3 figures with 5 total images, 2 tables. Typos corrected, statement clarified in Theorem 1.3 item (vi)

Sets in $\mathbb{R}^d$ determining $k$ taxicab distances

Authors: Vajresh Balaji, Olivia Edwards, Anne Marie Loftin, Solomon Mcharo, Lo Phillips, Alex Rice, Bineyam Tsegaye

Abstract: We address an analog of a problem introduced by Erdős and Fishburn, itself an inverse formulation of the famous Erdős distance problem, in which the usual Euclidean distance is replaced with the metric induced by the $\ell^1$-norm, commonly referred to as the $\textit{taxicab metric}$. Specifically, we investigate the following question: given $d,k\in \mathbb{N}$, what is the maximum size of a sub… ▽ More We address an analog of a problem introduced by Erdős and Fishburn, itself an inverse formulation of the famous Erdős distance problem, in which the usual Euclidean distance is replaced with the metric induced by the $\ell^1$-norm, commonly referred to as the $\textit{taxicab metric}$. Specifically, we investigate the following question: given $d,k\in \mathbb{N}$, what is the maximum size of a subset of $\mathbb{R}^d$ that determines at most $k$ distinct taxicab distances, and can all such optimal arrangements be classified? We completely resolve the question in dimension $d=2$, as well as the $k=1$ case in dimension $d=3$, and we also provide a full resolution in the general case under an additional hypothesis. △ Less

Submitted 23 May, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: 16 pages, 1 figure with 2 images, 1 table. Typos corrected, sections 5 and 6 revised to be more detailed, structured, and readable. Version to appear in Involve, a Journal of Mathematics

Journal ref: Involve 13 (2020) 487-509

Learning to Fix Build Errors with Graph2Diff Neural Networks

Authors: Daniel Tarlow, Subhodeep Moitra, Andrew Rice, Zimin Chen, Pierre-Antoine Manzagol, Charles Sutton, Edward Aftandilian

Abstract: Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new deep learning architecture, called Graph2Diff, for automatically localizing and fixing build errors. We represent source code, build configuration files, and compiler diagnostic messages as a graph, and then use a Graph… ▽ More Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new deep learning architecture, called Graph2Diff, for automatically localizing and fixing build errors. We represent source code, build configuration files, and compiler diagnostic messages as a graph, and then use a Graph Neural Network model to predict a diff. A diff specifies how to modify the code's abstract syntax tree, represented in the neural network as a sequence of tokens and of pointers to code locations. Our network is an instance of a more general abstraction that we call Graph2Tocopo, which is potentially useful in any development tool for predicting source code changes. We evaluate the model on a dataset of over 500k real build errors and their resolutions from professional developers. Compared to the approach of DeepDelta (Mesbah et al., 2019), our approach tackles the harder task of predicting a more precise diff but still achieves over double the accuracy. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: Submitted for review on Aug 23, 2019

Sequential Phase Transitions and Transient Structured Fluctuations in Two-Dimensional Systems with a High-Density Kagome Lattice Phase

Authors: Linsey Nowack, Stuart A. Rice

Abstract: We report studies of the phase diagrams of two two-dimensional systems composed of particles with repulsive pair potentials, each of which supports a high-density Kagome lattice phase. The commonalities in the phase diagrams of the systems we have studied and other 2D systems suggests the existence of a universal mechanism driving all to favor a similar series of packing arrangements as the densit… ▽ More We report studies of the phase diagrams of two two-dimensional systems composed of particles with repulsive pair potentials, each of which supports a high-density Kagome lattice phase. The commonalities in the phase diagrams of the systems we have studied and other 2D systems suggests the existence of a universal mechanism driving all to favor a similar series of packing arrangements as the density is increased, but the simulations considered show that the only such general rule proposed, namely the Süto theorem, is not a necessary condition for the support of multiple distinct lattice structures by a particular pair potential. We also find that close to the liquid-to-Kagome phase transition the transient structured fluctuations in the liquid have Kagome symmetry whereas deeper in the liquid phase the fluctuations have hexagonal symmetry. As the deviation of the liquid density from the transition density decreases fluctuations with hexagonal symmetry are replaced with those with Kagome symmetry. When the transition is string phase-to-Kagome phase the transient structured fluctuations in the string phase near the transition have both six-fold and other than six-fold symmetries, with stronger preference for six-fold symmetry in the Truskett system than in the Torquato system. The path of the string-to-Kagome transition in the Truskett system involves intermediate honeycomb configurations that subsequently buckle to form a Kagome lattice. The path of the string-to-Kagome transition in the Torquato system suggests that the Kagome phase is formed by coiled strings merging together; increasing density generates a Kagome phase with imperfections such as 8-particle rings. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Surface Reconstructions of Heusler Compounds in the Ni-Ti-Sn (001) System

Authors: Anthony D. Rice, Abhishek Sharan, Nathaniel S. Wilson, Sean D. Harrington, Mihir Pendharkar, Anderson Janotti, Chris J. Palmstrøm

Abstract: As progress is made on thin-film synthesis of Heusler compounds, a more complete understanding of the surface will be required to control their properties, especially as functional heterostructures are explored. Here, the surface reconstructions of semiconducting half-Heusler NiTiSn(001), and Ni1+xTiSn(001) (x=0.0-1.0) are explored as a way to optimize growth conditions during molecular beam epita… ▽ More As progress is made on thin-film synthesis of Heusler compounds, a more complete understanding of the surface will be required to control their properties, especially as functional heterostructures are explored. Here, the surface reconstructions of semiconducting half-Heusler NiTiSn(001), and Ni1+xTiSn(001) (x=0.0-1.0) are explored as a way to optimize growth conditions during molecular beam epitaxy. Density functional theory (DFT) calculations were carried out to guide the interpretation of the experimental results. For NiTiSn(001) a c(2x2) surface reconstruction was observed for Sn rich samples, while a (1x1) unreconstructed surface was observed for Ti-rich samples. A narrow range around 1:1:1 stoichiometry exhibited a (2x1) surface reconstruction. Electrical transport is used to relate the observed reflection high energy electron diffraction (RHEED) pattern during and after growth with carrier concentration and stoichiometry. Scanning tunneling microscopy and RHEED were used to examine surface reconstructions, the results of which are in good agreement with density functional calculations. X-ray photoelectron spectroscopy was used to determine surface termination and stoichiometry. Atomic surface models are proposed, which suggest Sn-dimers form in reconstructed Ni1+xTiSn(001) half-Heusler surfaces (x<0.25) with a transition to Ni terminated surfaces for x > 0.25. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Defects in Cd3As2 Epilayers Via Molecular Beam Epitaxy and Strategies for Reducing Them

Authors: Anthony Rice, Kwangwook Park, Eamonn Hughes, Kunal Mukherjee, Kirstin Alberi

Abstract: Molecular beam epitaxy offers an exciting avenue for investigating the behavior of topological semimetal Cd3As2, by providing routes for do**, alloying, strain engineering, and heterostructure formation. To date, however, minimal exploration has been devoted to the impact of defects that are incorporated into epilayers due to contraints imposed by the substrate and narrow growth window. Here, we… ▽ More Molecular beam epitaxy offers an exciting avenue for investigating the behavior of topological semimetal Cd3As2, by providing routes for do**, alloying, strain engineering, and heterostructure formation. To date, however, minimal exploration has been devoted to the impact of defects that are incorporated into epilayers due to contraints imposed by the substrate and narrow growth window. Here, we use a combination of lattice-matched ZnxCd1-xTe buffer layers, miscut substrates and broadband illumination to study how dislocations, twins and point defects influence the electron mobility of Cd3As2. A combination of defect suppression approaches produces Cd3As2 epilayers with electron mobilities upwards of 15,000 cm2/V-s at room temperature. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Journal ref: Phys. Rev. Materials 3, 121201 (2019)

Sets in $\mathbb{R}^d$ with slow-decaying density that avoid an unbounded collection of distances

Authors: Alex Rice

Abstract: For any $d\in \mathbb{N}$ and any function $f:(0,\infty)\to [0,1]$ with $f(R)\to 0$ as $R\to \infty$, we construct a set $A \subseteq \mathbb{R}^d$ and a sequence $R_n \to \infty$ such that $\|x-y\| \neq R_n$ for all $x,y\in A$ and $μ(A\cap B_{R_n})\geq f(R_n)μ(B_{R_n})$ for all $n\in \mathbb{N}$, where $B_R$ is the ball of radius $R$ centered at the origin and $μ$ is Lebesgue measure. This constr… ▽ More For any $d\in \mathbb{N}$ and any function $f:(0,\infty)\to [0,1]$ with $f(R)\to 0$ as $R\to \infty$, we construct a set $A \subseteq \mathbb{R}^d$ and a sequence $R_n \to \infty$ such that $\|x-y\| \neq R_n$ for all $x,y\in A$ and $μ(A\cap B_{R_n})\geq f(R_n)μ(B_{R_n})$ for all $n\in \mathbb{N}$, where $B_R$ is the ball of radius $R$ centered at the origin and $μ$ is Lebesgue measure. This construction exhibits a form of sharpness for a result established independently by Furstenberg-Katznelson-Weiss, Bourgain, and Falconer-Marstrand, and it generalizes to any metric induced by a norm on $\mathbb{R}^d$. △ Less

Submitted 4 June, 2019; v1 submitted 2 June, 2019; originally announced June 2019.

Comments: 3 pages, minor typos corrected

Binary Quadratic Forms in Difference Sets

Authors: Alex Rice

Abstract: We show that if $h(x,y)=ax^2+bxy+cy^2\in \mathbb{Z}[x,y]$ satisfies $Δ(h)=b^2-4ac\neq 0$, then any subset of $\{1,2,\dots,N\}$ lacking nonzero differences in the image of $h$ has size at most a constant depending on $h$ times $N\exp(-c\sqrt{\log N})$, where $c=c(h)>0$. We achieve this goal by adapting an $L^2$ density increment strategy previously used to establish analogous results for sums of on… ▽ More We show that if $h(x,y)=ax^2+bxy+cy^2\in \mathbb{Z}[x,y]$ satisfies $Δ(h)=b^2-4ac\neq 0$, then any subset of $\{1,2,\dots,N\}$ lacking nonzero differences in the image of $h$ has size at most a constant depending on $h$ times $N\exp(-c\sqrt{\log N})$, where $c=c(h)>0$. We achieve this goal by adapting an $L^2$ density increment strategy previously used to establish analogous results for sums of one or more single-variable polynomials. Our exposition is thorough and self-contained, in order to serve as an accessible gateway for readers who are unfamiliar with previous implementations of these techniques. △ Less

Submitted 12 May, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: 14 pages, typos corrected, to appear in Proceedings of Combinatorial and Additive Number Theory 2018

MSC Class: 11B30

Pair and Many-body Interactions Between Ligated Au Nanoparticles

Authors: Christopher Liepold, Alex Smith, Binhua Lin, Juan de Pablo, Stuart A. Rice

Abstract: We report the results of molecular dynamics simulations of the properties of a pseudo-atom model of dodecane thiol ligated 5-nm diameter gold nanoparticles (AuNP) in vacuum as a function of ligand coverage and particle separation in three state of aggregation: the isolated AuNP, an isolated pair of AuNPs and a square assembly of AuNPs. Our calculations show that for all values of the coverage the… ▽ More We report the results of molecular dynamics simulations of the properties of a pseudo-atom model of dodecane thiol ligated 5-nm diameter gold nanoparticles (AuNP) in vacuum as a function of ligand coverage and particle separation in three state of aggregation: the isolated AuNP, an isolated pair of AuNPs and a square assembly of AuNPs. Our calculations show that for all values of the coverage the ligand density along a radius emanating from the core of an isolated AuNP oscillates along the chain up to the fourth pseudo-atom, then smoothly decays to zero. We examine the ligand envelope as a function of the coverage and demonstrate that the deformation of that envelope generated by interaction between the NPs is coverage-dependent, so that the shape, depth and position of the minimum of the potential of mean force displays a systematic dependence on the coverage. We propose an accurate analytical description of the calculated potential of mean force with parameters that scale linearly with the ligand coverage. We define and calculate an effective pair potential of mean force for a square configuration of particles; our definition contains, implicitly, both the three- and four-particle contributions to deviation from additivity. We find that the effective pair potential of mean force in this configuration has a different minimum and a different well depth than the isolated pair potential of mean force. Previous work has found that the three-particle contribution to deviation from additivity is monotone repulsive, whereas we find that the combined three- and four-particle contributions have an attractive well, implying that the three- and four-particle contributions are of comparable magnitude but opposite sign, thereby suggesting that even higher order correction terms likely play a significant role in the behavior of assemblies of many nanoparticles. △ Less

Submitted 5 October, 2018; originally announced October 2018.

Comments: 28 pages, 10 figures

Reactive optical matter: light-induced motility in electrodynamically asymmetric nano-scale scatterers

Authors: Yuval Yifat, Delphine Coursault, Curtis W. Peterson, John Parker, Ying Bao, Stephen K. Gray, Stuart A. Rice, Norbert F. Scherer

Abstract: From Newtons third law, the principle of actio et reactio, we expect the forces between interacting particles to be equal and opposite. However, non-reciprocal forces can arise. Specifically, this has recently been shown theoretically in the interaction between dissimilar optically trapped particles mediated by an external field. As a result, despite the incident external field not having a transv… ▽ More From Newtons third law, the principle of actio et reactio, we expect the forces between interacting particles to be equal and opposite. However, non-reciprocal forces can arise. Specifically, this has recently been shown theoretically in the interaction between dissimilar optically trapped particles mediated by an external field. As a result, despite the incident external field not having a transverse component of momentum, the particle pair experiences a force in a direction transverse to the light propagation direction. In this letter, we directly measure the net non-reciprocal force in electrodynamically interacting nanoparticle dimers illuminated by plane waves and confined to pseudo one-dimensional geometries. We show by electrodynamic theory and simulations that inter-particle interactions cause asymmetric scattering from heterodimers and therefore, the non-reciprocal forces are a consequence of momentum conservation. Finally, we demonstrate experimentally that non-reciprocal dynamics occur generally for illuminated asymmetric scatterers. △ Less

Submitted 22 August, 2018; originally announced August 2018.

Comments: 15 pages, 4 figures. Supporting information containing 24 pages and 12 figures

MSC Class: 78-05

Direct Visualization of Barrier Crossing Dynamics in a Driven Optical Matter System

Authors: Patrick Figliozzi, Curtis W. Peterson, Stuart A. Rice, Norbert F. Scherer

Abstract: A major impediment to a more complete understanding of barrier crossing and other single-molecule processes is the inability to directly visualize the trajectories and dynamics of atoms and molecules in reactions. Rather, the kinetics are inferred from ensemble measurements or the position of a transducer (e.g. an AFM cantilever) as a surrogate variable. Direct visualization is highly desirable. H… ▽ More A major impediment to a more complete understanding of barrier crossing and other single-molecule processes is the inability to directly visualize the trajectories and dynamics of atoms and molecules in reactions. Rather, the kinetics are inferred from ensemble measurements or the position of a transducer (e.g. an AFM cantilever) as a surrogate variable. Direct visualization is highly desirable. Here, we achieve the direct measurement of barrier crossing trajectories by using optical microscopy to observe position and orientation changes of pairs of Ag nanoparticles in an optical ring trap, i.e. passing events. A two-step mechanism similar to a bimolecular exchange reaction is revealed by analysis that combines detailed knowledge of each trajectory, a statistically significant number of repetitions of the passing events, and the driving force-dependence of the process. We find that while the total event rate increases with driving force, this increase is only due to increased rate of encounters. There is no drive force-dependence on the rate of barrier crossing because the key motion for the process involves a radial motion of one particle as a thermal (random) fluctuation allowing the other to pass. This simple experiment can readily be extended to study more complex barrier crossing processes by replacing the spherical metal nanoparticles with anisotropic ones or through more intricate optical trap** potentials. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Transient Structured Fluctuations in a Two-dimensional System with Multiple Ordered Phases

Authors: Ari B. Roitman, Linsey M. Nowack, Chris Liepold, Binhua Lin, Stuart A. Rice

Abstract: We report the structure of transient fluctuations in the liquid phase of a two-dimensional system that exhibits several ordered phases with different symmetries. The density-temperature phase diagram of the system studied, composed of particles with a repulsive shouldered soft-core pair interaction, has regions with stable liquid and hexatic phases, a square solid phase, two separate hexagonal sol… ▽ More We report the structure of transient fluctuations in the liquid phase of a two-dimensional system that exhibits several ordered phases with different symmetries. The density-temperature phase diagram of the system studied, composed of particles with a repulsive shouldered soft-core pair interaction, has regions with stable liquid and hexatic phases, a square solid phase, two separate hexagonal solid phases and a quasi-crystalline phase with 12-fold symmetry. The structure of a fluctuation was determined by computing the same-time aperture cross correlation function of particle configurations. Along a low-temperature isotherm that intersects all the ordered phases we find that the liquid phase exhibits structured fluctuation with hexagonal symmetry near both liquid-hexatic transition lines. Along the same isotherm and in the stable liquid between the lower density hexatic-to-liquid and the higher density liquid-to-square solid transitions, we find that transient hexagonal ordered fluctuations dominate the liquid region near the hexatic-to-liquid transition and square ordered fluctuations dominate the liquid region near the liquid-to square solid transition, but that both structured fluctuations occur at all densities between these transition lines. At a higher temperature, at phase points in the liquid above but close to the density maximum of an underlying transition, there are ordered fluctuations that can be correlated with the structure of the lower temperature phase. △ Less

Submitted 3 July, 2018; v1 submitted 3 March, 2018; originally announced March 2018.

Comments: 35 pages, 16 figures

A Comment on the Scale Length Validity of the Position Dependent Diffusion Coefficient Representation of Structural Heterogeneity

Authors: Molly Wolfson, Christopher Liepold, Binhua Lin, Stuart A. Rice

Abstract: Experimental studies of the variation of the mean square displacement (MSD) of a particle in a confined colloid suspension that exhibits density variations on the scale length of the particle diameter are not in agreement with the prediction that the spatial variation in MSD should mimic the spatial variation in density. The predicted behavior is derived from the expectation that the MSD of a part… ▽ More Experimental studies of the variation of the mean square displacement (MSD) of a particle in a confined colloid suspension that exhibits density variations on the scale length of the particle diameter are not in agreement with the prediction that the spatial variation in MSD should mimic the spatial variation in density. The predicted behavior is derived from the expectation that the MSD of a particle depends on the system density and the assumption that the force acting on a particle is a point function of position. The experimental data come from studies of the MSDs of particles in narrow ribbon channels and between narrowly spaced parallel plates, and from new data, reported herein, of the radial and azimuthal MSDs of a colloid particle in a dense colloid suspension confined to a small circular cavity. In each of these geometries a dense colloid suspension exhibits pronounced density oscillations with spacing of a particle diameter. We remove the discrepancy between prediction and experiment using the Fisher-Methfessel interpretation of how local equilibrium in an inhomogeneous system is maintained to argue that the force acting on a particle is delocalized over a volume with radius equal to a particle diameter. Our interpretation has relevance to the relationship between the scale of inhomogeneity and the utility of translation of the particle MSD into a position dependent diffusion coefficient, and to the use of a spatially dependent diffusion coefficient to describe mass transport in a heterogeneous system. △ Less

Submitted 19 February, 2018; originally announced February 2018.

Comments: 16 pages, 7 figures

Growth, electrical, structural, and magnetic properties of half-Heusler CoTi$_{1-x}$Fe$_x$Sb

Authors: Sean D. Harrington, Anthony D. Rice, Tobias Brown-Heft, Bastien Bonef, Abhishek Sharan, Anthony P. McFadden, John A. Logan, Mihir Pendharkar, Mayer M. Feldman, Ozge Mercan, Andre G. Petukhov, Anderson Janotti, Leyla Çolakerol Arslan, Chris J. Palmstrøm

Abstract: Epitaxial thin films of the substitutionally alloyed half-Heusler series CoTi$_{1-x}$Fe$_x$Sb were grown by molecular beam epitaxy on InAlAs/InP(001) substrates for concentrations 0.0$\leq$x$\leq$1.0. The influence of Fe on the structural, electronic, and magnetic properties was studied and compared to that expected from density functional theory. The films are epitaxial and single crystalline, as… ▽ More Epitaxial thin films of the substitutionally alloyed half-Heusler series CoTi$_{1-x}$Fe$_x$Sb were grown by molecular beam epitaxy on InAlAs/InP(001) substrates for concentrations 0.0$\leq$x$\leq$1.0. The influence of Fe on the structural, electronic, and magnetic properties was studied and compared to that expected from density functional theory. The films are epitaxial and single crystalline, as measured by reflection high-energy electron diffraction and X-ray diffraction. Using in-situ X-ray photoelectron spectroscopy, only small changes in the valence band are detected for x$\leq$0.5. For films with x$\geq$0.05, ferromagnetism is observed in SQUID magnetometry with a saturation magnetization that scales linearly with Fe content. A dramatic decrease in the magnetic moment per formula unit occurs when the Fe is substitutionally alloyed on the Co site indicating a strong dependence on the magnetic moment with site occupancy. A crossover from both in-plane and out-of-plane magnetic moments to only in-plane moment occurs for higher concentrations of Fe. Ferromagnetic resonance indicates a transition from weak to strong interaction with a reduction in inhomogeneous broadening as Fe content is increased. Temperature-dependent transport reveals a semiconductor to metal transition with thermally activated behavior for x$\leq$0.5. Anomalous Hall effect and large negative magnetoresistance (up to -18.5% at 100 kOe for x=0.3) are observed for higher Fe content films. Evidence of superparamagnetism for x=0.3 and x=0.2 suggests for moderate levels of Fe, demixing of the CoTi$_{1-x}$Fe$_x$Sb films into Fe rich and Fe deficient regions may be present. Atom probe tomography is used to examine the Fe distribution in a x=0.3 film. Statistical analysis reveals a nonhomogeneous distribution of Fe atoms throughout the film, which is used to explain the observed magnetic and electrical behavior. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Journal ref: Phys. Rev. Materials 2, 014406 (2018)

Group actions and a multi-parameter Falconer distance problem

Authors: Kyle Hambrook, Alex Iosevich, Alex Rice

Abstract: In this paper we study the following multi-parameter variant of the celebrated Falconer distance problem. Given ${\textbf{d}}=(d_1,d_2, \dots, d_{\ell})\in \mathbb{N}^{\ell}$ with $d_1+d_2+\dots+d_{\ell}=d$ and $E \subseteq \mathbb{R}^d$, we define $$ Δ_{\textbf{d}}(E) = \left\{ \left(|x^{(1)}-y^{(1)}|,\ldots,|x^{(\ell)}-y^{(\ell)}|\right) : x,y \in E \right\} \subseteq \mathbb{R}^{\ell}, $$ where… ▽ More In this paper we study the following multi-parameter variant of the celebrated Falconer distance problem. Given ${\textbf{d}}=(d_1,d_2, \dots, d_{\ell})\in \mathbb{N}^{\ell}$ with $d_1+d_2+\dots+d_{\ell}=d$ and $E \subseteq \mathbb{R}^d$, we define $$ Δ_{\textbf{d}}(E) = \left\{ \left(|x^{(1)}-y^{(1)}|,\ldots,|x^{(\ell)}-y^{(\ell)}|\right) : x,y \in E \right\} \subseteq \mathbb{R}^{\ell}, $$ where for $x\in \mathbb{R}^d$ we write $x=\left( x^{(1)},\dots, x^{(\ell)} \right)$ with $x^{(i)} \in \mathbb{R}^{d_i}$. We ask how large does the Hausdorff dimension of $E$ need to be to ensure that the $\ell$-dimensional Lebesgue measure of $Δ_{\textbf{d}}(E)$ is positive? We prove that if $2 \leq d_i$ for $1 \leq i \leq \ell$, then the conclusion holds provided $$ \dim(E)>d-\frac{\min d_i}{2}+\frac{1}{3}.$$ We also note that, by previous constructions, the conclusion does not in general hold if $$\dim(E)<d-\frac{\min d_i}{2}.$$ A group action derivation of a suitable Mattila integral plays an important role in the argument. △ Less

Submitted 10 May, 2017; originally announced May 2017.

Dynamic mineral clouds on HD 189733b II. Monte Carlo radiative transfer for 3D cloudy exoplanet atmospheres: combining scattering and emission spectra

Authors: Elspeth Lee, Kenneth Wood, Ian Dobbs-Dixon, Anna Rice, Christiane Helling

Abstract: As the 3D spatial properties of exoplanet atmospheres are being observed in increasing detail by current and new generations of telescopes, the modelling of the 3D scattering effects of cloud forming atmospheres with inhomogeneous opacity structures becomes increasingly important to interpret observational data. We model the scattering and emission properties of a simulated cloud forming, inhomo… ▽ More As the 3D spatial properties of exoplanet atmospheres are being observed in increasing detail by current and new generations of telescopes, the modelling of the 3D scattering effects of cloud forming atmospheres with inhomogeneous opacity structures becomes increasingly important to interpret observational data. We model the scattering and emission properties of a simulated cloud forming, inhomogeneous opacity, hot Jupiter atmosphere of HD 189733b. We compare our results to available HST and Spitzer data and quantify the effects of 3D multiple-scattering on observable properties of the atmosphere. We discuss potential observational properties of HD 189733b for the upcoming TESS and CHEOPS missions. We develop a Monte Carlo radiative transfer code and apply it to post-process output of our 3D radiative-hydrodynamic, cloud formation simulation of HD 189733b. We employ three variance reduction techniques; next event estimation, survival biasing and composite emission biasing to improve signal-to-noise of the output.For cloud particle scattering events, a log-normal area distribution is constructed from the 3D cloud formation RHD results and stochastically sampled in order to model the Rayleigh and Mie scattering behaviour of a mixture of grain sizes. Stellar photon packets incident on the eastern dayside hemisphere show predominantly Rayleigh, single-scattering behaviour, while multiple-scattering occurs on the western hemisphere. Combined scattered and thermal emitted light predictions are consistent with published HST and Spitzer secondary transit observations. Our model predictions are also consistent with geometric albedo constraints from optical wavelength ground based polarimetry and HST B-band measurements. We predict an apparent geometric albedo for HD 189733b of 0.205 and 0.229, in the TESS and CHEOPS photometric bands respectively. △ Less

Submitted 18 January, 2017; v1 submitted 4 January, 2017; originally announced January 2017.

Comments: 17 pages, 11 figures, 2 tables. Accepted to A&A

Journal ref: A&A 601, A22 (2017)

A Maximal Extension of the Best-Known Bounds for the Furstenberg-Sárközy Theorem

Authors: Alex Rice

Abstract: We show that if $h\in \mathbb{Z}[x]$ is a polynomial of degree $k \geq 2$ such that $h(\mathbb{N})$ contains a multiple of $q$ for every $q\in \mathbb{N}$, known as an $\textit{intersective polynomial}$, then any subset of $\{1,2,\dots,N\}$ with no nonzero differences of the form $h(n)$ for $n\in\mathbb{N}$ has density at most a constant depending on $h$ and $c$ times… ▽ More We show that if $h\in \mathbb{Z}[x]$ is a polynomial of degree $k \geq 2$ such that $h(\mathbb{N})$ contains a multiple of $q$ for every $q\in \mathbb{N}$, known as an $\textit{intersective polynomial}$, then any subset of $\{1,2,\dots,N\}$ with no nonzero differences of the form $h(n)$ for $n\in\mathbb{N}$ has density at most a constant depending on $h$ and $c$ times $(\log N)^{-c\log\log\log\log N}$, for any $c<(\log((k^2+k)/2))^{-1}$. Bounds of this type were previously known only for monomials and intersective quadratics, and this is currently the best-known bound for the original Furstenberg-Sárközy Theorem, i.e. $h(n)=n^2$. The intersective condition is necessary to force any density decay for polynomial difference-free sets, and in that sense our result is the maximal extension of this particular quantitative estimate. Further, we show that if $g,h\in \mathbb{Z}[x]$ are intersective, then any set lacking nonzero differences of the form $g(m)+h(n)$ for $m,n\in \mathbb{N}$ has density at most $\exp(-c(\log N)^μ)$, where $c=c(g,h)>0$, $μ=μ(\text{deg}(g),\text{deg}(h))>0$, and $μ(2,2)=1/2$. We also include a brief discussion of sums of three or more polynomials in the final section. △ Less

Submitted 8 June, 2020; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 30 pages, minor revision of published version, small changes to Lemma 4.5, the value of $\mathcal{Q}$ in the proof of Theorem 1.2, and the value of $μ$ in the statement of Theorem 5.7. arXiv admin note: text overlap with arXiv:1504.04904

Analytic Solution of the Ornstein-Zernike Relation for Inhomogeneous Liquids

Authors: Yan He, Stuart A. Rice, Xinliang Xu

Abstract: The properties of a classical simple liquid can be strongly affected by application of an external potential that supports inhomogeneity. To understand the nature of these property changes the equilibrium particle distribution functions of the liquid have, typically, been evaluated individually as functions of system control parameters, such as the packing fraction of a hard sphere liquid. In this… ▽ More The properties of a classical simple liquid can be strongly affected by application of an external potential that supports inhomogeneity. To understand the nature of these property changes the equilibrium particle distribution functions of the liquid have, typically, been evaluated individually as functions of system control parameters, such as the packing fraction of a hard sphere liquid. In this study we focus attention on two distribution functions that characterize the inhomogeneous liquid: the pair direct correlation function $c(\mathbf{r}_1,\mathbf{r}_2)$ and the pair correlation function $g(\mathbf{r}_1,\mathbf{r}_2)$. We solve the Ornstein-Zernike equation for the inhomogeneous liquid to obtain $c(\mathbf{r}_1,\mathbf{r}_2)$ as an explicit function of $g(\mathbf{r}_1,\mathbf{r}_2)$, with the latter considered to be an experimental observable, using information about the well studied and resolved $g^0(\mathbf{r}_1-\mathbf{r}_2)$ and $c^0(\mathbf{r}_1-\mathbf{r}_2)$ for the parent homogeneous ($^0$) system. The result obtained with our formulation is tested against the exact solutions for the correlation and distribution functions of a one-dimensional inhomogeneous hard rod liquid. Following the success of that test the formalism is extended to obtain $c(\mathbf{r}_1,\mathbf{r}_2)$ as an explicit function of $g(\mathbf{r}_1,\mathbf{r}_2)$ in a three dimensional liquid. △ Less

Submitted 1 December, 2016; v1 submitted 21 September, 2016; originally announced September 2016.

Comments: 18 pages, 3 figures

Journal ref: J. Chem. Phys. 145, 234508 (2016)

Reference study to characterise plasma and magnetic properties of ultra-cool atmospheres

Authors: M. I. Rodriguez-Barrera, Ch. Helling, C. R. Stark, A. M. Rice

Abstract: Radio and X-ray emission from brown dwarfs suggest that an ionised gas and a magnetic field with a sufficient flux density must be present. We perform a reference study for late M-dwarfs, brown dwarfs and giant gas planet to identify which ultra-cool objects are most susceptible to plasma and magnetic processes. Only thermal ionisation is considered. We utilise the {\sc Drift-Phoenix} model grid w… ▽ More Radio and X-ray emission from brown dwarfs suggest that an ionised gas and a magnetic field with a sufficient flux density must be present. We perform a reference study for late M-dwarfs, brown dwarfs and giant gas planet to identify which ultra-cool objects are most susceptible to plasma and magnetic processes. Only thermal ionisation is considered. We utilise the {\sc Drift-Phoenix} model grid where the local atmospheric structure is determined by the global parameters T$_{\rm eff}$, $\log(g)$ and [M/H]. Our results show that it is not unreasonable to expect H$_α$ or radio emission to origin from Brown Dwarf atmospheres as in particular the rarefied upper parts of the atmospheres can be magnetically coupled despite having low degrees of thermal gas ionisation. Such ultra-cool atmospheres could therefore drive auroral emission without the need for a companion's wind or an outgassing moon. The minimum threshold for the magnetic flux density required for electrons and ions to be magnetised is well above typical values of the global magnetic field of a brown dwarf and a giant gas planet. Na$^{+}$, K$^{+}$ and Ca$^{+}$ are the dominating electron donors in low-density atmospheres (low log(g), solar metallicity) independent of T$_{\rm eff}$. Mg$^{+}$ and Fe$^{+}$ dominate the thermal ionisation in the inner parts of M-dwarf atmospheres. Molecules remain unimportant for thermal ionisation. Chemical processes (e.g. cloud formation) affecting the most abundant electron donors, Mg and Fe, will have a direct impact on the state of ionisation in ultra-cool atmospheres. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 22 pages, accepted for publication in MNRAS

Difference Sets and Polynomials

Authors: Neil Lyall, Alex Rice

Abstract: We provide upper bounds on the largest subsets of $\{1,2,\dots,N\}$ with no differences of the form $h_1(n_1)+\cdots+h_{\ell}(n_{\ell})$ with $n_i\in \mathbb{N}$ or $h_1(p_1)+\cdots+h_{\ell}(p_{\ell})$ with $p_i$ prime, where $h_i\in \mathbb{Z}[x]$ lie in in the classes of so-called intersective and $\mathcal{P}$-intersective polynomials, respectively. For example, we show that a subset of… ▽ More We provide upper bounds on the largest subsets of $\{1,2,\dots,N\}$ with no differences of the form $h_1(n_1)+\cdots+h_{\ell}(n_{\ell})$ with $n_i\in \mathbb{N}$ or $h_1(p_1)+\cdots+h_{\ell}(p_{\ell})$ with $p_i$ prime, where $h_i\in \mathbb{Z}[x]$ lie in in the classes of so-called intersective and $\mathcal{P}$-intersective polynomials, respectively. For example, we show that a subset of $\{1,2,\dots,N\}$ free of nonzero differences of the form $n^j+m^k$ for fixed $j,k\in \mathbb{N}$ has density at most $e^{-(\log N)^μ}$ for some $μ=μ(j,k)>0$. Our results, obtained by adapting two Fourier analytic, circle method-driven strategies, either recover or improve upon all previous results for a single polynomial. UPDATE: While the results and proofs in this preprint are correct, the main result (Theorem 1.1) has been superseded prior to publication by a new paper ( https://arxiv.longhoe.net/abs/1612.01760 ) that provides better results with considerably less technicality, to which the interested reader should refer. △ Less

Submitted 6 December, 2016; v1 submitted 19 April, 2015; originally announced April 2015.

Comments: 31 pages. The interested reader should likely instead refer to arXiv:1612.01760

A Conversation with Richard A. Olshen

Authors: John A. Rice

Abstract: Richard Olshen was born in Portland, Oregon, on May 17, 1942. Richard spent his early years in Chevy Chase, Maryland, but has lived most of his life in California. He received an A.B. in Statistics at the University of California, Berkeley, in 1963, and a Ph.D. in Statistics from Yale University in 1966, writing his dissertation under the direction of Jimmie Savage and Frank Anscombe. He served as… ▽ More Richard Olshen was born in Portland, Oregon, on May 17, 1942. Richard spent his early years in Chevy Chase, Maryland, but has lived most of his life in California. He received an A.B. in Statistics at the University of California, Berkeley, in 1963, and a Ph.D. in Statistics from Yale University in 1966, writing his dissertation under the direction of Jimmie Savage and Frank Anscombe. He served as Research Staff Statistician and Lecturer at Yale in 1966-1967. Richard accepted a faculty appointment at Stanford University in 1967, and has held tenured faculty positions at the University of Michigan (1972-1975), the University of California, San Diego (1975-1989), and Stanford University (since 1989). At Stanford, he is Professor of Health Research and Policy (Biostatistics), Chief of the Division of Biostatistics (since 1998) and Professor (by courtesy) of Electrical Engineering and of Statistics. At various times, he has had visiting faculty positions at Columbia, Harvard, MIT, Stanford and the Hebrew University. Richard's research interests are in statistics and mathematics and their applications to medicine and biology. Much of his work has concerned binary tree-structured algorithms for classification, regression, survival analysis and clustering. Those for classification and survival analysis have been used with success in computer-aided diagnosis and prognosis, especially in cardiology, oncology and toxicology. He coauthored the 1984 book Classification and Regression Trees (with Leo Brieman, Jerome Friedman and Charles Stone) which gives motivation, algorithms, various examples and mathematical theory for what have come to be known as CART algorithms. The approaches to tree-structured clustering have been applied to problems in digital radiography (with Stanford EE Professor Robert Gray) and to HIV genetics, the latter work including studies on single nucleotide polymorphisms, which has helped to shed light on the presence of hypertension in certain subpopulations of women. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: Published at http://dx.doi.org/10.1214/14-STS492 in the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-STS-STS492

Journal ref: Statistical Science 2015, Vol. 30, No. 1, 118-132

Fast-Forward Assisted STIRAP

Authors: Shumpei Masuda, Stuart A. Rice

Abstract: We consider combined stimulated Raman adiabatic passage (STIRAP) and fast forward field (FFF) control of selective vibrational population transfer in a polyatomic molecule. The motivation for using this combination control scheme is twofold: (i) to overcome transfer inefficiency that occurs when the STIRAP fields and pulse durations must be restricted to avoid excitation of population transfers th… ▽ More We consider combined stimulated Raman adiabatic passage (STIRAP) and fast forward field (FFF) control of selective vibrational population transfer in a polyatomic molecule. The motivation for using this combination control scheme is twofold: (i) to overcome transfer inefficiency that occurs when the STIRAP fields and pulse durations must be restricted to avoid excitation of population transfers that compete with the targeted transfer and (ii) to overcome transfer inefficiency resulting from embedding of the actively driven subset of states in a large manifold of states. We show that, in a subset of states that is coupled to background states, a combination of STIRAP and FFFs that do not individually generate processes that are competitive with the desired population transfer can generate greater population transfer efficiency than can ordinary STIRAP with similar field strength and/or pulse duration. The vehicle for our considerations is enhancing the yield of HNC in the driven ground state-to-ground state nonrotating HCN/HNC isomerization reaction and selective population of one of a pair of near degenerate states in non rotating SCCl$_2$. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Comments: arXiv admin note: text overlap with arXiv:1409.0784