-
Nonresonant Raman control of material phases
Authors:
Jiaojian Shi,
Christian Heide,
Haowei Xu,
Yijing Huang,
Yuejun Shen,
Burak Guzelturk,
Meredith Henstridge,
Carl Friedrich Schön,
Anudeep Mangu,
Yuki Kobayashi,
Xinyue Peng,
Shangjie Zhang,
Andrew F. May,
Pooja Donthi Reddy,
Viktoryia Shautsova,
Mohammad Taghinejad,
Duan Luo,
Eamonn Hughes,
Mark L. Brongersma,
Kunal Mukherjee,
Mariano Trigo,
Tony F. Heinz,
Ju Li,
Keith A. Nelson,
Edoardo Baldini
, et al. (5 additional authors not shown)
Abstract:
Important advances have recently been made in the search for materials with complex multi-phase landscapes that host photoinduced metastable collective states with exotic functionalities. In almost all cases so far, the desired phases are accessed by exploiting light-matter interactions via the imaginary part of the dielectric function through above-bandgap or resonant mode excitation. Nonresonant…
▽ More
Important advances have recently been made in the search for materials with complex multi-phase landscapes that host photoinduced metastable collective states with exotic functionalities. In almost all cases so far, the desired phases are accessed by exploiting light-matter interactions via the imaginary part of the dielectric function through above-bandgap or resonant mode excitation. Nonresonant Raman excitation of coherent modes has been experimentally observed and proposed for dynamic material control, but the resulting atomic excursion has been limited to perturbative levels. Here, we demonstrate that it is possible to overcome this challenge by employing nonresonant ultrashort pulses with low photon energies well below the bandgap. Using mid-infrared pulses, we induce ferroelectric reversal in lithium niobate and phase switching in tin selenide and characterize the large-amplitude mode displacements through femtosecond Raman scattering, second harmonic generation, and x-ray diffraction. This approach, validated by first-principle calculations, defines a novel method for synthesizing hidden phases with unique functional properties and manipulating complex energy landscapes at reduced energy consumption and ultrafast speeds.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Atom probe tomography: a local probe for chemical bonds in solids
Authors:
Oana Cojocaru-Mirédin,
Yuan Yu,
Jan Köttgen,
Tanmoy Ghosh,
Carl-Friedrich Schön,
Shuai Han,
Chongjian Zhou,
Matthias Wuttig
Abstract:
Atom probe tomography is frequently employed to characterize the elemental distribution in solids with atomic resolution. Here we review and discuss the potential of this technique to locally probe chemical bonds. Two processes characterize the bond rupture in laser-assisted field emission, the probability of molecular ions, i.e. the probability that molecular ions (PMI) are evaporated instead of…
▽ More
Atom probe tomography is frequently employed to characterize the elemental distribution in solids with atomic resolution. Here we review and discuss the potential of this technique to locally probe chemical bonds. Two processes characterize the bond rupture in laser-assisted field emission, the probability of molecular ions, i.e. the probability that molecular ions (PMI) are evaporated instead of single (atomic) ions, and the probability of multiple events, i.e. the correlated field-evaporation of more than a single fragment (PME) upon laser- or voltage pulse excitation. Here we demonstrate that one can clearly distinguish solids with metallic, covalent, and metavalent bonds based on their bond rupture, i.e. their PME and PMI values. Differences in the field penetration depth can largely explain these differences in bond breaking. These findings open new avenues in understanding and designing advanced materials, since they allow a quantification of bonds in solids on a nanometer scale, as will be shown for several examples. These possibilities would even justify calling the present approach bonding probe tomography (BPT).
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Surface reconstruction induced anisotropic energy landscape of bismuth monomers and dimers on the Si(001) surface
Authors:
Haonan Huang,
Christian Schön,
Christian Ast
Abstract:
Spin qubits have attracted tremendous attention in the effort of building quantum computers over the years. Natural atomic scale candidates are group-V dopants in silicon, not only showing ultra-long lifetimes but also being compatible with current semiconductor technology. Nevertheless, bulk dopants are difficult to move with atomic precision, impeding the realization of desired structures for qu…
▽ More
Spin qubits have attracted tremendous attention in the effort of building quantum computers over the years. Natural atomic scale candidates are group-V dopants in silicon, not only showing ultra-long lifetimes but also being compatible with current semiconductor technology. Nevertheless, bulk dopants are difficult to move with atomic precision, impeding the realization of desired structures for quantum computing. A solution is to place the atom on the surface which opens possibilities for atom level manipulations using scanning tunneling microscopy (STM). For this purpose, bismuth appears to be a good candidate. Here, we use ab-initio methods to study theoretically the adsorption of bismuth atoms on the Si(001) surface and investigate the adsorption sites and the transitions between them. We demonstrate the complex influence of the dimer row surface reconstruction on the energy landscape seen by a bismuth monomer and a dimer on the surface, and find anisotropic transition paths for movement on the surface. From a deposition simulation we obtain the expected occupation of adsorption sites. Our work lays the foundation for further application of bismuth atoms as qubits on silicon surfaces.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Transcending the MAX phases concept of nanolaminated early transition metal carbides/nitrides -- the ZIA phases
Authors:
M. A. Tunes,
S. M. Drewry,
F. Schmidt,
J. A. Valdez,
M. M. Schneider,
C. A. Kohnert,
T. A. Saleh,
C. G. Schön,
S. Fensin,
O. El-Atwani,
N. Goossens,
S. Huang,
J. Vleugls,
S. A. Maloy,
K. Lambrinou
Abstract:
A new potential class of nanolaminated and structurally complex materials, herein conceived as the Zigzag IntermetAllic (ZIA) phases, is proposed. A study of the constituent phases of a specific Nb--Si--Ni intermetallic alloy revealed that its ternary H-phase, \textit{i.e.}, the Nb$_3$SiNi$_2$ intermetallic compound (IMC), is a crystalline solid with the close-packed \textit{fcc} Bravais lattice,…
▽ More
A new potential class of nanolaminated and structurally complex materials, herein conceived as the Zigzag IntermetAllic (ZIA) phases, is proposed. A study of the constituent phases of a specific Nb--Si--Ni intermetallic alloy revealed that its ternary H-phase, \textit{i.e.}, the Nb$_3$SiNi$_2$ intermetallic compound (IMC), is a crystalline solid with the close-packed \textit{fcc} Bravais lattice, the 312 MAX phase stoichiometry and a layered atomic arrangement that may define an entire class of nanolaminated IMCs analogous to the nanolaminated ceramic compounds known today as the MAX phases. The electron microscopy investigation of the Nb$_{3}$SiNi$_{2}$ compound -- the first candidate ZIA phase -- revealed a remarkable structural complexity, as its ordered unit cell is made of 96 atoms. The ZIA phases extend the concept of nanolaminated crystalline solids well beyond the MAX phases family of early transition metal carbides/nitrides, most likely broadening the spectrum of achievable material properties into domains typically not covered by the MAX phases. Furthermore, this work uncovers that both families of nanolaminated crystalline solids, \textit{i.e.}, the herein introduced \textit{fcc} ZIA phases and all known variants of the \textit{hcp} MAX phases, obey the same overarching stoichiometric rule $P_{x+y}A_xN_y$, where $x$ and $y$ are integers ranging from 1 to 6.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Selection Strategies for Commonsense Knowledge
Authors:
Claudia Schon
Abstract:
Selection strategies are broadly used in first-order logic theorem proving to select those parts of a large knowledge base that are necessary to proof a theorem at hand. Usually, these selection strategies do not take the meaning of symbol names into account. In knowledge bases with commonsense knowledge, symbol names are usually chosen to have a meaning and this meaning provides valuable informat…
▽ More
Selection strategies are broadly used in first-order logic theorem proving to select those parts of a large knowledge base that are necessary to proof a theorem at hand. Usually, these selection strategies do not take the meaning of symbol names into account. In knowledge bases with commonsense knowledge, symbol names are usually chosen to have a meaning and this meaning provides valuable information for selection strategies. We introduce the vector-based selection strategy, a purely statistical selection technique for commonsense knowledge based on word embeddings. We compare different commonsense knowledge selection techniques for the purpose of theorem proving and demonstrate the usefulness of vector-based selection with a case study.
△ Less
Submitted 21 February, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
Modeling Associative Reasoning Processes
Authors:
Claudia Schon,
Ulrich Furbach,
Marco Ragni
Abstract:
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge with…
▽ More
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cognitive process are sparse. We propose a formally sound method that models associative reasoning by adapting logical reasoning mechanisms. In particular it is shown that the combination with large commensense knowledge within a single reasoning system demands for an efficient and powerful association technique. This approach is also used for modelling mind-wandering and the Remote Associates Test (RAT) for testing creativity. In a general discussion we show implications of the model for a broad variety of cognitive phenomena including consciousness.
△ Less
Submitted 7 January, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
A non-hyperelliptic curve with torsion Ceresa cycle modulo algebraic equivalence
Authors:
Arnaud Beauville,
Chad Schoen
Abstract:
We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion.
We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion.
△ Less
Submitted 11 November, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
Negation in Cognitive Reasoning
Authors:
Claudia Schon,
Sophie Siebert,
Frieder Stolzenburg
Abstract:
Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of "not" or another negation cue. Treating negation in an adequate way is required for cognitive reasoning, which aims at modeling the human ability to draw meaningful conclusions despite incomplete and inconsistent knowledge. One task of cognitiv…
▽ More
Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of "not" or another negation cue. Treating negation in an adequate way is required for cognitive reasoning, which aims at modeling the human ability to draw meaningful conclusions despite incomplete and inconsistent knowledge. One task of cognitive reasoning is answering questions given by sentences in natural language. There are tools based on discourse representation theory to convert sentences automatically into a formal logic representation, and additional knowledge can be added using the predicate names in the formula and knowledge databases. However, the knowledge in logic databases in practice always is incomplete. Hence, forward reasoning of automated reasoning systems alone does not suffice to derive answers to questions because, instead of complete proofs, often only partial positive knowledge can be derived, while negative knowledge is used only during the reasoning process. In consequence, we aim at eliminating syntactic negation, strictly speaking, the negated event or property. In this paper, we describe an effective procedure to determine the negated event or property in order to replace it by its inverse. This lays the basis of cognitive reasoning, employing both logic and machine learning for general question answering. We evaluate our procedure by several benchmarks and demonstrate its practical usefulness in our cognitive reasoning system.
△ Less
Submitted 13 October, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Halide perovskites: third generation photovoltaic materials empowered by metavalent bonding
Authors:
Matthias Wuttig,
Carl-Friedrich Schoen,
Mathias Schumacher,
John Robertson,
Pavlo Golub,
Eric Bousquet,
Jean-Yves Raty
Abstract:
Third-generation photovoltaic (PV) materials combine many advantageous properties, including a high optical absorption together with a large charge carrier mobility, facilitated by small effective masses. Halide perovskites (ABX3, where X is I, Br or Cl) appear to be the most promising third-generation PV materials at present. Their opto-electronic properties are governed by the B-X bond. A quantu…
▽ More
Third-generation photovoltaic (PV) materials combine many advantageous properties, including a high optical absorption together with a large charge carrier mobility, facilitated by small effective masses. Halide perovskites (ABX3, where X is I, Br or Cl) appear to be the most promising third-generation PV materials at present. Their opto-electronic properties are governed by the B-X bond. A quantum-chemical bond analysis reveals that this bond differs significantly from ionic, metallic or covalent bonds. Instead, it is better regarded as metavalent, since it shares approximately one p-electron between adjacent atoms. The resulting sigma-bond is half-filled, which causes pronounced optical absorption. Electron transfer and lattice distortions open a moderate band gap, resulting in charge carriers with small effective masses. Hence metavalent bonding explains the favorable PV properties of halide perovskites. This is summarized in a map for different bond types, which provides a blueprint to design third-generation PV materials.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
There is No Such Thing as an "Index"! or: The next 500 Indexing Papers
Authors:
Jens Dittrich,
Joris Nix,
Christian Schön
Abstract:
Index structures are a building block of query processing and computer science in general. Since the dawn of computer technology there have been index structures. And since then, a myriad of index structures are being invented and published each and every year. In this paper we argue that the very idea of "inventing an index" is a misleading concept in the first place. It is the analogue of "inven…
▽ More
Index structures are a building block of query processing and computer science in general. Since the dawn of computer technology there have been index structures. And since then, a myriad of index structures are being invented and published each and every year. In this paper we argue that the very idea of "inventing an index" is a misleading concept in the first place. It is the analogue of "inventing a physical query plan". This paper is a paradigm shift in which we propose to drop the idea to handcraft index structures (as done for binary search trees over B-trees to any form of learned index) altogether. We present a new automatic index breeding framework coined Genetic Generic Generation of Index Structures (GENE). It is based on the observation that almost all index structures are assembled along three principal dimensions: (1) structural building blocks, e.g., a B-tree is assembled from two different structural node types (inner and leaf nodes), (2) a couple of invariants, e.g., for a B-tree all paths have the same length, and (3) decisions on the internal layout of nodes (row or column layout, etc.). We propose a generic indexing framework that can mimic many existing index structures along those dimensions. Based on that framework we propose a generic genetic index generation algorithm that, given a workload and an optimization goal, can automatically assemble and mutate, in other words 'breed' new index structure 'species'. In our experiments we follow multiple goals. We reexamine some good old wisdom from database technology. Given a specific workload, will GENE even breed an index that is equivalent to what our textbooks and papers currently recommend for such a workload? Or can we do even more? Our initial results strongly indicate that generated indexes are the next step in designing index structures.
△ Less
Submitted 16 September, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Discovering electron transfer driven changes in chemical bonding in lead chalcogenides (PbX, where X = Te, Se, S, O)
Authors:
S. Maier,
S. Steinberg,
Y. Cheng,
Carl-Friedrich Schön,
M. Schumacher,
R. Mazzarello,
P. Golub,
R. Nelson,
O. Cojocaru-Mirédin,
J. -Y. Raty,
M. Wuttig
Abstract:
Understanding the nature of chemical bonding in solids is crucial to comprehend the physical and chemical properties of a given compound. To explore changes in chemical bonding in lead chalcogenides (PbX, where X = Te, Se, S, O), a combination of property-, bond breaking- and quantum-mechanical bonding descriptors have been applied. The outcome of our explorations reveals an electron transfer driv…
▽ More
Understanding the nature of chemical bonding in solids is crucial to comprehend the physical and chemical properties of a given compound. To explore changes in chemical bonding in lead chalcogenides (PbX, where X = Te, Se, S, O), a combination of property-, bond breaking- and quantum-mechanical bonding descriptors have been applied. The outcome of our explorations reveals an electron transfer driven transition from metavalent bonding in PbX (X = Te, Se, S) to iono-covalent bonding in beta-PbO. Metavalent bonding is characterized by adjacent atoms being held together by sharing about a single electron and small electron transfer (ET). The transition from metavalent to iono-covalent bonding manifests itself in clear changes in these quantum-mechanical descriptors (ES and ET), as well as in property-based descriptors (i.e. Born effective charge, dielectric function, effective coordination number (ECON) and mode-specific Grueneisen parameter, and in bond breaking descriptors (PME). Metavalent bonding collapses, if significant charge localization occurs at the ion cores (ET) and/or in the interatomic region (ES). Predominantly changing the degree of electron transfer opens possibilities to tailor materials properties such as the chemical bond and electronic polarizability, optical band gap and optical interband transitions characterized by the imaginary part of the dielectric function. Hence, the insights gained from this study highlight the technological relevance of the concept of metavalent bonding and its potential for materials design.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Consciousness and Automated Reasoning
Authors:
Ulrike Barthelmeß,
Ulrich Furbach,
Claudia Schon
Abstract:
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with C…
▽ More
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive reasoning. Finally we demonstrate that such a system is very well able to do conscious mind wandering.
△ Less
Submitted 22 July, 2020; v1 submitted 26 January, 2020;
originally announced January 2020.
-
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Authors:
Claudia Schon,
Sophie Siebert,
Frieder Stolzenburg
Abstract:
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in solving commonsense reasoning problems. In this paper we present different ways to use knowledge graphs as background knowledge and discuss challenges that ari…
▽ More
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in solving commonsense reasoning problems. In this paper we present different ways to use knowledge graphs as background knowledge and discuss challenges that arise.
△ Less
Submitted 30 December, 2019;
originally announced December 2019.
-
Make Thunderbolts Less Frightening -- Predicting Extreme Weather Using Deep Learning
Authors:
Christian Schön,
Jens Dittrich
Abstract:
Forecasting severe weather conditions is still a very challenging and computationally expensive task due to the enormous amount of data and the complexity of the underlying physics. Machine learning approaches and especially deep learning have however shown huge improvements in many research areas dealing with large datasets in recent years. In this work, we tackle one specific sub-problem of weat…
▽ More
Forecasting severe weather conditions is still a very challenging and computationally expensive task due to the enormous amount of data and the complexity of the underlying physics. Machine learning approaches and especially deep learning have however shown huge improvements in many research areas dealing with large datasets in recent years. In this work, we tackle one specific sub-problem of weather forecasting, namely the prediction of thunderstorms and lightning. We propose the use of a convolutional neural network architecture inspired by UNet++ and ResNet to predict thunderstorms as a binary classification problem based on satellite images and lightnings recorded in the past. We achieve a probability of detection of more than 94% for lightnings within the next 15 minutes while at the same time minimizing the false alarm ratio compared to previous approaches.
△ Less
Submitted 6 December, 2019; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Type Checking Program Code using SHACL (Extended Version)
Authors:
Martin Leinberger,
Philipp Seifer,
Claudia Schon,
Ralf Lämmel,
Steffen Staab
Abstract:
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to…
▽ More
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape graph. To this end, we derive SHACL shapes from queries and integrate data shapes and query shapes as types into a $λ$-calculus. We provide the formal underpinnings and a proof of type safety for TyCuS. A programmer can use our method in order to process RDF data with simplified, type checked code that will not encounter run-time errors (with usual exceptions as type checking cannot prevent accessing empty lists).
△ Less
Submitted 1 July, 2019;
originally announced July 2019.
-
The Error is the Feature: how to Forecast Lightning using a Model Prediction Error
Authors:
Christian Schön,
Jens Dittrich,
Richard Müller
Abstract:
Despite the progress within the last decades, weather forecasting is still a challenging and computationally expensive task. Current satellite-based approaches to predict thunderstorms are usually based on the analysis of the observed brightness temperatures in different spectral channels and emit a warning if a critical threshold is reached. Recent progress in data science however demonstrates th…
▽ More
Despite the progress within the last decades, weather forecasting is still a challenging and computationally expensive task. Current satellite-based approaches to predict thunderstorms are usually based on the analysis of the observed brightness temperatures in different spectral channels and emit a warning if a critical threshold is reached. Recent progress in data science however demonstrates that machine learning can be successfully applied to many research fields in science, especially in areas dealing with large datasets. We therefore present a new approach to the problem of predicting thunderstorms based on machine learning. The core idea of our work is to use the error of two-dimensional optical flow algorithms applied to images of meteorological satellites as a feature for machine learning models. We interpret that optical flow error as an indication of convection potentially leading to thunderstorms and lightning. To factor in spatial proximity we use various manual convolution steps. We also consider effects such as the time of day or the geographic location. We train different tree classifier models as well as a neural network to predict lightning within the next few hours (called nowcasting in meteorology) based on these features. In our evaluation section we compare the predictive power of the different models and the impact of different features on the classification result. Our results show a high accuracy of 96% for predictions over the next 15 minutes which slightly decreases with increasing forecast period but still remains above 83% for forecasts of up to five hours. The high false positive rate of nearly 6% however needs further investigation to allow for an operational use of our approach.
△ Less
Submitted 1 February, 2019; v1 submitted 23 November, 2018;
originally announced November 2018.
-
Disorder control in crystalline GeSb2Te4 and its impact on characteristic length scales
Authors:
Matthias Maximilian Dück,
Tobias Schäfer,
Stefan Jakobs,
Carl-Friedrich Schön,
Hannah Niehaus,
Oana Cojocaru-Mirédin,
Matthias Wuttig
Abstract:
Crystalline GeSb2Te4 (GST) is remarkable material, as it allows to continuously tune the electrical resistance by orders of magnitude without involving a phase transition or stoichiometric changes, just by altering the short-range order. While well-ordered specimen are metallic, increasing amounts of disorder can eventually lead to an insulating state with vanishing conductivity in the 0K limit, b…
▽ More
Crystalline GeSb2Te4 (GST) is remarkable material, as it allows to continuously tune the electrical resistance by orders of magnitude without involving a phase transition or stoichiometric changes, just by altering the short-range order. While well-ordered specimen are metallic, increasing amounts of disorder can eventually lead to an insulating state with vanishing conductivity in the 0K limit, but a similar number of charge carriers. These observations make disordered GST one of the most promising candidates for the realization of a true Anderson insulator. While so far the low-temperature properties have mostly been studied in films of small grain size, here a sputter-deposition process is employed that enables preparation of a large variety of these GST states including metallic and truly insulating ones. By growing films of GST on mica substrates, biaxially textured samples with huge grain sizes are obtained. A series of these samples is employed for transport measurements, as their electron mean free path can be altered by a factor of 20. Yet, the mean free path always remains more than an order of magnitude smaller than the lateral grain size. This proves unequivocally that grain boundaries play a negligible role for electron scattering, while intragrain scattering, presumably by disordered vacancies, dominates. Most importantly, these findings underline that the Anderson insulating state as well as the system's evolution towards metallic conductivity are indeed intrinsic properties of the material.
△ Less
Submitted 22 June, 2018;
originally announced June 2018.
-
Ab initio computation of the transition temperature of the charge density wave transition in TiSe2
Authors:
Dinh Loc Duong,
Marko Burghard,
J. Christian Schoen
Abstract:
We present a density functional perturbation theory approach to estimate the transition temperature of the charge density wave transition of TiSe2. The softening of the phonon mode at the L-point where in TiSe2 a giant Kohn anomaly occurs, and the energy difference between the normal and distorted phase are analyzed. Both features are studied as function of the electronic temperature, which corres…
▽ More
We present a density functional perturbation theory approach to estimate the transition temperature of the charge density wave transition of TiSe2. The softening of the phonon mode at the L-point where in TiSe2 a giant Kohn anomaly occurs, and the energy difference between the normal and distorted phase are analyzed. Both features are studied as function of the electronic temperature, which corresponds to the Fermi-Dirac distribution smearing value in the calculation. The transition temperature is found to be 500 K and 600 K by phonon and energy analysis, respectively, in reasonable agreement with the experimental value of 200 K.
△ Less
Submitted 1 December, 2015; v1 submitted 4 August, 2015;
originally announced August 2015.
-
The RatioLog Project: Rational Extensions of Logical Reasoning
Authors:
Ulrich Furbach,
Claudia Schon,
Frieder Stolzenburg,
Karl-Heinz Weis,
Claus-Peter Wirth
Abstract:
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge…
▽ More
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge amount of text in the German version of the free encyclopedia "Wikipedia". In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representations. In a third phase - because the knowledge may be incomplete and inconsistent -, we consider extensions of logical reasoning to improve the results. In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model construction. Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers.
△ Less
Submitted 30 July, 2015; v1 submitted 20 March, 2015;
originally announced March 2015.
-
Automated Reasoning for Robot Ethics
Authors:
Ulrich Furbach,
Claudia Schon,
Frieder Stolzenburg
Abstract:
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performan…
▽ More
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performance theorem prover, can be used to prove properties of these ethical codes.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
Cognitive Systems and Question Answering
Authors:
Ulrich Furbach,
Claudia Schon,
Frieder Stolzenburg
Abstract:
This paper briefly characterizes the field of cognitive computing. As an exemplification, the field of natural language question answering is introduced together with its specific challenges. A possibility to master these challenges is illustrated by a detailed presentation of the LogAnswer system, which is a successful representative of the field of natural language question answering.
This paper briefly characterizes the field of cognitive computing. As an exemplification, the field of natural language question answering is introduced together with its specific challenges. A possibility to master these challenges is illustrated by a detailed presentation of the LogAnswer system, which is a successful representative of the field of natural language question answering.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Automated Reasoning in Deontic Logic
Authors:
Ulrich Furbach,
Claudia Schon,
Frieder Stolzenburg
Abstract:
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL- clauses, such that it can be processed by Hyper,…
▽ More
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL- clauses, such that it can be processed by Hyper, a high performance theorem prover which uses a hypertableau calculus. Two use cases, one from multi-agent research and one from the development of normative system are investigated.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
Authors:
Ulrich Furbach,
Claudia Schon
Abstract:
This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficiently…
▽ More
This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficiently delete assertions from the ABox. Furthermore, insertion of assertions as well as repair of inconsistent ABoxes is addressed. For the computation of the necessary actions for deletion, insertion and repair, the E-KRHyper theorem prover is used.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
Deontic Logic for Human Reasoning
Authors:
Ulrich Furbach,
Claudia Schon
Abstract:
Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason selection task and the suppression task are discussed in detail. Different versions of modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained.…
▽ More
Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason selection task and the suppression task are discussed in detail. Different versions of modelling norms with deontic logic are introduced and in the case of the Wason selection task it is demonstrated how differences in the performance of humans in the abstract and in the social contract case can be explained. Furthermore it is shown that an automated theorem prover can be used as a reasoning tool for deontic logic.
△ Less
Submitted 18 September, 2014; v1 submitted 28 April, 2014;
originally announced April 2014.
-
Ab initio energy landscape of LiF clusters
Authors:
K. Doll,
J. C. Schoen,
M. Jansen
Abstract:
A global search for possible LiF cluster structures is performed, up to (LiF)8. The method is based on simulated annealing, where all the energies are evaluated on the ab initio level. In addition, the threshold algorithm is employed to determine the energy barriers for the transitions among these structures, for the cluster (LiF)4, again on the ab initio level; and the corresponding tree graph is…
▽ More
A global search for possible LiF cluster structures is performed, up to (LiF)8. The method is based on simulated annealing, where all the energies are evaluated on the ab initio level. In addition, the threshold algorithm is employed to determine the energy barriers for the transitions among these structures, for the cluster (LiF)4, again on the ab initio level; and the corresponding tree graph is obtained.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.
-
Structure prediction based on ab initio simulated annealing for boron nitride
Authors:
K. Doll,
J. C. Schoen,
M. Jansen
Abstract:
Possible crystalline modifications of chemical compounds at low temperatures correspond to local minima of the energy landscape. Determining these minima via simulated annealing is one method for the prediction of crystal structures, where the number of atoms per unit cell is the only information used. It is demonstrated that this method can be applied to covalent systems, at the example of boro…
▽ More
Possible crystalline modifications of chemical compounds at low temperatures correspond to local minima of the energy landscape. Determining these minima via simulated annealing is one method for the prediction of crystal structures, where the number of atoms per unit cell is the only information used. It is demonstrated that this method can be applied to covalent systems, at the example of boron nitride, using ab initio energies in all stages of the optimization, i.e. both during the global search and the subsequent local optimization. Ten low lying structure candidates are presented, including both layered structures and 3d-network structures such as the wurtzite and zinc blende types, as well as a structure corresponding to the beta-BeO type.
△ Less
Submitted 30 October, 2008;
originally announced October 2008.
-
Desingularized fiber products of semi-stable elliptic surfaces with vanishing third Betti number
Authors:
Chad Schoen
Abstract:
Desingularized fiber products of semi-stable, non-isotrivial jacobian elliptic surfaces with vanishing third Betti number are classified. Such varieties may play a role in the study of supersingular threefolds, of the deformation theory of varieties with trivial canonical bundle, and of the arithmetic degenerations of rigid Calabi-Yau threefolds.
Desingularized fiber products of semi-stable, non-isotrivial jacobian elliptic surfaces with vanishing third Betti number are classified. Such varieties may play a role in the study of supersingular threefolds, of the deformation theory of varieties with trivial canonical bundle, and of the arithmetic degenerations of rigid Calabi-Yau threefolds.
△ Less
Submitted 7 April, 2008;
originally announced April 2008.
-
Global exploration of the energy landscape of solids on the ab initio level
Authors:
K. Doll,
J. C. Schön,
M. Jansen
Abstract:
Predicting which crystalline modifications can be present in a chemical system requires the global exploration of its energy landscape. Due to the large computational effort involved, in the past this search for sufficiently stable minima has been performed employing a variety of empirical potentials and cost functions followed by a local optimization on the ab initio level. However, this entail…
▽ More
Predicting which crystalline modifications can be present in a chemical system requires the global exploration of its energy landscape. Due to the large computational effort involved, in the past this search for sufficiently stable minima has been performed employing a variety of empirical potentials and cost functions followed by a local optimization on the ab initio level. However, this entails the risk of overlooking important modifications that are not modeled accurately using empirical potentials. In order to overcome this critical limitation, we develop an approach to employ ab initio energy functions during the global optimization phase of the structure prediction. As an example, we perform a global exploration of the landscape of LiF on the ab initio level and show that the relevant crystalline modifications are found during the search.
△ Less
Submitted 19 November, 2007;
originally announced November 2007.
-
Atomic cluster state build up with macroscopic heralding
Authors:
Jeremy Metz,
Christian Schoen,
Almut Beige
Abstract:
We describe a measurement-based state preparation scheme for the efficient build up of cluster states in atom-cavity systems. As in a recent proposal for the generation of maximally entangled atom pairs [Metz et al., Phys. Rev. Lett. 97, 040503 (2006)], we use an electron shelving technique to avoid the necessity for the detection of single photons. Instead, the successful fusion of smaller into…
▽ More
We describe a measurement-based state preparation scheme for the efficient build up of cluster states in atom-cavity systems. As in a recent proposal for the generation of maximally entangled atom pairs [Metz et al., Phys. Rev. Lett. 97, 040503 (2006)], we use an electron shelving technique to avoid the necessity for the detection of single photons. Instead, the successful fusion of smaller into larger clusters is heralded by an easy-to-detect macroscopic fluorescence signal. High fidelities are achieved even in the vicinity of the bad cavity limit and are essentially independent of the concrete size of the system parameters.
△ Less
Submitted 19 October, 2007; v1 submitted 27 July, 2007;
originally announced July 2007.
-
Sequential Generation of Matrix-Product States in Cavity QED
Authors:
C. Schoen,
K. Hammerer,
M. M. Wolf,
J. I. Cirac,
E. Solano
Abstract:
We study the sequential generation of entangled photonic and atomic multi-qubit states in the realm of cavity QED. We extend the work of C. Schoen et al. [Phys. Rev. Lett. 95, 110503 (2005)], where it was shown that all states generated in a sequential manner can be classified efficiently in terms of matrix-product states. In particular, we consider two scenarios: photonic multi-qubit states seq…
▽ More
We study the sequential generation of entangled photonic and atomic multi-qubit states in the realm of cavity QED. We extend the work of C. Schoen et al. [Phys. Rev. Lett. 95, 110503 (2005)], where it was shown that all states generated in a sequential manner can be classified efficiently in terms of matrix-product states. In particular, we consider two scenarios: photonic multi-qubit states sequentially generated at the cavity output of a single-photon source and atomic multi-qubit states generated by their sequential interaction with the same cavity mode.
△ Less
Submitted 13 December, 2006;
originally announced December 2006.
-
Multi-photon entanglement from distant single photon sources on demand
Authors:
Almut Beige,
Yuan Liang Lim,
Christian Schoen
Abstract:
We describe a scheme that allows for the generation of any desired N-photon state on demand. Under ideal conditions, this requires only N single photon sources, laser pulses and linear optics elements. First, the sources should be initialised with the help of single-qubit rotations and repeat-until-success two-qubit quantum gates [Lim et al., Phys. Rev. Lett. 95, 030305 (2005)]. Afterwards, the…
▽ More
We describe a scheme that allows for the generation of any desired N-photon state on demand. Under ideal conditions, this requires only N single photon sources, laser pulses and linear optics elements. First, the sources should be initialised with the help of single-qubit rotations and repeat-until-success two-qubit quantum gates [Lim et al., Phys. Rev. Lett. 95, 030305 (2005)]. Afterwards, the state of the sources can be mapped onto the state of N newly generated photons whenever needed.
△ Less
Submitted 3 February, 2006;
originally announced February 2006.
-
Non-equilbrium Dynamics in Amorphous Si_3B_3N_7
Authors:
A. Hannemann,
J. C. Schön,
M. Jansen,
P. Sibani
Abstract:
We present extensive numerical investigations of the structural relaxation dynamics of a realistic model of the amorphous high-temperature ceramic a-Si$_3$B$_3$N$_7$, probing the mean square displacement (MSD) of the atoms, the bond survival probability (BSP), the average energy, the specific heat, and the two-point energy average. Combining the information from these different sources, we ident…
▽ More
We present extensive numerical investigations of the structural relaxation dynamics of a realistic model of the amorphous high-temperature ceramic a-Si$_3$B$_3$N$_7$, probing the mean square displacement (MSD) of the atoms, the bond survival probability (BSP), the average energy, the specific heat, and the two-point energy average. Combining the information from these different sources, we identify a transition temperature $T_c \approx 2000$ K below which the system is no longer ergodic and physical quantities observed over a time $t_{obs}$ show a systematic parametric dependence on the waiting time $t_w$, or age, elapsed after the quench. The aging dynamics 'stiffens' as the system becomes older, which is similar to the behavior of highly idealized models such as Ising spin-glasses and Lennard-Jones glasses.
△ Less
Submitted 15 April, 2005;
originally announced April 2005.
-
Optimization by thermal cycling
Authors:
A. Mobius,
K. H. Hoffmann,
C. Schon
Abstract:
Thermal cycling is an heuristic optimization algorithm which consists of cyclically heating and quenching by Metropolis and local search procedures, respectively, where the amplitude slowly decreases. In recent years, it has been successfully applied to two combinatorial optimization tasks, the traveling salesman problem and the search for low-energy states of the Coulomb glass. In these cases,…
▽ More
Thermal cycling is an heuristic optimization algorithm which consists of cyclically heating and quenching by Metropolis and local search procedures, respectively, where the amplitude slowly decreases. In recent years, it has been successfully applied to two combinatorial optimization tasks, the traveling salesman problem and the search for low-energy states of the Coulomb glass. In these cases, the algorithm is far more efficient than usual simulated annealing. In its original form the algorithm was designed only for the case of discrete variables. Its basic ideas are applicable also to a problem with continuous variables, the search for low-energy states of Lennard-Jones clusters.
△ Less
Submitted 9 February, 2005;
originally announced February 2005.
-
Sequential generation of entangled multi-qubit states
Authors:
C. Schoen,
E. Solano,
F. Verstraete,
J. I. Cirac,
M. M. Wolf
Abstract:
We consider the deterministic generation of entangled multi-qubit states by the sequential coupling of an ancillary system to initially uncorrelated qubits. We characterize all achievable states in terms of classes of matrix product states and give a recipe for the generation on demand of any multi-qubit state. The proposed methods are suitable for any sequential generation-scheme, though we foc…
▽ More
We consider the deterministic generation of entangled multi-qubit states by the sequential coupling of an ancillary system to initially uncorrelated qubits. We characterize all achievable states in terms of classes of matrix product states and give a recipe for the generation on demand of any multi-qubit state. The proposed methods are suitable for any sequential generation-scheme, though we focus on streams of single photon time-bin qubits emitted by an atom coupled to an optical cavity. We show, in particular, how to generate familiar quantum information states such as W, GHZ, and cluster states, within such a framework.
△ Less
Submitted 18 January, 2005;
originally announced January 2005.
-
Specialization of the torsion subgroup of the Chow group
Authors:
Chad Schoen
Abstract:
An example is given in which specialization is not injective.
An example is given in which specialization is not injective.
△ Less
Submitted 31 March, 2004;
originally announced March 2004.
-
Trapping atoms in the vacuum field of a cavity
Authors:
C. Schoen,
J. I. Cirac
Abstract:
The aim of this work is to find ways to trap an atom in a cavity. In contrast to other approaches we propose a method where the cavity is basically in the vacuum state and the atom in the ground state. The idea is to induce a spatial dependent AC Stark shift by irradiating the atom with a weak laser field, so that the atom experiences a trapping force. The main feature of our setup is that dissi…
▽ More
The aim of this work is to find ways to trap an atom in a cavity. In contrast to other approaches we propose a method where the cavity is basically in the vacuum state and the atom in the ground state. The idea is to induce a spatial dependent AC Stark shift by irradiating the atom with a weak laser field, so that the atom experiences a trapping force. The main feature of our setup is that dissipation can be strongly suppressed. We estimate the lifetime of the atom as well as the trapping potential parameters and compare our estimations with numerical simulations.
△ Less
Submitted 6 March, 2003; v1 submitted 11 December, 2002;
originally announced December 2002.
-
Disordered systems on various time scales: a-Si3B3N7 and homogeneous sintering
Authors:
J. C. Schon,
A. Hannemann,
G. Sethi,
M. Jansen,
P. Salamon,
R. Frost,
L. Kjeldgaard
Abstract:
Modeling of materials systems for long times commonly requires the use of separation of time scale methods. We discuss this general approach and present two example systems, a-Si3B3N7 and the generation of homogeneous sinters.
Modeling of materials systems for long times commonly requires the use of separation of time scale methods. We discuss this general approach and present two example systems, a-Si3B3N7 and the generation of homogeneous sinters.
△ Less
Submitted 12 December, 2002;
originally announced December 2002.
-
Non-equilibrium dynamics in amorphous Si3B3N7
Authors:
A. Hannemann,
J. C. Schon,
M. Jansen,
P. Sibani
Abstract:
We present numerical investigations of the dynamics on the energy landscape of a realistic model of the high-temperature ceramic a-Si3B3N7. Below a critical temperature Tc = 2000 K, the system is no longer in equilibrium, and we predict that the material has a glass transition in this temperature range at high pressure. Analyzing the two-time energy correlation function shows aging in this syste…
▽ More
We present numerical investigations of the dynamics on the energy landscape of a realistic model of the high-temperature ceramic a-Si3B3N7. Below a critical temperature Tc = 2000 K, the system is no longer in equilibrium, and we predict that the material has a glass transition in this temperature range at high pressure. Analyzing the two-time energy correlation function shows aging in this system, which is linked to the geometrical properties of the energy landscape.
△ Less
Submitted 11 December, 2002;
originally announced December 2002.
-
Interference of spontaneously emitted photons
Authors:
Almut Beige,
Christian Schoen,
Jiannis Pachos
Abstract:
We discuss an experimental setup where two laser-driven atoms spontaneously emit photons and every photon causes a ``click'' at a point on a screen. By deriving the probability density for an emission into a certain direction from basic quantum mechanical principles we predict a spatial interference pattern. Similarities and differences with the classical double-slit experiment are discussed.
We discuss an experimental setup where two laser-driven atoms spontaneously emit photons and every photon causes a ``click'' at a point on a screen. By deriving the probability density for an emission into a certain direction from basic quantum mechanical principles we predict a spatial interference pattern. Similarities and differences with the classical double-slit experiment are discussed.
△ Less
Submitted 13 December, 2001;
originally announced December 2001.
-
An analysis of a two-atom double-slit experiment based on environment-induced measurements
Authors:
Christian Schoen,
Almut Beige
Abstract:
To investigate the effect of a classical environment on a quantum mechanical system we consider two two-level atoms in a free radiation field in the presence of a screen. By assuming that the screen causes continuous ideal measurements on the free radiation field we derive a quantum jump description for the state of the atoms. Our results are consistent with the master equations for dipole inter…
▽ More
To investigate the effect of a classical environment on a quantum mechanical system we consider two two-level atoms in a free radiation field in the presence of a screen. By assuming that the screen causes continuous ideal measurements on the free radiation field we derive a quantum jump description for the state of the atoms. Our results are consistent with the master equations for dipole interacting atoms, but give more insight in the time evolution of a single system. To illustrate this we derive a necessary and sufficient criterion for interference in a two-atom double-slit experiment and analyse bunching in the statistics of photons emitted in a certain direction.
△ Less
Submitted 1 May, 2001; v1 submitted 16 April, 2001;
originally announced April 2001.
-
Modelling of Si-B-N ceramics
Authors:
A. Hannemann,
J. C. Schoen,
C. Oligschleger,
M. Jansen
Abstract:
We present results of computer simulations of amorphous Si3B3N7 ceramics. The computed pair correlation functions are in agreement with the experimental results. Regarding the structural properties of the B-N, Si-N and N-Si/B coordination spheres, our results are in full agreement with experimental data. We confirm that silicon is tetrahedrally coordinated by nitrogen, and boron is trigonally pl…
▽ More
We present results of computer simulations of amorphous Si3B3N7 ceramics. The computed pair correlation functions are in agreement with the experimental results. Regarding the structural properties of the B-N, Si-N and N-Si/B coordination spheres, our results are in full agreement with experimental data. We confirm that silicon is tetrahedrally coordinated by nitrogen, and boron is trigonally planar coordinated by nitrogen. Furthermore we find that the coordination of nitrogen by the cations is also trigonally planar. Additionally our results suggest that a significant structural property of these materials is a heterogenity on a lengthscale of about 0.5nm. The simulation of relaxation and annealing processes of this new substance indicate the existence of rather stable BN3 building units, while the SiN4 building units are comparatively malleable.
△ Less
Submitted 21 January, 2000;
originally announced January 2000.
-
Energy and entropy of metastable states in glassy systems
Authors:
J. Christian Schoen,
P. Sibani
Abstract:
We investigate the multi-valley energy landscape of a 3-D on-lattice network model for covalent glasses, numerically determining the shape of the valleys, the local density of states, the density of minima and the local connectivity. We present some of these quantities in a graphical birds-eye view of the landscape, and discuss their implications for the relaxation dynamics and cooling behavior…
▽ More
We investigate the multi-valley energy landscape of a 3-D on-lattice network model for covalent glasses, numerically determining the shape of the valleys, the local density of states, the density of minima and the local connectivity. We present some of these quantities in a graphical birds-eye view of the landscape, and discuss their implications for the relaxation dynamics and cooling behavior of glasses. The strong similarities between the landscape of this model and those of other complex systems point to the possibility of a common low-temperature dynamical description.
△ Less
Submitted 12 November, 1999;
originally announced November 1999.
-
The lid method for exhaustive exploration of metastable states of complex systems
Authors:
Paolo Sibani,
Ruud van der Pas,
J. Christian Schoen
Abstract:
The `lid' algorithm performs an exhaustive exploration of neighborhoods of local energy minima of energy landscapes. This paper describes an implementation of the algorithm, including issues of parallel performance and scalability. To illustrate the versatility of the approach and to stress the common features present in landscapes of quite different systems, we present selected results for 1) a…
▽ More
The `lid' algorithm performs an exhaustive exploration of neighborhoods of local energy minima of energy landscapes. This paper describes an implementation of the algorithm, including issues of parallel performance and scalability. To illustrate the versatility of the approach and to stress the common features present in landscapes of quite different systems, we present selected results for 1) a spin glass, 2) a ferromagnet, 3) a covalent network model for glassy systems, and 4) a polymer. The exponential nature of the local density of states found in these systems and its relation to the ordering transition is briefly commented upon.
△ Less
Submitted 24 August, 1998;
originally announced August 1998.
-
Properties of the energy landscape of network models for covalent glasses
Authors:
J. Christian Schoen,
Paolo Sibani
Abstract:
We investigate the energy landscape of two dimensional network models for covalent glasses by means of the lid algorithm. For three different particle densities and for a range of network sizes, we exhaustively analyse many configuration space regions enclosing deep-lying energy minima. We extract the local densities of states and of minima, and the number of states and minima accessible below a…
▽ More
We investigate the energy landscape of two dimensional network models for covalent glasses by means of the lid algorithm. For three different particle densities and for a range of network sizes, we exhaustively analyse many configuration space regions enclosing deep-lying energy minima. We extract the local densities of states and of minima, and the number of states and minima accessible below a certain energy barrier, the 'lid'. These quantities show on average a close to exponential growth as a function of their respective arguments. We calculate the configurational entropy for these pockets of states and find that the excess specific heat exhibits a peak at a critical temperature associated with the exponential growth in the local density of states, a feature of the specific heat also observed in real glasses at the glass transition.
△ Less
Submitted 29 May, 1998;
originally announced May 1998.
