-
libEnsemble: A Library to Coordinate the Concurrent Evaluation of Dynamic Ensembles of Calculations
Authors:
Stephen Hudson,
Jeffrey Larson,
John-Luke Navarro,
Stefan M. Wild
Abstract:
Almost all applications stop scaling at some point; those that don't are seldom performant when considering time to solution on anything but aspirational/unicorn resources. Recognizing these tradeoffs as well as greater user functionality in a near-term exascale computing era, we present libEnsemble, a library aimed at particular scalability- and capability-stretching uses. libEnsemble enables run…
▽ More
Almost all applications stop scaling at some point; those that don't are seldom performant when considering time to solution on anything but aspirational/unicorn resources. Recognizing these tradeoffs as well as greater user functionality in a near-term exascale computing era, we present libEnsemble, a library aimed at particular scalability- and capability-stretching uses. libEnsemble enables running concurrent instances of an application in dynamically allocated ensembles through an extensible Python library. We highlight the structure, execution, and capabilities of the library on leading pre-exascale environments as well as advanced capabilities for exascale environments and beyond.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Scalable Statistical Inference of Photometric Redshift via Data Subsampling
Authors:
Arindam Fadikar,
Stefan M. Wild,
Jonas Chaves-Montero
Abstract:
Handling big data has largely been a major bottleneck in traditional statistical models. Consequently, when accurate point prediction is the primary target, machine learning models are often preferred over their statistical counterparts for bigger problems. But full probabilistic statistical models often outperform other models in quantifying uncertainties associated with model predictions. We dev…
▽ More
Handling big data has largely been a major bottleneck in traditional statistical models. Consequently, when accurate point prediction is the primary target, machine learning models are often preferred over their statistical counterparts for bigger problems. But full probabilistic statistical models often outperform other models in quantifying uncertainties associated with model predictions. We develop a data-driven statistical modeling framework that combines the uncertainties from an ensemble of statistical models learned on smaller subsets of data carefully chosen to account for imbalances in the input space. We demonstrate this method on a photometric redshift estimation problem in cosmology, which seeks to infer a distribution of the redshift -- the stretching effect in observing the light of far-away galaxies -- given multivariate color information observed for an object in the sky. Our proposed method performs balanced partitioning, graph-based data subsampling across the partitions, and training of an ensemble of Gaussian process models.
△ Less
Submitted 1 April, 2021; v1 submitted 29 March, 2021;
originally announced March 2021.
-
Exploiting Symmetry Reduces the Cost of Training QAOA
Authors:
Ruslan Shaydulin,
Stefan M. Wild
Abstract:
A promising approach to the practical application of the Quantum Approximate Optimization Algorithm (QAOA) is finding QAOA parameters classically in simulation and sampling the solutions from QAOA with optimized parameters on a quantum computer. Doing so requires repeated evaluations of QAOA energy in simulation. We propose a novel approach for accelerating the evaluation of QAOA energy by leverag…
▽ More
A promising approach to the practical application of the Quantum Approximate Optimization Algorithm (QAOA) is finding QAOA parameters classically in simulation and sampling the solutions from QAOA with optimized parameters on a quantum computer. Doing so requires repeated evaluations of QAOA energy in simulation. We propose a novel approach for accelerating the evaluation of QAOA energy by leveraging the symmetry of the problem. We show a connection between classical symmetries of the objective function and the symmetries of the terms of the cost Hamiltonian with respect to the QAOA energy. We show how by considering only the terms that are not connected by symmetry, we can significantly reduce the cost of evaluating the QAOA energy. Our approach is general and applies to any known subgroup of symmetries and is not limited to graph problems. Our results are directly applicable to nonlocal QAOA generalization RQAOA. We outline how available fast graph automorphism solvers can be leveraged for computing the symmetries of the problem in practice. We implement the proposed approach on the MaxCut problem using a state-of-the-art tensor network simulator and a graph automorphism solver on a benchmark of 48 graphs with up to 10,000 nodes. Our approach provides an improvement for $p=1$ on $71.7\%$ of the graphs considered, with a median speedup of $4.06$, on a benchmark where $62.5\%$ of the graphs are known to be hard for automorphism solvers.
△ Less
Submitted 10 March, 2021; v1 submitted 25 January, 2021;
originally announced January 2021.
-
Get on the BAND Wagon: A Bayesian Framework for Quantifying Model Uncertainties in Nuclear Dynamics
Authors:
D. R. Phillips,
R. J. Furnstahl,
U. Heinz,
T. Maiti,
W. Nazarewicz,
F. M. Nunes,
M. Plumlee,
M. T. Pratola,
S. Pratt,
F. G. Viens,
S. M. Wild
Abstract:
We describe the Bayesian Analysis of Nuclear Dynamics (BAND) framework, a cyberinfrastructure that we are develo** which will unify the treatment of nuclear models, experimental data, and associated uncertainties. We overview the statistical principles and nuclear-physics contexts underlying the BAND toolset, with an emphasis on Bayesian methodology's ability to leverage insight from multiple mo…
▽ More
We describe the Bayesian Analysis of Nuclear Dynamics (BAND) framework, a cyberinfrastructure that we are develo** which will unify the treatment of nuclear models, experimental data, and associated uncertainties. We overview the statistical principles and nuclear-physics contexts underlying the BAND toolset, with an emphasis on Bayesian methodology's ability to leverage insight from multiple models. In order to facilitate understanding of these tools we provide a simple and accessible example of the BAND framework's application. Four case studies are presented to highlight how elements of the framework will enable progress on complex, far-ranging problems in nuclear physics. By collecting notation and terminology, providing illustrative examples, and giving an overview of the associated techniques, this paper aims to open paths through which the nuclear physics and statistics communities can contribute to and build upon the BAND framework.
△ Less
Submitted 21 May, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Electrically controlled emission from singlet and triplet exciton species in atomically thin light emitting diodes
Authors:
Andrew Y. Joe,
Luis A. Jauregui,
Kateryna Pistunova,
Andrés M. Mier Valdivia,
Zhengguang Lu,
Dominik S. Wild,
Giovanni Scuri,
Kristiaan De Greve,
Ryan J. Gelly,
You Zhou,
Jiho Sung,
Andrey Sushko,
Takashi Taniguchi,
Kenji Watanabe,
Dmitry Smirnov,
Mikhail D. Lukin,
Hongkun Park,
Philip Kim
Abstract:
Excitons are composite bosons that can feature spin singlet and triplet states. In usual semiconductors, without an additional spin-flip mechanism, triplet excitons are extremely inefficient optical emitters. Transition metal dichalcogenides (TMDs), with their large spin-orbit coupling, have been of special interest for valleytronic applications for their coupling of circularly polarized light to…
▽ More
Excitons are composite bosons that can feature spin singlet and triplet states. In usual semiconductors, without an additional spin-flip mechanism, triplet excitons are extremely inefficient optical emitters. Transition metal dichalcogenides (TMDs), with their large spin-orbit coupling, have been of special interest for valleytronic applications for their coupling of circularly polarized light to excitons with selective valley and spin$^{1-4}$. In atomically thin MoSe$_2$/WSe$_2$ TMD van der Waals (vdW) heterostructures, the unique atomic registry of vdW layers provides a quasi-angular momentum to interlayer excitons$^{5,6}$, enabling emission from otherwise dark spin triplet excitons. Here, we report electrically tunable spin singlet and triplet exciton emission from atomically aligned TMD heterostructures. We confirm the spin configurations of the light-emitting excitons employing magnetic fields to measure effective exciton g-factors. The interlayer tunneling current across the TMD vdW heterostructure enables the electrical generation of singlet and triplet exciton emission in this atomically thin PN junction. We demonstrate electrically tunability between the singlet and triplet excitons that are generated by charge injection. Atomically thin TMD heterostructure light emitting diodes thus enables a route for optoelectronic devices that can configure spin and valley quantum states independently by controlling the atomic stacking registry.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Machine learning-based inversion of nuclear responses
Authors:
Krishnan Raghavan,
Prasanna Balaprakash,
Alessandro Lovato,
Noemi Rocco,
Stefan M. Wild
Abstract:
A microscopic description of the interaction of atomic nuclei with external electroweak probes is required for elucidating aspects of short-range nuclear dynamics and for the correct interpretation of neutrino oscillation experiments. Nuclear quantum Monte Carlo methods infer the nuclear electroweak response functions from their Laplace transforms. Inverting the Laplace transform is a notoriously…
▽ More
A microscopic description of the interaction of atomic nuclei with external electroweak probes is required for elucidating aspects of short-range nuclear dynamics and for the correct interpretation of neutrino oscillation experiments. Nuclear quantum Monte Carlo methods infer the nuclear electroweak response functions from their Laplace transforms. Inverting the Laplace transform is a notoriously ill-posed problem; and Bayesian techniques, such as maximum entropy, are typically used to reconstruct the original response functions in the quasielastic region. In this work, we present a physics-informed artificial neural network architecture suitable for approximating the inverse of the Laplace transform. Utilizing simulated, albeit realistic, electromagnetic response functions, we show that this physics-informed artificial neural network outperforms maximum entropy in both the low-energy transfer and the quasielastic regions, thereby allowing for robust calculations of electron scattering and neutrino scattering on nuclei and inclusive muon capture rates.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Lazy Search Trees
Authors:
Bryce Sandlund,
Sebastian Wild
Abstract:
We introduce the lazy search tree data structure. The lazy search tree is a comparison-based data structure on the pointer machine that supports order-based operations such as rank, select, membership, predecessor, successor, minimum, and maximum while providing dynamic operations insert, delete, change-key, split, and merge. We analyze the performance of our data structure based on a partition of…
▽ More
We introduce the lazy search tree data structure. The lazy search tree is a comparison-based data structure on the pointer machine that supports order-based operations such as rank, select, membership, predecessor, successor, minimum, and maximum while providing dynamic operations insert, delete, change-key, split, and merge. We analyze the performance of our data structure based on a partition of current elements into a set of gaps $\{Δ_i\}$ based on rank. A query falls into a particular gap and splits the gap into two new gaps at a rank $r$ associated with the query operation. If we define $B = \sum_i |Δ_i| \log_2(n/|Δ_i|)$, our performance over a sequence of $n$ insertions and $q$ distinct queries is $O(B + \min(n \log \log n, n \log q))$. We show $B$ is a lower bound.
Effectively, we reduce the insertion time of binary search trees from $Θ(\log n)$ to $O(\min(\log(n/|Δ_i|) + \log \log |Δ_i|, \; \log q))$, where $Δ_i$ is the gap in which the inserted element falls. Over a sequence of $n$ insertions and $q$ queries, a time bound of $O(n \log q + q \log n)$ holds; better bounds are possible when queries are non-uniformly distributed. As an extreme case of non-uniformity, if all queries are for the minimum element, the lazy search tree performs as a priority queue with $O(\log \log n)$ time insert and decrease-key operations. The same data structure supports queries for any rank, interpolating between binary search trees and efficient priority queues.
Lazy search trees can be implemented to operate mostly on arrays, requiring only $O(\min(q, n))$ pointers. Via direct reduction, our data structure also supports the efficient access theorems of the splay tree, providing a powerful data structure for non-uniform element access, both when the number of accesses is small and large.
△ Less
Submitted 17 October, 2020;
originally announced October 2020.
-
Optimization and Supervised Machine Learning Methods for Fitting Numerical Physics Models without Derivatives
Authors:
Raghu Bollapragada,
Matt Menickelly,
Witold Nazarewicz,
Jared O'Neal,
Paul-Gerhard Reinhard,
Stefan M. Wild
Abstract:
We address the calibration of a computationally expensive nuclear physics model for which derivative information with respect to the fit parameters is not readily available. Of particular interest is the performance of optimization-based training algorithms when dozens, rather than millions or more, of training data are available and when the expense of the model places limitations on the number o…
▽ More
We address the calibration of a computationally expensive nuclear physics model for which derivative information with respect to the fit parameters is not readily available. Of particular interest is the performance of optimization-based training algorithms when dozens, rather than millions or more, of training data are available and when the expense of the model places limitations on the number of concurrent model evaluations that can be performed.
As a case study, we consider the Fayans energy density functional model, which has characteristics similar to many model fitting and calibration problems in nuclear physics. We analyze hyperparameter tuning considerations and variability associated with stochastic optimization algorithms and illustrate considerations for tuning in different computational settings.
△ Less
Submitted 14 December, 2020; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Succinct Permutation Graphs
Authors:
Konstantinos Tsakalidis,
Sebastian Wild,
Viktor Zamaraev
Abstract:
We present a succinct data structure for permutation graphs, and their superclass of circular permutation graphs, i.e., data structures using optimal space up to lower order terms. Unlike concurrent work on circle graphs (Acan et al. 2022), our data structure also supports distance and shortest-path queries, as well as adjacency and neighborhood queries, all in optimal time. We present in particul…
▽ More
We present a succinct data structure for permutation graphs, and their superclass of circular permutation graphs, i.e., data structures using optimal space up to lower order terms. Unlike concurrent work on circle graphs (Acan et al. 2022), our data structure also supports distance and shortest-path queries, as well as adjacency and neighborhood queries, all in optimal time. We present in particular the first succinct exact distance oracle for (circular) permutation graphs. A second succinct data structure also supports degree queries in time independent of the neighborhood's size at the expense of an $O(\log n/\log \log n)$-factor overhead in all running times. Furthermore, we develop a succinct data structure for the class of bipartite permutation graphs. We demonstrate how to run algorithms directly over our succinct representations for several problems on permutation graphs: Clique, Coloring, Independent Set, Hamiltonian Cycle, All-Pair Shortest Paths, and others.
Finally, we initiate the study of semi-distributed graph representations; a concept that smoothly interpolates between distributed (labeling schemes) and centralized (standard data structures). We show how to turn some of our data structures into semi-distributed representations by storing only $O(n)$ bits of additional global information, circumventing the lower bound on distance labeling schemes for permutation graphs.
△ Less
Submitted 24 September, 2022; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Recursive Two-Step Lookahead Expected Payoff for Time-Dependent Bayesian Optimization
Authors:
S. Ashwin Renganathan,
Jeffrey Larson,
Stefan Wild
Abstract:
We propose a novel Bayesian method to solve the maximization of a time-dependent expensive-to-evaluate oracle. We are interested in the decision that maximizes the oracle at a finite time horizon, when relatively few noisy evaluations can be performed before the horizon. Our recursive, two-step lookahead expected payoff ($\texttt{r2LEY}$) acquisition function makes nonmyopic decisions at every sta…
▽ More
We propose a novel Bayesian method to solve the maximization of a time-dependent expensive-to-evaluate oracle. We are interested in the decision that maximizes the oracle at a finite time horizon, when relatively few noisy evaluations can be performed before the horizon. Our recursive, two-step lookahead expected payoff ($\texttt{r2LEY}$) acquisition function makes nonmyopic decisions at every stage by maximizing the estimated expected value of the oracle at the horizon. $\texttt{r2LEY}$ circumvents the evaluation of the expensive multistep (more than two steps) lookahead acquisition function by recursively optimizing a two-step lookahead acquisition function at every stage; unbiased estimators of this latter function and its gradient are utilized for efficient optimization. $\texttt{r2LEY}$ is shown to exhibit natural exploration properties far from the time horizon, enabling accurate emulation of the oracle, which is exploited in the final decision made at the horizon. To demonstrate the utility of $\texttt{r2LEY}$, we compare it with time-dependent extensions of popular myopic acquisition functions via both synthetic and real-world datasets.
△ Less
Submitted 8 December, 2020; v1 submitted 14 June, 2020;
originally announced June 2020.
-
Cavity quantum optomechanics with an atom-array membrane
Authors:
Ephraim Shahmoon,
Dominik S. Wild,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We consider a quantum optomechanical scheme wherein an ordered two-dimensional array of laser-trapped atoms is used as a movable membrane. The extremely light mass of the atoms yields very strong optomechanical coupling, while their spatial order largely eliminates scattering losses. We show that this combination opens the way for quantum optomechanical nonlinearities, well within the ultimate sin…
▽ More
We consider a quantum optomechanical scheme wherein an ordered two-dimensional array of laser-trapped atoms is used as a movable membrane. The extremely light mass of the atoms yields very strong optomechanical coupling, while their spatial order largely eliminates scattering losses. We show that this combination opens the way for quantum optomechanical nonlinearities, well within the ultimate single-photon strong-coupling regime. As an example, we analyze the possibility to observe optomechanically induced quantum effects such as photon blockade and time-delayed non-classical correlations. We discuss novel opportunities opened by the optomechanical backaction on the internal states of the array atoms.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Theory of cavity QED with 2D atomic arrays
Authors:
Ephraim Shahmoon,
Dominik S. Wild,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We develop a quantum optical formalism to treat a two-dimensional array of atoms placed in an optical cavity. Importantly, and in contrast to typical treatments, we account for cooperative dipole-dipole effects mediated by the interaction of the atoms with the outside, non-cavity-confined modes. Based on the observation that scattering to these modes is largely inhibited due to these cooperative e…
▽ More
We develop a quantum optical formalism to treat a two-dimensional array of atoms placed in an optical cavity. Importantly, and in contrast to typical treatments, we account for cooperative dipole-dipole effects mediated by the interaction of the atoms with the outside, non-cavity-confined modes. Based on the observation that scattering to these modes is largely inhibited due to these cooperative effects, we construct a generic formalism, independent of the specific cavity structure, and apply it to an array of non-saturated atoms. By further considering the atomic motion, we show that the inhibited dam** can lead to a favorable scaling of the optomechanical parameters of an atom-array membrane placed within a cavity. The developed formalism lays the basis for further investigation of many-body QED with atom arrays in transversely confined geometries.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Quantum Sampling Algorithms for Near-Term Devices
Authors:
Dominik S. Wild,
Dries Sels,
Hannes Pichler,
Cristian Zanoci,
Mikhail D. Lukin
Abstract:
Efficient sampling from a classical Gibbs distribution is an important computational problem with applications ranging from statistical physics over Monte Carlo and optimization algorithms to machine learning. We introduce a family of quantum algorithms that provide unbiased samples by preparing a state encoding the entire Gibbs distribution. We show that this approach leads to a speedup over a cl…
▽ More
Efficient sampling from a classical Gibbs distribution is an important computational problem with applications ranging from statistical physics over Monte Carlo and optimization algorithms to machine learning. We introduce a family of quantum algorithms that provide unbiased samples by preparing a state encoding the entire Gibbs distribution. We show that this approach leads to a speedup over a classical Markov chain algorithm for several examples including the Ising model and sampling from weighted independent sets of two different graphs. Our approach connects computational complexity with phase transitions, providing a physical interpretation of quantum speedup. Moreover, it opens the door to exploring potentially useful sampling algorithms on near-term quantum devices as the algorithm for sampling from independent sets on certain graphs can be naturally implemented using Rydberg atom arrays.
△ Less
Submitted 7 September, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Distance Oracles for Interval Graphs via Breadth-First Rank/Select in Succinct Trees
Authors:
Meng He,
J. Ian Munro,
Yakov Nekrich,
Sebastian Wild,
Kaiyu Wu
Abstract:
We present the first succinct distance oracles for (unweighted) interval graphs and related classes of graphs, using a novel succinct data structure for ordinal trees that supports the map** between preorder (i.e., depth-first) ranks and level-order (breadth-first) ranks of nodes in constant time. Our distance oracles for interval graphs also support navigation queries -- testing adjacency, comp…
▽ More
We present the first succinct distance oracles for (unweighted) interval graphs and related classes of graphs, using a novel succinct data structure for ordinal trees that supports the map** between preorder (i.e., depth-first) ranks and level-order (breadth-first) ranks of nodes in constant time. Our distance oracles for interval graphs also support navigation queries -- testing adjacency, computing node degrees, neighborhoods, and shortest paths -- all in optimal time. Our technique also yields optimal distance oracles for proper interval graphs (unit-interval graphs) and circular-arc graphs. Our tree data structure supports all operations provided by different approaches in previous work, as well as map** to and from level-order ranks and retrieving the last (first) internal node before (after) a given node in a level-order traversal, all in constant time.
△ Less
Submitted 30 September, 2020; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Controlling interactions between quantum emitters using atom arrays
Authors:
Taylor L. Patti,
Dominik S. Wild,
Ephraim Shahmoon,
Mikhail D. Lukin,
Susanne F. Yelin
Abstract:
We investigate two-dimensional atomic arrays as a platform to modify the electromagnetic environment of individual quantum emitters. Specifically, we demonstrate that control over emission linewidths, resonant frequency shifts, and local enhancement of driving fields is possible due to strong dipole-dipole interactions within ordered, subwavelength atom configurations. We demonstrate that these ef…
▽ More
We investigate two-dimensional atomic arrays as a platform to modify the electromagnetic environment of individual quantum emitters. Specifically, we demonstrate that control over emission linewidths, resonant frequency shifts, and local enhancement of driving fields is possible due to strong dipole-dipole interactions within ordered, subwavelength atom configurations. We demonstrate that these effects can be used to dramatically enhance coherent dipole-dipole interactions between distant quantum emitters within an atom array. Possible experimental realizations and potential applications are discussed.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Calibration of Energy Density Functionals with Deformed Nuclei
Authors:
N. Schunck,
J. O'Neal,
M. Grosskopf,
E. Lawrence,
S. M. Wild
Abstract:
Nuclear density functional theory is the prevalent theoretical framework for accurately describing nuclear properties at the scale of the entire chart of nuclides. Given an energy functional and a many-body scheme (e.g., single- or multireference level), the predictive power of the theory depends strongly on how the parameters of the energy functionals have been calibrated with experimental data.…
▽ More
Nuclear density functional theory is the prevalent theoretical framework for accurately describing nuclear properties at the scale of the entire chart of nuclides. Given an energy functional and a many-body scheme (e.g., single- or multireference level), the predictive power of the theory depends strongly on how the parameters of the energy functionals have been calibrated with experimental data. Expanded algorithms and computing power have enabled recent optimization protocols to include data in deformed nuclei in order to optimize the coupling constants of the energy functional. The primary motivation of this work is to test the robustness of such protocols with respect to some of the technical and numerical details of the underlying calculations, especially when the calibration explores a large parameter space. To this end, we quantify the effect of these uncertainties on both the optimization and statistical emulation of composite objective functions. We also emphasize that Bayesian calibration can provide better estimates of the theoretical errors used to define objective functions.
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
Broken mirror symmetry in excitonic response of reconstructed domains in twisted MoSe$_2$/MoSe$_2$ bilayers
Authors:
Jiho Sung,
You Zhou,
Giovanni Scuri,
Viktor Zólyomi,
Trond I. Andersen,
Hyobin Yoo,
Dominik S. Wild,
Andrew Y. Joe,
Ryan J. Gelly,
Hoseok Heo,
Damien Bérubé,
Andrés M. Mier Valdivia,
Takashi Taniguchi,
Kenji Watanabe,
Mikhail D. Lukin,
Philip Kim,
Vladimir I. Fal'ko,
Hongkun Park
Abstract:
Structural engineering of van der Waals heterostructures via stacking and twisting has recently been used to create moiré superlattices, enabling the realization of new optical and electronic properties in solid-state systems. In particular, moiré lattices in twisted bilayers of transition metal dichalcogenides (TMDs) have been shown to lead to exciton trap**, host Mott insulating and supercondu…
▽ More
Structural engineering of van der Waals heterostructures via stacking and twisting has recently been used to create moiré superlattices, enabling the realization of new optical and electronic properties in solid-state systems. In particular, moiré lattices in twisted bilayers of transition metal dichalcogenides (TMDs) have been shown to lead to exciton trap**, host Mott insulating and superconducting states, and act as unique Hubbard systems whose correlated electronic states can be detected and manipulated optically. Structurally, these twisted heterostructures also feature atomic reconstruction and domain formation. Unfortunately, due to the nanoscale sizes (~10 nm) of typical moiré domains, the effects of atomic reconstruction on the electronic and excitonic properties of these heterostructures could not be investigated systematically and have often been ignored. Here, we use near-0$^o$ twist angle MoSe$_2$/MoSe$_2$ bilayers with large rhombohedral AB/BA domains to directly probe excitonic properties of individual domains with far-field optics. We show that this system features broken mirror/inversion symmetry, with the AB and BA domains supporting interlayer excitons with out-of-plane (z) electric dipole moments in opposite directions. The dipole orientation of ground-state $Γ$-K interlayer excitons (X$_{I,1}$) can be flipped with electric fields, while higher-energy K-K interlayer excitons (X$_{I,2}$) undergo field-asymmetric hybridization with intralayer K-K excitons (X$_0$). Our study reveals the profound impacts of crystal symmetry on TMD excitons and points to new avenues for realizing topologically nontrivial systems, exotic metasurfaces, collective excitonic phases, and quantum emitter arrays via domain-pattern engineering.
△ Less
Submitted 4 January, 2020;
originally announced January 2020.
-
Tuning Multigrid Methods with Robust Optimization
Authors:
Jed Brown,
Yunhui He,
Scott MacLachlan,
Matt Menickelly,
Stefan M. Wild
Abstract:
Local Fourier analysis is a useful tool for predicting and analyzing the performance of many efficient algorithms for the solution of discretized PDEs, such as multigrid and domain decomposition methods. The crucial aspect of local Fourier analysis is that it can be used to minimize an estimate of the spectral radius of a stationary iteration, or the condition number of a preconditioned system, in…
▽ More
Local Fourier analysis is a useful tool for predicting and analyzing the performance of many efficient algorithms for the solution of discretized PDEs, such as multigrid and domain decomposition methods. The crucial aspect of local Fourier analysis is that it can be used to minimize an estimate of the spectral radius of a stationary iteration, or the condition number of a preconditioned system, in terms of a symbol representation of the algorithm. In practice, this is a "minimax" problem, minimizing with respect to solver parameters the appropriate measure of work, which involves maximizing over the Fourier frequency. Often, several algorithmic parameters may be determined by local Fourier analysis in order to obtain efficient algorithms. Analytical solutions to minimax problems are rarely possible beyond simple problems; the status quo in local Fourier analysis involves grid sampling, which is prohibitively expensive in high dimensions. In this paper, we propose and explore optimization algorithms to solve these problems efficiently. Several examples, with known and unknown analytical solutions, are presented to show the effectiveness of these approaches.
△ Less
Submitted 27 July, 2020; v1 submitted 3 January, 2020;
originally announced January 2020.
-
Electrically tunable valley dynamics in twisted WSe$_2$/WSe$_2$ bilayers
Authors:
Giovanni Scuri,
Trond I. Andersen,
You Zhou,
Dominik S. Wild,
Jiho Sung,
Ryan J. Gelly,
Damien Bérubé,
Hoseok Heo,
Linbo Shao,
Andrew Y. Joe,
Andrés M. Mier Valdivia,
Takashi Taniguchi,
Kenji Watanabe,
Marko Lončar,
Philip Kim,
Mikhail D. Lukin,
Hongkun Park
Abstract:
The twist degree of freedom provides a powerful new tool for engineering the electrical and optical properties of van der Waals heterostructures. Here, we show that the twist angle can be used to control the spin-valley properties of transition metal dichalcogenide bilayers by changing the momentum alignment of the valleys in the two layers. Specifically, we observe that the interlayer excitons in…
▽ More
The twist degree of freedom provides a powerful new tool for engineering the electrical and optical properties of van der Waals heterostructures. Here, we show that the twist angle can be used to control the spin-valley properties of transition metal dichalcogenide bilayers by changing the momentum alignment of the valleys in the two layers. Specifically, we observe that the interlayer excitons in twisted WSe$_2$/WSe$_2$ bilayers exhibit a high (>60%) degree of circular polarization (DOCP) and long valley lifetimes (>40 ns) at zero electric and magnetic fields. The valley lifetime can be tuned by more than three orders of magnitude via electrostatic do**, enabling switching of the DOCP from ~80% in the n-doped regime to <5% in the p-doped regime. These results open up new avenues for tunable chiral light-matter interactions, enabling novel device schemes that exploit the valley degree of freedom.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Wigner Crystals in Two-Dimensional Transition-Metal Dichalcogenides: Spin Physics and Readout
Authors:
Johannes Knörzer,
Martin J. A. Schuetz,
Geza Giedke,
Dominik S. Wild,
Kristiaan De Greve,
Richard Schmidt,
Mikhail D. Lukin,
J. Ignacio Cirac
Abstract:
Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-asse…
▽ More
Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-assembled Wigner crystals in transition-metal dichalcogenides. We show that these semiconductors allow for minimally invasive all-optical detection schemes of charge ordering and total spin. For incident light with optimally chosen beam parameters and polarization, we predict a strong dependence of the transmitted and reflected signals on the underlying lattice periodicity, thus revealing the charge order inherent in Wigner crystals. At the same time, the selection rules in transition-metal dichalcogenides provide direct access to the spin degree of freedom via Faraday rotation measurements.
△ Less
Submitted 3 March, 2020; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Electrically controlled emission from triplet charged excitons in atomically thin heterostructures
Authors:
Andrew Y. Joe,
Luis A. Jauregui,
Kateryna Pistunova,
Zhengguang Lu,
Dominik S. Wild,
Giovanni Scuri,
Kristiaan De Greve,
Ryan J. Gelly,
You Zhou,
Jiho Sung,
Andrés Mier Valdivia,
Andrey Sushko,
Takashi Taniguchi,
Kenji Watanabe,
Dmitry Smirnov,
Mikhail D. Lukin,
Hongkun Park,
Philip Kim
Abstract:
Excitons are composite bosons that can feature spin singlet and triplet states. In usual semiconductors, without an additional spin-flip mechanism, triplet excitons are extremely inefficient optical emitters. Large spin-orbit coupling in transition metal dichalcogenides (TMDs) couples circularly polarized light to excitons with selective valley and spin. Here, we demonstrate electrically controlle…
▽ More
Excitons are composite bosons that can feature spin singlet and triplet states. In usual semiconductors, without an additional spin-flip mechanism, triplet excitons are extremely inefficient optical emitters. Large spin-orbit coupling in transition metal dichalcogenides (TMDs) couples circularly polarized light to excitons with selective valley and spin. Here, we demonstrate electrically controlled brightening of spin-triplet interlayer excitons in a MoSe$_2$/WSe$_2$ TMD van der Waals (vdW) heterostructure. The atomic registry of vdW layers in TMD heterostructures provides a quasi-angular momentum to interlayer excitons, enabling emission from otherwise dark spin-triplet excitons. Employing magnetic field, we show that photons emitted by triplet and singlet excitons in the same valley have opposite chirality. We also measure effective exciton g-factors, presenting direct and quantitative evidence of triplet interlayer excitons. We further demonstrate gate tuning of the relative photoluminescence intensity between singlet and triplet charged excitons. Electrically controlled emission between singlet and triplet excitons enables a route for optoelectronic devices that can configure excitonic chiral, spin, and valley quantum states.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Moiré Excitons Correlated with Superlattice Structure in Twisted WSe$_2$/WSe$_2$ Homobilayers
Authors:
Trond I. Andersen,
Giovanni Scuri,
Andrey Sushko,
Kristiaan De Greve,
Jiho Sung,
You Zhou,
Dominik S. Wild,
Ryan J. Gelly,
Hoseok Heo,
Kenji Watanabe,
Takashi Taniguchi,
Philip Kim,
Hongkun Park,
Mikhail D. Lukin
Abstract:
Moiré superlattices in twisted van der Waals materials constitute a promising platform for engineering electronic and optical properties. However, a major obstacle to fully understanding these systems and harnessing their potential is the limited ability to correlate the local moiré structure with optical properties. By using a recently developed scanning electron microscopy technique to image twi…
▽ More
Moiré superlattices in twisted van der Waals materials constitute a promising platform for engineering electronic and optical properties. However, a major obstacle to fully understanding these systems and harnessing their potential is the limited ability to correlate the local moiré structure with optical properties. By using a recently developed scanning electron microscopy technique to image twisted WSe$_2$/WSe$_2$ bilayers, we directly correlate increasing moiré periodicity with the emergence of two distinct exciton species. These can be tuned individually through electrostatic gating, and feature different valley coherence properties. Our observations can be understood as resulting from an array of two intralayer exciton species residing in alternating locations in the superlattice, and illuminate the influence of the moiré potential on lateral exciton motion. They open up new avenues for controlling exciton arrays in twisted TMDs, with applications in quantum optoelectronics and explorations of novel many body systems.
△ Less
Submitted 14 December, 2019;
originally announced December 2019.
-
Adaptive Sampling Quasi-Newton Methods for Derivative-Free Stochastic Optimization
Authors:
Raghu Bollapragada,
Stefan M. Wild
Abstract:
We consider stochastic zero-order optimization problems, which arise in settings from simulation optimization to reinforcement learning. We propose an adaptive sampling quasi-Newton method where we estimate the gradients of a stochastic function using finite differences within a common random number framework. We employ modified versions of a norm test and an inner product quasi-Newton test to con…
▽ More
We consider stochastic zero-order optimization problems, which arise in settings from simulation optimization to reinforcement learning. We propose an adaptive sampling quasi-Newton method where we estimate the gradients of a stochastic function using finite differences within a common random number framework. We employ modified versions of a norm test and an inner product quasi-Newton test to control the sample sizes used in the stochastic approximations. We provide preliminary numerical experiments to illustrate potential performance benefits of the proposed method.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Scalable Reinforcement-Learning-Based Neural Architecture Search for Cancer Deep Learning Research
Authors:
Prasanna Balaprakash,
Romain Egele,
Misha Salim,
Stefan Wild,
Venkatram Vishwanath,
Fangfang Xia,
Tom Brettin,
Rick Stevens
Abstract:
Cancer is a complex disease, the understanding and treatment of which are being aided through increases in the volume of collected data and in the scale of deployed computing power. Consequently, there is a growing need for the development of data-driven and, in particular, deep learning methods for various tasks such as cancer diagnosis, detection, prognosis, and prediction. Despite recent succes…
▽ More
Cancer is a complex disease, the understanding and treatment of which are being aided through increases in the volume of collected data and in the scale of deployed computing power. Consequently, there is a growing need for the development of data-driven and, in particular, deep learning methods for various tasks such as cancer diagnosis, detection, prognosis, and prediction. Despite recent successes, however, designing high-performing deep learning models for nonimage and nontext cancer data is a time-consuming, trial-and-error, manual task that requires both cancer domain and deep learning expertise. To that end, we develop a reinforcement-learning-based neural architecture search to automate deep-learning-based predictive model development for a class of representative cancer data. We develop custom building blocks that allow domain experts to incorporate the cancer-data-specific characteristics. We show that our approach discovers deep neural network architectures that have significantly fewer trainable parameters, shorter training time, and accuracy similar to or higher than those of manually designed architectures. We study and demonstrate the scalability of our approach on up to 1,024 Intel Knights Landing nodes of the Theta supercomputer at the Argonne Leadership Computing Facility.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
Dynamic Optimality Refuted -- For Tournament Heaps
Authors:
J. Ian Munro,
Richard Peng,
Sebastian Wild,
Lingyi Zhang
Abstract:
We prove a separation between offline and online algorithms for finger-based tournament heaps undergoing key modifications. These heaps are implemented by binary trees with keys stored on leaves, and intermediate nodes tracking the min of their respective subtrees. They represent a natural starting point for studying self-adjusting heaps due to the need to access the root-to-leaf path upon modific…
▽ More
We prove a separation between offline and online algorithms for finger-based tournament heaps undergoing key modifications. These heaps are implemented by binary trees with keys stored on leaves, and intermediate nodes tracking the min of their respective subtrees. They represent a natural starting point for studying self-adjusting heaps due to the need to access the root-to-leaf path upon modifications. We combine previous studies on the competitive ratios of unordered binary search trees by [Fredman WADS2011] and on order-by-next request by [Martínez-Roura TCS2000] and [Munro ESA2000] to show that for any number of fingers, tournament heaps cannot handle a sequence of modify-key operations with competitive ratio in $o(\sqrt{\log{n}})$. Critical to this analysis is the characterization of the modifications that a heap can undergo upon an access. There are $\exp(Θ(n \log{n}))$ valid heaps on $n$ keys, but only $\exp(Θ(n))$ binary search trees. We parameterize the modification power through the well-studied concept of fingers: additional pointers the data structure can manipulate arbitrarily. Here we demonstrate that fingers can be significantly more powerful than servers moving on a static tree by showing that access to $k$ fingers allow an offline algorithm to handle any access sequence with amortized cost $O(\log_{k}(n) + 2^{\lg^{*}n})$.
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
Sequential Learning of Active Subspaces
Authors:
Nathan Wycoff,
Mickael Binois,
Stefan M. Wild
Abstract:
In recent years, active subspace methods (ASMs) have become a popular means of performing subspace sensitivity analysis on black-box functions. Naively applied, however, ASMs require gradient evaluations of the target function. In the event of noisy, expensive, or stochastic simulators, evaluating gradients via finite differencing may be infeasible. In such cases, often a surrogate model is employ…
▽ More
In recent years, active subspace methods (ASMs) have become a popular means of performing subspace sensitivity analysis on black-box functions. Naively applied, however, ASMs require gradient evaluations of the target function. In the event of noisy, expensive, or stochastic simulators, evaluating gradients via finite differencing may be infeasible. In such cases, often a surrogate model is employed, on which finite differencing is performed. When the surrogate model is a Gaussian process, we show that the ASM estimator is available in closed form, rendering the finite-difference approximation unnecessary. We use our closed-form solution to develop acquisition functions focused on sequential learning tailored to sensitivity analysis on top of ASMs. We also show that the traditional ASM estimator may be viewed as a method of moments estimator for a certain class of Gaussian processes. We demonstrate how uncertainty on Gaussian process hyperparameters may be propagated to uncertainty on the sensitivity analysis, allowing model-based confidence intervals on the active subspace. Our methodological developments are illustrated on several examples.
△ Less
Submitted 20 September, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Efficient Second-Order Shape-Constrained Function Fitting
Authors:
David Durfee,
Yu Gao,
Anup B. Rao,
Sebastian Wild
Abstract:
We give an algorithm to compute a one-dimensional shape-constrained function that best fits given data in weighted-$L_{\infty}$ norm. We give a single algorithm that works for a variety of commonly studied shape constraints including monotonicity, Lipschitz-continuity and convexity, and more generally, any shape constraint expressible by bounds on first- and/or second-order differences. Our algori…
▽ More
We give an algorithm to compute a one-dimensional shape-constrained function that best fits given data in weighted-$L_{\infty}$ norm. We give a single algorithm that works for a variety of commonly studied shape constraints including monotonicity, Lipschitz-continuity and convexity, and more generally, any shape constraint expressible by bounds on first- and/or second-order differences. Our algorithm computes an approximation with additive error $\varepsilon$ in $O\left(n \log \frac{U}{\varepsilon} \right)$ time, where $U$ captures the range of input values. We also give a simple greedy algorithm that runs in $O(n)$ time for the special case of unweighted $L_{\infty}$ convex regression. These are the first (near-)linear-time algorithms for second-order-constrained function fitting. To achieve these results, we use a novel geometric interpretation of the underlying dynamic programming problem. We further show that a generalization of the corresponding problems to directed acyclic graphs (DAGs) is as difficult as linear programming.
△ Less
Submitted 28 May, 2019; v1 submitted 6 May, 2019;
originally announced May 2019.
-
Derivative-free optimization methods
Authors:
Jeffrey Larson,
Matt Menickelly,
Stefan M. Wild
Abstract:
In many optimization problems arising from scientific, engineering and artificial intelligence applications, objective and constraint functions are available only as the output of a black-box or simulation oracle that does not provide derivative information. Such settings necessitate the use of methods for derivative-free, or zeroth-order, optimization. We provide a review and perspectives on deve…
▽ More
In many optimization problems arising from scientific, engineering and artificial intelligence applications, objective and constraint functions are available only as the output of a black-box or simulation oracle that does not provide derivative information. Such settings necessitate the use of methods for derivative-free, or zeroth-order, optimization. We provide a review and perspectives on developments in these methods, with an emphasis on highlighting recent developments and on unifying treatment of such problems in the non-linear optimization and machine learning literature. We categorize methods based on assumed properties of the black-box functions, as well as features of the methods. We first overview the primary setting of deterministic methods applied to unconstrained, non-convex optimization problems where the objective function is defined by a deterministic black-box oracle. We then discuss developments in randomized methods, methods that assume some additional structure about the objective (including convexity, separability and general non-smooth compositions), methods for problems where the output of the black-box oracle is stochastic, and methods for handling different types of constraints.
△ Less
Submitted 25 June, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
A Method for Convex Black-Box Integer Global Optimization
Authors:
Jeffrey Larson,
Sven Leyffer,
Prashant Palkar,
Stefan M. Wild
Abstract:
We study the problem of minimizing a convex function on a nonempty, finite subset of the integer lattice when the function cannot be evaluated at noninteger points. We propose a new underestimator that does not require access to (sub)gradients of the objective but, rather, uses secant linear functions that interpolate the objective function at previously evaluated points. These linear map**s are…
▽ More
We study the problem of minimizing a convex function on a nonempty, finite subset of the integer lattice when the function cannot be evaluated at noninteger points. We propose a new underestimator that does not require access to (sub)gradients of the objective but, rather, uses secant linear functions that interpolate the objective function at previously evaluated points. These linear map**s are shown to underestimate the objective in disconnected portions of the domain. Therefore, the union of these conditional cuts provides a nonconvex underestimator of the objective. We propose an algorithm that alternates between updating the underestimator and evaluating the objective function. We prove that the algorithm converges to a global minimum of the objective function on the feasible set. We present two approaches for representing the underestimator and compare their computational effectiveness. We also compare implementations of our algorithm with existing methods for minimizing functions on a subset of the integer lattice. We discuss the difficulty of this problem class and provide insights into why a computational proof of optimality is challenging even for moderate problem sizes.
△ Less
Submitted 7 January, 2020; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Few layer 2D pnictogens catalyze the alkylation of soft nucleophiles with esters
Authors:
Vicent Lloret,
Miguel Ángel Rivero-Crespo,
José Alejandro Vidal-Moya,
Stefan Wild,
Antonio Doménech-Carbó,
Bettina S. J. Heller,
Sunghwan Shin,
Hans-Peter Steinrück,
Florian Maier,
Frank Hauke,
Maria Varela,
Andreas Hirsch,
Antonio Leyva-Pérez,
Gonzalo Abellán
Abstract:
Group 15 elements in zero oxidation state (P, As, Sb and Bi), also called pnictogens, are rarely used in catalysis due to the difficulties associated in preparing well-structured and stable materials. Here, we report on the synthesis of highly exfoliated, few layer 2D phosphorene and antimonene in zero oxidation state, suspended in an ionic liquid, with the native atoms ready to interact with exte…
▽ More
Group 15 elements in zero oxidation state (P, As, Sb and Bi), also called pnictogens, are rarely used in catalysis due to the difficulties associated in preparing well-structured and stable materials. Here, we report on the synthesis of highly exfoliated, few layer 2D phosphorene and antimonene in zero oxidation state, suspended in an ionic liquid, with the native atoms ready to interact with external reagents while avoiding aerobic or aqueous decomposition pathways, and on their use as efficient catalysts for the alkylation of nucleophiles with esters. The few layer pnictogen material circumvents the extremely harsh reaction conditions associated to previous superacid-catalyzed alkylations, by enabling an alternative mechanism on surface, protected from the water and air by the ionic liquid. These 2D catalysts allow the alkylation of a variety of acid-sensitive organic molecules and giving synthetic relevancy to the use of simple esters as alkylating agents.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Lattice Opening Upon Bulk Reductive Covalent Functionalization of Black Phosphorus
Authors:
Stefan Wild,
Michael Fickert,
Aleksandra Mitrovic,
Vicent Lloret,
Christian Neiss,
José Alejandro Vidal- Moya,
Miguel Ángel Rivero-Crespo,
Antonio Leyva-Pérez,
Katharina Werbach,
Herwig Peterlik,
Mathias Grabau,
Haiko Wittkämper,
Christian Papp,
Hans-Peter Steinrück,
Thomas Pichler,
Andreas Görling,
Frank Hauke,
Gonzalo Abellán,
Andreas Hirsch
Abstract:
The chemical bulk reductive covalent functionalization of thin layer black phosphorus (BP) using BP intercalation compounds has been developed. Through effective reductive activation, covalent functionalization of the charged BP is achieved by organic alkyl halides. Functionalization was extensively demonstrated by means of several spectroscopic techniques and DFT calculations, showing higher func…
▽ More
The chemical bulk reductive covalent functionalization of thin layer black phosphorus (BP) using BP intercalation compounds has been developed. Through effective reductive activation, covalent functionalization of the charged BP is achieved by organic alkyl halides. Functionalization was extensively demonstrated by means of several spectroscopic techniques and DFT calculations, showing higher functionalization degrees than the neutral routes.
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
Monolayer black phosphorus by sequential wet-chemical surface oxidation
Authors:
Stefan Wild,
Vicent Lloret,
Victor Vega-Mayoral,
Daniele Vella,
Edurne Nuin,
Martin Siebert,
Maria Koleśnik-Gray,
Mario Löffler,
Karl J. J. Mayrhofer,
Christoph Gadermaier,
Vojislav Krstić,
Frank Hauke,
Gonzalo Abellán,
Andreas Hirsch
Abstract:
We report a straightforward chemical methodology for controlling the thickness of black phosphorus flakes down to the monolayer limit by layer-by-layer oxidation and thinning, using water as solubilizing agent. Moreover, the oxidation process can be stopped at will by two different passivation procedures, namely the non-covalent functionalization with perylene diimide chromophores, which prevents…
▽ More
We report a straightforward chemical methodology for controlling the thickness of black phosphorus flakes down to the monolayer limit by layer-by-layer oxidation and thinning, using water as solubilizing agent. Moreover, the oxidation process can be stopped at will by two different passivation procedures, namely the non-covalent functionalization with perylene diimide chromophores, which prevents the photooxidation, or by using a protective ionic liquid layer. The obtained flakes preserve their electronic properties as demonstrated by fabricating a BP field-effect transistor (FET). This work paves the way for the preparation of BP devices with controlled thickness
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
Entropy Trees and Range-Minimum Queries In Optimal Average-Case Space
Authors:
J. Ian Munro,
Sebastian Wild
Abstract:
The range-minimum query (RMQ) problem is a fundamental data structuring task with numerous applications. Despite the fact that succinct solutions with worst-case optimal $2n+o(n)$ bits of space and constant query time are known, it has been unknown whether such a data structure can be made adaptive to the reduced entropy of random inputs (Davoodi et al. 2014). We construct a succinct data structur…
▽ More
The range-minimum query (RMQ) problem is a fundamental data structuring task with numerous applications. Despite the fact that succinct solutions with worst-case optimal $2n+o(n)$ bits of space and constant query time are known, it has been unknown whether such a data structure can be made adaptive to the reduced entropy of random inputs (Davoodi et al. 2014). We construct a succinct data structure with the optimal $1.736n+o(n)$ bits of space on average for random RMQ instances, settling this open problem.
Our solution relies on a compressed data structure for binary trees that is of independent interest. It can store a (static) binary search tree generated by random insertions in asymptotically optimal expected space and supports many queries in constant time. Using an instance-optimal encoding of subtrees, we furthermore obtain a "hyper-succinct" data structure for binary trees that improves upon the ultra-succinct representation of Jansson, Sadakane and Sung (2012).
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-based Approach
Authors:
Anthony P. Austin,
Zichao Wendy Di,
Sven Leyffer,
Stefan M. Wild
Abstract:
Tomography can be used to reveal internal properties of a 3D object using any penetrating wave. Advanced tomographic imaging techniques, however, are vulnerable to both systematic and random errors associated with the experimental conditions, which are often beyond the capabilities of the state-of-the-art reconstruction techniques such as regularizations. Because they can lead to reduced spatial r…
▽ More
Tomography can be used to reveal internal properties of a 3D object using any penetrating wave. Advanced tomographic imaging techniques, however, are vulnerable to both systematic and random errors associated with the experimental conditions, which are often beyond the capabilities of the state-of-the-art reconstruction techniques such as regularizations. Because they can lead to reduced spatial resolution and even misinterpretation of the underlying sample structures, these errors present a fundamental obstacle to full realization of the capabilities of next-generation physical imaging. In this work, we develop efficient and explicit recovery schemes of the most common experimental error: movement of the center of rotation during the experiment. We formulate new physical models to capture the experimental setup, and we devise new mathematical optimization formulations for reliable inversion of complex samples. We demonstrate and validate the efficacy of our approach on synthetic data under known perturbations of the center of rotation.
△ Less
Submitted 6 February, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Controlling excitons in an atomically thin membrane with a mirror
Authors:
You Zhou,
Giovanni Scuri,
Jiho Sung,
Ryan J. Gelly,
Dominik S. Wild,
Kristiaan De Greve,
Andrew Y. Joe,
Takashi Taniguchi,
Kenji Watanabe,
Philip Kim,
Mikhail D. Lukin,
Hongkun Park
Abstract:
We demonstrate a new approach for dynamically manipulating the optical response of an atomically thin semiconductor, a monolayer of MoSe2, by suspending it over a metallic mirror. First, we show that suspended van der Waals heterostructures incorporating a MoSe2 monolayer host spatially homogeneous, lifetime-broadened excitons. Then, we interface this nearly ideal excitonic system with a metallic…
▽ More
We demonstrate a new approach for dynamically manipulating the optical response of an atomically thin semiconductor, a monolayer of MoSe2, by suspending it over a metallic mirror. First, we show that suspended van der Waals heterostructures incorporating a MoSe2 monolayer host spatially homogeneous, lifetime-broadened excitons. Then, we interface this nearly ideal excitonic system with a metallic mirror and demonstrate control over the exciton-photon coupling. Specifically, by electromechanically changing the distance between the heterostructure and the mirror, thereby changing the local photonic density of states in a controllable and reversible fashion, we show that both the absorption and emission properties of the excitons can be dynamically modulated. This electromechanical control over exciton dynamics in a mechanically flexible, atomically thin semiconductor opens up new avenues in cavity quantum optomechanics, nonlinear quantum optics, and topological photonics.
△ Less
Submitted 1 December, 2019; v1 submitted 24 January, 2019;
originally announced January 2019.
-
BBN constraints on the annihilation of MeV-scale dark matter
Authors:
Paul Frederik Depta,
Marco Hufnagel,
Kai Schmidt-Hoberg,
Sebastian Wild
Abstract:
Thermal dark matter at the MeV scale faces stringent bounds from a variety of cosmological probes. Here we perform a detailed evaluation of BBN bounds on the annihilation cross section of dark matter with a mass $1\,\text{MeV} \lesssim m_χ\lesssim 1\,\text{GeV}$. For $p-wave suppressed annihilations, constraints from BBN turn out to be significantly stronger than the ones from CMB observations, an…
▽ More
Thermal dark matter at the MeV scale faces stringent bounds from a variety of cosmological probes. Here we perform a detailed evaluation of BBN bounds on the annihilation cross section of dark matter with a mass $1\,\text{MeV} \lesssim m_χ\lesssim 1\,\text{GeV}$. For $p-wave suppressed annihilations, constraints from BBN turn out to be significantly stronger than the ones from CMB observations, and are competitive with the strongest bounds from other indirect searches. We furthermore update the lower bound from BBN on the mass of thermal dark matter using improved determinations of primordial abundances. While being of similar strength as the corresponding bound from CMB, it is significantly more robust to changes in the particle physics model.
△ Less
Submitted 9 May, 2019; v1 submitted 21 January, 2019;
originally announced January 2019.
-
Rotons in Optical Excitation Spectra of Monolayer Semiconductors
Authors:
Ovidiu Cotlet,
Dominik S. Wild,
Mikhail D. Lukin,
Atac Imamoglu
Abstract:
Optically generated excitons dictate the absorption and emission spectrum of doped semiconductor transition metal dichalcogenide monolayers. We show that upon increasing the electron density, the elementary optical excitations develop a roton-like dispersion, evidenced by a shift of the lowest energy state to a finite momentum on the order of the Fermi momentum. This effect emerges due to Pauli ex…
▽ More
Optically generated excitons dictate the absorption and emission spectrum of doped semiconductor transition metal dichalcogenide monolayers. We show that upon increasing the electron density, the elementary optical excitations develop a roton-like dispersion, evidenced by a shift of the lowest energy state to a finite momentum on the order of the Fermi momentum. This effect emerges due to Pauli exclusion between excitons and the electron Fermi sea, but the robustness of the roton minimum in these systems is a direct consequence of the long-range nature of the Coulomb interaction and the nonlocal dielectric screening characteristic of monolayers. Finally, we show that the emergence of rotons could be related to hitherto unexplained aspects of photoluminescence spectra in doped transition metal dichalcogenide monolayers.
△ Less
Submitted 26 December, 2018;
originally announced December 2018.
-
Electrical control of interlayer exciton dynamics in atomically thin heterostructures
Authors:
Luis A. Jauregui,
Andrew Y. Joe,
Kateryna Pistunova,
Dominik S. Wild,
Alexander A. High,
You Zhou,
Giovanni Scuri,
Kristiaan De Greve,
Andrey Sushko,
Che-Hang Yu,
Takashi Taniguchi,
Kenji Watanabe,
Daniel J. Needleman,
Mikhail D. Lukin,
Hongkun Park,
Philip Kim
Abstract:
Excitons in semiconductors, bound pairs of excited electrons and holes, can form the basis for new classes of quantum optoelectronic devices. A van der Waals heterostructure built from atomically thin semiconducting transition metal dichalcogenides (TMDs) enables the formation of excitons from electrons and holes in distinct layers, producing interlayer excitons with large binding energy and a lon…
▽ More
Excitons in semiconductors, bound pairs of excited electrons and holes, can form the basis for new classes of quantum optoelectronic devices. A van der Waals heterostructure built from atomically thin semiconducting transition metal dichalcogenides (TMDs) enables the formation of excitons from electrons and holes in distinct layers, producing interlayer excitons with large binding energy and a long lifetime. Employing heterostructures of monolayer TMDs, we realize optical and electrical generation of long-lived neutral and charged interlayer excitons. We demonstrate the transport of neutral interlayer excitons across the whole sample that can be controlled by excitation power and gate electrodes. We also realize the drift motion of charged interlayer excitons using Ohmic-contacted devices. The electrical generation and control of excitons provides a new route for realizing quantum manipulation of bosonic composite particles with complete electrical tunability.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Comparing optimization strategies for force field parameterization
Authors:
Fatih G. Sen,
Badri Narayanan,
Jeffrey Larson,
Alper Kinaci,
Kiran Sasikumar,
Michael J. Davis,
Stefan M. Wild,
Stephen K. Gray,
Subramanian K. R. S. Sankaranarayanan,
Maria K. Y. Chan
Abstract:
Classical molecular dynamics (MD) simulations enable modeling of materials and examination of microscopic details that are not accessible experimentally. The predictive capability of MD relies on the force field (FF) used to describe interatomic interactions. FF parameters are typically determined to reproduce selected material properties computed from density functional theory (DFT) and/or measur…
▽ More
Classical molecular dynamics (MD) simulations enable modeling of materials and examination of microscopic details that are not accessible experimentally. The predictive capability of MD relies on the force field (FF) used to describe interatomic interactions. FF parameters are typically determined to reproduce selected material properties computed from density functional theory (DFT) and/or measured experimentally. A common practice in parameterizing FFs is to use least-squares local minimization algorithms. Genetic algorithms (GAs) have also been demonstrated as a viable global optimization approach, even for complex FFs. However, an understanding of the relative effectiveness and efficiency of different optimization techniques for the determination of FF parameters is still lacking. In this work, we evaluate various FF parameter optimization schemes, using as example a training data set calculated from DFT for different polymorphs of Ir$O_2$. The Morse functional form is chosen for the pairwise interactions and the optimization of the parameters against the training data is carried out using (1) multi-start local optimization algorithms: Simplex, Levenberg-Marquardt, and POUNDERS, (2) single-objective GA, and (3) multi-objective GA. Using random search as a baseline, we compare the algorithms in terms of reaching the lowest error, and number of function evaluations. We also compare the effectiveness of different approaches for FF parameterization using a test data set with known ground truth (i.e generated from a specific Morse FF). We find that the performance of optimization approaches differs when using the Test data vs. the DFT data. Overall, this study provides insight for selecting a suitable optimization method for FF parameterization, which in turn can enable more accurate prediction of material properties and chemical phenomena.
△ Less
Submitted 1 December, 2018;
originally announced December 2018.
-
QuickXsort - A Fast Sorting Scheme in Theory and Practice
Authors:
Stefan Edelkamp,
Armin Weiß,
Sebastian Wild
Abstract:
QuickXsort is a highly efficient in-place sequential sorting scheme that mixes Hoare's Quicksort algorithm with X, where X can be chosen from a wider range of other known sorting algorithms, like Heapsort, Insertionsort and Mergesort. Its major advantage is that QuickXsort can be in-place even if X is not. In this work we provide general transfer theorems expressing the number of comparisons of Qu…
▽ More
QuickXsort is a highly efficient in-place sequential sorting scheme that mixes Hoare's Quicksort algorithm with X, where X can be chosen from a wider range of other known sorting algorithms, like Heapsort, Insertionsort and Mergesort. Its major advantage is that QuickXsort can be in-place even if X is not. In this work we provide general transfer theorems expressing the number of comparisons of QuickXsort in terms of the number of comparisons of X. More specifically, if pivots are chosen as medians of (not too fast) growing size samples, the average number of comparisons of QuickXsort and X differ only by $o(n)$-terms. For median-of-$k$ pivot selection for some constant $k$, the difference is a linear term whose coefficient we compute precisely. For instance, median-of-three QuickMergesort uses at most $n \lg n - 0.8358n + O(\log n)$ comparisons.
Furthermore, we examine the possibility of sorting base cases with some other algorithm using even less comparisons. By doing so the average-case number of comparisons can be reduced down to $n \lg n- 1.4106n + o(n)$ for a remaining gap of only $0.0321n$ comparisons to the known lower bound (while using only $O(\log n)$ additional space and $O(n \log n)$ time overall).
Implementations of these sorting strategies show that the algorithms challenge well-established library implementations like Musser's Introsort.
△ Less
Submitted 3 November, 2018;
originally announced November 2018.
-
Sesquickselect: One and a half pivots for cache-efficient selection
Authors:
Conrado Martínez,
Markus Nebel,
Sebastian Wild
Abstract:
Because of unmatched improvements in CPU performance, memory transfers have become a bottleneck of program execution. As discovered in recent years, this also affects sorting in internal memory. Since partitioning around several pivots reduces overall memory transfers, we have seen renewed interest in multiway Quicksort. Here, we analyze in how far multiway partitioning helps in Quickselect.
We…
▽ More
Because of unmatched improvements in CPU performance, memory transfers have become a bottleneck of program execution. As discovered in recent years, this also affects sorting in internal memory. Since partitioning around several pivots reduces overall memory transfers, we have seen renewed interest in multiway Quicksort. Here, we analyze in how far multiway partitioning helps in Quickselect.
We compute the expected number of comparisons and scanned elements (approximating memory transfers) for a generic class of (non-adaptive) multiway Quickselect and show that three or more pivots are not helpful, but two pivots are. Moreover, we consider "adaptive" variants which choose partitioning and pivot-selection methods in each recursive step from a finite set of alternatives depending on the current (relative) sought rank. We show that "Sesquickselect", a new Quickselect variant that uses either one or two pivots, makes better use of small samples w.r.t. memory transfers than other Quickselect variants.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Effect of TCNQ layer cover on oxidation dynamics of black phosphorus
Authors:
Laura Meingast,
Maria Koleśnik-Gray,
Martin Siebert,
Gonzalo Abellán,
Stefan Wild,
Vicent Lloret,
Udo Mundloch,
Frank Hauke,
Andreas Hirsch,
Vojislav Krstić
Abstract:
The puckered surface of black phosphorus represents an ideal substrate for an unconventional arrangement of physisorbed species and the resulting specific two-dimensional chemistry of this system. This opens the way to investigate the chemical and physical properties of locally confined areas of black phosphorus without the necessity for further physical downscaling of the material. We have evapor…
▽ More
The puckered surface of black phosphorus represents an ideal substrate for an unconventional arrangement of physisorbed species and the resulting specific two-dimensional chemistry of this system. This opens the way to investigate the chemical and physical properties of locally confined areas of black phosphorus without the necessity for further physical downscaling of the material. We have evaporated TCNQ on top of black phosphorus under over-saturation non-equilibrium conditions in vacuum. The evolution of linear density and height of droplets formed through oxidation during exposure to air was studied time-dependently by scanning-force microscopy. Our study suggests that the TCNQ molecules spontaneously arrange in a thin layer of the order of a few nm height, which, however, is fragmented with a periodicity of about 100 nm. It is shown that within the confined space separating the layer fragments the chemical dynamics of the oxidation process is remarkably different than on a bare black phosphorus surface.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Global analyses of Higgs portal singlet dark matter models using GAMBIT
Authors:
The GAMBIT Collaboration,
Peter Athron,
Csaba Balázs,
Ankit Beniwal,
Sanjay Bloor,
José Eliel Camargo-Molina,
Jonathan M. Cornell,
Ben Farmer,
Andrew Fowlie,
Tomás E. Gonzalo,
Felix Kahlhoefer,
Anders Kvellestad,
Gregory D. Martinez,
Pat Scott,
Aaron C. Vincent,
Sebastian Wild,
Martin White,
Anthony G. Williams
Abstract:
We present global analyses of effective Higgs portal dark matter models in the frequentist and Bayesian statistical frameworks. Complementing earlier studies of the scalar Higgs portal, we use GAMBIT to determine the preferred mass and coupling ranges for models with vector, Majorana and Dirac fermion dark matter. We also assess the relative plausibility of all four models using Bayesian model com…
▽ More
We present global analyses of effective Higgs portal dark matter models in the frequentist and Bayesian statistical frameworks. Complementing earlier studies of the scalar Higgs portal, we use GAMBIT to determine the preferred mass and coupling ranges for models with vector, Majorana and Dirac fermion dark matter. We also assess the relative plausibility of all four models using Bayesian model comparison. Our analysis includes up-to-date likelihood functions for the dark matter relic density, invisible Higgs decays, and direct and indirect searches for weakly-interacting dark matter including the latest XENON1T data. We also account for important uncertainties arising from the local density and velocity distribution of dark matter, nuclear matrix elements relevant to direct detection, and Standard Model masses and couplings. In all Higgs portal models, we find parameter regions that can explain all of dark matter and give a good fit to all data. The case of vector dark matter requires the most tuning and is therefore slightly disfavoured from a Bayesian point of view. In the case of fermionic dark matter, we find a strong preference for including a CP-violating phase that allows suppression of constraints from direct detection experiments, with odds in favour of CP violation of the order of 100:1. Finally, we present DDCalc 2.0.0, a tool for calculating direct detection observables and likelihoods for arbitrary non-relativistic effective operators.
△ Less
Submitted 31 July, 2020; v1 submitted 30 August, 2018;
originally announced August 2018.
-
BBN constraints on MeV-scale dark sectors. Part II. Electromagnetic decays
Authors:
Marco Hufnagel,
Kai Schmidt-Hoberg,
Sebastian Wild
Abstract:
Meta-stable dark sector particles decaying into electrons or photons may non-trivially change the Hubble rate, lead to entropy injection into the thermal bath of Standard Model particles and may also photodisintegrate light nuclei formed in the early universe. We study generic constraints from Big Bang Nucleosynthesis on such a setup, with a particular emphasis on MeV-scale particles which are nei…
▽ More
Meta-stable dark sector particles decaying into electrons or photons may non-trivially change the Hubble rate, lead to entropy injection into the thermal bath of Standard Model particles and may also photodisintegrate light nuclei formed in the early universe. We study generic constraints from Big Bang Nucleosynthesis on such a setup, with a particular emphasis on MeV-scale particles which are neither fully relativistic nor non-relativistic during all times relevant for Big Bang Nucleosynthesis. We apply our results to a simple model of self-interacting dark matter with a light scalar mediator. This setup turns out to be severely constrained by these considerations in combination with direct dark matter searches and will be fully tested with the next generation of low-threshold direct detection experiments.
△ Less
Submitted 12 November, 2018; v1 submitted 28 August, 2018;
originally announced August 2018.
-
Bragg Coherent Modulation Imaging: Strain- and Defect- Sensitive Single Views of Extended Samples
Authors:
A. Ulvestad,
W. Cha,
I. Calvo-Almazan,
S. Maddali,
S. M. Wild,
E. Maxey,
M. Duparaz,
S. O. Hruszkewycz
Abstract:
Nanoscale heterogeneity (including size, shape, strain, and defects) significantly impacts material properties and how they function. Bragg coherent x-ray imaging methods have emerged as a powerful tool to investigate, in three-dimensional detail, the local material response to external stimuli in reactive environments, thereby enabling explorations of the structure-defect-function relationship at…
▽ More
Nanoscale heterogeneity (including size, shape, strain, and defects) significantly impacts material properties and how they function. Bragg coherent x-ray imaging methods have emerged as a powerful tool to investigate, in three-dimensional detail, the local material response to external stimuli in reactive environments, thereby enabling explorations of the structure-defect-function relationship at the nanoscale. Although progress has been made in understanding this relationship, coherent imaging of extended samples is relatively slow (typically requiring many minutes) due to the experimental constraints required to solve the phase problem. Here, we develop Bragg coherent modulation imaging (BCMI), which uses a modulator to solve the phase problem thereby enabling fast, local imaging of an extended sample. Because a known modulator is essential to the technique, we first demonstrate experimentally that an unknown modulator structure can be recovered by using the exit wave diversity that exists in a standard Bragg coherent diffraction imaging (BCDI) experiment. We then show with simulations that a known modulator constraint is sufficient to solve the phase problem and enable a single view of an extended sample that is sensitive to defects and dislocations. Our results pave the way for BCMI investigations of strain and defect dynamics in complex extended crystals with temporal resolution limited by the exposure time of a single diffraction pattern.
△ Less
Submitted 31 July, 2018;
originally announced August 2018.
-
Robust Learning of Trimmed Estimators via Manifold Sampling
Authors:
Matt Menickelly,
Stefan M. Wild
Abstract:
We adapt a manifold sampling algorithm for the nonsmooth, nonconvex formulations of learning that arise when imposing robustness to outliers present in the training data. We demonstrate the approach on objectives based on trimmed loss. Empirical results show that the method has favorable scaling properties. Although savings in time come at the expense of not certifying optimality, the algorithm co…
▽ More
We adapt a manifold sampling algorithm for the nonsmooth, nonconvex formulations of learning that arise when imposing robustness to outliers present in the training data. We demonstrate the approach on objectives based on trimmed loss. Empirical results show that the method has favorable scaling properties. Although savings in time come at the expense of not certifying optimality, the algorithm consistently returns high-quality solutions on the trimmed linear regression and multiclass classification problems tested.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
Impact of vacuum stability, perturbativity and XENON1T on global fits of $\mathbb{Z}_2$ and $\mathbb{Z}_3$ scalar singlet dark matter
Authors:
Peter Athron,
Jonathan M. Cornell,
Felix Kahlhoefer,
James McKay,
Pat Scott,
Sebastian Wild
Abstract:
Scalar singlet dark matter is one of the simplest and most predictive realisations of the WIMP (weakly-interacting massive particle) idea. Although the model is constrained from all directions by the latest experimental data, it still has viable regions of parameter space. Another compelling aspect of scalar singlets is their ability to stabilise the electroweak vacuum. Indeed, models of scalar da…
▽ More
Scalar singlet dark matter is one of the simplest and most predictive realisations of the WIMP (weakly-interacting massive particle) idea. Although the model is constrained from all directions by the latest experimental data, it still has viable regions of parameter space. Another compelling aspect of scalar singlets is their ability to stabilise the electroweak vacuum. Indeed, models of scalar dark matter are not low-energy effective theories, but can be valid all the way to the Planck scale. Using the GAMBIT framework, we present the first global fit to include both the low-energy experimental constraints and the theoretical constraints from UV physics, considering models with a scalar singlet charged under either a $\mathbb{Z}_2$ or a $\mathbb{Z}_3$ symmetry. We show that if the model is to satisfy all experimental constraints, completely stabilise the electroweak vacuum up to high scales, and also remain perturbative to those scales, one is driven to a relatively small region of parameter space. This region has a Higgs-portal coupling slightly less than 1, a dark matter mass of 1 to 2 TeV and a spin-independent nuclear scattering cross-section around 10$^{-45}$ cm$^2$.
△ Less
Submitted 19 October, 2018; v1 submitted 29 June, 2018;
originally announced June 2018.
-
Electronic properties of air-sensitive nanomaterials probed with microwave impedance measurements
Authors:
B. G. Márkus,
G. Csősz,
O. Sági,
B. Gyüre-Garami,
V. Lloret,
S. Wild,
G. Abellán,
N. M. Nemes,
G. Klupp,
K. Kamarás,
A. Hirsch,
F. Hauke,
F. Simon
Abstract:
Characterization of electronic properties of novel materials is of great importance for exploratory materials development and also for the discovery of new correlated phases. As several novel compounds are available in powder form only, contactless methods, which also work on air sensitive samples, are higly desired. We present that the microwave cavity perturbation technique is a versatile tool t…
▽ More
Characterization of electronic properties of novel materials is of great importance for exploratory materials development and also for the discovery of new correlated phases. As several novel compounds are available in powder form only, contactless methods, which also work on air sensitive samples, are higly desired. We present that the microwave cavity perturbation technique is a versatile tool to study conductivity in such systems. The examples include studies on semiconducting-metallic crossover in carbon nanotubes upon alkali do**, study of vortex motion in the K$_3$C$_{60}$ superconductor, and the characterization of various alkali atom doped phases of black phosphorus.
△ Less
Submitted 21 August, 2018; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Quantum Nonlinear Optics in Atomically Thin Materials
Authors:
Dominik S. Wild,
Ephraim Shahmoon,
Susanne F. Yelin,
Mikhail D. Lukin
Abstract:
We show that a nonlinear optical response associated with a resonant, atomically thin material can be dramatically enhanced by placing it in front of a partially reflecting mirror, rendering otherwise weakly nonlinear systems suitable for experiments and applications involving quantum nonlinear optics. Our approach exploits the nonlinear response of long-lived polariton resonances that arise at pa…
▽ More
We show that a nonlinear optical response associated with a resonant, atomically thin material can be dramatically enhanced by placing it in front of a partially reflecting mirror, rendering otherwise weakly nonlinear systems suitable for experiments and applications involving quantum nonlinear optics. Our approach exploits the nonlinear response of long-lived polariton resonances that arise at particular distances between the material and the mirror. The scheme is entirely based on free-space optics, eliminating the need for cavities or complex nanophotonic structures. We analyze a specific implementation based on exciton-polariton resonances in two-dimensional semiconductors and discuss the role of imperfections and loss.
△ Less
Submitted 23 September, 2018; v1 submitted 12 May, 2018;
originally announced May 2018.
-
Nearly-Optimal Mergesorts: Fast, Practical Sorting Methods That Optimally Adapt to Existing Runs
Authors:
J. Ian Munro,
Sebastian Wild
Abstract:
We present two stable mergesort variants, "peeksort" and "powersort", that exploit existing runs and find nearly-optimal merging orders with practically negligible overhead. Previous methods either require substantial effort for determining the merging order (Takaoka 2009; Barbay & Navarro 2013) or do not have a constant-factor optimal worst-case guarantee (Peters 2001; Auger, Nicaud & Pivoteau 20…
▽ More
We present two stable mergesort variants, "peeksort" and "powersort", that exploit existing runs and find nearly-optimal merging orders with practically negligible overhead. Previous methods either require substantial effort for determining the merging order (Takaoka 2009; Barbay & Navarro 2013) or do not have a constant-factor optimal worst-case guarantee (Peters 2001; Auger, Nicaud & Pivoteau 2015; Buss & Knop 2018). We demonstrate that our methods are competitive in terms of running time with state-of-the-art implementations of stable sorting methods.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.