Convergence Conditions for Random Quantum Circuits

Efficient methods for generating pseudo-randomly distributed unitary operators are needed for the practical application of Haar distributed random operators in quantum communication and noise estimation protocols. We develop a theoretical framework for analyzing pseudo-random ensembles generated through a random circuit composition. We prove that the measure over random circuits converges exponentially (with increasing circuit length) to the uniform (Haar) measure on the unitary group and describe how the rate of convergence may be calculated for specific applications.Comment: 4 pages (revtex), comments welcome. v2: reference added, title changed; v3: published version, minor changes, references update

The NIR structure of the barred galaxy NGC253 from VISTA

[abridged] We used J and Ks band images acquired with the VISTA telescope as part of the science verification to quantify the structures in the stellar disk of the barred Sc galaxy NGC253. Moving outward from the galaxy center, we find a nuclear ring within the bright 1 kpc diameter nucleus, then a bar, a ring with 2.9 kpc radius. From the Ks image we obtain a new measure of the deprojected length of the bar of 2.5 kpc. The bar's strength, as derived from the curvature of the dust lanes in the J-Ks image, is typical of weak bars. From the deprojected length of the bar, we establish the corotation radius (R_CR=3 kpc) and bar pattern speed (Omega_b = 61.3 km /s kpc), which provides the connection between the high-frequency structures in the disk and the orbital resonances induced by the bar. The nuclear ring is located at the inner Lindblad resonance. The second ring does not have a resonant origin, but it could be a merger remnant or a transient structure formed during an intermediate stage of the bar formation. The inferred bar pattern speed places the outer Lindblad resonance within the optical disk at 4.9 kpc, in the same radial range as the peak in the HI surface density. The disk of NGC253 has a down-bending profile with a break at R~9.3 kpc, which corresponds to about 3 times the scale length of the inner disk. We discuss the evidence for a threshold in star formation efficiency as a possible explanation of the steep gradient in the surface brightness profile at large radii. The NIR photometry unveils the dynamical response of the NGC253 stellar disk to its central bar. The formation of the bar may be related to the merger event that determined the truncation of stars and gas at large radii and the perturbation of the disk's outer edge.Comment: Accepted for publication in Astronomy & Astrphysics. High resolution pdf file is available at the following link: https://www.dropbox.com/s/4o4cofs1lyjrtpv/NGC253.pd

Symmetrised Characterisation of Noisy Quantum Processes

A major goal of developing high-precision control of many-body quantum systems is to realise their potential as quantum computers. Probably the most significant obstacle in this direction is the problem of "decoherence": the extreme fragility of quantum systems to environmental noise and other control limitations. The theory of fault-tolerant quantum error correction has shown that quantum computation is possible even in the presence of decoherence provided that the noise affecting the quantum system satisfies certain well-defined theoretical conditions. However, existing methods for noise characterisation have become intractable already for the systems that are controlled in today's labs. In this paper we introduce a technique based on symmetrisation that enables direct experimental characterisation of key properties of the decoherence affecting a multi-body quantum system. Our method reduces the number of experiments required by existing methods from exponential to polynomial in the number of subsystems. We demonstrate the application of this technique to the optimisation of control over nuclear spins in the solid state.Comment: About 12 pages, 5 figure

On the Hybrid Extension of CTL and CTL+

The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables. Previous complexity results show that only fragments with one variable do have elementary complexity. It is shown that H1CTL+ and H1CTL, the hybrid extensions with one variable of CTL+ and CTL, respectively, are expressively equivalent but H1CTL+ is exponentially more succinct than H1CTL. On the other hand, HCTL+, the hybrid extension of CTL with arbitrarily many variables does not capture CTL*, as it even cannot express the simple CTL* property EGFp. The satisfiability problem for H1CTL+ is complete for triply exponential time, this remains true for quite weak fragments and quite strong extensions of the logic

EVALUATION OF MECHANICAL STRENGTH AFTER COMPRESSION OF METFORMIN 500MG TABLETS PRODUCED BY DIFFERENT WET ROUTES

Objective: This work evaluated the post-compression hardness gain of Metformin tablets made from two granulates of the same formulation, but with different formation principles, one by the fluidized bed and the other in a V-shaped mixer. Methods: The base granulate for the production of the tablets was prepared using Metformin HCL as the main active ingredient. After compression, the prepared tablets were tested with different evaluation parameters like relative humidity, apparent and compacted density, granulometric dispersion, hardness, moisture content, and friability for complete characterization. Results: All prepared samples were within the pre-established humidity ranges (MT1 = 3.31%, MT2 = 2.72%, MT3 = 1.73%, LF1 = 3.25%, LF2 = 2.43% and LF3 = 1.79%). The density determination showed that the granules produced in the fluidized bed are less dense than those of the V mixer. LF2 sample had an apparent density of 0.525 g/ml and a compacted density of 0.546 g/ml, while the MT2 sample had an apparent density of 0.711 g/ml and a compacted density of 0.738 g/ml, corroborating the greater porosity of granules produced in a fluidized bed. It was found that there is a difference in the increase in hardness between the two granulation methods. The tablets manufactured from the granules elaborated in a V-shaped mixer showed a greater gain in comparison with those produced in the fluid bed. The MT1 sample had the highest gain percentage, reaching 99.47%, 48 h after compression. The MT2 sample obtained, for the same time, 76.34%, at a much slower speed than MT1. As for the other samples, all increased between 24 and 42%. These results are justified by the migration of agglutination liquid that occurs during the drying step. Conclusion: This work demonstrated that the product Metformin 500 mg tablet has increased hardness after compression, with most significance in the first hour after the procedure. It was possible to verify that the tablets made from the granules produced in a V-shaped mixer have a greater increase in hardness than those produced by the fluidized bed, in the same humidity range

Winter 1978

The Psychological Approach to Golf Course Management (page 3) Massachusetts Pesticide News (6) Cross-Country Skiing: Good Winter Recreation that Pays its Own Way (8) Sacrification of Large Scale Areas, e.g. Golf Course Fairways, Winter Games Areas, Etc. (15) Plant Materials for Outlying Areas Biological Control of Crop Diseases (18

Deciding Full Branching Time Logic by Program Transformation

We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL*) properties of finite state reactive systems. The finite state systems and the CTL* properties we want to verify, are encoded as logic programs on infinite lists. Our verification method consists of two steps. In the first step we transform the logic program that encodes the given system and the given property, into a monadic ω -program, that is, a stratified program defining nullary or unary predicates on infinite lists. This transformation is performed by applying unfold/fold rules that preserve the perfect model of the initial program. In the second step we verify the property of interest by using a proof method for monadic ω-program

Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that, in cases where the combined complexity is of relevance, approaching CTL model checking by parallelism cannot be expected to result in any significant speedup. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL+, and ECTL+

Peer review and citation data in predicting university rankings, a large-scale analysis

Most Performance-based Research Funding Systems (PRFS) draw on peer review and bibliometric indicators, two different method- ologies which are sometimes combined. A common argument against the use of indicators in such research evaluation exercises is their low corre- lation at the article level with peer review judgments. In this study, we analyse 191,000 papers from 154 higher education institutes which were peer reviewed in a national research evaluation exercise. We combine these data with 6.95 million citations to the original papers. We show that when citation-based indicators are applied at the institutional or departmental level, rather than at the level of individual papers, surpris- ingly large correlations with peer review judgments can be observed, up to r <= 0.802, n = 37, p < 0.001 for some disciplines. In our evaluation of ranking prediction performance based on citation data, we show we can reduce the mean rank prediction error by 25% compared to previous work. This suggests that citation-based indicators are sufficiently aligned with peer review results at the institutional level to be used to lessen the overall burden of peer review on national evaluation exercises leading to considerable cost savings