Density functional theory and parallel processing

International Nuclear Information System (INIS)

Ward, R.C.; Geist, G.A.; Butler, W.H.

1987-01-01

The authors demonstrate a method for obtaining the ground state energies and charge densities of a system of atoms described within density functional theory using simulated annealing on a parallel computer

Theory and computation of spheroidal wavefunctions

International Nuclear Information System (INIS)

Falloon, P E; Abbott, P C; Wang, J B

2003-01-01

In this paper we report on a package, written in the Mathematica computer algebra system, which has been developed to compute the spheroidal wavefunctions of Meixner and Schaefke (1954 Mathieusche Funktionen und Sphaeroidfunktionen) and is available online (physics.uwa.edu.au/~falloon/spheroidal/spheroidal.html). This package represents a substantial contribution to the existing software, since it computes the spheroidal wavefunctions to arbitrary precision for general complex parameters μ, ν, γ and argument z; existing software can only handle integer μ, ν and does not give arbitrary precision. The package also incorporates various special cases and computes analytic power series and asymptotic expansions in the parameter γ. The spheroidal wavefunctions of Flammer (1957 Spheroidal Wave functions) are included as a special case of Meixner's more general functions. This paper presents a concise review of the general theory of spheroidal wavefunctions and a description of the formulae and algorithms used in their computation, and gives high precision numerical examples

ABINIT: Plane-Wave-Based Density-Functional Theory on High Performance Computers

Science.gov (United States)

Torrent, Marc

2014-03-01

For several years, a continuous effort has been produced to adapt electronic structure codes based on Density-Functional Theory to the future computing architectures. Among these codes, ABINIT is based on a plane-wave description of the wave functions which allows to treat systems of any kind. Porting such a code on petascale architectures pose difficulties related to the many-body nature of the DFT equations. To improve the performances of ABINIT - especially for what concerns standard LDA/GGA ground-state and response-function calculations - several strategies have been followed: A full multi-level parallelisation MPI scheme has been implemented, exploiting all possible levels and distributing both computation and memory. It allows to increase the number of distributed processes and could not be achieved without a strong restructuring of the code. The core algorithm used to solve the eigen problem (``Locally Optimal Blocked Congugate Gradient''), a Blocked-Davidson-like algorithm, is based on a distribution of processes combining plane-waves and bands. In addition to the distributed memory parallelization, a full hybrid scheme has been implemented, using standard shared-memory directives (openMP/openACC) or porting some comsuming code sections to Graphics Processing Units (GPU). As no simple performance model exists, the complexity of use has been increased; the code efficiency strongly depends on the distribution of processes among the numerous levels. ABINIT is able to predict the performances of several process distributions and automatically choose the most favourable one. On the other hand, a big effort has been carried out to analyse the performances of the code on petascale architectures, showing which sections of codes have to be improved; they all are related to Matrix Algebra (diagonalisation, orthogonalisation). The different strategies employed to improve the code scalability will be described. They are based on an exploration of new diagonalization

Density functional theory a practical introduction

CERN Document Server

Sholl, David

2009-01-01

Demonstrates how anyone in math, science, and engineering can master DFT calculations Density functional theory (DFT) is one of the most frequently used computational tools for studying and predicting the properties of isolated molecules, bulk solids, and material interfaces, including surfaces. Although the theoretical underpinnings of DFT are quite complicated, this book demonstrates that the basic concepts underlying the calculations are simple enough to be understood by anyone with a background in chemistry, physics, engineering, or mathematics. The authors show how the widespread availability of powerful DFT codes makes it possible for students and researchers to apply this important computational technique to a broad range of fundamental and applied problems. Density Functional Theory: A Practical Introduction offers a concise, easy-to-follow introduction to the key concepts and practical applications of DFT, focusing on plane-wave DFT. The authors have many years of experience introducing DFT to studen...

Functional development in density functional theory for superconductors

Energy Technology Data Exchange (ETDEWEB)

Sanna, Antonio; Gross, E.K.U.; Essenberger, Frank [Max Planck Institute of Microstructure Physics, Halle (Saale) (Germany)

2015-07-01

Density functional theory for superconductors (SCDFT) is a fully parameter-free approach to superconductivity that allows for accurate predictions of critical temperature and properties of superconductors. We report on the most recent extensions of the method, in particular the development of new functionals to: (1) incorporate in a correct fashion Migdal's theorem; (2) compute the excitation spectrum; (3) include spin-fluctuation mediated pairing Applications and predictions are shown for a set of materials, including conventional and unconventional superconductors.

What Density Functional Theory could do for Quantum Information

Science.gov (United States)

Mattsson, Ann

2015-03-01

The Hohenberg-Kohn theorem of Density Functional Theory (DFT), and extensions thereof, tells us that all properties of a system of electrons can be determined through their density, which uniquely determines the many-body wave-function. Given access to the appropriate, universal, functionals of the density we would, in theory, be able to determine all observables of any electronic system, without explicit reference to the wave-function. On the other hand, the wave-function is at the core of Quantum Information (QI), with the wave-function of a set of qubits being the central computational resource in a quantum computer. While there is seemingly little overlap between DFT and QI, reliance upon observables form a key connection. Though the time-evolution of the wave-function and associated phase information is fundamental to quantum computation, the initial and final states of a quantum computer are characterized by observables of the system. While observables can be extracted directly from a system's wave-function, DFT tells us that we may be able to intuit a method for extracting them from its density. In this talk, I will review the fundamentals of DFT and how these principles connect to the world of QI. This will range from DFT's utility in the engineering of physical qubits, to the possibility of using it to efficiently (but approximately) simulate Hamiltonians at the logical level. The apparent paradox of describing algorithms based on the quantum mechanical many-body wave-function with a DFT-like theory based on observables will remain a focus throughout. The ultimate goal of this talk is to initiate a dialog about what DFT could do for QI, in theory and in practice. Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-AC04-94AL85000.

Perspective: Fifty years of density-functional theory in chemical physics

International Nuclear Information System (INIS)

Becke, Axel D.

2014-01-01

Since its formal inception in 1964–1965, Kohn-Sham density-functional theory (KS-DFT) has become the most popular electronic structure method in computational physics and chemistry. Its popularity stems from its beautifully simple conceptual framework and computational elegance. The rise of KS-DFT in chemical physics began in earnest in the mid 1980s, when crucial developments in its exchange-correlation term gave the theory predictive power competitive with well-developed wave-function methods. Today KS-DFT finds itself under increasing pressure to deliver higher and higher accuracy and to adapt to ever more challenging problems. If we are not mindful, however, these pressures may submerge the theory in the wave-function sea. KS-DFT might be lost. I am hopeful the Kohn-Sham philosophical, theoretical, and computational framework can be preserved. This Perspective outlines the history, basic concepts, and present status of KS-DFT in chemical physics, and offers suggestions for its future development

Perspective: Fifty years of density-functional theory in chemical physics

Energy Technology Data Exchange (ETDEWEB)

Becke, Axel D., E-mail: axel.becke@dal.ca [Department of Chemistry, Dalhousie University, 6274 Coburg Rd., P.O. Box 15000, Halifax, Nova Scotia B3H 4R2 (Canada)

2014-05-14

Since its formal inception in 1964–1965, Kohn-Sham density-functional theory (KS-DFT) has become the most popular electronic structure method in computational physics and chemistry. Its popularity stems from its beautifully simple conceptual framework and computational elegance. The rise of KS-DFT in chemical physics began in earnest in the mid 1980s, when crucial developments in its exchange-correlation term gave the theory predictive power competitive with well-developed wave-function methods. Today KS-DFT finds itself under increasing pressure to deliver higher and higher accuracy and to adapt to ever more challenging problems. If we are not mindful, however, these pressures may submerge the theory in the wave-function sea. KS-DFT might be lost. I am hopeful the Kohn-Sham philosophical, theoretical, and computational framework can be preserved. This Perspective outlines the history, basic concepts, and present status of KS-DFT in chemical physics, and offers suggestions for its future development.

Interferometric Computation Beyond Quantum Theory

Science.gov (United States)

Garner, Andrew J. P.

2018-03-01

There are quantum solutions for computational problems that make use of interference at some stage in the algorithm. These stages can be mapped into the physical setting of a single particle travelling through a many-armed interferometer. There has been recent foundational interest in theories beyond quantum theory. Here, we present a generalized formulation of computation in the context of a many-armed interferometer, and explore how theories can differ from quantum theory and still perform distributed calculations in this set-up. We shall see that quaternionic quantum theory proves a suitable candidate, whereas box-world does not. We also find that a classical hidden variable model first presented by Spekkens (Phys Rev A 75(3): 32100, 2007) can also be used for this type of computation due to the epistemic restriction placed on the hidden variable.

Accurate and efficient computation of synchrotron radiation functions

International Nuclear Information System (INIS)

MacLeod, Allan J.

2000-01-01

We consider the computation of three functions which appear in the theory of synchrotron radiation. These are F(x)=x∫x∞K 5/3 (y) dy))F p (x)=xK 2/3 (x) and G p (x)=x 1/3 K 1/3 (x), where K ν denotes a modified Bessel function. Chebyshev series coefficients are given which enable the functions to be computed with an accuracy of up to 15 sig. figures

Fast Computation of Solvation Free Energies with Molecular Density Functional Theory: Thermodynamic-Ensemble Partial Molar Volume Corrections.

Science.gov (United States)

Sergiievskyi, Volodymyr P; Jeanmairet, Guillaume; Levesque, Maximilien; Borgis, Daniel

2014-06-05

Molecular density functional theory (MDFT) offers an efficient implicit-solvent method to estimate molecule solvation free-energies, whereas conserving a fully molecular representation of the solvent. Even within a second-order approximation for the free-energy functional, the so-called homogeneous reference fluid approximation, we show that the hydration free-energies computed for a data set of 500 organic compounds are of similar quality as those obtained from molecular dynamics free-energy perturbation simulations, with a computer cost reduced by 2-3 orders of magnitude. This requires to introduce the proper partial volume correction to transform the results from the grand canonical to the isobaric-isotherm ensemble that is pertinent to experiments. We show that this correction can be extended to 3D-RISM calculations, giving a sound theoretical justification to empirical partial molar volume corrections that have been proposed recently.

Functional Programming in Computer Science

Energy Technology Data Exchange (ETDEWEB)

Anderson, Loren James [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Davis, Marion Kei [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2016-01-19

We explore functional programming through a 16-week internship at Los Alamos National Laboratory. Functional programming is a branch of computer science that has exploded in popularity over the past decade due to its high-level syntax, ease of parallelization, and abundant applications. First, we summarize functional programming by listing the advantages of functional programming languages over the usual imperative languages, and we introduce the concept of parsing. Second, we discuss the importance of lambda calculus in the theory of functional programming. Lambda calculus was invented by Alonzo Church in the 1930s to formalize the concept of effective computability, and every functional language is essentially some implementation of lambda calculus. Finally, we display the lasting products of the internship: additions to a compiler and runtime system for the pure functional language STG, including both a set of tests that indicate the validity of updates to the compiler and a compiler pass that checks for illegal instances of duplicate names.

Advances in computational complexity theory

CERN Document Server

Cai, Jin-Yi

1993-01-01

This collection of recent papers on computational complexity theory grew out of activities during a special year at DIMACS. With contributions by some of the leading experts in the field, this book is of lasting value in this fast-moving field, providing expositions not found elsewhere. Although aimed primarily at researchers in complexity theory and graduate students in mathematics or computer science, the book is accessible to anyone with an undergraduate education in mathematics or computer science. By touching on some of the major topics in complexity theory, this book sheds light on this burgeoning area of research.

Handbook of functional equations stability theory

CERN Document Server

2014-01-01

This  handbook consists of seventeen chapters written by eminent scientists from the international mathematical community, who present important research works in the field of mathematical analysis and related subjects, particularly in the Ulam stability theory of functional equations. The book provides an insight into a large domain of research with emphasis to the discussion of several theories, methods and problems in approximation theory, analytic inequalities, functional analysis, computational algebra and applications.                           The notion of stability of functional equations has its origins with S. M. Ulam, who posed the fundamental problem for approximate homomorphisms in 1940 and with D. H. Hyers, Th. M. Rassias, who provided the first significant solutions for additive and linear mappings in 1941 and 1978, respectively. During the last decade the notion of stability of functional equations has evolved into a very active domain of mathematical research with...

Multicomponent density functional theory embedding formulation

Energy Technology Data Exchange (ETDEWEB)

Culpitt, Tanner; Brorsen, Kurt R.; Pak, Michael V.; Hammes-Schiffer, Sharon, E-mail: shs3@illinois.edu [Department of Chemistry, University of Illinois at Urbana-Champaign, 600 South Mathews Ave, Urbana, Illinois 61801 (United States)

2016-07-28

Multicomponent density functional theory (DFT) methods have been developed to treat two types of particles, such as electrons and nuclei, quantum mechanically at the same level. In the nuclear-electronic orbital (NEO) approach, all electrons and select nuclei, typically key protons, are treated quantum mechanically. For multicomponent DFT methods developed within the NEO framework, electron-proton correlation functionals based on explicitly correlated wavefunctions have been designed and used in conjunction with well-established electronic exchange-correlation functionals. Herein a general theory for multicomponent embedded DFT is developed to enable the accurate treatment of larger systems. In the general theory, the total electronic density is separated into two subsystem densities, denoted as regular and special, and different electron-proton correlation functionals are used for these two electronic densities. In the specific implementation, the special electron density is defined in terms of spatially localized Kohn-Sham electronic orbitals, and electron-proton correlation is included only for the special electron density. The electron-proton correlation functional depends on only the special electron density and the proton density, whereas the electronic exchange-correlation functional depends on the total electronic density. This scheme includes the essential electron-proton correlation, which is a relatively local effect, as well as the electronic exchange-correlation for the entire system. This multicomponent DFT-in-DFT embedding theory is applied to the HCN and FHF{sup −} molecules in conjunction with two different electron-proton correlation functionals and three different electronic exchange-correlation functionals. The results illustrate that this approach provides qualitatively accurate nuclear densities in a computationally tractable manner. The general theory is also easily extended to other types of partitioning schemes for multicomponent systems.

The force distribution probability function for simple fluids by density functional theory.

Science.gov (United States)

Rickayzen, G; Heyes, D M

2013-02-28

Classical density functional theory (DFT) is used to derive a formula for the probability density distribution function, P(F), and probability distribution function, W(F), for simple fluids, where F is the net force on a particle. The final formula for P(F) ∝ exp(-AF(2)), where A depends on the fluid density, the temperature, and the Fourier transform of the pair potential. The form of the DFT theory used is only applicable to bounded potential fluids. When combined with the hypernetted chain closure of the Ornstein-Zernike equation, the DFT theory for W(F) agrees with molecular dynamics computer simulations for the Gaussian and bounded soft sphere at high density. The Gaussian form for P(F) is still accurate at lower densities (but not too low density) for the two potentials, but with a smaller value for the constant, A, than that predicted by the DFT theory.

Theoretical investigation of cyromazine tautomerism using density functional theory and Møller–Plesset perturbation theory methods

Science.gov (United States)

A computational chemistry analysis of six unique tautomers of cyromazine, a pesticide used for fly control, was performed with density functional theory (DFT) and canonical second order Møller–Plesset perturbation theory (MP2) methods to gain insight into the contributions of molecular structure to ...

RISM theory distribution functions for Lennard--Jones interaction site fluids

International Nuclear Information System (INIS)

Johnson, E.; Hazoume, R.P.

1978-01-01

Reference interaction site model (RISM) theory distribution functions for Lennard-Jones interaction site fluids are discussed. The comparison with computer simulation results suggests that these distribution functions are as accurate as RISM distribution functions for fused hard sphere molecular fluids

Analysis of self-consistency effects in range-separated density-functional theory with Møller-Plesset perturbation theory

DEFF Research Database (Denmark)

Fromager, Emmanuel; Jensen, Hans Jørgen Aagaard

2011-01-01

Range-separated density-functional theory combines wave function theory for the long-range part of the two-electron interaction with density-functional theory for the short-range part. When describing the long-range interaction with non-variational methods, such as perturbation or coupled......-cluster theories, self-consistency effects are introduced in the density functional part, which for an exact solution requires iterations. They are generally assumed to be small but no detailed study has been performed so far. Here, the authors analyze self-consistency when using Møller-Plesset-type (MP......) perturbation theory for the long range interaction. The lowest-order self-consistency corrections to the wave function and the energy, that enter the perturbation expansions at the second and fourth order, respectively, are both expressed in terms of the one-electron reduced density matrix. The computational...

Computationally simple, analytic, closed form solution of the Coulomb self-interaction problem in Kohn Sham density functional theory

International Nuclear Information System (INIS)

Gonis, Antonios; Daene, Markus W.; Nicholson, Don M.; Stocks, George Malcolm

2012-01-01

We have developed and tested in terms of atomic calculations an exact, analytic and computationally simple procedure for determining the functional derivative of the exchange energy with respect to the density in the implementation of the Kohn Sham formulation of density functional theory (KS-DFT), providing an analytic, closed-form solution of the self-interaction problem in KS-DFT. We demonstrate the efficacy of our method through ground-state calculations of the exchange potential and energy for atomic He and Be atoms, and comparisons with experiment and the results obtained within the optimized effective potential (OEP) method.

Fundamentals of time-dependent density functional theory

International Nuclear Information System (INIS)

Marques, Miguel A.L.; Rubio, Angel

2012-01-01

There have been many significant advances in time-dependent density functional theory over recent years, both in enlightening the fundamental theoretical basis of the theory, as well as in computational algorithms and applications. This book, as successor to the highly successful volume Time-Dependent Density Functional Theory (Lect. Notes Phys. 706, 2006) brings together for the first time all recent developments in a systematic and coherent way. First, a thorough pedagogical presentation of the fundamental theory is given, clarifying aspects of the original proofs and theorems, as well as presenting fresh developments that extend the theory into new realms such as alternative proofs of the original Runge-Gross theorem, open quantum systems, and dispersion forces to name but a few. Next, all of the basic concepts are introduced sequentially and building in complexity, eventually reaching the level of open problems of interest. Contemporary applications of the theory are discussed, from real-time coupled-electron-ion dynamics, to excited-state dynamics and molecular transport. Last but not least, the authors introduce and review recent advances in computational implementation, including massively parallel architectures and graphical processing units. Special care has been taken in editing this volume as a multi-author textbook, following a coherent line of thought, and making all the relevant connections between chapters and concepts consistent throughout. As such it will prove to be the text of reference in this field, both for beginners as well as expert researchers and lecturers teaching advanced quantum mechanical methods to model complex physical systems, from molecules to nanostructures, from biocomplexes to surfaces, solids and liquids. (orig.)

Computing three-point functions for short operators

International Nuclear Information System (INIS)

Bargheer, Till; Institute for Advanced Study, Princeton, NJ; Minahan, Joseph A.; Pereira, Raul

2013-11-01

We compute the three-point structure constants for short primary operators of N=4 super Yang.Mills theory to leading order in 1/√(λ) by mapping the problem to a flat-space string theory calculation. We check the validity of our procedure by comparing to known results for three chiral primaries. We then compute the three-point functions for any combination of chiral and non-chiral primaries, with the non-chiral primaries all dual to string states at the first massive level. Along the way we find many cancellations that leave us with simple expressions, suggesting that integrability is playing an important role.

Computing three-point functions for short operators

Energy Technology Data Exchange (ETDEWEB)

Bargheer, Till [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Institute for Advanced Study, Princeton, NJ (United States). School of Natural Sciences; Minahan, Joseph A.; Pereira, Raul [Uppsala Univ. (Sweden). Dept. of Physics and Astronomy

2013-11-15

We compute the three-point structure constants for short primary operators of N=4 super Yang.Mills theory to leading order in 1/√(λ) by mapping the problem to a flat-space string theory calculation. We check the validity of our procedure by comparing to known results for three chiral primaries. We then compute the three-point functions for any combination of chiral and non-chiral primaries, with the non-chiral primaries all dual to string states at the first massive level. Along the way we find many cancellations that leave us with simple expressions, suggesting that integrability is playing an important role.

Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program

Science.gov (United States)

Manin, Yuri I.

Introduction. The main observable quantities in Quantum Field Theory, correlation functions, are expressed by the celebrated Feynman path integrals. A mathematical definition of them involving a measure and actual integration is still lacking. Instead, it is replaced by a series of ad hoc but highly efficient and suggestive heuristic formulas such as perturbation formalism. The latter interprets such an integral as a formal series of finite-dimensional but divergent integrals, indexed by Feynman graphs, the list of which is determined by the Lagrangian of the theory. Renormalization is a prescription that allows one to systematically "subtract infinities" from these divergent terms producing an asymptotic series for quantum correlation functions. On the other hand, graphs treated as "flowcharts", also form a combinatorial skeleton of the abstract computation theory. Partial recursive functions that according to Church's thesis exhaust the universe of (semi)computable maps are generally not everywhere defined due to potentially infinite searches and loops. In this paper I argue that such infinities can be addressed in the same way as Feynman divergences. More details can be found in [9,10].

A Systematic Approach for Computing Zero-Point Energy, Quantum Partition Function, and Tunneling Effect Based on Kleinert's Variational Perturbation Theory.

Science.gov (United States)

Wong, Kin-Yiu; Gao, Jiali

2008-09-09

In this paper, we describe an automated integration-free path-integral (AIF-PI) method, based on Kleinert's variational perturbation (KP) theory, to treat internuclear quantum-statistical effects in molecular systems. We have developed an analytical method to obtain the centroid potential as a function of the variational parameter in the KP theory, which avoids numerical difficulties in path-integral Monte Carlo or molecular dynamics simulations, especially at the limit of zero-temperature. Consequently, the variational calculations using the KP theory can be efficiently carried out beyond the first order, i.e., the Giachetti-Tognetti-Feynman-Kleinert variational approach, for realistic chemical applications. By making use of the approximation of independent instantaneous normal modes (INM), the AIF-PI method can readily be applied to many-body systems. Previously, we have shown that in the INM approximation, the AIF-PI method is accurate for computing the quantum partition function of a water molecule (3 degrees of freedom) and the quantum correction factor for the collinear H(3) reaction rate (2 degrees of freedom). In this work, the accuracy and properties of the KP theory are further investigated by using the first three order perturbations on an asymmetric double-well potential, the bond vibrations of H(2), HF, and HCl represented by the Morse potential, and a proton-transfer barrier modeled by the Eckart potential. The zero-point energy, quantum partition function, and tunneling factor for these systems have been determined and are found to be in excellent agreement with the exact quantum results. Using our new analytical results at the zero-temperature limit, we show that the minimum value of the computed centroid potential in the KP theory is in excellent agreement with the ground state energy (zero-point energy) and the position of the centroid potential minimum is the expectation value of particle position in wave mechanics. The fast convergent property

Introductory Tiling Theory for Computer Graphics

CERN Document Server

Kaplan, Craig

2009-01-01

Tiling theory is an elegant branch of mathematics that has applications in several areas of computer science. The most immediate application area is graphics, where tiling theory has been used in the contexts of texture generation, sampling theory, remeshing, and of course the generation of decorative patterns. The combination of a solid theoretical base (complete with tantalizing open problems), practical algorithmic techniques, and exciting applications make tiling theory a worthwhile area of study for practitioners and students in computer science. This synthesis lecture introduces the math

Computational Aspects of Nuclear Coupled-Cluster Theory

International Nuclear Information System (INIS)

Dean, David Jarvis; Hagen, Gaute; Hjorth-Jensen, M.; Papenbrock, T.F.

2008-01-01

Coupled-cluster theory represents an important theoretical tool that we use to solve the quantum many-body problem. Coupled-cluster theory also lends itself to computation in a parallel computing environment. In this article, we present selected results from ab initio studies of stable and weakly bound nuclei utilizing computational techniques that we employ to solve coupled-cluster theory. We also outline several perspectives for future research directions in this area.

Numerical computation of aeroacoustic transfer functions for realistic airfoils

NARCIS (Netherlands)

De Santana, Leandro Dantas; Miotto, Renato Fuzaro; Wolf, William Roberto

2017-01-01

Based on Amiet's theory formalism, we propose a numerical framework to compute the aeroacoustic transfer function of realistic airfoil geometries. The aeroacoustic transfer function relates the amplitude and phase of an incoming periodic gust to the respective unsteady lift response permitting,

An atomic orbital based real-time time-dependent density functional theory for computing electronic circular dichroism band spectra

Energy Technology Data Exchange (ETDEWEB)

Goings, Joshua J.; Li, Xiaosong, E-mail: xsli@uw.edu [Department of Chemistry, University of Washington, Seattle, Washington 98195 (United States)

2016-06-21

One of the challenges of interpreting electronic circular dichroism (ECD) band spectra is that different states may have different rotatory strength signs, determined by their absolute configuration. If the states are closely spaced and opposite in sign, observed transitions may be washed out by nearby states, unlike absorption spectra where transitions are always positive additive. To accurately compute ECD bands, it is necessary to compute a large number of excited states, which may be prohibitively costly if one uses the linear-response time-dependent density functional theory (TDDFT) framework. Here we implement a real-time, atomic-orbital based TDDFT method for computing the entire ECD spectrum simultaneously. The method is advantageous for large systems with a high density of states. In contrast to previous implementations based on real-space grids, the method is variational, independent of nuclear orientation, and does not rely on pseudopotential approximations, making it suitable for computation of chiroptical properties well into the X-ray regime.

Versatile Density Functionals for Computational Surface Science

DEFF Research Database (Denmark)

Wellendorff, Jess

Density functional theory (DFT) emerged almost 50 years ago. Since then DFT has established itself as the central electronic structure methodology for simulating atomicscale systems from a few atoms to a few hundred atoms. This success of DFT is due to a very favorable accuracy-to-computational c......Density functional theory (DFT) emerged almost 50 years ago. Since then DFT has established itself as the central electronic structure methodology for simulating atomicscale systems from a few atoms to a few hundred atoms. This success of DFT is due to a very favorable accuracy...... resampling techniques, thereby systematically avoiding problems with overfitting. The first ever density functional presenting both reliable accuracy and convincing error estimation is generated. The methodology is general enough to be applied to more complex functional forms with higher-dimensional fitting...

Some questions of using coding theory and analytical calculation methods on computers

International Nuclear Information System (INIS)

Nikityuk, N.M.

1987-01-01

Main results of investigations devoted to the application of theory and practice of correcting codes are presented. These results are used to create very fast units for the selection of events registered in multichannel detectors of nuclear particles. Using this theory and analytical computing calculations, practically new combination devices, for example, parallel encoders, have been developed. Questions concerning the creation of a new algorithm for the calculation of digital functions by computers and problems of devising universal, dynamically reprogrammable logic modules are discussed

The SU(3) beta function from numerical stochastic perturbation theory

Energy Technology Data Exchange (ETDEWEB)

Horsley, R. [Edinburgh Univ. (United Kingdom). School of Physics and Astronomy; Perlt, H. [Leipzig Univ. (Germany). Inst. fuer Theoretische Physik; Bonn Univ. (Germany). Helmholtz Inst. fuer Strahlen- und Kernphysik; Rakow, P.E.L. [Liverpool Univ. (United Kingdom). Theoretical Physics Div.; Schierholz, G.; Schiller, A. [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany)

2013-09-15

The SU(3) beta function is derived from Wilson loops computed to 20th order in numerical stochastic perturbation theory. An attempt is made to include massless fermions, whose contribution is known analytically to 4th order. The question whether the theory admits an infrared stable fixed point is addressed.

Theory and computational science

International Nuclear Information System (INIS)

Durham, P.

1985-01-01

The theoretical and computational science carried out at the Daresbury Laboratory in 1984/5 is detailed in the Appendix to the Daresbury Annual Report. The Theory, Computational Science and Applications Groups, provide support work for the experimental projects conducted at Daresbury. Use of the FPS-164 processor is also described. (U.K.)

Virial theorem in the Kohn-Sham density-functional theory formalism: Accurate calculation of the atomic quantum theory of atoms in molecules energies

NARCIS (Netherlands)

Rodriguez, A.; Ayers, P.W.; Gotz, A.W.; Castillo-Alvarado, F.L.

2009-01-01

A new approach for computing the atom-in-molecule [quantum theory of atoms in molecule (QTAIM)] energies in Kohn-Sham density-functional theory is presented and tested by computing QTAIM energies for a set of representative molecules. In the new approach, the contribution for the correlation-kinetic

Integer programming theory, applications, and computations

CERN Document Server

Taha, Hamdy A

1975-01-01

Integer Programming: Theory, Applications, and Computations provides information pertinent to the theory, applications, and computations of integer programming. This book presents the computational advantages of the various techniques of integer programming.Organized into eight chapters, this book begins with an overview of the general categorization of integer applications and explains the three fundamental techniques of integer programming. This text then explores the concept of implicit enumeration, which is general in a sense that it is applicable to any well-defined binary program. Other

JDFTx: Software for joint density-functional theory

Directory of Open Access Journals (Sweden)

Ravishankar Sundararaman

2017-01-01

Full Text Available Density-functional theory (DFT has revolutionized computational prediction of atomic-scale properties from first principles in physics, chemistry and materials science. Continuing development of new methods is necessary for accurate predictions of new classes of materials and properties, and for connecting to nano- and mesoscale properties using coarse-grained theories. JDFTx is a fully-featured open-source electronic DFT software designed specifically to facilitate rapid development of new theories, models and algorithms. Using an algebraic formulation as an abstraction layer, compact C++11 code automatically performs well on diverse hardware including GPUs (Graphics Processing Units. This code hosts the development of joint density-functional theory (JDFT that combines electronic DFT with classical DFT and continuum models of liquids for first-principles calculations of solvated and electrochemical systems. In addition, the modular nature of the code makes it easy to extend and interface with, facilitating the development of multi-scale toolkits that connect to ab initio calculations, e.g. photo-excited carrier dynamics combining electron and phonon calculations with electromagnetic simulations.

Efficient and Flexible Computation of Many-Electron Wave Function Overlaps.

Science.gov (United States)

Plasser, Felix; Ruckenbauer, Matthias; Mai, Sebastian; Oppel, Markus; Marquetand, Philipp; González, Leticia

2016-03-08

A new algorithm for the computation of the overlap between many-electron wave functions is described. This algorithm allows for the extensive use of recurring intermediates and thus provides high computational efficiency. Because of the general formalism employed, overlaps can be computed for varying wave function types, molecular orbitals, basis sets, and molecular geometries. This paves the way for efficiently computing nonadiabatic interaction terms for dynamics simulations. In addition, other application areas can be envisaged, such as the comparison of wave functions constructed at different levels of theory. Aside from explaining the algorithm and evaluating the performance, a detailed analysis of the numerical stability of wave function overlaps is carried out, and strategies for overcoming potential severe pitfalls due to displaced atoms and truncated wave functions are presented.

Deterministic computation of functional integrals

International Nuclear Information System (INIS)

Lobanov, Yu.Yu.

1995-09-01

A new method of numerical integration in functional spaces is described. This method is based on the rigorous definition of a functional integral in complete separable metric space and on the use of approximation formulas which we constructed for this kind of integral. The method is applicable to solution of some partial differential equations and to calculation of various characteristics in quantum physics. No preliminary discretization of space and time is required in this method, as well as no simplifying assumptions like semi-classical, mean field approximations, collective excitations, introduction of ''short-time'' propagators, etc are necessary in our approach. The constructed approximation formulas satisfy the condition of being exact on a given class of functionals, namely polynomial functionals of a given degree. The employment of these formulas replaces the evaluation of a functional integral by computation of the ''ordinary'' (Riemannian) integral of a low dimension, thus allowing to use the more preferable deterministic algorithms (normally - Gaussian quadratures) in computations rather than traditional stochastic (Monte Carlo) methods which are commonly used for solution of the problem under consideration. The results of application of the method to computation of the Green function of the Schroedinger equation in imaginary time as well as the study of some models of Euclidean quantum mechanics are presented. The comparison with results of other authors shows that our method gives significant (by an order of magnitude) economy of computer time and memory versus other known methods while providing the results with the same or better accuracy. The funcitonal measure of the Gaussian type is considered and some of its particular cases, namely conditional Wiener measure in quantum statistical mechanics and functional measure in a Schwartz distribution space in two-dimensional quantum field theory are studied in detail. Numerical examples demonstrating the

Dispersion correction derived from first principles for density functional theory and Hartree-Fock theory.

Science.gov (United States)

Guidez, Emilie B; Gordon, Mark S

2015-03-12

The modeling of dispersion interactions in density functional theory (DFT) is commonly performed using an energy correction that involves empirically fitted parameters for all atom pairs of the system investigated. In this study, the first-principles-derived dispersion energy from the effective fragment potential (EFP) method is implemented for the density functional theory (DFT-D(EFP)) and Hartree-Fock (HF-D(EFP)) energies. Overall, DFT-D(EFP) performs similarly to the semiempirical DFT-D corrections for the test cases investigated in this work. HF-D(EFP) tends to underestimate binding energies and overestimate intermolecular equilibrium distances, relative to coupled cluster theory, most likely due to incomplete accounting for electron correlation. Overall, this first-principles dispersion correction yields results that are in good agreement with coupled-cluster calculations at a low computational cost.

Density functional theory: Foundations reviewed

Energy Technology Data Exchange (ETDEWEB)

Kryachko, Eugene S., E-mail: eugene.kryachko@ulg.ac.be [Bogolyubov Institute for Theoretical Physics, Kiev, 03680 (Ukraine); Ludeña, Eduardo V., E-mail: popluabe@yahoo.es [Centro de Química, Instituto Venezolano de Investigaciones Científicas, IVIC, Apartado 21827, Caracas 1020-A (Venezuela, Bolivarian Republic of); Prometheus Program, Senescyt (Ecuador); Grupo Ecuatoriano para el Estudio Experimental y Teórico de Nanosistemas, GETNano, USFQ, N104-E, Quito (Ecuador); Escuela Politécnica Superior del Litoral, ESPOL, Guayaquil (Ecuador)

2014-11-10

Guided by the above motto (quotation), we review a broad range of issues lying at the foundations of Density Functional Theory, DFT, a theory which is currently omnipresent in our everyday computational study of atoms and molecules, solids and nano-materials, and which lies at the heart of modern many-body computational technologies. The key goal is to demonstrate that there are definitely the ways to improve DFT. We start by considering DFT in the larger context provided by reduced density matrix theory (RDMT) and natural orbital functional theory (NOFT), and examine the implications that N-representability conditions on the second-order reduced density matrix (2-RDM) have not only on RDMT and NOFT but, also, by extension, on the functionals of DFT. This examination is timely in view of the fact that necessary and sufficient N-representability conditions on the 2-RDM have recently been attained. In the second place, we review some problems appearing in the original formulation of the first Hohenberg–Kohn theorem which is still a subject of some controversy. In this vein we recall Lieb’s comment on this proof and the extension to this proof given by Pino et al. (2009), and in this context examine the conditions that must be met in order that the one-to-one correspondence between ground-state densities and external potentials remains valid for finite subspaces (namely, the subspaces where all Kohn–Sham solutions are obtained in practical applications). We also consider the issue of whether the Kohn–Sham equations can be derived from basic principles or whether they are postulated. We examine this problem in relation to ab initio DFT. The possibility of postulating arbitrary Kohn–Sham-type equations, where the effective potential is by definition some arbitrary mixture of local and non-local terms, is discussed. We also deal with the issue of whether there exists a universal functional, or whether one should advocate instead the construction of problem

Computers for lattice field theories

International Nuclear Information System (INIS)

Iwasaki, Y.

1994-01-01

Parallel computers dedicated to lattice field theories are reviewed with emphasis on the three recent projects, the Teraflops project in the US, the CP-PACS project in Japan and the 0.5-Teraflops project in the US. Some new commercial parallel computers are also discussed. Recent development of semiconductor technologies is briefly surveyed in relation to possible approaches toward Teraflops computers. (orig.)

A computable type theory for control systems

NARCIS (Netherlands)

P.J. Collins (Pieter); L. Guo; J. Baillieul

2009-01-01

htmlabstractIn this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for which all allowable operations

Computing the effective action with the functional renormalization group

Energy Technology Data Exchange (ETDEWEB)

Codello, Alessandro [CP3-Origins and the Danish IAS University of Southern Denmark, Odense (Denmark); Percacci, Roberto [SISSA, Trieste (Italy); INFN, Sezione di Trieste, Trieste (Italy); Rachwal, Leslaw [Fudan University, Department of Physics, Center for Field Theory and Particle Physics, Shanghai (China); Tonero, Alberto [ICTP-SAIFR and IFT, Sao Paulo (Brazil)

2016-04-15

The ''exact'' or ''functional'' renormalization group equation describes the renormalization group flow of the effective average action Γ{sub k}. The ordinary effective action Γ{sub 0} can be obtained by integrating the flow equation from an ultraviolet scale k = Λ down to k = 0. We give several examples of such calculations at one-loop, both in renormalizable and in effective field theories. We reproduce the four-point scattering amplitude in the case of a real scalar field theory with quartic potential and in the case of the pion chiral Lagrangian. In the case of gauge theories, we reproduce the vacuum polarization of QED and of Yang-Mills theory. We also compute the two-point functions for scalars and gravitons in the effective field theory of scalar fields minimally coupled to gravity. (orig.)

Multiconfiguration Pair-Density Functional Theory Is Free From Delocalization Error.

Science.gov (United States)

Bao, Junwei Lucas; Wang, Ying; He, Xiao; Gagliardi, Laura; Truhlar, Donald G

2017-11-16

Delocalization error has been singled out by Yang and co-workers as the dominant error in Kohn-Sham density functional theory (KS-DFT) with conventional approximate functionals. In this Letter, by computing the vertical first ionization energy for well separated He clusters, we show that multiconfiguration pair-density functional theory (MC-PDFT) is free from delocalization error. To put MC-PDFT in perspective, we also compare it with some Kohn-Sham density functionals, including both traditional and modern functionals. Whereas large delocalization errors are almost universal in KS-DFT (the only exception being the very recent corrected functionals of Yang and co-workers), delocalization error is removed by MC-PDFT, which bodes well for its future as a step forward from KS-DFT.

Ab initio quasi-particle approximation bandgaps of silicon nanowires calculated at density functional theory/local density approximation computational effort

Energy Technology Data Exchange (ETDEWEB)

Ribeiro, M., E-mail: ribeiro.jr@oorbit.com.br [Office of Operational Research for Business Intelligence and Technology, Principal Office, Buffalo, Wyoming 82834 (United States)

2015-06-21

Ab initio calculations of hydrogen-passivated Si nanowires were performed using density functional theory within LDA-1/2, to account for the excited states properties. A range of diameters was calculated to draw conclusions about the ability of the method to correctly describe the main trends of bandgap, quantum confinement, and self-energy corrections versus the diameter of the nanowire. Bandgaps are predicted with excellent accuracy if compared with other theoretical results like GW, and with the experiment as well, but with a low computational cost.

Ab initio quasi-particle approximation bandgaps of silicon nanowires calculated at density functional theory/local density approximation computational effort

International Nuclear Information System (INIS)

Ribeiro, M.

2015-01-01

Ab initio calculations of hydrogen-passivated Si nanowires were performed using density functional theory within LDA-1/2, to account for the excited states properties. A range of diameters was calculated to draw conclusions about the ability of the method to correctly describe the main trends of bandgap, quantum confinement, and self-energy corrections versus the diameter of the nanowire. Bandgaps are predicted with excellent accuracy if compared with other theoretical results like GW, and with the experiment as well, but with a low computational cost

International Workshop on Electronic Density Functional Theory : Recent Progress and New Directions

CERN Document Server

Vignale, Giovanni; Das, Mukunda

1998-01-01

This book is an outcome of the International Workshop on Electronic Density Functional Theory, held at Griffith University in Brisbane, Australia, in July 1996. Density functional theory, standing as it does at the boundary between the disciplines of physics, chemistry, and materials science, is a great mixer. Invited experts from North America, Europe, and Australia mingled with students from several disciplines, rapidly taking up the informal style for which Australia is famous. A list of participants is given at the end of the book. Density functional theory (DFT) is a subtle approach to the very difficult problem of predicting the behavior of many interacting particles. A major application is the study of many-electron systems. This was the workshop theme, embracing inter alia computational chemistry and condensed matter physics. DFT circumvents the more conceptually straightforward (but more computationally intensive) approach in which one solves the many-body Schrodinger equation. It relies instead on r...

Computational complexity of time-dependent density functional theory

International Nuclear Information System (INIS)

Whitfield, J D; Yung, M-H; Tempel, D G; Aspuru-Guzik, A; Boixo, S

2014-01-01

Time-dependent density functional theory (TDDFT) is rapidly emerging as a premier method for solving dynamical many-body problems in physics and chemistry. The mathematical foundations of TDDFT are established through the formal existence of a fictitious non-interacting system (known as the Kohn–Sham system), which can reproduce the one-electron reduced probability density of the actual system. We build upon these works and show that on the interior of the domain of existence, the Kohn–Sham system can be efficiently obtained given the time-dependent density. We introduce a V-representability parameter which diverges at the boundary of the existence domain and serves to quantify the numerical difficulty of constructing the Kohn-Sham potential. For bounded values of V-representability, we present a polynomial time quantum algorithm to generate the time-dependent Kohn–Sham potential with controllable error bounds. (paper)

Computer and machine vision theory, algorithms, practicalities

CERN Document Server

Davies, E R

2012-01-01

Computer and Machine Vision: Theory, Algorithms, Practicalities (previously entitled Machine Vision) clearly and systematically presents the basic methodology of computer and machine vision, covering the essential elements of the theory while emphasizing algorithmic and practical design constraints. This fully revised fourth edition has brought in more of the concepts and applications of computer vision, making it a very comprehensive and up-to-date tutorial text suitable for graduate students, researchers and R&D engineers working in this vibrant subject. Key features include: Practical examples and case studies give the 'ins and outs' of developing real-world vision systems, giving engineers the realities of implementing the principles in practice New chapters containing case studies on surveillance and driver assistance systems give practical methods on these cutting-edge applications in computer vision Necessary mathematics and essential theory are made approachable by careful explanations and well-il...

Fluid Dynamics Theory, Computation, and Numerical Simulation

CERN Document Server

Pozrikidis, Constantine

2009-01-01

Fluid Dynamics: Theory, Computation, and Numerical Simulation is the only available book that extends the classical field of fluid dynamics into the realm of scientific computing in a way that is both comprehensive and accessible to the beginner. The theory of fluid dynamics, and the implementation of solution procedures into numerical algorithms, are discussed hand-in-hand and with reference to computer programming. This book is an accessible introduction to theoretical and computational fluid dynamics (CFD), written from a modern perspective that unifies theory and numerical practice. There are several additions and subject expansions in the Second Edition of Fluid Dynamics, including new Matlab and FORTRAN codes. Two distinguishing features of the discourse are: solution procedures and algorithms are developed immediately after problem formulations are presented, and numerical methods are introduced on a need-to-know basis and in increasing order of difficulty. Matlab codes are presented and discussed for ...

Correlation functions with fusion-channel multiplicity in W3 Toda field theory

International Nuclear Information System (INIS)

Belavin, Vladimir; Estienne, Benoit; Foda, Omar; Santachiara, Raoul

2016-01-01

Current studies of W N Toda field theory focus on correlation functions such that the W N highest-weight representations in the fusion channels are multiplicity-free. In this work, we study W 3 Toda 4-point functions with multiplicity in the fusion channel. The conformal blocks of these 4-point functions involve matrix elements of a fully-degenerate primary field with a highest-weight in the adjoint representation of sl 3 , and a fully-degenerate primary field with a highest-weight in the fundamental representation of sl 3 . We show that, when the fusion rules do not involve multiplicities, the matrix elements of the fully-degenerate adjoint field, between two arbitrary descendant states, can be computed explicitly, on equal footing with the matrix elements of the semi-degenerate fundamental field. Using null-state conditions, we obtain a fourth-order Fuchsian differential equation for the conformal blocks. Using Okubo theory, we show that, due to the presence of multiplicities, this differential equation belongs to a class of Fuchsian equations that is different from those that have appeared so far in W N theories. We solve this equation, compute its monodromy group, and construct the monodromy-invariant correlation functions. This computation shows in detail how the ambiguities that are caused by the presence of multiplicities are fixed by requiring monodromy-invariance.

Fluid dynamics theory, computation, and numerical simulation

CERN Document Server

Pozrikidis, C

2001-01-01

Fluid Dynamics Theory, Computation, and Numerical Simulation is the only available book that extends the classical field of fluid dynamics into the realm of scientific computing in a way that is both comprehensive and accessible to the beginner The theory of fluid dynamics, and the implementation of solution procedures into numerical algorithms, are discussed hand-in-hand and with reference to computer programming This book is an accessible introduction to theoretical and computational fluid dynamics (CFD), written from a modern perspective that unifies theory and numerical practice There are several additions and subject expansions in the Second Edition of Fluid Dynamics, including new Matlab and FORTRAN codes Two distinguishing features of the discourse are solution procedures and algorithms are developed immediately after problem formulations are presented, and numerical methods are introduced on a need-to-know basis and in increasing order of difficulty Matlab codes are presented and discussed for a broad...

National Computational Infrastructure for Lattice Gauge Theory

Energy Technology Data Exchange (ETDEWEB)

Brower, Richard C.

2014-04-15

SciDAC-2 Project The Secret Life of Quarks: National Computational Infrastructure for Lattice Gauge Theory, from March 15, 2011 through March 14, 2012. The objective of this project is to construct the software needed to study quantum chromodynamics (QCD), the theory of the strong interactions of sub-atomic physics, and other strongly coupled gauge field theories anticipated to be of importance in the energy regime made accessible by the Large Hadron Collider (LHC). It builds upon the successful efforts of the SciDAC-1 project National Computational Infrastructure for Lattice Gauge Theory, in which a QCD Applications Programming Interface (QCD API) was developed that enables lattice gauge theorists to make effective use of a wide variety of massively parallel computers. This project serves the entire USQCD Collaboration, which consists of nearly all the high energy and nuclear physicists in the United States engaged in the numerical study of QCD and related strongly interacting quantum field theories. All software developed in it is publicly available, and can be downloaded from a link on the USQCD Collaboration web site, or directly from the github repositories with entrance linke http://usqcd-software.github.io

Computability and unsolvability

CERN Document Server

Davis, Martin

1985-01-01

""A clearly written, well-presented survey of an intriguing subject."" - Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

Abstraction/Representation Theory for heterotic physical computing.

Science.gov (United States)

Horsman, D C

2015-07-28

We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. © 2015 The Author(s) Published by the Royal Society. All rights reserved.

Computer-based theory of strategies

Energy Technology Data Exchange (ETDEWEB)

Findler, N V

1983-01-01

Some of the objectives and working tools of a new area of study, tentatively called theory of strategies, are described. It is based on the methodology of artificial intelligence, decision theory, operations research and digital gaming. The latter refers to computing activity that incorporates model building, simulation and learning programs in conflict situations. Three long-term projects which aim at automatically analyzing and synthesizing strategies are discussed. 27 references.

Globally conformal invariant gauge field theory with rational correlation functions

CERN Document Server

Nikolov, N M; Todorov, I T; CERN. Geneva; Todorov, Ivan T.

2003-01-01

Operator product expansions (OPE) for the product of a scalar field with its conjugate are presented as infinite sums of bilocal fields $V_{\\kappa} (x_1, x_2)$ of dimension $(\\kappa, \\kappa)$. For a {\\it globally conformal invariant} (GCI) theory we write down the OPE of $V_{\\kappa}$ into a series of {\\it twist} (dimension minus rank) $2\\kappa$ symmetric traceless tensor fields with coefficients computed from the (rational) 4-point function of the scalar field. We argue that the theory of a GCI hermitian scalar field ${\\cal L} (x)$ of dimension 4 in $D = 4$ Minkowski space such that the 3-point functions of a pair of ${\\cal L}$'s and a scalar field of dimension 2 or 4 vanish can be interpreted as the theory of local observables of a conformally invariant fixed point in a gauge theory with Lagrangian density ${\\cal L} (x)$.

MADNESS applied to density functional theory in chemistry and nuclear physics

International Nuclear Information System (INIS)

Fann, G I; Harrison, R J; Beylkin, G; Jia, J; Hartman-Baker, R; Shelton, W A; Sugiki, S

2007-01-01

We describe some recent mathematical results in constructing computational methods that lead to the development of fast and accurate multiresolution numerical methods for solving quantum chemistry and nuclear physics problems based on Density Functional Theory (DFT). Using low separation rank representations of functions and operators in conjunction with representations in multiwavelet bases, we developed a multiscale solution method for integral and differential equations and integral transforms. The Poisson equation, the Schrodinger equation, and the projector on the divergence free functions provide important examples with a wide range of applications in computational chemistry, nuclear physics, computational electromagnetic and fluid dynamics. We have implemented this approach along with adaptive representations of operators and functions in the multiwavelet basis and low separation rank (LSR) approximation of operators and functions. These methods have been realized and implemented in a software package called Multiresolution Adaptive Numerical Evaluation for Scientific Simulation (MADNESS)

Time-dependent density-functional theory concepts and applications

CERN Document Server

Ullrich, Carsten A

2011-01-01

Time-dependent density-functional theory (TDDFT) describes the quantum dynamics of interacting electronic many-body systems formally exactly and in a practical and efficient manner. TDDFT has become the leading method for calculating excitation energies and optical properties of large molecules, with accuracies that rival traditional wave-function based methods, but at a fraction of the computational cost.This book is the first graduate-level text on the concepts and applications of TDDFT, including many examples and exercises, and extensive coverage of the literature. The book begins with a s

The partition function of the supersymmetric two-dimensional black hole and little string theory

International Nuclear Information System (INIS)

Israel, Dan; Kounnas, Costas; Troost, Jan; Pakman, Ari

2004-01-01

We compute the partition function of the supersymmetric two-dimensional euclidean black hole geometry described by the SL(2,R)/U(1) superconformal field theory. We decompose the result in terms of characters of the N = 2 superconformal symmetry. We point out puzzling sectors of states besides finding expected discrete and continuous contributions to the partition function. By adding an N = 2 minimal model factor of the correct central charge and projecting on integral N = 2 charges we compute the partition function of the background dual to little string theory in a double scaling limit. We show the precise correspondence between this theory and the background for NS5-branes on a circle, due to an exact description of the background as a null gauging of SL(2,R) x SU(2). Finally, we discuss the interplay between GSO projection and target space geometry. (author)

A Unifying Theory of Biological Function.

Science.gov (United States)

van Hateren, J H

2017-01-01

A new theory that naturalizes biological function is explained and compared with earlier etiological and causal role theories. Etiological (or selected effects) theories explain functions from how they are caused over their evolutionary history. Causal role theories analyze how functional mechanisms serve the current capacities of their containing system. The new proposal unifies the key notions of both kinds of theories, but goes beyond them by explaining how functions in an organism can exist as factors with autonomous causal efficacy. The goal-directedness and normativity of functions exist in this strict sense as well. The theory depends on an internal physiological or neural process that mimics an organism's fitness, and modulates the organism's variability accordingly. The structure of the internal process can be subdivided into subprocesses that monitor specific functions in an organism. The theory matches well with each intuition on a previously published list of intuited ideas about biological functions, including intuitions that have posed difficulties for other theories.

Theories of computational complexity

CERN Document Server

Calude, C

1988-01-01

This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance. The book includes a wealth of results - classical, recent, and others which have not been published before.In developing the mathematics underlying the size, dynamic and structural complexity measures, various connections with mathematical logic, constructive topology, probability and programming theories are established. The facts are presented in detail. Extensive examples are provided, to help clarify notions and constructions. The lists of exercises and problems include routine exercises, interesting results, as well as some open problems.

Gender, general theory of crime and computer crime: an empirical test.

Science.gov (United States)

Moon, Byongook; McCluskey, John D; McCluskey, Cynthia P; Lee, Sangwon

2013-04-01

Regarding the gender gap in computer crime, studies consistently indicate that boys are more likely than girls to engage in various types of computer crime; however, few studies have examined the extent to which traditional criminology theories account for gender differences in computer crime and the applicability of these theories in explaining computer crime across gender. Using a panel of 2,751 Korean youths, the current study tests the applicability of the general theory of crime in explaining the gender gap in computer crime and assesses the theory's utility in explaining computer crime across gender. Analyses show that self-control theory performs well in predicting illegal use of others' resident registration number (RRN) online for both boys and girls, as predicted by the theory. However, low self-control, a dominant criminogenic factor in the theory, fails to mediate the relationship between gender and computer crime and is inadequate in explaining illegal downloading of software in both boy and girl models. Theoretical implication of the findings and the directions for future research are discussed.

Correlation functions with fusion-channel multiplicity in W{sub 3} Toda field theory

Energy Technology Data Exchange (ETDEWEB)

Belavin, Vladimir [I.E. Tamm Department of Theoretical Physics, P.N. Lebedev Physical Institute,Leninsky Avenue 53, 119991 Moscow (Russian Federation); Department of Quantum Physics, Institute for Information Transmission Problems,Bolshoy Karetny per. 19, 127994 Moscow (Russian Federation); Estienne, Benoit [LPTHE, CNRS and Université Pierre et Marie Curie,Sorbonne Universités, 4 Place Jussieu, 75252 Paris Cedex 05 (France); Foda, Omar [School of Mathematics and Statistics, University of Melbourne,Parkville, Victoria 3010 (Australia); Santachiara, Raoul [LPTMS, CNRS (UMR 8626), Université Paris-Saclay,15 rue Georges Clémenceau, 91405 Orsay (France)

2016-06-22

Current studies of W{sub N} Toda field theory focus on correlation functions such that the W{sub N} highest-weight representations in the fusion channels are multiplicity-free. In this work, we study W{sub 3} Toda 4-point functions with multiplicity in the fusion channel. The conformal blocks of these 4-point functions involve matrix elements of a fully-degenerate primary field with a highest-weight in the adjoint representation of sl{sub 3}, and a fully-degenerate primary field with a highest-weight in the fundamental representation of sl{sub 3}. We show that, when the fusion rules do not involve multiplicities, the matrix elements of the fully-degenerate adjoint field, between two arbitrary descendant states, can be computed explicitly, on equal footing with the matrix elements of the semi-degenerate fundamental field. Using null-state conditions, we obtain a fourth-order Fuchsian differential equation for the conformal blocks. Using Okubo theory, we show that, due to the presence of multiplicities, this differential equation belongs to a class of Fuchsian equations that is different from those that have appeared so far in W{sub N} theories. We solve this equation, compute its monodromy group, and construct the monodromy-invariant correlation functions. This computation shows in detail how the ambiguities that are caused by the presence of multiplicities are fixed by requiring monodromy-invariance.

Lattice dynamics calculations based on density-functional perturbation theory in real space

Science.gov (United States)

Shang, Honghui; Carbogno, Christian; Rinke, Patrick; Scheffler, Matthias

2017-06-01

A real-space formalism for density-functional perturbation theory (DFPT) is derived and applied for the computation of harmonic vibrational properties in molecules and solids. The practical implementation using numeric atom-centered orbitals as basis functions is demonstrated exemplarily for the all-electron Fritz Haber Institute ab initio molecular simulations (FHI-aims) package. The convergence of the calculations with respect to numerical parameters is carefully investigated and a systematic comparison with finite-difference approaches is performed both for finite (molecules) and extended (periodic) systems. Finally, the scaling tests and scalability tests on massively parallel computer systems demonstrate the computational efficiency.

Numerical computation of generalized importance functions

International Nuclear Information System (INIS)

Gomit, J.M.; Nasr, M.; Ngyuen van Chi, G.; Pasquet, J.P.; Planchard, J.

1981-01-01

Thus far, an important effort has been devoted to developing and applying generalized perturbation theory in reactor physics analysis. In this work we are interested in the calculation of the importance functions by the method of A. Gandini. We have noted that in this method the convergence of the iterative procedure adopted is not rapid. Hence to accelerate this convergence we have used the semi-iterative technique. Two computer codes have been developed for one and two dimensional calculations (SPHINX-1D and SPHINX-2D). The advantage of our calculation was confirmed by some comparative tests in which the iteration number and the computing time were highly reduced with respect to classical calculation (CIAP-1D and CIAP-2D). (orig.) [de

Elements of quantum computing history, theories and engineering applications

CERN Document Server

Akama, Seiki

2015-01-01

A quantum computer is a computer based on a computational model which uses quantum mechanics, which is a subfield of physics to study phenomena at the micro level. There has been a growing interest on quantum computing in the 1990's, and some quantum computers at the experimental level were recently implemented. Quantum computers enable super-speed computation, and can solve some important problems whose solutions were regarded impossible or intractable with traditional computers. This book provides a quick introduction to quantum computing for readers who have no backgrounds of both theory of computation and quantum mechanics. “Elements of Quantum Computing” presents the history, theories, and engineering applications of quantum computing. The book is suitable to computer scientists, physicist, and software engineers.

Applications of Density Functional Theory in Soft Condensed Matter

Science.gov (United States)

Löwen, Hartmut

Applications of classical density functional theory (DFT) to soft matter systems like colloids, liquid crystals and polymer solutions are discussed with a focus on the freezing transition and on nonequilibrium Brownian dynamics. First, after a brief reminder of equilibrium density functional theory, DFT is applied to the freezing transition of liquids into crystalline lattices. In particular, spherical particles with radially symmetric pair potentials will be treated (like hard spheres, the classical one-component plasma or Gaussian-core particles). Second, the DFT will be generalized towards Brownian dynamics in order to tackle nonequilibrium problems. After a general introduction to Brownian dynamics using the complementary Smoluchowski and Langevin pictures appropriate for the dynamics of colloidal suspensions, the dynamical density functional theory (DDFT) will be derived from the Smoluchowski equation. This will be done first for spherical particles (e.g. hard spheres or Gaussian-cores) without hydrodynamic interactions. Then we show how to incorporate hydrodynamic interactions between the colloidal particles into the DDFT framework and compare to Brownian dynamics computer simulations. Third orientational degrees of freedom (rod-like particles) will be considered as well. In the latter case, the stability of intermediate liquid crystalline phases (isotropic, nematic, smectic-A, plastic crystals etc) can be predicted. Finally, the corresponding dynamical extension of density functional theory towards orientational degrees of freedom is proposed and the collective behaviour of "active" (self-propelled) Brownian particles is briefly discussed.

Designs 2002 further computational and constructive design theory

CERN Document Server

2003-01-01

This volume is a sequel to the 1996 compilation, Computational and Constructive Design Theory. It contains research papers and surveys of recent research work on two closely related aspects of the study of combinatorial designs: design construction and computer-aided study of designs. Audience: This volume is suitable for researchers in the theory of combinatorial designs

Quantal density functional theory

CERN Document Server

Sahni, Viraht

2016-01-01

This book deals with quantal density functional theory (QDFT) which is a time-dependent local effective potential theory of the electronic structure of matter. The treated time-independent QDFT constitutes a special case. In the 2nd edition, the theory is extended to include the presence of external magnetostatic fields. The theory is a description of matter based on the ‘quantal Newtonian’ first and second laws which is in terms of “classical” fields that pervade all space, and their quantal sources. The fields, which are explicitly defined, are separately representative of electron correlations due to the Pauli exclusion principle, Coulomb repulsion, correlation-kinetic, correlation-current-density, and correlation-magnetic effects. The book further describes Schrödinger theory from the new physical perspective of fields and quantal sources. It also describes traditional Hohenberg-Kohn-Sham DFT, and explains via QDFT the physics underlying the various energy functionals and functional derivatives o...

Analytic number theory, approximation theory, and special functions in honor of Hari M. Srivastava

CERN Document Server

Rassias, Michael

2014-01-01

This book, in honor of Hari M. Srivastava, discusses essential developments in mathematical research in a variety of problems. It contains thirty-five articles, written by eminent scientists from the international mathematical community, including both research and survey works. Subjects covered include analytic number theory, combinatorics, special sequences of numbers and polynomials, analytic inequalities and applications, approximation of functions and quadratures, orthogonality, and special and complex functions. The mathematical results and open problems discussed in this book are presented in a simple and self-contained manner. The book contains an overview of old and new results, methods, and theories toward the solution of longstanding problems in a wide scientific field, as well as new results in rapidly progressing areas of research. The book will be useful for researchers and graduate students in the fields of mathematics, physics, and other computational and applied sciences.

Fluid dynamics theory, computation, and numerical simulation

CERN Document Server

Pozrikidis, C

2017-01-01

This book provides an accessible introduction to the basic theory of fluid mechanics and computational fluid dynamics (CFD) from a modern perspective that unifies theory and numerical computation. Methods of scientific computing are introduced alongside with theoretical analysis and MATLAB® codes are presented and discussed for a broad range of topics: from interfacial shapes in hydrostatics, to vortex dynamics, to viscous flow, to turbulent flow, to panel methods for flow past airfoils. The third edition includes new topics, additional examples, solved and unsolved problems, and revised images. It adds more computational algorithms and MATLAB programs. It also incorporates discussion of the latest version of the fluid dynamics software library FDLIB, which is freely available online. FDLIB offers an extensive range of computer codes that demonstrate the implementation of elementary and advanced algorithms and provide an invaluable resource for research, teaching, classroom instruction, and self-study. This ...

Functional determinants in gauge theory and string theory

International Nuclear Information System (INIS)

Della Pietra, V.J.

1988-01-01

Determinants arise whenever Gaussian functional integrals are evaluated. As a result, they are pervasive in physics. In this thesis the author studied, in a mathematically precise fashion, some questions concerning functional determinants in Quantum Field Theory and String Theory. The emphasis is on deriving explicit general identities which can be applied to physical problems. In Chapters 1-3, he studies determinants of families of Weyl operators on compact manifolds. The motivation for this work comes from Chiral Gauge Theory. In a theory containing chiral Fermions coupled to Bosons y, a partial integration in the functional integral over the Fermi fields yields terms involving determinants of Weyl operators ∂y. In Chapter 4 he turns his attention to a problem in String Theory. In the Polyakov formulation of string perturbation theory, the partition function and scattering amplitudes are calculated as sums of contributions from different world sheet topologies. The contribution from surfaces of a particular topology is given by a functional integral, which, after gauge-fixing, can be expressed as an integral of a certain measure over an appropriate moduli space. For an arbitrary finite group acting on a compact manifold, he defines an analytic torsion for the invariant subcomplex of the de Rham complex, generalizing the definition given by Ray and Singer in the absence of a group action. Motivated by the work of Quillen, he uses this torsion to define a natural norm on the determinant line of the invariant cohomology

Basic concepts of Density Functional Theory: Electronic structure calculation

International Nuclear Information System (INIS)

Sharma, B. Indrajit

2016-01-01

We are looking for a material which possesses the required properties as demanded for technological applications. For this we have to repeat the preparation of the appropriate materials and its characterizations. So, before proceeding to experiments, one can study on computer generated structure and predict the properties of the desired material. To do this, a concept of Density Functional Theory comes out. (paper)

Interacting electrons theory and computational approaches

CERN Document Server

Martin, Richard M; Ceperley, David M

2016-01-01

Recent progress in the theory and computation of electronic structure is bringing an unprecedented level of capability for research. Many-body methods are becoming essential tools vital for quantitative calculations and understanding materials phenomena in physics, chemistry, materials science and other fields. This book provides a unified exposition of the most-used tools: many-body perturbation theory, dynamical mean field theory and quantum Monte Carlo simulations. Each topic is introduced with a less technical overview for a broad readership, followed by in-depth descriptions and mathematical formulation. Practical guidelines, illustrations and exercises are chosen to enable readers to appreciate the complementary approaches, their relationships, and the advantages and disadvantages of each method. This book is designed for graduate students and researchers who want to use and understand these advanced computational tools, get a broad overview, and acquire a basis for participating in new developments.

Opportunities for discovery: Theory and computation in Basic Energy Sciences

Energy Technology Data Exchange (ETDEWEB)

Harmon, Bruce; Kirby, Kate; McCurdy, C. William

2005-01-11

New scientific frontiers, recent advances in theory, and rapid increases in computational capabilities have created compelling opportunities for theory and computation to advance the scientific mission of the Office of Basic Energy Sciences (BES). The prospects for success in the experimental programs of BES will be enhanced by pursuing these opportunities. This report makes the case for an expanded research program in theory and computation in BES. The Subcommittee on Theory and Computation of the Basic Energy Sciences Advisory Committee was charged with identifying current and emerging challenges and opportunities for theoretical research within the scientific mission of BES, paying particular attention to how computing will be employed to enable that research. A primary purpose of the Subcommittee was to identify those investments that are necessary to ensure that theoretical research will have maximum impact in the areas of importance to BES, and to assure that BES researchers will be able to exploit the entire spectrum of computational tools, including leadership class computing facilities. The Subcommittee s Findings and Recommendations are presented in Section VII of this report.

The Computational Processing of Intonational Prominence: A Functional Prosody Perspective

OpenAIRE

Nakatani, Christine Hisayo

1997-01-01

Intonational prominence, or accent, is a fundamental prosodic feature that is said to contribute to discourse meaning. This thesis outlines a new, computational theory of the discourse interpretation of prominence, from a FUNCTIONAL PROSODY perspective. Functional prosody makes the following two important assumptions: first, there is an aspect of prominence interpretation that centrally concerns discourse processes, namely the discourse focusing nature of prominence; and second, the role of p...

Computational Investigation of the Geometrical and Electronic Structures of VGen-/0 (n = 1-4) Clusters by Density Functional Theory and Multiconfigurational CASSCF/CASPT2 Method.

Science.gov (United States)

Tran, Van Tan; Nguyen, Minh Thao; Tran, Quoc Tri

2017-10-12

Density functional theory and the multiconfigurational CASSCF/CASPT2 method have been employed to study the low-lying states of VGe n -/0 (n = 1-4) clusters. For VGe -/0 and VGe 2 -/0 clusters, the relative energies and geometrical structures of the low-lying states are reported at the CASSCF/CASPT2 level. For the VGe 3 -/0 and VGe 4 -/0 clusters, the computational results show that due to the large contribution of the Hartree-Fock exact exchange, the hybrid B3LYP, B3PW91, and PBE0 functionals overestimate the energies of the high-spin states as compared to the pure GGA BP86 and PBE functionals and the CASPT2 method. On the basis of the pure GGA BP86 and PBE functionals and the CASSCF/CASPT2 results, the ground states of anionic and neutral clusters are defined, the relative energies of the excited states are computed, and the electron detachment energies of the anionic clusters are evaluated. The computational results are employed to give new assignments for all features in the photoelectron spectra of VGe 3 - and VGe 4 - clusters.

Temperature-dependent study of isotropic-nematic transition for a Gay-Berne fluid using density-functional theory

International Nuclear Information System (INIS)

Singh, Ram Chandra

2007-01-01

We have used the density-functional theory to study the effect of varying temperature on the isotropic-nematic transition of a fluid of molecules interacting via the Gay-Berne intermolecular potential. The nematic phase is found to be stable with respect to isotropic phase in the temperature range 0.80≤T*≤1.25. Pair correlation functions needed as input information in density-functional theory is calculated using the Percus-Yevick integral equation theory. We find that the density-functional theory is good for studying the isotropic-nematic transition in molecular fluids if the values of the pair-correlation functions in the isotropic phase are known accurately. We have also compared our results with computer simulation results wherever they are available

Computer-based teaching module design: principles derived from learning theories.

Science.gov (United States)

Lau, K H Vincent

2014-03-01

The computer-based teaching module (CBTM), which has recently gained prominence in medical education, is a teaching format in which a multimedia program serves as a single source for knowledge acquisition rather than playing an adjunctive role as it does in computer-assisted learning (CAL). Despite empirical validation in the past decade, there is limited research into the optimisation of CBTM design. This review aims to summarise research in classic and modern multimedia-specific learning theories applied to computer learning, and to collapse the findings into a set of design principles to guide the development of CBTMs. Scopus was searched for: (i) studies of classic cognitivism, constructivism and behaviourism theories (search terms: 'cognitive theory' OR 'constructivism theory' OR 'behaviourism theory' AND 'e-learning' OR 'web-based learning') and their sub-theories applied to computer learning, and (ii) recent studies of modern learning theories applied to computer learning (search terms: 'learning theory' AND 'e-learning' OR 'web-based learning') for articles published between 1990 and 2012. The first search identified 29 studies, dominated in topic by the cognitive load, elaboration and scaffolding theories. The second search identified 139 studies, with diverse topics in connectivism, discovery and technical scaffolding. Based on their relative representation in the literature, the applications of these theories were collapsed into a list of CBTM design principles. Ten principles were identified and categorised into three levels of design: the global level (managing objectives, framing, minimising technical load); the rhetoric level (optimising modality, making modality explicit, scaffolding, elaboration, spaced repeating), and the detail level (managing text, managing devices). This review examined the literature in the application of learning theories to CAL to develop a set of principles that guide CBTM design. Further research will enable educators to

Filtration theory using computer simulations

Energy Technology Data Exchange (ETDEWEB)

Bergman, W.; Corey, I. [Lawrence Livermore National Lab., CA (United States)

1997-08-01

We have used commercially available fluid dynamics codes based on Navier-Stokes theory and the Langevin particle equation of motion to compute the particle capture efficiency and pressure drop through selected two- and three-dimensional fiber arrays. The approach we used was to first compute the air velocity vector field throughout a defined region containing the fiber matrix. The particle capture in the fiber matrix is then computed by superimposing the Langevin particle equation of motion over the flow velocity field. Using the Langevin equation combines the particle Brownian motion, inertia and interception mechanisms in a single equation. In contrast, most previous investigations treat the different capture mechanisms separately. We have computed the particle capture efficiency and the pressure drop through one, 2-D and two, 3-D fiber matrix elements. 5 refs., 11 figs.

Introducing Scattering Theory with a Computer

Science.gov (United States)

Merrill, John R.

1973-01-01

Discusses a new method of presenting the scattering theory, including classical explanation of cross sections, quantum mechanical expressions for phase shifts, and use of a computer to solve problems. (CC)

Generating functionals for quantum field theories with random potentials

International Nuclear Information System (INIS)

Jain, Mudit; Vanchurin, Vitaly

2016-01-01

We consider generating functionals for computing correlators in quantum field theories with random potentials. Examples of such theories include cosmological systems in context of the string theory landscape (e.g. cosmic inflation) or condensed matter systems with quenched disorder (e.g. spin glass). We use the so-called replica trick to define two different generating functionals for calculating correlators of the quantum fields averaged over a given distribution of random potentials. The first generating functional is appropriate for calculating averaged (in-out) amplitudes and involves a single replica of fields, but the replica limit is taken to an (unphysical) negative one number of fields outside of the path integral. When the number of replicas is doubled the generating functional can also be used for calculating averaged probabilities (squared amplitudes) using the in-in construction. The second generating functional involves an infinite number of replicas, but can be used for calculating both in-out and in-in correlators and the replica limits are taken to only a zero number of fields. We discuss the formalism in details for a single real scalar field, but the generalization to more fields or to different types of fields is straightforward. We work out three examples: one where the mass of scalar field is treated as a random variable and two where the functional form of interactions is random, one described by a Gaussian random field and the other by a Euclidean action in the field configuration space.

Periodic subsystem density-functional theory

International Nuclear Information System (INIS)

Genova, Alessandro; Pavanello, Michele; Ceresoli, Davide

2014-01-01

By partitioning the electron density into subsystem contributions, the Frozen Density Embedding (FDE) formulation of subsystem Density Functional Theory (DFT) has recently emerged as a powerful tool for reducing the computational scaling of Kohn–Sham DFT. To date, however, FDE has been employed to molecular systems only. Periodic systems, such as metals, semiconductors, and other crystalline solids have been outside the applicability of FDE, mostly because of the lack of a periodic FDE implementation. To fill this gap, in this work we aim at extending FDE to treat subsystems of molecular and periodic character. This goal is achieved by a dual approach. On one side, the development of a theoretical framework for periodic subsystem DFT. On the other, the realization of the method into a parallel computer code. We find that periodic FDE is capable of reproducing total electron densities and (to a lesser extent) also interaction energies of molecular systems weakly interacting with metallic surfaces. In the pilot calculations considered, we find that FDE fails in those cases where there is appreciable density overlap between the subsystems. Conversely, we find FDE to be in semiquantitative agreement with Kohn–Sham DFT when the inter-subsystem density overlap is low. We also conclude that to make FDE a suitable method for describing molecular adsorption at surfaces, kinetic energy density functionals that go beyond the GGA level must be employed

Periodic subsystem density-functional theory

Science.gov (United States)

Genova, Alessandro; Ceresoli, Davide; Pavanello, Michele

2014-11-01

By partitioning the electron density into subsystem contributions, the Frozen Density Embedding (FDE) formulation of subsystem Density Functional Theory (DFT) has recently emerged as a powerful tool for reducing the computational scaling of Kohn-Sham DFT. To date, however, FDE has been employed to molecular systems only. Periodic systems, such as metals, semiconductors, and other crystalline solids have been outside the applicability of FDE, mostly because of the lack of a periodic FDE implementation. To fill this gap, in this work we aim at extending FDE to treat subsystems of molecular and periodic character. This goal is achieved by a dual approach. On one side, the development of a theoretical framework for periodic subsystem DFT. On the other, the realization of the method into a parallel computer code. We find that periodic FDE is capable of reproducing total electron densities and (to a lesser extent) also interaction energies of molecular systems weakly interacting with metallic surfaces. In the pilot calculations considered, we find that FDE fails in those cases where there is appreciable density overlap between the subsystems. Conversely, we find FDE to be in semiquantitative agreement with Kohn-Sham DFT when the inter-subsystem density overlap is low. We also conclude that to make FDE a suitable method for describing molecular adsorption at surfaces, kinetic energy density functionals that go beyond the GGA level must be employed.

On computing special functions in marine engineering

Science.gov (United States)

Constantinescu, E.; Bogdan, M.

2015-11-01

Important modeling applications in marine engineering conduct us to a special class of solutions for difficult differential equations with variable coefficients. In order to be able to solve and implement such models (in wave theory, in acoustics, in hydrodynamics, in electromagnetic waves, but also in many other engineering fields), it is necessary to compute so called special functions: Bessel functions, modified Bessel functions, spherical Bessel functions, Hankel functions. The aim of this paper is to develop numerical solutions in Matlab for the above mentioned special functions. Taking into account the main properties for Bessel and modified Bessel functions, we shortly present analytically solutions (where possible) in the form of series. Especially it is studied the behavior of these special functions using Matlab facilities: numerical solutions and plotting. Finally, it will be compared the behavior of the special functions and point out other directions for investigating properties of Bessel and spherical Bessel functions. The asymptotic forms of Bessel functions and modified Bessel functions allow determination of important properties of these functions. The modified Bessel functions tend to look more like decaying and growing exponentials.

On the universality of the long-/short-range separation in multiconfigurational density-functional theory

DEFF Research Database (Denmark)

Fromager, Emmanuel; Toulouse, Julien; Jensen, Hans Jørgen Aagaard

2007-01-01

In many cases, the dynamic correlation can be calculated quite accurately and at a fairly low computational cost in Kohn-Sham density-functional theory (KS-DFT), using current standard approximate functionals. However, in general, KS-DFT does not treat static correlation effects (near degeneracy...

Obliczeniowe teorie świadomości (Computational theories of consciousness

Directory of Open Access Journals (Sweden)

Marcin Miłkowski

2010-06-01

Full Text Available In this paper, I review the motivations for having a computational theory of consciousness to see if they turn out to be no longer plausible in the light of recent criticisms. These criticisms focus on the alleged inability of computational theories to deal with qualia, or qualities of experience (or objects of experience in some accounts, and with so-called symbol grounding on the other hand. Yet it seems that computationalism remains the best game in town when one wants to explain and predict the dynamics of information processing of cognitive systems. Conscious information processing does not seem to be explainable better within any other framework; computationalism regarding consciousness can only be discarded by supposing that consciousness is epiphenomenal in information processing.I will argue that recent theories of consciousness that are to deal with the so-called hard problem of consciousness remain in their core computational if they do not subscribe to epiphenomenalism. For example, the quantum theory as proposed by Stuart Hameroff remains openly computational; the same goes for pan(protopsychist speculation of David Chalmers. The qualitative character of information processing that Chalmers takes to explain the existence of subjective experience piggy-backs, so to say, on the very fact that there is information processing that is best explained in a computationalist framework. I also briefly show that other alternative accounts of consciousness (such as direct theories of consciousness that were supposed to oppose computational and functionalist conceptions are not only compatible with them but require them to begin with.In short, to discard credentials of computationalism in consciousness research one would have to show that it`s possible to explain conscious information-processing mechanisms sufficiently in a non-computational way. And this has not been done by any of the critics of computational accounts. This all doesn`t suggest

The use of perturbation theory in density-functional theory

International Nuclear Information System (INIS)

Goerling, A.

1996-01-01

Perturbation theory with respect to the electron-electron interaction leads to expressions for the exchange and correlation energies and potentials in terms of Kohn-Sham orbitals and Kohn-Sham eigenvalues. An exact open-quote exchange-only close-quote procedure for solids is introduced. Results for several semiconductors are presented. Perturbation theory expansions for the hardness of molecules and the bad gap of solids are given. Density-functional exchange and correlation energies for excited states are defined and a perturbation theory based Kohn-Sham formalism to treat excited states within density-functional theory is introduced

Complex function theory

CERN Document Server

Sarason, Donald

2007-01-01

Complex Function Theory is a concise and rigorous introduction to the theory of functions of a complex variable. Written in a classical style, it is in the spirit of the books by Ahlfors and by Saks and Zygmund. Being designed for a one-semester course, it is much shorter than many of the standard texts. Sarason covers the basic material through Cauchy's theorem and applications, plus the Riemann mapping theorem. It is suitable for either an introductory graduate course or an undergraduate course for students with adequate preparation. The first edition was published with the title Notes on Co

Multiconfiguration Pair-Density Functional Theory Outperforms Kohn-Sham Density Functional Theory and Multireference Perturbation Theory for Ground-State and Excited-State Charge Transfer.

Science.gov (United States)

Ghosh, Soumen; Sonnenberger, Andrew L; Hoyer, Chad E; Truhlar, Donald G; Gagliardi, Laura

2015-08-11

The correct description of charge transfer in ground and excited states is very important for molecular interactions, photochemistry, electrochemistry, and charge transport, but it is very challenging for Kohn-Sham (KS) density functional theory (DFT). KS-DFT exchange-correlation functionals without nonlocal exchange fail to describe both ground- and excited-state charge transfer properly. We have recently proposed a theory called multiconfiguration pair-density functional theory (MC-PDFT), which is based on a combination of multiconfiguration wave function theory with a new type of density functional called an on-top density functional. Here we have used MC-PDFT to study challenging ground- and excited-state charge-transfer processes by using on-top density functionals obtained by translating KS exchange-correlation functionals. For ground-state charge transfer, MC-PDFT performs better than either the PBE exchange-correlation functional or CASPT2 wave function theory. For excited-state charge transfer, MC-PDFT (unlike KS-DFT) shows qualitatively correct behavior at long-range with great improvement in predicted excitation energies.

A Unifying Theory of Biological Function

NARCIS (Netherlands)

van Hateren, J. H.

2017-01-01

A new theory that naturalizes biological function is explained and compared with earlier etiological and causal role theories. Etiological (or selected effects) theories explain functions from how they are caused over their evolutionary history. Causal role theories analyze how functional mechanisms

Theory of hypernumbers and extrafunctions: Functional spaces and differentiation

Directory of Open Access Journals (Sweden)

Mark Burgin

2002-01-01

Full Text Available The theory of hypernumbers and extrafunctions is a novel approach in functional analysis aimed at problems of mathematical and computational physics. The new technique allows operations with divergent integrals and series and makes it possible to distinct different kinds of convergence and divergence. Although, it resembles nonstandard analysis, there are several distinctions between these theories. For example, while nonstandard analysis changes spaces of real and complex numbers by injecting into them infinitely small numbers and other nonstandard entities, the theory of extrafunctions does not change the inner structure of spaces of real and complex numbers, but adds to them infinitely big and oscillating numbers as external objects. In this paper, we consider a simplified version of hypernumbers, but a more general version of extrafunctions and their extraderivatives in comparison with previous works.

Spin-adapted open-shell time-dependent density functional theory. II. Theory and pilot application.

Science.gov (United States)

Li, Zhendong; Liu, Wenjian; Zhang, Yong; Suo, Bingbing

2011-04-07

The excited states of open-shell systems calculated by unrestricted Kohn-Sham-based time-dependent density functional theory (U-TD-DFT) are often heavily spin-contaminated and hence meaningless. This is solved ultimately by the recently proposed spin-adapted time-dependent density functional theory (TD-DFT) (S-TD-DFT) [J. Chem. Phys. 133, 064106 (2010)]. Unlike the standard restricted open-shell Kohn-Sham-based TD-DFT (R-TD-DFT) which can only access the singlet-coupled single excitations, the S-TD-DFT can capture both the singlet- and triplet-coupled single excitations with the same computational effort as the U-TD-DFT. The performances of the three approaches (U-TD-DFT, R-TD-DFT, and S-TD-DFT) are compared for both the spin-conserving and spin-flip excitations of prototypical open-shell systems, the nitrogen (N(2)(+)) and naphthalene (C(10)H(8)(+)) cations. The results show that the S-TD-DFT gives rise to balanced descriptions of excited states of open-shell systems.

Nematic-smectic A and nematic-solid transitions of parallel hard spherocylinders from density functional theory

NARCIS (Netherlands)

University Utrecht

1992-01-01

A simple density functional theory for the various liquid-crystalline phases of parallel hard spherocylinders is formulated on the basis of Pynn's ansatz for the direct correlation function of the spherocylinders. Fair agreement with the computer simulations is found.

International Conference on Frontiers of Intelligent Computing : Theory and Applications

CERN Document Server

Bhateja, Vikrant; Udgata, Siba; Pattnaik, Prasant

2017-01-01

The book is a collection of high-quality peer-reviewed research papers presented at International Conference on Frontiers of Intelligent Computing: Theory and applications (FICTA 2016) held at School of Computer Engineering, KIIT University, Bhubaneswar, India during 16 – 17 September 2016. The book presents theories, methodologies, new ideas, experiences and applications in all areas of intelligent computing and its applications to various engineering disciplines like computer science, electronics, electrical and mechanical engineering.

Function algebras on finite sets basic course on many-valued logic and clone theory

CERN Document Server

Lau, Dietlinde

2006-01-01

Gives an introduction to the theory of function algebras. This book gives the general concepts of the Universal Algebra in order to familiarize the reader from the beginning on with the algebraic side of function algebras. It is a source on function algebras for students and researchers in mathematical logic and theoretical computer science.

Cloud computing theory and practice

CERN Document Server

Marinescu, Dan C

2013-01-01

Cloud Computing: Theory and Practice provides students and IT professionals with an in-depth analysis of the cloud from the ground up. Beginning with a discussion of parallel computing and architectures and distributed systems, the book turns to contemporary cloud infrastructures, how they are being deployed at leading companies such as Amazon, Google and Apple, and how they can be applied in fields such as healthcare, banking and science. The volume also examines how to successfully deploy a cloud application across the enterprise using virtualization, resource management and the ri

Efficient quantum algorithm for computing n-time correlation functions.

Science.gov (United States)

Pedernales, J S; Di Candia, R; Egusquiza, I L; Casanova, J; Solano, E

2014-07-11

We propose a method for computing n-time correlation functions of arbitrary spinorial, fermionic, and bosonic operators, consisting of an efficient quantum algorithm that encodes these correlations in an initially added ancillary qubit for probe and control tasks. For spinorial and fermionic systems, the reconstruction of arbitrary n-time correlation functions requires the measurement of two ancilla observables, while for bosonic variables time derivatives of the same observables are needed. Finally, we provide examples applicable to different quantum platforms in the frame of the linear response theory.

Optimized Kaiser-Bessel Window Functions for Computed Tomography.

Science.gov (United States)

Nilchian, Masih; Ward, John Paul; Vonesch, Cedric; Unser, Michael

2015-11-01

Kaiser-Bessel window functions are frequently used to discretize tomographic problems because they have two desirable properties: 1) their short support leads to a low computational cost and 2) their rotational symmetry makes their imaging transform independent of the direction. In this paper, we aim at optimizing the parameters of these basis functions. We present a formalism based on the theory of approximation and point out the importance of the partition-of-unity condition. While we prove that, for compact-support functions, this condition is incompatible with isotropy, we show that minimizing the deviation from the partition of unity condition is highly beneficial. The numerical results confirm that the proposed tuning of the Kaiser-Bessel window functions yields the best performance.

Group Theory, Computational Thinking, and Young Mathematicians

Science.gov (United States)

Gadanidis, George; Clements, Erin; Yiu, Chris

2018-01-01

In this article, we investigate the artistic puzzle of designing mathematics experiences (MEs) to engage young children with ideas of group theory, using a combination of hands-on and computational thinking (CT) tools. We elaborate on: (1) group theory and why we chose it as a context for young mathematicians' experiences with symmetry and…

Geometric function theory in higher dimension

CERN Document Server

2017-01-01

The book collects the most relevant outcomes from the INdAM Workshop “Geometric Function Theory in Higher Dimension” held in Cortona on September 5-9, 2016. The Workshop was mainly devoted to discussions of basic open problems in the area, and this volume follows the same line. In particular, it offers a selection of original contributions on Loewner theory in one and higher dimensions, semigroups theory, iteration theory and related topics. Written by experts in geometric function theory in one and several complex variables, it focuses on new research frontiers in this area and on challenging open problems. The book is intended for graduate students and researchers working in complex analysis, several complex variables and geometric function theory.

Nonequilibrium Green's function theory for nonadiabatic effects in quantum electron transport

Science.gov (United States)

Kershaw, Vincent F.; Kosov, Daniel S.

2017-12-01

We develop nonequilibrium Green's function-based transport theory, which includes effects of nonadiabatic nuclear motion in the calculation of the electric current in molecular junctions. Our approach is based on the separation of slow and fast time scales in the equations of motion for Green's functions by means of the Wigner representation. Time derivatives with respect to central time serve as a small parameter in the perturbative expansion enabling the computation of nonadiabatic corrections to molecular Green's functions. Consequently, we produce a series of analytic expressions for non-adiabatic electronic Green's functions (up to the second order in the central time derivatives), which depend not solely on the instantaneous molecular geometry but likewise on nuclear velocities and accelerations. An extended formula for electric current is derived which accounts for the non-adiabatic corrections. This theory is concisely illustrated by the calculations on a model molecular junction.

Construction of renormalized coefficient functions of the Feynman diagrams by means of a computer

International Nuclear Information System (INIS)

Tarasov, O.V.

1978-01-01

An algorithm and short description of computer program, written in SCHOONSCHIP, are given. The program is assigned for construction of integrands of renormalized coefficient functions of the Feynman diagrams in scalar theories in the case of arbitrary subtraction point. For the given Feynman graph computer completely realizes the R-operation of Bogolubov-Parasjuk and gives the result as an integral over Feynman parameters. With the help of the program the time construction of the whole renormalized coefficient function is equal approximately 30 s on the CDC-6500 computer

Superconformal field theory in three dimensions: correlation functions of conserved currents

Energy Technology Data Exchange (ETDEWEB)

Buchbinder, Evgeny I.; Kuzenko, Sergei M.; Samsonov, Igor B. [School of Physics M013, The University of Western Australia,35 Stirling Highway, Crawley W.A. 6009 (Australia)

2015-06-22

For N-extended superconformal field theories in three spacetime dimensions (3D), with 1≤N≤3, we compute the two- and three-point correlation functions of the supercurrent and the flavour current multiplets. We demonstrate that supersymmetry imposes additional restrictions on the correlators of conserved currents as compared with the non-supersymmetric case studied by Osborn and Petkou in hep-th/9307010. It is shown that the three-point function of the supercurrent is determined by a single functional form consistent with the conservation equation and all the symmetry properties. Similarly, the three-point function of the flavour current multiplets is also determined by a single functional form in the N=1 and N=3 cases. The specific feature of the N=2 case is that two independent structures are allowed for the three-point function of flavour current multiplets, but only one of them contributes to the three-point function of the conserved currents contained in these multiplets. Since the supergravity and super-Yang-Mills Ward identities are expected to relate the coefficients of the two- and three-point functions under consideration, the results obtained for 3D superconformal field theory are analogous to those in 2D conformal field theory. In addition, we present a new supertwistor construction for compactified Minkowski superspace. It is suitable for developing superconformal field theory on 3D spacetimes other than Minkowski space, such as S{sup 1}×S{sup 2} and its universal covering space ℝ×S{sup 2}.

Using computational models to relate structural and functional brain connectivity

Czech Academy of Sciences Publication Activity Database

Hlinka, Jaroslav; Coombes, S.

2012-01-01

Roč. 36, č. 2 (2012), s. 2137-2145 ISSN 0953-816X R&D Projects: GA MŠk 7E08027 EU Projects: European Commission(XE) 200728 - BRAINSYNC Institutional research plan: CEZ:AV0Z10300504 Keywords : brain disease * computational modelling * functional connectivity * graph theory * structural connectivity Subject RIV: FH - Neurology Impact factor: 3.753, year: 2012

Lattice guage theories on a hypercube computer

International Nuclear Information System (INIS)

Otto, S.W.

1984-01-01

A report on the parallel computer effort underway at Caltech and the use of these machines for lattice gauge theories is given. The computational requirements of the Monte Carlos are, of course, enormous, so high Mflops (Million floating point operations per second) and large memories are required. Various calculations on the machines in regards to their programmability (a non-trivial issue on a parallel computer) and their efficiency in usage of the machine are discussed

Communication: An exact bound on the bridge function in integral equation theories.

Science.gov (United States)

Kast, Stefan M; Tomazic, Daniel

2012-11-07

We show that the formal solution of the general closure relation occurring in Ornstein-Zernike-type integral equation theories in terms of the Lambert W function leads to an exact relation between the bridge function and correlation functions, most notably to an inequality that bounds possible bridge values. The analytical results are illustrated on the example of the Lennard-Jones fluid for which the exact bridge function is known from computer simulations under various conditions. The inequality has consequences for the development of bridge function models and rationalizes numerical convergence issues.

SOFSEM 2009: Theory and Practice of Computer Science

DEFF Research Database (Denmark)

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully...... reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification....

Dictionary criticism and lexicographical function theory

DEFF Research Database (Denmark)

Tarp, Sven

2017-01-01

This contribution discusses dictionary criticism in the light of the function theory. It starts analyzing the objective of dictionary criticism and lists eight of the most important purposes with which criticism has been made by supporters of the function theory. It then discusses the two main...... types of dictionary criticism, namely criticism of other authors’ dictionaries and self-criticism of one’s own dictionaries. Based on this discussion, it proceeds to a definition of the concept of dictionary criticism which is above all considered a theory-based activity, the outcome of which may...... by the supporters of the function theory, and the way it could be presented in order to create debate. Finally, the contribution indicates the important role dictionary criticism has had in the development of the function theory and endorses an open and critical discussion culture within lexicography....

Time-dependent transport of energetic particles in magnetic turbulence: computer simulations versus analytical theory

Science.gov (United States)

Arendt, V.; Shalchi, A.

2018-06-01

We explore numerically the transport of energetic particles in a turbulent magnetic field configuration. A test-particle code is employed to compute running diffusion coefficients as well as particle distribution functions in the different directions of space. Our numerical findings are compared with models commonly used in diffusion theory such as Gaussian distribution functions and solutions of the cosmic ray Fokker-Planck equation. Furthermore, we compare the running diffusion coefficients across the mean magnetic field with solutions obtained from the time-dependent version of the unified non-linear transport theory. In most cases we find that particle distribution functions are indeed of Gaussian form as long as a two-component turbulence model is employed. For turbulence setups with reduced dimensionality, however, the Gaussian distribution can no longer be obtained. It is also shown that the unified non-linear transport theory agrees with simulated perpendicular diffusion coefficients as long as the pure two-dimensional model is excluded.

Configurational forces in electronic structure calculations using Kohn-Sham density functional theory

Science.gov (United States)

Motamarri, Phani; Gavini, Vikram

2018-04-01

We derive the expressions for configurational forces in Kohn-Sham density functional theory, which correspond to the generalized variational force computed as the derivative of the Kohn-Sham energy functional with respect to the position of a material point x . These configurational forces that result from the inner variations of the Kohn-Sham energy functional provide a unified framework to compute atomic forces as well as stress tensor for geometry optimization. Importantly, owing to the variational nature of the formulation, these configurational forces inherently account for the Pulay corrections. The formulation presented in this work treats both pseudopotential and all-electron calculations in a single framework, and employs a local variational real-space formulation of Kohn-Sham density functional theory (DFT) expressed in terms of the nonorthogonal wave functions that is amenable to reduced-order scaling techniques. We demonstrate the accuracy and performance of the proposed configurational force approach on benchmark all-electron and pseudopotential calculations conducted using higher-order finite-element discretization. To this end, we examine the rates of convergence of the finite-element discretization in the computed forces and stresses for various materials systems, and, further, verify the accuracy from finite differencing the energy. Wherever applicable, we also compare the forces and stresses with those obtained from Kohn-Sham DFT calculations employing plane-wave basis (pseudopotential calculations) and Gaussian basis (all-electron calculations). Finally, we verify the accuracy of the forces on large materials systems involving a metallic aluminum nanocluster containing 666 atoms and an alkane chain containing 902 atoms, where the Kohn-Sham electronic ground state is computed using a reduced-order scaling subspace projection technique [P. Motamarri and V. Gavini, Phys. Rev. B 90, 115127 (2014), 10.1103/PhysRevB.90.115127].

Four-point correlation function of stress-energy tensors in N=4 superconformal theories

CERN Document Server

Korchemsky, G P

2015-01-01

We derive the explicit expression for the four-point correlation function of stress-energy tensors in four-dimensional N=4 superconformal theory. We show that it has a remarkably simple and suggestive form allowing us to predict a large class of four-point correlation functions involving the stress-energy tensor and other conserved currents. We then apply the obtained results on the correlation functions to computing the energy-energy correlations, which measure the flow of energy in the final states created from the vacuum by a source. We demonstrate that they are given by a universal function independent of the choice of the source. Our analysis relies only on N=4 superconformal symmetry and does not use the dynamics of the theory.

Algebraic computability and enumeration models recursion theory and descriptive complexity

CERN Document Server

Nourani, Cyrus F

2016-01-01

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic type...

Density-functional theory simulation of large quantum dots

Science.gov (United States)

Jiang, Hong; Baranger, Harold U.; Yang, Weitao

2003-10-01

Kohn-Sham spin-density functional theory provides an efficient and accurate model to study electron-electron interaction effects in quantum dots, but its application to large systems is a challenge. Here an efficient method for the simulation of quantum dots using density-function theory is developed; it includes the particle-in-the-box representation of the Kohn-Sham orbitals, an efficient conjugate-gradient method to directly minimize the total energy, a Fourier convolution approach for the calculation of the Hartree potential, and a simplified multigrid technique to accelerate the convergence. We test the methodology in a two-dimensional model system and show that numerical studies of large quantum dots with several hundred electrons become computationally affordable. In the noninteracting limit, the classical dynamics of the system we study can be continuously varied from integrable to fully chaotic. The qualitative difference in the noninteracting classical dynamics has an effect on the quantum properties of the interacting system: integrable classical dynamics leads to higher-spin states and a broader distribution of spacing between Coulomb blockade peaks.

Implications of Information Theory for Computational Modeling of Schizophrenia.

Science.gov (United States)

Silverstein, Steven M; Wibral, Michael; Phillips, William A

2017-10-01

Information theory provides a formal framework within which information processing and its disorders can be described. However, information theory has rarely been applied to modeling aspects of the cognitive neuroscience of schizophrenia. The goal of this article is to highlight the benefits of an approach based on information theory, including its recent extensions, for understanding several disrupted neural goal functions as well as related cognitive and symptomatic phenomena in schizophrenia. We begin by demonstrating that foundational concepts from information theory-such as Shannon information, entropy, data compression, block coding, and strategies to increase the signal-to-noise ratio-can be used to provide novel understandings of cognitive impairments in schizophrenia and metrics to evaluate their integrity. We then describe more recent developments in information theory, including the concepts of infomax, coherent infomax, and coding with synergy, to demonstrate how these can be used to develop computational models of schizophrenia-related failures in the tuning of sensory neurons, gain control, perceptual organization, thought organization, selective attention, context processing, predictive coding, and cognitive control. Throughout, we demonstrate how disordered mechanisms may explain both perceptual/cognitive changes and symptom emergence in schizophrenia. Finally, we demonstrate that there is consistency between some information-theoretic concepts and recent discoveries in neurobiology, especially involving the existence of distinct sites for the accumulation of driving input and contextual information prior to their interaction. This convergence can be used to guide future theory, experiment, and treatment development.

A (time-dependent) density functional theory study of the optoelectronic properties of bis-triisopropylsilylethynyl-functionalized acenes

International Nuclear Information System (INIS)

Malloci, G.; Cappellini, G.; Mulas, G.; Mattoni, A.

2013-01-01

We report a comparative study of the optoelectronic properties of small acenes (benzene, anthracene, and pentacene) and their bis-triisopropylsilylethynyl (TIPS) functionalized counterparts. We computed the fundamental gap using density functional theory (DFT) in the framework of the ΔSCF scheme, and the optical absorption spectra by means of time-dependent DFT. Upon TIPS functionalization we observed a lowering of the ionization energy and a rise of the electron affinity; we consequently predict a systematic reduction of the fundamental electronic gap which decreases from ∼ 40% for benzene to ∼ 16% for pentacene. This trend is reflected in the computed optical absorption spectra: for all TIPS-molecules the onset of absorption is red-shifted as compared to their plain precursors. In the case of TIPS-pentacene, in particular, the computed spectrum agrees with the available experimental data. - Highlights: • We evaluate the effect of triisopropylsilylethynyl (TIPS)-substitution on acenes. • We compared the fundamental gap and the optical absorption as a function of size. • We found a general gap reduction following TIPS functionalization. • The gap reduction decreases at increasing size, from 40% for n = 1 to 16% for n = 5. • The onset of absorption is red-shifted as compared to TIPS precursors

A (time-dependent) density functional theory study of the optoelectronic properties of bis-triisopropylsilylethynyl-functionalized acenes

Energy Technology Data Exchange (ETDEWEB)

Malloci, G., E-mail: giuliano.malloci@dsf.unica.it [Istituto Officina dei Materiali (CNR-IOM), Unità di Cagliari, Cittadella Universitaria, I-09042 Monserrato (Italy); Cappellini, G. [Istituto Officina dei Materiali (CNR-IOM), Unità di Cagliari, Cittadella Universitaria, I-09042 Monserrato (Italy); Dipartimento di Fisica, Università degli Studi di Cagliari, Cittadella Universitaria, I-09042 Monserrato (Italy); Mulas, G. [INAF-Osservatorio Astronomico di Cagliari, Strada 54, Località Poggio dei Pini, I-09012 Capoterra (Italy); Mattoni, A. [Istituto Officina dei Materiali (CNR-IOM), Unità di Cagliari, Cittadella Universitaria, I-09042 Monserrato (Italy)

2013-09-30

We report a comparative study of the optoelectronic properties of small acenes (benzene, anthracene, and pentacene) and their bis-triisopropylsilylethynyl (TIPS) functionalized counterparts. We computed the fundamental gap using density functional theory (DFT) in the framework of the ΔSCF scheme, and the optical absorption spectra by means of time-dependent DFT. Upon TIPS functionalization we observed a lowering of the ionization energy and a rise of the electron affinity; we consequently predict a systematic reduction of the fundamental electronic gap which decreases from ∼ 40% for benzene to ∼ 16% for pentacene. This trend is reflected in the computed optical absorption spectra: for all TIPS-molecules the onset of absorption is red-shifted as compared to their plain precursors. In the case of TIPS-pentacene, in particular, the computed spectrum agrees with the available experimental data. - Highlights: • We evaluate the effect of triisopropylsilylethynyl (TIPS)-substitution on acenes. • We compared the fundamental gap and the optical absorption as a function of size. • We found a general gap reduction following TIPS functionalization. • The gap reduction decreases at increasing size, from 40% for n = 1 to 16% for n = 5. • The onset of absorption is red-shifted as compared to TIPS precursors.

Functional analysis, spectral theory, and applications

CERN Document Server

Einsiedler, Manfred

2017-01-01

This textbook provides a careful treatment of functional analysis and some of its applications in analysis, number theory, and ergodic theory. In addition to discussing core material in functional analysis, the authors cover more recent and advanced topics, including Weyl’s law for eigenfunctions of the Laplace operator, amenability and property (T), the measurable functional calculus, spectral theory for unbounded operators, and an account of Tao’s approach to the prime number theorem using Banach algebras. The book further contains numerous examples and exercises, making it suitable for both lecture courses and self-study. Functional Analysis, Spectral Theory, and Applications is aimed at postgraduate and advanced undergraduate students with some background in analysis and algebra, but will also appeal to everyone with an interest in seeing how functional analysis can be applied to other parts of mathematics.

Density-functional theory for internal magnetic fields

Science.gov (United States)

Tellgren, Erik I.

2018-01-01

A density-functional theory is developed based on the Maxwell-Schrödinger equation with an internal magnetic field in addition to the external electromagnetic potentials. The basic variables of this theory are the electron density and the total magnetic field, which can equivalently be represented as a physical current density. Hence, the theory can be regarded as a physical current density-functional theory and an alternative to the paramagnetic current density-functional theory due to Vignale and Rasolt. The energy functional has strong enough convexity properties to allow a formulation that generalizes Lieb's convex analysis formulation of standard density-functional theory. Several variational principles as well as a Hohenberg-Kohn-like mapping between potentials and ground-state densities follow from the underlying convex structure. Moreover, the energy functional can be regarded as the result of a standard approximation technique (Moreau-Yosida regularization) applied to the conventional Schrödinger ground-state energy, which imposes limits on the maximum curvature of the energy (with respect to the magnetic field) and enables construction of a (Fréchet) differentiable universal density functional.

The exact $C$-function in integrable $\\lambda$-deformed theories arXiv

CERN Document Server

Georgiou, George; Sagkrioti, Eftychia; Sfetsos, Konstantinos; Siampos, Konstantinos

By employing CFT techniques, we show how to compute in the context of \\lambda-deformations of current algebras and coset CFTs the exact in the deformation parameters C-function for a wide class of integrable theories that interpolate between a UV and an IR point. We explicitly consider RG flows for integrable deformations of left-right asymmetric current algebras and coset CFTs. In all cases, the derived exact C-functions obey all the properties asserted by Zamolodchikov's c-theorem in two-dimensions.

Simulation of electron energy loss spectra of nanomaterials with linear-scaling density functional theory

International Nuclear Information System (INIS)

Tait, E W; Payne, M C; Ratcliff, L E; Haynes, P D; Hine, N D M

2016-01-01

Experimental techniques for electron energy loss spectroscopy (EELS) combine high energy resolution with high spatial resolution. They are therefore powerful tools for investigating the local electronic structure of complex systems such as nanostructures, interfaces and even individual defects. Interpretation of experimental electron energy loss spectra is often challenging and can require theoretical modelling of candidate structures, which themselves may be large and complex, beyond the capabilities of traditional cubic-scaling density functional theory. In this work, we present functionality to compute electron energy loss spectra within the onetep linear-scaling density functional theory code. We first demonstrate that simulated spectra agree with those computed using conventional plane wave pseudopotential methods to a high degree of precision. The ability of onetep to tackle large problems is then exploited to investigate convergence of spectra with respect to supercell size. Finally, we apply the novel functionality to a study of the electron energy loss spectra of defects on the (1 0 1) surface of an anatase slab and determine concentrations of defects which might be experimentally detectable. (paper)

Distributed computer systems theory and practice

CERN Document Server

Zedan, H S M

2014-01-01

Distributed Computer Systems: Theory and Practice is a collection of papers dealing with the design and implementation of operating systems, including distributed systems, such as the amoeba system, argus, Andrew, and grapevine. One paper discusses the concepts and notations for concurrent programming, particularly language notation used in computer programming, synchronization methods, and also compares three classes of languages. Another paper explains load balancing or load redistribution to improve system performance, namely, static balancing and adaptive load balancing. For program effici

Second-Order Perturbation Theory for Generalized Active Space Self-Consistent-Field Wave Functions.

Science.gov (United States)

Ma, Dongxia; Li Manni, Giovanni; Olsen, Jeppe; Gagliardi, Laura

2016-07-12

A multireference second-order perturbation theory approach based on the generalized active space self-consistent-field (GASSCF) wave function is presented. Compared with the complete active space (CAS) and restricted active space (RAS) wave functions, GAS wave functions are more flexible and can employ larger active spaces and/or different truncations of the configuration interaction expansion. With GASSCF, one can explore chemical systems that are not affordable with either CASSCF or RASSCF. Perturbation theory to second order on top of GAS wave functions (GASPT2) has been implemented to recover the remaining electron correlation. The method has been benchmarked by computing the chromium dimer ground-state potential energy curve. These calculations show that GASPT2 gives results similar to CASPT2 even with a configuration interaction expansion much smaller than the corresponding CAS expansion.

ONETEP: linear-scaling density-functional theory with plane-waves

International Nuclear Information System (INIS)

Haynes, P D; Mostof, A A; Skylaris, C-K; Payne, M C

2006-01-01

This paper provides a general overview of the methodology implemented in onetep (Order-N Electronic Total Energy Package), a parallel density-functional theory code for largescale first-principles quantum-mechanical calculations. The distinctive features of onetep are linear-scaling in both computational effort and resources, obtained by making well-controlled approximations which enable simulations to be performed with plane-wave accuracy. Titanium dioxide clusters of increasing size designed to mimic surfaces are studied to demonstrate the accuracy and scaling of onetep

Plato: A localised orbital based density functional theory code

Science.gov (United States)

Kenny, S. D.; Horsfield, A. P.

2009-12-01

The Plato package allows both orthogonal and non-orthogonal tight-binding as well as density functional theory (DFT) calculations to be performed within a single framework. The package also provides extensive tools for analysing the results of simulations as well as a number of tools for creating input files. The code is based upon the ideas first discussed in Sankey and Niklewski (1989) [1] with extensions to allow high-quality DFT calculations to be performed. DFT calculations can utilise either the local density approximation or the generalised gradient approximation. Basis sets from minimal basis through to ones containing multiple radial functions per angular momenta and polarisation functions can be used. Illustrations of how the package has been employed are given along with instructions for its utilisation. Program summaryProgram title: Plato Catalogue identifier: AEFC_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEFC_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 219 974 No. of bytes in distributed program, including test data, etc.: 1 821 493 Distribution format: tar.gz Programming language: C/MPI and PERL Computer: Apple Macintosh, PC, Unix machines Operating system: Unix, Linux and Mac OS X Has the code been vectorised or parallelised?: Yes, up to 256 processors tested RAM: Up to 2 Gbytes per processor Classification: 7.3 External routines: LAPACK, BLAS and optionally ScaLAPACK, BLACS, PBLAS, FFTW Nature of problem: Density functional theory study of electronic structure and total energies of molecules, crystals and surfaces. Solution method: Localised orbital based density functional theory. Restrictions: Tight-binding and density functional theory only, no exact exchange. Unusual features: Both atom centred and uniform meshes available

Quantum spin correction scheme based on spin-correlation functional for Kohn-Sham spin density functional theory

International Nuclear Information System (INIS)

Yamanaka, Shusuke; Takeda, Ryo; Nakata, Kazuto; Takada, Toshikazu; Shoji, Mitsuo; Kitagawa, Yasutaka; Yamaguchi, Kizashi

2007-01-01

We present a simple quantum correction scheme for ab initio Kohn-Sham spin density functional theory (KS-SDFT). This scheme is based on a mapping from ab initio results to a Heisenberg model Hamiltonian. The effective exchange integral is estimated by using energies and spin correlation functionals calculated by ab initio KS-SDFT. The quantum-corrected spin-correlation functional is open to be designed to cover specific quantum spin fluctuations. In this article, we present a simple correction for dinuclear compounds having multiple bonds. The computational results are discussed in relation to multireference (MR) DFT, by which we treat the quantum many-body effects explicitly

Simulation of X-ray absorption spectra with orthogonality constrained density functional theory.

Science.gov (United States)

Derricotte, Wallace D; Evangelista, Francesco A

2015-06-14

Orthogonality constrained density functional theory (OCDFT) [F. A. Evangelista, P. Shushkov and J. C. Tully, J. Phys. Chem. A, 2013, 117, 7378] is a variational time-independent approach for the computation of electronic excited states. In this work we extend OCDFT to compute core-excited states and generalize the original formalism to determine multiple excited states. Benchmark computations on a set of 13 small molecules and 40 excited states show that unshifted OCDFT/B3LYP excitation energies have a mean absolute error of 1.0 eV. Contrary to time-dependent DFT, OCDFT excitation energies for first- and second-row elements are computed with near-uniform accuracy. OCDFT core excitation energies are insensitive to the choice of the functional and the amount of Hartree-Fock exchange. We show that OCDFT is a powerful tool for the assignment of X-ray absorption spectra of large molecules by simulating the gas-phase near-edge spectrum of adenine and thymine.

Towards a general theory of neural computation based on prediction by single neurons.

Directory of Open Access Journals (Sweden)

Christopher D Fiorillo

Full Text Available Although there has been tremendous progress in understanding the mechanics of the nervous system, there has not been a general theory of its computational function. Here I present a theory that relates the established biophysical properties of single generic neurons to principles of Bayesian probability theory, reinforcement learning and efficient coding. I suggest that this theory addresses the general computational problem facing the nervous system. Each neuron is proposed to mirror the function of the whole system in learning to predict aspects of the world related to future reward. According to the model, a typical neuron receives current information about the state of the world from a subset of its excitatory synaptic inputs, and prior information from its other inputs. Prior information would be contributed by synaptic inputs representing distinct regions of space, and by different types of non-synaptic, voltage-regulated channels representing distinct periods of the past. The neuron's membrane voltage is proposed to signal the difference between current and prior information ("prediction error" or "surprise". A neuron would apply a Hebbian plasticity rule to select those excitatory inputs that are the most closely correlated with reward but are the least predictable, since unpredictable inputs provide the neuron with the most "new" information about future reward. To minimize the error in its predictions and to respond only when excitation is "new and surprising," the neuron selects amongst its prior information sources through an anti-Hebbian rule. The unique inputs of a mature neuron would therefore result from learning about spatial and temporal patterns in its local environment, and by extension, the external world. Thus the theory describes how the structure of the mature nervous system could reflect the structure of the external world, and how the complexity and intelligence of the system might develop from a population of

Density functional theory of nuclei

International Nuclear Information System (INIS)

Terasaki, Jun

2008-01-01

The density functional theory of nuclei has come to draw attention of scientists in the field of nuclear structure because the theory is expected to provide reliable numerical data in wide range on the nuclear chart. This article is organized to present an overview of the theory to the people engaged in the theory of other fields as well as those people in the nuclear physics experiments. At first, the outline of the density functional theory widely used in the electronic systems (condensed matter, atoms, and molecules) was described starting from the Kohn-Sham equation derived on the variational principle. Then the theory used in the field of nuclear physics was presented. Hartree-Fock and Hartree-Fock-Bogolyubov approximation by using Skyrme interaction was explained. Comparison of the results of calculations and experiments of binding energies and ground state mean square charge radii of some magic number nuclei were shown. The similarity and dissimilarity between the two streams were summarized. Finally the activities of the international project of Universal Nuclear Energy Density Functional (UNEDF) which was started recently lead by US scientist was reported. This project is programmed for five years. One of the applications of the project is the calculation of the neutron capture cross section of nuclei on the r-process, which is absolutely necessary for the nucleosynthesis research. (S. Funahashi)

Computers and languages theory and practice

CERN Document Server

Nijholt, A

1988-01-01

A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal languages.Throughout the book attention is paid to the social forces which influenced the development of the various topics. Also illustrated are the development of the theory of language analysis, its role in compiler construction, and its role in computer applications with a natural language interface between men and machine. Parts of the ma

Radical scavenging activity of some natural tropolones by density functional theory

Directory of Open Access Journals (Sweden)

A. G. Al-Sehemi

2017-07-01

Full Text Available The ground state neutral geometries of some natural tropolones, i.e. stipitatonic acid (AF1, stipitalide (AF2, stipitaldehydic acid (AF3 and methyl stipitate (AF4 have been optimized by using Density Functional Theory (DFT at B3LYP/6-31G*, B3LYP/6-31G**, B3LYP/6-31+G* and B3LYP/6-31+G** levels of theory. The excited state geometries of AF1-AF4 were optimized by adopting the Time Dependent Density Functional Theory (TDDFT at the same levels of theory. The frequencies and cation species of AF1-AF4 were also computed at all the above mentioned levels of theory. We shed light on the electro-optical and molecular properties, e.g. energy gaps, highest occupied molecular orbitals, lowest unoccupied molecular orbitals, absorption wavelengths, electronegativity (χ, hardness (η, electrophilicity (ω, softness (S, electrophilicity index (ωi and the radical scavenging activity (RSA. Hydrogen atom transfer (HAT and one-electron transfer mechanisms have been discussed to shed light on the RSA. The smallest ionization potential and bond dissociation energy of AF4 are revealing that this compound would have more RSA than those of other counterparts.

What Communication Theories Can Teach the Designer of Computer-Based Training.

Science.gov (United States)

Larsen, Ronald E.

1985-01-01

Reviews characteristics of computer-based training (CBT) that make application of communication theories appropriate and presents principles from communication theory (e.g., general systems theory, symbolic interactionism, rule theories, and interpersonal communication theories) to illustrate how CBT developers can profitably apply them to…

Unsteady Thick Airfoil Aerodynamics: Experiments, Computation, and Theory

Science.gov (United States)

Strangfeld, C.; Rumsey, C. L.; Mueller-Vahl, H.; Greenblatt, D.; Nayeri, C. N.; Paschereit, C. O.

2015-01-01

An experimental, computational and theoretical investigation was carried out to study the aerodynamic loads acting on a relatively thick NACA 0018 airfoil when subjected to pitching and surging, individually and synchronously. Both pre-stall and post-stall angles of attack were considered. Experiments were carried out in a dedicated unsteady wind tunnel, with large surge amplitudes, and airfoil loads were estimated by means of unsteady surface mounted pressure measurements. Theoretical predictions were based on Theodorsen's and Isaacs' results as well as on the relatively recent generalizations of van der Wall. Both two- and three-dimensional computations were performed on structured grids employing unsteady Reynolds-averaged Navier-Stokes (URANS). For pure surging at pre-stall angles of attack, the correspondence between experiments and theory was satisfactory; this served as a validation of Isaacs theory. Discrepancies were traced to dynamic trailing-edge separation, even at low angles of attack. Excellent correspondence was found between experiments and theory for airfoil pitching as well as combined pitching and surging; the latter appears to be the first clear validation of van der Wall's theoretical results. Although qualitatively similar to experiment at low angles of attack, two-dimensional URANS computations yielded notable errors in the unsteady load effects of pitching, surging and their synchronous combination. The main reason is believed to be that the URANS equations do not resolve wake vorticity (explicitly modeled in the theory) or the resulting rolled-up un- steady flow structures because high values of eddy viscosity tend to \\smear" the wake. At post-stall angles, three-dimensional computations illustrated the importance of modeling the tunnel side walls.

Algebraic computing program for studying the gauge theory

International Nuclear Information System (INIS)

Zet, G.

2005-01-01

An algebraic computing program running on Maple V platform is presented. The program is devoted to the study of the gauge theory with an internal Lie group as local symmetry. The physical quantities (gauge potentials, strength tensors, dual tensors etc.) are introduced either as equations in terms of previous defined quantities (tensors), or by manual entry of the component values. The components of the strength tensor and of its dual are obtained with respect to a given metric of the space-time used for describing the gauge theory. We choose a Minkowski space-time endowed with spherical symmetry and give some example of algebraic computing that are adequate for studying electroweak or gravitational interactions. The field equations are also obtained and their solutions are determined using the DEtools facilities of the Maple V computing program. (author)

Potential-functional embedding theory for molecules and materials.

Science.gov (United States)

Huang, Chen; Carter, Emily A

2011-11-21

We introduce a potential-functional embedding theory by reformulating a recently proposed density-based embedding theory in terms of functionals of the embedding potential. This potential-functional based theory completes the dual problem in the context of embedding theory for which density-functional embedding theory has existed for two decades. With this potential-functional formalism, it is straightforward to solve for the unique embedding potential shared by all subsystems. We consider charge transfer between subsystems and discuss how to treat fractional numbers of electrons in subsystems. We show that one is able to employ different energy functionals for different subsystems in order to treat different regions with theories of different levels of accuracy, if desired. The embedding potential is solved for by directly minimizing the total energy functional, and we discuss how to efficiently calculate the gradient of the total energy functional with respect to the embedding potential. Forces are also derived, thereby making it possible to optimize structures and account for nuclear dynamics. We also extend the theory to spin-polarized cases. Numerical examples of the theory are given for some homo- and hetero-nuclear diatomic molecules and a more complicated test of a six-hydrogen-atom chain. We also test our theory in a periodic bulk environment with calculations of basic properties of bulk NaCl, by treating each atom as a subsystem. Finally, we demonstrate the theory for water adsorption on the MgO(001)surface.

Complex-energy approach to sum rules within nuclear density functional theory

Science.gov (United States)

Hinohara, Nobuo; Kortelainen, Markus; Nazarewicz, Witold; Olsen, Erik

2015-04-01

Background: The linear response of the nucleus to an external field contains unique information about the effective interaction, the correlations governing the behavior of the many-body system, and the properties of its excited states. To characterize the response, it is useful to use its energy-weighted moments, or sum rules. By comparing computed sum rules with experimental values, the information content of the response can be utilized in the optimization process of the nuclear Hamiltonian or the nuclear energy density functional (EDF). But the additional information comes at a price: compared to the ground state, computation of excited states is more demanding. Purpose: To establish an efficient framework to compute energy-weighted sum rules of the response that is adaptable to the optimization of the nuclear EDF and large-scale surveys of collective strength, we have developed a new technique within the complex-energy finite-amplitude method (FAM) based on the quasiparticle random-phase approximation (QRPA). Methods: To compute sum rules, we carry out contour integration of the response function in the complex-energy plane. We benchmark our results against the conventional matrix formulation of the QRPA theory, the Thouless theorem for the energy-weighted sum rule, and the dielectric theorem for the inverse-energy-weighted sum rule. Results: We derive the sum-rule expressions from the contour integration of the complex-energy FAM. We demonstrate that calculated sum-rule values agree with those obtained from the matrix formulation of the QRPA. We also discuss the applicability of both the Thouless theorem about the energy-weighted sum rule and the dielectric theorem for the inverse-energy-weighted sum rule to nuclear density functional theory in cases when the EDF is not based on a Hamiltonian. Conclusions: The proposed sum-rule technique based on the complex-energy FAM is a tool of choice when optimizing effective interactions or energy functionals. The method

Density functional theory

International Nuclear Information System (INIS)

Das, M.P.

1984-07-01

The state of the art of the density functional formalism (DFT) is reviewed. The theory is quantum statistical in nature; its simplest version is the well-known Thomas-Fermi theory. The DFT is a powerful formalism in which one can treat the effect of interactions in inhomogeneous systems. After some introductory material, the DFT is outlined from the two basic theorems, and various generalizations of the theorems appropriate to several physical situations are pointed out. Next, various approximations to the density functionals are presented and some practical schemes, discussed; the approximations include an electron gas of almost constant density and an electron gas of slowly varying density. Then applications of DFT in various diverse areas of physics (atomic systems, plasmas, liquids, nuclear matter) are mentioned, and its strengths and weaknesses are pointed out. In conclusion, more recent developments of DFT are indicated

Computational Phenotypes: Where the Theory of Computation Meets Evo-Devo

Directory of Open Access Journals (Sweden)

Sergio Balari

2009-03-01

Full Text Available This article argues that the Chomsky Hierarchy can be reinterpreted as a developmental morphospace constraining the evolution of a discrete and finite series of computational phenotypes. In doing so, the theory of Morphological Evolution as stated by Pere Alberch, a pioneering figure of Evo–Devo thinking, is adhered to.

Density functional theory

International Nuclear Information System (INIS)

Freyss, M.

2015-01-01

This chapter gives an introduction to first-principles electronic structure calculations based on the density functional theory (DFT). Electronic structure calculations have a crucial importance in the multi-scale modelling scheme of materials: not only do they enable one to accurately determine physical and chemical properties of materials, they also provide data for the adjustment of parameters (or potentials) in higher-scale methods such as classical molecular dynamics, kinetic Monte Carlo, cluster dynamics, etc. Most of the properties of a solid depend on the behaviour of its electrons, and in order to model or predict them it is necessary to have an accurate method to compute the electronic structure. DFT is based on quantum theory and does not make use of any adjustable or empirical parameter: the only input data are the atomic number of the constituent atoms and some initial structural information. The complicated many-body problem of interacting electrons is replaced by an equivalent single electron problem, in which each electron is moving in an effective potential. DFT has been successfully applied to the determination of structural or dynamical properties (lattice structure, charge density, magnetisation, phonon spectra, etc.) of a wide variety of solids. Its efficiency was acknowledged by the attribution of the Nobel Prize in Chemistry in 1998 to one of its authors, Walter Kohn. A particular attention is given in this chapter to the ability of DFT to model the physical properties of nuclear materials such as actinide compounds. The specificities of the 5f electrons of actinides will be presented, i.e., their more or less high degree of localisation around the nuclei and correlations. The limitations of the DFT to treat the strong 5f correlations are one of the main issues for the DFT modelling of nuclear fuels. Various methods that exist to better treat strongly correlated materials will finally be presented. (author)

Towards a Density Functional Theory Exchange-Correlation Functional able to describe localization/delocalization

Science.gov (United States)

Mattsson, Ann E.; Wills, John M.

2013-03-01

The inability to computationally describe the physics governing the properties of actinides and their alloys is the poster child of failure of existing Density Functional Theory exchange-correlation functionals. The intricate competition between localization and delocalization of the electrons, present in these materials, exposes the limitations of functionals only designed to properly describe one or the other situation. We will discuss the manifestation of this competition in real materials and propositions on how to construct a functional able to accurately describe properties of these materials. I addition we will discuss both the importance of using the Dirac equation to describe the relativistic effects in these materials, and the connection to the physics of transition metal oxides. Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-AC04-94AL85000.

Introduction to lattice theory with computer science applications

CERN Document Server

Garg, Vijay K

2015-01-01

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are written in the calculational style advocated by Dijkstra, with arguments explicitly spelled out step by step. The author's intent

Quantum chemistry simulation on quantum computers: theories and experiments.

Science.gov (United States)

Lu, Dawei; Xu, Boruo; Xu, Nanyang; Li, Zhaokai; Chen, Hongwei; Peng, Xinhua; Xu, Ruixue; Du, Jiangfeng

2012-07-14

It has been claimed that quantum computers can mimic quantum systems efficiently in the polynomial scale. Traditionally, those simulations are carried out numerically on classical computers, which are inevitably confronted with the exponential growth of required resources, with the increasing size of quantum systems. Quantum computers avoid this problem, and thus provide a possible solution for large quantum systems. In this paper, we first discuss the ideas of quantum simulation, the background of quantum simulators, their categories, and the development in both theories and experiments. We then present a brief introduction to quantum chemistry evaluated via classical computers followed by typical procedures of quantum simulation towards quantum chemistry. Reviewed are not only theoretical proposals but also proof-of-principle experimental implementations, via a small quantum computer, which include the evaluation of the static molecular eigenenergy and the simulation of chemical reaction dynamics. Although the experimental development is still behind the theory, we give prospects and suggestions for future experiments. We anticipate that in the near future quantum simulation will become a powerful tool for quantum chemistry over classical computations.

Cryptography and computational number theory

CERN Document Server

Shparlinski, Igor; Wang, Huaxiong; Xing, Chaoping; Workshop on Cryptography and Computational Number Theory, CCNT'99

2001-01-01

This volume contains the refereed proceedings of the Workshop on Cryptography and Computational Number Theory, CCNT'99, which has been held in Singapore during the week of November 22-26, 1999. The workshop was organized by the Centre for Systems Security of the Na­ tional University of Singapore. We gratefully acknowledge the financial support from the Singapore National Science and Technology Board under the grant num­ ber RP960668/M. The idea for this workshop grew out of the recognition of the recent, rapid development in various areas of cryptography and computational number the­ ory. The event followed the concept of the research programs at such well-known research institutions as the Newton Institute (UK), Oberwolfach and Dagstuhl (Germany), and Luminy (France). Accordingly, there were only invited lectures at the workshop with plenty of time for informal discussions. It was hoped and successfully achieved that the meeting would encourage and stimulate further research in information and computer s...

Software For Computing Selected Functions

Science.gov (United States)

Grant, David C.

1992-01-01

Technical memorandum presents collection of software packages in Ada implementing mathematical functions used in science and engineering. Provides programmer with function support in Pascal and FORTRAN, plus support for extended-precision arithmetic and complex arithmetic. Valuable for testing new computers, writing computer code, or developing new computer integrated circuits.

Recent computational chemistry

Energy Technology Data Exchange (ETDEWEB)

Onishi, Taku [Department of Chemistry for Materials, and The Center of Ultimate Technology on nano-Electronics, Mie University (Japan); Center for Theoretical and Computational Chemistry, Department of Chemistry, University of Oslo (Norway)

2015-12-31

Now we can investigate quantum phenomena for the real materials and molecules, and can design functional materials by computation, due to the previous developments of quantum theory and calculation methods. As there still exist the limit and problem in theory, the cooperation between theory and computation is getting more important to clarify the unknown quantum mechanism, and discover more efficient functional materials. It would be next-generation standard. Finally, our theoretical methodology for boundary solid is introduced.

Recent computational chemistry

International Nuclear Information System (INIS)

Onishi, Taku

2015-01-01

Now we can investigate quantum phenomena for the real materials and molecules, and can design functional materials by computation, due to the previous developments of quantum theory and calculation methods. As there still exist the limit and problem in theory, the cooperation between theory and computation is getting more important to clarify the unknown quantum mechanism, and discover more efficient functional materials. It would be next-generation standard. Finally, our theoretical methodology for boundary solid is introduced

Implementation of the equivalence theory inside the computational chain DRAGON/DONJON-NDF

International Nuclear Information System (INIS)

Dufour, P.

2005-01-01

The work accomplished in the scope of this master project consists in introducing the equivalence theory inside the computational schema DRAGON/DONJON-NDF. This theory takes into account the possible discontinuity of the homogeneous flux at the surfaces inside problems that involve an homogenisation procedure. To do it, the theory include new factors called discontinuity factors. These factors give, in theory, more exact solutions. Because we use the cell code DRAGON to generate all our homogeneous parameters we also used DRAGON to compute the heterogeneous surface fluxes which are essential to obtain the discontinuity factors. The project has been divided into two parts. The first part consists in computing the heterogeneous surface fluxes with the cell code DRAGON. For the second part of the project we have performed reactor computations using the code DONJON-NDF (over CANDU-6 geometry) with discontinuity factors and we have compared the results thus obtained with those computed without discontinuity factors.

Wigner functions and density matrices in curved spaces as computational tools

International Nuclear Information System (INIS)

Habib, S.; Kandrup, H.E.

1989-01-01

This paper contrasts two alternative approaches to statistical quantum field theory in curved spacetimes, namely (1) a canonical Hamiltonian approach, in which the basic object is a density matrix ρ characterizing the noncovariant, but globally defined, modes of the field; and (2) a Wigner function approach, in which the basic object is a Wigner function f defined quasilocally from the Hadamard, or correlation, function G 1 (x 1 , x 2 ). The key object is to isolate on the conceptual biases underlying each of these approaches and then to assess their utility and limitations in effecting concerete calculations. The following questions are therefore addressed and largely answered. What sort of spacetimes (e.g., de Sitter or Friedmann-Robertson-Walker) are comparatively eas to consider? What sorts of objects (e.g., average fields or renormalized stress energies) are easy to compute approximately? What, if anything, can be computed exactly? What approximations are intrinsic to each approach or convenient as computational tools? What sorts of ''field entropies'' are natural to define? copyright 1989 Academic Press, Inc

Joint density-functional theory and its application to systems in solution

Science.gov (United States)

Petrosyan, Sahak A.

The physics of solvation, the interaction of water with solutes, plays a central role in chemistry and biochemistry, and it is essential for the very existence of life. Despite the central importance of water and the advent of the quantum theory early in the twentieth century, the link between the fundamental laws of physics and the observable properties of water remain poorly understood to this day. The central goal of this thesis is to develop a new formalism and framework to make the study of systems (solutes or surfaces) in contact with liquid water as practical and accurate as standard electronic structure calculations without the need for explicit averaging over large ensembles of configurations of water molecules. The thesis introduces a new form of density functional theory for the ab initio description of electronic systems in contact with a molecular liquid environment. This theory rigorously joins an electron density-functional for the electrons of a solute with a classical density-functional theory for the liquid into a single variational principle for the free energy of the combined system. Using the new form of density-functional theory for the ab initio description of electronic systems in contact with a molecular liquid environment, the thesis then presents the first detailed study of the impact of a solvent on the surface chemistry of Cr2O3, the passivating layer of stainless steel alloys. In comparison to a vacuum, we predict that the presence of water has little impact on the adsorption of chloride ions to the oxygen-terminated surface but has a dramatic effect on the binding of hydrogen to that surface. A key ingredient of a successful joint density functional theory is a good approximate functional for describing the solvent. We explore how the simplest examples of the best known class of approximate forms for the classical density functional fail when applied directly to water. The thesis then presents a computationally efficient density-functional

Optimizing Computer Assisted Instruction By Applying Principles of Learning Theory.

Science.gov (United States)

Edwards, Thomas O.

The development of learning theory and its application to computer-assisted instruction (CAI) are described. Among the early theoretical constructs thought to be important are E. L. Thorndike's concept of learning connectisms, Neal Miller's theory of motivation, and B. F. Skinner's theory of operant conditioning. Early devices incorporating those…

Dynamical density functional theory for dense atomic liquids

International Nuclear Information System (INIS)

Archer, A J

2006-01-01

Starting from Newton's equations of motion, we derive a dynamical density functional theory (DDFT) applicable to atomic liquids. The theory has the feature that it requires as input the Helmholtz free energy functional from equilibrium density functional theory. This means that, given a reliable equilibrium free energy functional, the correct equilibrium fluid density profile is guaranteed. We show that when the isothermal compressibility is small, the DDFT generates the correct value for the speed of sound in a dense liquid. We also interpret the theory as a dynamical equation for a coarse grained fluid density and show that the theory can be used (making further approximations) to derive the standard mode coupling theory that is used to describe the glass transition. The present theory should provide a useful starting point for describing the dynamics of inhomogeneous atomic fluids

Thermodynamic and transport properties of nitrogen fluid: Molecular theory and computer simulations

Science.gov (United States)

Eskandari Nasrabad, A.; Laghaei, R.

2018-04-01

Computer simulations and various theories are applied to compute the thermodynamic and transport properties of nitrogen fluid. To model the nitrogen interaction, an existing potential in the literature is modified to obtain a close agreement between the simulation results and experimental data for the orthobaric densities. We use the Generic van der Waals theory to calculate the mean free volume and apply the results within the modified Cohen-Turnbull relation to obtain the self-diffusion coefficient. Compared to experimental data, excellent results are obtained via computer simulations for the orthobaric densities, the vapor pressure, the equation of state, and the shear viscosity. We analyze the results of the theory and computer simulations for the various thermophysical properties.

Applications of computed nuclear structure functions to inclusive scattering, R-ratios and their moments

International Nuclear Information System (INIS)

Rinat, A.S.

2000-01-01

We discuss applications of previously computed nuclear structure functions (SF) to inclusive cross sections, compare predictions with recent CEBAF data and perform two scaling tests. We mention that the large Q 2 plateau of scaling functions may only in part be due to the asymptotic limit of SF, which prevents the extraction of the nucleon momentum distribution in a model- independent way. We show that there may be sizable discrepancies between computed and semi-heuristic estimates of SF ratios. We compute ratios of moments of nuclear SF and show these to be in reasonable agreement with data. We speculate that an effective theory may underly the model for the nuclear SF, which produces overall agreement with several observables. (author)

Narrative theories as computational models: reader-oriented theory and artificial intelligence

Energy Technology Data Exchange (ETDEWEB)

Galloway, P.

1983-12-01

In view of the rapid development of reader-oriented theory and its interest in dynamic models of narrative, the author speculates in a serious way about what such models might look like in computational terms. Researchers in artificial intelligence (AI) have already begun to develop models of story understanding as the emphasis in ai research has shifted toward natural language understanding and as ai has allied itself with cognitive psychology and linguistics to become cognitive science. Research in ai and in narrative theory share many common interests and problems and both studies might benefit from an exchange of ideas. 11 references.

The 6th International Conference on Computer Science and Computational Mathematics (ICCSCM 2017)

Science.gov (United States)

2017-09-01

The ICCSCM 2017 (The 6th International Conference on Computer Science and Computational Mathematics) has aimed to provide a platform to discuss computer science and mathematics related issues including Algebraic Geometry, Algebraic Topology, Approximation Theory, Calculus of Variations, Category Theory; Homological Algebra, Coding Theory, Combinatorics, Control Theory, Cryptology, Geometry, Difference and Functional Equations, Discrete Mathematics, Dynamical Systems and Ergodic Theory, Field Theory and Polynomials, Fluid Mechanics and Solid Mechanics, Fourier Analysis, Functional Analysis, Functions of a Complex Variable, Fuzzy Mathematics, Game Theory, General Algebraic Systems, Graph Theory, Group Theory and Generalizations, Image Processing, Signal Processing and Tomography, Information Fusion, Integral Equations, Lattices, Algebraic Structures, Linear and Multilinear Algebra; Matrix Theory, Mathematical Biology and Other Natural Sciences, Mathematical Economics and Financial Mathematics, Mathematical Physics, Measure Theory and Integration, Neutrosophic Mathematics, Number Theory, Numerical Analysis, Operations Research, Optimization, Operator Theory, Ordinary and Partial Differential Equations, Potential Theory, Real Functions, Rings and Algebras, Statistical Mechanics, Structure Of Matter, Topological Groups, Wavelets and Wavelet Transforms, 3G/4G Network Evolutions, Ad-Hoc, Mobile, Wireless Networks and Mobile Computing, Agent Computing & Multi-Agents Systems, All topics related Image/Signal Processing, Any topics related Computer Networks, Any topics related ISO SC-27 and SC- 17 standards, Any topics related PKI(Public Key Intrastructures), Artifial Intelligences(A.I.) & Pattern/Image Recognitions, Authentication/Authorization Issues, Biometric authentication and algorithms, CDMA/GSM Communication Protocols, Combinatorics, Graph Theory, and Analysis of Algorithms, Cryptography and Foundation of Computer Security, Data Base(D.B.) Management & Information

Extended screened exchange functional derived from transcorrelated density functional theory.

Science.gov (United States)

Umezawa, Naoto

2017-09-14

We propose a new formulation of the correlation energy functional derived from the transcorrelated method in use in density functional theory (TC-DFT). An effective Hamiltonian, H TC , is introduced by a similarity transformation of a many-body Hamiltonian, H, with respect to a complex function F: H TC =1FHF. It is proved that an expectation value of H TC for a normalized single Slater determinant, D n , corresponds to the total energy: E[n] = ⟨Ψ n |H|Ψ n ⟩/⟨Ψ n |Ψ n ⟩ = ⟨D n |H TC |D n ⟩ under the two assumptions: (1) The electron density nr associated with a trial wave function Ψ n = D n F is v-representable and (2) Ψ n and D n give rise to the same electron density nr. This formulation, therefore, provides an alternative expression of the total energy that is useful for the development of novel correlation energy functionals. By substituting a specific function for F, we successfully derived a model correlation energy functional, which resembles the functional form of the screened exchange method. The proposed functional, named the extended screened exchange (ESX) functional, is described within two-body integrals and is parametrized for a numerically exact correlation energy of the homogeneous electron gas. The ESX functional does not contain any ingredients of (semi-)local functionals and thus is totally free from self-interactions. The computational cost for solving the self-consistent-field equation is comparable to that of the Hartree-Fock method. We apply the ESX functional to electronic structure calculations for a solid silicon, H - ion, and small atoms. The results demonstrate that the TC-DFT formulation is promising for the systematic improvement of the correlation energy functional.

L-Asparagine crystals with wide gap semiconductor features: optical absorption measurements and density functional theory computations.

Science.gov (United States)

Zanatta, G; Gottfried, C; Silva, A M; Caetano, E W S; Sales, F A M; Freire, V N

2014-03-28

Results of optical absorption measurements are presented together with calculated structural, electronic, and optical properties for the anhydrous monoclinic L-asparagine crystal. Density functional theory (DFT) within the generalized gradient approximation (GGA) including dispersion effects (TS, Grimme) was employed to perform the calculations. The optical absorption measurements revealed that the anhydrous monoclinic L-asparagine crystal is a wide band gap material with 4.95 eV main gap energy. DFT-GGA+TS simulations, on the other hand, produced structural parameters in very good agreement with X-ray data. The lattice parameter differences Δa, Δb, Δc between theory and experiment were as small as 0.020, 0.051, and 0.022 Å, respectively. The calculated band gap energy is smaller than the experimental data by about 15%, with a 4.23 eV indirect band gap corresponding to Z → Γ and Z → β transitions. Three other indirect band gaps of 4.30 eV, 4.32 eV, and 4.36 eV are assigned to α3 → Γ, α1 → Γ, and α2 → Γ transitions, respectively. Δ-sol computations, on the other hand, predict a main band gap of 5.00 eV, just 50 meV above the experimental value. Electronic wavefunctions mainly originating from O 2p-carboxyl, C 2p-side chain, and C 2p-carboxyl orbitals contribute most significantly to the highest valence and lowest conduction energy bands, respectively. By varying the lattice parameters from their converged equilibrium values, we show that the unit cell is less stiff along the b direction than for the a and c directions. Effective mass calculations suggest that hole transport behavior is more anisotropic than electron transport, but the mass values allow for some charge mobility except along a direction perpendicular to the molecular layers of L-asparagine which form the crystal, so anhydrous monoclinic L-asparagine crystals could behave as wide gap semiconductors. Finally, the calculations point to a high degree of optical

L-asparagine crystals with wide gap semiconductor features: Optical absorption measurements and density functional theory computations

Energy Technology Data Exchange (ETDEWEB)

Zanatta, G.; Gottfried, C. [Departamento de Bioquímica, Universidade Federal do Rio Grande do Sul, 90035-003 Porto Alegre-RS (Brazil); Silva, A. M. [Universidade Estadual do Piauí, 64260-000 Piripiri-Pi (Brazil); Caetano, E. W. S., E-mail: ewcaetano@gmail.com [Instituto de Educação, Ciência e Tecnologia do Ceará, 60040-531 Fortaleza-CE (Brazil); Sales, F. A. M.; Freire, V. N. [Departamento de Física, Universidade Federal do Ceará, Caixa Postal 6030, 60455-760 Fortaleza-CE (Brazil)

2014-03-28

Results of optical absorption measurements are presented together with calculated structural, electronic, and optical properties for the anhydrous monoclinic L-asparagine crystal. Density functional theory (DFT) within the generalized gradient approximation (GGA) including dispersion effects (TS, Grimme) was employed to perform the calculations. The optical absorption measurements revealed that the anhydrous monoclinic L-asparagine crystal is a wide band gap material with 4.95 eV main gap energy. DFT-GGA+TS simulations, on the other hand, produced structural parameters in very good agreement with X-ray data. The lattice parameter differences Δa, Δb, Δc between theory and experiment were as small as 0.020, 0.051, and 0.022 Å, respectively. The calculated band gap energy is smaller than the experimental data by about 15%, with a 4.23 eV indirect band gap corresponding to Z → Γ and Z → β transitions. Three other indirect band gaps of 4.30 eV, 4.32 eV, and 4.36 eV are assigned to α3 → Γ, α1 → Γ, and α2 → Γ transitions, respectively. Δ-sol computations, on the other hand, predict a main band gap of 5.00 eV, just 50 meV above the experimental value. Electronic wavefunctions mainly originating from O 2p–carboxyl, C 2p–side chain, and C 2p–carboxyl orbitals contribute most significantly to the highest valence and lowest conduction energy bands, respectively. By varying the lattice parameters from their converged equilibrium values, we show that the unit cell is less stiff along the b direction than for the a and c directions. Effective mass calculations suggest that hole transport behavior is more anisotropic than electron transport, but the mass values allow for some charge mobility except along a direction perpendicular to the molecular layers of L-asparagine which form the crystal, so anhydrous monoclinic L-asparagine crystals could behave as wide gap semiconductors. Finally, the calculations point to a high degree of optical

Computational mate choice: theory and empirical evidence.

Science.gov (United States)

Castellano, Sergio; Cadeddu, Giorgia; Cermelli, Paolo

2012-06-01

The present review is based on the thesis that mate choice results from information-processing mechanisms governed by computational rules and that, to understand how females choose their mates, we should identify which are the sources of information and how they are used to make decisions. We describe mate choice as a three-step computational process and for each step we present theories and review empirical evidence. The first step is a perceptual process. It describes the acquisition of evidence, that is, how females use multiple cues and signals to assign an attractiveness value to prospective mates (the preference function hypothesis). The second step is a decisional process. It describes the construction of the decision variable (DV), which integrates evidence (private information by direct assessment), priors (public information), and value (perceived utility) of prospective mates into a quantity that is used by a decision rule (DR) to produce a choice. We make the assumption that females are optimal Bayesian decision makers and we derive a formal model of DV that can explain the effects of preference functions, mate copying, social context, and females' state and condition on the patterns of mate choice. The third step of mating decision is a deliberative process that depends on the DRs. We identify two main categories of DRs (absolute and comparative rules), and review the normative models of mate sampling tactics associated to them. We highlight the limits of the normative approach and present a class of computational models (sequential-sampling models) that are based on the assumption that DVs accumulate noisy evidence over time until a decision threshold is reached. These models force us to rethink the dichotomy between comparative and absolute decision rules, between discrimination and recognition, and even between rational and irrational choice. Since they have a robust biological basis, we think they may represent a useful theoretical tool for

Invariant functionals in higher-spin theory

Directory of Open Access Journals (Sweden)

M.A. Vasiliev

2017-03-01

Full Text Available A new construction for gauge invariant functionals in the nonlinear higher-spin theory is proposed. Being supported by differential forms closed by virtue of the higher-spin equations, invariant functionals are associated with central elements of the higher-spin algebra. In the on-shell AdS4 higher-spin theory we identify a four-form conjectured to represent the generating functional for 3d boundary correlators and a two-form argued to support charges for black hole solutions. Two actions for 3d boundary conformal higher-spin theory are associated with the two parity-invariant higher-spin models in AdS4. The peculiarity of the spinorial formulation of the on-shell AdS3 higher-spin theory, where the invariant functional is supported by a two-form, is conjectured to be related to the holomorphic factorization at the boundary. The nonlinear part of the star-product function F⁎(B(x in the higher-spin equations is argued to lead to divergencies in the boundary limit representing singularities at coinciding boundary space–time points of the factors of B(x, which can be regularized by the point splitting. An interpretation of the RG flow in terms of proposed construction is briefly discussed.

Stochastic linear programming models, theory, and computation

CERN Document Server

Kall, Peter

2011-01-01

This new edition of Stochastic Linear Programming: Models, Theory and Computation has been brought completely up to date, either dealing with or at least referring to new material on models and methods, including DEA with stochastic outputs modeled via constraints on special risk functions (generalizing chance constraints, ICC’s and CVaR constraints), material on Sharpe-ratio, and Asset Liability Management models involving CVaR in a multi-stage setup. To facilitate use as a text, exercises are included throughout the book, and web access is provided to a student version of the authors’ SLP-IOR software. Additionally, the authors have updated the Guide to Available Software, and they have included newer algorithms and modeling systems for SLP. The book is thus suitable as a text for advanced courses in stochastic optimization, and as a reference to the field. From Reviews of the First Edition: "The book presents a comprehensive study of stochastic linear optimization problems and their applications. … T...

On Wigner's problem, computability theory, and the definition of life

International Nuclear Information System (INIS)

Swain, J.

1998-01-01

In 1961, Eugene Wigner presented a clever argument that in a world which is adequately described by quantum mechanics, self-reproducing systems in general, and perhaps life in particular, would be incredibly improbable. The problem and some attempts at its solution are examined, and a new solution is presented based on computability theory. In particular, it is shown that computability theory provides limits on what can be known about a system in addition to those which arise from quantum mechanics. (author)

Functional programming for computer vision

Science.gov (United States)

Breuel, Thomas M.

1992-04-01

Functional programming is a style of programming that avoids the use of side effects (like assignment) and uses functions as first class data objects. Compared with imperative programs, functional programs can be parallelized better, and provide better encapsulation, type checking, and abstractions. This is important for building and integrating large vision software systems. In the past, efficiency has been an obstacle to the application of functional programming techniques in computationally intensive areas such as computer vision. We discuss and evaluate several 'functional' data structures for representing efficiently data structures and objects common in computer vision. In particular, we will address: automatic storage allocation and reclamation issues; abstraction of control structures; efficient sequential update of large data structures; representing images as functions; and object-oriented programming. Our experience suggests that functional techniques are feasible for high- performance vision systems, and that a functional approach simplifies the implementation and integration of vision systems greatly. Examples in C++ and SML are given.

Normal Functions As A New Way Of Defining Computable Functions

Directory of Open Access Journals (Sweden)

Leszek Dubiel

2004-01-01

Full Text Available Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbert’s system of recursive functions. Normal functions lack this disadvantage.

Normal Functions as a New Way of Defining Computable Functions

Directory of Open Access Journals (Sweden)

Leszek Dubiel

2004-01-01

Full Text Available Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbert's system of recursive functions. Normal functions lack this disadvantage.

Rydberg energies using excited state density functional theory

International Nuclear Information System (INIS)

Cheng, C.-L.; Wu Qin; Van Voorhis, Troy

2008-01-01

We utilize excited state density functional theory (eDFT) to study Rydberg states in atoms. We show both analytically and numerically that semilocal functionals can give quite reasonable Rydberg energies from eDFT, even in cases where time dependent density functional theory (TDDFT) fails catastrophically. We trace these findings to the fact that in eDFT the Kohn-Sham potential for each state is computed using the appropriate excited state density. Unlike the ground state potential, which typically falls off exponentially, the sequence of excited state potentials has a component that falls off polynomially with distance, leading to a Rydberg-type series. We also address the rigorous basis of eDFT for these systems. Perdew and Levy have shown using the constrained search formalism that every stationary density corresponds, in principle, to an exact stationary state of the full many-body Hamiltonian. In the present context, this means that the excited state DFT solutions are rigorous as long as they deliver the minimum noninteracting kinetic energy for the given density. We use optimized effective potential techniques to show that, in some cases, the eDFT Rydberg solutions appear to deliver the minimum kinetic energy because the associated density is not pure state v-representable. We thus find that eDFT plays a complementary role to constrained DFT: The former works only if the excited state density is not the ground state of some potential while the latter applies only when the density is a ground state density.

Too good to be true? Ideomotor Theory from a computational perspective

Directory of Open Access Journals (Sweden)

Oliver eHerbort

2012-11-01

Full Text Available In recent years, Ideomotor Theory has regained widespread attention and sparked the development of a number of theories on goal-directed behavior and learning. However, there are two issues with previous studies’ use of Ideomotor Theory. Although Ideomotor Theory is seen as very general, it is often studied in settings that are considerably more simplistic than most natural situations. Moreover, Ideomotor Theory’s claim that effect anticipations directly trigger actions and that action-effect learning is based on the formation of direct action-effect associations is hard to address empirically. We address these points from a computational perspective. A simple computational model of Ideomotor Theory was tested in tasks with different degrees of complexity. The model evaluation showed that Ideomotor Theory is a computationally feasible approach for understanding efficient action-effect learning for goal-directed behavior if the following preconditions are met: 1 The range of potential actions and effects has to be restricted. 2 Effects have to follow actions within a short time window. 3 Actions have to be simple and may not require sequencing. The first two preconditions also limit human performance and thus support Ideomotor Theory. The last precondition can be circumvented by extending the model with more complex, indirect action generation processes. In conclusion, we suggest that Ideomotor Theory offers a comprehensive framework to understand action-effect learning. However, we also suggest that additional processes may mediate the conversion of effect anticipations into actions in many situations.

Psychologic theories in functional neurologic disorders.

Science.gov (United States)

Carson, A; Ludwig, L; Welch, K

2016-01-01

In this chapter we review key psychologic theories that have been mooted as possible explanations for the etiology of functional neurologic symptoms, conversion disorder, and hysteria. We cover Freudian psychoanalysis and later object relations and attachment theories, social theories, illness behavior, classic and operant conditioning, social learning theory, self-regulation theory, cognitive-behavioral theories, and mindfulness. Dissociation and modern cognitive neuroscience theories are covered in other chapters in this series and, although of central importance, are omitted from this chapter. Our aim is an overview with the emphasis on breadth of coverage rather than depth. © 2016 Elsevier B.V. All rights reserved.

A nonlinear theory of generalized functions

CERN Document Server

1990-01-01

This book provides a simple introduction to a nonlinear theory of generalized functions introduced by J.F. Colombeau, which gives a meaning to any multiplication of distributions. This theory extends from pure mathematics (it presents a faithful generalization of the classical theory of C? functions and provides a synthesis of most existing multiplications of distributions) to physics (it permits the resolution of ambiguities that appear in products of distributions), passing through the theory of partial differential equations both from the theoretical viewpoint (it furnishes a concept of weak solution of pde's leading to existence-uniqueness results in many cases where no distributional solution exists) and the numerical viewpoint (it introduces new and efficient methods developed recently in elastoplasticity, hydrodynamics and acoustics). This text presents basic concepts and results which until now were only published in article form. It is in- tended for mathematicians but, since the theory and applicati...

Measure theory and fine properties of functions

CERN Document Server

Evans, Lawrence Craig

2015-01-01

Measure Theory and Fine Properties of Functions, Revised Edition provides a detailed examination of the central assertions of measure theory in n-dimensional Euclidean space. The book emphasizes the roles of Hausdorff measure and capacity in characterizing the fine properties of sets and functions. Topics covered include a quick review of abstract measure theory, theorems and differentiation in ℝn, Hausdorff measures, area and coarea formulas for Lipschitz mappings and related change-of-variable formulas, and Sobolev functions as well as functions of bounded variation.The text provides complete proofs of many key results omitted from other books, including Besicovitch's covering theorem, Rademacher's theorem (on the differentiability a.e. of Lipschitz functions), area and coarea formulas, the precise structure of Sobolev and BV functions, the precise structure of sets of finite perimeter, and Aleksandrov's theorem (on the twice differentiability a.e. of convex functions).This revised edition includes countl...

Magnetic fields and density functional theory

Energy Technology Data Exchange (ETDEWEB)

Salsbury Jr., Freddie [Univ. of California, Berkeley, CA (United States)

1999-02-01

A major focus of this dissertation is the development of functionals for the magnetic susceptibility and the chemical shielding within the context of magnetic field density functional theory (BDFT). These functionals depend on the electron density in the absence of the field, which is unlike any other treatment of these responses. There have been several advances made within this theory. The first of which is the development of local density functionals for chemical shieldings and magnetic susceptibilities. There are the first such functionals ever proposed. These parameters have been studied by constructing functionals for the current density and then using the Biot-Savart equations to obtain the responses. In order to examine the advantages and disadvantages of the local functionals, they were tested numerically on some small molecules.

Magnetic fields and density functional theory

International Nuclear Information System (INIS)

Salsbury, Freddie Jr.

1999-01-01

A major focus of this dissertation is the development of functionals for the magnetic susceptibility and the chemical shielding within the context of magnetic field density functional theory (BDFT). These functionals depend on the electron density in the absence of the field, which is unlike any other treatment of these responses. There have been several advances made within this theory. The first of which is the development of local density functionals for chemical shieldings and magnetic susceptibilities. There are the first such functionals ever proposed. These parameters have been studied by constructing functionals for the current density and then using the Biot-Savart equations to obtain the responses. In order to examine the advantages and disadvantages of the local functionals, they were tested numerically on some small molecules

Quantum computation

International Nuclear Information System (INIS)

Deutsch, D.

1992-01-01

As computers become ever more complex, they inevitably become smaller. This leads to a need for components which are fabricated and operate on increasingly smaller size scales. Quantum theory is already taken into account in microelectronics design. This article explores how quantum theory will need to be incorporated into computers in future in order to give them their components functionality. Computation tasks which depend on quantum effects will become possible. Physicists may have to reconsider their perspective on computation in the light of understanding developed in connection with universal quantum computers. (UK)

Multicomponent Time-Dependent Density Functional Theory: Proton and Electron Excitation Energies.

Science.gov (United States)

Yang, Yang; Culpitt, Tanner; Hammes-Schiffer, Sharon

2018-04-05

The quantum mechanical treatment of both electrons and protons in the calculation of excited state properties is critical for describing nonadiabatic processes such as photoinduced proton-coupled electron transfer. Multicomponent density functional theory enables the consistent quantum mechanical treatment of more than one type of particle and has been implemented previously for studying ground state molecular properties within the nuclear-electronic orbital (NEO) framework, where all electrons and specified protons are treated quantum mechanically. To enable the study of excited state molecular properties, herein the linear response multicomponent time-dependent density functional theory (TDDFT) is derived and implemented within the NEO framework. Initial applications to FHF - and HCN illustrate that NEO-TDDFT provides accurate proton and electron excitation energies within a single calculation. As its computational cost is similar to that of conventional electronic TDDFT, the NEO-TDDFT approach is promising for diverse applications, particularly nonadiabatic proton transfer reactions, which may exhibit mixed electron-proton vibronic excitations.

Density functional theory, natural bond orbital and quantum theory of ...

Indian Academy of Sciences (India)

Density functional theory, natural bond orbital and quantum theory of atoms in molecule analyses on the hydrogen bonding interactions in tryptophan-water complexes. XIQIAN NIU, ZHENGGUO HUANG. ∗. , LINGLING MA, TINGTING SHEN and LINGFEI GUO. Tianjin Key Laboratory of Structure and Performance for ...

Efficient calculation of nuclear spin-rotation constants from auxiliary density functional theory

International Nuclear Information System (INIS)

Zuniga-Gutierrez, Bernardo; Camacho-Gonzalez, Monica; Bendana-Castillo, Alfonso; Simon-Bastida, Patricia; Calaminici, Patrizia; Köster, Andreas M.

2015-01-01

The computation of the spin-rotation tensor within the framework of auxiliary density functional theory (ADFT) in combination with the gauge including atomic orbital (GIAO) scheme, to treat the gauge origin problem, is presented. For the spin-rotation tensor, the calculation of the magnetic shielding tensor represents the most demanding computational task. Employing the ADFT-GIAO methodology, the central processing unit time for the magnetic shielding tensor calculation can be dramatically reduced. In this work, the quality of spin-rotation constants obtained with the ADFT-GIAO methodology is compared with available experimental data as well as with other theoretical results at the Hartree-Fock and coupled-cluster level of theory. It is found that the agreement between the ADFT-GIAO results and the experiment is good and very similar to the ones obtained by the coupled-cluster single-doubles-perturbative triples-GIAO methodology. With the improved computational performance achieved, the computation of the spin-rotation tensors of large systems or along Born-Oppenheimer molecular dynamics trajectories becomes feasible in reasonable times. Three models of carbon fullerenes containing hundreds of atoms and thousands of basis functions are used for benchmarking the performance. Furthermore, a theoretical study of temperature effects on the structure and spin-rotation tensor of the H 12 C– 12 CH–DF complex is presented. Here, the temperature dependency of the spin-rotation tensor of the fluorine nucleus can be used to identify experimentally the so far unknown bent isomer of this complex. To the best of our knowledge this is the first time that temperature effects on the spin-rotation tensor are investigated

Efficient calculation of nuclear spin-rotation constants from auxiliary density functional theory

Energy Technology Data Exchange (ETDEWEB)

Zuniga-Gutierrez, Bernardo, E-mail: bzuniga.51@gmail.com [Departamento de Ciencias Computacionales, Universidad de Guadalajara, Blvd. Marcelino García Barragán 1421, C.P. 44430 Guadalajara, Jalisco (Mexico); Camacho-Gonzalez, Monica [Universidad Tecnológica de Tecámac, División A2, Procesos Industriales, Carretera Federal México Pachuca Km 37.5, Col. Sierra Hermosa, C.P. 55740 Tecámac, Estado de México (Mexico); Bendana-Castillo, Alfonso [Universidad Tecnológica de Tecámac, División A3, Tecnologías de la Información y Comunicaciones, Carretera Federal México Pachuca Km 37.5, Col. Sierra Hermosa, C.P. 55740 Tecámac, Estado de México (Mexico); Simon-Bastida, Patricia [Universidad Tecnlógica de Tulancingo, División Electromecánica, Camino a Ahuehuetitla No. 301, Col. Las Presas, C.P. 43642 Tulancingo, Hidalgo (Mexico); Calaminici, Patrizia; Köster, Andreas M. [Departamento de Química, CINVESTAV, Avenida Instituto Politécnico Nacional 2508, A.P. 14-740, México D.F. 07000 (Mexico)

2015-09-14

The computation of the spin-rotation tensor within the framework of auxiliary density functional theory (ADFT) in combination with the gauge including atomic orbital (GIAO) scheme, to treat the gauge origin problem, is presented. For the spin-rotation tensor, the calculation of the magnetic shielding tensor represents the most demanding computational task. Employing the ADFT-GIAO methodology, the central processing unit time for the magnetic shielding tensor calculation can be dramatically reduced. In this work, the quality of spin-rotation constants obtained with the ADFT-GIAO methodology is compared with available experimental data as well as with other theoretical results at the Hartree-Fock and coupled-cluster level of theory. It is found that the agreement between the ADFT-GIAO results and the experiment is good and very similar to the ones obtained by the coupled-cluster single-doubles-perturbative triples-GIAO methodology. With the improved computational performance achieved, the computation of the spin-rotation tensors of large systems or along Born-Oppenheimer molecular dynamics trajectories becomes feasible in reasonable times. Three models of carbon fullerenes containing hundreds of atoms and thousands of basis functions are used for benchmarking the performance. Furthermore, a theoretical study of temperature effects on the structure and spin-rotation tensor of the H{sup 12}C–{sup 12}CH–DF complex is presented. Here, the temperature dependency of the spin-rotation tensor of the fluorine nucleus can be used to identify experimentally the so far unknown bent isomer of this complex. To the best of our knowledge this is the first time that temperature effects on the spin-rotation tensor are investigated.

Efficient calculation of nuclear spin-rotation constants from auxiliary density functional theory.

Science.gov (United States)

Zuniga-Gutierrez, Bernardo; Camacho-Gonzalez, Monica; Bendana-Castillo, Alfonso; Simon-Bastida, Patricia; Calaminici, Patrizia; Köster, Andreas M

2015-09-14

The computation of the spin-rotation tensor within the framework of auxiliary density functional theory (ADFT) in combination with the gauge including atomic orbital (GIAO) scheme, to treat the gauge origin problem, is presented. For the spin-rotation tensor, the calculation of the magnetic shielding tensor represents the most demanding computational task. Employing the ADFT-GIAO methodology, the central processing unit time for the magnetic shielding tensor calculation can be dramatically reduced. In this work, the quality of spin-rotation constants obtained with the ADFT-GIAO methodology is compared with available experimental data as well as with other theoretical results at the Hartree-Fock and coupled-cluster level of theory. It is found that the agreement between the ADFT-GIAO results and the experiment is good and very similar to the ones obtained by the coupled-cluster single-doubles-perturbative triples-GIAO methodology. With the improved computational performance achieved, the computation of the spin-rotation tensors of large systems or along Born-Oppenheimer molecular dynamics trajectories becomes feasible in reasonable times. Three models of carbon fullerenes containing hundreds of atoms and thousands of basis functions are used for benchmarking the performance. Furthermore, a theoretical study of temperature effects on the structure and spin-rotation tensor of the H(12)C-(12)CH-DF complex is presented. Here, the temperature dependency of the spin-rotation tensor of the fluorine nucleus can be used to identify experimentally the so far unknown bent isomer of this complex. To the best of our knowledge this is the first time that temperature effects on the spin-rotation tensor are investigated.

Computing the scattering properties of participating media using Lorenz-Mie theory

DEFF Research Database (Denmark)

Frisvad, Jeppe Revall; Christensen, Niels Jørgen; Jensen, Henrik Wann

2007-01-01

is capable of handling both absorbing host media and non-spherical particles, which significantly extends the classes of media and materials that can be modeled. We use the theory to compute optical properties for different types of ice and ocean water, and we derive a novel appearance model for milk...... parameterized by the fat and protein contents. Our results show that we are able to match measured scattering properties in cases where the classical Lorenz-Mie theory breaks down, and we can compute properties for media that cannot be measured using existing techniques in computer graphics....

Quantal density functional theory. 2. ed.

International Nuclear Information System (INIS)

Sahni, Viraht

2016-01-01

This book is on quantal density functional theory (QDFT) which is a time-dependent local effective potential theory of the electronic structure of matter. The time-independent QDFT constitutes a special case. The 2 nd edition describes the further development of the theory, and extends it to include the presence of an external magnetostatic field. The theory is based on the 'quantal Newtonian' second and first laws for the individual electron. These laws are in terms of 'classical' fields that pervade all space, and their quantal sources. The fields are separately representative of the electron correlations that must be accounted for in local potential theory. Recent developments show that irrespective of the type of external field the electrons are subject to, the only correlations beyond those due to the Pauli exclusion principle and Coulomb repulsion that need be considered are solely of the correlation-kinetic effects. Foundational to QDFT, the book describes Schroedinger theory from the new perspective of the single electron in terms of the 'quantal Newtonian' laws. Hohenberg-Kohn density functional theory (DFT), new understandings of the theory and its extension to the presence of an external uniform magnetostatic field are described. The physical interpretation via QDFT, in terms of electron correlations, of Kohn-Sham DFT, approximations to it and Slater theory are provided.

Quantal density functional theory. 2. ed.

Energy Technology Data Exchange (ETDEWEB)

Sahni, Viraht

2016-07-01

This book is on quantal density functional theory (QDFT) which is a time-dependent local effective potential theory of the electronic structure of matter. The time-independent QDFT constitutes a special case. The 2{sup nd} edition describes the further development of the theory, and extends it to include the presence of an external magnetostatic field. The theory is based on the 'quantal Newtonian' second and first laws for the individual electron. These laws are in terms of 'classical' fields that pervade all space, and their quantal sources. The fields are separately representative of the electron correlations that must be accounted for in local potential theory. Recent developments show that irrespective of the type of external field the electrons are subject to, the only correlations beyond those due to the Pauli exclusion principle and Coulomb repulsion that need be considered are solely of the correlation-kinetic effects. Foundational to QDFT, the book describes Schroedinger theory from the new perspective of the single electron in terms of the 'quantal Newtonian' laws. Hohenberg-Kohn density functional theory (DFT), new understandings of the theory and its extension to the presence of an external uniform magnetostatic field are described. The physical interpretation via QDFT, in terms of electron correlations, of Kohn-Sham DFT, approximations to it and Slater theory are provided.

Theory of Connectivity: Nature and Nurture of Cell Assemblies and Cognitive Computation.

Science.gov (United States)

Li, Meng; Liu, Jun; Tsien, Joe Z

2016-01-01

Richard Semon and Donald Hebb are among the firsts to put forth the notion of cell assembly-a group of coherently or sequentially-activated neurons-to represent percept, memory, or concept. Despite the rekindled interest in this century-old idea, the concept of cell assembly still remains ill-defined and its operational principle is poorly understood. What is the size of a cell assembly? How should a cell assembly be organized? What is the computational logic underlying Hebbian cell assemblies? How might Nature vs. Nurture interact at the level of a cell assembly? In contrast to the widely assumed randomness within the mature but naïve cell assembly, the Theory of Connectivity postulates that the brain consists of the developmentally pre-programmed cell assemblies known as the functional connectivity motif (FCM). Principal cells within such FCM is organized by the power-of-two-based mathematical principle that guides the construction of specific-to-general combinatorial connectivity patterns in neuronal circuits, giving rise to a full range of specific features, various relational patterns, and generalized knowledge. This pre-configured canonical computation is predicted to be evolutionarily conserved across many circuits, ranging from these encoding memory engrams and imagination to decision-making and motor control. Although the power-of-two-based wiring and computational logic places a mathematical boundary on an individual's cognitive capacity, the fullest intellectual potential can be brought about by optimized nature and nurture. This theory may also open up a new avenue to examining how genetic mutations and various drugs might impair or improve the computational logic of brain circuits.

Learning theories in computer-assisted foreign language acquisition

OpenAIRE

Baeva, D.

2013-01-01

This paper reviews the learning theories, focusing to the strong interest in technology use for language learning. It is important to look at how technology has been used in the field thus far. The goals of this review are to understand how computers have been used in the past years to support foreign language learning, and to explore any research evidence with regards to how computer technology can enhance language skills acquisition

Spectral theory and nonlinear functional analysis

CERN Document Server

Lopez-Gomez, Julian

2001-01-01

This Research Note addresses several pivotal problems in spectral theory and nonlinear functional analysis in connection with the analysis of the structure of the set of zeroes of a general class of nonlinear operators. It features the construction of an optimal algebraic/analytic invariant for calculating the Leray-Schauder degree, new methods for solving nonlinear equations in Banach spaces, and general properties of components of solutions sets presented with minimal use of topological tools. The author also gives several applications of the abstract theory to reaction diffusion equations and systems.The results presented cover a thirty-year period and include recent, unpublished findings of the author and his coworkers. Appealing to a broad audience, Spectral Theory and Nonlinear Functional Analysis contains many important contributions to linear algebra, linear and nonlinear functional analysis, and topology and opens the door for further advances.

Transversity results and computations in symplectic field theory

International Nuclear Information System (INIS)

Fabert, Oliver

2008-01-01

Although the definition of symplectic field theory suggests that one has to count holomorphic curves in cylindrical manifolds R x V equipped with a cylindrical almost complex structure J, it is already well-known from Gromov-Witten theory that, due to the presence of multiply-covered curves, we in general cannot achieve transversality for all moduli spaces even for generic choices of J. In this thesis we treat the transversality problem of symplectic field theory in two important cases. In the first part of this thesis we are concerned with the rational symplectic field theory of Hamiltonian mapping tori, which is also called the Floer case. For this observe that in the general geometric setup for symplectic field theory, the contact manifolds can be replaced by mapping tori M φ of symplectic manifolds (M,ω M ) with symplectomorphisms φ. While the cylindrical contact homology of M φ is given by the Floer homologies of powers of φ, the other algebraic invariants of symplectic field theory for M φ provide natural generalizations of symplectic Floer homology. For symplectically aspherical M and Hamiltonian φ we study the moduli spaces of rational curves and prove a transversality result, which does not need the polyfold theory by Hofer, Wysocki and Zehnder and allows us to compute the full contact homology of M φ ≅ S 1 x M. The second part of this thesis is devoted to the branched covers of trivial cylinders over closed Reeb orbits, which are the trivial examples of punctured holomorphic curves studied in rational symplectic field theory. Since all moduli spaces of trivial curves with virtual dimension one cannot be regular, we use obstruction bundles in order to find compact perturbations making the Cauchy-Riemann operator transversal to the zero section and show that the algebraic count of elements in the resulting regular moduli spaces is zero. Once the analytical foundations of symplectic field theory are established, our result implies that the

GRG computer algebra system in gravitation and general relativity theory

International Nuclear Information System (INIS)

Zhitnikov, V.V.; Obukhova, I.G.

1985-01-01

The main concepts and capabilities of the GRG specialized computer agebra system intended for performing calculations in the gravitation theory are described. The GRG system is written in the STANDARD LISP language. The program consists of two parts: the first one - for setting initial data, the second one - for specifying a consequence of calculations. The system can function in three formalisms: a coordinate, a tetradic with the Lorentz basis and a spinor ones. The major capabilities of the GRG system are the following: calculation of connectivity and curvature according to the specified metrics, tetrad and torsion; metric type determination according to Petrov; calculation of the Bianchi indentities; operation with an electromagnetic field; tetradic rotations; coordinate conversions

A Cp-theory problem book functional equivalencies

CERN Document Server

Tkachuk, Vladimir V

2016-01-01

This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory, the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research. The book presents complete and up-to-date information on the preservation of topological properties by homeomorphisms of function spaces.  An exhaustive theory of t-equivalent, u-equivalent and l-equivalent spaces is developed from scratch.   The reader will also find introductions to the theory of uniform spaces, the theory of locally convex spaces, as well as  the theory of inverse systems and dimension theory. Moreover, the inclusion of Kolmogorov's solution of Hilbert's Problem 13 is included as it is needed for the presentation of the theory of l-equivalent spaces. This volume contains the most important classical re...

Approximate self-consistent potentials for density-functional-theory exchange-correlation functionals

International Nuclear Information System (INIS)

Cafiero, Mauricio; Gonzalez, Carlos

2005-01-01

We show that potentials for exchange-correlation functionals within the Kohn-Sham density-functional-theory framework may be written as potentials for simpler functionals multiplied by a factor close to unity, and in a self-consistent field calculation, these effective potentials find the correct self-consistent solutions. This simple theory is demonstrated with self-consistent exchange-only calculations of the atomization energies of some small molecules using the Perdew-Kurth-Zupan-Blaha (PKZB) meta-generalized-gradient-approximation (meta-GGA) exchange functional. The atomization energies obtained with our method agree with or surpass previous meta-GGA calculations performed in a non-self-consistent manner. The results of this work suggest the utility of this simple theory to approximate exchange-correlation potentials corresponding to energy functionals too complicated to generate closed forms for their potentials. We hope that this method will encourage the development of complex functionals which have correct boundary conditions and are free of self-interaction errors without the worry that the functionals are too complex to differentiate to obtain potentials

Classical density functional theory and the phase-field crystal method using a rational function to describe the two-body direct correlation function.

Science.gov (United States)

Pisutha-Arnond, N; Chan, V W L; Iyer, M; Gavini, V; Thornton, K

2013-01-01

We introduce a new approach to represent a two-body direct correlation function (DCF) in order to alleviate the computational demand of classical density functional theory (CDFT) and enhance the predictive capability of the phase-field crystal (PFC) method. The approach utilizes a rational function fit (RFF) to approximate the two-body DCF in Fourier space. We use the RFF to show that short-wavelength contributions of the two-body DCF play an important role in determining the thermodynamic properties of materials. We further show that using the RFF to empirically parametrize the two-body DCF allows us to obtain the thermodynamic properties of solids and liquids that agree with the results of CDFT simulations with the full two-body DCF without incurring significant computational costs. In addition, the RFF can also be used to improve the representation of the two-body DCF in the PFC method. Last, the RFF allows for a real-space reformulation of the CDFT and PFC method, which enables descriptions of nonperiodic systems and the use of nonuniform and adaptive grids.

Electron-Ion Dynamics with Time-Dependent Density Functional Theory: Towards Predictive Solar Cell Modeling: Final Technical Report

Energy Technology Data Exchange (ETDEWEB)

Maitra, Neepa [Hunter College City University of New York, New York, NY (United States)

2016-07-14

This project investigates the accuracy of currently-used functionals in time-dependent density functional theory, which is today routinely used to predict and design materials and computationally model processes in solar energy conversion. The rigorously-based electron-ion dynamics method developed here sheds light on traditional methods and overcomes challenges those methods have. The fundamental research undertaken here is important for building reliable and practical methods for materials discovery. The ultimate goal is to use these tools for the computational design of new materials for solar cell devices of high efficiency.

Theory and computation of triply excited resonances: Application to states of He-

International Nuclear Information System (INIS)

Nicolaides, C.A.; Piangos, N.A.; Komninos, Y.

1993-01-01

Autoionizing multiply excited states offer unusual challenges to the theory of electronic structure and spectra because of the presence of strong electron correlations, of their occasional weak binding, of their proximity to more than one threshold, and of their degeneracy with many continua. Here we discuss a theory that addresses these difficulties in conjunction with the computation of their wave functions and intrinsic properties. Emphasis is given on the justification of the possible presence of self-consistently obtained open-channel-like (OCL) correlating configurations in the square-integrable representation of such states and on their effect on the energy E and the width Γ. Application of the theory has allowed the prediction of two hitherto unknown He - triply excited resonances, the 2s2p 2 2 P (E=59.71 eV, above the He ground state, Γ=79 meV) and the 2p 3 2 Do (E=59.46 eV, Γ=282 meV) (1 a.u.=27.2116 eV). These resonances are above the singly excited states of He and are embedded in its doubly excited spectrum. The relatively broad 2p 3 2 Do state interacts strongly with the He 2s2p 3 Po εd continuum. The effect of this interaction has been studied in terms of the coupling with fixed core scattering states as well as with a self-consistently computed OCL bound configuration

Shannon Entropy in Atoms: A Test for the Assessment of Density Functionals in Kohn-Sham Theory

Directory of Open Access Journals (Sweden)

Claudio Amovilli

2018-05-01

Full Text Available Electron density is used to compute Shannon entropy. The deviation from the Hartree–Fock (HF of this quantity has been observed to be related to correlation energy. Thus, Shannon entropy is here proposed as a valid quantity to assess the quality of an energy density functional developed within Kohn–Sham theory. To this purpose, results from eight different functionals, representative of Jacob’s ladder, are compared with accurate results obtained from diffusion quantum Monte Carlo (DMC computations. For three series of atomic ions, our results show that the revTPSS and the PBE0 functionals are the best, whereas those based on local density approximation give the largest discrepancy from DMC Shannon entropy.

density functional theory approach

Indian Academy of Sciences (India)

YOGESH ERANDE

2017-07-27

Jul 27, 2017 ... a key role in all optical switching devices, since their optical properties can be .... optimized in the gas phase using Density Functional Theory. (DFT).39 The ...... The Mediation of Electrostatic Effects by Sol- vents J. Am. Chem.

Sequential approach to Colombeau's theory of generalized functions

International Nuclear Information System (INIS)

Todorov, T.D.

1987-07-01

J.F. Colombeau's generalized functions are constructed as equivalence classes of the elements of a specially chosen ultrapower of the class of the C ∞ -functions. The elements of this ultrapower are considered as sequences of C ∞ -functions, so in a sense, the sequential construction presented here refers to the original Colombeau theory just as, for example, the Mikusinski sequential approach to the distribution theory refers to the original Schwartz theory of distributions. The paper could be used as an elementary introduction to the Colombeau theory in which recently a solution was found to the problem of multiplication of Schwartz distributions. (author). Refs

Dual field theories of quantum computation

International Nuclear Information System (INIS)

Vanchurin, Vitaly

2016-01-01

Given two quantum states of N q-bits we are interested to find the shortest quantum circuit consisting of only one- and two- q-bit gates that would transfer one state into another. We call it the quantum maze problem for the reasons described in the paper. We argue that in a large N limit the quantum maze problem is equivalent to the problem of finding a semiclassical trajectory of some lattice field theory (the dual theory) on an N+1 dimensional space-time with geometrically flat, but topologically compact spatial slices. The spatial fundamental domain is an N dimensional hyper-rhombohedron, and the temporal direction describes transitions from an arbitrary initial state to an arbitrary target state and so the initial and final dual field theory conditions are described by these two quantum computational states. We first consider a complex Klein-Gordon field theory and argue that it can only be used to study the shortest quantum circuits which do not involve generators composed of tensor products of multiple Pauli Z matrices. Since such situation is not generic we call it the Z-problem. On the dual field theory side the Z-problem corresponds to massless excitations of the phase (Goldstone modes) that we attempt to fix using Higgs mechanism. The simplest dual theory which does not suffer from the massless excitation (or from the Z-problem) is the Abelian-Higgs model which we argue can be used for finding the shortest quantum circuits. Since every trajectory of the field theory is mapped directly to a quantum circuit, the shortest quantum circuits are identified with semiclassical trajectories. We also discuss the complexity of an actual algorithm that uses a dual theory prospective for solving the quantum maze problem and compare it with a geometric approach. We argue that it might be possible to solve the problem in sub-exponential time in 2 N , but for that we must consider the Klein-Gordon theory on curved spatial geometry and/or more complicated (than N

Nonequilibrium Green's function formulation of quantum transport theory for multi-band semiconductors

International Nuclear Information System (INIS)

Zhao, Peiji; Horing, Norman J.M.; Woolard, Dwight L.; Cui, H.L.

2003-01-01

We present a nonequilibrium Green's function formulation of many-body quantum transport theory for multi-band semiconductor systems with a phonon bath. The equations are expressed exactly in terms of single particle nonequilibrium Green's functions and self-energies, treating the open electron-hole system in weak interaction with the bath. A decoupling technique is employed to separate the individual band Green's function equations of motion from one another, with the band-band interaction effects embedded in ''cross-band'' self-energies. This nonequilibrium Green's function formulation of quantum transport theory is amenable to solution by parallel computing because of its formal decoupling with respect to inter-band interactions. Moreover, this formulation also permits coding the simulator of an n-band semiconductor in terms of that for an (n-1)-band system, in step with the current tendency and development of programming technology. Finally, the focus of these equations on individual bands provides a relatively direct route for the determination of carrier motion in energy bands, and to delineate the influence of intra- and inter-band interactions. A detailed description is provided for three-band semiconductor systems

Any realistic theory must be computationally realistic: a response to N. Gisin's definition of a Realistic Physics Theory

OpenAIRE

Bolotin, Arkady

2014-01-01

It is argued that the recent definition of a realistic physics theory by N. Gisin cannot be considered comprehensive unless it is supplemented with requirement that any realistic theory must be computationally realistic as well.

Reduced density matrix functional theory via a wave function based approach

Energy Technology Data Exchange (ETDEWEB)

Schade, Robert; Bloechl, Peter [Institute for Theoretical Physics, Clausthal University of Technology, Clausthal (Germany); Pruschke, Thomas [Institute for Theoretical Physics, University of Goettingen, Goettingen (Germany)

2016-07-01

We propose a new method for the calculation of the electronic and atomic structure of correlated electron systems based on reduced density matrix functional theory (rDMFT). The density-matrix functional is evaluated on the fly using Levy's constrained search formalism. The present implementation rests on a local approximation of the interaction reminiscent to that of dynamical mean field theory (DMFT). We focus here on additional approximations to the exact density-matrix functional in the local approximation and evaluate their performance.

A Cp-theory problem book compactness in function spaces

CERN Document Server

Tkachuk, Vladimir V

2015-01-01

This third volume in Vladimir Tkachuk's series on Cp-theory problems applies all modern methods of Cp-theory to study compactness-like properties in function spaces and introduces the reader to the theory of compact spaces widely used in Functional Analysis. The text is designed to bring a dedicated reader from basic topological principles to the frontiers of modern research covering a wide variety of topics in Cp-theory and general topology at the professional level.  The first volume, Topological and Function Spaces © 2011, provided an introduction from scratch to Cp-theory and general topology, preparing the reader for a professional understanding of Cp-theory in the last section of its main text. The second volume, Special Features of Function Spaces © 2014, continued from the first, giving reasonably complete coverage of Cp-theory, systematically introducing each of the major topics and providing 500 carefully selected problems and exercises with complete solutions. This third volume is self-contained...

Theory of Connectivity: Nature and Nurture of Cell Assemblies and Cognitive Computation

Directory of Open Access Journals (Sweden)

Meng eLi

2016-04-01

Full Text Available Richard Semon and Donald Hebb are among the firsts to put forth the notion of cell assembly – a group of coherently or sequentially-activated neurons– to represent percept, memory, or concept. Despite the rekindled interest in this age-old idea, the concept of cell assembly still remains ill-defined and its operational principle is poorly understood. What is the size of a cell assembly? How should a cell assembly be organized? What is the computational logic underlying Hebbian cell assemblies? How might Nature vs Nurture interact at the level of a cell assembly? In contrast to the widely assumed local randomness within the mature but naïve cell assembly, the recent Theory of Connectivity postulates that the brain consists of the developmentally pre-programmed cell assemblies known as the functional connectivity motif (FCM. Principal cells within such FCM is organized by the power-of-two-based mathematical principle that guides the construction of specific-to-general combinatorial connectivity patterns in neuronal circuits, giving rise to a full range of specific features, various relational patterns, and generalized knowledge. This pre-configured canonical computation is predicted to be evolutionarily conserved across many circuits, ranging from these encoding memory engrams and imagination to decision-making and motor control. Although the power-of-two-based wiring and computational logic places a mathematical boundary on an individual’s cognitive capacity, the fullest intellectual potential can be brought about by optimized nature and nurture. This theory may also open up a new avenue to examining how genetic mutations and various drugs might impair or enhance the computational logic of brain circuits.

RNAdualPF: software to compute the dual partition function with sample applications in molecular evolution theory.

Science.gov (United States)

Garcia-Martin, Juan Antonio; Bayegan, Amir H; Dotu, Ivan; Clote, Peter

2016-10-19

RNA inverse folding is the problem of finding one or more sequences that fold into a user-specified target structure s 0 , i.e. whose minimum free energy secondary structure is identical to the target s 0 . Here we consider the ensemble of all RNA sequences that have low free energy with respect to a given target s 0 . We introduce the program RNAdualPF, which computes the dual partition function Z ∗ , defined as the sum of Boltzmann factors exp(-E(a,s 0 )/RT) of all RNA nucleotide sequences a compatible with target structure s 0 . Using RNAdualPF, we efficiently sample RNA sequences that approximately fold into s 0 , where additionally the user can specify IUPAC sequence constraints at certain positions, and whether to include dangles (energy terms for stacked, single-stranded nucleotides). Moreover, since we also compute the dual partition function Z ∗ (k) over all sequences having GC-content k, the user can require that all sampled sequences have a precise, specified GC-content. Using Z ∗ , we compute the dual expected energy 〈E ∗ 〉, and use it to show that natural RNAs from the Rfam 12.0 database have higher minimum free energy than expected, thus suggesting that functional RNAs are under evolutionary pressure to be only marginally thermodynamically stable. We show that C. elegans precursor microRNA (pre-miRNA) is significantly non-robust with respect to mutations, by comparing the robustness of each wild type pre-miRNA sequence with 2000 [resp. 500] sequences of the same GC-content generated by RNAdualPF, which approximately [resp. exactly] fold into the wild type target structure. We confirm and strengthen earlier findings that precursor microRNAs and bacterial small noncoding RNAs display plasticity, a measure of structural diversity. We describe RNAdualPF, which rapidly computes the dual partition function Z ∗ and samples sequences having low energy with respect to a target structure, allowing sequence constraints and specified GC

Transversity results and computations in symplectic field theory

Energy Technology Data Exchange (ETDEWEB)

Fabert, Oliver

2008-02-21

Although the definition of symplectic field theory suggests that one has to count holomorphic curves in cylindrical manifolds R x V equipped with a cylindrical almost complex structure J, it is already well-known from Gromov-Witten theory that, due to the presence of multiply-covered curves, we in general cannot achieve transversality for all moduli spaces even for generic choices of J. In this thesis we treat the transversality problem of symplectic field theory in two important cases. In the first part of this thesis we are concerned with the rational symplectic field theory of Hamiltonian mapping tori, which is also called the Floer case. For this observe that in the general geometric setup for symplectic field theory, the contact manifolds can be replaced by mapping tori M{sub {phi}} of symplectic manifolds (M,{omega}{sub M}) with symplectomorphisms {phi}. While the cylindrical contact homology of M{sub {phi}} is given by the Floer homologies of powers of {phi}, the other algebraic invariants of symplectic field theory for M{sub {phi}} provide natural generalizations of symplectic Floer homology. For symplectically aspherical M and Hamiltonian {phi} we study the moduli spaces of rational curves and prove a transversality result, which does not need the polyfold theory by Hofer, Wysocki and Zehnder and allows us to compute the full contact homology of M{sub {phi}} {approx_equal} S{sup 1} x M. The second part of this thesis is devoted to the branched covers of trivial cylinders over closed Reeb orbits, which are the trivial examples of punctured holomorphic curves studied in rational symplectic field theory. Since all moduli spaces of trivial curves with virtual dimension one cannot be regular, we use obstruction bundles in order to find compact perturbations making the Cauchy-Riemann operator transversal to the zero section and show that the algebraic count of elements in the resulting regular moduli spaces is zero. Once the analytical foundations of symplectic

Theory of cortical function

Science.gov (United States)

Heeger, David J.

2017-01-01

Most models of sensory processing in the brain have a feedforward architecture in which each stage comprises simple linear filtering operations and nonlinearities. Models of this form have been used to explain a wide range of neurophysiological and psychophysical data, and many recent successes in artificial intelligence (with deep convolutional neural nets) are based on this architecture. However, neocortex is not a feedforward architecture. This paper proposes a first step toward an alternative computational framework in which neural activity in each brain area depends on a combination of feedforward drive (bottom-up from the previous processing stage), feedback drive (top-down context from the next stage), and prior drive (expectation). The relative contributions of feedforward drive, feedback drive, and prior drive are controlled by a handful of state parameters, which I hypothesize correspond to neuromodulators and oscillatory activity. In some states, neural responses are dominated by the feedforward drive and the theory is identical to a conventional feedforward model, thereby preserving all of the desirable features of those models. In other states, the theory is a generative model that constructs a sensory representation from an abstract representation, like memory recall. In still other states, the theory combines prior expectation with sensory input, explores different possible perceptual interpretations of ambiguous sensory inputs, and predicts forward in time. The theory, therefore, offers an empirically testable framework for understanding how the cortex accomplishes inference, exploration, and prediction. PMID:28167793

Theory of cortical function.

Science.gov (United States)

Heeger, David J

2017-02-21

Most models of sensory processing in the brain have a feedforward architecture in which each stage comprises simple linear filtering operations and nonlinearities. Models of this form have been used to explain a wide range of neurophysiological and psychophysical data, and many recent successes in artificial intelligence (with deep convolutional neural nets) are based on this architecture. However, neocortex is not a feedforward architecture. This paper proposes a first step toward an alternative computational framework in which neural activity in each brain area depends on a combination of feedforward drive (bottom-up from the previous processing stage), feedback drive (top-down context from the next stage), and prior drive (expectation). The relative contributions of feedforward drive, feedback drive, and prior drive are controlled by a handful of state parameters, which I hypothesize correspond to neuromodulators and oscillatory activity. In some states, neural responses are dominated by the feedforward drive and the theory is identical to a conventional feedforward model, thereby preserving all of the desirable features of those models. In other states, the theory is a generative model that constructs a sensory representation from an abstract representation, like memory recall. In still other states, the theory combines prior expectation with sensory input, explores different possible perceptual interpretations of ambiguous sensory inputs, and predicts forward in time. The theory, therefore, offers an empirically testable framework for understanding how the cortex accomplishes inference, exploration, and prediction.

The Gaussian radial basis function method for plasma kinetic theory

Energy Technology Data Exchange (ETDEWEB)

Hirvijoki, E., E-mail: eero.hirvijoki@chalmers.se [Department of Applied Physics, Chalmers University of Technology, SE-41296 Gothenburg (Sweden); Candy, J.; Belli, E. [General Atomics, PO Box 85608, San Diego, CA 92186-5608 (United States); Embréus, O. [Department of Applied Physics, Chalmers University of Technology, SE-41296 Gothenburg (Sweden)

2015-10-30

Description of a magnetized plasma involves the Vlasov equation supplemented with the non-linear Fokker–Planck collision operator. For non-Maxwellian distributions, the collision operator, however, is difficult to compute. In this Letter, we introduce Gaussian Radial Basis Functions (RBFs) to discretize the velocity space of the entire kinetic system, and give the corresponding analytical expressions for the Vlasov and collision operator. Outlining the general theory, we also highlight the connection to plasma fluid theories, and give 2D and 3D numerical solutions of the non-linear Fokker–Planck equation. Applications are anticipated in both astrophysical and laboratory plasmas. - Highlights: • A radically new method to address the velocity space discretization of the non-linear kinetic equation of plasmas. • Elegant and physically intuitive, flexible and mesh-free. • Demonstration of numerical solution of both 2-D and 3-D non-linear Fokker–Planck relaxation problem.

Spectral function from Reduced Density Matrix Functional Theory

Science.gov (United States)

Romaniello, Pina; di Sabatino, Stefano; Berger, Jan A.; Reining, Lucia

2015-03-01

In this work we focus on the calculation of the spectral function, which determines, for example, photoemission spectra, from reduced density matrix functional theory. Starting from its definition in terms of the one-body Green's function we derive an expression for the spectral function that depends on the natural occupation numbers and on an effective energy which accounts for all the charged excitations. This effective energy depends on the two-body as well as higher-order density matrices. Various approximations to this expression are explored by using the exactly solvable Hubbard chains.

A Safari Through Density Functional Theory

Science.gov (United States)

Dreizler, Reiner M.; Lüdde, Cora S.

Density functional theory is widely used to treat quantum many body problems in many areas of physics and related fields. A brief survey of this method covering foundations, functionals and applications is presented here.

Improved Off-Shell Scattering Amplitudes in String Field Theory and New Computational Methods

CERN Document Server

Park, I Y; Bars, Itzhak

2004-01-01

We report on new results in Witten's cubic string field theory for the off-shell factor in the 4-tachyon amplitude that was not fully obtained explicitly before. This is achieved by completing the derivation of the Veneziano formula in the Moyal star formulation of Witten's string field theory (MSFT). We also demonstrate detailed agreement of MSFT with a number of on-shell and off-shell computations in other approaches to Witten's string field theory. We extend the techniques of computation in MSFT, and show that the j=0 representation of SL(2,R) generated by the Virasoro operators $L_{0},L_{\\pm1}$ is a key structure in practical computations for generating numbers. We provide more insight into the Moyal structure that simplifies string field theory, and develop techniques that could be applied more generally, including nonperturbative processes.

Foundations of free noncommutative function theory

CERN Document Server

Kaliuzhnyi-Verbovetskyi, Dmitry S

2014-01-01

In this book the authors develop a theory of free noncommutative functions, in both algebraic and analytic settings. Such functions are defined as mappings from square matrices of all sizes over a module (in particular, a vector space) to square matrices over another module, which respect the size, direct sums, and similarities of matrices. Examples include, but are not limited to, noncommutative polynomials, power series, and rational expressions. Motivation and inspiration for using the theory of free noncommutative functions often comes from free probability. An important application area is "dimensionless" matrix inequalities; these arise, e.g., in various optimization problems of system engineering. Among other related areas are those of polynomial identities in rings, formal languages and finite automata, quasideterminants, noncommutative symmetric functions, operator spaces and operator algebras, and quantum control.

Excited-state density functional theory

International Nuclear Information System (INIS)

Harbola, Manoj K; Hemanadhan, M; Shamim, Md; Samal, P

2012-01-01

Starting with a brief introduction to excited-state density functional theory, we present our method of constructing modified local density approximated (MLDA) energy functionals for the excited states. We show that these functionals give accurate results for kinetic energy and exchange energy compared to the ground state LDA functionals. Further, with the inclusion of GGA correction, highly accurate total energies for excited states are obtained. We conclude with a brief discussion on the further direction of research that include the construction of correlation energy functional and exchange potential for excited states.

Data structures theory and practice

CERN Document Server

Berztiss, A T

1971-01-01

Computer Science and Applied Mathematics: Data Structures: Theory and Practice focuses on the processes, methodologies, principles, and approaches involved in data structures, including algorithms, decision trees, Boolean functions, lattices, and matrices. The book first offers information on set theory, functions, and relations, and graph theory. Discussions focus on linear formulas of digraphs, isomorphism of digraphs, basic definitions in the theory of digraphs, Boolean functions and forms, lattices, indexed sets, algebra of sets, and order pair and related concepts. The text then examines

Elliptic hypergeometric functions and the representation theory

International Nuclear Information System (INIS)

Spiridonov, V.P.

2011-01-01

Full text: (author)Elliptic hypergeometric functions were discovered around ten years ago. They represent the top level known generalization of the Euler beta integral and Euler-Gauss 2 F 1 hypergeometric function. In general form they are defined by contour integrals involving elliptic gamma functions. We outline the structure of the simplest examples of such functions and discuss their relations to the representation theory of the classical Lie groups and their various deformations. In one of the constructions elliptic hypergeometric integrals describe purely group-theoretical objects having the physical meaning of superconformal indices of four-dimensional supersymmetric gauge field theories

Applications of potential theory computations to transonic aeroelasticity

Science.gov (United States)

Edwards, J. W.

1986-01-01

Unsteady aerodynamic and aeroelastic stability calculations based upon transonic small disturbance (TSD) potential theory are presented. Results from the two-dimensional XTRAN2L code and the three-dimensional XTRAN3S code are compared with experiment to demonstrate the ability of TSD codes to treat transonic effects. The necessity of nonisentropic corrections to transonic potential theory is demonstrated. Dynamic computational effects resulting from the choice of grid and boundary conditions are illustrated. Unsteady airloads for a number of parameter variations including airfoil shape and thickness, Mach number, frequency, and amplitude are given. Finally, samples of transonic aeroelastic calculations are given. A key observation is the extent to which unsteady transonic airloads calculated by inviscid potential theory may be treated in a locally linear manner.

3rd International Conference on Frontiers of Intelligent Computing : Theory and Applications

CERN Document Server

Biswal, Bhabendra; Udgata, Siba; Mandal, JK

2015-01-01

Volume 1 contains 95 papers presented at FICTA 2014: Third International Conference on Frontiers in Intelligent Computing: Theory and Applications. The conference was held during 14-15, November, 2014 at Bhubaneswar, Odisha, India.  This volume contains papers mainly focused on Data Warehousing and Mining, Machine Learning, Mobile and Ubiquitous Computing, AI, E-commerce & Distributed Computing and Soft Computing, Evolutionary Computing, Bio-inspired Computing and its Applications.

VISUALIZATION IN THE PACKAGE AUTODESK INVENTOR SKETCH GEOMETRY WHEN USING TOOLS IN THE THEORY OF R-FUNCTIONS

Directory of Open Access Journals (Sweden)

E. Іvanov

2015-12-01

Full Text Available The paper deals with possibility of automation and control of the computational process when using the tools in the theory of R-functions possessing the properties of logic algebra, while not going beyond the elementary functions, make it possible to build the equations of geometric objects with an almost arbitrary shape. And the use of computer graphics makes it posible to represent the equation of the boundar surface and the conical region of the curved tooth coupling and the whole disk in on analytical form with possible visualization in the Autodesk Inventor package.

Analytic derivatives for perturbatively corrected ''double hybrid'' density functionals: Theory, implementation, and applications

International Nuclear Information System (INIS)

Neese, Frank; Schwabe, Tobias; Grimme, Stefan

2007-01-01

A recently proposed new family of density functionals [S. Grimme, J. Chem. Phys. 124, 34108 (2006)] adds a fraction of nonlocal correlation as a new ingredient to density functional theory (DFT). This fractional correlation energy is calculated at the level of second-order many-body perturbation theory (PT2) and replaces some of the semilocal DFT correlation of standard hybrid DFT methods. The new ''double hybrid'' functionals (termed, e.g., B2-PLYP) contain only two empirical parameters that have been adjusted in thermochemical calculations on parts of the G2/3 benchmark set. The methods have provided the lowest errors ever obtained by any DFT method for the full G3 set of molecules. In this work, the applicability of the new functionals is extended to the exploration of potential energy surfaces with analytic gradients. The theory of the analytic gradient largely follows the standard theory of PT2 gradients with some additional subtleties due to the presence of the exchange-correlation terms in the self-consistent field operator. An implementation is reported for closed-shell as well as spin-unrestricted reference determinants. Furthermore, the implementation includes external point charge fields and also accommodates continuum solvation models at the level of the conductor like screening model. The density fitting resolution of the identity (RI) approximation can be applied to the evaluation of the PT2 part with large gains in computational efficiency. For systems with ∼500-600 basis functions the evaluation of the double hybrid gradient is approximately four times more expensive than the calculation of the standard hybrid DFT gradient. Extensive test calculations are provided for main group elements and transition metal containing species. The results reveal that the B2-PLYP functional provides excellent molecular geometries that are superior compared to those from standard DFT and MP2

Density functional theory in quantum chemistry

CERN Document Server

Tsuneda, Takao

2014-01-01

This book examines density functional theory based on the foundation of quantum chemistry. Unconventional in approach, it reviews basic concepts, then describes the physical meanings of state-of-the-art exchange-correlation functionals and their corrections.

Digital computer structure and design

CERN Document Server

Townsend, R

2014-01-01

Digital Computer Structure and Design, Second Edition discusses switching theory, counters, sequential circuits, number representation, and arithmetic functions The book also describes computer memories, the processor, data flow system of the processor, the processor control system, and the input-output system. Switching theory, which is purely a mathematical concept, centers on the properties of interconnected networks of ""gates."" The theory deals with binary functions of 1 and 0 which can change instantaneously from one to the other without intermediate values. The binary number system is

Semiclassical theory for the nuclear response function

International Nuclear Information System (INIS)

Stroth, U.

1986-01-01

In the first part of this thesis it was demonstrated how on a semiclassical base a RPA theory is developed and applied to electron scattering. It was shown in which fields of nuclear physics this semiclassical theory can be applied and how it is to be understood. In this connection we dedicated an extensive discussion to the Fermi gas model. From the free response function we calculated the RPA response with a finite-range residual interaction which we completely antisymmetrize. In the second part of this thesis we studied with our theory (e,e') data for the separated response functions. (orig./HSI) [de

Transport in Chern-Simons-matter theories

Energy Technology Data Exchange (ETDEWEB)

Gur-Ari, Guy; Hartnoll, Sean; Mahajan, Raghu [Stanford Institute for Theoretical Physics, Stanford University,Stanford, CA 94305 (United States)

2016-07-18

The frequency-dependent longitudinal and Hall conductivities — σ{sub xx} and σ{sub xy} — are dimensionless functions of ω/T in 2+1 dimensional CFTs at nonzero temperature. These functions characterize the spectrum of charged excitations of the theory and are basic experimental observables. We compute these conductivities for large N Chern-Simons theory with fermion matter. The computation is exact in the ’t Hooft coupling λ at N=∞. We describe various physical features of the conductivity, including an explicit relation between the weight of the delta function at ω=0 in σ{sub xx} and the existence of infinitely many higher spin conserved currents in the theory. We also compute the conductivities perturbatively in Chern-Simons theory with scalar matter and show that the resulting functions of ω/T agree with the strong coupling fermionic result. This provides a new test of the conjectured 3d bosonization duality. In matching the Hall conductivities we resolve an outstanding puzzle by carefully treating an extra anomaly that arises in the regularization scheme used.

A multiconfigurational hybrid density-functional theory

DEFF Research Database (Denmark)

Sharkas, Kamal; Savin, Andreas; Jensen, Hans Jørgen Aagaard

2012-01-01

We propose a multiconfigurational hybrid density-functional theory which rigorously combines a multiconfiguration self-consistent-field calculation with a density-functional approximation based on a linear decomposition of the electron-electron interaction. This gives a straightforward extension ...

Multicomponent Density Functional Theory: Impact of Nuclear Quantum Effects on Proton Affinities and Geometries.

Science.gov (United States)

Brorsen, Kurt R; Yang, Yang; Hammes-Schiffer, Sharon

2017-08-03

Nuclear quantum effects such as zero point energy play a critical role in computational chemistry and often are included as energetic corrections following geometry optimizations. The nuclear-electronic orbital (NEO) multicomponent density functional theory (DFT) method treats select nuclei, typically protons, quantum mechanically on the same level as the electrons. Electron-proton correlation is highly significant, and inadequate treatments lead to highly overlocalized nuclear densities. A recently developed electron-proton correlation functional, epc17, has been shown to provide accurate nuclear densities for molecular systems. Herein, the NEO-DFT/epc17 method is used to compute the proton affinities for a set of molecules and to examine the role of nuclear quantum effects on the equilibrium geometry of FHF - . The agreement of the computed results with experimental and benchmark values demonstrates the promise of this approach for including nuclear quantum effects in calculations of proton affinities, pK a 's, optimized geometries, and reaction paths.

Uniform magnetic fields in density-functional theory

Science.gov (United States)

Tellgren, Erik I.; Laestadius, Andre; Helgaker, Trygve; Kvaal, Simen; Teale, Andrew M.

2018-01-01

We construct a density-functional formalism adapted to uniform external magnetic fields that is intermediate between conventional density functional theory and Current-Density Functional Theory (CDFT). In the intermediate theory, which we term linear vector potential-DFT (LDFT), the basic variables are the density, the canonical momentum, and the paramagnetic contribution to the magnetic moment. Both a constrained-search formulation and a convex formulation in terms of Legendre-Fenchel transformations are constructed. Many theoretical issues in CDFT find simplified analogs in LDFT. We prove results concerning N-representability, Hohenberg-Kohn-like mappings, existence of minimizers in the constrained-search expression, and a restricted analog to gauge invariance. The issue of additivity of the energy over non-interacting subsystems, which is qualitatively different in LDFT and CDFT, is also discussed.

Review of the Fusion Theory and Computing Program. Fusion Energy Sciences Advisory Committee (FESAC)

International Nuclear Information System (INIS)

Antonsen, Thomas M.; Berry, Lee A.; Brown, Michael R.; Dahlburg, Jill P.; Davidson, Ronald C.; Greenwald, Martin; Hegna, Chris C.; McCurdy, William; Newman, David E.; Pellegrini, Claudio; Phillips, Cynthia K.; Post, Douglass E.; Rosenbluth, Marshall N.; Sheffield, John; Simonen, Thomas C.; Van Dam, James

2001-01-01

At the November 14-15, 2000, meeting of the Fusion Energy Sciences Advisory Committee, a Panel was set up to address questions about the Theory and Computing program, posed in a charge from the Office of Fusion Energy Sciences (see Appendix A). This area was of theory and computing/simulations had been considered in the FESAC Knoxville meeting of 1999 and in the deliberations of the Integrated Program Planning Activity (IPPA) in 2000. A National Research Council committee provided a detailed review of the scientific quality of the fusion energy sciences program, including theory and computing, in 2000.

Computing on Encrypted Data: Theory and Application

Science.gov (United States)

2016-01-01

permits short ciphertexts – e.g., encrypted using AES – to be de-compressed to longer ciphertexts that permit homomorphic operations. Bootstrapping...allows us to save memory by storing data encrypted in the compressed form – e.g., under AES . Here, we revisit bootstrapping, viewing it as an...COMPUTING ON ENCRYPTED DATA: THEORY AND APPLICATION MASSACHUSETTS INSTITUTE OF TECHNOLOGY JANUARY 2016 FINAL TECHNICAL REPORT

Computation of magnetic suspension of maglev systems using dynamic circuit theory

Science.gov (United States)

He, J. L.; Rote, D. M.; Coffey, H. T.

1992-01-01

Dynamic circuit theory is applied to several magnetic suspensions associated with maglev systems. These suspension systems are the loop-shaped coil guideway, the figure-eight-shaped null-flux coil guideway, and the continuous sheet guideway. Mathematical models, which can be used for the development of computer codes, are provided for each of these suspension systems. The differences and similarities of the models in using dynamic circuit theory are discussed in the paper. The paper emphasizes the transient and dynamic analysis and computer simulation of maglev systems. In general, the method discussed here can be applied to many electrodynamic suspension system design concepts. It is also suited for the computation of the performance of maglev propulsion systems. Numerical examples are presented in the paper.

Disciplines, models, and computers: the path to computational quantum chemistry.

Science.gov (United States)

Lenhard, Johannes

2014-12-01

Many disciplines and scientific fields have undergone a computational turn in the past several decades. This paper analyzes this sort of turn by investigating the case of computational quantum chemistry. The main claim is that the transformation from quantum to computational quantum chemistry involved changes in three dimensions. First, on the side of instrumentation, small computers and a networked infrastructure took over the lead from centralized mainframe architecture. Second, a new conception of computational modeling became feasible and assumed a crucial role. And third, the field of computa- tional quantum chemistry became organized in a market-like fashion and this market is much bigger than the number of quantum theory experts. These claims will be substantiated by an investigation of the so-called density functional theory (DFT), the arguably pivotal theory in the turn to computational quantum chemistry around 1990.

Functional analysis theory and applications

CERN Document Server

Edwards, RE

2011-01-01

""The book contains an enormous amount of information - mathematical, bibliographical and historical - interwoven with some outstanding heuristic discussions."" - Mathematical Reviews.In this massive graduate-level study, Emeritus Professor Edwards (Australian National University, Canberra) presents a balanced account of both the abstract theory and the applications of linear functional analysis. Written for readers with a basic knowledge of set theory, general topology, and vector spaces, the book includes an abundance of carefully chosen illustrative examples and excellent exercises at the

Computing the scattering properties of participating media using Lorenz-Mie theory

DEFF Research Database (Denmark)

2007-01-01

This source code implements Lorenz-Mie theory using the formulas presented in the SIGGRAPH 2007 paper: J. R. Frisvad, N. J. Christensen, and H. W. Jensen: "Computing the Scattering Properties of Participating Media Using Lorenz-Mie Theory". Copyright (c) ACM 2007. This is the author's version...

Consistent momentum space regularization/renormalization of supersymmetric quantum field theories: the three-loop β-function for the Wess-Zumino model

International Nuclear Information System (INIS)

Carneiro, David; Sampaio, Marcos; Nemes, Maria Carolina; Scarpelli, Antonio Paulo Baeta

2003-01-01

We compute the three loop β function of the Wess-Zumino model to motivate implicit regularization (IR) as a consistent and practical momentum-space framework to study supersymmetric quantum field theories. In this framework which works essentially in the physical dimension of the theory we show that ultraviolet are clearly disentangled from infrared divergences. We obtain consistent results which motivate the method as a good choice to study supersymmetry anomalies in quantum field theories. (author)

Describing a Strongly Correlated Model System with Density Functional Theory.

Science.gov (United States)

Kong, Jing; Proynov, Emil; Yu, Jianguo; Pachter, Ruth

2017-07-06

The linear chain of hydrogen atoms, a basic prototype for the transition from a metal to Mott insulator, is studied with a recent density functional theory model functional for nondynamic and strong correlation. The computed cohesive energy curve for the transition agrees well with accurate literature results. The variation of the electronic structure in this transition is characterized with a density functional descriptor that yields the atomic population of effectively localized electrons. These new methods are also applied to the study of the Peierls dimerization of the stretched even-spaced Mott insulator to a chain of H 2 molecules, a different insulator. The transitions among the two insulating states and the metallic state of the hydrogen chain system are depicted in a semiquantitative phase diagram. Overall, we demonstrate the capability of studying strongly correlated materials with a mean-field model at the fundamental level, in contrast to the general pessimistic view on such a feasibility.

Developing the next generation of diverse computer scientists: the need for enhanced, intersectional computing identity theory

Science.gov (United States)

Rodriguez, Sarah L.; Lehman, Kathleen

2017-10-01

This theoretical paper explores the need for enhanced, intersectional computing identity theory for the purpose of developing a diverse group of computer scientists for the future. Greater theoretical understanding of the identity formation process specifically for computing is needed in order to understand how students come to understand themselves as computer scientists. To ensure that the next generation of computer scientists is diverse, this paper presents a case for examining identity development intersectionally, understanding the ways in which women and underrepresented students may have difficulty identifying as computer scientists and be systematically oppressed in their pursuit of computer science careers. Through a review of the available scholarship, this paper suggests that creating greater theoretical understanding of the computing identity development process will inform the way in which educational stakeholders consider computer science practices and policies.

Orbital functionals in density-matrix- and current-density-functional theory

Energy Technology Data Exchange (ETDEWEB)

Helbig, N

2006-05-15

Density-Functional Theory (DFT), although widely used and very successful in the calculation of several observables, fails to correctly describe strongly correlated materials. In the first part of this work we, therefore, introduce reduced-densitymatrix- functional theory (RDMFT) which is one possible way to treat electron correlation beyond DFT. Within this theory the one-body reduced density matrix (1- RDM) is used as the basic variable. Our main interest is the calculation of the fundamental gap which proves very problematic within DFT. In order to calculate the fundamental gap we generalize RDMFT to fractional particle numbers M by describing the system as an ensemble of an N and an N+1 particle system (with N{<=}M{<=}N+1). For each fixed particle number, M, the total energy is minimized with respect to the natural orbitals and their occupation numbers. This leads to the total energy as a function of M. The derivative of this function with respect to the particle number has a discontinuity at integer particle number which is identical to the gap. In addition, we investigate the necessary and sufficient conditions for the 1- RDM of a system with fractional particle number to be N-representable. Numerical results are presented for alkali atoms, small molecules, and periodic systems. Another problem within DFT is the description of non-relativistic many-electron systems in the presence of magnetic fields. It requires the paramagnetic current density and the spin magnetization to be used as basic variables besides the electron density. However, electron-gas-based functionals of current-spin-density-functional Theory (CSDFT) exhibit derivative discontinuities as a function of the magnetic field whenever a new Landau level is occupied, which makes them difficult to use in practice. Since the appearance of Landau levels is, intrinsically, an orbital effect it is appealing to use orbital-dependent functionals. We have developed a CSDFT version of the optimized

Generalized perturbation theory using two-dimensional, discrete ordinates transport theory

International Nuclear Information System (INIS)

Childs, R.L.

1979-01-01

Perturbation theory for changes in linear and bilinear functionals of the forward and adjoint fluxes in a critical reactor has been implemented using two-dimensional discrete ordinates transport theory. The computer program DOT IV was modified to calculate the generalized functions Λ and Λ*. Demonstration calculations were performed for changes in a reaction-rate ratio and a reactivity worth caused by system perturbations. The perturbation theory predictions agreed with direct calculations to within about 2%. A method has been developed for calculating higher lambda eigenvalues and eigenfunctions using techniques similar to those developed for generalized functions. Demonstration calculations have been performed to obtain these eigenfunctions

DGDFT: A massively parallel method for large scale density functional theory calculations.

Science.gov (United States)

Hu, Wei; Lin, Lin; Yang, Chao

2015-09-28

We describe a massively parallel implementation of the recently developed discontinuous Galerkin density functional theory (DGDFT) method, for efficient large-scale Kohn-Sham DFT based electronic structure calculations. The DGDFT method uses adaptive local basis (ALB) functions generated on-the-fly during the self-consistent field iteration to represent the solution to the Kohn-Sham equations. The use of the ALB set provides a systematic way to improve the accuracy of the approximation. By using the pole expansion and selected inversion technique to compute electron density, energy, and atomic forces, we can make the computational complexity of DGDFT scale at most quadratically with respect to the number of electrons for both insulating and metallic systems. We show that for the two-dimensional (2D) phosphorene systems studied here, using 37 basis functions per atom allows us to reach an accuracy level of 1.3 × 10(-4) Hartree/atom in terms of the error of energy and 6.2 × 10(-4) Hartree/bohr in terms of the error of atomic force, respectively. DGDFT can achieve 80% parallel efficiency on 128,000 high performance computing cores when it is used to study the electronic structure of 2D phosphorene systems with 3500-14 000 atoms. This high parallel efficiency results from a two-level parallelization scheme that we will describe in detail.

DGDFT: A massively parallel method for large scale density functional theory calculations

International Nuclear Information System (INIS)

Hu, Wei; Yang, Chao; Lin, Lin

2015-01-01

We describe a massively parallel implementation of the recently developed discontinuous Galerkin density functional theory (DGDFT) method, for efficient large-scale Kohn-Sham DFT based electronic structure calculations. The DGDFT method uses adaptive local basis (ALB) functions generated on-the-fly during the self-consistent field iteration to represent the solution to the Kohn-Sham equations. The use of the ALB set provides a systematic way to improve the accuracy of the approximation. By using the pole expansion and selected inversion technique to compute electron density, energy, and atomic forces, we can make the computational complexity of DGDFT scale at most quadratically with respect to the number of electrons for both insulating and metallic systems. We show that for the two-dimensional (2D) phosphorene systems studied here, using 37 basis functions per atom allows us to reach an accuracy level of 1.3 × 10 −4 Hartree/atom in terms of the error of energy and 6.2 × 10 −4 Hartree/bohr in terms of the error of atomic force, respectively. DGDFT can achieve 80% parallel efficiency on 128,000 high performance computing cores when it is used to study the electronic structure of 2D phosphorene systems with 3500-14 000 atoms. This high parallel efficiency results from a two-level parallelization scheme that we will describe in detail

DGDFT: A massively parallel method for large scale density functional theory calculations

Energy Technology Data Exchange (ETDEWEB)

Hu, Wei, E-mail: whu@lbl.gov; Yang, Chao, E-mail: cyang@lbl.gov [Computational Research Division, Lawrence Berkeley National Laboratory, Berkeley, California 94720 (United States); Lin, Lin, E-mail: linlin@math.berkeley.edu [Computational Research Division, Lawrence Berkeley National Laboratory, Berkeley, California 94720 (United States); Department of Mathematics, University of California, Berkeley, California 94720 (United States)

2015-09-28

We describe a massively parallel implementation of the recently developed discontinuous Galerkin density functional theory (DGDFT) method, for efficient large-scale Kohn-Sham DFT based electronic structure calculations. The DGDFT method uses adaptive local basis (ALB) functions generated on-the-fly during the self-consistent field iteration to represent the solution to the Kohn-Sham equations. The use of the ALB set provides a systematic way to improve the accuracy of the approximation. By using the pole expansion and selected inversion technique to compute electron density, energy, and atomic forces, we can make the computational complexity of DGDFT scale at most quadratically with respect to the number of electrons for both insulating and metallic systems. We show that for the two-dimensional (2D) phosphorene systems studied here, using 37 basis functions per atom allows us to reach an accuracy level of 1.3 × 10{sup −4} Hartree/atom in terms of the error of energy and 6.2 × 10{sup −4} Hartree/bohr in terms of the error of atomic force, respectively. DGDFT can achieve 80% parallel efficiency on 128,000 high performance computing cores when it is used to study the electronic structure of 2D phosphorene systems with 3500-14 000 atoms. This high parallel efficiency results from a two-level parallelization scheme that we will describe in detail.

Generalization of Spatial Channel Theory to Three-Dimensional x-y-z Transport Computations

International Nuclear Information System (INIS)

Abu-Shumays, I. K.; Hunter, M. A.; Martz, R. L.; Risner, J. M.

2002-01-01

Spatial channel theory, initially introduced in 1977 by M. L. Williams and colleagues at ORNL, is a powerful tool for shield design optimization. It focuses on so called ''contributon'' flux and current of particles (a fraction of the total of neutrons, photons, etc.) which contribute directly or through their progeny to a pre-specified response, such as a detector reading, dose rate, reaction rate, etc., at certain locations of interest. Particles that do not contribute directly or indirectly to the pre-specified response, such as particles that are absorbed or leak out, are ignored. Contributon fluxes and currents are computed based on combined forward and adjoint transport solutions. The initial concepts were considerably improved by Abu-Shumays, Selva, and Shure by introducing steam functions and response flow functions. Plots of such functions provide both qualitative and quantitative information on dominant particle flow paths and identify locations within a shield configuration that are important in contributing to the response of interest. Previous work was restricted to two dimensional (2-D) x-y rectangular and r-z cylindrical geometries. This paper generalizes previous work to three-dimensional x-y-z geometry, since it is now practical to solve realistic 3-D problems with multidimensional transport programs. As in previous work, new analytic expressions are provided for folding spherical harmonics representations of forward and adjoint transport flux solutions. As a result, the main integrals involve in spatial channel theory are computed exactly and more efficiently than by numerical quadrature. The analogy with incompressible fluid flow is also applied to obtain visual qualitative and quantitative measures of important streaming paths that could prove vital for shield design optimization. Illustrative examples are provided. The connection between the current paper and the excellent work completed by M. L. Williams in 1991 is also discussed

Using projector augmented-wave (PAW) formalism inside the density-functional perturbation theory; L'utilisation du formalisme PAW en theorie de la fonctionnelle de la densite perturbee

Energy Technology Data Exchange (ETDEWEB)

Audouze, Ch

2006-07-01

In condensed matter physics, ab-initio simulation allows to get macroscopic quantities (for example equations of state) from microscopic ones, as phonon frequencies which characterize the vibration Eigenmodes of the system. Therefore, one can theoretically predict the behavior of the material at very high pressure conditions, which can be out of reach by experiences. Computations of phonon spectrum are obtained thanks to the linear response theory, where the equations of Density Functional Theory (as the Kohn-Sham model) are perturbed around their fundamental state. The linear response functionality is one of the options included in the ABINIT code, which is an open source package developed in particular by a team of the CEA-DAM (DPTA) and the Catholic University of Louvain-la-Neuve (Belgium). Nevertheless, in spite of using pseudopotentials, computations of phonon spectrum are not tractable for heavy chemical elements, even on massively parallel computers. In order to overcome this difficulty, the linear response theory had to be extended to the PAW (Projector Augmented-Waves) formalism. In this CEA report, we first detail the PAW model, giving to it a more mathematical framework. Then we establish the linear response equations within the PAW formalism, up to the third order derivative of the total energy, for an isolated molecular system and for generic perturbations. Lastly, all these results are specified to the particular case of atom displacements and for perturbations associated to the change of an external potential in which the molecule is set. (author)

Solving pure yang-mills theory in dimensions.

Science.gov (United States)

Leigh, Robert G; Minic, Djordje; Yelnikov, Alexandr

2006-06-09

We analytically compute the spectrum of the spin zero glueballs in the planar limit of pure Yang-Mills theory in 2 + 1 dimensions. The new ingredient is provided by our computation of a new nontrivial form of the ground state wave functional. The mass spectrum of the theory is determined by the zeroes of Bessel functions, and the agreement with large lattice data is excellent.

Range-separated density-functional theory for molecular excitation energies

International Nuclear Information System (INIS)

Rebolini, E.

2014-01-01

Linear-response time-dependent density-functional theory (TDDFT) is nowadays a method of choice to compute molecular excitation energies. However, within the usual adiabatic semi-local approximations, it is not able to describe properly Rydberg, charge-transfer or multiple excitations. Range separation of the electronic interaction allows one to mix rigorously density-functional methods at short range and wave function or Green's function methods at long range. When applied to the exchange functional, it already corrects most of these deficiencies but multiple excitations remain absent as they need a frequency-dependent kernel. In this thesis, the effects of range separation are first assessed on the excitation energies of a partially-interacting system in an analytic and numerical study in order to provide guidelines for future developments of range-separated methods for excitation energy calculations. It is then applied on the exchange and correlation TDDFT kernels in a single-determinant approximation in which the long-range part of the correlation kernel vanishes. A long-range frequency-dependent second-order correlation kernel is then derived from the Bethe-Salpeter equation and added perturbatively to the range-separated TDDFT kernel in order to take into account the effects of double excitations. (author)

Computing decay rates for new physics theories with FEYNRULES and MADGRAPH 5_AMC@NLO

Science.gov (United States)

Alwall, Johan; Duhr, Claude; Fuks, Benjamin; Mattelaer, Olivier; Öztürk, Deniz Gizem; Shen, Chia-Hsien

2015-12-01

We present new features of the FEYNRULES and MADGRAPH 5_AMC@NLO programs for the automatic computation of decay widths that consistently include channels of arbitrary final-state multiplicity. The implementations are generic enough so that they can be used in the framework of any quantum field theory, possibly including higher-dimensional operators. We extend at the same time the conventions of the Universal FEYNRULES Output (or UFO) format to include decay tables and information on the total widths. We finally provide a set of representative examples of the usage of the new functions of the different codes in the framework of the Standard Model, the Higgs Effective Field Theory, the Strongly Interacting Light Higgs model and the Minimal Supersymmetric Standard Model and compare the results to available literature and programs for validation purposes.

Computer Models and Automata Theory in Biology and Medicine

CERN Document Server

Baianu, I C

2004-01-01

The applications of computers to biological and biomedical problem solving goes back to the very beginnings of computer science, automata theory [1], and mathematical biology [2]. With the advent of more versatile and powerful computers, biological and biomedical applications of computers have proliferated so rapidly that it would be virtually impossible to compile a comprehensive review of all developments in this field. Limitations of computer simulations in biology have also come under close scrutiny, and claims have been made that biological systems have limited information processing power [3]. Such general conjectures do not, however, deter biologists and biomedical researchers from developing new computer applications in biology and medicine. Microprocessors are being widely employed in biological laboratories both for automatic data acquisition/processing and modeling; one particular area, which is of great biomedical interest, involves fast digital image processing and is already established for rout...

Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions

CERN Document Server

Masson, Marie-Hélène

2012-01-01

The theory of belief functions, also known as evidence theory or Dempster-Shafer theory, was first introduced by Arthur P. Dempster in the context of statistical inference, and was later developed by Glenn Shafer as a general framework for modeling epistemic uncertainty. These early contributions have been the starting points of many important developments, including the Transferable Belief Model and the Theory of Hints. The theory of belief functions is now well established as a general framework for reasoning with uncertainty, and has well understood connections to other frameworks such as probability, possibility and imprecise probability theories.   This volume contains the proceedings of the 2nd International Conference on Belief Functions that was held in Compiègne, France on 9-11 May 2012. It gathers 51 contributions describing recent developments both on theoretical issues (including approximation methods, combination rules, continuous belief functions, graphical models and independence concepts) an...

A Theory of the Function of Technical Writing.

Science.gov (United States)

Ross, Donald, Jr.

1981-01-01

Advances the theory that technical writing functions as a replacement for memory--an information storage receptacle. Lists the formal and stylistic features implied by such a theory. Considers the future development of technical writing within the context of this theory. (RL)

Superconvergent perturbation theory for euclidean scalar field theories

International Nuclear Information System (INIS)

Ushveridze, A.G.

1984-01-01

It is shown that the bare (unrenormalized) correlation functions in the euclidean scalar field theories can be expanded in a series whose terms, being computable in a relatively simple way, are free from ultraviolet and infrared divergencies. This series is convergent (divergent) for finite (infinite) values of the correlation functions. (orig.)

Defining Effectiveness Using Finite Sets A Study on Computability

DEFF Research Database (Denmark)

Macedo, Hugo Daniel dos Santos; Haeusler, Edward H.; Garcia, Alex

2016-01-01

finite sets and uses category theory as its mathematical foundations. The model relies on the fact that every function between finite sets is computable, and that the finite composition of such functions is also computable. Our approach is an alternative to the traditional model-theoretical based works...... which rely on (ZFC) set theory as a mathematical foundation, and our approach is also novel when compared to the already existing works using category theory to approach computability results. Moreover, we show how to encode Turing machine computations in the model, thus concluding the model expresses...

Superoperator nonequilibrium Green's function theory of many-body systems; applications to charge transfer and transport in open junctions

International Nuclear Information System (INIS)

Harbola, U.; Mukamel, S.

2008-01-01

Nonequilibrium Green's functions provide a powerful tool for computing the dynamical response and particle exchange statistics of coupled quantum systems. We formulate the theory in terms of the density matrix in Liouville space and introduce superoperator algebra that greatly simplifies the derivation and the physical interpretation of all quantities. Expressions for various observables are derived directly in real time in terms of superoperator nonequilibrium Green's functions (SNGF), rather than the artificial time-loop required in Schwinger's Hilbert-space formulation. Applications for computing interaction energies, charge densities, average currents, current induced fluorescence, electroluminescence and current fluctuation (electron counting) statistics are discussed

Automatic computation of transfer functions

Science.gov (United States)

Atcitty, Stanley; Watson, Luke Dale

2015-04-14

Technologies pertaining to the automatic computation of transfer functions for a physical system are described herein. The physical system is one of an electrical system, a mechanical system, an electromechanical system, an electrochemical system, or an electromagnetic system. A netlist in the form of a matrix comprises data that is indicative of elements in the physical system, values for the elements in the physical system, and structure of the physical system. Transfer functions for the physical system are computed based upon the netlist.

Quantal density functional theory II. Approximation methods and applications

International Nuclear Information System (INIS)

Sahni, Viraht

2010-01-01

This book is on approximation methods and applications of Quantal Density Functional Theory (QDFT), a new local effective-potential-energy theory of electronic structure. What distinguishes the theory from traditional density functional theory is that the electron correlations due to the Pauli exclusion principle, Coulomb repulsion, and the correlation contribution to the kinetic energy -- the Correlation-Kinetic effects -- are separately and explicitly defined. As such it is possible to study each property of interest as a function of the different electron correlations. Approximations methods based on the incorporation of different electron correlations, as well as a many-body perturbation theory within the context of QDFT, are developed. The applications are to the few-electron inhomogeneous electron gas systems in atoms and molecules, as well as to the many-electron inhomogeneity at metallic surfaces. (orig.)

Functional renormalization group and Kohn-Sham scheme in density functional theory

Science.gov (United States)

Liang, Haozhao; Niu, Yifei; Hatsuda, Tetsuo

2018-04-01

Deriving accurate energy density functional is one of the central problems in condensed matter physics, nuclear physics, and quantum chemistry. We propose a novel method to deduce the energy density functional by combining the idea of the functional renormalization group and the Kohn-Sham scheme in density functional theory. The key idea is to solve the renormalization group flow for the effective action decomposed into the mean-field part and the correlation part. Also, we propose a simple practical method to quantify the uncertainty associated with the truncation of the correlation part. By taking the φ4 theory in zero dimension as a benchmark, we demonstrate that our method shows extremely fast convergence to the exact result even for the highly strong coupling regime.

Teaching Density Functional Theory Through Experiential Learning

International Nuclear Information System (INIS)

Narasimhan, Shobhana

2015-01-01

Today, quantum mechanical density functional theory is often the method of choice for performing accurate calculations on atomic, molecular and condensed matter systems. Here, I share some of my experiences in teaching the necessary basics of solid state physics, as well as the theory and practice of density functional theory, in a number of workshops held in developing countries over the past two decades. I discuss the advantages of supplementing the usual mathematically formal teaching methods, characteristic of graduate courses, with the use of visual imagery and analogies. I also describe a successful experiment we carried out, which resulted in a joint publication co-authored by 67 lecturers and students participating in a summer school. (paper)

Super-Chern-Simons Theory as Superstring Theory

CERN Document Server

Grassi, P A

2004-01-01

Superstrings and topological strings with supermanifolds as target space play a central role in the recent developments in string theory. Nevertheless the rules for higher-genus computations are still unclear or guessed in analogy with bosonic and fermionic strings. Here we present a common geometrical setting to develop systematically the prescription for amplitude computations. The geometrical origin of these difficulties is the theory of integration of superforms. We provide a translation between the theory of supermanifolds and topological strings with supertarget space. We show how in this formulation one can naturally construct picture changing operators to be inserted in the correlation functions to soak up the zero modes of commuting ghost and we derive the amplitude prescriptions from the coupling with an extended topological gravity on the worldsheet. As an application we consider a simple model on R^(3|2) leading to super-Chern-Simons theory.

International Conference on Frontiers of Intelligent Computing : Theory and Applications

CERN Document Server

Udgata, Siba; Biswal, Bhabendra

2013-01-01

The volume contains the papers presented at FICTA 2012: International Conference on Frontiers in Intelligent Computing: Theory and Applications held on December 22-23, 2012 in Bhubaneswar engineering College, Bhubaneswar, Odissa, India. It contains 86 papers contributed by authors from the globe. These research papers mainly focused on application of intelligent techniques which includes evolutionary computation techniques like genetic algorithm, particle swarm optimization techniques, teaching-learning based optimization etc  for various engineering applications such as data mining, image processing, cloud computing, networking etc.

Discrete state perturbation theory via Green's functions

International Nuclear Information System (INIS)

Rubinson, W.

1975-01-01

The exposition of stationary-state perturbation theory via the Green's function method in Goldberger and Watson's Collision Theory is reworked in a way that makes explicit its mathematical basis. It is stressed that the theory consists of the construction of, and manipulations on, a mathematical identity. The perturbation series fall out of the identity almost immediately. The logical status of the method is commented on

Computer Support of Groups: Theory-Based Models for GDSS Research

OpenAIRE

V. Srinivasan Rao; Sirkka L. Jarvenpaa

1991-01-01

Empirical research in the area of computer support of groups is characterized by inconsistent results across studies. This paper attempts to reconcile the inconsistencies by linking the ad hoc reasoning in the studies to existing theories of communication, minority influence and human information processing. Contingency models are then presented based on the theories discussed. The paper concludes by discussing the linkages between the current work and other recently published integrations of...

Complexity vs energy: theory of computation and theoretical physics

International Nuclear Information System (INIS)

Manin, Y I

2014-01-01

This paper is a survey based upon the talk at the satellite QQQ conference to ECM6, 3Quantum: Algebra Geometry Information, Tallinn, July 2012. It is dedicated to the analogy between the notions of complexity in theoretical computer science and energy in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in which mathematics related to (un)computability is inspired by and to a degree reproduces formalisms of statistical physics and quantum field theory.

Size-dependent error of the density functional theory ionization potential in vacuum and solution.

Science.gov (United States)

Sosa Vazquez, Xochitl A; Isborn, Christine M

2015-12-28

Density functional theory is often the method of choice for modeling the energetics of large molecules and including explicit solvation effects. It is preferable to use a method that treats systems of different sizes and with different amounts of explicit solvent on equal footing. However, recent work suggests that approximate density functional theory has a size-dependent error in the computation of the ionization potential. We here investigate the lack of size-intensivity of the ionization potential computed with approximate density functionals in vacuum and solution. We show that local and semi-local approximations to exchange do not yield a constant ionization potential for an increasing number of identical isolated molecules in vacuum. Instead, as the number of molecules increases, the total energy required to ionize the system decreases. Rather surprisingly, we find that this is still the case in solution, whether using a polarizable continuum model or with explicit solvent that breaks the degeneracy of each solute, and we find that explicit solvent in the calculation can exacerbate the size-dependent delocalization error. We demonstrate that increasing the amount of exact exchange changes the character of the polarization of the solvent molecules; for small amounts of exact exchange the solvent molecules contribute a fraction of their electron density to the ionized electron, but for larger amounts of exact exchange they properly polarize in response to the cationic solute. In vacuum and explicit solvent, the ionization potential can be made size-intensive by optimally tuning a long-range corrected hybrid functional.

Uncertainty quantification for nuclear density functional theory and information content of new measurements.

Science.gov (United States)

McDonnell, J D; Schunck, N; Higdon, D; Sarich, J; Wild, S M; Nazarewicz, W

2015-03-27

Statistical tools of uncertainty quantification can be used to assess the information content of measured observables with respect to present-day theoretical models, to estimate model errors and thereby improve predictive capability, to extrapolate beyond the regions reached by experiment, and to provide meaningful input to applications and planned measurements. To showcase new opportunities offered by such tools, we make a rigorous analysis of theoretical statistical uncertainties in nuclear density functional theory using Bayesian inference methods. By considering the recent mass measurements from the Canadian Penning Trap at Argonne National Laboratory, we demonstrate how the Bayesian analysis and a direct least-squares optimization, combined with high-performance computing, can be used to assess the information content of the new data with respect to a model based on the Skyrme energy density functional approach. Employing the posterior probability distribution computed with a Gaussian process emulator, we apply the Bayesian framework to propagate theoretical statistical uncertainties in predictions of nuclear masses, two-neutron dripline, and fission barriers. Overall, we find that the new mass measurements do not impose a constraint that is strong enough to lead to significant changes in the model parameters. The example discussed in this study sets the stage for quantifying and maximizing the impact of new measurements with respect to current modeling and guiding future experimental efforts, thus enhancing the experiment-theory cycle in the scientific method.

Computer Game Theories for Designing Motivating Educational Software: A Survey Study

Science.gov (United States)

Ang, Chee Siang; Rao, G. S. V. Radha Krishna

2008-01-01

The purpose of this study is to evaluate computer game theories for educational software. We propose a framework for designing engaging educational games based on contemporary game studies which includes ludology and narratology. Ludology focuses on the study of computer games as play and game activities, while narratology revolves around the…

Reaction energetics on long-range corrected density functional theory: Diels-Alder reactions.

Science.gov (United States)

Singh, Raman K; Tsuneda, Takao

2013-02-15

The possibility of quantitative reaction analysis on the orbital energies of long-range corrected density functional theory (LC-DFT) is presented. First, we calculated the Diels-Alder reaction enthalpies that have been poorly given by conventional functionals including B3LYP functional. As a result, it is found that the long-range correction drastically improves the reaction enthalpies. The barrier height energies were also computed for these reactions. Consequently, we found that dispersion correlation correction is also crucial to give accurate barrier height energies. It is, therefore, concluded that both long-range exchange interactions and dispersion correlations are essentially required in conventional functionals to investigate Diels-Alder reactions quantitatively. After confirming that LC-DFT accurately reproduces the orbital energies of the reactant and product molecules of the Diels-Alder reactions, the global hardness responses, the halves of highest occupied molecular orbital (HOMO)-lowest unoccupied molecular orbital (LUMO) energy gaps, along the intrinsic reaction coordinates of two Diels-Alder reactions were computed. We noticed that LC-DFT results satisfy the maximum hardness rule for overall reaction paths while conventional functionals violate this rule on the reaction pathways. Furthermore, our results also show that the HOMO-LUMO gap variations are close to the reaction enthalpies for these Diels-Alder reactions. Based on these results, we foresee quantitative reaction analysis on the orbital energies. Copyright © 2012 Wiley Periodicals, Inc.

The Riemann zeta-function theory and applications

CERN Document Server

Ivic, Aleksandar

2003-01-01

""A thorough and easily accessible account.""-MathSciNet, Mathematical Reviews on the Web, American Mathematical Society. This extensive survey presents a comprehensive and coherent account of Riemann zeta-function theory and applications. Starting with elementary theory, it examines exponential integrals and exponential sums, the Voronoi summation formula, the approximate functional equation, the fourth power moment, the zero-free region, mean value estimates over short intervals, higher power moments, and omega results. Additional topics include zeros on the critical line, zero-density estim

Quasi-particle energy spectra in local reduced density matrix functional theory.

Science.gov (United States)

Lathiotakis, Nektarios N; Helbig, Nicole; Rubio, Angel; Gidopoulos, Nikitas I

2014-10-28

Recently, we introduced [N. N. Lathiotakis, N. Helbig, A. Rubio, and N. I. Gidopoulos, Phys. Rev. A 90, 032511 (2014)] local reduced density matrix functional theory (local RDMFT), a theoretical scheme capable of incorporating static correlation effects in Kohn-Sham equations. Here, we apply local RDMFT to molecular systems of relatively large size, as a demonstration of its computational efficiency and its accuracy in predicting single-electron properties from the eigenvalue spectrum of the single-particle Hamiltonian with a local effective potential. We present encouraging results on the photoelectron spectrum of molecular systems and the relative stability of C20 isotopes. In addition, we propose a modelling of the fractional occupancies as functions of the orbital energies that further improves the efficiency of the method useful in applications to large systems and solids.

On the logarithmic-singularity correction in the kernel function method of subsonic lifting-surface theory

Science.gov (United States)

Lan, C. E.; Lamar, J. E.

1977-01-01

A logarithmic-singularity correction factor is derived for use in kernel function methods associated with Multhopp's subsonic lifting-surface theory. Because of the form of the factor, a relation was formulated between the numbers of chordwise and spanwise control points needed for good accuracy. This formulation is developed and discussed. Numerical results are given to show the improvement of the computation with the new correction factor.

Federalism. Theory and Neo-Functionalism: Elements for an analytical framework

DEFF Research Database (Denmark)

Dosenrode, Søren

2010-01-01

-McKayian way, is able to explain the cases of ‘big bang’ integration (USA, Australia, Canada), but not an ‘organic’ integration process. Neo-functionalism, on the other hand, is not able to explain this relatively fast form of integration, but it is – in its new version - able to analyze and explain......The purpose of this article is to propose a draft for an analytical frame for analyzing regional integration consisting of federalism theory and neo-functionalism. It starts out discussing the concept of regional integration setting up a stagiest model for categorizing it.Then follows an analysis...... of federalism theory and neo-functionalism. One argument of this article is to understand federalism theory as a regional integration theory. Another is to look at federalism theory as complementary to neo-functionalism when trying to explain regional integration. Federalism theory, in an extended Riker...

THE HALO MASS FUNCTION FROM EXCURSION SET THEORY. I. GAUSSIAN FLUCTUATIONS WITH NON-MARKOVIAN DEPENDENCE ON THE SMOOTHING SCALE

International Nuclear Information System (INIS)

Maggiore, Michele; Riotto, Antonio

2010-01-01

A classic method for computing the mass function of dark matter halos is provided by excursion set theory, where density perturbations evolve stochastically with the smoothing scale, and the problem of computing the probability of halo formation is mapped into the so-called first-passage time problem in the presence of a barrier. While the full dynamical complexity of halo formation can only be revealed through N-body simulations, excursion set theory provides a simple analytic framework for understanding various aspects of this complex process. In this series of papers we propose improvements of both technical and conceptual aspects of excursion set theory, and we explore up to which point the method can reproduce quantitatively the data from N-body simulations. In Paper I of the series, we show how to derive excursion set theory from a path integral formulation. This allows us both to derive rigorously the absorbing barrier boundary condition, that in the usual formulation is just postulated, and to deal analytically with the non-Markovian nature of the random walk. Such a non-Markovian dynamics inevitably enters when either the density is smoothed with filters such as the top-hat filter in coordinate space (which is the only filter associated with a well-defined halo mass) or when one considers non-Gaussian fluctuations. In these cases, beside 'Markovian' terms, we find 'memory' terms that reflect the non-Markovianity of the evolution with the smoothing scale. We develop a general formalism for evaluating perturbatively these non-Markovian corrections, and in this paper we perform explicitly the computation of the halo mass function for Gaussian fluctuations, to first order in the non-Markovian corrections due to the use of a top-hat filter in coordinate space. In Paper II of this series we propose to extend excursion set theory by treating the critical threshold for collapse as a stochastic variable, which better captures some of the dynamical complexity of the

Functional requirements for gas characterization system computer software

International Nuclear Information System (INIS)

Tate, D.D.

1996-01-01

This document provides the Functional Requirements for the Computer Software operating the Gas Characterization System (GCS), which monitors the combustible gasses in the vapor space of selected tanks. Necessary computer functions are defined to support design, testing, operation, and change control. The GCS requires several individual computers to address the control and data acquisition functions of instruments and sensors. These computers are networked for communication, and must multi-task to accommodate operation in parallel

Functional theory of extended Coulomb systems

International Nuclear Information System (INIS)

Martin, R.M.; Ortiz, G.

1997-01-01

A consistent formulation is presented for a functional theory of extended quantum many-particle systems with long-range Coulomb interactions, which extends the density-functional theory of Hohenberg and Kohn to encompass the theory of dielectrics formulated in terms of electric fields and polarization. We show that a complete description of insulators in the thermodynamic limit requires a functional of density and macroscopic polarization; nevertheless, for any insulator the state with zero macroscopic electric field can be considered a reference state that is a functional of the density alone. Dielectric phenomena involve the behavior of the material in the presence of macroscopic electric fields that induce changes of the macroscopic polarization from its equilibrium value in the reference state. In the thermodynamic limit there is strictly no ground state and constraints must be placed upon the electronic wave functions in order to have a well-defined energy functional; within these constrained subspaces the Hohenberg-Kohn theorems can be generalized in terms of the density and the change in the macroscopic polarization. The essential role of the polarization is shown by an explicit example of two potentials that lead to the same periodic density in a crystal, but different macroscopic electric fields and polarization. In the Kohn-Sham approach both the kinetic and the exchange-correlation energy are shown to depend upon the changes in polarization; this leads to generalized Kohn-Sham equations with a nonlocal operator. The effect can be traced to the polarization of the average exchange-correlation hole itself in the presence of macroscopic fields, which is essential for an exact description of static dielectric phenomena. copyright 1997 The American Physical Society

Perspective: Fundamental aspects of time-dependent density functional theory

Energy Technology Data Exchange (ETDEWEB)

Maitra, Neepa T. [Department of Physics and Astronomy, Hunter College and the Physics Program at the Graduate Center of the City University of New York, 695 Park Avenue, New York, New York 10065 (United States)

2016-06-14

In the thirty-two years since the birth of the foundational theorems, time-dependent density functional theory has had a tremendous impact on calculations of electronic spectra and dynamics in chemistry, biology, solid-state physics, and materials science. Alongside the wide-ranging applications, there has been much progress in understanding fundamental aspects of the functionals and the theory itself. This Perspective looks back to some of these developments, reports on some recent progress and current challenges for functionals, and speculates on future directions to improve the accuracy of approximations used in this relatively young theory.

Variational estimate of the vacuum state of the SU(2) lattice gauge theory with a disordered trial wave function

International Nuclear Information System (INIS)

Heys, D.W.; Stump, D.R.

1984-01-01

The variational principle is used to estimate the ground state of the Kogut-Susskind Hamiltonian of the SU(2) lattice gauge theory, with a trial wave function for which the magnetic fields on different plaquettes are uncorrelated. This trial function describes a disordered state. The energy expectation value is evaluated by a Monte Carlo method. The variational results are compared to similar results for a related Abelian gauge theory. Also, the expectation value of the Wilson loop operator is computed for the trial state, and the resulting estimate of the string tension is compared to the prediction of asymptotic freedom

Comparisons of perturbation and integral equation theories for the angular pair correlation function in molecular fluids

International Nuclear Information System (INIS)

Murad, S.; Gubbins, K.E.; Gray, C.G.

1983-01-01

We compare several recently proposed theories for the angular pair correlation function g(rω 1 ω 2 ), including first- and second-order perturbation theory (the u-expansion), a Pade approximant to this series, first-order f-expansion, the single superchain, generalized mean field, linearized hypernetted chain, and quadratic hypernetted chain approximations. Numerical results from these theories are compared with available computer simulation data for four model fluids whose intermolecular pair potential is of the form u 0 +usub(a), where u 0 is a hard-sphere of Lennard-Jones model, while usub(a) is a dipole-dipole or quadrupole-quadrupole interaction; we refer to these model fluids as HS+μμ, HS+QQ, LJ+μμ, and LJ+QQ. Properties studied include the angular pair correlation function and its spherical harmonic components, the thermodynamic properties, and the angular correlation parameters G 1 and G 2 that are related to the dielectric and Kerr constants. The second-order perturbation theory is superior to the integral equation theories for the thermodynamic harmonics of g(rω 1 ω 2 ) and for the thermodynamic properties themselves at moderate multipole strengths. For other harmonics and properties, the integral equation theories are better, with the quadratic hypernetted chain approximation being the best overall. (orig.)

21 CFR 870.1435 - Single-function, preprogrammed diagnostic computer.

Science.gov (United States)

2010-04-01

... 21 Food and Drugs 8 2010-04-01 2010-04-01 false Single-function, preprogrammed diagnostic computer... Single-function, preprogrammed diagnostic computer. (a) Identification. A single-function, preprogrammed diagnostic computer is a hard-wired computer that calculates a specific physiological or blood-flow parameter...

Self-Interaction Error in Density Functional Theory: An Appraisal.

Science.gov (United States)

Bao, Junwei Lucas; Gagliardi, Laura; Truhlar, Donald G

2018-05-03

Self-interaction error (SIE) is considered to be one of the major sources of error in most approximate exchange-correlation functionals for Kohn-Sham density-functional theory (KS-DFT), and it is large with all local exchange-correlation functionals and with some hybrid functionals. In this work, we consider systems conventionally considered to be dominated by SIE. For these systems, we demonstrate that by using multiconfiguration pair-density functional theory (MC-PDFT), the error of a translated local density-functional approximation is significantly reduced (by a factor of 3) when using an MCSCF density and on-top density, as compared to using KS-DFT with the parent functional; the error in MC-PDFT with local on-top functionals is even lower than the error in some popular KS-DFT hybrid functionals. Density-functional theory, either in MC-PDFT form with local on-top functionals or in KS-DFT form with some functionals having 50% or more nonlocal exchange, has smaller errors for SIE-prone systems than does CASSCF, which has no SIE.

Special functions and the theory of group representations

CERN Document Server

Vilenkin, N Ja

1968-01-01

A standard scheme for a relation between special functions and group representation theory is the following: certain classes of special functions are interpreted as matrix elements of irreducible representations of a certain Lie group, and then properties of special functions are related to (and derived from) simple well-known facts of representation theory. The book combines the majority of known results in this direction. In particular, the author describes connections between the exponential functions and the additive group of real numbers (Fourier analysis), Legendre and Jacobi polynomials and representations of the group SU(2), and the hypergeometric function and representations of the group SL(2,R), as well as many other classes of special functions.

International Conference on Frontiers of Intelligent Computing : Theory and Applications

CERN Document Server

Udgata, Siba; Biswal, Bhabendra

2014-01-01

This volume contains the papers presented at the Second International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA-2013) held during 14-16 November 2013 organized by Bhubaneswar Engineering College (BEC), Bhubaneswar, Odisha, India. It contains 63 papers focusing on application of intelligent techniques which includes evolutionary computation techniques like genetic algorithm, particle swarm optimization techniques, teaching-learning based optimization etc  for various engineering applications such as data mining, Fuzzy systems, Machine Intelligence and ANN, Web technologies and Multimedia applications and Intelligent computing and Networking etc.

Thermodynamics as a Foundation for Density Functional Theory

International Nuclear Information System (INIS)

Argaman, Nathan

2014-01-01

Density Functional Theory (DFT) is the method of choice for an ever increasing number of electronic structure computations (recently reaching 30,000 publications per year). It was founded in the sixties on the basis of the Hohenberg-Kohn theorem and the Kohn-Sham equations, which were originally proved and derived for electronic ground states. Alternatively, one may use thermodynamics to derive DFT for finite-temperature ensembles, with the ground-state theory recovered in the zero temperature limit. Specifically, the transformation from chemical potential µ to electron number N as a free variable may be directly generalized to clarify how DFT uses the density distribution n(r), rather than the external potential v(r), to specify a particular inhomogeneous electronic system. Relating interacting and non-interacting systems with the same n(r) distribution, one recovers not only the Kohn-Sham formulation, but also the so-called adiabatic connection theorem, which gives an explicit expression for the exchange-correlation energy in terms of the 'exchangecorrelation hole.' This derivation has the advantage of being constructive, rather than being based on a reductio ad absurdum argument. It thus serves as an excellent basis for a discussion of the approximations which are inevitably introduced, including the Local Density Approximation (LDA) and the Generalized Gradient Approximation (GGA)

X-ray absorption in insulators with non-Hermitian real-time time-dependent density functional theory.

Science.gov (United States)

Fernando, Ranelka G; Balhoff, Mary C; Lopata, Kenneth

2015-02-10

Non-Hermitian real-time time-dependent density functional theory was used to compute the Si L-edge X-ray absorption spectrum of α-quartz using an embedded finite cluster model and atom-centered basis sets. Using tuned range-separated functionals and molecular orbital-based imaginary absorbing potentials, the excited states spanning the pre-edge to ∼20 eV above the ionization edge were obtained in good agreement with experimental data. This approach is generalizable to TDDFT studies of core-level spectroscopy and dynamics in a wide range of materials.

Tight-binding approximations to time-dependent density functional theory — A fast approach for the calculation of electronically excited states

Energy Technology Data Exchange (ETDEWEB)

Rüger, Robert, E-mail: rueger@scm.com [Scientific Computing & Modelling NV, De Boelelaan 1083, 1081 HV Amsterdam (Netherlands); Department of Theoretical Chemistry, Vrije Universiteit Amsterdam, De Boelelaan 1083, 1081 HV Amsterdam (Netherlands); Wilhelm-Ostwald-Institut für Physikalische und Theoretische Chemie, Linnéstr. 2, 04103 Leipzig (Germany); Lenthe, Erik van [Scientific Computing & Modelling NV, De Boelelaan 1083, 1081 HV Amsterdam (Netherlands); Heine, Thomas [Wilhelm-Ostwald-Institut für Physikalische und Theoretische Chemie, Linnéstr. 2, 04103 Leipzig (Germany); Visscher, Lucas [Department of Theoretical Chemistry, Vrije Universiteit Amsterdam, De Boelelaan 1083, 1081 HV Amsterdam (Netherlands)

2016-05-14

We propose a new method of calculating electronically excited states that combines a density functional theory based ground state calculation with a linear response treatment that employs approximations used in the time-dependent density functional based tight binding (TD-DFTB) approach. The new method termed time-dependent density functional theory TD-DFT+TB does not rely on the DFTB parametrization and is therefore applicable to systems involving all combinations of elements. We show that the new method yields UV/Vis absorption spectra that are in excellent agreement with computationally much more expensive TD-DFT calculations. Errors in vertical excitation energies are reduced by a factor of two compared to TD-DFTB.

Gauge theory loop operators and Liouville theory

International Nuclear Information System (INIS)

Drukker, Nadav; Teschner, Joerg

2009-10-01

We propose a correspondence between loop operators in a family of four dimensional N=2 gauge theories on S 4 - including Wilson, 't Hooft and dyonic operators - and Liouville theory loop operators on a Riemann surface. This extends the beautiful relation between the partition function of these N=2 gauge theories and Liouville correlators found by Alday, Gaiotto and Tachikawa. We show that the computation of these Liouville correlators with the insertion of a Liouville loop operator reproduces Pestun's formula capturing the expectation value of a Wilson loop operator in the corresponding gauge theory. We prove that our definition of Liouville loop operators is invariant under modular transformations, which given our correspondence, implies the conjectured action of S-duality on the gauge theory loop operators. Our computations in Liouville theory make an explicit prediction for the exact expectation value of 't Hooft and dyonic loop operators in these N=2 gauge theories. The Liouville loop operators are also found to admit a simple geometric interpretation within quantum Teichmueller theory as the quantum operators representing the length of geodesics. We study the algebra of Liouville loop operators and show that it gives evidence for our proposal as well as providing definite predictions for the operator product expansion of loop operators in gauge theory. (orig.)

Connectionism vs. Computational Theory of Mind

Directory of Open Access Journals (Sweden)

Angel Garrido

2010-01-01

Full Text Available

Usually, the problems in AI may be many times related to Philosophy of Mind, and perhaps because this reason may be in essence very disputable. So, for instance, the famous question: Can a machine think? It was proposed by Alan Turing [16]. And it may be the more decisive question, but for many people it would be a nonsense. So, two of the very fundamental and more confronted positions usually considered according this line include the Connectionism and the Computational Theory of Mind. We analyze here its content, with their past disputes, and current situation.

Density Functional Theory and Atomic Force Microscopy Study of Oleate Functioned on Siderite Surface

Directory of Open Access Journals (Sweden)

Lixia Li

2018-01-01

Full Text Available Efficiently discovering the interaction of the collector oleate and siderite is of great significance for understanding the inherent function of siderite weakening hematite reverse flotation. For this purpose, investigation of the adsorption behavior of oleate on siderite surface was performed by density functional theory (DFT calculations associating with atomic force microscopy (AFM imaging. The siderite crystal geometry was computationally optimized via convergence tests. Calculated results of the interaction energy and the Mulliken population verified that the collector oleate adsorbed on siderite surface and the covalent bond was established as a result of electrons transferring from O1 atoms (in oleate molecule to Fe1 atoms (in siderite lattice. Therefore, valence-electrons’ configurations of Fe1 and O1 changed into 3d6.514s0.37 and 2s1.832p4.73 from 3d6.214s0.31 and 2s1.83p4.88 correspondingly. Siderite surfaces with or without oleate functioned were examined with the aid of AFM imaging in PeakForce Tapping mode, and the functioned siderite surface was found to be covered by vesicular membrane matters with the average roughness of 16.4 nm assuring the oleate adsorption. These results contributed to comprehending the interaction of oleate and siderite.

Robust flow stability: Theory, computations and experiments in near wall turbulence

Science.gov (United States)

Bobba, Kumar Manoj

Helmholtz established the field of hydrodynamic stability with his pioneering work in 1868. From then on, hydrodynamic stability became an important tool in understanding various fundamental fluid flow phenomena in engineering (mechanical, aeronautics, chemical, materials, civil, etc.) and science (astrophysics, geophysics, biophysics, etc.), and turbulence in particular. However, there are many discrepancies between classical hydrodynamic stability theory and experiments. In this thesis, the limitations of traditional hydrodynamic stability theory are shown and a framework for robust flow stability theory is formulated. A host of new techniques like gramians, singular values, operator norms, etc. are introduced to understand the role of various kinds of uncertainty. An interesting feature of this framework is the close interplay between theory and computations. It is shown that a subset of Navier-Stokes equations are globally, non-nonlinearly stable for all Reynolds number. Yet, invoking this new theory, it is shown that these equations produce structures (vortices and streaks) as seen in the experiments. The experiments are done in zero pressure gradient transiting boundary layer on a flat plate in free surface tunnel. Digital particle image velocimetry, and MEMS based laser Doppler velocimeter and shear stress sensors have been used to make quantitative measurements of the flow. Various theoretical and computational predictions are in excellent agreement with the experimental data. A closely related topic of modeling, simulation and complexity reduction of large mechanics problems with multiple spatial and temporal scales is also studied. A nice method that rigorously quantifies the important scales and automatically gives models of the problem to various levels of accuracy is introduced. Computations done using spectral methods are presented.

Local electric dipole moments for periodic systems via density functional theory embedding.

Science.gov (United States)

Luber, Sandra

2014-12-21

We describe a novel approach for the calculation of local electric dipole moments for periodic systems. Since the position operator is ill-defined in periodic systems, maximally localized Wannier functions based on the Berry-phase approach are usually employed for the evaluation of local contributions to the total electric dipole moment of the system. We propose an alternative approach: within a subsystem-density functional theory based embedding scheme, subset electric dipole moments are derived without any additional localization procedure, both for hybrid and non-hybrid exchange-correlation functionals. This opens the way to a computationally efficient evaluation of local electric dipole moments in (molecular) periodic systems as well as their rigorous splitting into atomic electric dipole moments. As examples, Infrared spectra of liquid ethylene carbonate and dimethyl carbonate are presented, which are commonly employed as solvents in Lithium ion batteries.

Local electric dipole moments for periodic systems via density functional theory embedding

Energy Technology Data Exchange (ETDEWEB)

Luber, Sandra, E-mail: sandra.luber@chem.uzh.ch [Institut für Chemie, Universität Zürich, Winterthurerstrasse 190, 8057 Zürich (Switzerland)

2014-12-21

We describe a novel approach for the calculation of local electric dipole moments for periodic systems. Since the position operator is ill-defined in periodic systems, maximally localized Wannier functions based on the Berry-phase approach are usually employed for the evaluation of local contributions to the total electric dipole moment of the system. We propose an alternative approach: within a subsystem-density functional theory based embedding scheme, subset electric dipole moments are derived without any additional localization procedure, both for hybrid and non-hybrid exchange–correlation functionals. This opens the way to a computationally efficient evaluation of local electric dipole moments in (molecular) periodic systems as well as their rigorous splitting into atomic electric dipole moments. As examples, Infrared spectra of liquid ethylene carbonate and dimethyl carbonate are presented, which are commonly employed as solvents in Lithium ion batteries.

$N=2^∗$ (non-)Abelian theory in the $\\Omega$ background from string theory

CERN Document Server

Samsonyan, Marine; Antoniadis, Ignatios

2018-01-01

We present a D-brane realisation of the Abelian and non-Abelian N = 2 ∗ theory both in five and four dimensions. We compute topological amplitudes in string theory for Ω deformed spacetime first with one and then with two parameters. In the field theory limit we recover the perturbative partition function of the deformed N = 2 ∗ theory in agreement with the existing literature.

Standard Error Computations for Uncertainty Quantification in Inverse Problems: Asymptotic Theory vs. Bootstrapping.

Science.gov (United States)

Banks, H T; Holm, Kathleen; Robbins, Danielle

2010-11-01

We computationally investigate two approaches for uncertainty quantification in inverse problems for nonlinear parameter dependent dynamical systems. We compare the bootstrapping and asymptotic theory approaches for problems involving data with several noise forms and levels. We consider both constant variance absolute error data and relative error which produces non-constant variance data in our parameter estimation formulations. We compare and contrast parameter estimates, standard errors, confidence intervals, and computational times for both bootstrapping and asymptotic theory methods.

Can Expanded Bacteriochlorins Act as Photosensitizers in Photodynamic Therapy? Good News from Density Functional Theory Computations

Directory of Open Access Journals (Sweden)

Gloria Mazzone

2016-02-01

Full Text Available The main photophysical properties of a series of expanded bacteriochlorins, recently synthetized, have been investigated by means of DFT and TD-DFT methods. Absorption spectra computed with different exchange-correlation functionals, B3LYP, M06 and ωB97XD, have been compared with the experimental ones. In good agreement, all the considered systems show a maximum absorption wavelength that falls in the therapeutic window (600–800 nm. The obtained singlet-triplet energy gaps are large enough to ensure the production of cytotoxic singlet molecular oxygen. The computed spin-orbit matrix elements suggest a good probability of intersystem spin-crossing between singlet and triplet excited states, since they result to be higher than those computed for 5,10,15,20-tetrakis-(m-hydroxyphenylchlorin (Foscan© already used in the photodynamic therapy (PDT protocol. Because of the investigated properties, these expanded bacteriochlorins can be proposed as PDT agents.

A computational theory of the hippocampal cognitive map.

Science.gov (United States)

O'Keefe, J

1990-01-01

Evidence from single unit and lesion studies suggests that the hippocampal formation acts as a spatial or cognitive map (O'Keefe and Nadel, 1978). In this chapter, I summarise some of the unit recording data and then outline the most recent computational version of the cognitive map theory. The novel aspects of the present version of the theory are that it identifies two allocentric parameters, the centroid and the eccentricity, which can be calculated from the array of cues in an environment and which can serve as the bases for an allocentric polar co-ordinate system. Computations within this framework enable the animal to identify its location within an environment, to predict the location which will be reached as a result of any specific movement from that location, and conversely, to calculate the spatial transformation necessary to go from the current location to a desired location. Aspects of the model are identified with the information provided by cells in the hippocampus and dorsal presubiculum. The hippocampal place cells are involved in the calculation of the centroid and the presubicular direction cells in the calculation of the eccentricity.

Toward a computational theory of conscious processing.

Science.gov (United States)

Dehaene, Stanislas; Charles, Lucie; King, Jean-Rémi; Marti, Sébastien

2014-04-01

The study of the mechanisms of conscious processing has become a productive area of cognitive neuroscience. Here we review some of the recent behavioral and neuroscience data, with the specific goal of constraining present and future theories of the computations underlying conscious processing. Experimental findings imply that most of the brain's computations can be performed in a non-conscious mode, but that conscious perception is characterized by an amplification, global propagation and integration of brain signals. A comparison of these data with major theoretical proposals suggests that firstly, conscious access must be carefully distinguished from selective attention; secondly, conscious perception may be likened to a non-linear decision that 'ignites' a network of distributed areas; thirdly, information which is selected for conscious perception gains access to additional computations, including temporary maintenance, global sharing, and flexible routing; and finally, measures of the complexity, long-distance correlation and integration of brain signals provide reliable indices of conscious processing, clinically relevant to patients recovering from coma. Copyright © 2013 Elsevier Ltd. All rights reserved.

Multidimensional Wave Field Signal Theory: Transfer Function Relationships

Directory of Open Access Journals (Sweden)

Natalie Baddour

2012-01-01

Full Text Available The transmission of information by propagating or diffusive waves is common to many fields of engineering and physics. Such physical phenomena are governed by a Helmholtz (real wavenumber or pseudo-Helmholtz (complex wavenumber equation. Since these equations are linear, it would be useful to be able to use tools from signal theory in solving related problems. The aim of this paper is to derive multidimensional input/output transfer function relationships in the spatial domain for these equations in order to permit such a signal theoretic approach to problem solving. This paper presents such transfer function relationships for the spatial (not Fourier domain within appropriate coordinate systems. It is shown that the relationships assume particularly simple and computationally useful forms once the appropriate curvilinear version of a multidimensional spatial Fourier transform is used. These results are shown for both real and complex wavenumbers. Fourier inversion of these formulas would have applications for tomographic problems in various modalities. In the case of real wavenumbers, these inversion formulas are presented in closed form, whereby an input can be calculated from a given or measured wavefield.

Guarded Cubical Type Theory

DEFF Research Database (Denmark)

Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald

2016-01-01

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning...... with coinductive types. We wish to implement GDTT with decidable type-checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\\"of type theory in which the identity type is replaced by abstract paths between...... terms. CTT provides a computational interpretation of functional extensionality, is conjectured to have decidable type checking, and has an implemented type-checker. Our new type theory, called guarded cubical type theory, provides a computational interpretation of extensionality for guarded recursive...

Guarded Cubical Type Theory

DEFF Research Database (Denmark)

Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald

2016-01-01

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning...... with coinductive types. We wish to implement GDTT with decidable type checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\\"of type theory in which the identity type is replaced by abstract paths between...... terms. CTT provides a computational interpretation of functional extensionality, enjoys canonicity for the natural numbers type, and is conjectured to support decidable type-checking. Our new type theory, guarded cubical type theory (GCTT), provides a computational interpretation of extensionality...

Structure functions of hadrons in the QCD effective theory

International Nuclear Information System (INIS)

Shigetani, Takayuki

1996-01-01

We study the structure functions of hadrons with the low energy effective theory of QCD. We try to clarify a link between the low energy effective theory, where non-perturbative dynamics is essential, and the high energy deep inelastic scattering experiment. We calculate the leading twist matrix elements of the structure function at the low energy model scale within the effective theory. Calculated structure functions are evoluted to the high momentum scale with the help of the perturbative QCD, and compared with the experimental data. Through the comparison of the model calculations with the experiment, we discuss how the non-perturbative dynamics of the effective theory is reflected in the deep inelastic phenomena. We first evaluate the structure functions of the pseudoscalar mesons using the NJL model. The resulting structure functions show reasonable agreements with experiments. We study then the quark distribution functions of the nucleon using a covariant quark-diquark model. We calculate three leading twist distribution functions, spin-independent f 1 (x), longitudinal spin distribution g 1 (x), and chiral-odd transversity spin distribution h 1 (x). The results for f 1 (x) and g 1 (x) turn out to be consistent with available experiments because of the strong spin-0 diquark correlation. (author)

RATGRAPH: Computer Graphing of Rational Functions.

Science.gov (United States)

Minch, Bradley A.

1987-01-01

Presents an easy-to-use Applesoft BASIC program that graphs rational functions and any asymptotes that the functions might have. Discusses the nature of rational functions, graphing them manually, employing a computer to graph rational functions, and describes how the program works. (TW)

Scattering theory and automorphic functions

International Nuclear Information System (INIS)

Lachaud, G.

1982-01-01

After a consideration of the Fourier expansion of an automorphic function corresponding to the group SL(2,R) and a description of the Eisenstein series the author describes the application of these results to the quantum mechanical scattering theory using the group SO(2,R). (HSI)

A summary of numerical computation for special functions

International Nuclear Information System (INIS)

Zhang Shanjie

1992-01-01

In the paper, special functions frequently encountered in science and engineering calculations are introduced. The computation of the values of Bessel function and elliptic integrals are taken as the examples, and some common algorithms for computing most special functions, such as series expansion for small argument, asymptotic approximations for large argument, polynomial approximations, recurrence formulas and iteration method, are discussed. In addition, the determination of zeros of some special functions, and the other questions related to numerical computation are also discussed

Semantic Characterisations of Second-Order Computability over the Real Numbers

DEFF Research Database (Denmark)

Korovina, Margarita V.; Kudinov, Oleg V.

2001-01-01

We propose semantic characterisations of second-order computability over the reals based on σ-definability theory. Notions of computability for operators and real-valued functionals defined on the class of continuous functions are introduced via domain theory. We consider the reals with and without...

Finsler metrics—a global approach with applications to geometric function theory

CERN Document Server

Abate, Marco

1994-01-01

Complex Finsler metrics appear naturally in complex analysis. To develop new tools in this area, the book provides a graduate-level introduction to differential geometry of complex Finsler metrics. After reviewing real Finsler geometry stressing global results, complex Finsler geometry is presented introducing connections, Kählerianity, geodesics, curvature. Finally global geometry and complex Monge-Ampère equations are discussed for Finsler manifolds with constant holomorphic curvature, which are important in geometric function theory. Following E. Cartan, S.S. Chern and S. Kobayashi, the global approach carries the full strength of hermitian geometry of vector bundles avoiding cumbersome computations, and thus fosters applications in other fields.

A sampling-based computational strategy for the representation of epistemic uncertainty in model predictions with evidence theory.

Energy Technology Data Exchange (ETDEWEB)

Johnson, J. D. (Prostat, Mesa, AZ); Oberkampf, William Louis; Helton, Jon Craig (Arizona State University, Tempe, AZ); Storlie, Curtis B. (North Carolina State University, Raleigh, NC)

2006-10-01

Evidence theory provides an alternative to probability theory for the representation of epistemic uncertainty in model predictions that derives from epistemic uncertainty in model inputs, where the descriptor epistemic is used to indicate uncertainty that derives from a lack of knowledge with respect to the appropriate values to use for various inputs to the model. The potential benefit, and hence appeal, of evidence theory is that it allows a less restrictive specification of uncertainty than is possible within the axiomatic structure on which probability theory is based. Unfortunately, the propagation of an evidence theory representation for uncertainty through a model is more computationally demanding than the propagation of a probabilistic representation for uncertainty, with this difficulty constituting a serious obstacle to the use of evidence theory in the representation of uncertainty in predictions obtained from computationally intensive models. This presentation describes and illustrates a sampling-based computational strategy for the representation of epistemic uncertainty in model predictions with evidence theory. Preliminary trials indicate that the presented strategy can be used to propagate uncertainty representations based on evidence theory in analysis situations where naive sampling-based (i.e., unsophisticated Monte Carlo) procedures are impracticable due to computational cost.

Generalized zeta function representation of groups and 2-dimensional topological Yang-Mills theory: The example of GL(2, _q) and PGL(2, _q)

International Nuclear Information System (INIS)

Roche, Ph.

2016-01-01

We recall the relation between zeta function representation of groups and two-dimensional topological Yang-Mills theory through Mednikh formula. We prove various generalisations of Mednikh formulas and define generalization of zeta function representations of groups. We compute some of these functions in the case of the finite group GL(2, _q) and PGL(2, _q). We recall the table characters of these groups for any q, compute the Frobenius-Schur indicator of their irreducible representations, and give the explicit structure of their fusion rings.

A Density Functional Theory Study

KAUST Repository

Lim, XiaoZhi

2011-12-11

Complexes with pincer ligand moieties have garnered much attention in the past few decades. They have been shown to be highly active catalysts in several known transition metal-catalyzed organic reactions as well as some unprecedented organic transformations. At the same time, the use of computational organometallic chemistry to aid in the understanding of the mechanisms in organometallic catalysis for the development of improved catalysts is on the rise. While it was common in earlier studies to reduce computational cost by truncating donor group substituents on complexes such as tertbutyl or isopropyl groups to hydrogen or methyl groups, recent advancements in the processing capabilities of computer clusters and codes have streamlined the time required for calculations. As the full modeling of complexes become increasingly popular, a commonly overlooked aspect, especially in the case of complexes bearing isopropyl substituents, is the conformational analysis of complexes. Isopropyl groups generate a different conformer with each 120 ° rotation (rotamer), and it has been found that each rotamer typically resides in its own potential energy well in density functional theory studies. As a result, it can be challenging to select the most appropriate structure for a theoretical study, as the adjustment of isopropyl substituents from a higher-energy rotamer to the lowest-energy rotamer usually does not occur during structure optimization. In this report, the influence of the arrangement of isopropyl substituents in pincer complexes on calculated complex structure energies as well as a case study on the mechanism of the isomerization of an iPrPCP-Fe complex is covered. It was found that as many as 324 rotamers can be generated for a single complex, as in the case of an iPrPCP-Ni formato complex, with the energy difference between the global minimum and the highest local minimum being as large as 16.5 kcalmol-1. In the isomerization of a iPrPCP-Fe complex, it was found

Spin-Density Functionals from Current-Density Functional Theory and Vice Versa: A Road towards New Approximations

International Nuclear Information System (INIS)

Capelle, K.; Gross, E.

1997-01-01

It is shown that the exchange-correlation functional of spin-density functional theory is identical, on a certain set of densities, with the exchange-correlation functional of current-density functional theory. This rigorous connection is used to construct new approximations of the exchange-correlation functionals. These include a conceptually new generalized-gradient spin-density functional and a nonlocal current-density functional. copyright 1997 The American Physical Society

Z/NZ conformal field theories

International Nuclear Information System (INIS)

Degiovanni, P.

1990-01-01

We compute the modular properties of the possible genus-one characters of some Rational Conformal Field Theories starting from their fusion rules. We show that the possible choices of S matrices are indexed by some automorphisms of the fusion algebra. We also classify the modular invariant partition functions of these theories. This gives the complete list of modular invariant partition functions of Rational Conformal Field Theories with respect to the A N (1) level one algebra. (orig.)

4th International Conference on Frontiers in Intelligent Computing : Theory and Applications

CERN Document Server

Pal, Tandra; Kar, Samarjit; Satapathy, Suresh; Mandal, Jyotsna

2016-01-01

The proceedings of the 4th International Conference on Frontiers in Intelligent Computing: Theory and Applications 2015 (FICTA 2015) serves as the knowledge centre not only for scientists and researchers in the field of intelligent computing but also for students of post-graduate level in various engineering disciplines. The book covers a comprehensive overview of the theory, methods, applications and tools of Intelligent Computing. Researchers are now working in interdisciplinary areas and the proceedings of FICTA 2015 plays a major role to accumulate those significant works in one arena. The chapters included in the proceedings inculcates both theoretical as well as practical aspects of different areas like Nature Inspired Algorithms, Fuzzy Systems, Data Mining, Signal Processing, Image processing, Text Processing, Wireless Sensor Networks, Network Security and Cellular Automata. .

Exact partition functions for gauge theories on Rλ3

Directory of Open Access Journals (Sweden)

Jean-Christophe Wallet

2016-11-01

Full Text Available The noncommutative space Rλ3, a deformation of R3, supports a 3-parameter family of gauge theory models with gauge-invariant harmonic term, stable vacuum and which are perturbatively finite to all orders. Properties of this family are discussed. The partition function factorizes as an infinite product of reduced partition functions, each one corresponding to the reduced gauge theory on one of the fuzzy spheres entering the decomposition of Rλ3. For a particular sub-family of gauge theories, each reduced partition function is exactly expressible as a ratio of determinants. A relation with integrable 2-D Toda lattice hierarchy is indicated.

Essay on a general theory of nervous system functions

Energy Technology Data Exchange (ETDEWEB)

Schweizer, H J

1985-01-01

The axiomatic theory unites the aspects of neurophysiology, psychology and system-theory. The formulation of the structural-nucleus of the theory relies on basic insights from biology, neurophysiology and system-theory. The structural-nucleus allows the reconstruction of the essential properties of nervous system functions, organisation and development. The theory also contributes to the discussion of stochastic automata and artificial intelligence.

A third-generation density-functional-theory-based method for calculating canonical molecular orbitals of large molecules.

Science.gov (United States)

Hirano, Toshiyuki; Sato, Fumitoshi

2014-07-28

We used grid-free modified Cholesky decomposition (CD) to develop a density-functional-theory (DFT)-based method for calculating the canonical molecular orbitals (CMOs) of large molecules. Our method can be used to calculate standard CMOs, analytically compute exchange-correlation terms, and maximise the capacity of next-generation supercomputers. Cholesky vectors were first analytically downscaled using low-rank pivoted CD and CD with adaptive metric (CDAM). The obtained Cholesky vectors were distributed and stored on each computer node in a parallel computer, and the Coulomb, Fock exchange, and pure exchange-correlation terms were calculated by multiplying the Cholesky vectors without evaluating molecular integrals in self-consistent field iterations. Our method enables DFT and massively distributed memory parallel computers to be used in order to very efficiently calculate the CMOs of large molecules.

Computing Z-top

International Nuclear Information System (INIS)

Kashani-Poor, A.K.

2014-01-01

The topological string presents an arena in which many features of string theory proper, such as the interplay between world-sheet and target space descriptions or open-closed duality, can be distilled into computational techniques which yield results beyond perturbation theory. In this thesis, I will summarize my research activity in this area. The presentation is organized around computations of the topological string partition function Z-top based on various perspectives on the topological string. (author)

Uncertainty quantification for nuclear density functional theory and information content of new measurements

Energy Technology Data Exchange (ETDEWEB)

McDonnell, J. D. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Schunck, N. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Higdon, D. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Sarich, J. [Argonne National Lab. (ANL), Argonne, IL (United States); Wild, S. M. [Argonne National Lab. (ANL), Argonne, IL (United States); Nazarewicz, W. [Michigan State Univ., East Lansing, MI (United States); Oak Ridge National Lab., Oak Ridge, TN (United States); Univ. of Warsaw, Warsaw (Poland)

2015-03-24

Statistical tools of uncertainty quantification can be used to assess the information content of measured observables with respect to present-day theoretical models, to estimate model errors and thereby improve predictive capability, to extrapolate beyond the regions reached by experiment, and to provide meaningful input to applications and planned measurements. To showcase new opportunities offered by such tools, we make a rigorous analysis of theoretical statistical uncertainties in nuclear density functional theory using Bayesian inference methods. By considering the recent mass measurements from the Canadian Penning Trap at Argonne National Laboratory, we demonstrate how the Bayesian analysis and a direct least-squares optimization, combined with high-performance computing, can be used to assess the information content of the new data with respect to a model based on the Skyrme energy density functional approach. Employing the posterior probability distribution computed with a Gaussian process emulator, we apply the Bayesian framework to propagate theoretical statistical uncertainties in predictions of nuclear masses, two-neutron dripline, and fission barriers. Overall, we find that the new mass measurements do not impose a constraint that is strong enough to lead to significant changes in the model parameters. As a result, the example discussed in this study sets the stage for quantifying and maximizing the impact of new measurements with respect to current modeling and guiding future experimental efforts, thus enhancing the experiment-theory cycle in the scientific method.

Computing the zeros of analytic functions

CERN Document Server

Kravanja, Peter

2000-01-01

Computing all the zeros of an analytic function and their respective multiplicities, locating clusters of zeros and analytic fuctions, computing zeros and poles of meromorphic functions, and solving systems of analytic equations are problems in computational complex analysis that lead to a rich blend of mathematics and numerical analysis. This book treats these four problems in a unified way. It contains not only theoretical results (based on formal orthogonal polynomials or rational interpolation) but also numerical analysis and algorithmic aspects, implementation heuristics, and polished software (the package ZEAL) that is available via the CPC Program Library. Graduate studets and researchers in numerical mathematics will find this book very readable.

On generating functional of vertex functions in the Yang-Mills theories

International Nuclear Information System (INIS)

Lavrov, P.M.; Tyutin, I.V.

1981-01-01

It is shown that the generating functional GITA(kappa, PHI) in the Yang-Mills gauge theories for linear gauge conditions may be written as GITA(kappa, PHI)=GITA tilde(phi(kappa, PHI))-1/2t 2 , where t is a gauge function and GITA tilde(PHI) is a universal functional independent of kappa, parameters of the gauge condition [ru

Towards the blackbox computation of magnetic exchange coupling parameters in polynuclear transition-metal complexes: theory, implementation, and application.

Science.gov (United States)

Phillips, Jordan J; Peralta, Juan E

2013-05-07

We present a method for calculating magnetic coupling parameters from a single spin-configuration via analytic derivatives of the electronic energy with respect to the local spin direction. This method does not introduce new approximations beyond those found in the Heisenberg-Dirac Hamiltonian and a standard Kohn-Sham Density Functional Theory calculation, and in the limit of an ideal Heisenberg system it reproduces the coupling as determined from spin-projected energy-differences. Our method employs a generalized perturbative approach to constrained density functional theory, where exact expressions for the energy to second order in the constraints are obtained by analytic derivatives from coupled-perturbed theory. When the relative angle between magnetization vectors of metal atoms enters as a constraint, this allows us to calculate all the magnetic exchange couplings of a system from derivatives with respect to local spin directions from the high-spin configuration. Because of the favorable computational scaling of our method with respect to the number of spin-centers, as compared to the broken-symmetry energy-differences approach, this opens the possibility for the blackbox exploration of magnetic properties in large polynuclear transition-metal complexes. In this work we outline the motivation, theory, and implementation of this method, and present results for several model systems and transition-metal complexes with a variety of density functional approximations and Hartree-Fock.

Functional Requirements and the Theory of Action.

Science.gov (United States)

Hills, R. Jean

1982-01-01

Responding to Willower's earlier questioning of the concept of systems' functional requirements, the author outlines the Parsonian theory of action, discussing action systems' components (values, norms, organizations, and facilities) and their functional imperatives or requirements (pattern maintenance, integration, goal attainment, and…

Bayesian error estimation in density-functional theory

DEFF Research Database (Denmark)

Mortensen, Jens Jørgen; Kaasbjerg, Kristen; Frederiksen, Søren Lund

2005-01-01

We present a practical scheme for performing error estimates for density-functional theory calculations. The approach, which is based on ideas from Bayesian statistics, involves creating an ensemble of exchange-correlation functionals by comparing with an experimental database of binding energies...

Perturbation theory and importance functions in integral transport formulations

International Nuclear Information System (INIS)

Greenspan, E.

1976-01-01

Perturbation theory expressions for the static reactivity derived from the flux, collision density, birth-rate density, and fission-neutron density formulations of integral transport theory, and from the integro-differential formulation, are intercompared. The physical meaning and relation of the adjoint functions corresponding to each of the five formulations are established. It is found that the first-order approximation of the perturbation expressions depends on the transport theory formulation and on the adjoint function used. The approximations of the integro-differential formulation corresponding to different first-order approximations of the integral transport theory formulations are identified. It is found that the accuracy of all first-order approximations of the integral transport formulations examined is superior to the accuracy of first-order integro-differential perturbation theory

Density Functional Theory of Open-Shell Systems. The 3d-Series Transition-Metal Atoms and Their Cations.

Science.gov (United States)

Luo, Sijie; Averkiev, Boris; Yang, Ke R; Xu, Xuefei; Truhlar, Donald G

2014-01-14

The 3d-series transition metals (also called the fourth-period transition metals), Sc to Zn, are very important in industry and biology, but they provide unique challenges to computing the electronic structure of their compounds. In order to successfully describe the compounds by theory, one must be able to describe their components, in particular the constituent atoms and cations. In order to understand the ingredients required for successful computations with density functional theory, it is useful to examine the performance of various exchange-correlation functionals; we do this here for 4s(N)3d(N') transition-metal atoms and their cations. We analyze the results using three ways to compute the energy of the open-shell states: the direct variational method, the weighted-averaged broken symmetry (WABS) method, and a new broken-symmetry method called the reinterpreted broken symmetry (RBS) method. We find the RBS method to be comparable in accuracy with the WABS method. By examining the overall accuracy in treating 18 multiplicity-changing excitations and 10 ionization potentials with the RBS method, 10 functionals are found to have a mean-unsigned error of systems, the M06-L functional is the most accurate. And by combining the results with our previous studies of p-block and 4d-series elements as well as databases for alkyl bond dissociation, main-group atomization energies, and π-π noncovalent interactions, we find five functionals, namely, PW6B95, MPW1B95, M08-SO, SOGGA11-X, and MPWB1K, to be highly recommended. We also studied the performance of PW86 and C09 exchange functionals, which have drawn wide interest in recent studies due to their claimed ability to reproduce Hartree-Fock exchange at long distance. By combining them with four correlation functionals, we find the performance of the resulting functionals disappointing both for 3d transition-metal chemistry and in broader tests, and thus we do not recommend PW86 and C09 as components of generalized

Applications of decision theory to computer-based adaptive instructional systems

NARCIS (Netherlands)

Vos, Hendrik J.

1988-01-01

This paper considers applications of decision theory to the problem of instructional decision-making in computer-based adaptive instructional systems, using the Minnesota Adaptive Instructional System (MAIS) as an example. The first section indicates how the problem of selecting the appropriate

Long-range corrected density functional theory with accelerated Hartree-Fock exchange integration using a two-Gaussian operator [LC-ωPBE(2Gau)].

Science.gov (United States)

Song, Jong-Won; Hirao, Kimihiko

2015-10-14

Since the advent of hybrid functional in 1993, it has become a main quantum chemical tool for the calculation of energies and properties of molecular systems. Following the introduction of long-range corrected hybrid scheme for density functional theory a decade later, the applicability of the hybrid functional has been further amplified due to the resulting increased performance on orbital energy, excitation energy, non-linear optical property, barrier height, and so on. Nevertheless, the high cost associated with the evaluation of Hartree-Fock (HF) exchange integrals remains a bottleneck for the broader and more active applications of hybrid functionals to large molecular and periodic systems. Here, we propose a very simple yet efficient method for the computation of long-range corrected hybrid scheme. It uses a modified two-Gaussian attenuating operator instead of the error function for the long-range HF exchange integral. As a result, the two-Gaussian HF operator, which mimics the shape of the error function operator, reduces computational time dramatically (e.g., about 14 times acceleration in C diamond calculation using periodic boundary condition) and enables lower scaling with system size, while maintaining the improved features of the long-range corrected density functional theory.

A non-local mixing-length theory able to compute core overshooting

Science.gov (United States)

Gabriel, M.; Belkacem, K.

2018-04-01

Turbulent convection is certainly one of the most important and thorny issues in stellar physics. Our deficient knowledge of this crucial physical process introduces a fairly large uncertainty concerning the internal structure and evolution of stars. A striking example is overshoot at the edge of convective cores. Indeed, nearly all stellar evolutionary codes treat the overshooting zones in a very approximative way that considers both its extent and the profile of the temperature gradient as free parameters. There are only a few sophisticated theories of stellar convection such as Reynolds stress approaches, but they also require the adjustment of a non-negligible number of free parameters. We present here a theory, based on the plume theory as well as on the mean-field equations, but without relying on the usual Taylor's closure hypothesis. It leads us to a set of eight differential equations plus a few algebraic ones. Our theory is essentially a non-mixing length theory. It enables us to compute the temperature gradient in a shrinking convective core and its overshooting zone. The case of an expanding convective core is also discussed, though more briefly. Numerical simulations have quickly improved during recent years and enabling us to foresee that they will probably soon provide a model of convection adapted to the computation of 1D stellar models.

Explaining Biological Functionality: Is Control Theory Enough ...

African Journals Online (AJOL)

I argue that the etiological approach, as understood in terms of control theory, suffers from a problem of symmetry, by which function can equally well be placed in the environment as in the organism. Focusing on the autonomy view, I note that it can be understood to some degree in terms of control theory in its version called ...

Time-dependent internal density functional theory formalism and Kohn-Sham scheme for self-bound systems

International Nuclear Information System (INIS)

Messud, Jeremie

2009-01-01

The stationary internal density functional theory (DFT) formalism and Kohn-Sham scheme are generalized to the time-dependent case. It is proven that, in the time-dependent case, the internal properties of a self-bound system (such as an atomic nuclei or a helium droplet) are all defined by the internal one-body density and the initial state. A time-dependent internal Kohn-Sham scheme is set up as a practical way to compute the internal density. The main difference from the traditional DFT formalism and Kohn-Sham scheme is the inclusion of the center-of-mass correlations in the functional.

Gauge theory loop operators and Liouville theory

Energy Technology Data Exchange (ETDEWEB)

Drukker, Nadav [Humboldt Univ. Berlin (Germany). Inst. fuer Physik; Gomis, Jaume; Okuda, Takuda [Perimeter Inst. for Theoretical Physics, Waterloo, ON (Canada); Teschner, Joerg [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany)

2009-10-15

We propose a correspondence between loop operators in a family of four dimensional N=2 gauge theories on S{sup 4} - including Wilson, 't Hooft and dyonic operators - and Liouville theory loop operators on a Riemann surface. This extends the beautiful relation between the partition function of these N=2 gauge theories and Liouville correlators found by Alday, Gaiotto and Tachikawa. We show that the computation of these Liouville correlators with the insertion of a Liouville loop operator reproduces Pestun's formula capturing the expectation value of a Wilson loop operator in the corresponding gauge theory. We prove that our definition of Liouville loop operators is invariant under modular transformations, which given our correspondence, implies the conjectured action of S-duality on the gauge theory loop operators. Our computations in Liouville theory make an explicit prediction for the exact expectation value of 't Hooft and dyonic loop operators in these N=2 gauge theories. The Liouville loop operators are also found to admit a simple geometric interpretation within quantum Teichmueller theory as the quantum operators representing the length of geodesics. We study the algebra of Liouville loop operators and show that it gives evidence for our proposal as well as providing definite predictions for the operator product expansion of loop operators in gauge theory. (orig.)

Density functional theory of simple polymers in a slit pore. III. Surface tension

International Nuclear Information System (INIS)

Hooper, Justin B.; McCoy, John D.; Curro, John G.; Swol, Frank van

2000-01-01

In a previous study of tangent hard-site chains near a surface, the inhomogeneous density profiles were found through density functional theory. In the current study, the surface tensions of these systems are found from the results of the previous study through a thermodynamic integration. The calculated surface tensions are then compared to those found directly through computer simulation. Both the surface tension and surface excess for polymeric systems are shown to differ qualitatively from those of atomic systems, although certain similarities are seen at high densities. (c) 2000 American Institute of Physics

Donaldson-Witten theory and indefinite theta functions

Science.gov (United States)

Korpas, Georgios; Manschot, Jan

2017-11-01

We consider partition functions with insertions of surface operators of topologically twisted N=2 , SU(2) supersymmetric Yang-Mills theory, or Donaldson-Witten theory for short, on a four-manifold. If the metric of the compact four-manifold has positive scalar curvature, Moore and Witten have shown that the partition function is completely determined by the integral over the Coulomb branch parameter a, while more generally the Coulomb branch integral captures the wall-crossing behavior of both Donaldson polynomials and Seiberg-Witten invariants. We show that after addition of a \\overlineQ -exact surface operator to the Moore-Witten integrand, the integrand can be written as a total derivative to the anti-holomorphic coordinate ā using Zwegers' indefinite theta functions. In this way, we reproduce Göttsche's expressions for Donaldson invariants of rational surfaces in terms of indefinite theta functions for any choice of metric.

Solvation in atomic liquids: connection between Gaussian field theory and density functional theory

Directory of Open Access Journals (Sweden)

V. Sergiievskyi

2017-12-01

Full Text Available For the problem of molecular solvation, formulated as a liquid submitted to the external potential field created by a molecular solute of arbitrary shape dissolved in that solvent, we draw a connection between the Gaussian field theory derived by David Chandler [Phys. Rev. E, 1993, 48, 2898] and classical density functional theory. We show that Chandler's results concerning the solvation of a hard core of arbitrary shape can be recovered by either minimising a linearised HNC functional using an auxiliary Lagrange multiplier field to impose a vanishing density inside the core, or by minimising this functional directly outside the core — indeed a simpler procedure. Those equivalent approaches are compared to two other variants of DFT, either in the HNC, or partially linearised HNC approximation, for the solvation of a Lennard-Jones solute of increasing size in a Lennard-Jones solvent. Compared to Monte-Carlo simulations, all those theories give acceptable results for the inhomogeneous solvent structure, but are completely out-of-range for the solvation free-energies. This can be fixed in DFT by adding a hard-sphere bridge correction to the HNC functional.

PREFACE: Euro-TMCS I: Theory, Modelling and Computational Methods for Semiconductors

Science.gov (United States)

Gómez-Campos, F. M.; Rodríguez-Bolívar, S.; Tomić, S.

2015-05-01

The present issue contains a selection of the best contributed works presented at the first Euro-TMCS conference (Theory, Modelling and Computational Methods for Semiconductors, European Session). The conference was held at Faculty of Sciences, Universidad de Granada, Spain on 28st-30st January 2015. This conference is the first European edition of the TMCS conference series which started in 2008 at the University of Manchester and has always been held in the United Kingdom. Four previous conferences have been previously carried out (Manchester 2008, York 2010, Leeds 2012 and Salford 2014). Euro-TMCS is run for three days; the first one devoted to giving invited tutorials, aimed particularly at students, on recent development of theoretical methods. On this occasion the session was focused on the presentation of widely-used computational methods for the modelling of physical processes in semiconductor materials. Freely available simulation software (SIESTA, Quantum Espresso and Yambo) as well as commercial software (TiberCad and MedeA) were presented in the conference by members of their development team, offering to the audience an overview of their capabilities for research. The second part of the conference showcased prestigious invited and contributed oral presentations, alongside poster sessions, in which direct discussion with authors was promoted. The scope of this conference embraces modelling, theory and the use of sophisticated computational tools in semiconductor science and technology. Theoretical approaches represented in this meeting included: Density Functional Theory, Semi-empirical Electronic Structure Methods, Multi-scale Approaches, Modelling of PV devices, Electron Transport, and Graphene. Topics included, but were not limited to: Optical Properties of Quantum Nanostructures including Colloids and Nanotubes, Plasmonics, Magnetic Semiconductors, Photonic Structures, and Electronic Devices. The Editors Acknowledgments: We would like to thank all

The functional theory of counterfactual thinking.

Science.gov (United States)

Epstude, Kai; Roese, Neal J

2008-05-01

Counterfactuals are thoughts about alternatives to past events, that is, thoughts of what might have been. This article provides an updated account of the functional theory of counterfactual thinking, suggesting that such thoughts are best explained in terms of their role in behavior regulation and performance improvement. The article reviews a wide range of cognitive experiments indicating that counterfactual thoughts may influence behavior by either of two routes: a content-specific pathway (which involves specific informational effects on behavioral intentions, which then influence behavior) and a content-neutral pathway (which involves indirect effects via affect, mind-sets, or motivation). The functional theory is particularly useful in organizing recent findings regarding counterfactual thinking and mental health. The article concludes by considering the connections to other theoretical conceptions, especially recent advances in goal cognition.

Fast plane wave density functional theory molecular dynamics calculations on multi-GPU machines

International Nuclear Information System (INIS)

Jia, Weile; Fu, Jiyun; Cao, Zongyan; Wang, Long; Chi, Xuebin; Gao, Weiguo; Wang, Lin-Wang

2013-01-01

Plane wave pseudopotential (PWP) density functional theory (DFT) calculation is the most widely used method for material simulations, but its absolute speed stagnated due to the inability to use large scale CPU based computers. By a drastic redesign of the algorithm, and moving all the major computation parts into GPU, we have reached a speed of 12 s per molecular dynamics (MD) step for a 512 atom system using 256 GPU cards. This is about 20 times faster than the CPU version of the code regardless of the number of CPU cores used. Our tests and analysis on different GPU platforms and configurations shed lights on the optimal GPU deployments for PWP-DFT calculations. An 1800 step MD simulation is used to study the liquid phase properties of GaInP

Conformal field theory and functions of hypergeometric type

International Nuclear Information System (INIS)

Isachenkov, Mikhail

2016-03-01

Conformal field theory provides a universal description of various phenomena in natural sciences. Its development, swift and successful, belongs to the major highlights of theoretical physics of the late XX century. In contrast, advances of the theory of hypergeometric functions always assumed a slower pace throughout the centuries of its existence. Functional identities studied by this mathematical discipline are fascinating both in their complexity and beauty. This thesis investigates the interrelation of two subjects through a direct analysis of three CFT problems: two-point functions of the 2d strange metal CFT, three-point functions of primaries of the non-rational Toda CFT and kinematical parts of Mellin amplitudes for scalar four-point functions in general dimensions. We flash out various generalizations of hypergeometric functions as a natural mathematical language for two of these problems. Several new methods inspired by extensions of classical results on hypergeometric functions, are presented.

Conformal field theory and functions of hypergeometric type

Energy Technology Data Exchange (ETDEWEB)

Isachenkov, Mikhail

2016-03-15

Conformal field theory provides a universal description of various phenomena in natural sciences. Its development, swift and successful, belongs to the major highlights of theoretical physics of the late XX century. In contrast, advances of the theory of hypergeometric functions always assumed a slower pace throughout the centuries of its existence. Functional identities studied by this mathematical discipline are fascinating both in their complexity and beauty. This thesis investigates the interrelation of two subjects through a direct analysis of three CFT problems: two-point functions of the 2d strange metal CFT, three-point functions of primaries of the non-rational Toda CFT and kinematical parts of Mellin amplitudes for scalar four-point functions in general dimensions. We flash out various generalizations of hypergeometric functions as a natural mathematical language for two of these problems. Several new methods inspired by extensions of classical results on hypergeometric functions, are presented.

State of Theory and Computer Simulations of Radiation Effects in Ceramics

International Nuclear Information System (INIS)

Corrales, Louis R.; Weber, William J.

2003-01-01

This article presents opinions based on the presentations and discussions at a Workshop on Theory and Computer Simulations of Radiation Effects in Ceramics held in August 2002 at Pacific Northwest National Laboratory in Richland, WA, USA. The workshop was focused on the current state-of-the-art of theory, modeling and simulation of radiation effects in oxide ceramics, directions for future breakthroughs, and creating a close integration with experiment

On the multiple zeros of a real analytic function with applications to the averaging theory of differential equations

Science.gov (United States)

García, Isaac A.; Llibre, Jaume; Maza, Susanna

2018-06-01

In this work we consider real analytic functions , where , Ω is a bounded open subset of , is an interval containing the origin, are parameters, and ε is a small parameter. We study the branching of the zero-set of at multiple points when the parameter ε varies. We apply the obtained results to improve the classical averaging theory for computing T-periodic solutions of λ-families of analytic T-periodic ordinary differential equations defined on , using the displacement functions defined by these equations. We call the coefficients in the Taylor expansion of in powers of ε the averaged functions. The main contribution consists in analyzing the role that have the multiple zeros of the first non-zero averaged function. The outcome is that these multiple zeros can be of two different classes depending on whether the zeros belong or not to the analytic set defined by the real variety associated to the ideal generated by the averaged functions in the Noetheriang ring of all the real analytic functions at . We bound the maximum number of branches of isolated zeros that can bifurcate from each multiple zero z 0. Sometimes these bounds depend on the cardinalities of minimal bases of the former ideal. Several examples illustrate our results and they are compared with the classical theory, branching theory and also under the light of singularity theory of smooth maps. The examples range from polynomial vector fields to Abel differential equations and perturbed linear centers.

Introduction to conformal field theory. With applications to string theory

International Nuclear Information System (INIS)

Blumenhagen, Ralph; Plauschinn, Erik

2009-01-01

Based on class-tested notes, this text offers an introduction to Conformal Field Theory with a special emphasis on computational techniques of relevance for String Theory. It introduces Conformal Field Theory at a basic level, Kac-Moody algebras, one-loop partition functions, Superconformal Field Theories, Gepner Models and Boundary Conformal Field Theory. Eventually, the concept of orientifold constructions is explained in detail for the example of the bosonic string. In providing many detailed CFT calculations, this book is ideal for students and scientists intending to become acquainted with CFT techniques relevant for string theory but also for students and non-specialists from related fields. (orig.)

Benchmark density functional theory calculations for nanoscale conductance

DEFF Research Database (Denmark)

Strange, Mikkel; Bækgaard, Iben Sig Buur; Thygesen, Kristian Sommer

2008-01-01

We present a set of benchmark calculations for the Kohn-Sham elastic transmission function of five representative single-molecule junctions. The transmission functions are calculated using two different density functional theory methods, namely an ultrasoft pseudopotential plane-wave code...

Singular problems in shell theory. Computing and asymptotics

Energy Technology Data Exchange (ETDEWEB)

Sanchez-Palencia, Evariste [Institut Jean Le Rond d' Alembert, Paris (France); Millet, Olivier [La Rochelle Univ. (France). LEPTIAB; Bechet, Fabien [Metz Univ. (France). LPMM

2010-07-01

It is known that deformations of thin shells exhibit peculiarities such as propagation of singularities, edge and internal layers, piecewise quasi inextensional deformations, sensitive problems and others, leading in most cases to numerical locking phenomena under several forms, and very poor quality of computations for small relative thickness. Most of these phenomena have a local and often anisotropic character (elongated in some directions), so that efficient numerical schemes should take them in consideration. This book deals with various topics in this context: general geometric formalism, analysis of singularities, numerical computing of thin shell problems, estimates for finite element approximation (including non-uniform and anisotropic meshes), mathematical considerations on boundary value problems in connection with sensitive problems encountered for very thin shells; and others. Most of numerical computations presented here use an adaptive anisotropic mesh procedure which allows a good computation of the physical peculiarities on one hand, and the possibility to perform automatic computations (without a previous mathematical description of the singularities) on the other. The book is recommended for PhD students, postgraduates and researchers who want to improve their knowledge in shell theory and in particular in the areas addressed (analysis of singularities, numerical computing of thin and very thin shell problems, sensitive problems). The lecture of the book may not be continuous and the reader may refer directly to the chapters concerned. (orig.)

Density functional theory study of Al-doped hematite

International Nuclear Information System (INIS)

Rivera, Richard; Stashans, Arvids; Piedra, Lorena; Pinto, Henry P

2012-01-01

Using first-principles density functional theory calculations within the generalized gradient approximation (GGA) as well as the GGA+U approach, we study Al-doped α-Fe 2 O 3 crystals. Structural, electronic, magnetic and optical properties due to impurity incorporation have been investigated and discussed in detail. Atomic displacements and Bader charges on atoms have been computed, showing that Al dopant converts the chemical bonding in its neighbourhood into a more ionic one. This work enhances our knowledge about how a crystalline lattice reacts in the presence of an Al impurity. It was found that Al incorporation produces some local changes in the band structure of the material without the creation of local energy levels within the band gap. The results provide evidence for changes in the magnetic moments in the vicinity of a defect, which means that α-Fe 2 O 3 doped with aluminum might not act as an antiferromagnetic substance.

Effective field theory approach to structure functions at small xBj

International Nuclear Information System (INIS)

Nachtmann, O.

2003-01-01

We relate the structure functions of deep inelastic lepton-nucleon scattering to current-current correlation functions in a Euclidean field theory depending on a parameter r. The r-dependent Hamiltonian of the theory is P 0 -(1-r)P 3 , with P 0 the usual Hamiltonian and P 3 the third component of the momentum operator. We show that a small x Bj in the structure functions corresponds to the small r limit of the effective theory. We argue that for r→0 there is a critical regime of the theory where simple scaling relations should hold. We show that in this framework Regge behaviour of the structure functions obtained with the hard pomeron ansatz corresponds to a scaling behaviour of the matrix elements in the effective theory where the intercept of the hard pomeron appears as a critical index. Explicit expressions for various analytic continuations of the structure functions and matrix elements are given as well as path integral representations for the matrix elements in the effective theory. Our aim is to provide a framework for truly non-perturbative calculations of the structure functions at small x Bj for arbitrary Q 2 . (orig.)

Functional Automata - Formal Languages for Computer Science Students

Directory of Open Access Journals (Sweden)

Marco T. Morazán

2014-12-01

Full Text Available An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science. The existence of this perception is not completely absurd since students are asked to design and prove correct machines and grammars without being able to experiment nor get immediate feedback, which is essential in a learning context. This article puts forth the thesis that the theory of computation ought to be taught using tools for actually building computations. It describes the implementation and the classroom use of a library, FSM, designed to provide students with the opportunity to experiment and test their designs using state machines, grammars, and regular expressions. Students are able to perform random testing before proceeding with a formal proof of correctness. That is, students can test their designs much like they do in a programming course. In addition, the library easily allows students to implement the algorithms they develop as part of the constructive proofs they write. Providing students with this ability ought to be a new trend in the formal languages classroom.

Dynamics and computation in functional shifts

Science.gov (United States)

Namikawa, Jun; Hashimoto, Takashi

2004-07-01

We introduce a new type of shift dynamics as an extended model of symbolic dynamics, and investigate the characteristics of shift spaces from the viewpoints of both dynamics and computation. This shift dynamics is called a functional shift, which is defined by a set of bi-infinite sequences of some functions on a set of symbols. To analyse the complexity of functional shifts, we measure them in terms of topological entropy, and locate their languages in the Chomsky hierarchy. Through this study, we argue that considering functional shifts from the viewpoints of both dynamics and computation gives us opposite results about the complexity of systems. We also describe a new class of shift spaces whose languages are not recursively enumerable.

Open-system Kohn-Sham density functional theory.

Science.gov (United States)

Zhou, Yongxi; Ernzerhof, Matthias

2012-03-07

A simple model for electron transport through molecules is provided by the source-sink potential (SSP) method [F. Goyer, M. Ernzerhof, and M. Zhuang, J. Chem. Phys. 126, 144104 (2007)]. In SSP, the boundary conditions of having an incoming and outgoing electron current are enforced through complex potentials that are added to the Hamiltonian. Depending on the sign of the imaginary part of the potentials, current density is generated or absorbed. In this way, a finite system can be used to model infinite molecular electronic devices. The SSP has originally been developed for the Hückel method and subsequently it has been extended [F. Goyer and M. Ernzerhof, J. Chem. Phys. 134, 174101 (2011)] to the Hubbard model. Here we present a step towards its generalization for first-principles electronic structure theory methods. In particular, drawing on our earlier work, we discuss a new generalized density functional theory for complex non-Hermitian Hamiltonians. This theory enables us to combine SSP and Kohn-Sham theory to obtain a method for the description of open systems that exchange current density with their environment. Similarly, the Hartree-Fock method is extended to the realm of non-Hermitian, SSP containing Hamiltonians. As a proof of principle, we present the first applications of complex-density functional theory (CODFT) as well as non-Hermitian Hartree-Fock theory to electron transport through molecules. © 2012 American Institute of Physics

High performance computations using dynamical nucleation theory

International Nuclear Information System (INIS)

Windus, T L; Crosby, L D; Kathmann, S M

2008-01-01

Chemists continue to explore the use of very large computations to perform simulations that describe the molecular level physics of critical challenges in science. In this paper, we describe the Dynamical Nucleation Theory Monte Carlo (DNTMC) model - a model for determining molecular scale nucleation rate constants - and its parallel capabilities. The potential for bottlenecks and the challenges to running on future petascale or larger resources are delineated. A 'master-slave' solution is proposed to scale to the petascale and will be developed in the NWChem software. In addition, mathematical and data analysis challenges are described

Theory of Covalent Adsorbate Frontier Orbital Energies on Functionalized Light-Absorbing Semiconductor Surfaces.

Science.gov (United States)

Yu, Min; Doak, Peter; Tamblyn, Isaac; Neaton, Jeffrey B

2013-05-16

Functional hybrid interfaces between organic molecules and semiconductors are central to many emerging information and solar energy conversion technologies. Here we demonstrate a general, empirical parameter-free approach for computing and understanding frontier orbital energies - or redox levels - of a broad class of covalently bonded organic-semiconductor surfaces. We develop this framework in the context of specific density functional theory (DFT) and many-body perturbation theory calculations, within the GW approximation, of an exemplar interface, thiophene-functionalized silicon (111). Through detailed calculations taking into account structural and binding energetics of mixed-monolayers consisting of both covalently attached thiophene and hydrogen, chlorine, methyl, and other passivating groups, we quantify the impact of coverage, nonlocal polarization, and interface dipole effects on the alignment of the thiophene frontier orbital energies with the silicon band edges. For thiophene adsorbate frontier orbital energies, we observe significant corrections to standard DFT (∼1 eV), including large nonlocal electrostatic polarization effects (∼1.6 eV). Importantly, both results can be rationalized from knowledge of the electronic structure of the isolated thiophene molecule and silicon substrate systems. Silicon band edge energies are predicted to vary by more than 2.5 eV, while molecular orbital energies stay similar, with the different functional groups studied, suggesting the prospect of tuning energy alignment over a wide range for photoelectrochemistry and other applications.

Automated computation of one-loop integrals in massless theories

International Nuclear Information System (INIS)

Hameren, A. van; Vollinga, J.; Weinzierl, S.

2005-01-01

We consider one-loop tensor and scalar integrals, which occur in a massless quantum field theory, and we report on the implementation into a numerical program of an algorithm for the automated computation of these one-loop integrals. The number of external legs of the loop integrals is not restricted. All calculations are done within dimensional regularization. (orig.)

Modern Theories of Pelvic Floor Support : A Topical Review of Modern Studies on Structural and Functional Pelvic Floor Support from Medical Imaging, Computational Modeling, and Electromyographic Perspectives.

Science.gov (United States)

Peng, Yun; Miller, Brandi D; Boone, Timothy B; Zhang, Yingchun

2018-02-12

Weakened pelvic floor support is believed to be the main cause of various pelvic floor disorders. Modern theories of pelvic floor support stress on the structural and functional integrity of multiple structures and their interplay to maintain normal pelvic floor functions. Connective tissues provide passive pelvic floor support while pelvic floor muscles provide active support through voluntary contraction. Advanced modern medical technologies allow us to comprehensively and thoroughly evaluate the interaction of supporting structures and assess both active and passive support functions. The pathophysiology of various pelvic floor disorders associated with pelvic floor weakness is now under scrutiny from the combination of (1) morphological, (2) dynamic (through computational modeling), and (3) neurophysiological perspectives. This topical review aims to update newly emerged studies assessing pelvic floor support function among these three categories. A literature search was performed with emphasis on (1) medical imaging studies that assess pelvic floor muscle architecture, (2) subject-specific computational modeling studies that address new topics such as modeling muscle contractions, and (3) pelvic floor neurophysiology studies that report novel devices or findings such as high-density surface electromyography techniques. We found that recent computational modeling studies are featured with more realistic soft tissue constitutive models (e.g., active muscle contraction) as well as an increasing interest in simulating surgical interventions (e.g., artificial sphincter). Diffusion tensor imaging provides a useful non-invasive tool to characterize pelvic floor muscles at the microstructural level, which can be potentially used to improve the accuracy of the simulation of muscle contraction. Studies using high-density surface electromyography anal and vaginal probes on large patient cohorts have been recently reported. Influences of vaginal delivery on the

Ground-State Gas-Phase Structures of Inorganic Molecules Predicted by Density Functional Theory Methods

KAUST Repository

Minenkov, Yury

2017-11-29

We tested a battery of density functional theory (DFT) methods ranging from generalized gradient approximation (GGA) via meta-GGA to hybrid meta-GGA schemes as well as Møller–Plesset perturbation theory of the second order and a single and double excitation coupled-cluster (CCSD) theory for their ability to reproduce accurate gas-phase structures of di- and triatomic molecules derived from microwave spectroscopy. We obtained the most accurate molecular structures using the hybrid and hybrid meta-GGA approximations with B3PW91, APF, TPSSh, mPW1PW91, PBE0, mPW1PBE, B972, and B98 functionals, resulting in lowest errors. We recommend using these methods to predict accurate three-dimensional structures of inorganic molecules when intramolecular dispersion interactions play an insignificant role. The structures that the CCSD method predicts are of similar quality although at considerably larger computational cost. The structures that GGA and meta-GGA schemes predict are less accurate with the largest absolute errors detected with BLYP and M11-L, suggesting that these methods should not be used if accurate three-dimensional molecular structures are required. Because of numerical problems related to the integration of the exchange–correlation part of the functional and large scattering of errors, most of the Minnesota models tested, particularly MN12-L, M11, M06-L, SOGGA11, and VSXC, are also not recommended for geometry optimization. When maintaining a low computational budget is essential, the nonseparable gradient functional N12 might work within an acceptable range of error. As expected, the DFT-D3 dispersion correction had a negligible effect on the internuclear distances when combined with the functionals tested on nonweakly bonded di- and triatomic inorganic molecules. By contrast, the dispersion correction for the APF-D functional has been found to shorten the bonds significantly, up to 0.064 Å (AgI), in Ag halides, BaO, BaS, BaF, BaCl, Cu halides, and Li and

Grand partition function in field theory with applications to sine-Gordon field theory

International Nuclear Information System (INIS)

Samuel, S.

1978-01-01

Certain relativistic field theories are shown to be equivalent to the grand partition function of an interacting gas. Using the physical insight given by this analogy many field-theoretic results are obtained, particularly for the sine-Gordon field theory. The main results are enumerated in the summary to which the reader is referred

Geometric theory of functions of a complex variable

CERN Document Server

Goluzin, G M

1969-01-01

This book is based on lectures on geometric function theory given by the author at Leningrad State University. It studies univalent conformal mapping of simply and multiply connected domains, conformal mapping of multiply connected domains onto a disk, applications of conformal mapping to the study of interior and boundary properties of analytic functions, and general questions of a geometric nature dealing with analytic functions. The second Russian edition upon which this English translation is based differs from the first mainly in the expansion of two chapters and in the addition of a long survey of more recent developments. The book is intended for readers who are already familiar with the basics of the theory of functions of one complex variable.

A Grounded Theory Analysis of Introductory Computer Science Pedagogy

Directory of Open Access Journals (Sweden)

Jonathan Wellons

2011-12-01

Full Text Available Planning is a critical, early step on the path to successful program writing and a skill that is often lacking in novice programmers. As practitioners we are continually searching for or creating interventions to help our students, particularly those who struggle in the early stages of their computer science education. In this paper we report on our ongoing research of novice programming skills that utilizes the qualitative research method of grounded theory to develop theories and inform the construction of these interventions. We describe how grounded theory, a popular research method in the social sciences since the 1960’s, can lend formality and structure to the common practice of simply asking students what they did and why they did it. Further, we aim to inform the reader not only about our emerging theories on interventions for planning but also how they might collect and analyze their own data in this and other areas that trouble novice programmers. In this way those who lecture and design CS1 interventions can do so from a more informed perspective.

Higher genus partition functions of meromorphic conformal field theories

International Nuclear Information System (INIS)

Gaberdiel, Matthias R.; Volpato, Roberto

2009-01-01

It is shown that the higher genus vacuum amplitudes of a meromorphic conformal field theory determine the affine symmetry of the theory uniquely, and we give arguments that suggest that also the representation content with respect to this affine symmetry is specified, up to automorphisms of the finite Lie algebra. We illustrate our findings with the self-dual theories at c = 16 and c = 24; in particular, we give an elementary argument that shows that the vacuum amplitudes of the E 8 x E 8 theory and the Spin(32)/Z 2 theory differ at genus g = 5. The fact that the discrepancy only arises at rather high genus is a consequence of the modular properties of higher genus amplitudes at small central charges. In fact, we show that for c ≤ 24 the genus one partition function specifies already the partition functions up to g ≤ 4 uniquely. Finally we explain how our results generalise to non-meromorphic conformal field theories.

Density functional theory for polymeric systems in 2D

International Nuclear Information System (INIS)

Słyk, Edyta; Bryk, Paweł; Roth, Roland

2016-01-01

We propose density functional theory for polymeric fluids in two dimensions. The approach is based on Wertheim’s first order thermodynamic perturbation theory (TPT) and closely follows density functional theory for polymers proposed by Yu and Wu (2002 J. Chem. Phys . 117 2368). As a simple application we evaluate the density profiles of tangent hard-disk polymers at hard walls. The theoretical predictions are compared against the results of the Monte Carlo simulations. We find that for short chain lengths the theoretical density profiles are in an excellent agreement with the Monte Carlo data. The agreement is less satisfactory for longer chains. The performance of the theory can be improved by recasting the approach using the self-consistent field theory formalism. When the self-avoiding chain statistics is used, the theory yields a marked improvement in the low density limit. Further improvements for long chains could be reached by going beyond the first order of TPT. (paper)

Angle-dependent strong-field molecular ionization rates with tuned range-separated time-dependent density functional theory

Energy Technology Data Exchange (ETDEWEB)

Sissay, Adonay [Department of Chemistry, Louisiana State University, Baton Rouge, Louisiana 70803 (United States); Abanador, Paul; Mauger, François; Gaarde, Mette; Schafer, Kenneth J. [Department of Physics and Astronomy, Louisiana State University, Baton Rouge, Louisiana 70803 (United States); Lopata, Kenneth, E-mail: klopata@lsu.edu [Department of Chemistry, Louisiana State University, Baton Rouge, Louisiana 70803 (United States); Center for Computation and Technology, Louisiana State University, Baton Rouge, Louisiana 70803 (United States)

2016-09-07

Strong-field ionization and the resulting electronic dynamics are important for a range of processes such as high harmonic generation, photodamage, charge resonance enhanced ionization, and ionization-triggered charge migration. Modeling ionization dynamics in molecular systems from first-principles can be challenging due to the large spatial extent of the wavefunction which stresses the accuracy of basis sets, and the intense fields which require non-perturbative time-dependent electronic structure methods. In this paper, we develop a time-dependent density functional theory approach which uses a Gaussian-type orbital (GTO) basis set to capture strong-field ionization rates and dynamics in atoms and small molecules. This involves propagating the electronic density matrix in time with a time-dependent laser potential and a spatial non-Hermitian complex absorbing potential which is projected onto an atom-centered basis set to remove ionized charge from the simulation. For the density functional theory (DFT) functional we use a tuned range-separated functional LC-PBE*, which has the correct asymptotic 1/r form of the potential and a reduced delocalization error compared to traditional DFT functionals. Ionization rates are computed for hydrogen, molecular nitrogen, and iodoacetylene under various field frequencies, intensities, and polarizations (angle-dependent ionization), and the results are shown to quantitatively agree with time-dependent Schrödinger equation and strong-field approximation calculations. This tuned DFT with GTO method opens the door to predictive all-electron time-dependent density functional theory simulations of ionization and ionization-triggered dynamics in molecular systems using tuned range-separated hybrid functionals.

Angle-dependent strong-field molecular ionization rates with tuned range-separated time-dependent density functional theory

International Nuclear Information System (INIS)

Sissay, Adonay; Abanador, Paul; Mauger, François; Gaarde, Mette; Schafer, Kenneth J.; Lopata, Kenneth

2016-01-01

Strong-field ionization and the resulting electronic dynamics are important for a range of processes such as high harmonic generation, photodamage, charge resonance enhanced ionization, and ionization-triggered charge migration. Modeling ionization dynamics in molecular systems from first-principles can be challenging due to the large spatial extent of the wavefunction which stresses the accuracy of basis sets, and the intense fields which require non-perturbative time-dependent electronic structure methods. In this paper, we develop a time-dependent density functional theory approach which uses a Gaussian-type orbital (GTO) basis set to capture strong-field ionization rates and dynamics in atoms and small molecules. This involves propagating the electronic density matrix in time with a time-dependent laser potential and a spatial non-Hermitian complex absorbing potential which is projected onto an atom-centered basis set to remove ionized charge from the simulation. For the density functional theory (DFT) functional we use a tuned range-separated functional LC-PBE*, which has the correct asymptotic 1/r form of the potential and a reduced delocalization error compared to traditional DFT functionals. Ionization rates are computed for hydrogen, molecular nitrogen, and iodoacetylene under various field frequencies, intensities, and polarizations (angle-dependent ionization), and the results are shown to quantitatively agree with time-dependent Schrödinger equation and strong-field approximation calculations. This tuned DFT with GTO method opens the door to predictive all-electron time-dependent density functional theory simulations of ionization and ionization-triggered dynamics in molecular systems using tuned range-separated hybrid functionals.

Predictor - Predictive Reaction Design via Informatics, Computation and Theories of Reactivity

Science.gov (United States)

2017-10-10

Informatics, Computation and Theories of Reactivity Report Term: 0-Other Email : djtantillo@ucdavis.edu Distribution Statement: 1-Approved for public...Principal: Y Name: Dean J. Tantillo Email : djtantillo@ucdavis.edu RPPR Final Report as of 24-Nov-2017 Honors and Awards: Nothing to Report Protocol...meaningful queries is finding a balance between the amount of details in the metadata and computed results stored in the database vs. writing data

Bounded queries in recursion theory

CERN Document Server

Gasarch, William I

1999-01-01

One of the major concerns of theoretical computer science is the classifi­ cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac~that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function.

An information theory framework for dynamic functional domain connectivity.

Science.gov (United States)

Vergara, Victor M; Miller, Robyn; Calhoun, Vince

2017-06-01

Dynamic functional network connectivity (dFNC) analyzes time evolution of coherent activity in the brain. In this technique dynamic changes are considered for the whole brain. This paper proposes an information theory framework to measure information flowing among subsets of functional networks call functional domains. Our method aims at estimating bits of information contained and shared among domains. The succession of dynamic functional states is estimated at the domain level. Information quantity is based on the probabilities of observing each dynamic state. Mutual information measurement is then obtained from probabilities across domains. Thus, we named this value the cross domain mutual information (CDMI). Strong CDMIs were observed in relation to the subcortical domain. Domains related to sensorial input, motor control and cerebellum form another CDMI cluster. Information flow among other domains was seldom found. Other methods of dynamic connectivity focus on whole brain dFNC matrices. In the current framework, information theory is applied to states estimated from pairs of multi-network functional domains. In this context, we apply information theory to measure information flow across functional domains. Identified CDMI clusters point to known information pathways in the basal ganglia and also among areas of sensorial input, patterns found in static functional connectivity. In contrast, CDMI across brain areas of higher level cognitive processing follow a different pattern that indicates scarce information sharing. These findings show that employing information theory to formally measured information flow through brain domains reveals additional features of functional connectivity. Copyright © 2017 Elsevier B.V. All rights reserved.

Density functional theory study of the interaction of vinyl radical, ethyne, and ethene with benzene, aimed to define an affordable computational level to investigate stability trends in large van der Waals complexes

Science.gov (United States)

Maranzana, Andrea; Giordana, Anna; Indarto, Antonius; Tonachini, Glauco; Barone, Vincenzo; Causà, Mauro; Pavone, Michele

2013-12-01

Our purpose is to identify a computational level sufficiently dependable and affordable to assess trends in the interaction of a variety of radical or closed shell unsaturated hydro-carbons A adsorbed on soot platelet models B. These systems, of environmental interest, would unavoidably have rather large sizes, thus prompting to explore in this paper the performances of relatively low-level computational methods and compare them with higher-level reference results. To this end, the interaction of three complexes between non-polar species, vinyl radical, ethyne, or ethene (A) with benzene (B) is studied, since these species, involved themselves in growth processes of polycyclic aromatic hydrocarbons (PAHs) and soot particles, are small enough to allow high-level reference calculations of the interaction energy ΔEAB. Counterpoise-corrected interaction energies ΔEAB are used at all stages. (1) Density Functional Theory (DFT) unconstrained optimizations of the A-B complexes are carried out, using the B3LYP-D, ωB97X-D, and M06-2X functionals, with six basis sets: 6-31G(d), 6-311 (2d,p), and 6-311++G(3df,3pd); aug-cc-pVDZ and aug-cc-pVTZ; N07T. (2) Then, unconstrained optimizations by Møller-Plesset second order Perturbation Theory (MP2), with each basis set, allow subsequent single point Coupled Cluster Singles Doubles and perturbative estimate of the Triples energy computations with the same basis sets [CCSD(T)//MP2]. (3) Based on an additivity assumption of (i) the estimated MP2 energy at the complete basis set limit [EMP2/CBS] and (ii) the higher-order correlation energy effects in passing from MP2 to CCSD(T) at the aug-cc-pVTZ basis set, ΔECC-MP, a CCSD(T)/CBS estimate is obtained and taken as a computational energy reference. At DFT, variations in ΔEAB with basis set are not large for the title molecules, and the three functionals perform rather satisfactorily even with rather small basis sets [6-31G(d) and N07T], exhibiting deviation from the computational

Density functional theory study of the interaction of vinyl radical, ethyne, and ethene with benzene, aimed to define an affordable computational level to investigate stability trends in large van der Waals complexes

International Nuclear Information System (INIS)

Maranzana, Andrea; Giordana, Anna; Indarto, Antonius; Tonachini, Glauco; Barone, Vincenzo; Causà, Mauro; Pavone, Michele

2013-01-01

Our purpose is to identify a computational level sufficiently dependable and affordable to assess trends in the interaction of a variety of radical or closed shell unsaturated hydro-carbons A adsorbed on soot platelet models B. These systems, of environmental interest, would unavoidably have rather large sizes, thus prompting to explore in this paper the performances of relatively low-level computational methods and compare them with higher-level reference results. To this end, the interaction of three complexes between non-polar species, vinyl radical, ethyne, or ethene (A) with benzene (B) is studied, since these species, involved themselves in growth processes of polycyclic aromatic hydrocarbons (PAHs) and soot particles, are small enough to allow high-level reference calculations of the interaction energy ΔE AB . Counterpoise-corrected interaction energies ΔE AB are used at all stages. (1) Density Functional Theory (DFT) unconstrained optimizations of the A−B complexes are carried out, using the B3LYP-D, ωB97X-D, and M06-2X functionals, with six basis sets: 6-31G(d), 6-311 (2d,p), and 6-311++G(3df,3pd); aug-cc-pVDZ and aug-cc-pVTZ; N07T. (2) Then, unconstrained optimizations by Møller-Plesset second order Perturbation Theory (MP2), with each basis set, allow subsequent single point Coupled Cluster Singles Doubles and perturbative estimate of the Triples energy computations with the same basis sets [CCSD(T)//MP2]. (3) Based on an additivity assumption of (i) the estimated MP2 energy at the complete basis set limit [E MP2/CBS ] and (ii) the higher-order correlation energy effects in passing from MP2 to CCSD(T) at the aug-cc-pVTZ basis set, ΔE CC-MP , a CCSD(T)/CBS estimate is obtained and taken as a computational energy reference. At DFT, variations in ΔE AB with basis set are not large for the title molecules, and the three functionals perform rather satisfactorily even with rather small basis sets [6-31G(d) and N07T], exhibiting deviation from the

Theory of mind and executive function during middle childhood across cultures.

Science.gov (United States)

Wang, Zhenlin; Devine, Rory T; Wong, Keri K; Hughes, Claire

2016-09-01

Previous studies with preschoolers have reported "East-West" contrasts in children's executive function (East>West) and theory of mind (Easttheory of mind. With respect to theory of mind, therefore, pedagogical experiences appear to be more salient than factors related to the broad contrast between individualist and collectivist cultures. Our findings also contribute to the debate surrounding the relationship between theory of mind and executive function; although scores on these two sets of tasks were robustly correlated within each country, the double dissociation between delayed theory of mind but superior executive function for children in local schools in Hong Kong compared with their U.K. peers suggests that variation in executive function may be necessary but is not sufficient to explain variation in theory of mind. Copyright © 2015 The Authors. Published by Elsevier Inc. All rights reserved.

BLUES function method in computational physics

Science.gov (United States)

Indekeu, Joseph O.; Müller-Nedebock, Kristian K.

2018-04-01

We introduce a computational method in physics that goes ‘beyond linear use of equation superposition’ (BLUES). A BLUES function is defined as a solution of a nonlinear differential equation (DE) with a delta source that is at the same time a Green’s function for a related linear DE. For an arbitrary source, the BLUES function can be used to construct an exact solution to the nonlinear DE with a different, but related source. Alternatively, the BLUES function can be used to construct an approximate piecewise analytical solution to the nonlinear DE with an arbitrary source. For this alternative use the related linear DE need not be known. The method is illustrated in a few examples using analytical calculations and numerical computations. Areas for further applications are suggested.

Assessing exchange-correlation functionals for elasticity and thermodynamics of α -ZrW2O8 : A density functional perturbation theory study

Science.gov (United States)

Weck, Philippe F.; Kim, Eunja; Greathouse, Jeffery A.; Gordon, Margaret E.; Bryan, Charles R.

2018-04-01

Elastic and thermodynamic properties of negative thermal expansion (NTE) α -ZrW2O8 have been calculated using PBEsol and PBE exchange-correlation functionals within the framework of density functional perturbation theory (DFPT). Measured elastic constants are reproduced within ∼ 2 % with PBEsol and ∼ 6 % with PBE. The thermal evolution of the Grüneisen parameter computed within the quasi-harmonic approximation exhibits negative values below the Debye temperature, consistent with observation. The standard molar heat capacity is predicted to be CP0 = 192.2 and 193.8 J mol-1K-1 with PBEsol and PBE, respectively. These results suggest superior accuracy of DFPT/PBEsol for studying the lattice dynamics, elasticity and thermodynamics of NTE materials.

Spherical radial basis functions, theory and applications

CERN Document Server

Hubbert, Simon; Morton, Tanya M

2015-01-01

This book is the first to be devoted to the theory and applications of spherical (radial) basis functions (SBFs), which is rapidly emerging as one of the most promising techniques for solving problems where approximations are needed on the surface of a sphere. The aim of the book is to provide enough theoretical and practical details for the reader to be able to implement the SBF methods to solve real world problems. The authors stress the close connection between the theory of SBFs and that of the more well-known family of radial basis functions (RBFs), which are well-established tools for solving approximation theory problems on more general domains. The unique solvability of the SBF interpolation method for data fitting problems is established and an in-depth investigation of its accuracy is provided. Two chapters are devoted to partial differential equations (PDEs). One deals with the practical implementation of an SBF-based solution to an elliptic PDE and another which describes an SBF approach for solvi...

Accurate donor electron wave functions from a multivalley effective mass theory.

Science.gov (United States)

Pendo, Luke; Hu, Xuedong

Multivalley effective mass (MEM) theories combine physical intuition with a marginal need for computational resources, but they tend to be insensitive to variations in the wavefunction. However, recent papers suggest full Bloch functions and suitable central cell donor potential corrections are essential to replicating qualitative and quantitative features of the wavefunction. In this talk, we consider a variational MEM method that can accurately predict both spectrum and wavefunction of isolated phosphorus donors. As per Gamble et. al, we employ a truncated series representation of the Bloch function with a tetrahedrally symmetric central cell correction. We use a dynamic dielectric constant, a feature commonly seen in tight-binding methods. Uniquely, we use a freely extensible basis of either all Slater- or all Gaussian-type functions. With a large basis able to capture the influence of higher energy eigenstates, this method is well positioned to consider the influence of external perturbations, such as electric field or applied strain, on the charge density. This work is supported by the US Army Research Office (W911NF1210609).

Multicomponent density-functional theory for time-dependent systems

NARCIS (Netherlands)

Butriy, O.; Ebadi, H.; de Boeij, P. L.; van Leeuwen, R.; Gross, E. K. U.

2007-01-01

We derive the basic formalism of density functional theory for time-dependent electron-nuclear systems. The basic variables of this theory are the electron density in body-fixed frame coordinates and the diagonal of the nuclear N-body density matrix. The body-fixed frame transformation is carried

Efficiency using computer simulation of Reverse Threshold Model Theory on assessing a “One Laptop Per Child” computer versus desktop computer

Directory of Open Access Journals (Sweden)

Supat Faarungsang

2017-04-01

Full Text Available The Reverse Threshold Model Theory (RTMT model was introduced based on limiting factor concepts, but its efficiency compared to the Conventional Model (CM has not been published. This investigation assessed the efficiency of RTMT compared to CM using computer simulation on the “One Laptop Per Child” computer and a desktop computer. Based on probability values, it was found that RTMT was more efficient than CM among eight treatment combinations and an earlier study verified that RTMT gives complete elimination of random error. Furthermore, RTMT has several advantages over CM and is therefore proposed to be applied to most research data.

General quadratic gauge theory: constraint structure, symmetries and physical functions

Energy Technology Data Exchange (ETDEWEB)

Gitman, D M [Institute of Physics, University of Sao Paulo (Brazil); Tyutin, I V [Lebedev Physics Institute, Moscow (Russian Federation)

2005-06-17

How can we relate the constraint structure and constraint dynamics of the general gauge theory in the Hamiltonian formulation to specific features of the theory in the Lagrangian formulation, especially relate the constraint structure to the gauge transformation structure of the Lagrangian action? How can we construct the general expression for the gauge charge if the constraint structure in the Hamiltonian formulation is known? Whether we can identify the physical functions defined as commuting with first-class constraints in the Hamiltonian formulation and the physical functions defined as gauge invariant functions in the Lagrangian formulation? The aim of the present paper is to consider the general quadratic gauge theory and to answer the above questions for such a theory in terms of strict assertions. To fulfil such a programme, we demonstrate the existence of the so-called superspecial phase-space variables in terms of which the quadratic Hamiltonian action takes a simple canonical form. On the basis of such a representation, we analyse a functional arbitrariness in the solutions of the equations of motion of the quadratic gauge theory and derive the general structure of symmetries by analysing a symmetry equation. We then use these results to identify the two definitions of physical functions and thus prove the Dirac conjecture.

Real-time dynamics of lattice gauge theories with a few-qubit quantum computer

Science.gov (United States)

Martinez, Esteban A.; Muschik, Christine A.; Schindler, Philipp; Nigg, Daniel; Erhard, Alexander; Heyl, Markus; Hauke, Philipp; Dalmonte, Marcello; Monz, Thomas; Zoller, Peter; Blatt, Rainer

2016-06-01

Gauge theories are fundamental to our understanding of interactions between the elementary constituents of matter as mediated by gauge bosons. However, computing the real-time dynamics in gauge theories is a notorious challenge for classical computational methods. This has recently stimulated theoretical effort, using Feynman’s idea of a quantum simulator, to devise schemes for simulating such theories on engineered quantum-mechanical devices, with the difficulty that gauge invariance and the associated local conservation laws (Gauss laws) need to be implemented. Here we report the experimental demonstration of a digital quantum simulation of a lattice gauge theory, by realizing (1 + 1)-dimensional quantum electrodynamics (the Schwinger model) on a few-qubit trapped-ion quantum computer. We are interested in the real-time evolution of the Schwinger mechanism, describing the instability of the bare vacuum due to quantum fluctuations, which manifests itself in the spontaneous creation of electron-positron pairs. To make efficient use of our quantum resources, we map the original problem to a spin model by eliminating the gauge fields in favour of exotic long-range interactions, which can be directly and efficiently implemented on an ion trap architecture. We explore the Schwinger mechanism of particle-antiparticle generation by monitoring the mass production and the vacuum persistence amplitude. Moreover, we track the real-time evolution of entanglement in the system, which illustrates how particle creation and entanglement generation are directly related. Our work represents a first step towards quantum simulation of high-energy theories using atomic physics experiments—the long-term intention is to extend this approach to real-time quantum simulations of non-Abelian lattice gauge theories.

Regression modeling methods, theory, and computation with SAS

CERN Document Server

Panik, Michael

2009-01-01

Regression Modeling: Methods, Theory, and Computation with SAS provides an introduction to a diverse assortment of regression techniques using SAS to solve a wide variety of regression problems. The author fully documents the SAS programs and thoroughly explains the output produced by the programs.The text presents the popular ordinary least squares (OLS) approach before introducing many alternative regression methods. It covers nonparametric regression, logistic regression (including Poisson regression), Bayesian regression, robust regression, fuzzy regression, random coefficients regression,

A density functional theory-based chemical potential equalisation

Indian Academy of Sciences (India)

A chemical potential equalisation scheme is proposed for the calculation of these quantities and hence the dipole polarizability within the framework of density functional theory based linear response theory. The resulting polarizability is expressed in terms of the contributions from individual atoms in the molecule. A few ...

Mathematical analysis, approximation theory and their applications

CERN Document Server

Gupta, Vijay

2016-01-01

Designed for graduate students, researchers, and engineers in mathematics, optimization, and economics, this self-contained volume presents theory, methods, and applications in mathematical analysis and approximation theory. Specific topics include: approximation of functions by linear positive operators with applications to computer aided geometric design, numerical analysis, optimization theory, and solutions of differential equations. Recent and significant developments in approximation theory, special functions and q-calculus along with their applications to mathematics, engineering, and social sciences are discussed and analyzed. Each chapter enriches the understanding of current research problems and theories in pure and applied research.

Systemic Functional Theory: A Pickax of Textual Investigation

Directory of Open Access Journals (Sweden)

Taofeek Dalamu

2017-03-01

Full Text Available The study examines Systemic Functional Theory (SFT as a tool of examining text, and perhaps, text of any dimension as long as it falls within the grammatical organs of the clause. The author provides explanations for the theory from its relevant source(s. The chronological appreciation involves the efforts of Saussure, Firth, Malinowski, Hjelmslev, etc. However, Halliday’s insight seems prominent and upon which Systemic Functional Theory receives a global status that it has assumed today. Halliday constructs numerous concepts e.g. lexicogrammar, processes, cohesion, coherence, system, system network with background from traditional grammar and sociological tokens. In addition to that, the three metafunctions are characterized as its core operational concepts. Out of these, the mood system serves as the instrument of analysis of Psalm one utilized in this endeavor as a case study. Although the clauses fall within the profile of the indicative and imperative, the study reveals that some of the structures are inverted in order to propagate the intended messages. To that end, there are inverted indicative clauses expressed as inverted declarative statements, inverted imperative questions and inverted negativized polarity. In sum, Systemic Functional Theory is a facility for explaining different shapes of texts.

Prospect theory: A parametric analysis of functional forms in Brazil

Directory of Open Access Journals (Sweden)

Robert Eugene Lobel

2017-10-01

Full Text Available This study aims to analyze risk preferences in Brazil based on prospect theory by estimating the risk aversion parameter of the expected utility theory (EUT for a select sample, in addition to the value and probability function parameter, assuming various functional forms, and a newly proposed value function, the modified log. This is the first such study in Brazil, and the parameter results are slightly different from studies in other countries, indicating that subjects are more risk averse and exhibit a smaller loss aversion. Probability distortion is the only common factor. As expected, the study finds that behavioral models are superior to EUT, and models based on prospect theory, the TK and Prelec weighting function, and the value power function show superior performance to others. Finally, the modified log function proposed in the study fits the data well, and can thus be used for future studies in Brazil.

EFTofPNG: a package for high precision computation with the effective field theory of post-Newtonian gravity

Science.gov (United States)

Levi, Michele; Steinhoff, Jan

2017-12-01

We present a novel public package ‘EFTofPNG’ for high precision computation in the effective field theory of post-Newtonian (PN) gravity, including spins. We created this package in view of the timely need to publicly share automated computation tools, which integrate the various types of physics manifested in the expected increasing influx of gravitational wave (GW) data. Hence, we created a free and open source package, which is self-contained, modular, all-inclusive, and accessible to the classical gravity community. The ‘EFTofPNG’ Mathematica package also uses the power of the ‘xTensor’ package, suited for complicated tensor computation, where our coding also strategically approaches the generic generation of Feynman contractions, which is universal to all perturbation theories in physics, by efficiently treating n-point functions as tensors of rank n. The package currently contains four independent units, which serve as subsidiaries to the main one. Its final unit serves as a pipeline chain for the obtainment of the final GW templates, and provides the full computation of derivatives and physical observables of interest. The upcoming ‘EFTofPNG’ package version 1.0 should cover the point mass sector, and all the spin sectors, up to the fourth PN order, and the two-loop level. We expect and strongly encourage public development of the package to improve its efficiency, and to extend it to further PN sectors, and observables useful for the waveform modelling.

En retorisk forståelsesramme for Computer Supported Collaborative Learning (A Rhetorical Theory on Computer Supported Collaborative Learning)

DEFF Research Database (Denmark)

Harlung, Asger

2003-01-01

The dissertation explores the potential of rhetorical theories for understanding, analyzing, or planning communication and learning processes, and for integrating the digitized contexts and human interaction and communication proccesses in a single theoretical framework. Based on Cicero's rhetori...... applied to two empirical case studies of Master programs, the dissertation develops and presents a new theory on Computer Supported Collaborative Learning (CSCL).......The dissertation explores the potential of rhetorical theories for understanding, analyzing, or planning communication and learning processes, and for integrating the digitized contexts and human interaction and communication proccesses in a single theoretical framework. Based on Cicero's rhetoric...

Statistical theory applications and associated computer codes

International Nuclear Information System (INIS)

Prince, A.

1980-01-01

The general format is along the same lines as that used in the O.M. Session, i.e. an introduction to the nature of the physical problems and methods of solution based on the statistical model of the nucleus. Both binary and higher multiple reactions are considered. The computer codes used in this session are a combination of optical model and statistical theory. As with the O.M. sessions, the preparation of input and analysis of output are thoroughly examined. Again, comparison with experimental data serves to demonstrate the validity of the results and possible areas for improvement. (author)

Non-linear variation of the beta function with momentum

International Nuclear Information System (INIS)

Parzen, G.

1983-07-01

A theory is presented for computing the non-linear dependence of the β-functions on momentum. Results are found for the quadratic term. The results of the theory are compared with computed results. A procedure is proposed for computing the strengths of the sextupole correctors to correct the dependence of the β-function on momentum

A monequillibrium mary-body systems IV: Respouse function theory

International Nuclear Information System (INIS)

Luzzi, R.; Vasconcellos, A.R.; Algarte, A.C.S.

1987-01-01

A response function theory for many-body systems arbitrarily away from equilibrium is presented. It is based on the nonequilibrium statistical operator method fully described in a previous article. A formal theory is presented evaluation of transition probabilties and the average values of dynamical quantities in far-from-equilibrium many-body systems under the action of external perturbations. A nonequilibrium thermodynamic Green's function algorithn appropriate for the calculation of response functions and scattering cross sections in terms of a generalized fluctuation-dissipation theorem for far-from-equilibrium systems is also derived. (author) [pt

Complex analysis a modern first course in function theory

CERN Document Server

Muir, Jerry R

2015-01-01

A thorough introduction to the theory of complex functions emphasizing the beauty, power, and counterintuitive nature of the subject Written with a reader-friendly approach, Complex Analysis: A Modern First Course in Function Theory features a self-contained, concise development of the fundamental principles of complex analysis. After laying groundwork on complex numbers and the calculus and geometric mapping properties of functions of a complex variable, the author uses power series as a unifying theme to define and study the many rich and occasionally surprising properties of analytic fun

Semantic Characterisations of Second-Order Computability over the Real Numbers

DEFF Research Database (Denmark)

Korovina, Margarita V.; Kudinov, Oleg V.

2001-01-01

equality and prove theorems which connect computable operators and real-valued functionals with validity of finite σ-formulas. This research was supported in part by the RFBR (grants N 99-01-00485, N 00-01-00810) and by the Siberian Division of RAS (a grant for young researchers, 2000)......We propose semantic characterisations of second-order computability over the reals based on σ-definability theory. Notions of computability for operators and real-valued functionals defined on the class of continuous functions are introduced via domain theory. We consider the reals with and without...

The space-time operator product expansion in string theory duals of field theories

International Nuclear Information System (INIS)

Aharony, Ofer; Komargodski, Zohar

2008-01-01

We study the operator product expansion (OPE) limit of correlation functions in field theories which possess string theory duals, from the point of view of the string worldsheet. We show how the interesting ('single-trace') terms in the OPE of the field theory arise in this limit from the OPE of the worldsheet theory of the string dual, using a dominant saddle point which appears in computations of worldsheet correlation functions in the space-time OPE limit. The worldsheet OPE generically contains only non-physical operators, but all the non-physical contributions are resummed by the saddle point to a contribution similar to that of a physical operator, which exactly matches the field theory expectations. We verify that the OPE limit of the worldsheet theory does not have any other contributions to the OPE limit of space-time correlation functions. Our discussion is completely general and applies to any local field theory (conformal at high energies) that has a weakly coupled string theory dual (with arbitrary curvature). As a first application, we compare our results to a proposal of R. Gopakumar for the string theory dual of free gauge theories