371 research outputs found
The Quantum Adiabatic Algorithm applied to random optimization problems: the quantum spin glass perspective
Among various algorithms designed to exploit the specific properties of
quantum computers with respect to classical ones, the quantum adiabatic
algorithm is a versatile proposition to find the minimal value of an arbitrary
cost function (ground state energy). Random optimization problems provide a
natural testbed to compare its efficiency with that of classical algorithms.
These problems correspond to mean field spin glasses that have been extensively
studied in the classical case. This paper reviews recent analytical works that
extended these studies to incorporate the effect of quantum fluctuations, and
presents also some original results in this direction.Comment: 151 pages, 21 figure
Surrogate based Optimization and Verification of Analog and Mixed Signal Circuits
Nonlinear Analog and Mixed Signal (AMS) circuits are very complex and expensive to design and verify. Deeper technology scaling has made these designs susceptible to noise and process variations which presents a growing concern due to the degradation in the circuit performances and risks of design failures. In fact, due to process parameters, AMS circuits like phase locked loops may present chaotic behavior that can be confused with noisy behavior. To design and verify circuits, current industrial designs rely heavily on simulation based verification and knowledge based optimization techniques. However, such techniques lack mathematical rigor necessary to catch up with the growing design constraints besides being computationally intractable. Given all aforementioned barriers, new techniques are needed to ensure that circuits are robust and optimized despite process variations and possible chaotic behavior. In this thesis, we develop a methodology for optimization and verification of AMS circuits advancing three frontiers in the variability-aware design flow. The first frontier is a robust circuit sizing methodology wherein a multi-level circuit optimization approach
is proposed. The optimization is conducted in two phases. First, a global sizing phase powered by a regional sensitivity analysis to quickly scout the feasible design space that reduces the optimization search. Second, nominal sizing step based on space mapping of two AMS circuits models at different levels of abstraction is developed for the sake of breaking the re-design loop without performance penalties. The second frontier concerns a dynamics verification scheme of the circuit behavior (i.e., study the chaotic vs. stochastic circuit behavior). It is based on a surrogate generation approach
and a statistical proof by contradiction technique using Gaussian Kernel measure in the state space domain. The last frontier focus on quantitative verification approaches to predict parametric yield for both a single and multiple circuit performance constraints.
The single performance approach is based on a combination of geometrical intertwined reachability analysis and a non-parametric statistical verification scheme. On the other hand, the multiple performances approach involves process parameter reduction, state space based pattern matching, and multiple hypothesis testing procedures. The performance of the proposed methodology is demonstrated on several benchmark analog and mixed signal circuits. The optimization approach greatly improves computational efficiency while locating a comparable/better design point than
other approaches. Moreover, great improvements were achieved using our verification methods with many orders of speedup compared to existing techniques
Publications of the Jet Propulsion Laboratory, July 1969 - June 1970
JPL bibliography of technical reports released from July 1969 through June 197
Complex and Adaptive Dynamical Systems: A Primer
An thorough introduction is given at an introductory level to the field of
quantitative complex system science, with special emphasis on emergence in
dynamical systems based on network topologies. Subjects treated include graph
theory and small-world networks, a generic introduction to the concepts of
dynamical system theory, random Boolean networks, cellular automata and
self-organized criticality, the statistical modeling of Darwinian evolution,
synchronization phenomena and an introduction to the theory of cognitive
systems.
It inludes chapter on Graph Theory and Small-World Networks, Chaos,
Bifurcations and Diffusion, Complexity and Information Theory, Random Boolean
Networks, Cellular Automata and Self-Organized Criticality, Darwinian
evolution, Hypercycles and Game Theory, Synchronization Phenomena and Elements
of Cognitive System Theory.Comment: unformatted version of the textbook; published in Springer,
Complexity Series (2008, second edition 2010
Dynamical modules in metabolism, cell and developmental biology
Modularity is an essential feature of any adaptive complex system. Phenotypic traits are modules in the sense that they have a distinguishable structure or function, which can vary (quasi-)independently from its context. Since all phenotypic traits are the product of some underlying regulatory dynamics, the generative processes that constitute the genotype–phenotype map must also be functionally modular. Traditionally, modular processes have been identified as structural modules in regulatory networks. However, structure only constrains, but does not determine, the dynamics of a process. Here, we propose an alternative approach that decomposes the behaviour of a complex regulatory system into elementary activity-functions. Modular activities can occur in networks that show no structural modularity, making dynamical modularity more widely applicable than structural decomposition. Furthermore, the behaviour of a regulatory system closely mirrors its functional contribution to the outcome of a process, which makes dynamical modularity particularly suited for functional decomposition. We illustrate our approach with numerous examples from the study of metabolism, cellular processes, as well as development and pattern formation. We argue that dynamical modules provide a shared conceptual foundation for developmental and evolutionary biology, and serve as the foundation for a new account of process homology, which is presented in a separate contribution by DiFrisco and Jaeger to this focus issue
- …