Non-thermal quantum phase transitions

We report a kind of quantum phase transition which takes place in isolated quantum systems with non-thermal equilibrium states and an extra symmetry that commutes with the Hamiltonian for any values of the system parameters. A critical energy separates two different phases, one in which the symmetry is broken. This critical behavior is ruled out as soon as the system is put in contact with a thermal bath. The critical point is crossed when a sufficent amount of work is performed on the system, keeping it isolated from the environment. Different phases are identified by means of an order parameter, which is only different from zero in the symmetry-breaking phase. The behavior of the system near the critical point is determined by a set of critical exponents. We illustrate this phenomenon by means of numerical calculations in three different two-level systems

Irreversible processes without energy dissipation in an isolated Lipkin-Meshkov-Glick model

For a certain class of isolated quantum systems, we report the existence of irreversible processes in which the energy is not dissipated. After a closed cycle in which the initial energy distribution is fully recovered, the expectation value of a symmetry-breaking observable changes from a value different from zero in the initial state, to zero in the final state. This entails the unavoidable loss of a certain amount of information, and constitutes a source of irreversibility. We show that the von Neumann entropy of time-averaged equilibrium states increases in the same magnitude as a consequence of the process. We support this result by means of numerical calculations in an experimentally feasible system, the Lipkin-Meshkov-Glick model.Comment: 10 pages, 7 figure

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed

Design of Experiments Approach for Statistical Classification of Stereolithography Manufacturing Build Parameters: Effects of Build Orientation on Mechanical Properties for ASTM D-638 Type I Tensile Test Specimens of DSM Somos® 11120 Resin

A statistical design of experiments (DOE) approach was used to determine if specific build orientation parameters impacted mechanical strength of fabricated parts. A single platform (10- inch by 10 inch cross-section) on the 3D Systems Viper si2 machine was designed to hold 18, ASTM D-638 Type I samples built in six different orientations (called Location) with three samples built for each location. The DOE tested four factors: Location, Position, Axis, and Layout. Each sample within a Location was labeled as Positions 1, 2, or 3 depending on the distance from the center of the platform with Position 1 being the closest to the center. Samples were fabricated parallel with the x-axis, y-axis, or 45o to both axes (called Axis 1, 2, and 3, respectively) and were fabricated either flat or on an edge relative to the x-y plane (called Layout 1 and 2, respectively). The results from the statistical analyses showed that Axis, Location, and Position had no significant effect on UTS or E. However, Layout (or whether a sample was built flat or on an edge) was shown to have a statistically significant effect on UTS and E (at a 95% level of confidence). This result was not expected since a comparison of the average UTS for each Layout showed only a 1.2% difference (6966 psi versus 7050 psi for samples built flat and on an edge, respectively). Because of the small differences in means for UTS, the statistical differences between Layout most likely would not have been identified without performing the DOE. Furthermore, Layout was the only factor that tested different orientations of build layers (or layer-to-layer interfaces) with respect to the sample part, and thus, it appears that the orientation of the build layer with respect to the fabricated part has a significant effect on the resulting mechanical properties. This study represents one of many to follow that is using statistical analyses to identify and classify important fabrication parameters on mechanical properties for layer manufactured parts. Although stereolithography is the focus of this work, the techniques developed here can be applied to any layered manufacturing technology.Mechanical Engineerin

Quantum state engineering by shortcuts-to-adiabaticity in interacting spin-boson systems

We present a fast and robust framework to prepare non-classical states of a bosonic mode exploiting a coherent exchange of excitations with a two-level system ruled by a Jaynes-Cummings interaction mechanism. Our protocol, which is built on shortcuts to adiabaticity, allows for the generation of arbitrary Fock states of the bosonic mode, as well as coherent quantum superpositions of a Schr\"odinger cat-like form. In addition, we show how to obtain a class of photon-shifted states where the vacuum population is removed, a result akin to photon addition, but displaying more non-classicality than standard photon-added states. Owing to the ubiquity of the spin-boson interaction that we consider, our proposal is amenable for implementations in state-of-the-art experiments.Comment: 11 pages, 10 figure