Sampling from the thermal quantum Gibbs state and evaluating partition functions with a quantum computer

We present a quantum algorithm to prepare the thermal Gibbs state of interacting quantum systems. This algorithm sets a universal upper bound D^alpha on the thermalization time of a quantum system, where D is the system's Hilbert space dimension and alpha < 1/2 is proportional to the Helmholtz free energy density of the system. We also derive an algorithm to evaluate the partition function of a quantum system in a time proportional to the system's thermalization time and inversely proportional to the targeted accuracy squared

Extension of bundles of null directions

The geometry of P, the bundle of null directions over an Einstein space-time, is studied. The full set of invariants of the natural G-structure on P is constructed using the Cartan method of equivalence. This leads to an extension of P which is an elliptic fibration over the space-time. Examples are given which show that such an extension, although natural, is not unique. A reinterpretation of the Petrov classification in terms of the fibres of an extension of P is presented.Comment: LaTex file, accepted in CQ

Bootstrapping Real-world Deployment of Future Internet Architectures

The past decade has seen many proposals for future Internet architectures. Most of these proposals require substantial changes to the current networking infrastructure and end-user devices, resulting in a failure to move from theory to real-world deployment. This paper describes one possible strategy for bootstrapping the initial deployment of future Internet architectures by focusing on providing high availability as an incentive for early adopters. Through large-scale simulation and real-world implementation, we show that with only a small number of adopting ISPs, customers can obtain high availability guarantees. We discuss design, implementation, and evaluation of an availability device that allows customers to bridge into the future Internet architecture without modifications to their existing infrastructure

Electrical properties and reactivity under air–CO flows of composite systems based on ceria coated carbon nanotubes

Nanocomposite systems of ceria nanoparticles and Double Walled Carbon Nanotubes (DWNTs) coated with nanoceria (nCeO2) were elaborated using a classical sol gel method. Three samples noted as [nCeO2 + xDWNTs] with variable weight fractions x = 0, 5 and 15 wt.% of DWNTs were obtained. The samples were characterized by Xray diffraction and electron microscopy. The electrical conductivity of [nCeO2 + xDWNTs] compacted pellets systems was determined from electrical impedance spectrometry, under air, between 120 and 400 °C. In this temperature range, all samples were semiconducting with a weak variation of activation energy. However, the conductivity strongly increased with the weight fraction of ceria coated carbon nanotubes. Finally, the solid–gas interactions between air–CO flows and these systems were studied as a function of time and temperature, by means of Fourier transform infrared (FTIR) spectroscopy. The oxidation kinetics of CO into CO2 was analyzed from the evolutions of FTIR absorption band intensities. As the carbon nanotube fraction x increased, the conversion efficiency was strongly improved

Effective Implementation of DGEMM on Modern Multicore CPU

AbstractIn this paper we will present a detailed study on tuning double-precision matrix-matrix multiplication (DGEMM) on the Intel Xeon E5-2680 CPU. We selected an optimal algorithm from the instruction set perspective as well software tools optimized for Intel Advance Vector Extensions (AVX). Our optimizations included the use of vector memory operations, and AVX instructions. Our proposed algorithm achieves a performance improvement of 33% compared to the latest results achieved using the Intel Math Kernel Library DGEMM subroutine

Dynamical system analysis of unstable flow phenomena in centrifugal blower

Methods of dynamical system analysis were employed to analyze unsteady phenomena in a centrifugal blower. Pressure signals gathered at different control points were decomposed into their Principal Components (PCs) by means of Singular Spectrum Analysis (SSA). Certain number of PCs was considered in the analysis based on their statistical correlation. Projection of the original signal onto its PCs allowed to draw the phase trajectory that clearly separated non-stable blower working conditions from its regular operation

Reasoning About Integrity Constraints for Tree-Structured Data

We study a class of integrity constraints for tree-structured data modelled as data trees, whose nodes have a label from a finite alphabet and store a data value from an infinite data domain. The constraints require each tuple of nodes selected by a conjunctive query (using navigational axes and labels) to satisfy a positive combination of equalities and a positive combination of inequalities over the stored data values. Such constraints are instances of the general framework of XML-to-relational constraints proposed recently by Niewerth and Schwentick. They cover some common classes of constraints, including W3C XML Schema key and unique constraints, as well as domain restrictions and denial constraints, but cannot express inclusion constraints, such as reference keys. Our main result is that consistency of such integrity constraints with respect to a given schema (modelled as a tree automaton) is decidable. An easy extension gives decidability for the entailment problem. Equivalently, we show that validity and containment of unions of conjunctive queries using navigational axes, labels, data equalities and inequalities is decidable, as long as none of the conjunctive queries uses both equalities and inequalities; without this restriction, both problems are known to be undecidable. In the context of XML data exchange, our result can be used to establish decidability for a consistency problem for XML schema mappings. All the decision procedures are doubly exponential, with matching lower bounds. The complexity may be lowered to singly exponential, when conjunctive queries are replaced by tree patterns, and the number of data comparisons is bounded

Subjective wellbeing in psychosis: Mediating effects of psychological distress on happiness levels amongst individuals diagnosed with paranoid schizophrenia

A correlational study examined the suppositions of Headey and Wearing’s four-dimension model of subjective wellbeing (SWB) and psychological distress amongst people experiencing psychosis. The research objective was to replicate the model with the studied sample and to examine how emotional distress resulting from psychosis affects the individuals’ satisfaction with life and positive affect levels. Forty-seven individuals with a diagnosis of paranoid schizophrenia completed self-report measures of psychoticism, paranoid ideation, depression and anxiety (Brief Symptom Inventory), positive affect (Affect Balance Scale), and life satisfaction (Satisfaction With Life Scale). Correlational patterns of the four-dimension model were replicated with individuals experiencing psychosis. Although the levels of depression and anxiety were clearly elevated in comparison with general population norms, the levels of positive affect remained similar to those in the general population, and the average life satisfaction appeared only slightly decreased. Depression was found to act as a dominant mediator between the severity of experiences of psychosis and satisfaction with life. Possible explanations for the findings are proposed and implications from the positive clinical psychology perspective are suggested. Based on the study outcomes it is argued that: (1) psychosis does not equal unhappiness, (2) psychosis does not immobilize adaptive mechanisms of SWB, (3) psychosis does not exempt individuals from positive mood set-points, and (4) psychosis does not indiscriminately lower life satisfaction