-
Selection on $X_1 + X_1 + \cdots X_m$ via Cartesian product tree
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Jake Pennington,
Oliver Serang
Abstract:
Selection on the Cartesian product is a classic problem in computer science. Recently, an optimal algorithm for selection on $X+Y$, based on soft heaps, was introduced. By combining this approach with layer-ordered heaps (LOHs), an algorithm using a balanced binary tree of $X+Y$ selections was proposed to perform $k$-selection on $X_1+X_2+\cdots+X_m$ in $o(n\cdot m + k\cdot m)$, where $X_i$ have l…
▽ More
Selection on the Cartesian product is a classic problem in computer science. Recently, an optimal algorithm for selection on $X+Y$, based on soft heaps, was introduced. By combining this approach with layer-ordered heaps (LOHs), an algorithm using a balanced binary tree of $X+Y$ selections was proposed to perform $k$-selection on $X_1+X_2+\cdots+X_m$ in $o(n\cdot m + k\cdot m)$, where $X_i$ have length $n$. Here, that $o(n\cdot m + k\cdot m)$ algorithm is combined with a novel, optimal LOH-based algorithm for selection on $X+Y$ (without a soft heap). Performance of algorithms for selection on $X_1+X_2+\cdots+X_m$ are compared empirically, demonstrating the benefit of the algorithm proposed here.
△ Less
Submitted 16 August, 2020;
originally announced August 2020.
-
Optimal construction of a layer-ordered heap
Authors:
Jake Pennington,
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
The layer-ordered heap (LOH) is a simple, recently proposed data structure used in optimal selection on $X+Y$, thealgorithm with the best known runtime for selection on $X_1+X_2+\cdots+X_m$, and the fastest method in practice for computing the most abundant isotope peaks in a chemical compound. Here, we introduce a few algorithms for constructing LOHs, analyze their complexity, and demonstrate tha…
▽ More
The layer-ordered heap (LOH) is a simple, recently proposed data structure used in optimal selection on $X+Y$, thealgorithm with the best known runtime for selection on $X_1+X_2+\cdots+X_m$, and the fastest method in practice for computing the most abundant isotope peaks in a chemical compound. Here, we introduce a few algorithms for constructing LOHs, analyze their complexity, and demonstrate that one algorithm is optimal for building a LOH of any rank $α$. These results are shown to correspond with empirical experiments of runtimes when applying the LOH construction algorithms to a common task in machine learning.
△ Less
Submitted 15 August, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Fast exact computation of the $k$ most abundant isotope peaks with layer-ordered heaps
Authors:
Patrick Kreitzberg,
Jake Pennington,
Kyle Lucke,
Oliver Serang
Abstract:
The theoretical computation of isotopic distribution of compounds is crucial in many important applications of mass spectrometry, especially as machine precision grows. A considerable amount of good tools have been created in the last decade for doing so. In this paper we present a novel algorithm for calculating the top $k$ peaks of a given compound. The algorithm takes advantage of layer-ordered…
▽ More
The theoretical computation of isotopic distribution of compounds is crucial in many important applications of mass spectrometry, especially as machine precision grows. A considerable amount of good tools have been created in the last decade for doing so. In this paper we present a novel algorithm for calculating the top $k$ peaks of a given compound. The algorithm takes advantage of layer-ordered heaps used in an optimal method of selection on $X+Y$ and is able to efficiently calculate the top $k$ peaks on very large molecules. Among its peers, this algorithm shows a significant speedup on molecules whose elements have many isotopes. The algorithm obtains a speedup of more than 31x when compared to $\textsc{IsoSpec}$ on \ch{Au2Ca10Ga10Pd76} when computing 47409787 peaks, which covers 0.999 of the total abundance.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Selection on $X_1+X_2+\cdots + X_m$ with layer-ordered heaps
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
Selection on $X_1+X_2+\cdots + X_m$ is an important problem with many applications in areas such as max-convolution, max-product Bayesian inference, calculating most probable isotopes, and computing non-parametric test statistics, among others. Faster-than-naïve approaches exist for $m=2$: Frederickson (1993) published the optimal algorithm with runtime $O(k)$ and Kaplan \emph{et al.} (2018) has s…
▽ More
Selection on $X_1+X_2+\cdots + X_m$ is an important problem with many applications in areas such as max-convolution, max-product Bayesian inference, calculating most probable isotopes, and computing non-parametric test statistics, among others. Faster-than-naïve approaches exist for $m=2$: Frederickson (1993) published the optimal algorithm with runtime $O(k)$ and Kaplan \emph{et al.} (2018) has since published a much simpler algorithm which makes use of Chazelle's soft heaps (2003). No fast methods exist for $m>2$. Johnson \& Mizoguchi (1978) introduced a method to compute the single $k^{th}$ value when $m>2$, but that method runs in $O(m\cdot n^{\lceil\frac{m}{2}\rceil} \log(n))$ time and is inefficient when $m \gg 1$ and $k \ll n^{\lceil\frac{m}{2}\rceil}$.
In this paper, we introduce the first efficient methods, both in theory and practice, for problems with $m>2$. We introduce the ``layer-ordered heap,'' a simple special class of heap with which we produce a new, fast selection algorithm on the Cartesian product. Using this new algorithm to perform $k$-selection on the Cartesian product of $m$ arrays of length $n$ has runtime $\in o(k\cdot m)$. We also provide implementations of the algorithms proposed and evaluate their performance in practice.
△ Less
Submitted 15 August, 2020; v1 submitted 26 October, 2019;
originally announced October 2019.
-
Most abundant isotope peaks and efficient selection on $Y=X_1+X_2+\cdots + X_m$
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
The isotope masses and relative abundances for each element are fundamental chemical knowledge. Computing the isotope masses of a compound and their relative abundances is an important and difficult analytical chemistry problem. We demonstrate that this problem is equivalent to sorting $Y=X_1+X_2+\cdots+X_m$. We introduce a novel, practically efficient method for computing the top values in $Y$. t…
▽ More
The isotope masses and relative abundances for each element are fundamental chemical knowledge. Computing the isotope masses of a compound and their relative abundances is an important and difficult analytical chemistry problem. We demonstrate that this problem is equivalent to sorting $Y=X_1+X_2+\cdots+X_m$. We introduce a novel, practically efficient method for computing the top values in $Y$. then demonstrate the applicability of this method by computing the most abundant isotope masses (and their abundances) from compounds of nontrivial size.
△ Less
Submitted 29 June, 2019;
originally announced July 2019.
-
Using Fundamental Measure Theory to Treat the Correlation Function of the Inhomogeneous Hard-Sphere Fluid
Authors:
Jeff Schulte,
Patrick Kreitzberg,
Chris Haglund,
David Roundy
Abstract:
We investigate the value of the correlation function of an inhomogeneous hard-sphere fluid at contact. This quantity plays a critical role in Statistical Associating Fluid Theory (SAFT), which is the basis of a number of recently developed classical density functionals. We define two averaged values for the correlation function at contact, and derive formulas for each of them from the White Bear v…
▽ More
We investigate the value of the correlation function of an inhomogeneous hard-sphere fluid at contact. This quantity plays a critical role in Statistical Associating Fluid Theory (SAFT), which is the basis of a number of recently developed classical density functionals. We define two averaged values for the correlation function at contact, and derive formulas for each of them from the White Bear version of the Fundamental Measure Theory functional, using an assumption of thermodynamic consistency. We test these formulas, as well as two existing formulas against Monte Carlo simulations, and find excellent agreement between the Monte Carlo data and one of our averaged correlation functions.
△ Less
Submitted 31 August, 2012;
originally announced August 2012.
