-
Precise Control of Process Parameters for >23% Efficiency Perovskite Solar Cells in Ambient Air Using an Automated Device Acceleration Platform
Authors:
Jiyun Zhang,
Anastasia Barabash,
Tian Du,
Jianchang Wu,
Vincent M. Le Corre,
Yicheng Zhao,
Shudi Qiu,
Kaicheng Zhang,
Frederik Schmitt,
Zijian Peng,
**g**g Tian,
Chaohui Li,
Chao Liu,
Thomas Heumueller,
Larry Lüer,
Jens A. Hauch,
Christoph J. Brabec
Abstract:
Achieving high-performance perovskite photovoltaics, especially in ambient air relies heavily on optimizing process parameters. However, traditional manual methods often struggle to effectively control the key variables. This inherent challenge requires a paradigm shift toward automated platforms capable of precise and reproducible experiments. Herein, we use a fully automated device acceleration…
▽ More
Achieving high-performance perovskite photovoltaics, especially in ambient air relies heavily on optimizing process parameters. However, traditional manual methods often struggle to effectively control the key variables. This inherent challenge requires a paradigm shift toward automated platforms capable of precise and reproducible experiments. Herein, we use a fully automated device acceleration platform (DAP) to optimize the process parameters for preparing full perovskite devices using a two-step method in ambient air. Eight process parameters that have the potential to significantly influence device performance are systematically optimized. Specifically, we delve into the impact of the dispense speed of organic ammonium halide, a parameter that is difficult to control manually, on both perovskite film and device performance. Through the targeted design of experiments, we reveal that the dispense speed significantly affects device performance primarily by adjusting the residual PbI2 content in the films. We find that moderate dispense speeds, e.g., 50 μl/s, contribute to top-performance devices. Conversely, too fast or too slow speeds result in devices with relatively poorer performance and lower reproducibility. The optimized parameter set enables us to establish a Standard Operation Procedure (SOP) for additive-free perovskite processing under ambient conditions, which yield devices with efficiencies surpassing 23%, satisfactory reproducibility, and state-of-the-art photo-thermal stability. This research underscores the importance of understanding the causality of process parameters in enhancing perovskite photovoltaic performance. Furthermore, our study highlights the pivotal role of automated platforms in discovering innovative workflows and accelerating the development of high-performing perovskite photovoltaic technologies.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
Learning Better Representations From Less Data For Propositional Satisfiability
Authors:
Mohamed Ghanem,
Frederik Schmitt,
Julian Siber,
Bernd Finkbeiner
Abstract:
Training neural networks on NP-complete problems typically demands very large amounts of training data and often needs to be coupled with computationally expensive symbolic verifiers to ensure output correctness. In this paper, we present NeuRes, a neuro-symbolic approach to address both challenges for propositional satisfiability, being the quintessential NP-complete problem. By combining certifi…
▽ More
Training neural networks on NP-complete problems typically demands very large amounts of training data and often needs to be coupled with computationally expensive symbolic verifiers to ensure output correctness. In this paper, we present NeuRes, a neuro-symbolic approach to address both challenges for propositional satisfiability, being the quintessential NP-complete problem. By combining certificate-driven training and expert iteration, our model learns better representations than models trained for classification only, with a much higher data efficiency -- requiring orders of magnitude less training data. NeuRes employs propositional resolution as a proof system to generate proofs of unsatisfiability and to accelerate the process of finding satisfying truth assignments, exploring both possibilities in parallel. To realize this, we propose an attention-based architecture that autoregressively selects pairs of clauses from a dynamic formula embedding to derive new clauses. Furthermore, we employ expert iteration whereby model-generated proofs progressively replace longer teacher proofs as the new ground truth. This enables our model to reduce a dataset of proofs generated by an advanced solver by ~32% after training on it with no extra guidance. This shows that NeuRes is not limited by the optimality of the teacher algorithm owing to its self-improving workflow. We show that our model achieves far better performance than NeuroSAT in terms of both correctly classified and proven instances.
△ Less
Submitted 29 May, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Spectral asymmetry induces a re-entrant quantum Hall effect in a topological insulator
Authors:
Li-Xian Wang,
Wouter Beugeling,
Fabian Schmitt,
Lukas Lunczer,
Julian-Benedikt Mayer,
Hartmut Buhmann,
Ewelina M. Hankiewicz,
Laurens W. Molenkamp
Abstract:
The band inversion of topological materials in three spatial dimensions is intimately connected to the parity anomaly of two-dimensional massless Dirac fermions. At finite magnetic fields, the parity anomaly reveals itself as a non-zero spectral asymmetry, i.e., a non-zero difference between the number of conduction and valence band Landau levels, due to the unpaired zero Landau level. Here, we re…
▽ More
The band inversion of topological materials in three spatial dimensions is intimately connected to the parity anomaly of two-dimensional massless Dirac fermions. At finite magnetic fields, the parity anomaly reveals itself as a non-zero spectral asymmetry, i.e., a non-zero difference between the number of conduction and valence band Landau levels, due to the unpaired zero Landau level. Here, we realize this two-dimensional Dirac physics at a single surface of the three-dimensional topological insulator (Hg,Mn)Te. We observe an unconventional re-entrant quantum Hall effect that can be directly related to the occurrence of spectral asymmetry in a single topological surface state. The effect should be observable in any topological insulator where the transport is dominated by a single Dirac surface state.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Small area estimation of forest biomass via a two-stage model for continuous zero-inflated data
Authors:
Grayson W. White,
Josh K. Yamamoto,
Dinan H. Elsyad,
Julian F. Schmitt,
Niels H. Korsgaard,
Jie Kate Hu,
George C. Gaines III,
Tracey S. Frescino,
Kelly S. McConville
Abstract:
The United States (US) Forest Inventory & Analysis Program (FIA) collects data on and monitors the trends of forests in the US. FIA is increasingly interested in monitoring forest attributes such as biomass at fine geographic and temporal scales, resulting in a need for assessment and development of small area estimation techniques in forest inventory. We implement a small area estimator and param…
▽ More
The United States (US) Forest Inventory & Analysis Program (FIA) collects data on and monitors the trends of forests in the US. FIA is increasingly interested in monitoring forest attributes such as biomass at fine geographic and temporal scales, resulting in a need for assessment and development of small area estimation techniques in forest inventory. We implement a small area estimator and parametric bootstrap estimator that account for zero-inflation in biomass data via a two-stage model-based approach and compare its performance to a post-stratified estimator and to the unit- and area-level empirical best linear unbiased prediction (EBLUP) estimators. For estimator comparison, we conduct a simulation study with counties in the US state Nevada as domains based on sampled plot data and remote sensing data products. Results show the zero-inflated estimator has the lowest relative bias and the smallest empirical root mean square error. Moreover, the 95% confidence interval coverages of the zero-inflated estimator and the unit-level EBLUP are more accurate than the other two estimators. To further illustrate the practical utility, we employ a data application across the 2019 measurement year in Nevada. We introduce the R package, saeczi, which efficiently implements the zero-inflated estimator and its mean squared error estimator.
△ Less
Submitted 7 June, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Authors:
Matthias Cosler,
Christopher Hahn,
Ayham Omar,
Frederik Schmitt
Abstract:
We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem. To ensure soundness, the neural engine is coupled with model checkers verifying the predictions of the underlying neural models. The open-source implementation of NeuroSynt prov…
▽ More
We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem. To ensure soundness, the neural engine is coupled with model checkers verifying the predictions of the underlying neural models. The open-source implementation of NeuroSynt provides an integration framework for reactive synthesis in which new neural and state-of-the-art symbolic approaches can be seamlessly integrated. Extensive experiments demonstrate its efficacy in handling challenging specifications, enhancing the state-of-the-art reactive synthesis solvers, with NeuroSynt contributing novel solves in the current SYNTCOMP benchmarks.
△ Less
Submitted 29 January, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Hidden Turbulence in van Gogh's \textbf{\textit{The Starry Night}}
Authors:
Yinxiang Ma,
Wanting Cheng,
Shidi Huang,
François G. Schmitt,
Yongxiang Huang
Abstract:
Turbulence or turbulence-like patterns are often depicted in art, such as \textbf{\textit{The Starry Night}} by Vincent van Gogh. For a long time, it was debated whether the flow in this famous oil painting follows Kolmogorov's turbulence theory or not. In this work, we show that a Kolmogorov-like spectrum can be obtained if we make the phenomenological assumption that a certain number of "whirls/…
▽ More
Turbulence or turbulence-like patterns are often depicted in art, such as \textbf{\textit{The Starry Night}} by Vincent van Gogh. For a long time, it was debated whether the flow in this famous oil painting follows Kolmogorov's turbulence theory or not. In this work, we show that a Kolmogorov-like spectrum can be obtained if we make the phenomenological assumption that a certain number of "whirls/eddies" are satisfied, which provides a wide range of scales. The scaling range is then expected to extend from the smallest whirls to the largest ones. This results in a $-5/3$ Kolmogorov-like power law in the Fourier power spectrum of the luminance. Additionally, a "$-1$"-like spectrum is observed below the smallest whirls, which can be interpreted in the framework of Batchelor scalar turbulence with a Schmidt number much greater than one. The hidden turbulence is then recovered for \textbf{\textit{The Starry Night}}.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Autonomous Optimization of an Organic Solar Cell in a 4-dimensional Parameter Space
Authors:
Tobias Osterrieder,
Frederik Schmitt,
Larry Luer,
Jerrit Wagner,
Thomas Heumüller,
Jens Hauch,
Christoph Brabec
Abstract:
Optimizing solution-processed organic solar cells is a complex task due to the vast parameter space in organic photovoltaics (OPV). Classical Edisonian or one-variable-at-a-time (OVAT) optimization approaches are laborious, time-consuming, and may not find the optimal parameter set in multidimensional design spaces. To tackle this problem, we demonstrate here for the first time artificial intellig…
▽ More
Optimizing solution-processed organic solar cells is a complex task due to the vast parameter space in organic photovoltaics (OPV). Classical Edisonian or one-variable-at-a-time (OVAT) optimization approaches are laborious, time-consuming, and may not find the optimal parameter set in multidimensional design spaces. To tackle this problem, we demonstrate here for the first time artificial intelligence (AI) guided closed-loop autonomous optimization for fully functional organic solar cells. We empower our LineOne, an automated materials and device acceleration platform with a Bayesian Optimizer (BO) to enable autonomous operation for solving complex optimization problems without human interference. The system is able to fabricate and characterize complete OPV devices and navigate efficiently through the design space spanned by composition and processing parameters. In addition, a Gaussian Progress Regression (GPR) based early prediction model is employed to predict the efficiency of the cells from cheap proxy measurements, in our case, thin film absorption spectra, which are analyzed using a spectral model based on physical properties to generate microstructure features as input for the GPR. We demonstrate our generic and complete autonomous approach by optimizing composition and processing conditions of a ternary OPV system (PM6:Y12:PC70BM) in a four-dimensional parameter space. We identify the best parameter set for our system and obtain a precise objective function over the whole parameter space with a minimal number of samples. We demonstrate autonomous optimization of a complex opto-electronic device within 40 samples only, whereas an Edisonian approach would have required about 1000 samples. This raises an important discussion on the necessity of autonomous platforms to accelerate Material science.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Authors:
Matthias Cosler,
Christopher Hahn,
Daniel Mendoza,
Frederik Schmitt,
Caroline Trippel
Abstract:
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as writing formal specifications is an error-prone and time-consuming manual task. To facilitate this, we present nl2spec, a framework for applying Large Language Models (LLMs) to derive formal specifications (in temporal logi…
▽ More
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as writing formal specifications is an error-prone and time-consuming manual task. To facilitate this, we present nl2spec, a framework for applying Large Language Models (LLMs) to derive formal specifications (in temporal logics) from unstructured natural language. In particular, we introduce a new methodology to detect and resolve the inherent ambiguity of system requirements in natural language: we utilize LLMs to map subformulas of the formalization back to the corresponding natural language fragments of the input. Users iteratively add, delete, and edit these sub-translations to amend erroneous formalizations, which is easier than manually redrafting the entire formalization. The framework is agnostic to specific application domains and can be extended to similar specification languages and new neural models. We perform a user study to obtain a challenging dataset, which we use to run experiments on the quality of translations. We provide an open-source implementation, including a web-based frontend.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Iterative Circuit Repair Against Formal Specifications
Authors:
Matthias Cosler,
Frederik Schmitt,
Christopher Hahn,
Bernd Finkbeiner
Abstract:
We present a deep learning approach for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). Given a defective circuit and its formal specification, we train Transformer models to output circuits that satisfy the corresponding specification. We propose a separated hierarchical Transformer for multimodal representation learning of the formal specifi…
▽ More
We present a deep learning approach for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). Given a defective circuit and its formal specification, we train Transformer models to output circuits that satisfy the corresponding specification. We propose a separated hierarchical Transformer for multimodal representation learning of the formal specification and the circuit. We introduce a data generation algorithm that enables generalization to more complex specifications and out-of-distribution datasets. In addition, our proposed repair mechanism significantly improves the automated synthesis of circuits from LTL specifications with Transformers. It improves the state-of-the-art by $6.8$ percentage points on held-out instances and $11.8$ percentage points on an out-of-distribution dataset from the annual reactive synthesis competition.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Formal Specifications from Natural Language
Authors:
Christopher Hahn,
Frederik Schmitt,
Julia J. Tillman,
Niklas Metzger,
Julian Siber,
Bernd Finkbeiner
Abstract:
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language models on three datasets consisting of English sentences and their corresponding formal representation: 1) regular expressions (regex), frequently used in programming and search; 2) First-order logic (FOL), commonly used…
▽ More
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language models on three datasets consisting of English sentences and their corresponding formal representation: 1) regular expressions (regex), frequently used in programming and search; 2) First-order logic (FOL), commonly used in software verification and theorem proving; and 3) linear-time temporal logic (LTL), which forms the basis for industrial hardware specification languages. Our experiments show that, in these diverse domains, the language models maintain their generalization capabilities from pre-trained knowledge of natural language to generalize, e.g., to new variable names or operator descriptions. Additionally, they achieve competitive performance, and even outperform the state-of-the-art for translating into regular expressions, with the benefits of being easy to access, efficient to fine-tune, and without a particular need for domain-specific reasoning.
△ Less
Submitted 19 October, 2022; v1 submitted 4 June, 2022;
originally announced June 2022.
-
Attention Flows for General Transformers
Authors:
Niklas Metzger,
Christopher Hahn,
Julian Siber,
Frederik Schmitt,
Bernd Finkbeiner
Abstract:
In this paper, we study the computation of how much an input token in a Transformer model influences its prediction. We formalize a method to construct a flow network out of the attention values of encoder-only Transformer models and extend it to general Transformer architectures including an auto-regressive decoder. We show that running a maxflow algorithm on the flow network construction yields…
▽ More
In this paper, we study the computation of how much an input token in a Transformer model influences its prediction. We formalize a method to construct a flow network out of the attention values of encoder-only Transformer models and extend it to general Transformer architectures including an auto-regressive decoder. We show that running a maxflow algorithm on the flow network construction yields Shapley values, which determine the impact of a player in cooperative game theory. By interpreting the input tokens in the flow network as players, we can compute their influence on the total attention flow leading to the decoder's decision. Additionally, we provide a library that computes and visualizes the attention flow of arbitrary Transformer models. We show the usefulness of our implementation on various models trained on natural language processing and reasoning tasks.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Hierarchies of Planning and Reinforcement Learning for Robot Navigation
Authors:
Jan Wöhlke,
Felix Schmitt,
Herke van Hoof
Abstract:
Solving robotic navigation tasks via reinforcement learning (RL) is challenging due to their sparse reward and long decision horizon nature. However, in many navigation tasks, high-level (HL) task representations, like a rough floor plan, are available. Previous work has demonstrated efficient learning by hierarchal approaches consisting of path planning in the HL representation and using sub-goal…
▽ More
Solving robotic navigation tasks via reinforcement learning (RL) is challenging due to their sparse reward and long decision horizon nature. However, in many navigation tasks, high-level (HL) task representations, like a rough floor plan, are available. Previous work has demonstrated efficient learning by hierarchal approaches consisting of path planning in the HL representation and using sub-goals derived from the plan to guide the RL policy in the source task. However, these approaches usually neglect the complex dynamics and sub-optimal sub-goal-reaching capabilities of the robot during planning. This work overcomes these limitations by proposing a novel hierarchical framework that utilizes a trainable planning policy for the HL representation. Thereby robot capabilities and environment conditions can be learned utilizing collected rollout data. We specifically introduce a planning policy based on value iteration with a learned transition model (VI-RL). In simulated robotic navigation tasks, VI-RL results in consistent strong improvement over vanilla RL, is on par with vanilla hierarchal RL on single layouts but more broadly applicable to multiple layouts, and is on par with trainable HL path planning baselines except for a parking task with difficult non-holonomic dynamics where it shows marked improvements.
△ Less
Submitted 5 November, 2021; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Neural Circuit Synthesis from Specification Patterns
Authors:
Frederik Schmitt,
Christopher Hahn,
Markus N. Rabe,
Bernd Finkbeiner
Abstract:
We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical specifications in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might ope…
▽ More
We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical specifications in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might open a lot of possibilities in this area, but suffer from the lack of sufficient amounts of training data. In this paper, we consider a method to generate large amounts of additional training data, i.e., pairs of specifications and circuits implementing them. We ensure that this synthetic data is sufficiently close to human-written specifications by mining common patterns from the specifications used in the synthesis competitions. We show that hierarchical Transformers trained on this synthetic data solve a significant portion of problems from the synthesis competitions, and even out-of-distribution examples from a recent case study.
△ Less
Submitted 25 July, 2021;
originally announced July 2021.
-
Reward (Mis)design for Autonomous Driving
Authors:
W. Bradley Knox,
Alessandro Allievi,
Holger Banzhaf,
Felix Schmitt,
Peter Stone
Abstract:
This article considers the problem of diagnosing certain common errors in reward design. Its insights are also applicable to the design of cost functions and performance metrics more generally. To diagnose common errors, we develop 8 simple sanity checks for identifying flaws in reward functions. These sanity checks are applied to reward functions from past work on reinforcement learning (RL) for…
▽ More
This article considers the problem of diagnosing certain common errors in reward design. Its insights are also applicable to the design of cost functions and performance metrics more generally. To diagnose common errors, we develop 8 simple sanity checks for identifying flaws in reward functions. These sanity checks are applied to reward functions from past work on reinforcement learning (RL) for autonomous driving (AD), revealing near-universal flaws in reward design for AD that might also exist pervasively across reward design for other tasks. Lastly, we explore promising directions that may aid the design of reward functions for AD in subsequent research, following a process of inquiry that can be adapted to other domains.
△ Less
Submitted 11 March, 2022; v1 submitted 28 April, 2021;
originally announced April 2021.
-
A quadratic Reynolds stress development for the turbulent Kolmogorov flow
Authors:
Wenwei Wu,
Francois G. Schmitt,
Enrico Calzavarini,
Lipo Wang
Abstract:
We study the three-dimensional turbulent Kolmogorov flow, i.e. the Navier-Stokes equations forced by a low-single-wave-number sinusoidal force in a periodic domain, by means of direct numerical simulations. This classical model system is a realization of anisotropic and non-homogeneous hydrodynamic turbulence. Boussinesq's eddy viscosity linear relation is checked and found to be approximately val…
▽ More
We study the three-dimensional turbulent Kolmogorov flow, i.e. the Navier-Stokes equations forced by a low-single-wave-number sinusoidal force in a periodic domain, by means of direct numerical simulations. This classical model system is a realization of anisotropic and non-homogeneous hydrodynamic turbulence. Boussinesq's eddy viscosity linear relation is checked and found to be approximately valid over half of the system volume. A more general nonlinear quadratic Reynolds stress development is proposed and its parameters estimated at varying the Taylor scale-based Reynolds number in the flow up to the value 200. The case of a forcing with a different shape, here chosen Gaussian, is considered and the differences with the sinusoidal forcing are emphasized.
△ Less
Submitted 2 September, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Description of turbulent dynamics in the interstellar medium: multifractal/microcanonical analysis I. Application to Herschel observations of the Musca filament
Authors:
H. Yahia,
N. Schneider,
S. Bontemps,
L. Bonne,
G. Attuel,
S. Dib,
V. Ossenkopf,
A. Turiel,
A. Zebadua,
D. Elia,
S. K. Maji,
F. G. Schmitt,
J. -F Robitaille
Abstract:
Observations of the interstellar medium (ISM) show a complex density and velocity structure which is in part attributed to turbulence. We here present a self-contained introduction to the multifractal formalism in a microcanonical version which allows us for the first time to compute precise turbulence characteristic parameters from a single observational map without the need for averages in a gra…
▽ More
Observations of the interstellar medium (ISM) show a complex density and velocity structure which is in part attributed to turbulence. We here present a self-contained introduction to the multifractal formalism in a microcanonical version which allows us for the first time to compute precise turbulence characteristic parameters from a single observational map without the need for averages in a grand ensemble of statistical observables. We focus on studying the 250 mu-m Herschel map of the Musca filament and make use of MHD simulations. We find a clear signature of a multiplicative cascade in Musca with an inertial range from 0.05 to 0.65 pc. We show that the proposed microcanonical approach provides singularity spectra which are truly scale invariant as required to validate any method to analyze multifractality. The obtained, for the first time precise enough, singularity spectrum of Musca is clearly not as symmetric as usually observed in log-normal behavior. We claim that the ISM towards Musca features more a log-Poisson shape of its singularity spectrum. Since log-Poisson behavior is claimed to exist when dissipation is stronger for rare events in turbulent flows in contrast to more homogeneous (in volume and time) dissipation events, we suggest that this deviation from log-normality could trace enhanced dissipation in rare events at small scales, which may explain or is at least consistent with the dominant filamentary structure in Musca. Moreover we find that sub-regions in Musca tends to show different multifractal properties. It strongly suggests that different types of dynamics exist inside the Musca cloud. These differences between sub-regions appear only after eliminating noise features which have the tendency to "log-normalize" an observational map. Our study sets up fundamental tools which will be applied to other galactic clouds and simulations in forthcoming studies.
△ Less
Submitted 8 November, 2020;
originally announced November 2020.
-
Fluctuations and correlations of reactive scalars near chemical equilibrium in incompressible turbulence
Authors:
Wenwei Wu,
Enrico Calzavarini,
François G. Schmitt,
Lipo Wang
Abstract:
The statistical properties of species undergoing chemical reactions in a turbulent environment are studied. We focus on the case of reversible multi-component reactions of second and higher orders, in a condition close to chemical equilibrium sustained by random large-scale reactant sources, while the turbulent flow is highly developed. In such a state a competition exists between the chemical rea…
▽ More
The statistical properties of species undergoing chemical reactions in a turbulent environment are studied. We focus on the case of reversible multi-component reactions of second and higher orders, in a condition close to chemical equilibrium sustained by random large-scale reactant sources, while the turbulent flow is highly developed. In such a state a competition exists between the chemical reaction that tends to dump reactant concentration fluctuations and enhance their correlation intensity and the turbulent mixing that on the contrary increases fluctuations and remove relative correlations. We show that a unique control parameter, the Damkhöler number ($Da_θ$) that can be constructed from the scalar Taylor micro-scale, the reactant diffusivity and the reaction rate characterises the functional dependence of fluctuations and correlations in a variety of conditions, i.e., at changing the reaction order, the Reynolds and the Schmidt numbers. The larger is such a Damkhöler number the more depleted are the scalar fluctuations as compared to the fluctuations of a passive scalar field in the same conditions, and vice-versa the more intense are the correlations. A saturation in this behaviour is observed beyond $Da_θ\simeq \mathcal{O}(10)$. We provide an analytical prediction for this phenomenon which is in excellent agreement with direct numerical simulation results.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
A simplified model for expected development of the SARS-CoV-2 (Corona) spread in Germany and US after social distancing
Authors:
Franz-Josef Schmitt
Abstract:
Widespread opinions and discussion exist regarding the efficiency of social distancing after crucial spread of the SARS-CoV-2 virus during the actual Covid-19 pandemic. While Germany has released a federal law that prohibits any type of direct contact for more than 2 people other countries including the US released curfews.
People are now wondering whether these measures are helpful to stop or h…
▽ More
Widespread opinions and discussion exist regarding the efficiency of social distancing after crucial spread of the SARS-CoV-2 virus during the actual Covid-19 pandemic. While Germany has released a federal law that prohibits any type of direct contact for more than 2 people other countries including the US released curfews.
People are now wondering whether these measures are helpful to stop or hamper the Covid-19 pandemic and to limit the spread of the new corona virus.
A quantitative statement on this question depends on many parameters that are difficult to grasp mathematically and cannot therefore be made conclusively (they include consistent adherence to the measures decided, the estimated number of unreported cases, the possible limitation by test capacities, possible mutations of the virus, etc ...). However, it turns out that a reduction in the actual daily new infection rate (actual daily growth rate of reported cases, in short: infection rate) from the current value of 30-35% in the US to 10% would be extremely effective in stop** the spread of the virus. The severe restrictions in Germany which closed any public events, schools and universities a week ago might already have contributed to a reduction of the growth rate of reported cases below 30%.
△ Less
Submitted 25 March, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Teaching Temporal Logics to Neural Networks
Authors:
Christopher Hahn,
Frederik Schmitt,
Jens U. Kreber,
Markus N. Rabe,
Bernd Finkbeiner
Abstract:
We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in verification. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The trai…
▽ More
We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in verification. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The training data is generated with classical solvers, which, however, only provide one of many possible solutions to each formula. We demonstrate that it is sufficient to train on those particular solutions to formulas, and that Transformers can predict solutions even to formulas from benchmarks from the literature on which the classical solver timed out. Transformers also generalize to the semantics of the logics: while they often deviate from the solutions found by the classical solvers, they still predict correct solutions to most formulas.
△ Less
Submitted 18 February, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Extremal-point density of scaling processes from fractal Brownian motion to turbulence in one dimension
Authors:
Yongxiang Huang,
Lipo Wang,
F. G. Schmitt,
Xiaobo Zheng,
Nan Jiang,
Yulu Liu
Abstract:
In recent years several local extrema based methodologies have been proposed to investigate either the nonlinear or the nonstationary time series for scaling analysis. In the present work we study systematically the distribution of the local extrema for both synthesized scaling processes and turbulent velocity data from experiments. The results show that for the fractional Brownian motion (fBm) wi…
▽ More
In recent years several local extrema based methodologies have been proposed to investigate either the nonlinear or the nonstationary time series for scaling analysis. In the present work we study systematically the distribution of the local extrema for both synthesized scaling processes and turbulent velocity data from experiments. The results show that for the fractional Brownian motion (fBm) without intermittency correction the measured extremal point density (EPD) agrees well with a theoretical prediction. For a multifractal random walk (MRW) with the lognormal statistics, the measured EPD is independent with the intermittency parameter $μ$, suggesting that the intermittency correction does not change the distribution of extremal points, but change the amplitude. By introducing a coarse-grained operator, the power-law behavior of these scaling processes is then revealed via the measured EPD for different scales. For fBm the scaling exponent $ξ(H)$ is found to be $ξ(H)=H$, where $H$ is Hurst number, while for MRW $ξ(H)$ shows a linear relation with the intermittency parameter $μ$. Such EPD approach is further applied to the turbulent velocity data obtained from a wind tunnel flow experiment with the Taylor scale $λ$ based Reynolds number $Re_λ= 720$, and a turbulent boundary layer with the momentum thickness $θ$ based Reynolds number $Re_θ= 810$. A scaling exponent $ξ\simeq 0.37$ is retrieved for the former case. For the latter one, the measured EPD shows clearly four regimes, which agree well with the four regimes of the turbulent boundary layer structures.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Propelled micro-probes in turbulence
Authors:
Enrico Calzavarini,
Yongxiang X. Huang,
François G. Schmitt,
Lipo P. Wang
Abstract:
The temporal statistics of incompressible fluid velocity and passive scalar fields in developed turbulent conditions is investigated by means of direct numerical simulations along the trajectories of self-propelled point-like probes drifting in a flow. Such probes are characterised by a propulsion velocity which is fixed in intensity and direction; however, like vessels in a flow they are continuo…
▽ More
The temporal statistics of incompressible fluid velocity and passive scalar fields in developed turbulent conditions is investigated by means of direct numerical simulations along the trajectories of self-propelled point-like probes drifting in a flow. Such probes are characterised by a propulsion velocity which is fixed in intensity and direction; however, like vessels in a flow they are continuously deviated by their intended course as the result of local swee** of the fluid flow. The recorded time-series by these moving probes represent the simplest realisation of transect measurements in a fluid flow environment. We investigate the non trivial combination of Lagrangian and Eulerian statistical properties displayed by the transect time-series. We show that, as a result of the homogeneity and isotropy of the flow, the single-point acceleration statistics of the probes follows a predictable trend at varying the propulsion speed, a feature that is also present in the scalar time-derivative fluctuations. Further, by focusing on two-time statistics we characterize how the Lagrangian-to-Eulerian transition occurs at increasing the propulsion velocity. The analysis of intermittency of temporal increments highlights in a striking way the opposite trends displayed by the fluid velocity and passive scalars.
△ Less
Submitted 27 April, 2018; v1 submitted 1 February, 2018;
originally announced February 2018.
-
On the Scalability of Data Reduction Techniques in Current and Upcoming HPC Systems from an Application Perspective
Authors:
Axel Huebl,
Rene Widera,
Felix Schmitt,
Alexander Matthes,
Norbert Podhorszki,
Jong Youl Choi,
Scott Klasky,
Michael Bussmann
Abstract:
We implement and benchmark parallel I/O methods for the fully-manycore driven particle-in-cell code PIConGPU. Identifying throughput and overall I/O size as a major challenge for applications on today's and future HPC systems, we present a scaling law characterizing performance bottlenecks in state-of-the-art approaches for data reduction. Consequently, we propose, implement and verify multi-threa…
▽ More
We implement and benchmark parallel I/O methods for the fully-manycore driven particle-in-cell code PIConGPU. Identifying throughput and overall I/O size as a major challenge for applications on today's and future HPC systems, we present a scaling law characterizing performance bottlenecks in state-of-the-art approaches for data reduction. Consequently, we propose, implement and verify multi-threaded data-transformations for the I/O library ADIOS as a feasible way to trade underutilized host-side compute potential on heterogeneous systems for reduced I/O latency.
△ Less
Submitted 1 June, 2017;
originally announced June 2017.
-
Copepods encounter rates from a model of escape jump behaviour in turbulence
Authors:
H. Ardeshiri,
F. G. Schmitt,
S. Souissi,
F. Toschi,
E. Calzavarini
Abstract:
A key ecological parameter for planktonic copepods studies is their interspecies encounter rate which is driven by their behaviour and is strongly influenced by turbulence of the surrounding environment. A distinctive feature of copepods motility is their ability to perform quick displacements, often dubbed jumps, by means of powerful swimming strokes. Such a reaction has been associated to an esc…
▽ More
A key ecological parameter for planktonic copepods studies is their interspecies encounter rate which is driven by their behaviour and is strongly influenced by turbulence of the surrounding environment. A distinctive feature of copepods motility is their ability to perform quick displacements, often dubbed jumps, by means of powerful swimming strokes. Such a reaction has been associated to an escape behaviour from flow disturbances due to predators or other external dangers. In the present study, the encounter rate of copepods in a developed turbulent flow with intensity comparable to the one found in copepods' habitat is numerically investigated. This is done by means of a Lagrangian copepod (LC) model that mimics the jump escape reaction behaviour from localised high-shear rate fluctuations in the turbulent flows. Our analysis shows that the encounter rate for copepods of typical perception radius of ~ η, where η is the dissipative scale of turbulence, can be increased by a factor up to ~ 100 compared to the one experienced by passively transported fluid tracers. Furthermore, we address the effect of introducing in the LC model a minimal waiting time between consecutive jumps. It is shown that any encounter-rate enhancement is lost if such time goes beyond the dissipative time-scale of turbulence, τ_η. Because typically in the ocean η ~ 0.001m and τ_η ~ 1s, this provides stringent constraints on the turbulent-driven enhancement of encounter-rate due to a purely mechanical induced escape reaction.
△ Less
Submitted 5 December, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Exact Maximum Entropy Inverse Optimal Control for Modelling Human Attention Switching and Control
Authors:
Felix Schmitt,
Hans-Joachim Bieg,
Dietrich Manstetten,
Michael Herman,
Rainer Stiefelhagen
Abstract:
Maximum Causal Entropy (MCE) Inverse Optimal Control (IOC) has become an effective tool for modelling human behaviour in many control tasks. Its advantage over classic techniques for estimating human policies is the transferability of the inferred objectives: Behaviour can be predicted in variations of the control task by policy computation using a relaxed optimality criterion. However, exact poli…
▽ More
Maximum Causal Entropy (MCE) Inverse Optimal Control (IOC) has become an effective tool for modelling human behaviour in many control tasks. Its advantage over classic techniques for estimating human policies is the transferability of the inferred objectives: Behaviour can be predicted in variations of the control task by policy computation using a relaxed optimality criterion. However, exact policy inference is often computationally intractable in control problems with imperfect state observation. In this work, we present a model class that allows modelling human control of two tasks of which only one be perfectly observed at a time requiring attention switching. We show how efficient and exact objective and policy inference via MCE can be conducted for these control problems. Both MCE-IOC and Maximum Causal Likelihood (MCL)-IOC, a variant of the original MCE approach, as well as Direct Policy Estimation (DPE) are evaluated using simulated and real behavioural data. Prediction error and generalization over changes in the control process are both considered in the evaluation. The results show a clear advantage of both IOC methods over DPE, especially in the transfer over variation of the control process. MCE and MCL performed similar when training on a large set of simulated data, but differed significantly on small sets and real data.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
Predicting Lane Kee** Behavior of Visually Distracted Drivers Using Inverse Suboptimal Control
Authors:
Felix Schmitt,
Hans-Joachim Bieg,
Dietrich Manstetten,
Michael Herman,
Rainer Stiefelhagen
Abstract:
Driver distraction strongly contributes to crash-risk. Therefore, assistance systems that warn the driver if her distraction poses a hazard to road safety, promise a great safety benefit. Current approaches either seek to detect critical situations using environmental sensors or estimate a driver's attention state solely from her behavior. However, this neglects that driving situation, driver defi…
▽ More
Driver distraction strongly contributes to crash-risk. Therefore, assistance systems that warn the driver if her distraction poses a hazard to road safety, promise a great safety benefit. Current approaches either seek to detect critical situations using environmental sensors or estimate a driver's attention state solely from her behavior. However, this neglects that driving situation, driver deficiencies and compensation strategies altogether determine the risk of an accident. This work proposes to use inverse suboptimal control to predict these aspects in visually distracted lane kee**. In contrast to other approaches, this allows a situation-dependent assessment of the risk posed by distraction. Real traffic data of seven drivers are used for evaluation of the predictive power of our approach. For comparison, a baseline was built using established behavior models. In the evaluation our method achieves a consistently lower prediction error over speed and track-topology variations. Additionally, our approach generalizes better to driving speeds unseen in training phase.
△ Less
Submitted 29 April, 2016; v1 submitted 13 April, 2016;
originally announced April 2016.
-
Inverse Reinforcement Learning with Simultaneous Estimation of Rewards and Dynamics
Authors:
Michael Herman,
Tobias Gindele,
Jörg Wagner,
Felix Schmitt,
Wolfram Burgard
Abstract:
Inverse Reinforcement Learning (IRL) describes the problem of learning an unknown reward function of a Markov Decision Process (MDP) from observed behavior of an agent. Since the agent's behavior originates in its policy and MDP policies depend on both the stochastic system dynamics as well as the reward function, the solution of the inverse problem is significantly influenced by both. Current IRL…
▽ More
Inverse Reinforcement Learning (IRL) describes the problem of learning an unknown reward function of a Markov Decision Process (MDP) from observed behavior of an agent. Since the agent's behavior originates in its policy and MDP policies depend on both the stochastic system dynamics as well as the reward function, the solution of the inverse problem is significantly influenced by both. Current IRL approaches assume that if the transition model is unknown, additional samples from the system's dynamics are accessible, or the observed behavior provides enough samples of the system's dynamics to solve the inverse problem accurately. These assumptions are often not satisfied. To overcome this, we present a gradient-based IRL approach that simultaneously estimates the system's dynamics. By solving the combined optimization problem, our approach takes into account the bias of the demonstrations, which stems from the generating policy. The evaluation on a synthetic MDP and a transfer learning task shows improvements regarding the sample efficiency as well as the accuracy of the estimated reward functions and transition models.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.
-
A Lagrangian model of copepod dynamics: Clustering by escape jumps in turbulence
Authors:
Hamidreza Ardeshiri,
Ibtissem Benkeddad,
François G. Schmitt,
Sami Souissi,
Federico Toschi,
Enrico Calzavarini
Abstract:
Planktonic copepods are small crustaceans that have the ability to swim by quick powerful jumps. Such an aptness is used to escape from high shear regions, which may be caused either by flow per- turbations, produced by a large predator (i.e., fish larvae), or by the inherent highly turbulent dynamics of the ocean. Through a combined experimental and numerical study, we investigate the impact of j…
▽ More
Planktonic copepods are small crustaceans that have the ability to swim by quick powerful jumps. Such an aptness is used to escape from high shear regions, which may be caused either by flow per- turbations, produced by a large predator (i.e., fish larvae), or by the inherent highly turbulent dynamics of the ocean. Through a combined experimental and numerical study, we investigate the impact of jum** behaviour on the small-scale patchiness of copepods in a turbulent environment. Recorded velocity tracks of copepods displaying escape response jumps in still water are here used to define and tune a Lagrangian Copepod (LC) model. The model is further employed to simulate the behaviour of thousands of copepods in a fully developed hydrodynamic turbulent flow obtained by direct numerical simulation of the Navier-Stokes equations. First, we show that the LC velocity statistics is in qualitative agreement with available experimental observations of copepods in tur- bulence. Second, we quantify the clustering of LC, via the fractal dimension $D_2$. We show that $D_2$ can be as low as ~ 2.3 and that it critically depends on the shear-rate sensitivity of the proposed LC model, in particular it exhibits a minimum in a narrow range of shear-rate values. We further investigate the effect of jump intensity, jump orientation and geometrical aspect ratio of the copepods on the small-scale spatial distribution. At last, possible ecological implications of the observed clustering on encounter rates and mating success are discussed
△ Less
Submitted 26 April, 2016; v1 submitted 7 January, 2016;
originally announced January 2016.
-
Observation of universal strong orbital-dependent correlation effects in iron chalcogenides
Authors:
Ming Yi,
Zhongkai Liu,
Yan Zhang,
Rong Yu,
Jianxin Zhu,
James Lee,
Rob Moore,
Felix Schmitt,
Wei Li,
Scott Riggs,
Jiun-Haw Chu,
Bing Lv,
** Hu,
Makoto Hashimoto,
Sung-Kwan Mo,
Zahid Hussain,
Zhiqiang Mao,
Ching-Wu Chu,
Ian Fisher,
Qimiao Si,
Zhi-Xun Shen,
Donghui Lu
Abstract:
Establishing the appropriate theoretical framework for unconventional superconductivity in the iron-based materials requires correct understanding of both the electron correlation strength and the role of Fermi surfaces. This fundamental issue becomes especially relevant with the discovery of the iron chalcogenide (FeCh) superconductors, the only iron-based family in proximity to an insulating pha…
▽ More
Establishing the appropriate theoretical framework for unconventional superconductivity in the iron-based materials requires correct understanding of both the electron correlation strength and the role of Fermi surfaces. This fundamental issue becomes especially relevant with the discovery of the iron chalcogenide (FeCh) superconductors, the only iron-based family in proximity to an insulating phase. Here, we use angle-resolved photoemission spectroscopy (ARPES) to measure three representative FeCh superconductors, FeTe0.56Se0.44, K0.76Fe1.72Se2, and monolayer FeSe film grown on SrTiO3. We show that, these FeChs are all in a strongly correlated regime at low temperatures, with an orbital-selective strong renormalization in the dxy bands despite having drastically different Fermi-surface topologies. Furthermore, raising temperature brings all three compounds from a metallic superconducting state to a phase where the dxy orbital loses all spectral weight while other orbitals remain itinerant. These observations establish that FeChs display universal orbital-selective strong correlation behaviors that are insensitive to the Fermi surface topology, and are close to an orbital-selective Mott phase (OSMP), hence placing strong constraints for theoretical understanding of iron-based superconductors.
△ Less
Submitted 24 July, 2015; v1 submitted 11 June, 2015;
originally announced June 2015.
-
Thickness-Dependent Coherent Phonon Frequency in Ultrathin FeSe/SrTiO$_{3}$ Films
Authors:
Shuolong Yang,
Jonathan A. Sobota,
Dominik Leuenberger,
Alexander F. Kemper,
James J. Lee,
Felix T. Schmitt,
Wei Li,
Rob G. Moore,
Patrick S. Kirchmann,
Zhi-Xun Shen
Abstract:
Ultrathin FeSe films grown on SrTiO$_{3}$ substrates are a recent milestone in atomic material engineering due to their important role in understanding unconventional superconductivity in Fe-based materials. Using femtosecond time- and angle-resolved photoelectron spectroscopy, we study phonon frequencies in ultrathin FeSe/SrTiO$_{3}$ films grown by molecular beam epitaxy. After optical excitation…
▽ More
Ultrathin FeSe films grown on SrTiO$_{3}$ substrates are a recent milestone in atomic material engineering due to their important role in understanding unconventional superconductivity in Fe-based materials. Using femtosecond time- and angle-resolved photoelectron spectroscopy, we study phonon frequencies in ultrathin FeSe/SrTiO$_{3}$ films grown by molecular beam epitaxy. After optical excitation, we observe periodic modulations of the photoelectron spectrum as a function of pump-probe delay for 1 unit cell, 3 unit cell, and 60 unit cell thick FeSe films. The frequencies of the coherent intensity oscillations increase from 5.00(2) to 5.25(2) THz with increasing film thickness. By comparing with previous works, we attribute this mode to the Se A$_\textrm{1g}$ phonon. The dominant mechanism for the phonon softening in 1 unit cell thick FeSe films is a substrate-induced lattice strain. Our results demonstrate an abrupt phonon renormalization due to a lattice mismatch between the ultrathin film and the substrate.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Visualizing the Radiation of the Kelvin-Helmholtz Instability
Authors:
Axel Huebl,
David Pugmire,
Felix Schmitt,
Richard Pausch,
Michael Bussmann
Abstract:
Emerging new technologies in plasma simulations allow tracking billions of particles while computing their radiative spectra. We present a visualization of the relativistic Kelvin-Helmholtz Instability from a simulation performed with the fully relativistic particle-in-cell code PIConGPU powered by 18,000 GPUs on the USA's fastest supercomputer Titan [1].
Emerging new technologies in plasma simulations allow tracking billions of particles while computing their radiative spectra. We present a visualization of the relativistic Kelvin-Helmholtz Instability from a simulation performed with the fully relativistic particle-in-cell code PIConGPU powered by 18,000 GPUs on the USA's fastest supercomputer Titan [1].
△ Less
Submitted 4 April, 2014;
originally announced April 2014.
-
Autocorrelation function of velocity increments time series in fully developed turbulence
Authors:
Y. X. Huang,
F. G. Schmitt,
Z. M. Lu,
Y. L. Liu
Abstract:
In fully developed turbulence, the velocity field possesses long-range correlations, denoted by a scaling power spectrum or structure functions. Here we consider the autocorrelation function of velocity increment $ {Δu_{\ell}(t)}$ at separation {time} $\ell$. Anselmet et al. [Anselmet et al. J. Fluid Mech. \textbf{140}, 63 (1984)] have found that the autocorrelation function of velocity increment…
▽ More
In fully developed turbulence, the velocity field possesses long-range correlations, denoted by a scaling power spectrum or structure functions. Here we consider the autocorrelation function of velocity increment $ {Δu_{\ell}(t)}$ at separation {time} $\ell$. Anselmet et al. [Anselmet et al. J. Fluid Mech. \textbf{140}, 63 (1984)] have found that the autocorrelation function of velocity increment has a minimum value, whose location is approximately equal to $\ell$. Taking statistical stationary assumption, we link the velocity increment and the autocorrelation function with the power spectrum of the original variable. We then propose an analytical model of the autocorrelation function. With this model, we prove that the location of the minimum autocorrelation function is exactly equal to the separation {time} $\ell$ when the scaling of the power spectrum of the original variable belongs to the range $0<β<2$. This model also suggests a power law expression for the minimum autocorrelation. Considering the cumulative function of the autocorrelation function, it is shown that the main contribution to the autocorrelation function comes from the large scale part. Finally we argue that the autocorrelation function is a better indicator of the inertial range than the second order structure function.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
An amplitude-frequency study of turbulent scaling intermittency using Empirical Mode Decomposition and Hilbert Spectral Analysis
Authors:
Y. X. Huang,
Francois G. Schmitt,
Z. M. Lu,
Y. L. Liu
Abstract:
Hilbert-Huang transform is a method that has been introduced recently to decompose nonlinear, nonstationary time series into a sum of different modes, each one having a characteristic frequency. Here we show the first successful application of this approach to homogeneous turbulence time series. We associate each mode to dissipation, inertial range and integral scales. We then generalize this appr…
▽ More
Hilbert-Huang transform is a method that has been introduced recently to decompose nonlinear, nonstationary time series into a sum of different modes, each one having a characteristic frequency. Here we show the first successful application of this approach to homogeneous turbulence time series. We associate each mode to dissipation, inertial range and integral scales. We then generalize this approach in order to characterize the scaling intermittency of turbulence in the inertial range, in an amplitude-frequency space. The new method is first validated using fractional Brownian motion simulations. We then obtain a 2D amplitude-frequency representation of the pdf of turbulent fluctuations with a scaling trend, and we show how multifractal exponents can be retrieved using this approach. We also find that the log-Poisson distribution fits the velocity amplitude pdf better than the lognormal distribution.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Lagrangian Cascade in Three-Dimensional Homogeneous and Isotropic Turbulence
Authors:
Y. X. Huang,
Francois G. Schmitt
Abstract:
In this work, the scaling statistics of the dissipation along Lagrangian trajectories are investigated by using fluid tracer particles obtained from a high resolution direct numerical simulation with $Re_λ=400$. Both the energy dissipation rate $ε$ and the local time averaged $ε_τ$ agree rather well with the lognormal distribution hypothesis. Several statistics are then examined. It is found that…
▽ More
In this work, the scaling statistics of the dissipation along Lagrangian trajectories are investigated by using fluid tracer particles obtained from a high resolution direct numerical simulation with $Re_λ=400$. Both the energy dissipation rate $ε$ and the local time averaged $ε_τ$ agree rather well with the lognormal distribution hypothesis. Several statistics are then examined. It is found that the autocorrelation function $ρ(τ)$ of $\ln(ε(t))$ and variance $σ^2(τ)$ of $\ln(ε_τ(t))$ obey a log-law with scaling exponent $β'=β=0.30$ compatible with the intermittency parameter $μ=0.30$. The $q$th-order moment of $ε_τ$ has a clear power-law on the inertial range $10<τ/τ_η<100$. The measured scaling exponent $K_L(q)$ agrees remarkably with $q-ζ_L(2q)$ where $ζ_L(2q)$ is the scaling exponent estimated using the Hilbert methodology. All these results suggest that the dissipation along Lagrangian trajectories could be modelled by a multiplicative cascade.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Scaling of maximum probability density functions of velocity and temperature increments in turbulent systems
Authors:
Y. X. Huang,
Francois G. Schmitt,
Q. Zhou,
X. Qiu,
X. D. Shang,
Z. M. Lu,
and Y. L. Liu
Abstract:
In this paper, we introduce a new way to estimate the scaling parameter of a self-similar process by considering the maximum probability density function (pdf) of tis increments. We prove this for $H$-self-similar processes in general and experimentally investigate it for turbulent velocity and temperature increments. We consider turbulent velocity database from an experimental homogeneous and ne…
▽ More
In this paper, we introduce a new way to estimate the scaling parameter of a self-similar process by considering the maximum probability density function (pdf) of tis increments. We prove this for $H$-self-similar processes in general and experimentally investigate it for turbulent velocity and temperature increments. We consider turbulent velocity database from an experimental homogeneous and nearly isotropic turbulent channel flow, and temperature data set obtained near the sidewall of a Rayleigh-Bénard convection cell, where the turbulent flow is driven by buoyancy. For the former database, it is found that the maximum value of increment pdf $p_{\max}(τ)$ is in a good agreement with lognormal distribution. We also obtain a scaling exponent $α\simeq 0.37$, which is consistent with the scaling exponent for the first-order structure function reported in other studies. For the latter one, we obtain a scaling exponent $α_θ\simeq0.33$. This index value is consistent with the Kolmogorov-Obukhov-Corrsin scaling for passive scalar turbulence, but different from the scaling exponent of the first-order structure function that is found to be $ζ_θ(1)\simeq 0.19$, which is in favor of Bolgiano-Obukhov scaling. A possible explanation for these results is also given.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Second order structure function in fully developed turbulence
Authors:
Y. X. Huang,
Francois G. Schmitt,
Z. M. Lu,
P. Fougairolles,
Y. Gagne,
Y. L. Liu
Abstract:
We relate the second order structure function of a time series with the power spectrum of the original variable, taking an assumption of statistical stationarity. With this approach, we find that the structure function is strongly influenced by the large scales. The large scale contribution and the contribution range are respectively 79% and 1.4 decades for a Kolmogorov -5/3 power spectrum. We sho…
▽ More
We relate the second order structure function of a time series with the power spectrum of the original variable, taking an assumption of statistical stationarity. With this approach, we find that the structure function is strongly influenced by the large scales. The large scale contribution and the contribution range are respectively 79% and 1.4 decades for a Kolmogorov -5/3 power spectrum. We show numerically that a single scale influence range, over smaller scales is about 2 decades. We argue that the structure function is not a good method to extract the scaling exponents when the data possess large energetic scales. An alternative methodology, the arbitrary order Hilbert spectral analysis which may constrain this influence within 0.3 decade, is proposed to characterize the {scaling} property directly in an amplitude-frequency space. An analysis of passive scalar (temperature) turbulence time series is presented to show the influence of large scale structures in real turbulence, and the efficiency of the Hilbert-based methodology. The corresponding scaling exponents $ζ_θ(q)$ provided by the Hilbert-based approach indicate that the passive scalar turbulence field may be less intermittent than what was previously believed.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Time dependent intrinsic correlation analysis of temperature and dissolved oxygen time series using empirical mode decomposition
Authors:
Y. X. Huang,
Francois G. Schmitt
Abstract:
In the marine environment, many fields have fluctuations over a large range of different spatial and temporal scales. These quantities can be nonlinear \red{and} non-stationary, and often interact with each other. A good method to study the multiple scale dynamics of such time series, and their correlations, is needed. In this paper an application of an empirical mode decomposition based time depe…
▽ More
In the marine environment, many fields have fluctuations over a large range of different spatial and temporal scales. These quantities can be nonlinear \red{and} non-stationary, and often interact with each other. A good method to study the multiple scale dynamics of such time series, and their correlations, is needed. In this paper an application of an empirical mode decomposition based time dependent intrinsic correlation, \red{of} two coastal oceanic time series, temperature and dissolved oxygen (saturation percentage) is presented. The two time series are recorded every 20 minutes \red{for} 7 years, from 2004 to 2011. The application of the Empirical Mode Decomposition on such time series is illustrated, and the power spectra of the time series are estimated using the Hilbert transform (Hilbert spectral analysis). Power-law regimes are found with slopes of 1.33 for dissolved oxygen and 1.68 for temperature at high frequencies (between 1.2 and 12 hours) \red{with} both close to 1.9 for lower frequencies (time scales from 2 to 100 days). Moreover, the time evolution and scale dependence of cross correlations between both series are considered. The trends are perfectly anti-correlated. The modes of mean year 3 and 1 year have also negative correlation, whereas higher frequency modes have a much smaller correlation. The estimation of time-dependent intrinsic correlations helps to show patterns of correlations at different scales, for different modes.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Direct observation of the transition from indirect to direct bandgap in atomically thin epitaxial MoSe2
Authors:
Yi Zhang,
Tay-Rong Chang,
Bo Zhou,
Yong-Tao Cui,
Hao Yan,
Zhongkai Liu,
Felix Schmitt,
James Lee,
Rob Moore,
Yulin Chen,
Hsin Lin,
Horng-Tay Jeng,
Sung-Kwan Mo,
Zahid Hussain,
Arun Bansil,
Zhi-Xun Shen
Abstract:
Quantum systems in confined geometries are host to novel physical phenomena. Examples include quantum Hall systems in semiconductors and Dirac electrons in graphene. Interest in such systems has also been intensified by the recent discovery of a large enhancement in photoluminescence quantum efficiency and a potential route to valleytronics in atomically thin layers of transition metal dichalcogen…
▽ More
Quantum systems in confined geometries are host to novel physical phenomena. Examples include quantum Hall systems in semiconductors and Dirac electrons in graphene. Interest in such systems has also been intensified by the recent discovery of a large enhancement in photoluminescence quantum efficiency and a potential route to valleytronics in atomically thin layers of transition metal dichalcogenides, MX2 (M = Mo, W; X = S, Se, Te), which are closely related to the indirect to direct bandgap transition in monolayers. Here, we report the first direct observation of the transition from indirect to direct bandgap in monolayer samples by using angle resolved photoemission spectroscopy on high-quality thin films of MoSe2 with variable thickness, grown by molecular beam epitaxy. The band structure measured experimentally indicates a stronger tendency of monolayer MoSe2 towards a direct bandgap, as well as a larger gap size, than theoretically predicted. Moreover, our finding of a significant spin-splitting of 180 meV at the valence band maximum of a monolayer MoSe2 film could expand its possible application to spintronic devices.
△ Less
Submitted 14 January, 2014;
originally announced January 2014.
-
Interfacial mode coupling as the origin of the enhancement of Tc in FeSe films on SrTiO3
Authors:
J. J. Lee,
F. T. Schmitt,
R. G. Moore,
S. Johnston,
Y. -T. Cui,
W. Li,
M. Yi,
Z. K. Liu,
M. Hashimoto,
Y. Zhang,
D. H. Lu,
T. P. Devereaux,
D. -H. Lee,
Z. -X. Shen
Abstract:
Single unit cell films of iron selenide (1UC FeSe) grown on SrTiO3 (STO) substrates have recently shown superconducting energy gaps opening at temperatures close to the boiling point of liquid nitrogen (77 K), a record for iron-based superconductors. Towards understanding why Cooper pairs form at such high temperatures, a primary question to address is the role, if any, of the STO substrate. Here,…
▽ More
Single unit cell films of iron selenide (1UC FeSe) grown on SrTiO3 (STO) substrates have recently shown superconducting energy gaps opening at temperatures close to the boiling point of liquid nitrogen (77 K), a record for iron-based superconductors. Towards understanding why Cooper pairs form at such high temperatures, a primary question to address is the role, if any, of the STO substrate. Here, we report high resolution angle resolved photoemission spectroscopy (ARPES) results which reveal an unexpected and unique characteristic of the 1UC FeSe/STO system: shake-off bands suggesting the presence of bosonic modes, most likely oxygen optical phonons in STO, which couple to the FeSe electrons with only small momentum transfer. Such coupling has the unusual benefit of hel** superconductivity in most channels, including those mediated by spin fluctuations. Our calculations suggest such coupling is responsible for raising the superconducting gap opening temperature in 1UC FeSe/STO. This discovery suggests a pathway to engineer high temperature superconductors.
△ Less
Submitted 11 May, 2015; v1 submitted 9 December, 2013;
originally announced December 2013.
-
Direct Optical Coupling to an Unoccupied Dirac Surface State in the Topological Insulator Bi$_2$Se$_3$
Authors:
Jonathan A. Sobota,
Shuolong Yang,
Alexander F. Kemper,
J. J. Lee,
Felix T. Schmitt,
Wei Li,
Robert G. Moore,
James G. Analytis,
Ian R. Fisher,
Patrick S. Kirchmann,
Thomas P. Devereaux,
Zhi-Xun Shen
Abstract:
We characterize the occupied and unoccupied electronic structure of the topological insulator Bi$_2$Se$_3$ by one-photon and two-photon angle-resolved photoemission spectroscopy and slab band structure calculations. We reveal a second, unoccupied Dirac surface state with similar electronic structure and physical origin to the well-known topological surface state. This state is energetically locate…
▽ More
We characterize the occupied and unoccupied electronic structure of the topological insulator Bi$_2$Se$_3$ by one-photon and two-photon angle-resolved photoemission spectroscopy and slab band structure calculations. We reveal a second, unoccupied Dirac surface state with similar electronic structure and physical origin to the well-known topological surface state. This state is energetically located 1.5 eV above the conduction band, which permits it to be directly excited by the output of a Ti:Sapphire laser. This discovery demonstrates the feasibility of direct ultrafast optical coupling to a topologically protected, spin-textured surface state.
△ Less
Submitted 5 September, 2013;
originally announced September 2013.
-
Software Design Principles of a DFS Tower A-CWP Prototype
Authors:
Felix Schmitt,
Ralf Heidger,
Stephen Straub,
Benjamin Weiß
Abstract:
SESAR is supposed to boost the development of new operational procedures together with the supporting systems in order to modernize the pan-European air traffic management (ATM). One consequence of this development is that more and more information is presented to - and has to be processed by - air traffic control officers (ATCOs). Thus, there is a strong need for a software design concept that fo…
▽ More
SESAR is supposed to boost the development of new operational procedures together with the supporting systems in order to modernize the pan-European air traffic management (ATM). One consequence of this development is that more and more information is presented to - and has to be processed by - air traffic control officers (ATCOs). Thus, there is a strong need for a software design concept that fosters the development of an advanced (tower) controller working position (A-CWP) that comprehensively integrates the still counting amount of information while reducing the data management workload of ATCOs. We report on our first hands-on experiences obtained during the development of an A-CWP prototype that was used in two SESAR validation sessions.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Route-Based Detection of Conflicting ATC Clearances on Airports
Authors:
Benjamin Weiß,
Federico Centarti,
Felix Schmitt,
Stephen Straub
Abstract:
Runway incursions are among the most serious safety concerns in air traffic control. Traditional A-SMGCS level 2 safety systems detect runway incursions with the help of surveillance information only. In the context of SESAR, complementary safety systems are emerging that also use other information in addition to surveillance, and that aim at warning about potential runway incursions at earlier po…
▽ More
Runway incursions are among the most serious safety concerns in air traffic control. Traditional A-SMGCS level 2 safety systems detect runway incursions with the help of surveillance information only. In the context of SESAR, complementary safety systems are emerging that also use other information in addition to surveillance, and that aim at warning about potential runway incursions at earlier points in time. One such system is "conflicting ATC clearances", which processes the clearances entered by the air traffic controller into an electronic flight strips system and cross-checks them for potentially dangerous inconsistencies. The cross-checking logic may be implemented directly based on the clearances and on surveillance data, but this is cumbersome. We present an approach that instead uses ground routes as an intermediate layer, thereby simplifying the core safety logic.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Phase competition in trisected superconducting dome
Authors:
I. M. Vishik,
M Hashimoto,
R. -H. He,
W. S. Lee,
F. Schmitt,
D. H. Lu,
R. G. Moore,
C. Zhang,
W. Meevasana,
T. Sasagawa,
S. Uchida,
K. Fujita,
S. Ishida,
M. Ishikado,
Y. Yoshida,
H. Eisaki,
Z. Hussain,
T. P. Devereaux,
Z. -X. Shen
Abstract:
A detailed phenomenology of low energy excitations is a crucial starting point for microscopic understanding of complex materials such as the cuprate high temperature superconductors. Because of its unique momentum-space discrimination, angle-resolved photoemission spectroscopy (ARPES) is ideally suited for this task in the cuprates where emergent phases, particularly superconductivity and the pse…
▽ More
A detailed phenomenology of low energy excitations is a crucial starting point for microscopic understanding of complex materials such as the cuprate high temperature superconductors. Because of its unique momentum-space discrimination, angle-resolved photoemission spectroscopy (ARPES) is ideally suited for this task in the cuprates where emergent phases, particularly superconductivity and the pseudogap, have anisotropic gap structure in momentum space. We present a comprehensive do**-and-temperature dependence ARPES study of spectral gaps in Bi$_2$Sr$_2$CaCu$_2$O$_{8+δ}$ (Bi-2212), covering much of the superconducting portion of the phase diagram. In the ground state, abrupt changes in near-nodal gap phenomenology give spectroscopic evidence for two potential quantum critical points, p$=$0.19 for the pseudogap phase and p$=$0.076 for another competing phase. Temperature dependence reveals that the pseudogap is not static below T$_c$ and exists p$>$0.19 at higher temperatures. Our data imply a revised phase diagram which reconciles conflicting reports about the endpoint of the pseudogap in the literature, incorporates phase competition between the superconducting gap and pseudogap, and highlights distinct physics at the edge of the superconducting dome.
△ Less
Submitted 28 September, 2012;
originally announced September 2012.
-
Superconductivity distorted by the coexisting pseudogap in the antinodal region of Bi$_{1.5}$Pb$_{0.55}$Sr$_{1.6}$La$_{0.4}$CuO$_{6+δ}$: A photon-energy-dependent angle-resolved photoemission study
Authors:
M. Hashimoto,
R. -H. He,
I. M. Vishik,
F. Schmitt,
R. G. Moore,
D. H. Lu,
Y. Yoshida,
H. Eisaki,
Z. Hussain,
T. P. Devereaux,
Z. -X. Shen
Abstract:
The interplay between superconductivity and the pseudogap is an important aspect of cuprate physics. However, the nature of the pseudogap remains controversial, in part because different experiments have suggested different gap functions. Here we present a photon-energy-dependence angle-resolved photoemission spectroscopy (ARPES) study on Bi$_{1.5}$Pb$_{0.55}$Sr$_{1.6}$La$_{0.4}$CuO$_{6+δ}$. We fi…
▽ More
The interplay between superconductivity and the pseudogap is an important aspect of cuprate physics. However, the nature of the pseudogap remains controversial, in part because different experiments have suggested different gap functions. Here we present a photon-energy-dependence angle-resolved photoemission spectroscopy (ARPES) study on Bi$_{1.5}$Pb$_{0.55}$Sr$_{1.6}$La$_{0.4}$CuO$_{6+δ}$. We find that antinodal ARPES spectra at low photon energies are dominated by background signals which can lead to a misevaluation of the spectral gap size. Once background is properly accounted for, independent of photon energy, the antinodal spectra robustly show two coexisting features at different energies dominantly attributed to the pseudogap and superconductivity, as well as an overall spectral gap which deviates from a simple d-wave form. These results support the idea that the spectral gap is distorted due to the competition between the pseudogap and superconductivity.
△ Less
Submitted 6 September, 2012;
originally announced September 2012.
-
Intrinsic Ultrathin Topological Insulators Grown via MBE Characterized by in-situ Angle Resolved Photoemission Spectroscopy
Authors:
J. J. Lee,
F. T. Schmitt,
R. G. Moore,
I. M. Vishik,
Y. Ma,
Z. X. Shen
Abstract:
We demonstrate the capability of growing high quality ultrathin films of the topological insulators Bi2Se3 and Bi2Te3 using molecular beam epitaxy. Unlike previous growth techniques, which often pin the Fermi energy in the conduction band for ultrathin samples, our samples remain intrinsic bulk insulators. We characterize these films using in-situ angle resolved photoemission spectroscopy (ARPES),…
▽ More
We demonstrate the capability of growing high quality ultrathin films of the topological insulators Bi2Se3 and Bi2Te3 using molecular beam epitaxy. Unlike previous growth techniques, which often pin the Fermi energy in the conduction band for ultrathin samples, our samples remain intrinsic bulk insulators. We characterize these films using in-situ angle resolved photoemission spectroscopy (ARPES), which is a direct probe of bandstructure, and ex-situ atomic force microscopy. We find that the conduction band lies above the Fermi energy, indicating bulk insulating behavior with only the surface states crossing EF . We conclude that thermal cracking of Te and Se in our growth leads to higher quality thin films, paving the way for future improvements in growth of topological insulators.
△ Less
Submitted 18 May, 2012;
originally announced May 2012.
-
Arbitrary-order Hilbert spectral analysis for time series possessing scaling statistics: a comparison study with detrended fluctuation analysis and wavelet leaders
Authors:
Y. X. Huang,
F. G. Schmitt,
J. -P. Hermand,
Y. Gagne,
Z. M. Lu,
Y. L. Liu
Abstract:
In this paper we present an extended version of Hilbert-Huang transform, namely arbitrary-order Hilbert spectral analysis, to characterize the scale-invariant properties of a time series directly in an amplitude-frequency space. We first show numerically that due to a nonlinear distortion, traditional methods require high-order harmonic components to represent nonlinear processes, except for the H…
▽ More
In this paper we present an extended version of Hilbert-Huang transform, namely arbitrary-order Hilbert spectral analysis, to characterize the scale-invariant properties of a time series directly in an amplitude-frequency space. We first show numerically that due to a nonlinear distortion, traditional methods require high-order harmonic components to represent nonlinear processes, except for the Hilbert-based method. This will lead to an artificial energy flux from the low-frequency (large scale) to the high-frequency (small scale) part. Thus the power law, if it exists, is contaminated. We then compare the Hilbert method with structure functions (SF), detrended fluctuation analysis (DFA), and wavelet leader (WL) by analyzing fractional Brownian motion and synthesized multifractal time series. For the former simulation, we find that all methods provide comparable results. For the latter simulation, we perform simulations with an intermittent parameter μ = 0.15. We find that the SF underestimates scaling exponent when q > 3. The Hilbert method provides a slight underestimation when q > 5. However, both DFA and WL overestimate the scaling exponents when q > 5. It seems that Hilbert and DFA methods provide better singularity spectra than SF and WL. We finally apply all methods to a passive scalar (temperature) data obtained from a jet experiment with a Taylor's microscale Reynolds number Relambda \simeq 250. Due to the presence of strong ramp-cliff structures, the SF fails to detect the power law behavior. For the traditional method, the ramp-cliff structure causes a serious artificial energy flux from the low-frequency (large scale) to the high-frequency (small scale) part. Thus DFA and WL underestimate the scaling exponents. However, the Hilbert method provides scaling exponents ξθ(q) quite close to the one for longitudinal velocity.
△ Less
Submitted 18 July, 2011;
originally announced July 2011.
-
Evidence for forward scattering and coupling to acoustic phonon modes in high-T$_c$ cuprate superconductors
Authors:
S. Johnston,
I. M. Vishik,
W. S. Lee,
F. Schmitt,
S. Uchida,
K. Fujita,
S. Ishida,
N. Nagaosa,
Z. X. Shen,
T. P. Devereaux
Abstract:
Recent laser angle-resolved photoemission spectroscopy studies have established the presence of a new kink in the low-energy nodal dispersion of Bi$_2$Sr$_2$CaCu$_2$O$+{8+δ}$ (Bi-2212). The energy scale (~8-15 meV) of this kink appears below the maximum of the superconducting gap $δ_0$. Therefore it is difficult to interpret this feature in terms of the usual coupling to a sharp dispersionless mod…
▽ More
Recent laser angle-resolved photoemission spectroscopy studies have established the presence of a new kink in the low-energy nodal dispersion of Bi$_2$Sr$_2$CaCu$_2$O$+{8+δ}$ (Bi-2212). The energy scale (~8-15 meV) of this kink appears below the maximum of the superconducting gap $δ_0$. Therefore it is difficult to interpret this feature in terms of the usual coupling to a sharp dispersionless mode. In this paper we examine electron-phonon coupling to the in-plane acoustic phonon branch arising from the modulation of the screened Coulomb potential. We demonstrate that such a coupling has a strong forward scattering peak, and as a consequence, a kink occurs in the dispersion at an energy scale shifted by the local gap $δ(k)$. In addition, considerations for the reduction of screening with underdo** naturally explains the observed do** dependence of the low-energy kink. These results point to a strong coupling to the acoustic branch which is peaked in the forward scattering direction and has important implications for transport and pairing in the high-T$_c$ cuprates.
△ Less
Submitted 6 January, 2011;
originally announced January 2011.
-
Ab-initio phase diagram of ultracold 87-Rb in an one-dimensional two-color superlattice
Authors:
Felix Schmitt,
Markus Hild,
Robert Roth
Abstract:
We investigate the ab-initio phase diagram of ultracold 87-Rb atoms in an one-dimensional two-color superlattice. Using single-particle band structure calculations we map the experimental setup onto the parameters of the Bose-Hubbard model. This ab-initio ansatz allows us to express the phase diagrams in terms of the experimental control parameters, i.e., the intensities of the lasers that form th…
▽ More
We investigate the ab-initio phase diagram of ultracold 87-Rb atoms in an one-dimensional two-color superlattice. Using single-particle band structure calculations we map the experimental setup onto the parameters of the Bose-Hubbard model. This ab-initio ansatz allows us to express the phase diagrams in terms of the experimental control parameters, i.e., the intensities of the lasers that form the optical superlattice. In order to solve the many-body problem for experimental system sizes we adopt the density-matrix renormalization-group algorithm. A detailed study of convergence and finite-size effects for all observables is presented. Our results show that all relevant quantum phases, i.e., superfluid, Mott-insulator, and quasi Bose-glass, can be accessed through intensity variation of the lasers alone. However, it turns out that the phase diagram is strongly affected by the longitudinal trap** potential.
△ Less
Submitted 18 May, 2010;
originally announced May 2010.
-
Do**-dependent nodal Fermi velocity in Bi-2212 revealed by high-resolution ARPES
Authors:
I. M. Vishik,
W. S. Lee,
F. Schmitt,
B. Moritz,
T. Sasagawa,
S. Uchida,
K. Fujita,
S. Ishida,
C. Zhang,
T. P. Devereaux,
Z. -X. Shen
Abstract:
The improved resolution of laser-based angle-resolved photoemission spectroscopy (ARPES) allows reliable access to fine structures in the spectrum. We present a systematic, do**-dependent study of a recently discovered low-energy kink in the nodal dispersion of Bi2Sr2CaCu2O8+d (Bi-2212), which demonstrates the ubiquity and robustness of this kink in underdoped Bi-2212. The renormalization of t…
▽ More
The improved resolution of laser-based angle-resolved photoemission spectroscopy (ARPES) allows reliable access to fine structures in the spectrum. We present a systematic, do**-dependent study of a recently discovered low-energy kink in the nodal dispersion of Bi2Sr2CaCu2O8+d (Bi-2212), which demonstrates the ubiquity and robustness of this kink in underdoped Bi-2212. The renormalization of the nodal velocity due to this kink becomes stronger with underdo**, revealing that the nodal Fermi velocity is non-universal, in contrast to assumed phenomenology. This is used together with laser-ARPES measurements of the gap velocity, v2, to resolve discrepancies with thermal conductivity measurements.
△ Less
Submitted 21 March, 2010; v1 submitted 12 February, 2010;
originally announced February 2010.
-
Phase Diagram of Bosons in Two-Color Superlattices from Experimental Parameters
Authors:
Felix Schmitt,
Markus Hild,
Robert Roth
Abstract:
We study the zero-temperature phase diagram of a gas of bosonic 87-Rb atoms in two-color superlattice potentials starting directly from the experimental parameters, such as wavelengths and intensities of the two lasers generating the superlattice. In a first step, we map the experimental setup to a Bose-Hubbard Hamiltonian with site-dependent parameters through explicit band-structure calculatio…
▽ More
We study the zero-temperature phase diagram of a gas of bosonic 87-Rb atoms in two-color superlattice potentials starting directly from the experimental parameters, such as wavelengths and intensities of the two lasers generating the superlattice. In a first step, we map the experimental setup to a Bose-Hubbard Hamiltonian with site-dependent parameters through explicit band-structure calculations. In the second step, we solve the many-body problem using the density-matrix renormalization group (DMRG) approach and compute observables such as energy gap, condensate fraction, maximum number fluctuations and visibility of interference fringes. We study the phase diagram as function of the laser intensities s_2 and s_1 as control parameters and show that all relevant quantum phases, i.e. superfluid, Mott-insulator, and quasi Bose-glass phase, and the transitions between them can be investigated through a variation of these intensities alone.
△ Less
Submitted 28 April, 2009;
originally announced April 2009.
-
The lower bound on the energy for bounded systems is equivalent to the Bekenstein upper bound on the entropy to energy ratio for bounded systems
Authors:
Franz-Josef Schmitt
Abstract:
Several approaches were used to proof the assumption that an universal upper bound on the entropy to energy ratio (S/E) exists in bounded systems. In 1981 Jacob D. Bekenstein published his findings that S/E is limited by the effective radius of the system and mentioned various approaches to derive S/E employing quantum statistics or thermodynamics. It can be shown that similar results are obtain…
▽ More
Several approaches were used to proof the assumption that an universal upper bound on the entropy to energy ratio (S/E) exists in bounded systems. In 1981 Jacob D. Bekenstein published his findings that S/E is limited by the effective radius of the system and mentioned various approaches to derive S/E employing quantum statistics or thermodynamics. It can be shown that similar results are obtained considering the energetic difference of longitudinal eigenmodes inside a closed cavity like it was done by Max Planck in 1900 to derive the correct formula for the spectral distribution of the black-body radiation. Considering an information theoretical approach this derivation suggests that the variance of an expectation value is the same like the variance of the probability for measuring this expectation value. Implications of these findings are shortly discussed.
△ Less
Submitted 23 January, 2009;
originally announced January 2009.