Extending scientific computing system with structural quantum programming capabilities

We present a basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave, providing a library of functions, which facilitates the simulation of quantum computing. This package allows also to incorporate high-level programming concepts into the simulation in GNU Octave and Matlab. As such it connects features unique for high-level quantum programming languages, with the full palette of efficient computational routines commonly available in modern scientific computing systems. To present the major features of the described package we provide the implementation of selected quantum algorithms. We also show how quantum errors can be taken into account during the simulation of quantum algorithms using quantum-octave package. This is possible thanks to the ability to operate on density matrices

Unsharp Quantum Reality

The positive operator (valued) measures (POMs) allow one to generalize the notion of observable beyond the traditional one based on projection valued measures (PVMs). Here, we argue that this generalized conception of observable enables a consistent notion of unsharp reality and with it an adequate concept of joint properties. A sharp or unsharp property manifests itself as an element of sharp or unsharp reality by its tendency to become actual or to actualize a specific measurement outcome. This actualization tendency-or potentiality-of a property is quantified by the associated quantum probability. The resulting single-case interpretation of probability as a degree of reality will be explained in detail and its role in addressing the tensions between quantum and classical accounts of the physical world will be elucidated. It will be shown that potentiality can be viewed as a causal agency that evolves in a well-defined way

Multi-application controls: Robust nonlinear multivariable aerospace controls applications

This viewgraph presentation describes the general methodology used to apply Honywell's Multi-Application Control (MACH) and the specific application to the F-18 High Angle-of-Attack Research Vehicle (HARV) including piloted simulation handling qualities evaluation. The general steps include insertion of modeling data for geometry and mass properties, aerodynamics, propulsion data and assumptions, requirements and specifications, e.g. definition of control variables, handling qualities, stability margins and statements for bandwidth, control power, priorities, position and rate limits. The specific steps include choice of independent variables for least squares fits to aerodynamic and propulsion data, modifications to the management of the controls with regard to integrator windup and actuation limiting and priorities, e.g. pitch priority over roll, and command limiting to prevent departures and/or undesirable inertial coupling or inability to recover to a stable trim condition. The HARV control problem is characterized by significant nonlinearities and multivariable interactions in the low speed, high angle-of-attack, high angular rate flight regime. Systematic approaches to the control of vehicle motions modeled with coupled nonlinear equations of motion have been developed. This paper will discuss the dynamic inversion approach which explicity accounts for nonlinearities in the control design. Multiple control effectors (including aerodynamic control surfaces and thrust vectoring control) and sensors are used to control the motions of the vehicles in several degrees-of-freedom. Several maneuvers will be used to illustrate performance of MACH in the high angle-of-attack flight regime. Analytical methods for assessing the robust performance of the multivariable control system in the presence of math modeling uncertainty, disturbances, and commands have reached a high level of maturity. The structured singular value (mu) frequency response methodology is presented as a method for analyzing robust performance and the mu-synthesis method will be presented as a method for synthesizing a robust control system. The paper concludes with the author's expectations regarding future applications of robust nonlinear multivariable controls

Adrenocorticotrophic hormone-stimulated cortisol release by the head kidney inter-renal tissue from sea bream (Sparus aurata) fed with linseed oil and soyabean oil

The mode of action of highly unsaturated fatty acids (HUFA) in regulating gilthead sea bream (Sparus aurata) head kidney (HK) cortisol production was studied through in vitro trials using a dynamic superfusion system. Fish were previously fed with different diets containing several inclusion levels of linseed oil (LO) or soyabean oil (SO) for 26 weeks. Five diets were tested; anchovy oil was the only lipid source for the control diet (fish oil, FO) and two different substitution levels (70 and 100 %) were tested using either LO or SO (70LO, 70SO, 100LO and 100SO). Fatty acid compositions of the HK reflected the dietary input, thus EPA, DHA, arachidonic acid and n-3 HUFA were significantly (P,0·05) reduced in fish fed vegetable oils compared with fish fed the FO diet. Feeding 70 or 100% LO increased significantly (P,0·05) cortisol release in HK after stimulation with adrenocorticotrophic hormone (ACTH), while feeding SO had no effect on this response. Cortisol stimulation factor (SF) was increased in fish fed the 70LO and 100LO diets compared with fish fed the control diet. Moreover, eicosanoid inhibition by incubating the HK tissue with indomethacin (INDO) as a cyclo-oxygenase (COX) inhibitor, or nordihydroguaiaretic acid (NDGA) as a lipoxygenase (LOX) inhibitor, significantly reduced (P,0·05) the cortisol release after ACTH stimulation in the 70LO and 100LO diets. Cortisol SF was reduced in the FO, 70LO and 100LO diets when incubating the HK with INDO or NDGA, while it was increased in the 70SO diet. The present results indicate that changing the fatty acid profile of gilthead sea bream HK by including LO and/or SO in the fish diet affected the in vitro cortisol release, and this effect is partly mediated by COX and/or LOX metabolites

Complete positivity of nonlinear evolution: A case study

Simple Hartree-type equations lead to dynamics of a subsystem that is not completely positive in the sense accepted in mathematical literature. In the linear case this would imply that negative probabilities have to appear for some system that contains the subsystem in question. In the nonlinear case this does not happen because the mathematical definition is physically unfitting as shown on a concrete example.Comment: extended version, 3 appendices added (on mixed states, projection postulate, nonlocality), to be published in Phys. Rev.