-
Two eggs any style -- generalizing egg-drop experiments
Authors:
Harold R. Parks,
Dean C. Wills
Abstract:
The egg-drop experiment introduced by Konhauser, Velleman, and Wagon, later generalized by Boardman, is further generalized to two additional types. The three separate types of egg-drop experiment under consideration are examined in the context of binary decision trees. It is shown that all three types of egg-drop experiment are binary decision problems that can be solved efficiently using a non-r…
▽ More
The egg-drop experiment introduced by Konhauser, Velleman, and Wagon, later generalized by Boardman, is further generalized to two additional types. The three separate types of egg-drop experiment under consideration are examined in the context of binary decision trees. It is shown that all three types of egg-drop experiment are binary decision problems that can be solved efficiently using a non-redundant algorithm -- a class of algorithms introduced here. The preceding theoretical results are applied to the three types of egg-drop experiment to compute, for each, the maximum height of a building that can be dealt with using a given number of egg-drop**s.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
An Elementary Proof of the Generalization of the Binet Formula for $k$-bonacci Numbers
Authors:
Harold R. Parks,
Dean C. Wills
Abstract:
We present an elementary proof of the generalization of the $k$-bonacci Binet formula, a closed form calculation of the $k$-bonacci numbers using the roots of the characteristic polynomial of the $k$-bonacci recursion.
We present an elementary proof of the generalization of the $k$-bonacci Binet formula, a closed form calculation of the $k$-bonacci numbers using the roots of the characteristic polynomial of the $k$-bonacci recursion.
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
Sums of $k$-bonacci Numbers
Authors:
Harold R. Parks,
Dean C. Wills
Abstract:
We give a combinatorial proof of a formula giving the partial sums of the $k$-bonacci sequence as alternating sums of powers of two multiplied by binomial coefficients. As a corollary we obtain a formula for the $k$-bonacci numbers.
We give a combinatorial proof of a formula giving the partial sums of the $k$-bonacci sequence as alternating sums of powers of two multiplied by binomial coefficients. As a corollary we obtain a formula for the $k$-bonacci numbers.
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
Tunable electrochemistry with moiré flat bands and topological defects at twisted bilayer graphene
Authors:
Yun Yu,
Kaidi Zhang,
Holden Parks,
Mohammad Babar,
Stephen Carr,
Isaac M. Craig,
Madeline Van Winkle,
Artur Lyssenko,
Takashi Taniguchi,
Kenji Watanabe,
Venkatasubramanian Viswanathan,
D. Kwabena Bediako
Abstract:
Tailoring electron transfer dynamics across solid-liquid interfaces is fundamental to the interconversion of electrical and chemical energy. Stacking atomically thin layers with a very small azimuthal misorientation to produce moiré superlattices enables the controlled engineering of electronic band structures and the formation of extremely flat electronic bands. Here, we report a strong twist ang…
▽ More
Tailoring electron transfer dynamics across solid-liquid interfaces is fundamental to the interconversion of electrical and chemical energy. Stacking atomically thin layers with a very small azimuthal misorientation to produce moiré superlattices enables the controlled engineering of electronic band structures and the formation of extremely flat electronic bands. Here, we report a strong twist angle dependence of heterogeneous charge transfer kinetics at twisted bilayer graphene electrodes with the greatest enhancement observed near the 'magic angle' (~1.1 degrees). This effect is driven by the angle-dependent tuning of moiré-derived flat bands that modulate electron transfer processes with the solution-phase redox couple. Combined experimental and computational analysis reveals that the variation in electrochemical activity with moiré angle is controlled by atomic reconstruction of the moiré superlattice at twist angles <2 degrees, and topological defect AA stacking regions produce a large anomalous local electrochemical enhancement that cannot be accounted for by the elevated local density of states alone. Our results introduce moiré flat band materials as a distinctively tunable paradigm for mediating electrochemical transformations.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Uncertainty quantification in first-principles predictions of phonon properties and lattice thermal conductivity
Authors:
Holden L. Parks,
Hyun-Young Kim,
Venkatasubramanian Viswanathan,
Alan J. H. McGaughey
Abstract:
We present a framework for quantifying the uncertainty that results from the choice of exchange-correlation (XC) functional in predictions of phonon properties and thermal conductivity that use density functional theory (DFT) to calculate the atomic force constants. The energy ensemble capabilities of the BEEF-vdW XC functional are first applied to determine an ensemble of interatomic force consta…
▽ More
We present a framework for quantifying the uncertainty that results from the choice of exchange-correlation (XC) functional in predictions of phonon properties and thermal conductivity that use density functional theory (DFT) to calculate the atomic force constants. The energy ensemble capabilities of the BEEF-vdW XC functional are first applied to determine an ensemble of interatomic force constants, which are then used as inputs to lattice dynamics calculations and a solution of the Boltzmann transport equation. The framework is applied to isotopically-pure silicon. We find that the uncertainty estimates bound property predictions (e.g., phonon dispersions, specific heat, thermal conductivity) from other XC functionals and experiments. We distinguish between properties that are correlated with the predicted thermal conductivity [e.g., the transverse acoustic branch sound speed ($R^2=0.89$) and average Grüneisen parameter ($R^2=0.85$)] and those that are not [e.g., longitudinal acoustic branch sound speed ($R^2=0.23$) and specific heat ($R^2=0.00$)]. We find that differences in ensemble predictions of thermal conductivity are correlated with the behavior of phonons with mean free paths between $100$ and $300$ nm. The framework systematically accounts for XC uncertainty in phonon calculations and should be used whenever it is suspected that the choice of XC functional is influencing physical interpretations.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Machine Learning Enabled Discovery of Application Dependent Design Principles for Two-dimensional Materials
Authors:
Victor Venturi,
Holden Parks,
Zeeshan Ahmad,
Venkatasubramanian Viswanathan
Abstract:
The large-scale search for high-performing candidate 2D materials is limited to calculating a few simple descriptors, usually with first-principles density functional theory calculations. In this work, we alleviate this issue by extending and generalizing crystal graph convolutional neural networks to systems with planar periodicity, and train an ensemble of models to predict thermodynamic, mechan…
▽ More
The large-scale search for high-performing candidate 2D materials is limited to calculating a few simple descriptors, usually with first-principles density functional theory calculations. In this work, we alleviate this issue by extending and generalizing crystal graph convolutional neural networks to systems with planar periodicity, and train an ensemble of models to predict thermodynamic, mechanical, and electronic properties. To demonstrate the utility of this approach, we carry out a screening of nearly 45,000 structures for two largely disjoint applications: namely, mechanically robust composites and photovoltaics. An analysis of the uncertainty associated with our methods indicates the ensemble of neural networks is well-calibrated and has errors comparable with those from accurate first-principles density functional theory calculations. The ensemble of models allows us to gauge the confidence of our predictions, and to find the candidates most likely to exhibit effective performance in their applications. Since the datasets used in our screening were combinatorically generated, we are also able to investigate, using an innovative method, structural and compositional design principles that impact the properties of the structures surveyed and which can act as a generative model basis for future material discovery through reverse engineering. Our approach allowed us to recover some well-accepted design principles: for instance, we find that hybrid organic-inorganic perovskites with lead and tin tend to be good candidates for solar cell applications.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Uncertainty Quantification in First-Principles Predictions of Harmonic Vibrational Frequencies of Molecules and Molecular Complexes
Authors:
Holden L. Parks,
Alan. J. H. McGaughey,
Venkatasubramanian Viswanathan
Abstract:
Accurate prediction of molecular vibrational frequencies is important to identify spectroscopic signatures and reaction thermodynamics. In this work, we develop a method to quantify uncertainty associated with density functional theory predicted harmonic vibration frequencies utilizing the built-in error estimation capabilities of the BEEF-vdW exchange-correlation functional. The method is computa…
▽ More
Accurate prediction of molecular vibrational frequencies is important to identify spectroscopic signatures and reaction thermodynamics. In this work, we develop a method to quantify uncertainty associated with density functional theory predicted harmonic vibration frequencies utilizing the built-in error estimation capabilities of the BEEF-vdW exchange-correlation functional. The method is computationally efficiency by estimating the uncertainty at nearly the same computational cost as a single vibrational frequency calculation. We demonstrate the utility and robustness of the method by showing that the uncertainty estimates bounds the self-consistent calculations of six exchange correlation functionals for small molecules, rare gas dimers, and molecular complexes from the S22 dataset. Ten rare-gas dimers and the S22 dataset of molecular complexes provide a rigorous test as they are systems with complicated vibrational motion and non-covalent interactions. Using coefficient of variation as a uncertainty metric, we find that modes involving bending or torsional motion and those dominated by non-covalent interactions are found to have higher uncertainty in their predicted frequencies than covalent stretching modes. Given the simplicity of the method, we believe that this method can be easily adopted and should form a routine part of DFT-predicted harmonic frequency analysis.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Explicit Determination in ${\Bbb R}^{N}$ of $(N-1)$-Dimensional Area Minimizing Surfaces with Arbitrary Boundaries
Authors:
Harold R. Parks,
Jon T. Pitts
Abstract:
Let $N\ge3$ be an integer and $B$ be a smooth, compact, oriented, $(N-2)$-dimensional boundary in ${\Bbb R}^{N}$. In 1960, H. Federer and W. Fleming proved that there is an $(N-1)$-dimensional integral current spanning surface of least area. The proof was by compactness methods and non-constructive. In 1970 H. Federer proved the definitive regularity result for such a codimension one minimizing su…
▽ More
Let $N\ge3$ be an integer and $B$ be a smooth, compact, oriented, $(N-2)$-dimensional boundary in ${\Bbb R}^{N}$. In 1960, H. Federer and W. Fleming proved that there is an $(N-1)$-dimensional integral current spanning surface of least area. The proof was by compactness methods and non-constructive. In 1970 H. Federer proved the definitive regularity result for such a codimension one minimizing surface. Thus it is a question of long standing whether there is a numerical algorithm that will closely approximate the area minimizing surface. The principal result of this paper is an algorithm that solves this problem.
Specifically, given a neighborhood $U$ around $B$ in ${\Bbb R}^{N}$ and a tolerance $ε>0$, we prove that one can explicitly compute in finite time an $(N-1)$-dimensional integral current $T$ with the following approximation requirements:
(1) spt$(\partial T)\subset U$.
(2) $B$ and $\partial T$ are within distance $ε$ in the Hausdorff distance.
(3) $B$ and $\partial T$ are within distance $ε$ in the flat norm distance.
(4) ${\mathbb M}(T)<ε+\inf\{{\mathbb M}(S):\partial S=B\}$.
(5) Every area minimizing current $R$ with $\partial R=\partial T$ is within flat norm distance $ε$ of $T$.
△ Less
Submitted 5 April, 2017;
originally announced April 2017.
-
Constructing equivalence-preserving Dirac variational integrators with forces
Authors:
Helen Parks,
Melvin Leok
Abstract:
The dynamical motion of mechanical systems possesses underlying geometric structures, and preserving these structures in numerical integration improves the qualitative accuracy and reduces the long-time error of the simulation. For a single mechanical system, structure preservation can be achieved by adopting the variational integrator construction. This construction has been generalized to more c…
▽ More
The dynamical motion of mechanical systems possesses underlying geometric structures, and preserving these structures in numerical integration improves the qualitative accuracy and reduces the long-time error of the simulation. For a single mechanical system, structure preservation can be achieved by adopting the variational integrator construction. This construction has been generalized to more complex systems involving forces or constraints as well as to the setting of Dirac mechanics. Variational integrators have recently been applied to interconnected systems in Parks and Leok (2017), which are an important class of practically useful mechanical systems whose description in terms of Dirac structures and Dirac mechanical systems was elucidated in Jacobs and Yoshimura (2014). Since these interconnected systems are modeled as a collection of subsystems with forces of interconnection, we revisit some of the properties of forced variational integrators. In particular, we derive a class of Dirac variational integrators with forces that exhibit preservation properties that are critical when applying variational integrators to the discretization of interconnected Dirac systems. We close with a discussion of ongoing and future research based on these findings.
△ Less
Submitted 8 March, 2017;
originally announced March 2017.
-
Variational integrators for interconnected Lagrange-Dirac systems
Authors:
Helen Parks,
Melvin Leok
Abstract:
Interconnected systems are an important class of mathematical models, as they allow for the construction of complex, hierarchical, multiphysics, and multiscale models by the interconnection of simpler subsystems. Lagrange--Dirac mechanical systems provide a broad category of mathematical models that are closed under interconnection, and in this paper, we develop a framework for the interconnection…
▽ More
Interconnected systems are an important class of mathematical models, as they allow for the construction of complex, hierarchical, multiphysics, and multiscale models by the interconnection of simpler subsystems. Lagrange--Dirac mechanical systems provide a broad category of mathematical models that are closed under interconnection, and in this paper, we develop a framework for the interconnection of discrete Lagrange--Dirac mechanical systems, with a view towards constructing geometric structure-preserving discretizations of interconnected systems. This work builds on previous work on the interconnection of continuous Lagrange--Dirac systems (Jacobs and Yoshimura 2014) and discrete Dirac variational integrators (Leok and Ohsawa 2011). We test our results by simulating some of the continuous examples given in Jacobs and Yoshimura 2014.
△ Less
Submitted 2 August, 2016; v1 submitted 4 March, 2016;
originally announced March 2016.
-
A Simple Pendulum Determination of the Gravitational Constant
Authors:
Harold V. Parks,
James E. Faller
Abstract:
We determined the Newtonian Constant of Gravitation G by interferometrically measuring the change in spacing between two free-hanging pendulum masses caused by the gravitational field from large tungsten source masses. We find a value for G of (6.672 34 +/- 0.000 14) x 10^-11 m^3 kg^-1 s^-2. This value is in good agreement with the 1986 Committee on Data for Science and Technology (CODATA) value o…
▽ More
We determined the Newtonian Constant of Gravitation G by interferometrically measuring the change in spacing between two free-hanging pendulum masses caused by the gravitational field from large tungsten source masses. We find a value for G of (6.672 34 +/- 0.000 14) x 10^-11 m^3 kg^-1 s^-2. This value is in good agreement with the 1986 Committee on Data for Science and Technology (CODATA) value of (6.672 59 +/- 0.000 85) x 10^-11 m^3 kg^-1 s^-2 [Rev. Mod. Phys. 59, 1121 (1987)] but differs from some more recent determinations as well as the latest CODATA recommendation of (6.674 28 +/- 0.000 67) x 10^-11 m^3 kg^-1 s^-2 [Rev. Mod. Phys. 80, 633 (2008)].
△ Less
Submitted 7 September, 2010; v1 submitted 18 August, 2010;
originally announced August 2010.
-
The Lagrange inversion theorem in the smooth case
Authors:
Steven G. Krantz,
Harold R. Parks
Abstract:
The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.
The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.
△ Less
Submitted 1 December, 2006;
originally announced December 2006.
