Researcher profile

Paul Larson

Paul Larson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2020arXiv

Prediction of Chlorine and Fluorine Crystal Structures at High Pressure Using Symmetry Driven Structure Search with Geometric Constraints

The high-pressure properties of fluorine and chlorine are not yet well understood because both are highly reactive and volatile elements, which has made conducting diamond anvil cell and x-ray diffraction experiments a challenge. Here we use ab initio methods to search for stable crystal structures of both elements at megabar pressures. We demonstrate how symmetry and geometric constraints can be combined to efficiently generate crystal structures that are composed of diatomic molecules. Our algorithm extends the symmetry driven structure search method [Phys. Rev. B 98 (2018) 174107] by adding constraints for the bond length and the number of atoms in a molecule, while still maintaining generality. As a method of validation, we have tested our approach for dense hydrogen and reproduced the known molecular structures of Cmca-12 and Cmca-4. We apply our algorithm to study chlorine and fluorine in the pressure range from 10--4000 GPa while considering crystal structures with up to 40 atoms per unit cell. We predict chlorine to follow the same series of phase transformations as elemental iodine from Cmca to Immm to Fm$\bar{3}$m, but at substantially higher pressures. We predict fluorine to transition from a C2/c to an Cmca structure at 70 GPa, to a novel orthorhombic and metallic structure with P$4_2$/mmc symmetry at 2500 GPa, and finally into its cubic analogue form with Pm$\bar{3}$n symmetry at 3000 GPa.

preprint2015arXiv

Automorphisms of $\mathscr{P}(λ)/\mathscr{I}_κ$

We study conditions on automorphisms of Boolean algebras of the form $P(λ)/I_κ$ (where $λ$ is an uncountable cardinal and $I_κ$ is the ideal of sets of cardinality less than $κ$) which allow one to conclude that a given automorphism is trivial. We show (among other things) that every cardinality-preserving automorphism of $P(2^κ)/I_{κ^+}$ which is trivial on all sets of cardinality $κ^+$ is trivial, and that $MA_{\aleph_1}$ implies that every automorphism of $P(\mathbb{R})/Fin$ is trivial on a cocountable set.

preprint2010arXiv

The Stationary Set Splitting Game

The \emph{stationary set splitting game} is a game of perfect information of length $ω_{1}$ between two players, \unspls and \spl, in which \unspls chooses stationarily many countable ordinals and \spls tries to continuously divide them into two stationary pieces. We show that it is possible in ZFC to force a winning strategy for either player, or for neither. This gives a new counterexample to $Σ^{2}_{2}$ maximality with a predicate for the nonstationary ideal on $ω_{1}$, and an example of a consistently undetermined game of length $ω_{1}$ with payoff definable in the second-order monadic logic of order. We also show that the determinacy of the game is consistent with Martin's Axiom but not Martin's Maximum.

preprint2010arXiv

Universally measurable sets in generic extensions

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $σ$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for each such atomless measure. In 1908, Hausdorff proved that there exist universally null sets of real numbers of cardinality $\aleph_{1}$, and thus that there exist at least $2^{\aleph_{1}}$ such sets. Laver showed in the 1970's that consistently there are just continuum many universally null sets of reals. The question of whether there exist more than continuum many universally measurable sets of reals was asked by Mauldin in 1978. We show that consistently there exist only continuum many universally measurable sets. This result also follows from work of Ciesielski and Pawlikowski on the iterated Sacks model. In the models we consider (forcing extensions by suitably-sized random algebras) every set of reals is universally measurable if and only if it and its complement are unions of ground model continuum many Borel sets.

preprint2010arXiv

What majority decisions are possible with possible abstaining

Suppose we are given a family of choice functions on pairs from a given finite set. The set is considered as a set of alternatives (say candidates for an office) and the functions as potential "voters". The question is, what choice functions agree, on every pair, with the majority of some finite subfamily of the voters? For the problem as stated, a complete characterization was given in \citet{shelah2009mdp}, but here we allow each voter to abstain. There are four cases.