-
Hybrid programming-model strategies for GPU offloading of electronic structure calculation kernels
Authors:
Jean-Luc Fattebert,
Christian F. A. Negre,
Joshua Finkelstein,
Jamaludin Mohd-Yusof,
Daniel Osei-Kuffuor,
Michael E. Wall,
Yu Zhang,
Nicolas Bock,
Susan M. Mniszewski
Abstract:
To address the challenge of performance portability, and facilitate the implementation of electronic structure solvers, we developed the Basic Matrix Library (BML) and Parallel, Rapid O(N) and Graph-based Recursive Electronic Structure Solver (PROGRESS) libraries. BML implements linear algebra operations necessary for electronic structure kernels using a unified user interface for various matrix f…
▽ More
To address the challenge of performance portability, and facilitate the implementation of electronic structure solvers, we developed the Basic Matrix Library (BML) and Parallel, Rapid O(N) and Graph-based Recursive Electronic Structure Solver (PROGRESS) libraries. BML implements linear algebra operations necessary for electronic structure kernels using a unified user interface for various matrix formats (dense, sparse) and architectures (CPUs, GPUs). Focusing on Density Functional Theory (DFT) and Tight-Binding (TB) models, PROGRESS implements several solvers for computing the single-particle density matrix and relies on BML. In this paper, we describe the general strategies used for these implementations on various computer architectures, using OpenMP target functionalities on GPUs, in conjunction with third-party libraries to handle performance critical numerical kernels. We demonstrate the portability of this approach and its performance on benchmark problems.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
On-Surface Carbon Nitride Growth from Polymerization of 2,5,8-Triazido-s-heptazine
Authors:
Matthias Krinninger,
Nicolas Bock,
Sebastian Kaiser,
Johanna Plansky,
Tobias Bruhm,
Felix Haag,
Francesco Allegretti,
Ueli Heiz,
Klaus Koehler,
Barbara A. J. Lechner,
Friedrich Esch
Abstract:
Carbon nitrides have recently come into focus for photo- and thermal catalysis, both as support materials for metal nanoparticles as well as photocatalysts themselves. While many approaches for the synthesis of three-dimensional carbon nitride materials are available, only top-down approaches by exfoliation of powders lead to thin film flakes of this inherently two-dimensional material. Here, we d…
▽ More
Carbon nitrides have recently come into focus for photo- and thermal catalysis, both as support materials for metal nanoparticles as well as photocatalysts themselves. While many approaches for the synthesis of three-dimensional carbon nitride materials are available, only top-down approaches by exfoliation of powders lead to thin film flakes of this inherently two-dimensional material. Here, we describe an in situ on-surface synthesis of monolayer 2D carbon nitride films, as a first step towards precise combination with other 2D materials. Starting with a single monomer precursor, we show that 2,5,8-triazido-s-heptazine (TAH) can be evaporated intact, deposited on a single crystalline Au(111) or graphite support, and activated via azide decomposition and subsequent coupling to form a covalent polyheptazine network. We demonstrate that the activation can occur in three pathways, via electrons (X-ray illumination), photons (UV illumination) and thermally. Our work paves the way to coat materials with extended carbon nitride networks which are, as we show, stable under ambient conditions.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Neuromorphic Twins for Networked Control and Decision-Making
Authors:
Holger Boche,
Yannik N. Böck,
Christian Deppe,
Frank H. P. Fitzek
Abstract:
We consider the problem of remotely tracking the state of and unstable linear time-invariant plant by means of data transmitted through a noisy communication channel from an algorithmic point of view. Assuming the dynamics of the plant are known, does there exist an algorithm that accepts a description of the channel's characteristics as input, and returns 'Yes' if the transmission capabilities pe…
▽ More
We consider the problem of remotely tracking the state of and unstable linear time-invariant plant by means of data transmitted through a noisy communication channel from an algorithmic point of view. Assuming the dynamics of the plant are known, does there exist an algorithm that accepts a description of the channel's characteristics as input, and returns 'Yes' if the transmission capabilities permit the remote tracking of the plant's state, 'No' otherwise? Does there exist an algorithm that, in case of a positive answer, computes a suitable encoder/decoder-pair for the channel? Questions of this kind are becoming increasingly important with regards to future communication technologies that aim to solve control engineering tasks in a distributed manner. In particular, they play an essential role in digital twinning, an emerging information processing approach originally considered in the context of Industry 4.0. Yet, the abovementioned questions have been answered in the negative with respect to algorithms that can be implemented on idealized digital hardware, i.e., Turing machines. In this article, we investigate the remote state estimation problem in view of the Blum-Shub-Smale computability framework. In the broadest sense, the latter can be interpreted as a model for idealized analog computation. Especially in the context of neuromorphic computing, analog hardware has experienced a revival in the past view years. Hence, the contribution of this work may serve as a motivation for a theory of neuromorphic twins as a counterpart to digital twins for analog hardware.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
On the Need of Analog Signals and Systems for Digital-Twin Representations
Authors:
Holger Boche,
Ullrich J. Mönich,
Yannik N. Böck,
Frank H. P. Fitzek
Abstract:
We consider the task of converting different digital descriptions of analog bandlimited signals and systems into each other, with a rigorous application of mathematical computability theory. Albeit very fundamental, the problem appears in the scope of digital twinning, an emerging concept in the field of digital processing of analog information that is regularly mentioned as one of the key enabler…
▽ More
We consider the task of converting different digital descriptions of analog bandlimited signals and systems into each other, with a rigorous application of mathematical computability theory. Albeit very fundamental, the problem appears in the scope of digital twinning, an emerging concept in the field of digital processing of analog information that is regularly mentioned as one of the key enablers for next-generation cyber-physical systems and their areas of application. In this context, we prove that essential quantities such as the peak-to-average power ratio and the bounded-input/bounded-output norm, which determine the behavior of the real-world analog system, cannot generally be determined from the system's digital twin, depending on which of the above-mentioned descriptions is chosen. As a main result, we characterize the algorithmic strength of Shannon's sampling type representation as digital twin implementation and also introduce a new digital twin implementation of analog signals and systems. We show there exist two digital descriptions, both of which uniquely characterize a certain analog system, such that one description can be algorithmically converted into the other, but not vice versa.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
On the Arithmetic Complexity of the Bandwidth of Bandlimited Signals
Authors:
Holger Boche,
Yannik N. Böck,
Ullrich J. Mönich
Abstract:
The bandwidth of a signal is an important physical property that is of relevance in many signal- and information-theoretic applications. In this paper we study questions related to the computability of the bandwidth of computable bandlimited signals. To this end we employ the concept of Turing computability, which exactly describes what is theoretically feasible and can be computed on a digital co…
▽ More
The bandwidth of a signal is an important physical property that is of relevance in many signal- and information-theoretic applications. In this paper we study questions related to the computability of the bandwidth of computable bandlimited signals. To this end we employ the concept of Turing computability, which exactly describes what is theoretically feasible and can be computed on a digital computer. Recently, it has been shown that there exist computable bandlimited signals with finite energy, the actual bandwidth of which is not a computable number, and hence cannot be computed on a digital computer. In this work, we consider the most general class of band-limited signals, together with different computable representations thereof. Among other things, our analysis includes a characterization of the arithmetic complexity of the bandwidth of such signals and yields a negative answer to the question of whether it is at least possible to compute non-trivial upper or lower bounds for the bandwidth of a bandlimited signal. Furthermore, we relate the problem of bandwidth computation to the theory of oracle machines. In particular, we consider halting and totality oracles, which belong to the most frequently investigated oracle machines in the theory of computation.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Performance Optimizations of Recursive Electronic Structure Solvers targeting Multi-Core Architectures (LA-UR-20-26665)
Authors:
Adetokunbo A. Adedoyin,
Christian F. A. Negre,
Jamaludin Mohd-Yusof,
Nicolas Bock,
Daniel Osei-Kuffuor,
Jean-Luc Fattebert,
Michael E. Wall,
Anders M. N. Niklasson,
Susan M. Mniszewski
Abstract:
As we rapidly approach the frontiers of ultra large computing resources, software optimization is becoming of paramount interest to scientific application developers interested in efficiently leveraging all available on-Node computing capabilities and thereby improving a requisite science per watt metric. The scientific application of interest here is the Basic Math Library (BML) that provides a s…
▽ More
As we rapidly approach the frontiers of ultra large computing resources, software optimization is becoming of paramount interest to scientific application developers interested in efficiently leveraging all available on-Node computing capabilities and thereby improving a requisite science per watt metric. The scientific application of interest here is the Basic Math Library (BML) that provides a singular interface for linear algebra operation frequently used in the Quantum Molecular Dynamics (QMD) community. The provisioning of a singular interface indicates the presence of an abstraction layer which in-turn suggests commonalities in the code-base and therefore any optimization or tuning introduced in the core of code-base has the ability to positively affect the performance of the aforementioned library as a whole. With that in mind, we proceed with this investigation by performing a survey of the entirety of the BML code-base, and extract, in form of micro-kernels, common snippets of code. We introduce several optimization strategies into these micro-kernels including 1.) Strength Reduction 2.) Memory Alignment for large arrays 3.) Non Uniform Memory Access (NUMA) aware allocations to enforce data locality and 4.) appropriate thread affinity and bindings to enhance the overall multi-threaded performance. After introducing these optimizations, we benchmark the micro-kernels and compare the run-time before and after optimization for several target architectures. Finally we use the results as a guide to propagating the optimization strategies into the BML code-base. As a demonstration, herein, we test the efficacy of these optimization strategies by comparing the benchmark and optimized versions of the code.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
Graph-based linear scaling electronic structure theory
Authors:
Anders M. N. Niklasson,
Susan M. Mniszewski,
Christian F. A. Negre,
Marc J. Cawkwell,
Pieter J. Swart,
Jamal Mohd-Yusof,
Timothy C. Germann,
Michael E. Wall,
Nicolas Bock,
Emanuel H. Rubensson,
Hristo Djidjev
Abstract:
We show how graph theory can be combined with quantum theory to calculate the electronic structure of large complex systems. The graph formalism is general and applicable to a broad range of electronic structure methods and materials, including challenging systems such as biomolecules. The methodology combines well-controlled accuracy, low computational cost, and natural low-communication parallel…
▽ More
We show how graph theory can be combined with quantum theory to calculate the electronic structure of large complex systems. The graph formalism is general and applicable to a broad range of electronic structure methods and materials, including challenging systems such as biomolecules. The methodology combines well-controlled accuracy, low computational cost, and natural low-communication parallelism. This combination addresses substantial shortcomings of linear scaling electronic structure theory, in particular with respect to quantum-based molecular dynamics simulations.
△ Less
Submitted 2 March, 2016;
originally announced March 2016.
-
A $N$-Body Solver for Square Root Iteration
Authors:
Matt Challacombe,
Terry Haut,
Nicolas Bock
Abstract:
We develop the Sparse Approximate Matrix Multiply ($\tt SpAMM$) $n$-body solver for first order Newton Schulz iteration of the matrix square root and inverse square root. The solver performs recursive two-sided metric queries on a modified Cauchy-Schwarz criterion, culling negligible sub-volumes of the product-tensor for problems with structured decay in the sub-space metric. These sub-structures…
▽ More
We develop the Sparse Approximate Matrix Multiply ($\tt SpAMM$) $n$-body solver for first order Newton Schulz iteration of the matrix square root and inverse square root. The solver performs recursive two-sided metric queries on a modified Cauchy-Schwarz criterion, culling negligible sub-volumes of the product-tensor for problems with structured decay in the sub-space metric. These sub-structures are shown to bound the relative error in the matrix-matrix product, and in favorable cases, to enjoy a reduced computational complexity governed by dimensionality reduction of the product volume. A main contribution is demonstration of a new, algebraic locality that develops under contractive identity iteration, with collapse of the metric-subspace onto the identity's plane diagonal, resulting in a stronger $\tt SpAMM$ bound. Also, we carry out a first order {Fréchet} analyses for single and dual channel instances of the square root iteration, and look at bifurcations due to ill-conditioning and a too aggressive $\tt SpAMM$ approximation. Then, we show that extreme $\tt SpAMM$ approximation and contractive identity iteration can be achieved for ill-conditioned systems through regularization, and we demonstrate the potential for acceleration with a sco**, product representation of the inverse factor.
△ Less
Submitted 13 October, 2015; v1 submitted 24 August, 2015;
originally announced August 2015.
-
Solvers for $\mathcal{O} (N)$ Electronic Structure in the Strong Scaling Limit
Authors:
Nicolas Bock,
Matt Challacombe,
Laxmikant V. Kalé
Abstract:
We present a hybrid OpenMP/Charm++ framework for solving the $\mathcal{O} (N)$ Self-Consistent-Field eigenvalue problem with parallelism in the strong scaling regime, $P\gg{N}$, where $P$ is the number of cores, and $N$ a measure of system size, i.e. the number of matrix rows/columns, basis functions, atoms, molecules, etc. This result is achieved with a nested approach to Spectral Projection and…
▽ More
We present a hybrid OpenMP/Charm++ framework for solving the $\mathcal{O} (N)$ Self-Consistent-Field eigenvalue problem with parallelism in the strong scaling regime, $P\gg{N}$, where $P$ is the number of cores, and $N$ a measure of system size, i.e. the number of matrix rows/columns, basis functions, atoms, molecules, etc. This result is achieved with a nested approach to Spectral Projection and the Sparse Approximate Matrix Multiply [Bock and Challacombe, SIAM J.~Sci.~Comput. 35 C72, 2013], and involves a recursive, task-parallel algorithm, often employed by generalized $N$-Body solvers, to occlusion and culling of negligible products in the case of matrices with decay. Employing classic technologies associated with generalized $N$-Body solvers, including over-decomposition, recursive task parallelism, orderings that preserve locality, and persistence-based load balancing, we obtain scaling beyond hundreds of cores per molecule for small water clusters ([H${}_2$O]${}_N$, $N \in \{ 30, 90, 150 \}$, $P/N \approx \{ 819, 273, 164 \}$) and find support for an increasingly strong scalability with increasing system size $N$.
△ Less
Submitted 20 October, 2015; v1 submitted 28 March, 2014;
originally announced March 2014.
-
An N-Body Solution to the Problem of Fock Exchange
Authors:
Matt Challacombe,
Nicolas Bock
Abstract:
We report an N-Body approach to computing the Fock exchange matrix with and without permutational symmetry. The method achieves an O(N lg N) computational complexity through an embedded metric-query, allowing hierarchical application of direct SCF criteria. The advantages of permutational symmetry are found to be 4-fold for small systems, but decreasing with increasing system size and/or more perm…
▽ More
We report an N-Body approach to computing the Fock exchange matrix with and without permutational symmetry. The method achieves an O(N lg N) computational complexity through an embedded metric-query, allowing hierarchical application of direct SCF criteria. The advantages of permutational symmetry are found to be 4-fold for small systems, but decreasing with increasing system size and/or more permissive neglect criteria. This work sets the stage for: (1) the introduction of range queries in multi-level multipole schemes for rank reduction, and (2) recursive task parallelism.
△ Less
Submitted 27 January, 2014;
originally announced January 2014.
-
Thermal electronic excitations in liquid metals
Authors:
Eric D. Chisolm,
Nicolas Bock,
Sven P. Rudin,
Duane C. Wallace
Abstract:
Thermal electronic excitations in metal crystals are calculated by starting with a reference structure for the nuclei: the crystal structure of the appropriate phase. Here we explain the corresponding theory for metal liquids, starting with an appropriate reference structure for a liquid. We explain the significance of these structures, and we briefly review how to find them and calculate their pr…
▽ More
Thermal electronic excitations in metal crystals are calculated by starting with a reference structure for the nuclei: the crystal structure of the appropriate phase. Here we explain the corresponding theory for metal liquids, starting with an appropriate reference structure for a liquid. We explain the significance of these structures, and we briefly review how to find them and calculate their properties. Then we examine the electronic densities of states for liquid structures of Na, Al, and Cu, comparing them to their crystal forms. Next we explain how to calculate the dominant electronic thermal excitation term, considering issues of accuracy that do not arise in the crystal theory. Finally we briefly discuss the contribution from the interaction between excited electrons and moving nuclei.
△ Less
Submitted 2 July, 2013; v1 submitted 1 July, 2013;
originally announced July 2013.
-
Inclusive J/psi production in pp collisions at sqrt(s) = 2.76 TeV
Authors:
ALICE Collaboration,
B. Abelev,
J. Adam,
D. Adamova,
A. M. Adare,
M. M. Aggarwal,
G. Aglieri Rinella,
A. G. Agocs,
A. Agostinelli,
S. Aguilar Salazar,
Z. Ahammed,
A. Ahmad Masoodi,
N. Ahmad,
S. U. Ahn,
A. Akindinov,
D. Aleksandrov,
B. Alessandro,
R. Alfaro Molina,
A. Alici,
A. Alkin,
E. Almaraz Avina,
J. Alme,
T. Alt,
V. Altini,
S. Altinpinar
, et al. (948 additional authors not shown)
Abstract:
The ALICE Collaboration has measured inclusive J/psi production in pp collisions at a center of mass energy sqrt(s)=2.76 TeV at the LHC. The results presented in this Letter refer to the rapidity ranges |y|<0.9 and 2.5<y<4 and have been obtained by measuring the electron and muon pair decay channels, respectively. The integrated luminosities for the two channels are L^e_int=1.1 nb^-1 and L^mu_int=…
▽ More
The ALICE Collaboration has measured inclusive J/psi production in pp collisions at a center of mass energy sqrt(s)=2.76 TeV at the LHC. The results presented in this Letter refer to the rapidity ranges |y|<0.9 and 2.5<y<4 and have been obtained by measuring the electron and muon pair decay channels, respectively. The integrated luminosities for the two channels are L^e_int=1.1 nb^-1 and L^mu_int=19.9 nb^-1, and the corresponding signal statistics are N_J/psi^e+e-=59 +/- 14 and N_J/psi^mu+mu-=1364 +/- 53. We present dsigma_J/psi/dy for the two rapidity regions under study and, for the forward-y range, d^2sigma_J/psi/dydp_t in the transverse momentum domain 0<p_t<8 GeV/c. The results are compared with previously published results at sqrt(s)=7 TeV and with theoretical calculations.
△ Less
Submitted 6 November, 2012; v1 submitted 16 March, 2012;
originally announced March 2012.
-
An Optimized Sparse Approximate Matrix Multiply for Matrices with Decay
Authors:
Nicolas Bock,
Matt Challacombe
Abstract:
We present an optimized single-precision implementation of the Sparse Approximate Matrix Multiply (\SpAMM{}) [M. Challacombe and N. Bock, arXiv {\bf 1011.3534} (2010)], a fast algorithm for matrix-matrix multiplication for matrices with decay that achieves an $\mathcal{O} (n \log n)$ computational complexity with respect to matrix dimension $n$. We find that the max norm of the error achieved with…
▽ More
We present an optimized single-precision implementation of the Sparse Approximate Matrix Multiply (\SpAMM{}) [M. Challacombe and N. Bock, arXiv {\bf 1011.3534} (2010)], a fast algorithm for matrix-matrix multiplication for matrices with decay that achieves an $\mathcal{O} (n \log n)$ computational complexity with respect to matrix dimension $n$. We find that the max norm of the error achieved with a \SpAMM{} tolerance below $2 \times 10^{-8}$ is lower than that of the single-precision {\tt SGEMM} for dense quantum chemical matrices, while outperforming {\tt SGEMM} with a cross-over already for small matrices ($n \sim 1000$). Relative to naive implementations of \SpAMM{} using Intel's Math Kernel Library ({\tt MKL}) or AMD's Core Math Library ({\tt ACML}), our optimized version is found to be significantly faster. Detailed performance comparisons are made for quantum chemical matrices with differently structured sub-blocks. Finally, we discuss the potential of improved hardware prefetch to yield 2--3x speedups.
△ Less
Submitted 4 September, 2012; v1 submitted 8 March, 2012;
originally announced March 2012.
-
Extended Lagrangian free energy molecular dynamics
Authors:
Anders M. N. Niklasson,
Peter Steneteg,
Nicolas Bock
Abstract:
Extended free energy Lagrangians are proposed for first principles molecular dynamics simulations at finite electronic temperatures for plane-wave pseudopotential and local orbital density matrix based calculations. Thanks to the extended Lagrangian description the electronic degrees of freedom can be integrated by stable geometric schemes that conserve the free energy. For the local orbital repre…
▽ More
Extended free energy Lagrangians are proposed for first principles molecular dynamics simulations at finite electronic temperatures for plane-wave pseudopotential and local orbital density matrix based calculations. Thanks to the extended Lagrangian description the electronic degrees of freedom can be integrated by stable geometric schemes that conserve the free energy. For the local orbital representations both the nuclear and electronic forces have simple and numerically efficient expressions that are well suited for reduced complexity calculations. A rapidly converging recursive Fermi operator expansion method that does not require the calculation of eigenvalues and eigenfunctions for the construction of the fractionally occupied density matrix is discussed. An efficient expression for the Pulay force that is valid also for density matrices with fractional occupation occurring at finite electronic temperatures is also demonstrated.
△ Less
Submitted 1 November, 2011;
originally announced November 2011.
-
Energy momentum conservation effects on two-particle correlation functions
Authors:
Nicolas Bock
Abstract:
Two particle correlations are used to extract information about the characteristic size of the system in proton-proton and heavy ion collisions. The size of the system can be extracted from the Bose-Einstein quantum mechanical effect for identical particles. However there are also long range correlations that shift the baseline of the correlation function from the expected flat behavior. A possibl…
▽ More
Two particle correlations are used to extract information about the characteristic size of the system in proton-proton and heavy ion collisions. The size of the system can be extracted from the Bose-Einstein quantum mechanical effect for identical particles. However there are also long range correlations that shift the baseline of the correlation function from the expected flat behavior. A possible source of these correlations is the conservation of energy and momentum, especially for small systems, where the energy available for particle production is limited. A new technique, first used by the STAR collaboration, of quantifying these long range correlations using energy-momentum conservation considerations is presented in this talk. Using Monte Carlo simulations of proton-proton collisions at 900 GeV, it is shown that the baseline of the two particle correlation function can be described using this technique.
△ Less
Submitted 27 January, 2011;
originally announced January 2011.
-
Fast Multiplication of Matrices with Decay
Authors:
Matt Challacombe,
Nicolas Bock
Abstract:
A fast algorithm for the approximate multiplication of matrices with decay is introduced; the Sparse Approximate Matrix Multiply (SpAMM) reduces complexity in the product space, a different approach from current methods that economize within the matrix space through truncation or rank reduction. Matrix truncation (element drop**) is compared to SpAMM for quantum chemical matrices with approximat…
▽ More
A fast algorithm for the approximate multiplication of matrices with decay is introduced; the Sparse Approximate Matrix Multiply (SpAMM) reduces complexity in the product space, a different approach from current methods that economize within the matrix space through truncation or rank reduction. Matrix truncation (element drop**) is compared to SpAMM for quantum chemical matrices with approximate exponential and algebraic decay. For matched errors in the electronic total energy, SpAMM is found to require fewer to far fewer floating point operations relative to drop**. The challenges and opportunities afforded by this new approach are discussed, including the potential for high performance implementations.
△ Less
Submitted 15 November, 2010;
originally announced November 2010.
-
Femtoscopy and energy-momentum conservation effects in proton-proton collisions at 900 GeV in ALICE
Authors:
Nicolas Bock
Abstract:
Two particle correlations are used to extract information about the characteristic size of the system for proton-proton collisions at 900 GeV measured by the ALICE (A Large Ion Collider experiment) detector at CERN. The correlation functions obtained show the expected Bose-Einstein effect for identical particles, but there are also long range correlations present that shift the baseline from the e…
▽ More
Two particle correlations are used to extract information about the characteristic size of the system for proton-proton collisions at 900 GeV measured by the ALICE (A Large Ion Collider experiment) detector at CERN. The correlation functions obtained show the expected Bose-Einstein effect for identical particles, but there are also long range correlations present that shift the baseline from the expected flat behavior. A possible source of these correlations is the conservation of energy and momentum, especially for small systems, where the energy available for particle production is limited. A new technique, first introduced by the STAR collaboration, of quantifying these long range correlations using energy-momentum conservation considerations is presented here. It is shown that the baseline of the two particle correlation function can be described using this technique.
△ Less
Submitted 16 September, 2010;
originally announced September 2010.
-
Liquid state properties from first principles DFT calculations: Static properties
Authors:
Nicolas Bock,
Erik Holmstrom,
Travis B. Peery,
Raquel Lizarraga,
Eric D. Chisolm,
Giulia De Lorenzi-Venneri,
Duane C. Wallace
Abstract:
In order to test the Vibration-Transit (V-T) theory of liquid dynamics, ab initio density functional theory (DFT) calculations of thermodynamic properties of Na and Cu are performed and compared with experimental data. The calculations are done for the crystal at T = 0 and T_m, and for the liquid at T_m. The key theoretical quantities for crystal and liquid are the structural potential and the dyn…
▽ More
In order to test the Vibration-Transit (V-T) theory of liquid dynamics, ab initio density functional theory (DFT) calculations of thermodynamic properties of Na and Cu are performed and compared with experimental data. The calculations are done for the crystal at T = 0 and T_m, and for the liquid at T_m. The key theoretical quantities for crystal and liquid are the structural potential and the dynamical matrix, both as function of volume. The theoretical equations are presented, as well as details of the DFT computations. The properties compared with experiment are the equilibrium volume, the isothermal bulk modulus, the internal energy and the entropy. The agreement of theory with experiment is uniformly good. Our primary conclusion is that the application of DFT to V-T theory is feasible, and the resulting liquid calculations achieve the same level of accuracy as does ab initio lattice dynamics for crystals. Moreover, given the well established reliability of DFT, the present results provide a significant confirmation of V-T theory itself.
△ Less
Submitted 6 October, 2010; v1 submitted 4 May, 2010;
originally announced May 2010.
-
Statistical mechanics model for the transit free energy of monatomic liquids
Authors:
Duane C. Wallace,
Eric D. Chisolm,
N. Bock,
G. De Lorenzi-Venneri
Abstract:
In applying Vibration-Transit (V-T) theory of liquid dynamics to the thermodynamic properties of monatomic liquids, the point has been reached where an improved model is needed for the small (approx. 10%) transit contribution. Toward this goal, an analysis of the available high-temperature experimental entropy data for elemental liquids was recently completed [D. C. Wallace, E. D. Chisolm, and N…
▽ More
In applying Vibration-Transit (V-T) theory of liquid dynamics to the thermodynamic properties of monatomic liquids, the point has been reached where an improved model is needed for the small (approx. 10%) transit contribution. Toward this goal, an analysis of the available high-temperature experimental entropy data for elemental liquids was recently completed [D. C. Wallace, E. D. Chisolm, and N. Bock, Phys. Rev. B 79, 051201 (2009)]. This analysis yields a common curve of transit entropy vs. T/θ_{tr}, where T is temperature and θ_{tr} is a scaling temperature for each element. In the present paper, a statistical mechanics model is constructed for the transit partition function, and is calibrated to the experimental transit entropy curve. The model has two scalar parameters, and captures the temperature scaling of experiment. The calibrated model fits the experimental liquid entropy to high accuracy at all temperatures. With no additional parameters, the model also agrees with both experiment and molecular dynamics for the internal energy vs. T for Na. With the calibrated transit model, V-T theory provides equations subject to ab initio evaluation for thermodynamic properties of monatomic liquids. This will allow the range of applicability of the theory, and its overall accuracy, to be determined. More generally, the hypothesis of V-T theory, which divides the many-atom potential energy valleys into random and symmetric classes, can also be tested for its application beyond monatomic systems.
△ Less
Submitted 19 April, 2010; v1 submitted 22 December, 2009;
originally announced December 2009.
-
An \emph{ab initio} method for locating characteristic potential energy minima of liquids
Authors:
E. Holmstrom,
N. Bock,
Travis B. Peery,
R. Lizarraga,
G. DeLorenzi-Venneri,
Eric D. Chisolm,
Duane C. Wallace
Abstract:
It is possible in principle to probe the many--atom potential surface using density functional theory (DFT). This will allow us to apply DFT to the Hamiltonian formulation of atomic motion in monatomic liquids [\textit{Phys. Rev. E} {\bf 56}, 4179 (1997)]. For a monatomic system, analysis of the potential surface is facilitated by the random and symmetric classification of potential energy valle…
▽ More
It is possible in principle to probe the many--atom potential surface using density functional theory (DFT). This will allow us to apply DFT to the Hamiltonian formulation of atomic motion in monatomic liquids [\textit{Phys. Rev. E} {\bf 56}, 4179 (1997)]. For a monatomic system, analysis of the potential surface is facilitated by the random and symmetric classification of potential energy valleys. Since the random valleys are numerically dominant and uniform in their macroscopic potential properties, only a few quenches are necessary to establish these properties. Here we describe an efficient technique for doing this. Quenches are done from easily generated "stochastic" configurations, in which the nuclei are distributed uniformly within a constraint limiting the closeness of approach. For metallic Na with atomic pair potential interactions, it is shown that quenches from stochastic configurations and quenches from equilibrium liquid Molecular Dynamics (MD) configurations produce statistically identical distributions of the structural potential energy. Again for metallic Na, it is shown that DFT quenches from stochastic configurations provide the parameters which calibrate the Hamiltonian. A statistical mechanical analysis shows how the underlying potential properties can be extracted from the distributions found in quenches from stochastic configurations.
△ Less
Submitted 29 September, 2009; v1 submitted 18 June, 2009;
originally announced June 2009.
-
An improved model for the transit entropy of monatomic liquids
Authors:
Duane C. Wallace,
Eric D. Chisolm,
Nicolas Bock
Abstract:
In the original formulation of vibration-transit (V-T) theory for monatomic liquid dynamics, the transit contribution to entropy was taken to be a universal constant, calibrated to the constant-volume entropy of melting. This model suffers two deficiencies: (a) it does not account for experimental entropy differences of 2% among elemental liquids, and (b) it implies a value of zero for the trans…
▽ More
In the original formulation of vibration-transit (V-T) theory for monatomic liquid dynamics, the transit contribution to entropy was taken to be a universal constant, calibrated to the constant-volume entropy of melting. This model suffers two deficiencies: (a) it does not account for experimental entropy differences of 2% among elemental liquids, and (b) it implies a value of zero for the transit contribution to internal energy. The purpose of this paper is to correct these deficiencies. To this end, the V-T equation for entropy is fitted to an overall accuracy of 0.1% to the available experimental high temperature entropy data for elemental liquids. The theory contains two nuclear motion contributions: (a) the dominant vibrational contribution S_{vib}(T/θ_0), where T is temperature and θ_0 is the vibrational characteristic temperature, and (b) the transit contribution S_{tr}(T/θ_{tr}), where θ_{tr} is a scaling temperature for each liquid. The appearance of a common functional form of S_{tr} for all the liquids studied is a property of the experimental data, when analyzed via the V-T formula. The resulting S_{tr} implies the correct transit contribution to internal energy. The theoretical entropy of melting is derived, in a single formula applying to normal and anomalous melting alike. An ab initio calculation of θ_0, based on density functional theory, is reported for liquid Na and Cu. Comparison of these calculations with the above analysis of experimental entropy data provides verification of V-T theory. In view of the present results, techniques currently being applied in ab initio simulations of liquid properties can be employed to advantage in the further testing and development of V-T theory.
△ Less
Submitted 22 May, 2009; v1 submitted 23 March, 2009;
originally announced March 2009.
-
Cache oblivious storage and access heuristics for blocked matrix-matrix multiplication
Authors:
Nicolas Bock,
Emanuel H. Rubensson,
Paweł Sałek,
Anders M. N. Niklasson,
Matt Challacombe
Abstract:
We investigate effects of ordering in blocked matrix--matrix multiplication. We find that submatrices do not have to be stored contiguously in memory to achieve near optimal performance. Instead it is the choice of execution order of the submatrix multiplications that leads to a speedup of up to four times for small block sizes. This is in contrast to results for single matrix elements showing t…
▽ More
We investigate effects of ordering in blocked matrix--matrix multiplication. We find that submatrices do not have to be stored contiguously in memory to achieve near optimal performance. Instead it is the choice of execution order of the submatrix multiplications that leads to a speedup of up to four times for small block sizes. This is in contrast to results for single matrix elements showing that contiguous memory allocation quickly becomes irrelevant as the blocksize increases.
△ Less
Submitted 15 August, 2008; v1 submitted 7 August, 2008;
originally announced August 2008.
-
Quantitative Calculations for Black Hole Production at the Large Hadron Collider
Authors:
Nicolas Bock,
Thomas J. Humanic
Abstract:
The framework of Large Extra Dimensions provides a way to explain why gravity is weaker compared to the other forces in nature. A consequence of this model is the possible production of D-dimensional Black Holes in high energy p-p collisions at the Large Hadron Collider. The present work uses the CATFISH Black Hole generator to study quantitatively how these events could be observed in the hadro…
▽ More
The framework of Large Extra Dimensions provides a way to explain why gravity is weaker compared to the other forces in nature. A consequence of this model is the possible production of D-dimensional Black Holes in high energy p-p collisions at the Large Hadron Collider. The present work uses the CATFISH Black Hole generator to study quantitatively how these events could be observed in the hadronic channel at mid-rapidity using a particle tracking detector.
△ Less
Submitted 15 November, 2008; v1 submitted 12 June, 2008;
originally announced June 2008.
-
Optimized network clustering by jum** sub-optimal dendrograms
Authors:
Nicolas Bock,
Erik Holmström,
Johan Brännlund
Abstract:
We propose a method to improve community division techniques in networks that are based on agglomeration by introducing dendrogram jum**. The method is based on iterations of sub-optimal dendrograms instead of optimization of each agglomeration step. We find the algorithm to exhibit excellent scaling behavior of its computational complexity. In its present form the algorithm scales as…
▽ More
We propose a method to improve community division techniques in networks that are based on agglomeration by introducing dendrogram jum**. The method is based on iterations of sub-optimal dendrograms instead of optimization of each agglomeration step. We find the algorithm to exhibit excellent scaling behavior of its computational complexity. In its present form the algorithm scales as $\mathcal{O} (N^{2})$, but by using more efficient data structures it is possible to achieve a scaling of $\mathcal{O} (N \log^{2} N)$. We compare our results with other methods such as the greedy algorithm and the extremal optimization method. We find modularity values larger than the greedy algorithm and values comparable to the extremal optimization method.
△ Less
Submitted 2 July, 2009; v1 submitted 10 November, 2007;
originally announced November 2007.
-
Density Analysis of Network Community Divisions
Authors:
Erik Holmström,
Nicolas Bock,
Johan Brännlund
Abstract:
We present a compact matrix formulation of the modularity, a commonly used quality measure for the community division in a network. Using this formulation we calculate the density of modularities, a statistical measure of the probability of finding a particular modularity for a random but valid community division into $C$ communities. We present our results for some well--known and some artifici…
▽ More
We present a compact matrix formulation of the modularity, a commonly used quality measure for the community division in a network. Using this formulation we calculate the density of modularities, a statistical measure of the probability of finding a particular modularity for a random but valid community division into $C$ communities. We present our results for some well--known and some artificial networks, and we conclude that the general features of the modularity density are quite similar for the different networks. From a simple model of the modularity we conclude that all nnected networks must show similar shapes of their modularity densities. The general features of this density may give valuable information in the search for good optimization schemes of the modularity.
△ Less
Submitted 28 August, 2006;
originally announced August 2006.
-
Optical Conductivity in a Two-Band Superconductor: Pb
Authors:
Nicolas Bock,
Dermot Coffey
Abstract:
We demonstrate the effect of bandstructure on the superconducting properties of Pb by calculating the strong-coupling features in the optical conductivity, $σ(ω)$, due to the electron-phonon interaction. The importance of momentum dependence in the calculation of the properties of superconductors has previously been raised for MgB$_2$. Pb resembles MgB$_2$ in that it is a two band superconductor…
▽ More
We demonstrate the effect of bandstructure on the superconducting properties of Pb by calculating the strong-coupling features in the optical conductivity, $σ(ω)$, due to the electron-phonon interaction. The importance of momentum dependence in the calculation of the properties of superconductors has previously been raised for MgB$_2$. Pb resembles MgB$_2$ in that it is a two band superconductor in which the bands' contributions to the Fermi surface have very different topologies. We calculate $σ(ω)$ by calculating a memory function which has been recently used to analyze $σ(ω)$ of Bi$_2$Sr$_2$CaCu$_2$O$_{8+δ}$. In our calculations the two components of the Fermi surface are described by parameterizations of de Haas--van Alphen data. We use a phonon spectrum which is a fit to neutron scattering data. By including the momentum dependence of the Fermi surface good agreement is found with the experimentally determined strong-coupling features which can be described by a broad peak at around 4.5 meV and a narrower higher peak around 8 meV of equal height. The calculated features are found to be dominated by scattering between states within the third band. By contrast scattering between states in the second band leads to strong-coupling features in which the height of the high energy peak is reduced by $\sim 50%$ compared to that of the low energy peak. This result is similar to that in the conventional isotropic (momentum independent) treatment of superconductivity. Our results show that it is important to use realistic models of the bandstructure and phonons, and to avoid using momentum averaged quantities, in calculations in order to get quantitatively accurate results.
△ Less
Submitted 22 October, 2007; v1 submitted 26 July, 2006;
originally announced July 2006.
-
Adiabatic and Non-Adiabatic Contributions to the Free Energy from the Electron-Phonon Interaction for Na, K, Al, and Pb
Authors:
N. Bock,
D. Coffey,
Duane C. Wallace
Abstract:
We calculate the adiabatic contributions to the free energy due to the electron--phonon interaction at intermediate temperatures, $0 \leqslant k_{B} T < ε_{F}$ for the elemental metals Na, K, Al, and Pb. Using our previously published results for the nonadiabatic contributions we show that the adiabatic contribution, which is proportional to $T^{2}$ at low temperatures and goes as $T^{3}$ at hig…
▽ More
We calculate the adiabatic contributions to the free energy due to the electron--phonon interaction at intermediate temperatures, $0 \leqslant k_{B} T < ε_{F}$ for the elemental metals Na, K, Al, and Pb. Using our previously published results for the nonadiabatic contributions we show that the adiabatic contribution, which is proportional to $T^{2}$ at low temperatures and goes as $T^{3}$ at high temperatures, dominates the nonadiabatic contribution for temperatures above a cross--over temperature, $T_{c}$, which is between 0.5 and 0.8 $T_{m}$, where $T_{m}$ is the melting temperature of the metal. The nonadiabatic contribution falls as $T^{-1}$ for temperatures roughly above the average phonon frequency.
△ Less
Submitted 22 December, 2005; v1 submitted 12 September, 2005;
originally announced September 2005.
-
Non--Adiabatic Contributions to the Free Energy from the Electron--Phonon Interaction for Na, K, Al, and Pb
Authors:
N. Bock,
D. Coffey,
Duane C. Wallace
Abstract:
We calculate the non--adiabatic contributions to the free energy of metals due to the electron--phonon interaction at intermediate temperatures, $0 \leqslant k_{B} T < ε_{F}$ for four different nearly free electron metals, Na, K, Al, and Pb. We calculate its value for $T = 0$ which has not been calculated before and we study its low--temperature behavior.
We calculate the non--adiabatic contributions to the free energy of metals due to the electron--phonon interaction at intermediate temperatures, $0 \leqslant k_{B} T < ε_{F}$ for four different nearly free electron metals, Na, K, Al, and Pb. We calculate its value for $T = 0$ which has not been calculated before and we study its low--temperature behavior.
△ Less
Submitted 2 August, 2005; v1 submitted 3 January, 2005;
originally announced January 2005.