130 research outputs found
Renormalization group for open quantum systems using environment temperature as flow parameter
We present the -flow renormalization group method, which computes the
memory kernel for the density-operator evolution of an open quantum system by
lowering the physical temperature of its environment. This has the key
advantage that it can be formulated directly in real time, making it
particularly suitable for transient dynamics, while automatically accumulating
the full temperature dependence of transport quantities. We solve the -flow
equations numerically for the example of the single impurity Anderson model. We
benchmark in the stationary limit, readily accessible in real-time for voltages
on the order of the coupling or larger using results obtained by the functional
renormalization group, density-matrix renormalization group and the quantum
Monte Carlo method. Here we find quantitative agreement even in the worst case
of strong interactions and low temperatures, indicating the reliability of the
method. For transient charge currents we find good agreement with results
obtained by the 2PI Green's function approach. Furthermore, we analytically
show that the short-time dynamics of both local and non-local observables
follow a universal temperature-independent behaviour when the metallic
reservoirs have a flat wide band.Comment: 24 pages, 5 figures; resubmission to SciPost Physics; Fig. 2b
contained curves which were insufficiently converged. This has been corrected
without affecting any part of the text and conclusion
Application of soft computing models with input vectors of snow cover area in addition to hydro-climatic data to predict the sediment loads
The accurate estimate of sediment load is important for management of the river ecosystem, designing of water infrastructures, and planning of reservoir operations. The direct measurement of sediment is the most credible method to estimate the sediments. However, this requires a lot of time and resources. Because of these two constraints, most often, it is not possible to continuously measure the daily sediments for most of the gauging sites. Nowadays, data-based sediment prediction models are famous for bridging the data gaps in the estimation of sediment loads. In data-driven sediment predictions models, the selection of input vectors is critical in determining the best structure of models for the accurate estimation of sediment yields. In this study, time series inputs of snow cover area, basin effective rainfall, mean basin average temperature, and mean basin evapotranspiration in addition to the flows were assessed for the prediction of sediment loads. The input vectors were assessed with artificial neural network (ANN), adaptive neuro-fuzzy logic inference system with grid partition (ANFIS-GP), adaptive neuro-fuzzy logic inference system with subtractive clustering (ANFIS-SC), adaptive neuro-fuzzy logic inference system with fuzzy c-means clustering (ANFIS-FCM), multiple adaptive regression splines (MARS), and sediment rating curve (SRC) models for the Gilgit River, the tributary of the Indus River in Pakistan. The comparison of different input vectors showed improvements in the prediction of sediments by using the snow cover area in addition to flows, effective rainfall, temperature, and evapotranspiration. Overall, the ANN model performed better than all other models. However, as regards sediment load peak time series, the sediment loads predicted using the ANN, ANFIS-FCM, and MARS models were found to be closer to the measured sediment loads. The ANFIS-FCM performed better in the estimation of peak sediment yields with a relative accuracy of 81.31% in comparison to the ANN and MARS models with 80.17% and 80.16% of relative accuracies, respectively. The developed multiple linear regression equation of all models show an R value of 0.85 and 0.74 during the training and testing period, respectively
Comparative assessment of spatial variability and trends of flows and sediments under the impact of climate change in the upper Indus basin
Extensive research of the variability of flows under the impact of climate change has been conducted for the Upper Indus Basin (UIB). However, limited literature is available on the spatial distribution and trends of suspended sediment concentrations (SSC) in the sub-basins of UIB. This study covers the comparative assessment of flows and SSC trends measured at 13 stations in the UIB along with the variability of precipitation and temperatures possibly due to climate change for the past three decades. In the course of this period, the country’s largest reservoir, Tarbela, on the Indus River was depleted rapidly due to heavy sediment influx from the UIB. Sediment management of existing storage and future planned hydraulic structures (to tap 30,000 MW in the region) depends on the correct assessment of SSC, their variation patterns, and trends. In this study, the SSC trends are determined along with trends of discharges, precipitation, and temperatures using the non-parametric Mann–Kendall test and Sen’s slope estimator. The results reveal that the annual flows and SSC are in a balanced state for the Indus River at Besham Qila, whereas the SSC are significantly reduced ranging from 18.56%–28.20% per decade in the rivers of Gilgit at Alam Bridge, Indus at Kachura, and Brandu at Daggar. The SSC significantly increase ranging from 20.08%–40.72% per decade in the winter together with a significant increase of average air temperature. During summers, the SSC are decreased significantly ranging from 18.63%–27.79% per decade along with flows in the Hindukush and Western–Karakorum regions, which is partly due to the Karakorum climate anomaly, and in rainfall-dominated basins due to rainfall reduction. In Himalayan regions, the SSC are generally increased slightly during summers. These findings will be helpful for understanding the sediment trends associated with flow, precipitation, and temperature variations, and may be used for the operational management of current reservoirs and the design of several hydroelectric power plants that are planned for construction in the UIB
On the relative expressiveness of higher-order session processes
By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π
On the Relative Expressive Power of Asynchronous Communication Primitives
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and pattern-matching. Each primitive has been already used in at least one language appeared in literature; however, to uniformly reason on such primitives, we plugged them in a common framework inspired by the asynchronous-calculus. By means of possibility/impossibility of ‘reasonable ’ encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power.
Proposal for a Council Decision adopting the new provisions relating to Chapter VI "Supplies" of the Treaty establishing the European Atomic Energy Community. COM (82) 732 final, 3 December 1982
Many competing definitions of software components have been proposed over the years, but still today there is only partial agreement over such basic issues as granularity (are components bigger or smaller than objects, packages, or application?), instantiation (do components exist at run-time or only at compile-time?), and state (should we distinguish between components and ``instances" of components?). We adopt a minimalist view in which components can be distinguished by \emphcomposable interfaces. We have identified a number of key features and mechanisms for expressing composable software, and propose a calculus for modeling components, based on the asynchronous pi calculus extended with explicit namespaces, or ``forms". This calculus serves as a semantic foundation and an executable abstract machine for Piccola, an experimental composition language. The calculus also enables reasoning about compositional styles and evaluation strategies for Piccola. We present the design rationale for the Piccola calculus, and briefly outline some of the results obtained
- …